All Questions
13,944 questions
6
votes
3
answers
852
views
Almost everywhere-periodic functions with many periods
Let $f : \mathbb{R} \to \mathbb{R}$ be a Lebesgue measurable function and $D$ be a countable dense subset of $\mathbb{R}$.
Suppose that for a.e. $x \in \mathbb{R}$ we have
\begin{equation*}
f(x + d) = ...
2
votes
1
answer
360
views
Asymptotics of an oscillatory integral
For $a > 0$ and $n \in \mathbb Z_+$, consider the oscillatory integral
$$\int_{0}^1 f(x) f(ax) \dots f(a^n x) \, dx,$$
where $f$ is an integrable function on $[0, 1]$, which we extend by ...
- 6,215
1
vote
0
answers
176
views
Unitary operators in $\mathcal{U}(L^2(X,\mu))$ not coming from $\operatorname{Aut}(X,\mu)$
$\DeclareMathOperator\Aut{Aut}$Let $(X,\mu)$ be a measured space with probability measure $\mu$ and $\Aut(X,\mu)$ denote the group of measure preserving bijections of $(X,\mu)$. It is easy to see ...
- 105
7
votes
2
answers
178
views
Separating domains in $\mathbb{R}^{2n}$ by a real algebraic variety
Suppose $\Omega_1$ and $\Omega_2$ are two disjoint unbounded domains in $\mathbb{R}^{2n}$, $n \in \mathbb{N}$. Can there be conditions on $\Omega_1$ and $\Omega_2$ so that these two domains can be ...
- 171
4
votes
1
answer
128
views
Lower bound of mean curvature implies that the set is subset of a given ball
If a simply connected set $\Omega\subset\mathbb{R}^n$ has $C^2$ boundary such that the mean curvature $H$ of $\partial \Omega$ satisfies:
$$H\geq 1$$
Does this imply that $\Omega\subset B_1$ after ...
- 421
-2
votes
1
answer
241
views
Does a group representation being transitive on a basis imply irreducibility?
Let $G$ be an infinite discrete group and $\pi$ a representation of $G$ on the Hilbert space $H$.
Suppose that the group representation is transitive on an orthonormal basis $B = \{e_j\}_{j=1}^{\infty}...
2
votes
0
answers
80
views
Stability of Hölder constants of frozen Itô stochastic integrals
$
\newcommand{\RR}{\mathbb{R}}
\newcommand{\TT}{\mathbb{T}}
\newcommand{\NN}{\mathbb{N}}
\newcommand{\PP}{\mathbb{P}}
\newcommand{\EE}{\mathbb{E}}
\newcommand{\FF}{\mathbb{F}}
\newcommand{\PPP}{\...
- 825
5
votes
0
answers
180
views
A variant of Schwarz's theorem on generators of smooth $G$-invariant functions
Let $V$ be a finite dimensional euclidean space and let $G\subset O(V)$ be a finite (or compact) group, let $\mathbb{R}[V]$ be the algebra of polynomial functions on $V$. If $E\subset \mathcal{C}^\...
- 4,123
2
votes
1
answer
215
views
Forming real positive semidefinite matrices from complex matrices
I have asked this question on the Mathematics Stack Exchange: https://math.stackexchange.com/questions/4924554/forming-real-symmetric-positive-semidefinite-matrices-from-complex-matrices.
Let $Q \in \...
- 31
2
votes
0
answers
71
views
Complemented subspaces of $\mathcal s$
Crossposted from Math Stack Exchange
It is well known that a nuclear Fréchet space $X$ is isomorphic to a complemented subspace of $\mathcal s$ (the space of rapidly decreasing sequences) if and only ...
- 655
20
votes
1
answer
2k
views
Is $1/F$ Schwartz if $F$ is "reverse Schwartz"?
Let's call a positive function $F:\mathbb{R}\to\mathbb{R}$ "reverse Schwartz" if $F$ is smooth and
$$\forall n \forall k,\quad\lim_{x\to\infty}\frac{|x|^n}{|\partial_x^k F(x)|}=0\quad .$$
In ...
- 23.3k
2
votes
0
answers
137
views
Holder-Besov space and time continuity
Let $\mathbb{T}^d$ be the $d$-dimensional torus, $\mathscr{S}:=C^\infty(\mathbb{T}^d)$ the Schwartz space, $\mathscr{S}'$ the space of tempered distributions.
We consider a dyadic partition of unity $(...
- 573
1
vote
4
answers
423
views
Natural examples of functions $f$ in $L^1([0,1])$ such that any function $g$ in the class $[f]$ is discontinuous everywhere
I need many motivated examples of functions $f$ in $L^1([0,1])$
such that any function $g$ in the equivalence class $[f]$ is discontinuous everywhere.
Thank you in advance!
- 331
1
vote
0
answers
50
views
On an Atiyah-Singer-Patodi like construction of the spectral flow
Let $\hat{\mathfrak{F}}$ be the space of selfadjoint Fredholm operators on a separable infinite-dimensional complex Hilbert space $H$, and let $\hat{\mathfrak{F}}_0\subset\hat{\mathfrak{F}}$ consist ...
4
votes
1
answer
205
views
Existence of an $\alpha$-Hölder continuous function whose graph has positive Hausdorff measure of maximal dimension
It is standard that if $f:[0,1] \rightarrow \mathbb{R}$ is $\alpha$-Hölder continuous, then its graph has Hausdorff dimension at most $2-\alpha$. My naive expectation was that "most" graphs ...
- 45
1
vote
1
answer
118
views
Is there $\varepsilon \in (0, 1)$ such that $\sup_{t \in [0, \varepsilon]} [\ell_t]_\beta < \infty$?
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\bT}{\mathbb{T}}
\newcommand{\bN}{\mathbb{N}}
\newcommand{\bP}{\mathbb{P}}
\newcommand{\bE}{\mathbb{E}}
\newcommand{\bF}{\mathbb{F}}
\newcommand{\bD}{\mathbb{...
- 825
0
votes
0
answers
103
views
Can $L^p([0,1])$ be built up from countably infnite copies of $l^p({F})$ , where $F$ is a finite set or $\mathbb{N}$?
I know that $L^p([0,1])$ is not isometrically isomorphic to $l^p(\mathbb{N})$ when $p\neq 2$? But, there is an isometric copy of $l^p(\mathbb{N})$ inside $L^p([0,1])$. My question is that whether $L^...
- 331
2
votes
0
answers
56
views
Convergence of conformal metrics with prescribed curvature
We know that for any function $K: \mathbb{D} \to \left[-a, -b\right]$, where $a, b > 0$, there is a unique metric $h$ on the disk $\mathbb{D}$ which is conformal to $dz^{2}$, and has curvature ...
- 63
2
votes
1
answer
318
views
Understanding the Schrodinger flow——Symplectic Banach manifold
This question was posted on https://math.stackexchange.com/questions/4925369/understanding-the-schrodinger-flow-symplectic-banach-manifold but recieve nothing. I really want to know the something ...
6
votes
1
answer
817
views
Is the $L^\infty$ norm of the derivative the same under the Hausdorff and Lebesgue measure?
Note: Here $\mathcal H^k$ denotes the $k$-dimensional Hausdorff measure, and $\|f\|_{L^\infty (\mathcal H^k)}$ denotes the $L^\infty$ norm of a function $f$ with respect to $\mathcal H^k$.
Let $\Omega$...
- 6,215
0
votes
0
answers
143
views
A Poincaré inequality holds for $p>2$ but fails for $p\leqslant 2$
I am confused with the following example taken from page 6 of Sobolev Met Poincaré, by Hajłasz and Koskela (MR1683160, Zbl 0954.46022).
Let $(X,d,\mu)$ be a metric measure space and let $\Omega\subset ...
- 69
1
vote
0
answers
205
views
Uniqueness for Volterra equation with initially (linearly) unbounded kernel
Letting $D:=\{(x,y):\ 0\leq x\leq y\leq1 \text{ and } y>0\}$, I have a continuous function $k:D\to[0,\infty)$ that satisfies some properties that I list below. I'm interested in continuous and ...
- 537
3
votes
1
answer
228
views
Is compact-open topology stable with respect to injective limits?
Let $X$ be a locally convex space, and $\{Y_i;\ i\in I\}$ a covariant system of locally convex spaces over a partially ordered set $I$, i.e. a system of linear continuous mappings is given $\sigma^j_i:...
- 7,426
1
vote
0
answers
63
views
Extension of meromorphic distribution
Let $W$ be a topological vector space (e.g. Frechet) with a dense subspace $V$. Let $D_s$ be a distribution on $V$ that is meromorphic in $s\in\mathbb C$ and extends continuously to $W$ with respect ...
- 3,799
0
votes
1
answer
127
views
Why $\int_{S^{n-1}} |\hat{f}(w)|^2d\sigma(w) < \infty$?
Let $f\in L^p(\Bbb R^n)$ and $S^{n-1}$ be the Unit sphere.
Why
$\int_{S^{n-1}} |\hat{f}(w)|^2d\sigma(w)<\infty$ when $1<p<2$.
$\hat{f}$ is the Fourier transform fora function f.
- 9
3
votes
0
answers
146
views
Two algebraically independent irrational numbers $\alpha,\beta$ s.t. $\alpha^\beta$ is a rational number
Are there two algebraically independent irrational numbers $\alpha,\beta$ s.t. $\alpha^\beta$ is a rational number?
- 356
5
votes
1
answer
245
views
Are singular functions dense in the space of Hölder continuous functions?
We say a non-constant function $f$ on $[0, 1]$ is singular if it is continuous, and in addition differentiable almost everywhere with $f' = 0$ a.e.
For every positive $\alpha < 1$, is the set of ...
- 6,215
2
votes
0
answers
107
views
Finite dimensional manifolds as subspace of $\mathbb{R}^\mathbb{N}$
For embedded submanifold, specifically with ambient space being $\mathbb{R}^{n}$, there are many nice properties and results. Specifically there are many examples of matrix manifolds such as the ...
- 275
0
votes
0
answers
66
views
Equality between operators, on dense subspace, from a quadratic form point of view
Let $L \ge 1$ and consider a finite box $\Omega = [0,L]^{d} \subset \mathbb{R}^{d}$. The set of functions:
$$\psi_{p}(x) = \frac{1}{L^{d/2}}e^{i\langle p,x\rangle} \quad p\in \frac{2\pi}{L}\mathbb{Z}^{...
- 1,305
0
votes
0
answers
125
views
Has anyone seen such a function/quantity?
I am dealing with a problem wherein I encounter the following quantity-
$$
Q_{d, \epsilon}(t_0) = \sup_{t' \notin B(t_0, \epsilon)} \inf_{t \in B(t_0, \epsilon)} \frac{d(t') - d(t)}{t'-t}.
$$
Here,...
- 11
4
votes
1
answer
101
views
Limits along lines for the gradient of a convex function
It is easy to see that if a function $f: \mathbb{R} \to \mathbb{R}$ is strictly convex, $C^1$ and $f'$ has bounded image, then as $t\to \infty$ the limit
$$
\lim_{t\to\infty} f'(t) = \lim_{t\to\infty} ...
- 89
8
votes
2
answers
510
views
Condition to guarantee that an inhabited and bounded set of reals has a supremum
This question is about constructive mathematics (without Choice), such as in the internal logic of a topos with natural numbers object, or in IZF. The “reals” (and the symbol $\mathbb{R}$) refer to ...
- 32.5k
-1
votes
1
answer
223
views
Centroid of $\Omega$ and $\partial\Omega$ concides then $\Omega$ must be a ball
Hi I just happened to have a small question. If we have
$$\frac{\int_\Omega x}{|\Omega|}=\frac{\int_{\partial\Omega} x}{|\partial\Omega|}$$
for a simply connected set $\Omega$ with analytic boundary. ...
- 421
1
vote
1
answer
101
views
Unique continuation property of the equation $ -\Delta u=|u|^{p-1}u $ with $ p>2 $
Assume that $ \{u_i\}_{i=1}^{2} $ satisfies $ -\Delta u_i=|u_i|^{p-1}u_i $ in $ B_1 $ with $ p>2 $ and $ u_1=u_2 $ in an open set $ A\subset B_1 $. I want to ask that if $ u_1=u_2 $ in $ B_1 $.
...
- 1,219
0
votes
0
answers
72
views
Sequential compactness via Arzela-Ascoli theorem for uniform state spaces
Let $X$ be a uniform topological space and $C([0,1],X)$ the space of continuous functions from [0,1] to $X$. Assume that for subsets of $X$ sequential compactness and compactness are equivalent. Let $(...
- 133
4
votes
0
answers
87
views
Colimits of locally convex spaces in the categories of topological vector spaces vs locally convex spaces
Let $S$ be a set and let $V_s$ be a family of locally convex topological vector spaces (LCSs) indexed by $s \in S$. Let $V$ be a vector space (without topology) and let $T_s:V_s \to V$ be a family of ...
- 398
0
votes
0
answers
86
views
Solve equation with three square roots
I am trying to solve a more general question and I have the following subproblem:
Find $x>0$ that satisfies for fixed $ i \geq 3$,
$$\left(1 + \frac{1}{b^2}\right) x = \frac{\sum_i a_i^2} {b^2} + \...
- 49
2
votes
1
answer
106
views
Lower bounds for the expectation of log ratio between the posterior and prior Beta densities
The quantity I'm interested in is expressed as follows:
$$
I = \mathbb{E}_{k\sim \text{Binom}(n,p)} \left[\ln \frac{\text{Beta}(p;a+k,b+n-k)}{\text{Beta}(p;a,b)}\right]
$$
The term inside the ...
- 63
1
vote
0
answers
59
views
Gaussian Hypercontractivity of Chaos based on Gaussian with value in Hilbert spaces?
The classical Gaussian hypercontractivity is stated as following: Suppose $\xi$ is a Gaussian variable and $H_n(\xi)$ is the space of n-th homogeneous Wiener chaos constructed from $\xi$, then for any ...
- 253
2
votes
1
answer
104
views
Strong convergence of a sequence in $L^2((0,T); H^{s,2}(\Omega)) \cap C([0,T];H^{-s,2}(\Omega))$, $0<s<1$
Let $u_n$ be a sequence with $u_n \in L^2((0,T);H^{1,2}(\Omega))$ and $\frac{\partial u_n}{\partial t} \in L^2((0,T);H^{1,2}(\Omega)^*)$. Then, how could one get a subsequence of $u_n$ that strongly ...
- 101
0
votes
1
answer
143
views
Gauge invariance issues of YM theories in 2D Euclidean space
In order to be clear, I will write down every component explicitly. Also, I assume Euclidean metric in this post, so that spacetime indices are written as $i,j$ rather than $\mu, \nu$.
Following Wiki, ...
- 3,477
-2
votes
1
answer
118
views
Mismatch between equivalent definitions of the Bohr compactification of the reals
I feel I'm overlooking something very silly.
The Bohr compactification of $\mathbb R$ has two equivalent definitions.
The set of (possibly discontinuous) homomorphisms $\mathbb R \to \mathbb T$ under ...
- 1,955
2
votes
1
answer
103
views
Sufficient conditions for the space of Radon measure to be a Banach space
Let $\mathcal{X}$ be a Hausdorff space and consider the space of Radon measures with bounded total variation $M(\mathcal{X})$ on $\mathcal{X}$.
Usually, the additional assumptions on $\mathcal{X}$ are ...
- 171
3
votes
0
answers
103
views
How wild is the maximal ideal space of the Fourier-Stieltjes algebra of the real line?
The Fourier-Stieltjes algebra of $\mathbb R$ is the set of all sufficiently nice measures on $\mathbb R$. The vector product is convolution of measures. By identifying each measure with its Fourier ...
- 1,955
2
votes
0
answers
43
views
Good Polynomial lower estimates for beta function
I'm looking for polynomial lower estimates for beta function, and what I've found so far is this, which can be found in proposition 2.3 in this paper
Proposition 2.3 1. If $0<𝑞<1$ and $𝑝 \geq ...
- 677
9
votes
1
answer
845
views
Convergence of sequences formed by orthocenters, incenters, and centroids in repeated triangle constructions
I asked this question on MSE here.
Given a scalene triangle $A_1B_1C_1$ , construct a triangle $A_{n+1}B_{n+1}C_{n+1}$ from the triangle $A_nB_nC_n$ where $A_{n+1}$ is the orthocenter of $A_nB_nC_n$, ...
- 541
0
votes
0
answers
89
views
Weakly compact set
I want to show that if the set
$$
\big\{u \in L^{q}([0, n] ; X): u(t) \in \phi(t, x(t)), t \in[0, n]\big\}
$$
is weakly compact, then the set
$$
\mathcal{S}_{\phi}(x)=\Big\{u\in L_{loc}^{q}(\mathbb{R}...
- 39
2
votes
1
answer
86
views
Smoothness of resolvent of the infinitesimal generator of an Ito diffusion acting on bounded continuous function
Let $dX_t=\sigma(X_t)\,dW_t+\mu(X_t)\,dt$ be an Ito diffusion with Lipschitz coefficients and $\sigma(x)>0$. Let $f(x)$ be a continuous and bounded and non decreasing function. Can we prove that ...
- 41
2
votes
0
answers
184
views
Example of space which is weak Hahn-Banach smooth but not Hahn-Banach smooth
A Banach space $X$ is said to be Hahn-Banach smooth if every linear functional on $X$ has a unique norm-preserving extension over $X^{**}$. Weak Hahn-Banach smoothness is what if the above condition ...
- 521
2
votes
1
answer
246
views
Inequality with Hermite polynomials
Consider the (physicist's) Hermite polynomials $H_n(x)$ which are divided by
$$\sqrt{\sqrt{\pi} 2^n n!}$$
for the purpose of normalization.
These are orthogonal with respect to the weight function $e^{...
- 43.2k