All Questions
5,858 questions
6
votes
1
answer
300
views
Log-convexity of determinant
Let $f(z):=\langle g(z),g(z)\rangle,$ where $z \mapsto g(z)$ is holomorphic and $\langle \bullet,\bullet\rangle$ is an inner-product on some function space, such as $L^2$, such that $\langle g(z),g(z)\...
5
votes
1
answer
340
views
How to give a counterexample of this estimate related to Paley-Littlewood theorem?
I am studying Paley-Littlewood theorem in Harmonic analysis, and I met an exercise. I would like to construct a function $f$ as a counterexample to show that the inequality
\begin{equation}
\| f \|^...
- 187
8
votes
3
answers
1k
views
Ramanujan's Master Formula: A proof and relation to umbral calculus
The Ramanujan's master theorem states that:
$$
\int_0^{\infty}x^{s-1}\sum_{n=0}^{\infty}\frac{(-1)^n}{n!}a_nx^ndx=\Gamma(s)a_{-s}
$$
I found a really strange proof recently on a personal blog:
Define
$...
- 302
4
votes
1
answer
254
views
$\limsup_{n\rightarrow \infty, n\in\mathbb{N}} \sin(n)^{n^x}$ for various $x$
Let $$f(x)=\limsup_{n\rightarrow \infty, n\in\mathbb{N}} \sin(n)^{n^x}.$$
Compute $f(1)$ and $f(2)$.
19
votes
3
answers
1k
views
Is there a Cantor set $C$ in $\mathbb{R}^{2}$ so the graph of every continuous function $[0,1]\rightarrow [0,1]$ intersects $C$?
Consider the Cantor ternary set on the real line with the usual topology and define a Cantor set to be any topological space $C$ homeomorphic to the Cantor ternary set.
The idea is to construct a ...
- 2,136
0
votes
0
answers
164
views
How to prove negativity of a $3\times3$ determinant whose elements involve trigamma, tetragamma, and pentagamma functions?
The classical Euler gamma function can be defined by the integral
\begin{equation*}
\Gamma(z)=\int_0^{\infty}t^{z-1}\operatorname{e}^{-t}\operatorname{d}t, \quad \Re(z)>0.
\end{equation*}
Its ...
- 1,101
1
vote
1
answer
233
views
Continuity of a rational function
This is a simple question. Given a real valued rational function
$$
f (x) = \frac{p(x)}{q(x)}\quad x\in\mathbf R^N,
$$
this is called regular on a point if the denominator $q$ does not vanish there. ...
- 29
2
votes
1
answer
112
views
Uniqueness of the zero of $f-f*G_\sigma$ with $f$ convex/concave
I am struggling with the following problem. Let $f$ be a real smooth function:
strictly convex on $(-\infty,0)$,
strictly concave on $(0,\infty)$,
strictly increasing.
For $\sigma>0$, how can one ...
- 393
2
votes
1
answer
179
views
Definition of integral over level sets in coarea formula
This is probably a simple question, maybe more suited for MSE. In the coarea formula, you have
$$\int_{{\mathbb{R}}^n} g (x) |\nabla f(x)|\, dx= \int_\mathbb{R} \left(\int_{\{f=t\}} g d \mathcal{H}^{n-...
- 697
1
vote
0
answers
98
views
Periodicity in one Fourier variable
Let $f:[0,1]\times [0,1] \to \mathbb C$ be a double periodic function (periodic in both variables) that depends real-analytically on its argument.
We can thus write $f$ as $$ f(x) = \sum_{n \in \...
1
vote
1
answer
191
views
Concentration inequality for square roots
Given a sequence of (not-necessarily-iid) real-valued random variables $X_n$ that converge to $a\in\mathbb{R}$ in probability, suppose we have an exponential concentration inequality of the form
$$
P(|...
- 13
1
vote
1
answer
185
views
Does $\sum_{n=1}^\infty e^{-n^2 T} \int_0^T e^{n^2 t} \lvert f(t)\rvert \, dt$ converge for $L^1_\text{loc}$ $f : [0,\infty) \to \mathbb{R}$?
Let $f(t) : [0,\infty) \to \mathbb{R}$ be an $L^1_\text{loc}$ function.
Then, I wonder if the following series
\begin{equation}
\sum_{n=1}^\infty e^{-n^2 T} \int_0^T e^{n^2 t} \lvert f(t)\rvert
\, dt
...
- 3,477
2
votes
1
answer
165
views
Continuity of an upper semi-continuous function over periodic points
Let $f: X \to \mathbb{R}$ be an upper semi-continuous function on $X$, which is a compact subspace of a vector space. Let sequence $x_n, n \in \mathbb{N}$, with positive elements - periodic: there ...
- 1,043
11
votes
2
answers
2k
views
L'Hopital rule for upper and lower limit?
I am reading the following paper 1998(H.Hudzik) P.574
It reads using L'Hopital rule$$\liminf_{u\to\infty} \frac{1/\varphi(1/u)}{\psi(u)}=\liminf_{u\to\infty}\frac{\varphi'(u)}{\psi'(u)u^2[\varphi(1/u)]...
0
votes
0
answers
98
views
Tangent spaces of Lipschitz sub manifolds
Consider $\mathbb{R}^n$, $k<n$, and topological embeddings (homeomorphisms onto image) $f_i : \mathbb{R}^k \supseteq B_1(0) \to \mathbb{R}^n$, $i=1,2$, which are also Lipschitz continuous and ...
- 403
15
votes
2
answers
1k
views
If a function $f$ is $(1+\varepsilon)$-times Lebesgue differentiable everywhere, is $f$ a constant function?
Let $f: \mathbb R^n \to \mathbb R$ be a locally integrable function. We say $x \in \mathbb R^n$ is a strong Lebesgue point of $f$ if
$$\lim_{r \to 0} \frac{\int_{B_r (x)} |f(y) - f(x)| \, dy}{r^{n+1+\...
- 6,223
2
votes
1
answer
181
views
Matrix function as gradient
Let $S_n^{++}(\mathbb{R})$ be the space of $n \times n$ symmetric positive definite matrices. For $M \in S_n^{++}(\mathbb{R})$ consider the function $f: X \in S_n^{++}(\mathbb{R}) \mapsto M X^{-1} M$.
...
- 407
1
vote
0
answers
123
views
Dependence of Sobolev embedding theorem constant on smoothness
Assume that $\Omega \subset \mathbb{R}^d$ is "nice" enough and $k$ is a positive real number. Using the Sobolev embedding theorem, we can get that
$$
\|f\|_{W^{0,2d/(d-2k)}\ \ \ \ \ (\Omega)}...
- 11
4
votes
2
answers
245
views
On the monotonicity of the ratio of two logarithmic expressions
According to this comment and this comment, a positive answer to this recent question (about Bernoulli numbers) would be sufficient to prove the following:
$r:=f/g$ is increasing on $(0,\pi/2)$ from $...
- 128k
1
vote
1
answer
65
views
Boundedness of maximisers of parametric strictly concave functions
Let $L:[0,1]\times \mathbb R^m\times \mathbb R^n\to \mathbb R$ be defined by
$$L(\lambda, x,y):=\sum_{1\le i\le m}\alpha_i x_i + \sum_{1\le j\le n}\beta_j y_j -\sum_{1\le i\le m, 1\le j\le n} p_{i,j}\...
- 1,399
4
votes
1
answer
523
views
Is there any strengthened version of Rademacher's Theorem or any counterexample?
The following theorem is well-known in the ordinary analysis textbook:
Theorem: Assume the function $f:U\to\Bbb R^n$ is Lipschitz continuous on an open set $U\subset\Bbb R^m$, then $f$ is almost ...
- 300
3
votes
1
answer
379
views
Convergence of a power series
Consider the numbers $$a_n=\frac{1}{n+1}\sum_{k=0}^{n}\frac{2^{k-1}\binom{n+1}{k}B_k}{2^{s+k-1}-1}, \ n\geq0,$$ where $s\neq1;0;-1;-2;-3;...$ is a fixed real number, and the $B_k$ are the Bernoulli ...
- 463
38
votes
13
answers
5k
views
Continuous relations?
What might it mean for a relation $R\subset X\times Y$ to be continuous, where $X$ and $Y$ are topological spaces? In topology, category theory or in analysis? Is it possible, canonical, useful?
I ...
- 862
3
votes
2
answers
348
views
Subdifferential of a convex function admits a continuous selection
Let $F$ be a continuous convex function on $\mathbb{R}^n$.
If the subdifferential $\partial F(x)$ of $F(x)$ admits a continuous selection, for every $x \in \mathbb{R}^n$, does it mean that $F$ is ...
- 33
3
votes
1
answer
353
views
Sequential separability on $C_p(X)$
Definition. Let $E$ be a topological space. Suppose that $E$ contains a sequence $\{x_n\}$ such that for every $x\in E$, there exists a subsequence $\{x_{n_k}\}$ of $\{x_n\}$ with $x=\lim x_{n_k}$. ...
- 4,058
54
votes
3
answers
4k
views
Does every real function have this weak continuity property?
In my research I came across the following question :
Is it true that for every real function $f:\mathbb{R}\to\mathbb{R}$, there exists a real sequence $(x_n)_n$, taking infinitely many values, ...
- 4,074
1
vote
0
answers
166
views
Monotone likelihood ratio of convolved power function kernel, $p\ge 3$
It was shown in a previous answer that for: $f(x)=|x|^p$, $\;x\in \mathbb{R}$, $\;p>2$, defining the density:
$$p(\phi;\theta) = \Big(f\big(\hspace{-1pt}\cos(\phi-\theta)\big) - f\big(
\hspace{-1pt}...
- 391
3
votes
1
answer
166
views
A limit arising from Mellin Inversion: How to compute a specific term of an asymptotic series?
So I am wondering if there exists a general procedure for the following problem:
given a monotonically increasing function $f(n)$ which is nonegative on the interval $[0,\infty)$ and grows faster than ...
- 2,689
1
vote
2
answers
188
views
Does a measurable $F :[0, T] \to L^p (\mathbb R^d; \mathbb R_{\ge 0})$ have a "flattened" measurable version?
Let $d \in \mathbb N^*,p \in [1, \infty]$ and $T>0$. Let
$$
F :[0, T] \to L^p (\mathbb R^d; \mathbb R_{\ge 0}), t \mapsto F_t
$$
be measurable. I would like to ask if there is a measurable function ...
- 825
16
votes
1
answer
3k
views
Did Euler know (unconsciously) to integrate by differentiating?
Considering a method to find the anti-derivative of an (sufficiently smooth) real function by differentiating published some years ago (equation (48) in Kempf et al., New Dirac Delta function based ...
- 4,014
2
votes
0
answers
180
views
Approximating $L^p$ functions by eigenfunctions of Laplacian
I'm reading a paper https://www.sciencedirect.com/science/article/pii/S0022039608004932.
In this paper, the authors assume that $\mathcal{O}$ is a bounded domain of $\mathbb{R}^N$ with $C^m$ boundary ...
- 121
3
votes
2
answers
382
views
Singular support: equivalent definition
Let $U\subset\mathbb{R}^{d}$ be an open set. The singular support of a distribution $u\in\mathcal{D}^{\prime}(U)$ is defined to be the compliment of the set of points, which have a neighbourhood in ...
- 1,171
2
votes
1
answer
186
views
Local equality of functions implies global equality?
The following question arised in my research, and I was unable to settle it after playing with it for sometime. Let $\{a^k_i\}_{i\geq 1}$ (for $k\in \{1,2,3,4\}$) be four sequences of real numbers. ...
- 1,117
0
votes
1
answer
139
views
A probability distribution, with Fourier transform smaller than $C \exp(-ct^2)$
Is there a probability distribution $\mu$ (with reasonably nice density $f$ on $\mathbb{R}$) such that the Fourier transform (aka. characteristic function) $\psi_\mu(t) = \int_{\mathbb{R}} e^{itx} \, ...
- 1,295
1
vote
1
answer
90
views
The number of roots of pseudo-exponential polynomials
Assume that $J$ is the interval $(-\pi,\pi]$. For $k=1,\ldots,2n$, suppose that $\lambda_k$s are real functions on $J$ with $|\lambda_k|=1$, meaning that $\lambda_k(t)$ is either $-1$ or $1$ where $t\...
- 4,058
1
vote
0
answers
102
views
Proving that a quantity is positive (Gaussian density and Gaussian CFD)
$\def\R{\mathbb R}$$\def\aha{{1/2}}$$\def\maha{{1/2}}$
Hi everyone,
I am interested in the following problem:
Let consider the heat equation problem:
$$\forall (t,x) \in \mathbb{R}_+\times\mathbb{R}, ~...
- 393
1
vote
1
answer
125
views
Approximation of two densities with a single transformation
Let $p_1$ and $p_2$ be two probability densities and $X_i\sim N(\mu_i,\Sigma_i)$. Write $w(X)\sim p$ if the law of the random variable $w(X)$ has a density equal to $p$. For general densities $p_i$, ...
- 63
6
votes
3
answers
938
views
Proof of a matrix implication
If $A = \begin{bmatrix} x & 1\\ y & 0\end{bmatrix}, B = \begin{bmatrix} z & 1\\ w & 0\end{bmatrix}$, for $x,y,z,w \in \Bbb{R}$.
I have observed by considering many examples of $x,y,z,...
- 51
3
votes
1
answer
219
views
Is there a real/functional analytic proof of Cramér–Lévy theorem?
In the book Gaussian Measures in Finite and Infinite Dimensions by Stroock, there is a theorem with a comment
The following remarkable theorem was discovered by Cramér and Lévy. So far as I know, ...
- 657
31
votes
2
answers
3k
views
A natural construction of real numbers?
Summary
Someone claims $\mathbb{R}$ can be constructed as the following intriguing quotient, which is related to Gromov's bounded cohomology. I want to find out if it is true.
$$\frac{\bigl\{f:\mathbb{...
- 5,230
15
votes
2
answers
473
views
Generalizations of summation methods of divergence series
If one looks at the "summation proofs" of divergent series such as Grandi's series, one might see a pattern that most of the computation rely on linearity and comparability with the shift ...
6
votes
2
answers
463
views
Spectrum of operator involving ladder operators
The ladder operator in quantum mechanics are the operators
$$a^\dagger \ = \ \frac{1}{\sqrt{2}} \left(-\frac{d}{dq} + q\right)$$
and
$$a \ \ = \ \frac{1}{\sqrt{2}} \left(\ \ \ \!\frac{d}{dq} + q\...
4
votes
1
answer
256
views
If a function $f$ is $\varepsilon$-times Lebesgue differentiable, is $f$ continuous?
Let $f: \mathbb R^n \to \mathbb R$ be a locally integrable function. Given an $\varepsilon > 0$, we say $f$ is $\varepsilon$-times Lebesgue differentiable if
$$\lim_{r \to 0} \frac{\int_{B_r (x)} |...
- 6,223
0
votes
0
answers
120
views
Mysterious Bound: $\int_{B_{4}}\|D^{2}u\|^{2} \leq 2^{n}$
I am reading through "A GEOMETRIC APPROACH TO THE CALDERON–ZYGMUND ESTIMATES" by Lihe Wang and I am perplexed by an assertion in Lemma 7. The claim is that whenever $\Delta u = f$:
$$\frac{1}...
- 1
-3
votes
1
answer
167
views
Is there a simple function similar to exp? [closed]
As far as I know exp have such properties:
$f'(x) >0$
$f''(x) >0$
$\lim_{x \to -\infty}f(x)=0$
$\lim_{x \to +\infty}f(x)=\infty$
$f(x)f(-x)=1$
Let's say f(x) comply such rules.
The closest I ...
- 1
11
votes
3
answers
890
views
Structure theorems for compact sets of rationals
Everyone knows the Heine-Borel theorem characterizing compact subsets of Euclidean space. For any $n \in \mathbb N$ a set $A \subseteq \mathbb R^n$ is compact just in case it is closed and bounded (in ...
- 1,882
7
votes
0
answers
204
views
Permutations which change the value of a convergent series
I'm interested in the following combinatorial problem: What is a necessary and sufficent condition on a permutation $\sigma : \mathbb{N} \rightarrow \mathbb{N}$, so that there exist a summable ...
- 71
0
votes
0
answers
53
views
Non-linearity of viscosity solutions
I am interested in the following problem.
Let consider the solution of the non-linear PDE on $[0,T]\times\mathbb{R}$ satifying the following Cauchy problem:
$$
\begin{cases}
u_t = F(u_{xx}),\\
u(0,x) =...
- 393
2
votes
1
answer
294
views
Are the jumps of a càdlàg function "summable"?
This question is motivated by the question https://math.stackexchange.com/questions/4644235/ on Math Stack Exchange. First, I need to define a notion of transfinite summability that I have not seen ...
- 708
2
votes
1
answer
210
views
What is a subset of $\mathbb{Z}^3$ making $\Bigl( \sin(n \cdot x),\cos(n \cdot x) \Bigr)_{n \in \mathbb{Z}^3}$ linearly independent?
This question was originally posted in ME: https://math.stackexchange.com/questions/4725157/what-is-an-explicit-subset-of-mathbbz3-that-makes-bigl-sinn-cdot-x
but more and more I think about it, this ...
- 3,477