All Questions
Tagged with real-analysis reference-request
419 questions
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 ...
- 1,776
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
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_{...
- 1,776
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))+\...
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 \...
- 7,831
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 ...
- 1,897
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
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)$ ...
- 1,154
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 ...
- 193
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\...
- 41.8k
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
2
votes
1
answer
139
views
The radius of an interval's image through a space-filling curve
Take $f:[0,1]\to [0,1]^n$ a continuous tour around $[0,1]^n,$ say, some iteration of a Hilbert curve. For $\varepsilon \in (0,1)$ what is the following thing called and are there any nontrivial upper ...
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}$ ...
- 193
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$. ...
- 28k
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^{\...
- 1,199
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 ...
- 128k
9
votes
1
answer
1k
views
Traces of Sobolev spaces
Is there a simple proof of the following fact?
Theorem. Let $\Omega\subset\mathbb{R}^n$ be a bounded and smooth domain. If $n>2$, then $W^{1,n-1}(\partial\Omega)\subset
W^{1-\frac{1}{n},n}(\...
- 28k
5
votes
1
answer
881
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 ...
user75829
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 $[...
user75829
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)$ ...
- 4,049
7
votes
3
answers
986
views
Mixtures of log-convex functions are log-convex: a reference
A referee of a submitted paper requested details on the statement that $\int_0^a e^{-tx^2}\,dx$ is log-convex in real $t$, for each $a>0$. While there are a number of ways to prove this statement, ...
- 128k
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 ...
- 519
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 ...
user14319
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 $...
- 1,187
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 ...
- 623
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
0
votes
2
answers
782
views
Has this Peculiar Property of Unit Circles Already been Noticed?
Yesterday I needed to do some calculations with circles and "ventured" to calculate the arc length via the $\int{\sqrt{1+\left(f'(x)\right)^2}}$ formula and was baffled to see that in the ...
- 13.2k
5
votes
2
answers
483
views
Are there any known approaches of generalizing functions that do not have a limit at infinity to values at infinity?
Let's consider the affinely extended real line. The functions that have a limit on positive or negative infinity $\lim_{x\to+\infty} f(x)$ or $\lim_{x\to-\infty} f(x)$ can be generalized to the values ...
- 10.1k
1
vote
1
answer
262
views
Relationship between $f(t,x)$ as $t \to \infty$ and $f(t/\epsilon, x/\epsilon^2)$ as $\epsilon \to 0$ (periodic functions)
Let $f: (0,\infty)\times \mathbb {R} \to \mathbb{R}$ be $1$-periodic in the second variable and in $L^\infty((0,\infty)\times \mathbb{R}).$ If it is necessary, we can also assume $f$ to be continuous. ...
user89890
17
votes
1
answer
986
views
Can two-point sets be Borel?
Recall that a two-point set is a subset of the plane which meets every line in exactly two points. Such a set was first constructed by Mazurkiewicz in 1914.
I wonder if the following question of ...
- 32.1k
4
votes
3
answers
667
views
Regularity for the roots of (characteristic) polynomials with given multiplicity
A classical result states that roots of a polynomial are continuous functions of its coefficients.
This is, for exemple, a direct consequence of Rouché's theorem.
Using the implicit function ...
- 2,135
7
votes
1
answer
489
views
When the value of a function in a point is equal to its integral average over the point's neighborhood?
It is well-known that the harmonic functions have this remarkable Averaging Property: if $f$ is harmonic in a domain $U \subset R^n$, then, for any point $x \in U$, $f(x)$ is equal to the integral ...
- 91
3
votes
0
answers
109
views
Weak convergence of series representing the log characteristic function
Disclaimer. I already asked this question on math.stackexchange.com without any answers or comments as of yet.
In which weak sense does the series representation of the log-characteristic function ...
- 101
1
vote
1
answer
179
views
One trig "survives" a binomial summation: why?
I've seen many trigonometric identities but here is one that I encountered for which I did not find a reference.
In case you wonder where this came from, I was investigating certain $q$-series in ...
- 43.2k
5
votes
1
answer
329
views
Constructive approximation of Hölder functions using kernel functions
Suppose I have a function $f \in \mathcal C^{\alpha, L}([0,1])$, where
$\mathcal C^{\alpha, L}([0,1])$ is the space of $\alpha$-smooth Hölder
functions with norm $L$. I am interested in efficiently ...
- 155
5
votes
2
answers
840
views
Decompostition of a Lipschitz domain
We say that $\Omega$ is a strongly star shaped domain (with respect to $0$ for example) in $\mathbb R ^n$ if:
$$\Omega = \{x\in \mathbb R ^n : \left \| x \right \| < g(\frac{x}{\left \| x\right \...
- 291
4
votes
0
answers
96
views
Bessel in matrix?
Let $M_n$ be the matrix
$$M_n=\begin{pmatrix}
1&\binom{1}{1}\binom{1-1}{1-1} &0 &0\qquad \qquad \dots &0\\
1&\binom{2}{1}\binom{2-1}{1-1} &\binom{2}{2}\binom{2-1}{2-1} &0 \...
- 43.2k
5
votes
2
answers
1k
views
real analyticity, Fourier coefficients [duplicate]
Question. Suppose $f$ is periodic in $[0,2\pi]$. What conditions on the Fourier coefficients of $f$ would guarantee real analyticity of $f$? Please provide me with a reference.
- 43.2k
2
votes
1
answer
287
views
Regularity of the reparametrization map between curves [closed]
I am looking for a reference for the following kind of results.
Let $\Gamma$ be the space of Lipschitz curves $\text{Lip}([0,1]; \mathbb R^d)$ equipped with the sup norm.
Let $B$ be a Borel subset of ...
- 980
3
votes
0
answers
223
views
Does the divergent solution of this equation :$f'=e^{f^{-1}}$ of Gevrey type and could be Borel summation applied for it?
This question was asked here in MO by someone seeking for the solution of the functional -differential:$f'=e^{f^{-1}}$ not exactly an O.D.E, and again here seeking for the growth rate of it solution ...
user99666
2
votes
1
answer
91
views
Question about optimizing a given function by optimizing an approximation
Let $f$ be a real-valued function. Suppose I want to find a local maximum of $f$, but I decide to work with an ''approximation'' to $f$ --let us call it $g$. What is a suitable notion of ''...
- 170
11
votes
2
answers
1k
views
Two divergent series conspiring?
Consider the sequence $a_n=2^{2n}\binom{2n}n^{-1}$. Stirling's approximation shows that $a_n\sim \sqrt{\pi n}$, thus
$$\sum_{n\geq0}\frac{\pi}{2a_n}\qquad \text{and} \qquad
\sum_{n\geq0}\frac{a_n}{2n+...
- 43.2k
-6
votes
2
answers
2k
views
Is there a transformation or a proof for these integrals?
Here are certain weighted Gaussian integrals I have encountered for which numerical computation reassures equality.
Question. Is this true? If so, is there an underlying transformation or just a ...
- 43.2k
0
votes
0
answers
58
views
in search of convergent daughter sequences
Let $\{f_n\}\subset L^1(\Omega,\mu)$, where $\mu$ is the Lebesgue measure, and $\Vert f_n\Vert_1\leq M$ and $\Vert Df_n\Vert_{1/2}\leq C$ uniformly in $n$.
Question. Is there a subsequence $\{f_{...
- 43.2k
15
votes
4
answers
3k
views
No Tonelli or Fubini
Whenever we can interchange summation (perhaps due to Tonelli-Fubini), good things happen. Otherwise, one has to struggle evaluating double sums in just one way, because the alternative results in a ...
1
vote
1
answer
823
views
What is the growth of sum of absolute values of Fourier coefficients
For a periodic BV function $f$ which has jump discontinuties, is there any theorem in Fourier analysis which gives like $$\sum_{k=0}^n\left|c_k\right|\sim C\log\left(n\right)$$ where $C$ is a constant ...
- 698
7
votes
0
answers
187
views
distance distributions on a hypersphere?
Fix a real number $0\leq t\leq 1$ and an integer $n>1$. Let
$\mathbb{S}^{n-1}\subset\mathbb{R}^n$ denote the unit hypersphere. Define
$$d_N(n;t):=\max\sum_{i<j}\Vert P_i-P_j\Vert_2^t$$
where ...
- 43.2k