All Questions
5,910 questions
3
votes
1
answer
187
views
Free quantum evolution operator on Sobolev space
I am not a mathematician, but would like really like to get some confirmation on the things I am doing here.
Let $-\Delta: H^2(\mathbb{R}) \subset L^2(\mathbb{R}) \rightarrow L^2(\mathbb{R})$ then ...
- 95
4
votes
2
answers
243
views
Summability of iterates of analytic function
This question, although appearing deceptively easy, has resisted many attacks against it. The question, being simple to state, is something rather non-trivial that is rather crucial towards more ...
- 6,548
8
votes
1
answer
617
views
Violating the Lebesgue density theorem
Can anyone exhibit a finite-dimensional metric space (preferably, $R^d$) equipped with a measure that does not satisfy the conclusions of the Lebesgue Density Theorem? Such examples exist in infinite-...
- 41.1k
7
votes
0
answers
394
views
Fixed radius mean value property implies harmonicity?
Let $f$ be a continuous real-valued function on $\mathbb{R}^n$. It is well known that the following are equivalent:
$f$ is harmonic.
$f$ satisfies the ball mean value property
$$
f(x)=\frac{1}{|B(x,r)...
CommunityBot
- 1
1
vote
1
answer
118
views
Almost periodic function and closed spaces
We denote $X_{T}$ the vector space of all $T$-periodic function with zero mean in $L^2$ ( we know that $X_{T}$ is spawn by $(e^{2i\pi nt/T})$). Let be $$X=X_{2\pi}+X_{3\pi}.$$
I think that $X_{2\pi}+...
- 109k
1
vote
0
answers
86
views
Least restrictive condition such that $-y''(x)+q(x)y(x)=\lambda y(x)$ has two solutions
Let $\lambda \in \mathbb{R}$ and consider some function $q$ on the interval $[0,1].$
What is known to be the least restrictive condition on $q$ such that there are two linearly independent $H^2$ ...
- 7,193
12
votes
1
answer
778
views
Is a Lebesgue measurable subgroup of $\mathbb{R}$ a Borel measurable set?
Assume that $H$ is a Lebesgue measurable additive subgroup of $\mathbb{R}$. Is $H$ necessarily a Borel subset of $\mathbb{R}$?
- 114k
3
votes
0
answers
160
views
integral with simple approximation. But why?
I have the following integral
$$g(x_0) = \int_{-\infty}^{\infty} \frac{1}{(1+x^2)^{3/4}}\frac{1}{(1+(x+x_0)^2)^{3/4}}\exp\left(-\frac{2\pi i}{\lambda}\left[\sqrt{1+x^2}-\sqrt{1+(x+x_0)^2} \right] \...
- 25.8k
0
votes
0
answers
59
views
Restriction to Basis of Cadlag function
If $f \in L^2([0,T])$ then it can be written as
$$
f(t) \triangleq \sum_{i \in \mathbb{N}} c_i e_i(t),
$$
for some sequence $\{c_i\}$ of real numbers and a Schauder basis $\{e_i(t)\}$ of $L^2([0,T])$ ...
- 5,405
4
votes
0
answers
141
views
Level sets of function of inner products of vectors on hypercube
Let $H = \{ 0, 1\}^d$ be the $d$-th Cartesian product of $\{0, 1\}$ in $\mathbb{R}^d$. Suppose $v_1, \ldots, v_k$ are $k$ vectors in $H$ in general position. We define function $F \colon H^{k}\...
- 1,127
11
votes
1
answer
1k
views
Conditional convergence of $\sum_{n\geq 1} \frac{\sin(p(n))}{n}$?
The series $\sum_{n\geq 1} \frac{\sin n}{n}$ is easily seen to be conditionally convergent, e.g. by Abel summation. But how about $\sum_{n\geq 1} \frac{\sin(n^2)}{n}$? (for which Abel summation fails)...
CommunityBot
- 1
1
vote
0
answers
448
views
Largest possible variance for log-concave distributions on a bounded interval
Let $f$ be the density of a log-concave probability distribution on the interval $[0,1]$ (with respect to Lebesgue measure). To be concrete, suppose that $f(x) = \exp( - \varphi(x))$, for some convex ...
CommunityBot
- 1
2
votes
0
answers
60
views
A question about Kolmogorov Superpositions
D.A. Sprecher showed (https://www.researchgate.net/profile/David_Sprecher2/publication/243052898_A_Representation_Theorem_for_Continuous_Functions_of_Several_Variables/links/554929f20cf2ebfd8e3ad956....
- 371
1
vote
0
answers
106
views
Identifying a notion of integration
Let $f$: $I\longrightarrow\mathbb{R}$ be a (not necessarily bounded) function on an interval $I\subseteq\mathbb{R}$.
Suppose $f$ admits a function $F$: $I\longrightarrow\mathbb{R}$ such that
(1) $F$ ...
- 277
15
votes
2
answers
681
views
Are Fourier transforms of L^p stable under diffeomorphisms?
Let $\xi$ be a compactly supported distribution on $\mathbb R^n$ and assume that its Fourier transform is in $L^p$. Let $\phi:\mathbb R^n\to\mathbb R^n$ be a diffeomorphism. Does the Fourier ...
- 4,660
10
votes
2
answers
426
views
Density of the linear span of products of harmonic polymomials
Let $\mathcal{H}$ denote the space of all harmonic polynomials with complex coefficients in $n$ variables $x_1,\ldots, x_n$ in $\mathbb{R}^n$. I'm trying to show that the linear span of the set $\...
- 61.9k
2
votes
1
answer
207
views
Expectation of Truncated Bivariate Gaussian Random Variables
Suppose $Z , \epsilon \sim N(0, 1)$ are independent Gaussian random variables. Let $a \ll 1$ be a small positive number. Let $W = aZ + \epsilon$. It can be show that
\begin{align}
\mathbb{E} [ W^2 (Z^...
- 61.9k
3
votes
1
answer
496
views
Prove that these two definitions of "natural" integration constant coincide when both converge
These are two possible definitions of antiderivative (integral) incorporating a supposedly natural choice of an integration constant (see this question for further details).
The first one is based on ...
CommunityBot
- 1
7
votes
0
answers
211
views
Increasing derivatives of recursively defined polynomials
Consider recursively defined polynomials $f_0(x)=x$ and $f_{n+1}(x)=f_n(x)−f_n'(x) x (1−x)$.
These polynomials have some special properties, for example $f_n(0)=0$, $f_n(1)=1$, and all $n+1$ roots of ...
- 10.5k
1
vote
1
answer
1k
views
Intermediate value property and continuity
We say that a function $f:\mathbb{R}\to\mathbb{R}$ has the intermediate value property (ivp) if for $a<b$ in $\mathbb{R}$ we have $$f([a,b]) \supseteq [\min\{f(a),f(b)\}, \max\{f(a), f(b)\}].$$
The ...
- 109k
3
votes
0
answers
848
views
Does a bounded convex domain has one smooth boundary point?
In the study of analysis and geometry of a bounded domain, its boundary regularity is important. For example, it is known that a bounded convex domain has Lipschitz bounday. This implies that a ...
- 285
4
votes
2
answers
587
views
How to prove this inequality or give a more accurate bound?
How can we prove this inequality or give a more accurate bound?
$$
1 + x + \frac{{{x^2}}}{{2!}} + ....... + \frac{{{x^n}}}{{n!}} > \frac{{{e^x}}}{2}，x \in [0,n]\
$$
I came across the equation:
$$
...
- 109k
2
votes
1
answer
5k
views
Smooth Approximation of Indicator Function of Convex Sets in $\mathbb{R}^n$
Let $( \mathbb{R}^n, \| \cdot \|_P)$ be the $n$-dimensional Euclidean space equipped with $\ell_p$-norm $\| \cdot \|_p$ for some $p\in [1, + \infty]$. Let $A$ be a convex set in $\mathbb{R}^n$ and ...
- 489
2
votes
2
answers
233
views
Is the domain of symmetric derivative borel set?
Let $\mu$ be the $n$-dimensional Lebesgue measure and $\lambda$ be a complex Borel measure on $\mathbb{R}^n$.
Let $S$ be the set of points $x\in \mathbb{R}^n$ where $\lim_{r\to 0} \frac{\lambda (B(x,...
- 128k
1
vote
1
answer
1k
views
About covariance operators for probability distributions on a function space
Feel free to restrict the function space to a Hilbert space or to a RKHS. Given a probability distribution on it when can we define a ``covariance operator" for it and when would it also have a well-...
- 128k
0
votes
1
answer
126
views
Comparing tails of polynomial functions
Suppose that $P(x) = a_m x^m + \dots + a_0$ and $Q(x) = b_n x^n + \dots + b_0$ are two polynomials, with $m > n > 1$ and $a_m > b_n > 0$. Suppose that $P$ has $m$ distinct real roots $y_1&...
- 54.2k
3
votes
1
answer
290
views
Fluctuating constants
Let $p_k$ be the $k$-th prime number, $\gamma$ be the Euler-Mascheroni constant and $M$ be the Meissel–Mertens and let $m$ be the integer part of $\log p_n$. We can show that
$$
\sum_{r=1}^{m} \frac{...
- 43.7k
4
votes
1
answer
370
views
Convergence of a series
Let $F(z)=\displaystyle \sum_{k=0}^\infty a_kz^k,\;|z|<R $ and $F(R)=\displaystyle \sum_{k=0}^\infty a_kR^k$ (the series converges).
Assume that $F(\alpha_j)=0,\;j=1,2,\dots ,m$, where all $|\...
CommunityBot
- 1
8
votes
1
answer
838
views
Density of prime pairs whose gap is less than the average gap
By the prime number theorem we know that the "average gap" between the first $n$ primes is $\ln p_n$. I would like to know the density of consecutive prime pairs whose gap is less than the average gap ...
CommunityBot
- 1
3
votes
1
answer
201
views
Seeking a property about Lebesgue-Stieltjes outer measure
I am a graduate student and this is not something related to my work but I was just wondering and did not find an answer on the Internet. I asked this on the other math site two weeks ago and no one ...
- 19.6k
-1
votes
1
answer
227
views
Solving the integral identity $ \int_{a}^{b} f(x)dx = \int_{a}^{b} f(x)g(x)dx. $ [closed]
We know that 0 is the additive identity and 1 is the multiplicative identity. In the same spirit let us define the integral identity as follows.
Definition: Let $f(x)$ be integrable in $(a,b)$. If ...
- 39.8k
0
votes
1
answer
629
views
Fourier Transform of sub-Gaussian distributions
The high level question is: Just as the Fourier transform of a Gaussian is a Gaussian, is the Fourier Transform of a sub-Gaussian also a sub-Gaussian?
Let $x \in \mathbf{R}^n$ denote some sub-...
- 166
3
votes
0
answers
198
views
Characterizing rational functions on $\mathbb{Q}$ in terms of smooth extensions to $\mathbb{R}$ and $\mathbb{Q}_p$
Consider a function $f$ from a cofinite subset of $\mathbb{Q}$ to $\mathbb{Q}$. As established here and here $f$ extending to a smooth function on a cofinite subset of $\mathbb{R}$ is not sufficient ...
CommunityBot
- 1
2
votes
1
answer
255
views
A lower estimate of the derivative of a distance function
I have a question about the derivative of a distance function.
Let $D \subset \mathbb{R}^{d}$ be a connected and unbounded open subset with smooth boundary. $B(z,r)$ denotes the closed (not open) ...
- 56
4
votes
1
answer
222
views
Is every regular Borel outer measure topologically additive?
If $m$ is a regular Borel outer measure is it true that $m$ is topologically additive?
If so what is a proof or a counterexample?
Definitions:
Topologically Additive: $X$ is a topological space, $m$ ...
- 128k
1
vote
1
answer
100
views
Can this equality hold for a nonzero $b$?
Please may you kindly assist me on this integration exercise: For real $a, b$ with $a \neq 0$, consider the equality
$$\int_1^\infty f(x)\sin(a\log \sqrt x)x^b \mathrm{d}x = \int_1^\infty f(x)\sin(a\...
- 128k
7
votes
1
answer
317
views
Improving Baumgartner's result?
Q1: Is it consistent with the failure of CH to have an $\aleph_1$-dense subset $A \subseteq \mathbb{R}$ such that for every $X \subseteq \mathbb{R}$ of size $\aleph_1$, there is a $C^{\infty}$ map $F: ...
CommunityBot
- 1
9
votes
1
answer
401
views
Horn's inequalities for n matrices
Where I can find necessary and sufficient conditions on eigenvalues of Hermitian matrices with the relation $$A_1 + A_2 + ... + A_n = A_0 ,$$
i.e. Horn's inequalities for n matrices?
Can such ...
CommunityBot
- 1
1
vote
1
answer
133
views
Every $W^{1,p}$ has a representative in ACL
Let $\Omega:=(0,1)^n$ and define $ACL_i(\Omega)$ as the set of all Borel functions $u:\Omega\to\mathbb{R}$ such that
$$ t\mapsto u(x_1,\dots,x_{i-1},t,x_{i+1},\dots,x_n) $$
is $AC$ for a.e. $(x_1,\...
- 755
2
votes
1
answer
1k
views
Doubling metrics, doubling measures, Lebesgue density
As stated in this question,
Lebesgue differentiation theorem holds on locally doubling space?
and proved here,
http://www.math.uiuc.edu/~tyson/595f15lecture2.pdf
the Lebesgue differentiation theorem (...
CommunityBot
- 1
1
vote
0
answers
117
views
The eigenfunction of modified $1$-laplace equation?
Let $\Omega\subset \mathbb R^2$ be open bounded with smooth boundary. It is well known that the laplace equation
$$
-\Delta u=0
$$
has a set of eigenvalues $0<\lambda_1<\lambda_2\leq\lambda_3<...
- 679
0
votes
1
answer
160
views
Global Poincaré type estimate
For simplicity let us assume we are considering $\mathbb{R}^3$. Let us define the weighted Sobolev norm $\| u \|^2_{L^2_{\alpha}}= \int_{\mathbb{R}^3} |u|^2 \langle x\rangle^{\alpha}$ where $\langle x ...
- 4,153
4
votes
2
answers
225
views
Extremal problem for sequences
Let $a_n$ be a sequence of positive numbers and define $$A_n=\sum_{k=1}^{n-1} a_k a_{n-k}.$$ I am interested in the supremum of the following quantity $X/Y$ where $$X=\sum _{i=1}^{\infty } \left(\sum ...
- 156k
2
votes
1
answer
886
views
A uniform Lebesgue density theorem
The Lebesgue density theorem in $\mathbb{R}^n$ may be stated as follows. For a Lebesgue-measurable $A\subseteq\mathbb{R}$ and $r>0, x\in\mathbb{R}^n$, define
$$ \chi_{A,r}(x)=\frac{\mu(A\cap B_r(x))...
- 6,541
2
votes
2
answers
953
views
Differentiability of Nemytskii operator on Sobolev space
I am trying to consider hypothesis on $g$ such that the operator
$$ H_0^1 (\Omega) \to L^2(\Omega), \qquad v \mapsto g(v) $$
is $\mathcal C^1$. As additional hypothesis $\Omega$ is bounded and $g(0) = ...
- 3,584
6
votes
1
answer
1k
views
About the generating structure of Borel field
This is a graduate-level measure theory problem. I have thought throught it and asked on math.SE but received no satisfying answer.
On P.32 of [P.Billingsley] Probability and Measure, 3ed, 1993, the ...
CommunityBot
- 1
2
votes
0
answers
81
views
Convolution of decaying polynomials [closed]
I conjecture that if the functions $f$, $g$ defined on $\mathbb{R}^n$ satisfying
$$|f(x)| ≤ A(1+|x|)^{−M}, \quad |g(x)| ≤ B(1+|x|)^{−N}$$for some
$M$, $N > n$, then$$|(f * g)(x)| ≤ ABC(1+|x|)^{−L},$...
- 355
1
vote
0
answers
161
views
level sets portrait near a critical point
Let $f:\mathbb{R}^{2}\rightarrow\mathbb{R}$ be a smooth ($C^{\infty}$) function and $O$ be an
isolated critical point of $f$. I am looking at the local level sets diagram
near $O$ from topological ...
- 45
2
votes
1
answer
389
views
An irresistible inequality
The following occurred while working on some research project. Since the methods of proof I used were lengthy, I wish to see a skillful or insightful approach (perhaps even conceptual). Anyhow, here ...
- 53.3k
5
votes
0
answers
116
views
For $f$ a polynomial, does strict convexity of $\log f(e^s)$ imply that the second derviative of $\log f(e^s)$ has no zeros?
Let $f(t)$ be a monic real polynomial such that $f(t) > 0$ for all $t \ge 0$. Suppose that $\log f(e^x)$ is strictly convex on $\mathbb{R}$, i.e.
$f(s^2) \cdot f(t^2) > f(st)^2$
for all $s, t \...
CommunityBot
- 1