All Questions
10,198 questions
1
vote
0
answers
67
views
Is the adjoint action of $\mathrm{SU}(2)$ on the Schwartz space proper and free?
$\DeclareMathOperator\SU{SU}$Let $t_1, t_2, t_3$ be generators of the Lie algebra $\mathfrak{su}(2)$.
Let us consider a Schwartz space $\mathcal{S}$ defined as
\begin{equation}
\mathcal{S}:= \Bigl\{ \...
- 3,477
1
vote
1
answer
101
views
Image of a complete topological group under open and surjective map is complete?
A uniform space $X$ is complete if every Cauchy filter in $X$ is convergent. Here we do not require $X$ to be Hausdorff.
Question.
Let $G$ be a complete topological group and let $H$ be a topological ...
- 532
1
vote
1
answer
95
views
Maximal element w.r.t. abolute continuity of measures
Suppose that $\mu$ is a $\sigma$-finite measure on $\mathcal{X}\equiv\bigotimes_{i=1}^n\mathcal{X}_i$. Let $\Pi$ denote the set of all $\sigma$-finite product measures on $\mathcal{X}$. Define
$$
\...
- 185
6
votes
0
answers
220
views
Energy of harmonic maps from $\mathbb R^2$ to $S^2$ is quantized
Assume that $U:\mathbb R^2\to S^2=\{y\in\mathbb R^3:|y|=1\}$ is a smooth solution of the equation $\Delta U+|\nabla U|^2U=0$ in $\mathbb R^2$ with $\int_{\mathbb R^2}|\nabla U|^2\,dx<+\infty$. ...
- 517
0
votes
0
answers
81
views
Ultraproduct reflexive
Hello I have the following construction: Let $(E,\|\cdot\|_E)$ be a Banach space, $E_n:=E^n$ and $\|x_n\|_n:=\frac{1}{n}\sum_{k=1}^n \|x_n(k)\|_E$ for all $x_n=(x_n(1),...,x_n(n))\in E^n$ and $n\in\...
- 1
2
votes
1
answer
140
views
Invertibility of message passing with invertible parametrization
Consider the message passing framework defined by, $$f(\boldsymbol{x}_i)= \boldsymbol{x}_i + \sum_{j \neq i} (\boldsymbol{x}_i -\boldsymbol{x}_j) g(\|\boldsymbol{x}_i -\boldsymbol{x}_j\|^2),$$ for $i=...
11
votes
1
answer
309
views
Which closed subsets $Y$ of a compact space $X$ admit a linear extensor $C(Y)\to C(X)$?
In the following $X$ is a Hausdorff compact topological space. Let $Y$ be a closed subset of $X$.
The restriction operator $R_Y:C(X)\to C(Y)$ is surjective (Tietze), so it admits a continuous right ...
- 60.5k
2
votes
0
answers
143
views
Convergence of eigenfunctions
In their 1999 paper "Sturm-Liouville operators with singular potentials", Savchuk and Shkalikov prove the uniform resolvent convergence of an operator $L_\varepsilon \rightarrow L$ for $\...
3
votes
1
answer
198
views
Can gradient zero implies that a function is constant with Hörmander vector fields
Let $X=(X_1,\cdots,X_m)$ be a system of Hörmander vector fields defined on $\mathbb{R}^n$. The Sobolev space $W_{X}^{1,p}(\Omega)$ is defined by
$$W_{X}^{1,p}(\Omega):=\{u\in L^p(\Omega)|X_iu\in L^p(\...
- 561
1
vote
1
answer
152
views
Points in the Stone Cech compactification are intersection of open sets
Let $\beta \mathbb{N}$ be the Stone Cech compactification of the natural numbers and let $ x\in \beta \mathbb{N}$. Is it true that there exists a sequence of open sets $\{U_n\}_{n=1}^\infty$ in $\beta ...
4
votes
0
answers
73
views
Find reasonable definition for endpoint Lorentz function spaces $L^{\infty,q}$ via the idea from endpoint Triebel-Lizorkin ${\scr F}_{\infty,q}^s$
On a measure space $(X,\mu)$, for $0<p,q<\infty$ the Lorentz space $L^{p,q}(\mu)$ is defined by $$\|f\|_{L^{p,q}(\mu)}:=p^\frac1q\|t\mu(|f|>t)^\frac1p\|_{L^q(\mathbb R_+,\frac{dt}t)}=p^\...
- 938
3
votes
1
answer
169
views
Can homomorphisms be Borel in some weaker topology?
Let $X$ be a Banach space with separable dual and let $A$ be a Banach algebra. Consider a norm continuous homomorphism $h$ from $L(X)$, the Banach algebra of bounded operators on $X$ onto $A$. In $L(X)...
- 31
2
votes
0
answers
111
views
Upper bound Hölder norm of the solution to the linear PDE $\partial_t u (t, x) = \Delta_x \{ |\sigma (x)|^2 u(t, x) \}$
Previously, I asked the same question for a non-linear PDE, but I have got no answer. Below, I consider the linear counterpart it.
We fix $T>0$ and let $\mathbb T := [0, T]$. Let $\sigma : \mathbb ...
- 835
3
votes
1
answer
113
views
Dimension of spectral projection subspaces under local convergence
I'm interested in estimates on dimension of spectral projection subspaces of some limit operator. I recently asked a related question in the thread Dimension of spectral projection subspaces under ...
- 633
2
votes
1
answer
172
views
Does there exists an example of a Banach space that is compactly LUR; but not LUR
We know that a Banach space $X$ is locally uniformly rotund(LUR) if for $x, x_n \in S_X$ with $\Vert x+x_n \Vert \to 2$, we have $x_n \to x$. In the same case, if $(x_n)$ has a convergent subsequence, ...
- 85
0
votes
0
answers
126
views
Building representation of an arbitrary umbral calculus
Consider a set of integrable functions on the interval $(0,1)$.
Let's introduce an operation $\operatorname{eval}f=\int_0^1 f(x)\,dx$ (which is the mean value of the function).
In such system the ...
- 10.1k
0
votes
0
answers
211
views
Gauss transformation in fractional Sobolev space
Let $g_{\mu}(x) = \mu^{d/2}\exp(-\pi\mu|x|^2)$ for every $\mu > 0$. Prove that
$$
\int_{\mathbb R^{d}}\left|(-\Delta)^{\frac{s}{2}} u\right|^{2} \geq \int_{\mathbb R^{d}}\left|(-\Delta)^{\frac{s}{2}...
- 101
3
votes
2
answers
183
views
Dimension of spectral projection subspaces under strong convergence of operators
I have a possibly simple question regarding estimating bounds on spectral projection subspace.
Let $H_n$ be a sequence of bounded self-adjoint operators on $\ell^2(\mathbb{Z}^2)$ converging in the ...
- 633
5
votes
1
answer
267
views
Example of an $H^1$ function on the bidisk that is not a product of two $H^2$ functions
Fix $n \in \mathbb{N}$ and consider the Hardy space $H^1 := H^1(\mathbb{D}^n)$, consisting of holomorphic functions $f$ on the unit polydisk $\mathbb{D}^n=\mathbb{D}\times\dots\times\mathbb{D}$ such ...
- 63
4
votes
0
answers
116
views
Weakly null sequences in projective tensor products II
The question in this post is the question below from an article by Rodriguez & Rueda Zoca [1].
Below is a complimentary salad/side dish that accompanies the main course.
Let $B^2(X,Y)$ denote ...
- 2,605
1
vote
1
answer
120
views
Characterization of an integral operator with a Bessel kernel
I am considering the following integral operator: $$K(\sigma)(\theta)=\int_0^{2\pi} \sigma(\theta') J_0(|e^{i\theta}-e^{i\theta'}|)\,d\theta',$$ where $J_0$ is the Bessel function of order $0.$
I am ...
- 141
2
votes
1
answer
185
views
Koopman operators on $L^p(X)$
On spaces $L^p(X)$ the Koopman operator is defined as $T=T_\varphi: L^p(X) \rightarrow L^p(X)$, where $(X,\varphi)$ is a measure preserving system. As $\varphi$ is measure preserving we have that $T$ ...
2
votes
0
answers
114
views
Poincare inequality on the hemisphere
Background:
Let $\mathbb{S}^2_+$ be the hemisphere. Then we know that for $f:\mathbb{S}^2_+\to \mathbb{R}$ satisfying (when written in coordinates) $\int_{0}^{2\pi}\int_{0}^{\pi/2}f(r,\theta)\sin(r)dr ...
- 537
0
votes
1
answer
102
views
Lower bounds for truncated moments of Gaussian measures on Hilbert space
Let $\mu_C$ be a centered Gaussian probability Borel measure on a real separable Hilbert space $\mathcal{H}$ with covariance operator $C$. Denote the ball with radius $r$ in $\mathcal{H}$ centered at ...
- 505
1
vote
0
answers
108
views
Infinite tensor product of Hilbert spaces [duplicate]
Recently while reading an article I came across the usage of infinite tensor product of Hilbert spaces. I have got a basic understanding of doing computations in infinite tensor product while reading ...
- 11
4
votes
1
answer
286
views
Reference request: Gaussian measures on duals of nuclear spaces
I am interested in constructive quantum field theory where Gaussian measures on duals of nuclear spaces (specifically, the space of tempered distribution $\mathcal{S}'(\mathbb{R}^n)$) play a key role. ...
- 721
3
votes
1
answer
128
views
Fréchet-valued symbols
Denote by $S^m \left ( \mathbb{R}^k \times \mathbb{R}^n \right)$ the usual space of symbols. Now let $E$ be a Fréchet Space. We can then define $S^m \left ( \mathbb{R}^k \times \mathbb{R}^n; E \right)$...
- 395
1
vote
0
answers
89
views
Definition of second quantization
The standard textbook for second quantization is Reed & Simon. However, I am a bit confused with their notation. They write:
Let $\mathscr{H}$ be a Hilbert space, $\mathcal{F}(\mathscr{H})$ the ...
- 1,305
6
votes
1
answer
319
views
How are coordinate charts constructed in noncommutative geometry?
In noncommutative geometry, one is given a triple $(A,D,H)$, where $A$ is a commutative C* algebra, $H$ is a Hilbert space, and $D$ is an operator. There is a somewhat long list of conditions that ...
- 593
4
votes
1
answer
175
views
Large JN-sets in Banach spaces
For every infinite-dimensional Banach space $X$ there is a weak*-null sequence in the unit sphere of $X^\ast$. Does this extend under suitable circumstances to the non-separable setting?
Say that $X$ ...
- 41
0
votes
1
answer
192
views
A continuous injection from the Hilbert cube to the real line?
Continuing an earlier "too good to be true" question that I posted recently, the same holds for the present question:
Is there a continuous injection from the Hilbert cube $[0,1]^{\Bbb N}$ ...
- 3,104
3
votes
0
answers
153
views
Quasimode construction on a compact Riemannian manifold
Let $M$ be a closed Riemannian manifold, $\Delta$ be the usual Laplace-Betrami operator on $M$ and $\gamma : [0, L] \to M$ be a stable elliptic periodic geodesic of length $L$. I have heard in several ...
- 131
1
vote
1
answer
109
views
Solution to $a=e^t (t-r_1)(t-r_2)$ with Lambert $W$ function, where $r_1, r_2 $ are complex
Lambert $W$ works when $r_1$, and $r_2$ are real. However, I am trying to solve the equation when $r_1$, and $r_2$ are complex numbers.
1
vote
1
answer
162
views
Is there a uniformly continuous injective image of $(0,1)\setminus\Bbb Q$ in the Cantor space?
It seems too good to be possible, but:
Is there a uniformly continuous injective image of $(0,1)\setminus\Bbb Q$ in the Cantor space?
Here, the Cantor space $\{0,1\}^{\Bbb N}$ is equipped with the ...
- 3,104
3
votes
0
answers
132
views
Takesaki's duality in representation theory of $C^*$-algebras
In M.Takesaki's 1967 article titled A Duality in the Representation Theory of C-Algebras*, admissible operator fields are defined in order to generalize Gelfand transform to a non-abelian setting.
...
- 139
0
votes
0
answers
88
views
Intersection of Sobolev Spaces
Suppose $\Omega$ is a bounded open subset of $\mathbb{R}^n$ with a "nice" boundary. We have the Sobolev spaces $W^{k,2}(\Omega)$, which are all contained within each other: $W^{m,2}(\Omega)\...
- 807
0
votes
0
answers
63
views
Existence of a measurable maximizer
Let $F$ be a continuous cdf with full support on $[0,1].$ Let $A$ be a compact subset of $\mathbb{R}$ and $\mathcal{M}$ be the set of measurable functions $\alpha:[0,1]\rightarrow A.$ Let $\bar \alpha ...
- 1
3
votes
2
answers
280
views
Question about the Bessel operator
For $\nu>-1$ denote by $\{\lambda_{k,\nu}\}_{k\in\mathbb{N}}$ the succesive positive zeros of the Bessel function of the first kind $J_{\nu}$. The Bessel operator is given by
\begin{equation*}
L_\...
- 421
0
votes
1
answer
252
views
Reference request: log Sobolev inequality for uniform measure (uniform distribution over discrete set)
Suppose that $N \in \mathbb N_+$ is fixed and denote by $\mu = (\mu_0,\ldots,\mu_N)$ the uniform distribution on the set $\{0,1,\ldots,N\}$ (i.e., $\mu_n = \frac{1}{N+1}$ for each $0\leq n\leq N$). I ...
- 730
0
votes
0
answers
126
views
A question about associated operator on continuous functions space equiped with L2 norm
For M a connected compact manifold, $T$ is in $C^{1+\nu}(M,M)$ with $\nu\in(0,1)$, i.e., $DT$ is some Hölder continuous function with Hölder exponent $\nu$. Denote by $m$ the Lebesgue measure on $M$ ...
- 39
5
votes
0
answers
899
views
Is such a Banach space $X$ isometrically isomorphic to a Hilbert space or not?
Let $X$ be a real or complex Banach space. $X$ satisfies:There exists real or complex series $\{a_k\}_{k=1}^n,\{b_k\}_{k=1}^n$ (which satisfies that:$\begin{cases}
a_k,b_k\in \mathbb{R}\ \forall k=1,\...
- 181
0
votes
0
answers
157
views
Dependence of functional integral on the function space
In physics, the following functional integral is considered
\begin{gather}
Z[J]= \int Df \exp(-\int d^dx( f\Box f+\lambda f^4 +Jf ))
\end{gather}
It is usually said that the integration is performed ...
- 593
0
votes
1
answer
414
views
Necessary conditions for convergence of convolution
In math.SE, I've asked a question about the convergence of convolution of two functions which have bilateral Laplace transform and also have disjoint Region Of Convergence (ROC) but the question didn'...
- 61
0
votes
0
answers
59
views
Series representation of functions
Let $H$ be a Hilbert space, consisting of functions $f:\mathbb{R} \to \mathbb{R}$. Let
$$
V = \left\{ f_J \in H: f_J= \sum_{j=1}^J c_j^{(J)} g_j, c_j^{(J)}\in\mathbb R, J\in \mathbb N \right\}
$$
...
- 93
2
votes
0
answers
78
views
Array-determined operator ideals
For a Banach space $X$, we, of course, know what it means for a sequence to be weakly null (to converge to zero in the weak topology).
An array in the Banach space $X$ is a sequence of sequences, $(...
- 121
2
votes
1
answer
197
views
Topology of ${\mathcal D}(\Omega)$ (space of test functions)
I have seen two approaches to the topology of ${\mathcal D}(\Omega)$:
(i) Let $K$ be a compact subset of $\Omega$ and consider the subset ${\mathcal D}_K(\Omega)$ of test functions with support ...
- 91
3
votes
1
answer
493
views
A strange condition of convexity?
During my research, I come across this question.
Let $f \in C^2(\mathbb R, \mathbb R_+^*)$ with $\forall x \in\mathbb R, f'(x) \geq |f''(x)+f(x)|$.
Is it true that $\forall x \in \mathbb R, f''(x) \...
- 4,074
2
votes
2
answers
328
views
Existence of the limit of periodic measures
Let $T: X \to X$ be a continuous map over a compact metric space. We say that a measure $\mu$ is $T$-invariant if $T_{\ast} \mu= \mu$. We denote by $M(X, T)$ the space of all $T$-invariant Borel ...
- 1,043
2
votes
1
answer
184
views
Prove if the fractional Laplacian of a function is bounded
Take $s\in (0, 1)$. I am trying to understand if $(-\Delta)^s (\log(1+x^2))$ is bounded, that is if there exists $R>0$ such that $|(-\Delta)^s (\log(1+x^2))|\le R$.
Here $(-\Delta)^s$ is the ...
- 123
3
votes
0
answers
87
views
Instances of c-concavity outside of optimal transport?
Let $X$ and $Y$ be metric spaces, and let $c:X\times Y\rightarrow \mathbb{R}$ be a nonnegative function which we refer to as a cost. For any $\phi:X\rightarrow \mathbb{R}$ and $\psi:Y\rightarrow \...
- 232