All Questions
10,934 questions
11
votes
1
answer
1k
views
When is an analytic function in $L^2(\Bbb R)$?
I asked this question on Math Stack Exchange some time ago and a similar question recently appeared regarding $L^1$ instead see here This has prompted me to bring it to this community in the hopes of ...
- 370
11
votes
1
answer
667
views
Compact Quantum Groups and the Existence of the Classical Haar Measure
Before I state my question, let me provide the definition of a compact quantum group.
Definition: An ordered pair $ \mathscr{G} = (\mathscr{A},\Phi) $ is called a compact quantum group if
$ ...
user36116
11
votes
1
answer
8k
views
Double Orthogonal Complement
Let $V$ be a complex inner product space. If $W$ is a closed subspace of $V$, we may define $W^\perp$ to be the subspace of all vectors $v \in V$ such that $\langle v | w\rangle =0$ for all $w \in W$....
- 1,199
11
votes
2
answers
2k
views
How "generalized eigenvalues" combine into producing the spectral measure?
Hi... I am wondering how 'eigenvalues' that don't lie in my Hilbert space combine into producing the spectral measure. I study probability and I am quite ignorant in the field of spectral analysis of ...
- 333
11
votes
2
answers
862
views
Monotone Lipschitz embedding ?
In 1974, Aharoni proved that every separable metric space (X, d) is Lipschitz isomorphic to a subset of the Banach space c_0.
Thus, for some constant L, there is a map K: X --> c_0 that satisfies the ...
- 4,060
11
votes
1
answer
428
views
Maximal ideals of the ring $\mathbb C \{T\}$
Consider the Banach $\mathbb C$-algebra
$$
\mathbb C \{T\} = \left\lbrace \sum_{i \geq 0} a_i T^i : \sum_{i \geq 0} |a_i| < \infty \right\rbrace
$$
With the norm given by $\| \sum a_i T^i\| = \sum |...
11
votes
2
answers
513
views
What is the structure of a Banach space $X$ when $Y$ and $X/Y$ are hereditarily indecomposable?
Assume that $X$ is a separable Banach space and $Y$ a closed subspace such that
$Y$ and $X/Y$ are hereditarily indecomposable (HI). The general question is what is the possible structure of $X$.
...
- 986
11
votes
1
answer
258
views
Bilinear product of two summable families
Consider the following statement, which I suspect is false as written:
Let $E,F,G$ be (Hausdorff) topological vector spaces (over $\mathbb{R}$), let $\varphi\colon E\times F\to G$ be continuous and ...
- 32.5k
11
votes
1
answer
487
views
Is the spectrum of a "self adjoint" operator real on $\ell^p$?
There might be an obvious answer to the question, but it doesn't come to mind.
Suppose we have an infinite matrix $A=(a_{ij})$, which defines a bounded linear operator on $\ell^p$, i.e. for all ...
11
votes
1
answer
336
views
Notions in the literature capturing the "symmetric" or "homogeneous" flavour of $L_p$?
This post/question is admittedly vague, but I hope that with some feedback in comments it could be made more precise.
For $E$ a Banach space, $K(E)$ and $B(E)$ will denote the Banach algebras of ...
- 25.8k
11
votes
1
answer
227
views
Complemented subspaces of $C(\beta\mathbb N\times \beta\mathbb N)$
Problem. Is there any complemented subspace in the Banach space $C(\beta\mathbb N\times\beta\mathbb N)$, not isomorphic to $c_0$, $c_0\oplus C(\beta\mathbb N)$, $C(\beta\mathbb N)$, $c_0(C(\beta\...
- 4,535
11
votes
1
answer
702
views
Kuiper's theorem via approximation
Kuiper's theorem says that the unitary group $U(H)$ of a separable infinite dimensional Hilbert space $H$ is contractible, if it is equipped with the norm topology.
Let's suppose, I do not know this ...
- 7,637
11
votes
1
answer
2k
views
Algebraic properties of the algebra of continuous functions on a manifold.
Does the algebra of continuous
functions from a compact manifold to
$\mathbb{C}$ satisfy any specific
algebraic property?
I'm not sure what kind of algebraic property I expect, but I feel that ...
- 855
11
votes
1
answer
2k
views
Spectral theory for self-adjoint field operators on a symmetric Fock space
Background
Suppose we have a finite-dimensional Hilbert space $H = \mathbb{C}^s$ (for a natural number s) and we construct the symmetric (or bosonic) Fock space built from it: $$F(H):= \mathbb{C} \...
- 195
11
votes
1
answer
676
views
Entropy arguments used by Jean Bourgain
My question comes from understanding a probabilistic inequality in Bourgain's paper on Erdős simiarilty problem: Construction of sets of positive measure not containing an affine image of a given ...
- 196
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
11
votes
1
answer
560
views
Different smooth structures on the infinite jet bundle (for the purposes of calculus of variations)
Let $\pi:Y\rightarrow X$ be a (smooth, finite dimensional) fibred manifold. Since no other fibrations will be considered on $Y$, I will identify $(Y,\pi,X)$ with $Y$. The finite order jet bundles are ...
- 3,307
11
votes
1
answer
2k
views
Motivation for $C^*$-algebras
I just gave a presentation on exotic group $C^*$-algebras and someone asked why these are studied. I could answer that they can be used to construct $C^*$-algebras with certain properties. However, I ...
- 111
11
votes
1
answer
486
views
Resources for divergent / asymptotic series
This series is divergent; therefore, we may be able to do something with it. -- Oliver Heaviside
[Edit (1/14/21) from the answer by Count Iblis to a recent MO-Q on math vids: An enthusiastic intro is ...
- 10.5k
11
votes
1
answer
2k
views
Explicit bounds from Tao's result on Collatz conjecture
A new preprint by Terry Tao has recently appeared and has established some interesting results regarding the topic of Collatz conjecture. I will not cite the precise result, but rather an equivalent ...
- 28.2k
11
votes
1
answer
642
views
Random walk origin return monotinicity
Consider a Markov chain on $\mathbb{Z}^d$ with transition kernel $P$ for adjacent vertices (non-diagonal). Essentially this is a $d$ dimensional random walk with the probability of a transition ...
- 4,952
11
votes
1
answer
229
views
The set of boundary vectors of compact convex body has empty interior
Let $K$ be a compact convex body in the Euclidean space $\mathbb R^n$ and $\partial K$ be its topological boundary in $\mathbb R^n$.
Definition. A vector $\mathbf v\in\mathbb R^n$ is called $K$-...
- 41.9k
11
votes
1
answer
747
views
Poisson summation formula for number fields
Poisson summation formula is widely used in many parts of the litterature, its classical formulation for sums over integers as well as its adelic version. What is its corresponding form for more ...
- 415
11
votes
1
answer
691
views
Reference request: Fourier transform on the multiplicative group of real numbers
Let us consider the three groups $(\mathbb{R},+)$, $(\mathbb{Z}/2\mathbb{Z},+)$ and $(\mathbb{R}^\times,\cdot)$ (where $\mathbb{R}^\times := \mathbb{R} \setminus \{0\}$). We endow $\mathbb{R}$ with ...
- 12.6k
11
votes
1
answer
609
views
asymptotic with a very degenerate stationary phase
Suppose $f(x_1,x_2)\in C^\infty_c(\mathbb R^2)$. I wonder how one may derive the asymptotic expansion of the following integral when the real paramter $\lambda\rightarrow \infty$:
\begin{equation}
\...
- 303
11
votes
2
answers
2k
views
Interpret Fourier transform as limit of Fourier series
Let $V=\mathbb{R}^n$, $\Lambda_r=2\pi r \mathbb{Z}^n \subset V (r>0)$ a lattice; $V^*\cong\mathbb{R}^n$ the dual vector space of $V$, and $\Lambda_r^*=\frac{1}{2\pi r} \mathbb{Z}^n =\text{Hom}(\...
- 1,906
11
votes
3
answers
2k
views
Number of lattice points in a random disk of radius r
Consider a disk of radius $r$ centered at $(x,y)$, where $(x,y)$ is chosen from the uniform distribution on $[0,1) \times [0,1)$, and let the random variable $N$ be the number of lattice points in the ...
- 19.7k
11
votes
1
answer
603
views
Reference for a particular Radon transform on non-positively curved spaces
Let me first recall that the classical Radon transform takes a (smooth compactly supported, say) function $f$ defined on $\mathbb{R}^n$ as an input, and gives as output the map $H\mapsto \int_H f$ for ...
- 14.4k
11
votes
0
answers
342
views
The diagonal operators and unconditionality
The following is well-known:
Theorem: Let $X$ be a Banach space with an unconditional basis $(e_n)_n$.
Then the space of the diagonal operators with respect the basis $(e_n)_n$ endowed with
the ...
- 986
11
votes
0
answers
3k
views
Eric T. Sawyer's proof of Fourier restriction conjecture
Some days ago Eric T. Sawyer uploaded a paper to arxiv claiming a proof of the Fourier restriction conjecture https://arxiv.org/pdf/2311.03145.pdf. If complete and correct this work will be a landmark ...
- 111
11
votes
0
answers
344
views
Tauberian Theorem for 1-parameter groups of operators
The Wiener Tauberian Theorem gives condition on an $f\in L^1(\mathbb{R})$ such that the "induced 1-parameter family" $\{T_b(f)\}_{b\in \mathbb{R}}$ has a dense span in $L^1(\mathbb{R})$; ...
- 5,405
11
votes
0
answers
707
views
What is the asymptotics of the Fourier transform of $\exp(-x^4)$ for large wave numbers?
The Fourier transform of $\exp(-x^4)$ has an analytical expression, it's the difference of two generalized hypergeometric functions:
$\int d x \ e^{-x^4} e^{ikx} = 2 \ \Gamma(\frac{5}{4}) \ _0F_2(;\...
- 111
11
votes
0
answers
266
views
Quantifier swap in Banach space theory
The uniform boundedness principle and its corollaries from a logical point of view are statements of when one can swap quantifiers in Banach spaces. Take for instance the principle of condensation of ...
- 301
11
votes
0
answers
389
views
Von Neumann Inequality in Banach spaces
It is known that the only Banach space that satisfies the von-Neumann inequality is the Hilbert space:
Theorem (see e.g. Pisier, "Similarity Problems and Completely Bounded Maps", p 27) For a Banach ...
- 5,529
11
votes
0
answers
604
views
Fourier transforms and nontrivial vector bundles
We know that in arithmetic, geometry and analysis, Fourier transforms of various forms show up. For example, we have the classical Fourier transform, Fourier-Mukai transforms in the setting of ...
- 281
11
votes
0
answers
529
views
Contraction semigroup on Hilbert space
I'd like to know whether a certain unbounded operator on a Hilbert space is the generator of a strongly continuous contraction semigroup.
(Such operators are known as maximally dissipative operators.)
...
- 43.2k
11
votes
0
answers
626
views
Outline of Generic Separable Banach Spaces don't have a Schauder Basis
So, I know P. Enflo showed that there is a separable Banach Space that doesn't satisfy the approximation property. My professor mentioned during class that in fact generic separable Banach Spaces don'...
- 243
11
votes
0
answers
622
views
Subspaces and quotients in Banach space theory
In Banach space theory (closed) subspaces and quotient seem to play a symmetric role. However, since the behavior of subspaces is more intuitive, subspaces appear more frequently. E.g., the theory of ...
- 4,461
11
votes
0
answers
364
views
Carleson's Theorem on Manifolds
Let $M$ be an oriented, compact, differentiable manifold with some Riemmanian metric $g$, so that $(M,g)$ has a nice volume form and one can define $L^2(M,g)$ as the completion of $C^\infty(M)$ under ...
- 1,124
11
votes
0
answers
638
views
Uncertainty principle in Entropy terms
Math Questions:
Consider Hilbert space $L_2(\mathbb{R})$ with a standard norm
$
||\psi|| = ( \int_{\mathbb{R}}{ |\psi(t)|^2 dt } )^{1/2},
$
and Fourier transform
$
(F\psi)(\xi) =
\int_{\...
- 580
11
votes
0
answers
758
views
A basic question on Stone-Cech compactification of $\mathbb{Z}$
Can the identity isomorphism on the additive group $\mathbb{Z}$ be extended to a non-identity semigroup isomorphism on $\beta\mathbb{Z}$, and still preserves $\beta\mathbb{Z}\setminus\mathbb{Z}$? ...
- 895
11
votes
0
answers
601
views
High-dimensional geometry: Top-down Vs. Bottom-up
There are several ways to leverage one's intuition from low-dimensional geometry to understand high-dimensional phenomena. For example, one can get a clearer picture of the behaviour of high-...
- 1,666
11
votes
0
answers
644
views
Connections of results in Harmonic analysis in the theory of Transcendental Numbers
An entire function $f$ is said to be of exponential type if there exist constants $c$ and $k$ such that $|f(z)|\leq c e^{k |z|}$.
A famous result of Polya says if $f$ is an entire function of ...
- 1,795
11
votes
0
answers
309
views
Combinatorial Hilbert spaces
Any closed subspace $V\subset {\ell}^2(\omega)$ has associated to it a subset ${\cal S}_V$ of ${\cal P}(\omega)$, call it a combinatorial Hilbert space, namely the set of all supports of all vectors ...
- 17.6k
11
votes
0
answers
1k
views
Is the Fourier-Transform a bounded operator on Lorentz spaces L(2,q)?
It is well known that the Fourier transform $\mathcal{F}$ maps $L^1(\mathbb{R}^n)$ continuously into $L^\infty(\mathbb{R}^n)$ and $L^2(\mathbb{R}^n)$ continuously into $L^2(\mathbb{R}^n)$.
Then, by ...
- 111
11
votes
0
answers
657
views
For which Lie groups is the convolution of any two nonzero integrable compactly supported functions nonzero?
The Titchmarsh convolution theorem implies that the convolution of two nonzero functions $f,g\in L^1(\mathbb R)$ with compact support is nonzero. There is a generalization of this theorem to the case ...
- 637
11
votes
2
answers
759
views
Prove/disprove $(\int_{0}^{2 \pi} \!\!\cos f(x) d x)^{2}+(\int_{0}^{2 \pi}\!\!\! \sqrt{(f'(x))^{2}+\sin ^{2} f(x)}dx)^{2}\ge 4\pi^{2}$
This problem has been posted on Math.SE but didn't receive any correct answer after a long time.
Let $f(x)$ be a differentiable function on $[0,2\pi]$ s.t. $0\leq f(x)\leq 2\pi$ and $f(0)=f(2\pi)$. ...
- 302
10
votes
5
answers
2k
views
Extracting a common convergent indexing from an uncountable family of sequences
Let $\mathcal{A}$ be some uncountable index set and $X$ be some separable reflexive Banach space.
For each $\alpha \in \mathcal{A}$, let
\begin{equation}
\{ x_n^{\alpha} \}_{n=1}^\infty
\end{equation}
...
- 3,477
10
votes
3
answers
2k
views
Pathological product space norm
Let $X$ and $Y$ be two normed vector spaces and $n(\cdot, \cdot)$ be any norm on $\mathbb{R}^2$. Is it always possible to define a norm on the product vector space $X \times Y$ as $||(x, y)||_{X \...
- 202
10
votes
3
answers
834
views
Rigorous justification that overdetermined systems do not have a solution
There is the following well known and very useful heuristic principle: Assume one has a natural map from the space of $k$-tuples of functions in $n$ variables into the space of $K$-tuples of functions ...
- 21.8k