All Questions
10,828 questions
7
votes
3
answers
2k
views
Why do we distinguish the continuous spectrum and the residual spectrum?
As we know, continuous spectrum and residual spectrum are two cases in the spectrum of an operator, which only appear in infinite dimension.
If $T$ is a operator from Banach space $X$ to $X$, $aI-T$ ...
- 391
7
votes
2
answers
622
views
Is there a tropical analogue of a reproducing kernel Hilbert space?
In classical functional analysis, one can construct a reproducing kernel Hilbert space by starting with a positive definite kernel, say
$K: [0,1]\times [0,1] \rightarrow \mathbb{R}$.
One then creates ...
- 1,666
7
votes
3
answers
498
views
Sums of unitaries with small norm in full group $C^*$-algebras
Suppose $G$ is a finitely generated group, with given generating set $S={g_1, \dots, g_n}$. (Assume that if $g\in S$, then $g^{-1}\notin S$. (EDIT: Also assume that $S$ is minimal in the sense that ...
- 2,361
7
votes
6
answers
2k
views
Fractional Leibniz formula
Let $T=(-\Delta)^{1/2}$.
Can we have estimates, similar to the one below
$$
\| T^{\alpha}(fg)-(T^{\alpha}f)g-f(T^{\alpha}g) \|_p \leq \|T^{\alpha-1}f\|_p \|T^{\alpha-1}g\|_p,
$$
hold in $L^p$, where $...
- 1,644
7
votes
1
answer
347
views
Nonexistence of determinantal functional equation for $\arccos$
Suppose I have distinct real numbers $a_i \in [-1,1]$, $i \in [k]$. I want to choose real numbers $b_j, j\in [k]$ such that the matrix $(\arccos(a_i b_j))_{i,j \in [k]}$ is nonsingular.
Is this ...
- 1,021
7
votes
4
answers
946
views
On operator ranges in Hilbert & Banach spaces
Lemma 1 from Anderson & Trapp's Shorted Operators, II isLet $A$ and $B$ be bounded operators on the Hilbert space $\mathcal H$. The following statements are equivalent:
(1) ran($A$) $\subset$ ...
- 8,512
7
votes
2
answers
508
views
Why is $\frac{1}{|x|^{n-2}}u(\frac{x}{|x|^2})$ harmonic if $u$ is harmonic?
I found myself trying to prove the following, but I had to compute everything explicitly.
It is well known that if $u:\mathbb{R}^n\to\mathbb{R}$ is an harmonic function on $\mathbb{R}^n$, then the so-...
- 213
7
votes
1
answer
511
views
Is it true that $\lVert A\rVert \leq \lVert A^2\rVert$ for $A\in \operatorname{SL}(2, \mathbb{R})$ when $\operatorname{trace}(A)>2$?
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\trace{trace}$Let $A \in \SL(2,\mathbb{R})$ and $\trace(A)>2$. Is it true that $$\lVert A\rVert \leq \lVert A^2\rVert,$$
where $\lVert \rVert$ is the ...
- 1,043
7
votes
3
answers
696
views
A generalization of discrete Hilbert's transform (Montgomery's inequality)
In the paper "Hilbert's inequality", Montgomery and Vaughan proved that a generalization of the discrete Hilbert transform is bounded in $\ell^2$. The inequality reads as follows
$$ \Big| \sum_{k\neq ...
7
votes
1
answer
308
views
Complemented subspaces constructed from finite pieces- part II
This is a follow up to: Complemented subspace constructed from finite pieces
Suppose $Y=\overline{\cup E_n}$ is a closed subspace of a separable Banach space X, where each $E_n$ is a $n$-dimensional ...
- 247
7
votes
1
answer
1k
views
A geometric proof of the strong maximal theorem
While reading the paper "A geometric proof of the strong maximal theorem", by A. Cordoba and R. Fefferman -Annals of Mathematics Vol 102 no. 1, I got stuck trying to understand a main step in the ...
- 125
7
votes
1
answer
145
views
Monotonicity of canonical ellipsoids
Let $\mathcal{C}$ be the set of compact convex centrally symmetric sets in $\mathbb{R}^d$, and let $\mathcal{E} \subset \mathcal{C}$ be the set of ellipsoids centered at the origin.
I'm looking for a ...
- 2,479
7
votes
1
answer
469
views
Embedding of real trees into $\ell_1(\Gamma)$
It seems plausible that any real tree or ${\mathbb{R}}$-tree in the sense of the definition in https://en.wikipedia.org/wiki/Real_tree admits an isometric embedding into the Banach space $\ell_1(\...
- 4,878
7
votes
2
answers
446
views
Non strictly-singular operators and complemented subspaces
If $T$ is a bounded operator which is not strictly singular, acting on a separable Banach space $X$, can one always find an infinite dimensional, closed and complemented, subspace $Y$ such that $T$ ...
- 1,361
7
votes
2
answers
658
views
Finding the commutant of a von Neumann algebra
Suppose you have a von Neumann algebra $A$ of operators on $H$ and would like to compute its commutant. You have constructed a collection $B\subset A'$ which you suspect generates it (i.e. you think $\...
- 1,010
7
votes
1
answer
545
views
Is the fundamental group of $II_{1}$ factors invariant under a relation?
In order to define the equivalence relation, let's first recall the Tomita-Takesaki modular theory and conditional expectation for von Neumann algebras.
Let $H$ be a separable Hilbert space and $B(H)$...
7
votes
3
answers
3k
views
Cauchy-Schwarz inequality for bilinear forms valued in an abstract vector space
I previously posted this question on Math.SE but didn't receive an answer. It is perhaps a little vague; part of what I want to know is what question I should ask.
First, consider the following form ...
- 29.8k
7
votes
1
answer
682
views
$c_0$-direct sum of $\mathcal{K}(\mathcal{H})$
Let $\mathcal{K}(\mathcal{H})$ be the C*-algebra of compact operators on a Hilbert space $\mathcal{H}$. I am interested in the ($c_0$-)sum
$A=\sum \mathcal{K}(\mathcal{H})$
of countably many ...
- 113
7
votes
2
answers
808
views
Is a subspace with a certain property dense in the dual of a vector space?
Suppose we have a normed vector space $V$ and its dual $V^*$, and suppose that $X \subseteq V^*$ has the property that for every $v \in V$, there is some $\phi \in X$ with $\Vert \phi \Vert = 1$ such ...
- 73
7
votes
3
answers
1k
views
Condensed Pontryagin duality
Has Pontryagin duality been extended to condensed abelian groups? The obvious approach being to define $\hat M$ as the internal hom to the circle group. Is it true that $\hat{\hat M}=M$ with this ...
user473423
7
votes
2
answers
2k
views
The norm of tensor product operator on Lp spaces
Let $X, Y$ be two $\sigma$-finite measure spaces and $p,q\in [1,\infty]$. Let $T_1, T_2:L^p(X)\rightarrow L^q(Y)$ be two bounded linear operators. Then one can define a linear operator $$T_1\otimes ...
- 71
7
votes
1
answer
355
views
Is $\frac{\sin |\xi|}{|\xi|}$ in range of Fourier Transform for $n \ge 3$?
Does there exist $f \in L^1(\mathbb{R}^n)$ s.t., $\displaystyle \widehat{f}(\xi) = \frac{\sin |\xi|}{|\xi|}$ in case of dimension $n \ge 3$?
It is known that for $n = 2$, the function $\displaystyle ...
- 211
7
votes
1
answer
291
views
Does separability of the strong operator topology imply separability of the underlying space?
Let $X$ be a Banach space and $B(X)$ be the space of bounded operators on $X$.
Suppose that the strong operator topology on $B(X)$ is separable and that the cardinal number of $B(X)$ is continuum.
...
- 4,058
7
votes
2
answers
1k
views
Bohr compactification as a topological compactification
Let $G$ be a locally compact Hausdorff group. Denote its Bohr compactification by $bG$.
Despite group structure, $G$ has several (Hausdorff) compactifications that, in a sense, the smallest one is ...
- 747
7
votes
2
answers
742
views
$H^{*}$ algebras as a generalization of $C^{*}$ algebras
Let $H$ be the quaternions algebra. An $H^{*}$ algebra is a normed ring $A$ which is simultaneously a unital left $H$ module and has an involution $*$ with the following properties:
$\forall \lambda \...
- 356
7
votes
1
answer
938
views
What is the idea behind interpolation spaces?
I am working through a text on Numerics for SPDEs and there the concept an interpolation (Hilbert-)space associated to an operator is used. To be specific:
Definition. Let $H$ be an $\mathbb{R}$-...
- 131
7
votes
1
answer
941
views
Kakeya and Nikodym maximal functions
I've been working through part of Terry Tao's 1999 article "The Bochner-Riesz Conjecture Implies the Restriction Conjecture." (It appeared in the Duke Mathematical Journal.) A little more specifically,...
- 213
7
votes
1
answer
531
views
Are dual spaces barreled?
Let $X$ denote a topological affine space (with no additional assumptions). Let $X^*$ denote its dual space of continuous affine functionals, equipped with the weak-$*$ topology. It is easy to see ...
- 8,512
7
votes
2
answers
2k
views
Uniform bound on the eigenfunctions of the Laplacian
Is it possibly to have $L_\infty$ bounds on the eigenfunctions of the Laplacian operator on bounded regular domains with Dirichlet condition? I found several papers by Sogge but these are pretty ...
- 73
7
votes
3
answers
6k
views
Integral kernel for the resolvent of the laplace operator
Consider the Laplace operator defined in the biggest possible subset of $L^2(\mathbb{R}^2)$ and let $z \in \mathbb{C}\backslash\mathbb{R}$. Therefore $z \notin \sigma (\Delta)$ the spectrum of $\Delta$...
- 225
7
votes
1
answer
423
views
Best constant in comparison between Rademacher and gaussian averages?
Let $(g_k)$ be a sequence of independent standard gaussians variables on a fixed probability space $\Omega$. Let $(\epsilon_k)$ be a sequence of independent rademacher variables.
What is the best ...
- 1,222
7
votes
2
answers
396
views
Tangent space to infinite dimensional manifolds
In finite dimensional geometry, there is a single invariant of a vector space - its dimension. This characterizes finite dimensional manifolds as being glued from Euclidean balls.
This situation is ...
- 593
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
7
votes
2
answers
345
views
Integral means vs infinite convex combinations
Let $(X,\mathcal A, \mu)$ be a probability space, $\mathbb E$ a Banach space, and $f:X\to\mathbb E$ a Bochner integrable function.
Does there exist a sequence $(x_k)_{k\ge 1} $ in $X$, and a ...
- 60.6k
7
votes
1
answer
1k
views
Eigenvalues and eigenfunctions of the Laplace operator on entire plane
According to the answers in the the following questions: How to prove the spectrum of the Laplace operator? and What is spectrum for Laplacian in $\mathbb{R}^n$ , the spectrum of the Laplace operator $...
- 597
7
votes
1
answer
204
views
Are $\log(\sigma(A(z))$ subharmonic functions?
Let $A$ be a matrix-valued entire function. It is then well-known that $\log \Vert A(z)\Vert$ is subharmonic. In particular, the operator norm is just the largest singular value of $A$.
Is it ...
- 124
7
votes
2
answers
1k
views
What is the theorem of the highest weight used for?
$\DeclareMathOperator\End{End}$Over the past few months, I have taught myself the classification of reductive groups, and continued to non-abelian (as well as a small venture to non-compact) Harmonic ...
- 2,071
7
votes
2
answers
665
views
Non-separable metric probability space
Let us say a metric probability space $(X,\rho,\mu)$ has property (*) if:
the support of $\mu$ is contained in a separable subspace of $X$.
Questions:
1. Is there a standard name for this property?
...
- 6,541
7
votes
1
answer
220
views
Is $C^{\infty}(E)$ a projective Frechet $C^{\infty}(M)$-module for a $C^{\infty}$-fiber bundle $E\to M$ with compact fiber?
The question is a special case of a previous question.
Let $M$ be a compact smooth manifold, then it is clear that $C^{\infty}(M)$ is a Frechet algebra with pointwise multiplication and a collection ...
- 9,019
7
votes
3
answers
352
views
Smallness of cut-off functions at critical Sobolev regularity
Consider the class of functions
$$X:=\{f\in \mathcal{C}_0^{\infty}(\mathbb{R})\;s.t.\;f\equiv 1 \mbox{ in a neighbourhood of}\;\;x=0\}$$
Is it true that, for every $\varepsilon > 0$, I can find $...
- 943
7
votes
2
answers
485
views
The von Neumann algebra generated by a non-closable operator
Let $H$ be a separable Hilbert space and let $M$ be a densely defined operator $\mathcal{D}(M) \subset H \to H$. It is closable iff its adjoint $M^{\star}$ is densely defined, and then its closure $\...
7
votes
1
answer
402
views
Is any dual metrizable locally convex space a Frechet space?
[I have posted this question on MSE some time ago, but received no answer.]
The title basically says all of it.
If a normed space $F$ is a dual of a normed space $E$, then $F$ is a Banach space. I ...
- 5,529
7
votes
1
answer
240
views
Strictly finer bornological topology on Hilbert space
Question: Let $E$ be a Hilbert space. Can there exist a strictly finer bornological topology on $E$?
The background to my question is as follows. I am looking at locally complete, locally convex ...
- 570
7
votes
2
answers
432
views
Infinite dimensional version of a simple fact on certain singular matrices
We consider the following simple fact about matrices. Then we try to generalize it in the context of smooth manifolds;
Let $L$ be the collection of all $n \times n$ real matrices $A=(a_{ij})$ with ...
- 356
7
votes
2
answers
461
views
Compact operators on Lebesgue spaces
Let $K:{\rm L}^p({\bf R}^d)\to {\rm L}^p({\bf R}^d)$ be a bounded linear operator for every $p\in(1,\infty)$.
Assume that for some $r\in(2, \infty)$ it holds that $K$ is compact on ${\rm L}^q({\bf R}^...
- 165
7
votes
1
answer
242
views
Is there a nice "minimum" of two symmetric operators?
Let $A$ and $B$ be two bounded symmetric positive operators in Hilbert space, such that $A-B$ is trace class. If needed, $A$ and $B$ may be assumed reasonably "small", let's say, Hilbert-Schmidt.
...
- 4,010
7
votes
2
answers
2k
views
Moreau-Yosida regularization in Banach spaces
For a seminar I am working on a Moreau-Yosida regularization in Banach spaces.
The regularization is defined by
$$f_\lambda(x) := \inf \left \{ \frac{\|x-y\|^2}{2\lambda} +f(y) : y \in X \right \}, ~...
- 73
7
votes
2
answers
1k
views
Weak*-closed and complemented subspaces of dual Banach spaces
We consider a Banach space $X$ and its dual $X^*$.
Let $Q\colon X^\ast \to X^\ast$ be an idempotent operator.
Question:
Can we find an idempotent operator $P\colon X^\ast \to X^\ast$ which is weak$...
- 191
7
votes
1
answer
1k
views
weak*-closed subspaces
Recall that a closed subspace $Y$ of a Banach space $X$ is weakly complemented if the set
$$Y^{\bot}:= \{ f\in X^*| f(y) = 0 \forall y\in Y\}$$
is a complemented subspace of $ X^*$. For example, $c_0$ ...
- 195
7
votes
2
answers
1k
views
Carleson's Theorem (on the Adeles and other exotic groups)
I have redone this question:
On $\mathbb R^n$ the Carleson Operator if defined by
$$Cf(x) = \sup_{R>0} \left \vert \int_{B_R(0)} e^{2\pi i x\cdot \xi} \widehat{f}(\xi) d \xi \right \vert. $$ (...