All Questions
13,944 questions
1
vote
1
answer
188
views
Can one show $h(x)=|2(\zeta'(x))^2-\zeta''(x)\zeta(x)|$ is a decreasing function for $x\in\mathbb{R}\cap [1,\infty)$?
This question is related to This question.
When I tried to approach it I couldn't even proof that the LHS is a decreasing function on the given domain using regular methods. I have tried to write the ...
- 178
1
vote
0
answers
127
views
Trace type convergence of the Laplacian on the box to the Laplacian on $\mathbb R^d$
Let $-\Delta \colon H^2(\mathbb R^d) \to \mathbb R^d$ be the (negative) Laplacian on the full space and $-\Delta_L$ the Laplacian acting on $L^2([-L,L]^d)$ with some boundary conditions making it self-...
- 61
1
vote
1
answer
183
views
Metric currents on singular measures in $\mathbb R^d$
Unless I am misunderstanding a lot of works, it is my understanding that a finite and non negative measure $\mu=g\mathcal{H}^\alpha$, where $\mathcal{H}^\alpha$ is the $\alpha$-Haudorff measure, ...
- 391
2
votes
0
answers
228
views
Any rigorous construction of $\phi^4$ theories without the mass term in the Lagrangian? (revised)
There are various papers on rigorous construction of massive $\phi^4$ theories in $2$ or $3$ Euclidean dimensions.
In 2D, there are in fact more general results such as this one by Glimm, Jaffe and ...
- 3,477
2
votes
0
answers
90
views
Representation of Dirac-delta distribution in subspace of functions
Suppose I have a subspace $V\subset L^2(\Omega)$ where $\Omega\subset \mathbb{R}^d$ is a bounded and closed set. $V$ is defined by
\begin{align}
V=\text{span}(\{\varphi_i(x): i=1,2,\dots,n\})
\end{...
- 93
4
votes
1
answer
195
views
Asymptotic spectrum of a complex Sturm-Liouville differential operator
Let $\varepsilon > 0$ and consider the (complex) Sturm–Liouville differential operator on $[0,1]$ given by
$$
\mathcal{L}_\varepsilon f(x) = \varepsilon^2 f''(x) + i V(x) f(x),
$$
with Neumann ...
- 333
0
votes
0
answers
44
views
Sufficient conditions for a homogeneous polynomial to have a continuous right inverse
this is a question that continues a series of questions I'm coming up with on homogeneous polynomials, like for example this one.
For now I can prove that a homogeneous polynomial $f:\mathbb R^n\to \...
- 311
4
votes
2
answers
389
views
Gaussian mixtures are dense in total variation?
Let $M_{TV}(\mathbb{R}^d)$ denote the set of probability measures on $\mathbb{R}^d$ with finite total variation norm which are absolutely continuous with respect to the Lebesgue measure.
By a Gaussian ...
- 5,405
3
votes
1
answer
212
views
$\nabla \times (F\times \mathbf v)=g$, $\operatorname{div}(\mathbf v)=0$
I want to solve the equation:
$$
\begin{cases}
\nabla \times (F\times\mathbf v)=g, \\
\operatorname{div}(\mathbf v)=0,
\end{cases}\label{1}\tag{1}
$$ where $F$ and $g$ are given vector fields. The ...
- 617
0
votes
2
answers
364
views
Can one show $\left|\frac{2(\zeta'(x))^2-\zeta''(x)\zeta(x)}{\zeta^3(x)}\right|\leq \frac{2}{(x-\frac{1}{2})^2}$ for $x\in\mathbb{R}\cap [1,\infty)$?
I have found that $\left|\frac{2(\zeta'(x))^2-\zeta''(x)\zeta(x)}{\zeta^3(x)}\right|\leq \frac{2}{(x-\frac{1}{2})^2}$ for all real $x$ such that $x>1$ seems to be true. I have plotted the ...
- 178
1
vote
0
answers
104
views
Commutative Banach $\mathbb{R}$-algebras without complex structure, but with path-connected group of units
For a finite-dimensional commutative (associative, unital) $\mathbb{R}$-algebra $A$, the condition $\pi_0(A^\times) = 1$ (i.e. the group of units of $A$ being path-connected) is equivalent to $A$ ...
- 7,127
0
votes
0
answers
66
views
Taking trace of a tensor product of matrix-valued smooth functions on the thin diagonal
Let $V$ be a finite dimensional real / complex vector space and consider the space $L(V,V)$ of linear operators on $V$.
Fix $n \in \mathbb{N}$ and let $\mathcal{M}$ be the real / complex vector space ...
- 3,477
2
votes
1
answer
93
views
Reference needed: estimate of the second order derivatives
In $\mathbb{R}^d$ there is estimate (see 1.3, Chapter III of E.M.Stein' book Singular Integrals and Differentiability Properties of Functions)
$$\left\|\frac{\partial^2 f}{\partial x_i \partial x_j} \...
6
votes
1
answer
568
views
Can one show that $|\zeta'(x) / \zeta^2(x)| \leq 1/(x-.5)$ for $x\in\mathbb{R}\cap [1,\infty)$?
I have found that $\left|\frac{\zeta'(x)}{\zeta^2(x)}\right|\leq \frac{1}{x-\frac{1}{2}}$ for all real $x$ such that $x>1$ seems to be true. I have plotted the inequality and got this inequality ...
- 178
4
votes
1
answer
256
views
Approximating an $L^1$ function with Riemann sums
Note: Here all functions are genuine functions, i.e. pointwise defined measurable functions instead of defined only a.e.
Let $f: [0, 1] \to \mathbb R$ be an arbitrary $L^1$ function. Of course, $f$ is ...
- 6,165
1
vote
0
answers
71
views
Integral formula of quantum dilogarithm
In the paper"Level N Teichmüller TQFT and Complex Chern-Simons Theory" arXiv:1612.06986, the authors study the quantum dilogarithm function:
\begin{equation}
\mathrm{D}_{\rm b}(x,n)=\prod_{...
- 109
1
vote
1
answer
112
views
Bounding a Riemann sum by its integral limit?
Let $M_{n}(\mathbb{C})$ denote the space of complex $n \times n$ matrices and, for $a>0$, $a \in \mathbb{R}$ fixed, let $A: [0,a) \to M_{n}(\mathbb{C})$ be a given function. I will write $A(t) = (...
6
votes
2
answers
773
views
Finiteness of an integral
In a paper I am reading, the following seems to be claimed:
Let $f:[0,\infty)\to [2,\infty)$ be a continuous, monotonically increasing function with $\lim_{x\to\infty}f(x)=\infty$ and let $\alpha>3/...
- 460
3
votes
0
answers
122
views
Analytic functions and Hyperfunction as TVS
I have several related questions on Analytic functions and Hyperfunction as topological vector spaces (I am mainly interested in questions 4,6,10):
For an open set $U\subset \mathbb C^n$ we can ...
- 2,639
4
votes
1
answer
119
views
Proving Equal Set Sizes in Sequential Point Selection on a Real Interval with Variable-Length Intervals
I'm here as an engineer working on a point sampling algorithm and I've noticed that when I perform the algorithm on an ordered set of points in one direction it selects the exact same number of points ...
- 151
0
votes
0
answers
105
views
Generalizing the property of linear independent set in infinite dimensional TVS
Given a infinite dimensional Hilbert space $H$, and a countable set of vectors $\{v_{i}\}_{i=1}^{\infty}$. I want to study the following property of $\{v_{i}\}_{i=1}^{\infty}$:
There exists sequences $...
- 523
7
votes
2
answers
331
views
Does every subset of $\mathbb N$ with full natural density contain arbitrarily long geometric progressions?
We use the standard definition of natural density. We say a subset of $\mathbb N$ has full natural density if it has natural density $1$.
Question: Does every subset of the naturals with full natural ...
- 6,165
9
votes
0
answers
163
views
Moore-Penrose partial isometries and hermitian elements
Let $A$ be a unital Banach algebra. An element $a \in A$ is hermitian if $\|\mathrm{exp}(ita)\|=1$ for every $t \in \mathbb{R}$. An element $a \in A$ is Moore-Penrose invertible if there exists $b \in ...
- 3,497
3
votes
1
answer
91
views
Conditional Expectation in Diffusion Process
Consider a $d$-dimensional diffusion process $\mathbf{X}=(\mathbf{X}_t)_{t\in [0,T]}=([X^1_t,...,X^d_t])_{t\in [0,T]}$ that is the unique strong solution of the following SDE:
$$\left\{\begin{matrix}
...
- 143
0
votes
0
answers
57
views
Double-periodic functions with (possible) poles
Consider the set of double-periodic function $f:\mathbb C/(\mathbb Z+i \mathbb Z) \setminus \{z_0\} \to \mathbb C$, where $z_0$ is a fixed point inside $\mathbb C/(\mathbb Z+i \mathbb Z),$ that have a ...
1
vote
1
answer
100
views
Is Nelson-Symanzik positivity compatible with fermionic statistics?
Let $\{ S_n \}_{n =0}^\infty$ be a sequence of tempered distributions where $S_n \in \mathcal{S}'(\mathbb{R}^{nd})$ where $d \in \{2,3,4\}$ is fixed. Moreover, we put three additional conditions:
$...
- 3,477
1
vote
0
answers
38
views
About Carleson measures on the Hardy space on the bidisc
I have been reading the paper "Carleson Measures in Hardy and Weighted Bergman Spaces of Polydiscs" by F. Jafari and there are a few things that going on that I am not entirely convinced of.
...
2
votes
1
answer
124
views
Choice of the eigenbasis for the Dirac operator on $S^d$
This question is a simplified version of my previous one. I think that adding a gauge potential complicates the problem too much.
Let us consider the Dirac operator $D$ on the $d$-sphere $S^d$ with ...
- 3,477
1
vote
1
answer
129
views
Is every operator range a Baire space in the relative topology?
Let $X$ be a Banach space and let $U\subseteq X$ be a (not necessarily closed) linear subspace. One says that $U$ is an operator range if there is another Banach space $E$, and a bounded linear map $...
- 483
7
votes
1
answer
415
views
Is there a “Closure-of-Range Theorem” for Banach spaces?
The classic Closed Range theorem states that for a linear bounded operator $T:X\to Y$ between Banach spaces, and its transpose $T^*:Y^*\to X^*$, the four conditions:
$T(X)$ is $s$-closed; $T(X)$ is $...
- 60.5k
1
vote
0
answers
45
views
Existence of optimal entropic weights for empirical modeling
Let $\mathcal{X} = [0,1]^n$ be the input space and $\mathcal{Y} = \{1, ..., n_c\}$ be a discrete output space. Let $D = \{(x_i, y_i)\}_{i=1}^N \subset \mathcal{X} \times \mathcal{Y}$ be a training ...
- 111
4
votes
1
answer
162
views
Topology on $O_M$, the space of slowly increasing smooth functions?
A smooth function on $\mathbb{R}^n$ is called slowly increasing if each of its derivatives is polynomially bounded. It seems that the collection of such functions is denoted as $O_M$.
Obviously, $O_M$ ...
- 3,477
0
votes
0
answers
38
views
Are measures singular with respect to all representing measures in $\mathbb{D}^n$ always concentrated on null-sets? Will it also be a Henkin measure?
Let $\mu$ and $\nu$ be two measures on the $\sigma$-Borel set $\mathcal{B}(\mathbb{D}^n)$.
We say that $\mu$ is a representing measure for some point $z \in \mathbb{D}^n$, if
$$\forall_{u \in A(\...
- 63
0
votes
0
answers
68
views
Family of separable Hilbert spaces over locally compact form a continuous field of Hilbert space?
Let $\{H_{x}\}_{x\in G^{0}}$ be a family of separable Hilbert spaces and $G^{0}$ be a locally compact second countable topological space. Let $\mathbb{B}_{x}$ be the orthonormal basis of $H_{x}$.
If ...
1
vote
1
answer
91
views
Positive definite kernels on compact interval $[0,1]$
From How to prove that a kernel is positive definite? I learned that a function $f:[0,\infty)\to\mathbb{R}$ induces a positive definite kernel $K:\mathbb{R}^2\to\mathbb{R}$, $K(x,y)=f((x-y)^2)$ if $f$ ...
- 216
2
votes
0
answers
116
views
Existence of a sequence of real numbers
Let
$$g_{c;k}(z):=\frac{2 (c-z-1)^{k+2}}{(k+1) (k+2)}+\frac{1}{2} (-c+z+2)^2 z^k+\frac{-2 c (k+2)+4 k+6}{(k+1) (k+2)}+\frac{2z}{k+1}.$$
Do there exist $c\in(1,3/2)$ and a sequence $(a_k)_{k=0}^\infty$ ...
- 128k
10
votes
0
answers
287
views
Coefficients of polynomials vs trigonometric product
Let's consider the family of sequences of coefficients in the expansion
$$\prod_{i=0}^{n-1}(1+x^{3^i}+x^{3^{i+1}})=\sum_{k\geq0}a_n(k)\, x^k.$$
Remark. Evidently, the RHS is a finite sum.
Here is a ...
- 43.2k
1
vote
0
answers
176
views
If $f \in L^p(\Omega)$, then $f \in L^q(\Omega)$ for some $q < p + \epsilon$?
Loosely speaking, I would like to know whether membership in some Lebesgue space $L^p$ is stable under small perturbations of the exponent $p$.
Let $\Omega \subseteq \mathbb R^n$ be a bounded domain ...
- 641
0
votes
1
answer
57
views
Lower bounding an alternating series with signs from a martingale difference sequence
Let $\epsilon_n \in \{-1, 1\}$ be a martingale difference sequence, in the sense that
$$M_n := \sum_{i = 0}^n \epsilon_i$$
is a martingale.
We assume $\epsilon_0 = \pm 1$ with probability $\frac{1}{2}$...
- 6,165
0
votes
1
answer
97
views
Numerically bounding a Exponential-Trigonometric Integral [closed]
I am having some trouble with this (undergrad) problem. The Twitter account I found this from was deleted so I unfortunately have not found an answer.
I have tried decomposing into Riemann sum and ...
- 13
7
votes
2
answers
841
views
Why is $\mathbb R^{\mathbb N}$ not high-dimensional enough?
In this paper [1], the authors consider the limiting distribution of $$S_{n,p}:=\frac{1}{\sqrt n}\sum_{k=1}^nX_k$$ for $p\rightarrow\infty$ as $n\rightarrow\infty$, where $X_1, X_2,\dots, X_n$ are ...
- 181
2
votes
0
answers
124
views
dimensionality reduction of Markov chains
Suppose that $M$ is a time-homogeneous (and, for simplicity, stationary) Markov chain on $d$ states, which induces the probability measure $P$ on paths of length $n$. I seek a Markov chain $M'$ on $d'&...
- 6,541
5
votes
0
answers
75
views
What is the maximal advantage of randomized over deterministic algorithms for approximation in the worst-case?
Let $X\subset Y$ be Banach spaces and $B_X:=\{x\in X: \|x\|_X\le1\}$ be the unit ball of $X$.
The goal is to find an approximation of every element from $B_X$ with error measured in $Y$ by using at ...
5
votes
1
answer
257
views
Does a special property hold if the Archimedean property for reals doesn't hold?
Suppose $\mathbb{R}^e=A \cup B$ in which $A \cap B=\varnothing$ and there exist real numbers $a_0$ and $b_0$ such that $a_0 \in A$ and $b_0 \in B$. My question is, can we construct $a \in A$ and $b \...
3
votes
1
answer
227
views
"Essential values" of a function at a point?
Recall that the essential range $\operatorname{ess.im} f$ of a measurable function $f \in L^\infty(\mathbb{R})$ is a compact set. Denote by $f_k$ the restriction of $f$ to the interval $[-1/k,1/k]$, ...
- 981
3
votes
1
answer
220
views
What we know about the function in Fefferman's Theorem
In Fefferman's many papers on Whitney's theorem he, amongst other things, constructs the existence of a smooth function $F$ which extends a function $f$ on a (say) finite set $E\subseteq \mathbb{R}^n$ ...
- 5,405
2
votes
2
answers
154
views
Closure of $C([0,1]^2)$ via weak*-topology [closed]
Let $C([0,1]^2)$ denote the set of continuous functions on $[0,1]^2$. Let $L^1([0,1]^2)$ be the set of all Lebesgue integrable functions on $[0,1]^2$.
The dual space of $C([0,1]^2)$, denoted by $C^*([...
- 349
3
votes
0
answers
129
views
A Talagrand inequality for the supremum of partial sums over function classes under dependence. (Reference request)
As a consequence to the Talagrand concentration inequality, it is well known that for a measurable space $(S,\mathcal{S})$ and an i.i.d. sample $X_1,...,X_n$ of $S$-valued random variables, if $\...
- 141
1
vote
0
answers
87
views
Supremum of sums of functions in $L^1$ taking random signs
Consider the Banach space $X=L^1([0,1])$, and let $n\gg1$ and $x_1, ..., x_n$ be any points in the unit sphere of $X$.
Is there any reasonable lower bound for $$\sup_{(\epsilon_i)_{i=1}^n \in \{-1,+1\}...
- 393
2
votes
0
answers
75
views
Pullback by surjective submersion is injective?
Denote by $\mathcal{D}'_X$ the sheaf of distributions on a smooth manifold $X$.
Let $M$ and $N$ be smooth manifolds and $\Phi: M \to N$ a submersion. Then $\Phi$ defines a unique morphism of sheaves $\...
- 261