All Questions
Tagged with real-analysis reference-request
419 questions
7
votes
1
answer
504
views
Anisotropic perimeter and regularity of anisotropic minimal surfaces
1. Introduction.
By-now classical results assert that minimal surfaces (in $\mathbb R^n$) are generically "smooth" out of a "small" set.
Question. What are the known regularity results for ...
- 1,179
2
votes
1
answer
4k
views
What “mild solution” means, and how to find it?
In this paper: Existence and uniqueness of a classical solution to a functional-differential abstract nonlocal Cauchy problem Byszewski studied this form of functional-differential nonlocal problem (1)...
- 571
5
votes
1
answer
200
views
An inequality involving $L^1$ and $L^\infty$ norms of a function of a real variable and its derivative
I got to the following inequality by a (hopefully correct) tortuous argument:
If $F:[a,b] \to \mathbb{R}$ is a absolutely continuous monotone function then:
$$ \|F'\|_1^2 \leq 4 \|F\|_1 \, \|F'\|...
- 3,146
11
votes
4
answers
4k
views
When is the infimum of an arbitrary family of measurable functions also measurable?
Let $(X,\Sigma,\mu)$ be a measure space and consider a family of $\mu$-measurable functions $f_i:X \to \mathbb{R}$ for $i$ lying in some index set $I$. Define $$f(x) = \inf_{i \in I} f_i(x)$$
I think ...
- 28k
10
votes
2
answers
371
views
Can a vector-function $v:\mathbb{R}^n\to \mathbb{R}^n$ be an eigenvector of its own Jacobian matrix?
Good morning,
I've came across this question, which has been puzzling me for some days. Suppose we are given a vector-valued function $v:\mathbb{R}^n\to \mathbb{R}^n$, $v(x)=\left( v_1(x),\dots, v_n(...
- 12.9k
1
vote
1
answer
95
views
A question on a special "metric"
Suppose we have a function $F: [a,b]^n \to \mathcal{M}_{n \times n }(\mathbb{R})$ where $\mathcal{M}_{n \times n }(\mathbb{R})$ is the space of $n \times n$ real matrices, a compact set $B \subset \...
- 128k
12
votes
1
answer
694
views
History of the Jaccard distance $d(A,B) = \mathbb P(\overline A\cup\overline B\mid A\cup B)$
I'm wondering where the relative probabilistic distance or Jaccard distance was first studied:
$$d(A,B) =\mathbb P(\overline A\cup\overline B\mid A\cup B)$$
where $\overline A$ is the complement of $A$...
- 24.8k
2
votes
0
answers
163
views
Generalization of regularly varying functions
A continuous function $L :\mathbb{R}_+ \to \mathbb{R}_+$ is called regularly varying (at infinity) if for all $a > 0$,
$$
\lim_{x\to \infty} \frac{L(ax)}{L(x)}= g(a)
$$
for some function $g(a)&...
- 3,223
5
votes
1
answer
456
views
Number defined by a recursive binary sequence
In a math column in Scientific American many years ago, I encountered a peculiar binary sequence I describe below. Unfortunately I can't find a reference on this, so I would be grateful for any ...
- 1,329
13
votes
5
answers
3k
views
Reference request: Oldest calculus, real analysis books with exercises?
Per the title, what are some of the oldest calculus, real analysis books out there with exercises? Maybe there are some hidden gems from before the 20th century out there.
Edit. Unsolved exercises ...
- 4,713
13
votes
2
answers
2k
views
An alternative proof of the Łojasiewicz inequality
Is there a "brute force proof" of the Łojasiewicz inequality? By "brute force" I mean a proof without introducing the machinery of semianalytic sets and so on but only using elementary results (i.e., ...
CommunityBot
- 1
3
votes
1
answer
507
views
Chain rules for Dini Derivative
Could someone provides some references for the chain rule concerning Dini derivatives. For example, let $f(\cdot) \in \mathcal{C}^1\left( \mathbb{R} ; \mathbb{R}\right)$, and $g(\cdot) \in \mathcal{C}\...
- 128k
2
votes
2
answers
152
views
Divergence rate of geometric sum of random variables
Let $(X_n)_{n\in\mathbb{N}}$ be a sequence of strictly positive and identically distributed random variables and let $\beta\le 1$. I am trying to prove that
$$
0<\lim_{\beta\rightarrow 1}(1-\...
- 128k
1
vote
1
answer
239
views
Reference request for weak solutions of an Elliptic PDE
Edit : I just learned that all weak solutions are $C^\infty$, so this question, by Willie, seems more appropriate than the current one.
I want to find weak, non trivial, continuous, solutions of $$\...
- 69
17
votes
2
answers
3k
views
The Riemann hypothesis as a problem in analysis
The recent post("Long-standing conjectures in analysis ... often turn out to be false") prompted me to think about a question which I have not given much though before: to what extent the ...
1
vote
1
answer
196
views
Giving Uniform Bound on Differences of Sums of Converging Polynomials
The title does not quite capture the essence of the difficulty, please allow me to be more explicit here.
I thought of this question when I was trying out an open problem by Ovidiu Furdui(See problem ...
- 128k
12
votes
1
answer
1k
views
Proof of Green's formula for rectifiable Jordan curves
$\newcommand{\Ga}{\Gamma}$
I am trying to find a proof of Green's formula for rectifiable Jordan curves $\Ga$ (and the corresponding interior regions $R$). There is a proof by Ridder, followed by ...
- 8,992
-3
votes
1
answer
392
views
A generalization of Chebyshev's sum inequality
From some my previous questions here and here and well-known rearrangement inequality. I pose an inequality as follows and I am looking for the proof or a reference.
Inequality: Let $y=f(x,y)$ is ...
- 1,776
1
vote
1
answer
65
views
Generalizations of Pedal Coordinates
I recently "stumbled upon" the article
Pedal coordinates, Dark Kepler and other force problems by Petr Blaschke from 2017; further search about Pedal Coordinates didn't bring up any other ...
CommunityBot
- 1
6
votes
1
answer
186
views
Reference request: A collection of topologies on $\mathbb{N}$ formed via series
First, some quick notation: for any series $\sum_{n=1}^\infty a_n$ whose terms are positive real numbers, and for any subset $M = \{m_1, m_2,...\} \subseteq \mathbb{N}$, we write $\sum_M a_n$ to mean ...
- 1,615
4
votes
1
answer
860
views
Lebesgue's integrability condition in several variables
The well known Lebesgue's condition of Riemann integrability says that a bounded function in one variable
$f\colon [a,b] \to \mathbb{R}$ is Riemann integrable if and only if it is continuous almost ...
- 41.1k
0
votes
1
answer
190
views
Is $f(x)$ is more curvature than $g(x)$ then length of $f(x)$ seem longer than length of $g(x)$?
In my obsevation:
If $f(x)$ and $g(x)$ be two continuous funcions, and they have derivative and second derivative are also continuous in interval $[a, b]$. If $f(x)$ is more curvature than $g(x)$ in ...
- 128k
4
votes
1
answer
387
views
$\sum_{k=1}^n\frac{\sin kx}{k^\alpha} >0\quad\text{for all}\ n=1,2,3,\ldots\ \text{and}\ 0<x<\pi, \text{and}\ \alpha \ge 1$
The Fejer-Jackson inequality as follows:
$$\sum_{k=1}^n\frac{\sin kx}k>0\quad\text{for all}\ n=1,2,3,\ldots\ \text{and}\ 0<x<\pi.$$
I conjecture that the inequality as follows holds:
$$\sum_{...
CommunityBot
- 1
1
vote
0
answers
156
views
Fejer-Jackson-like inequality with divisor sum
A question was recently asked about a generalization of the Fejer-Jackson inequality $$\sum_{k=1}^n \frac{\sin kx}{k}\gt 0 \quad \forall\: n\in\mathbb{Z}^+\: \text{and}\: 0\lt x\lt\pi$$
to ...
- 105
5
votes
1
answer
795
views
How to define transfinite derivatives of a function?
There are all manners of theories generalizing the notion of derivative. Amongst them is the fractional calculus, a rich theory which gives a sense to the derivation and integration of non-integer (i....
7
votes
1
answer
683
views
The Gauss Circle Problem asymptotic in dimension
The circle problem in $k$ dimensions: "For $n>0$, how many points $z\in \ \mathbb{Z}^k$ have $\|z\|^2\leq n$?"
For large $n$, the answer is $\approx n^{k/2}\cdot \operatorname{Vol}(B^k(0,1))+\...
- 188k
21
votes
3
answers
2k
views
Felix Klein on mean value theorem and infinitesimals
This is a reference request prompted by some intriguing comments made by Felix Klein.
In 1908, Felix Klein formulated a criterion of what it would take for a theory of infinitesimals to be ...
- 16.6k
9
votes
1
answer
635
views
De-Nesting Absolute Value Function into Linear Combination of Absolute Value Functions
Context: In formulating problems for secondary school mathematics teachers (and students) about absolute value functions, which we define as functions $\mathbb{R} \rightarrow \mathbb{R}$ that send $x \...
CommunityBot
- 1
5
votes
2
answers
1k
views
An example of an open discontinuous function
Consider the following simple example of a function $f: \mathbb{R}\to\mathbb{R}$ which is open and discontinuous at all points. If $x\in\mathbb{R}$ is represented as something.$x_1x_2x_3\dots$ in the ...
- 4,786
2
votes
0
answers
65
views
Splitting of ordinals of oscillation ranks of a Baire $1$ function
Denny and Tang proved that
Theorem $2.3$ Let $(f_n)$ be a sequence in $\mathfrak{B}_1(K)$ converging pointwise to a function $f.$
Suppose $\sup\{ \beta(f_n):n\in\mathbb{N} \} \leq \beta_0$ and $\...
- 623
1
vote
0
answers
134
views
Reference for Existence and uniqueness of an Integro-Differential Equation
I have an Integro-Differential Equation (IDE) of the following form:
$$
x'(t) = f(t,x(t)) + \int_0^t K(t-s, x(s), x(t)) ds,
$$
I have found this classical reference, but the IDEs considered therein ...
- 121
6
votes
2
answers
633
views
Interpolation space between $L^1\cap L^2$ and $L^1$
In the paper of Bourgain, the way equation (3.78) is deduced from (3.69) and (3.76) seems via the following interpolation result. Let $(X,\mu)$ and $(Y,\nu)$ be two measure spaces and let $T$ be a ...
- 17.2k
4
votes
1
answer
203
views
If $T_1T_2 = T_2T_1$, why $r(T_1 + T_2) \leq r(T_1) + r(T_2)$?
Let $T_1$ and $T_2$ be two bounded linear operators in a complex banach space $X$.
If $T_1T_2 = T_2T_1$, I want to know how to show that
$$
r(T_1+T_2) \leq r(T_1) + r(T_2),
$$
where $r(A)$ ...
- 17.2k
9
votes
0
answers
569
views
A standard name for a function satisfying the intermediate value theorem?
Do you know any (standard) name for a function $f:\mathbb R\to\mathbb R$ having the following weak intermediate value property:
$(*)$ for any connected subset $C\subset \mathbb R$ and points $a,b\...
- 4,713
1
vote
0
answers
50
views
Comparison of (square) of a function and its Fourier transform in an integral
I am completely stuck on a comparison between $f(t)^2$ and $\hat{f}(t)^2$ in an integral.
Considering $f(t)$ of rapid decrease at infinity such that near zero: $f(t) \sim_0 t^{-\frac{1}{2}- \alpha}+o(...
- 1,199
8
votes
0
answers
110
views
Connected component optimization
For an open set $A\subset[0,1]^d$, denote the connected components of $A$ by $cc(A)$. Given a smooth symmetric function $f\colon[-1,1]^d\to\mathbb R$ with $f(0)>0$, I am interested in the ...
- 623
10
votes
2
answers
835
views
Functions that are approximately differentiable a.e
The classical definition of an approximately differentiable function is as follows:
Definition.
Let $f:E\to\mathbb{R}$ be a measurable function defined on a measurable set $E\subset\mathbb{R}^n$. ...
- 3,146
1
vote
1
answer
1k
views
Approximation of a continuous function by a smooth one on an open set
I'm interested in the following kind of theorems :
Let $M$ be a real analytic manifold and $U$ an open set of $M$. Let $f : U \to \mathbb{R}$ a continuous function. Then, there is a $C_{\infty}$ ...
- 26.3k
1
vote
1
answer
642
views
Interchange of integration order (of a not absolutely convergent integral with sinus)
Can we interchange the integral order of this integral to start integration on $x$ ? (Taking $g$ and $f$ two functions of rapid decrease which are $o(x^2)$ near zero)
$$A=\int_{0}^\infty \int_0^{\...
- 128k
3
votes
1
answer
631
views
Is the sequence $(\log(n!)\mod1)_{n\in\mathbb N}$ dense in the interval $[0,1]$?
This question was raised in the comment by Todd Trimble at how to proof there is a natural number n, the first four digits of n! Is 2018?. I thought the question may be posted separately, as even ...
- 7,193
12
votes
5
answers
2k
views
analysis over non-Archimedean ordered fields
Can anyone suggest any good references for (or any experts on) analysis over non-Archimedean ordered fields, such as the field of rational functions in one variable (ordered at 0, or if you prefer at ...
- 10.1k
5
votes
1
answer
882
views
Two integral representations for $\zeta(3)$ from Zurab's integral and standard formulas for the gamma function
This morning I wrote with the help of a CAS, and integral representation for the Apéry's constant $\zeta(3)$ and some standard formulas two formulas involving this constant. I would like to know if ...
- 791
6
votes
1
answer
234
views
What about of periodic points of $\sum_{n=1}^\infty\frac{\mu(n)}{n}x^n$, $0<x<1$, where $\mu(n)$ is the Möbius function?
Let $\mu(n)$ the Möbius function, we define $F:[0,1]\to[0,1]$ as $$F(x)=\sum_{n=1}^\infty\frac{\mu(n)}{n}x^n.\tag{1}$$
For a function of this kind (I presume that this continuous function has image $[...
- 28.2k
3
votes
1
answer
461
views
Bounding the "spikiness" of a probability distribution
Are there any well-known conditions that guarantee that a probability distribution isn't too "spiky"?
I ask this question because I am interested in the families of probability distributions $f(x)$ ...
- 8,071
5
votes
2
answers
1k
views
Summation of double exponential series
Let $q \in (0,1)$ and consider the following summation:
$$S(q,n) = \sum_{i=1}^n {q^2}^i$$
Is there a closed form expression or upper and lower bounds for $S(q,n)$?
Specifically, I am looking for ...
- 2,175
11
votes
1
answer
1k
views
Proof of the "Neo-classical Inequality", a fractional extension of the binomial theorem
I came across the following inequality, dubbed the "Neoclassical Inequality" which holds uniformly in $p\geq 1$ and $n\in\mathbb N$:
$$\frac{1}{p^2}\sum_{j=0}^n\frac{a^{\frac{j}p}b^{\frac{n-j}p}}{\...
- 13.4k
6
votes
1
answer
401
views
Why are $\sigma$-algebras preferable to $\sigma$-rings?
The following is said without further explanation in Folland's Real Analysis:
Some authors prefer to take the domains of measures to be $\sigma$-rings rather
than $\sigma$-algebras. The reason is ...
- 1,074
14
votes
1
answer
440
views
Inequalities on elementary symmetric polynomials
I have recently come across the following result.
Let $0 < d \leq n$. Given any vector $x \in \mathbb{R}^n$ that satisfies $e_{d-1}(x) = 0$, show that $$|x_1 \cdots x_d| \leq |e_d(x)|$$ where $...
- 61.9k
0
votes
0
answers
124
views
Reference for the Hardy maximal function on the torus
I am searching for a reference for the (sharp) Hardy maximal function on the torus $\mathbb{T}^2:=\mathbb{R^2}/\mathbb{Z}^2$, for instance I would need result result of the following type : if $g\in H^...
- 3,425
2
votes
2
answers
446
views
Entrywise modulus matrix and the largest eigenvector
Disclaimer. This is a cross-post from math.SE where I asked a variant of this question two days ago which has been positively received but not has not received any answers.
Let $A$ be a complex ...
- 4,361