All Questions
13,927 questions
10
votes
0
answers
323
views
Determinacy coincidence at $\omega_1$: is CH needed?
This is a follow-up to the last part of an old MSE answer of mine. Briefly, an analogue at $\omega_1$ of Steel's equivalence between clopen and open determinacy can be proved assuming $\mathsf{CH}$, ...
- 20.5k
5
votes
1
answer
326
views
von Neumann algebra of canonical commutation relations
In quantum mechanics we have position and momentum operators $P$ and $Q$ acting on $L^2(\mathbb{R})$ in the usual way. I'm wondering what the von Neumann algebra generated by the bounded functions of $...
- 42.8k
4
votes
1
answer
202
views
A problem on Demailly's proof of finiteness theorem of elliptic differential operator
I am reading Demailly's notes on pseudodifferential operators on manifolds. And I cannot understand a statement he had made when he tried to prove that the image of an elliptic differential operator ...
- 3,584
3
votes
1
answer
337
views
Is there an operation in topology analogous to the operation of averaging over a compact subgroup in harmonic analysis?
Let me start with the following
Illustration: Let $G$ be a compact group, and let $\pi:G\to H$ be its (surjective) continuous homomorphism onto a (compact) group $H$. So we can think that $H$ is the ...
- 7,426
6
votes
1
answer
268
views
Decomposition of non negative Radon measure into $L^1$ and $H^{-1}$ functions
What is a reference for the following result (which appears to be well-known in measure theory)?
Any non negative Radon measure can be decomposed uniquely into the sum of an absolutely continuous ...
CommunityBot
- 1
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, ...
- 5,474
0
votes
1
answer
107
views
A question about the Stone-Čech compactification and ultrafilter
Let $X$ be a Tychonoff space and let $\beta X$ is the Stone-Čech
compactification of $X$. Assume $f:X\longrightarrow \mathbb{R}$ is a bounded function. Then there exists a function $f^{\beta }:\beta X\...
- 41.1k
1
vote
1
answer
88
views
Approximating a family of measurable functions
Let $X$ be a set of $N>0$ elements (with the counting measure) and consider a family of measurable functions $f_i:X\to [0,1]$, for $i\in \mathbb N$.
Any function $f_i$ can be seen as a point in the ...
- 128k
6
votes
1
answer
290
views
Topological property of convergent sequences being eventually constant
Is there a name in the literature for the topological property that all convergent sequences are eventually constant?
This property seems to occur with some frequency and it would be nice to have a ...
- 351
4
votes
0
answers
77
views
Reference/Help request for formula $[A,e^{-itB}]$ found in physics thread
I'm wondering if anyone has a rigorous reference or a proof of the formula (2) found in the main answer of this thread on the physics stack exchange. I want to use it but in the case where $A, B$ are ...
- 71
1
vote
0
answers
47
views
Existence for a nonlinear evolution equation with a monotone operator that is not maximal
We consider the nonlinear evolution equation
$$
\dot{u}(t) + Bu(t) = 0, \quad u(0)=0
$$
with
$$
A: \mathcal{C}(\Omega)\to \mathcal{M}(\Omega),\; p \mapsto \arg\min_{\mu\in\partial\chi_{\{||\...
- 171
33
votes
6
answers
2k
views
Is there a topology on growth rates of functions?
I've often idly wondered one can say about the collection of "growth rates". By growth rate, let's say we mean an equivalence class of functions $(0,\infty) \to (0,\infty)$, where two ...
- 63.9k
6
votes
2
answers
1k
views
Definable collections of non measurable sets of reals
Is there a definable (in Zermelo Fraenkel set theory with choice) collection of non measurable sets of reals of size continuum? More verbosely: Is there a class A = {x: \phi(x)} such that ZFC proves "...
- 2,031
4
votes
1
answer
360
views
Measurability of Markov kernel wrt the Borel $\sigma$-algebra generated by the weak topology
Consider two Polish metric probability spaces $(\mathcal{A}, \Sigma_\mathcal{A})$ and $(\mathcal{B}, \Sigma_\mathcal{B})$, endowed with their Borel $\sigma$-algebras. Denote as $\mathcal{P}_\mathcal{B}...
CommunityBot
- 1
1
vote
0
answers
104
views
Validity of analysis of summation of function of primes using Abel–Plana summation:
Consider the analytic function $g(x)$
Define
$$f(x)=g(x)\frac{\sin^2\left(\frac{π\Gamma(x)}{2x}\right)}{\cos^2\left(\frac{π}{2x}\right)}$$
Note that:
$$f(p)=g(p) \text{ for prime } p$$
And $f(n)=0$ ...
19
votes
3
answers
711
views
Almost isometric linear maps
Say that a linear map $\varphi : B(\mathcal H) \rightarrow B(\mathcal H)$ is $\epsilon$-almost isometric if
$$ 1 - \epsilon \leq \lVert\varphi(a)\rVert \leq 1+\epsilon, \quad \forall a\in B(\mathcal H)...
- 12.9k
1
vote
1
answer
241
views
What is convergence in distribution of random variables taking values in a non-metrizable product space?
Let $F = (F(x) : x \in \mathbf{R}^n)$ be a family of $\mathbf{R}^k$-valued random variables indexed by $\mathbf{R}^n$ (to be clear there is a single probability space $(\Omega,\Sigma,\mathbf{P})$ such ...
- 1,179
0
votes
0
answers
52
views
Coupled Kazdan-Warner type equation
Famous work of Kazdan and Warner shows that given $u\geq 0$ and a constant $c>0,$ the following equation in $f$ has a unique solution:
\begin{align*}
\Delta f+ u e^f=c
\end{align*}
I am interested ...
- 954
1
vote
1
answer
72
views
Generalised Lebesgue transform continuous wrt. strict topology?
Let $X$ and $Y$ be $\sigma$-compact spaces, and $\mu$ [resp. $\nu$] be a regular Borel probability measure on $X$ [resp. $Y$].
For a bounded continuous $c:X\times Y\rightarrow\mathbb{R}$, consider the ...
- 128k
0
votes
1
answer
93
views
Continuity of generalised Legendre transform
Let $X$ and $Y$ be $\sigma$-compact spaces, and $\mu$ [resp. $\nu$] be a regular Borel probability measure on $X$ [resp. $Y$].
For a bounded continuous $c:X\times Y\rightarrow\mathbb{R}$, we consider ...
- 128k
9
votes
0
answers
241
views
What is known about when $vN(G)$ is a factor, for a locally compact group $G$?
When $G$ is a discrete group, it is an elementary result in the theory of von Neumann algebras that the group von Neumann algebra $vN(G)$ is a factor if and only if $G$ is an ICC group.
What is known ...
- 146
1
vote
0
answers
120
views
Formula for the kernel of an operator
Let $\mathcal H$ be a Hilbert space and let $O$ be an operator. Obviously $M=O^\dagger O$ is a semi-positive definite operator and $v\in\ker M$ if and only if $v\in\ker O$. Therefore it seems to me ...
- 521
1
vote
0
answers
153
views
A transformation game for natural numbers?
Consider the completely additive function $\eta(n) := \sum_{p\mid n} v_p(n)p$ defined on natural numbers, with values in natural numbers. For literature, on this function, see the corresponding OEIS ...
0
votes
0
answers
138
views
Under what conditions is $\lim_{x\to a}\left|\varphi\circ f(x)-\tau \circ g(x)\right|=0$ true?
This question is inspired from another much easier problem I was trying to solve which I tried to generalize. The question is essentially as follows (assuming all the limits exist)
If $a\in \mathbb R\...
- 791
1
vote
0
answers
131
views
Brezis-Kato theorem
Let $n\geq 3$, and $u$ satisfies
$$
-\Delta u=K(x)u^{\frac{n+2}{n-2}}
\quad x\in B_1\setminus \{0\},
$$ where
$|K(x)|\leq A$ in $B_1\setminus \{0\}$, and
$u\geq 0$ in $B_1\setminus \{0\}$.
Can we ...
- 6,367
1
vote
1
answer
314
views
Question on possibility of uniquely defining the FRFT via certain properties
I was working around with the fractional Fourier transform (FRFT) when the mathematics undergrad found out, by brute-force computations, that the derivative of the FRFT with respect to the parameter ...
CommunityBot
- 1
1
vote
0
answers
76
views
Positive definite function on the upper half line and its integral expression
By Hausdorff-Bernstein-Widder theorem, any completely monotonic function on the half line $\mathbb{R}_{\geq 0}:=[0,\infty)$
is given by the Laplace transform of a positive measure on $\mathbb{R}_{\geq ...
- 63
2
votes
2
answers
200
views
If $K *g_n$ converges in the Fréchet topology of smooth functions and $K$ approximates $\delta(x)$, is $g_n$ itself convergent? - revised
Let us consider the Fréchet space $C^\infty\Bigl([0,1],\mathbb{R} \Bigr)$ of real-valued, periodic smooth functions.
That is, $f_n \to f$ in $C^\infty\Bigl([0,1],\mathbb{R} \Bigr)$ if $f^{(m)}_n$ ...
- 23k
0
votes
1
answer
185
views
Spectrum of a product of a symmetric positive definite matrix and a positive definite operator
Let $\mathbf H$ be an infinite dimensional Hilbert space.
I want to find an example of a $2\times 2$ real symmetric positive definite matrix $M$ and a positive definite bounded operator $A : \mathbf H ...
- 12.6k
1
vote
1
answer
90
views
Positive definite but not completely monotonic function on the upper half line
By Hausdorff-Bernstein-Widder theorem, any completely monotonic function on the half line $\mathbb{R}_{\geq 0}:=[0,\infty)$ is given by the Laplace transform of a positive measure on $\mathbb{R}_{\geq ...
- 128k
4
votes
0
answers
126
views
Darboux integral for non-polynomial ODEs
Given a polynomial ODE in $n$-dimensions of maximal degree $d$
$$
\dot{x}_j=f_j(x)=\sum_{i_1,\dots,i_n=1}^d a_{i_1,\dots,i_n}^j x_1^{i_1}\dots x_n^{i_n} \quad \forall j=1,\ldots,n
$$
we define ...
- 247
25
votes
6
answers
2k
views
Are there infinitely many "generalized triangle vertices"?
Briefly, I'd like to know whether there are infinitely many "generalized triangle centers" which - like the orthocenter - are indistinguishable from a vertex of the original triangle. This ...
- 20.5k
3
votes
0
answers
124
views
Leibniz rule bound for the inverse of the Laplacian?
Let $f, g \in L^2[\mathbb{T}^2]$ be real-valued functions without zero modes. That is, $\int_{\mathbb{T}^2}f=\int_{\mathbb{T}^2}g=0$. Here, ${\mathbb{T}^2}$ is the $2$-dimensional torus $[\mathbb{R}/\...
- 3,477
0
votes
0
answers
177
views
Homeomorphism groups on manifolds and topological properties
Let $M$ be a compact $n$-dimensional manifold let $H(M)$ denote the homeomorphism group of $M$.
If $n=2$ then $H(M)$ enjoys nice properties such as being an ANR, is locally contractible, separable. ...
- 63.9k
5
votes
0
answers
270
views
$T_1$ paratopological group having a dense commutative subgroup is commutative
I'm learning about topological groups from Arhangelskii and Tkachenko "Topological groups and related structures" and this is one of the exercises there.
A paratopological group is a group ...
- 1,211
5
votes
1
answer
311
views
Maximal operator estimates for the Schrödinger equation
Let $a>0$ and consider the operator
$$Tf(t,x)= \int_{\mathbb{R}^{n}}e^{ i x\cdot \xi} e^{i t \lvert\xi\rvert^{a}} \widehat{f}(\xi) \, d\xi.$$
When $a=2$, the function $Tf$ solves the Cauchy problem ...
- 852
3
votes
2
answers
147
views
Lumer-Phillips-type theorem for non-autonomous evolutions
The classical Lumer-Phillips theorem characterizes the generators of contraction semigroups. I am looking for a similar characterization or at least a sufficient condition for a family of unbounded, ...
- 4,729
0
votes
1
answer
145
views
Renorming on a separable Banach space
Let us consider the sequence space $c_0$ with the equivalent norm
$$\Vert x \Vert^2 = \max_{i\ge1} \vert x^i \vert^2 + \sum_{i=2}^{\infty} 2^{-i+1} \vert x^i \vert^2 $$
for $x=(x^1,x^2,\ldots)\in c_0$....
- 128k
2
votes
1
answer
646
views
Reference request: inverse of differential operators
I have asked a similar question on MSE but I did not receive any replies, so I am reposting here in case it is more appropriate (though I have slightly generalized the question).
As an example ...
- 27.5k
4
votes
1
answer
121
views
Ext groups of locally convex topological vector spaces
Suppose I work over $\mathbb{C}$. Is it known for which locally convex topological vector spaces $V$, we have $\text{Ext}^i(V, \mathbb{C})=\{0\}$ for all $i>0$, working with the type of Ext groups ...
- 16.5k
1
vote
0
answers
82
views
Commutator of self-adjoint operators and $C^1$-type formula
Let $\mathcal{H}$ be a (complex) Hilbert space.
Let $H$ be a self-adjoint operator on $\mathcal{H}$ with dense domain $\mathcal{D}(H) \subset \mathcal{H}$, generating the unitary one-parameter ...
- 71
1
vote
1
answer
197
views
Does convolution with heat kernel converge to pointwise evaluation?
Let $G(t, x) := \frac{1}{\sqrt{4 \pi t}} \exp\left( -\frac{x^2}{4 t }\right)$ for all $(t, x) \in (0, T) \times \mathbb{R}$ be the fundamental solution to the heat equation $\partial_tu = \partial_{...
- 39.1k
16
votes
2
answers
1k
views
Examples of Banach manifolds with function spaces as tangent spaces
I have recently been learning the theory of Banach manifolds through Serge Lang's book on Differential Manifolds. So far the objects seem rather interesting but my intuition always comes from the ...
- 6,001
2
votes
1
answer
61
views
$K *g_n$ converges in the topology of smooth functions, $K$ approximates $\delta(x)$ and $g_n$ is a.e convergent to $g$, then regularity of $g$?
This question is continuation from If $K *g_n$ converges in the Fréchet topology of smooth functions and $K$ approximates $\delta(x)$, is $g_n$ itself convergent? - revised.
As before, let us ...
- 128k
1
vote
0
answers
37
views
Unique smallest degree algebraic solution to polynomial ODE
Let's assume we are given a degree $d$ polynomial VF as a map $f: \mathbb{R}^n \rightarrow \mathbb{R}^n$
$$f_j(x)=\sum_{i_{1},\dots,i_{n}=1}^{d}a^j_{i_{1},\dots,i_{n}}x_{1}^{i_{1}}\dots x_{n}^{i_{n}}$$...
- 247
2
votes
0
answers
83
views
Singular integral operators acting on Zygmund class
It is proven in "Classical and Modern Fourier Analysis" by L. Grafakos (Corollary 6.7.2) that if a kernel $K(x)$ defined away from the origin on $\mathbb{R}^n$ satisfies
$$\sup_{0<R<\...
- 21
3
votes
1
answer
108
views
$L^\infty$ bound of $x^m \psi_n(x)$ where $\psi_n$ is a Hermite function and $m,n \in \mathbb{N}$ - extension from Cramer's inequality
For each $n \in \mathbb{N}$, the Hermite function $\psi_n : \mathbb{R} \to \mathbb{R}$ is a Schwartz function defined by
\begin{equation}
\psi_n(x):=(-1)^n(2^n n!\sqrt{\pi})^{-1/2} e^{x^2/2} \frac{d^n}...
- 128k
1
vote
1
answer
172
views
Banach space valued distributions and test functions
Let $A,B,C$ be Banach spaces and $m\,:\,A\times B\to C$ be a bilinear map such that $\|m(a,b)\|\leq \textrm{const}\,\|a\|\|b\|$. We denote by $\mathcal{S}(\mathbb{R}^d)$ be the standard space of ...
- 407
2
votes
0
answers
49
views
$\sigma$-compactness of probability measures under a refined topology
Denote Polish spaces $(X, \tau_x)$ and $(Y, \tau_y)$, where $X$ and $Y$ are closed subsets of $\mathbb{R}$. Consider a Borel measurable function $f: (X \times Y, \tau_x \times \tau_y) \rightarrow \...
- 195
4
votes
1
answer
259
views
The real and the imaginary part of a vector
In an infinite-dimensional Banah space $(X, \|\cdot\|)$ with a countable Schauder basis $\{x_n\}$, define:
$$
F_r: \operatorname{Span}(\{x_n\}) \rightarrow \operatorname{Span}(\{x_n\}), \hspace{0.3cm} ...
- 307