All Questions
10,828 questions
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. $$ (...
7
votes
1
answer
592
views
topologies on U(H)
There are many topologies on the algebra $B(H)$ of bounded operators on Hilbert space:
the weak, strong, ultraweak (also called σ-weak), ultrastrong (also called σ-strong), and some more......
- 43.2k
7
votes
1
answer
577
views
Does a crossed product R⋊_α F_n of the hyperfinite factor of type II_1 and a free group have the QWEP?
Let $\mathcal{R}$ be the hyperfinite factor of type $\rm{II}_1$ and let $\mathbb{F}_n$ be a free group with $n$ generators. Let $\alpha$ be an action of $\mathbb{F}_n$ on $\mathcal{R}$.
Does the von ...
- 1,222
7
votes
1
answer
415
views
Is there a “Closure-of-Range Theorem” for Banach spaces?
The classic Closed Range theorem states that for a linear bounded operator $T:X\to Y$ between Banach spaces, and its transpose $T^*:Y^*\to X^*$, the four conditions:
$T(X)$ is $s$-closed; $T(X)$ is $...
- 60.6k
7
votes
2
answers
351
views
Can the Banach algebra structure on $B(E)$ be (almost) retrieved from its Banach space structure?
This is basically just out of curiosity. Also, since my research area is in von Neumann algebras and my knowledge of general Banach algebras as well as general Banach spaces is somewhat limited, I ...
- 2,830
7
votes
1
answer
342
views
Does the pointwise mean value property imply harmonicity?
Assume $u:\Omega\subset\mathbb{R}^d\to\mathbb{R}$ is continuous and satisfies the property:
for every $x\in \mathbb{\Omega}$ there is $r_x>0$ such that
$$
u(x)=\frac{1}{|B(x,r_x)|}\int_{B(x,r_x)} u(...
- 1,101
7
votes
1
answer
122
views
Containment of $c_0$ in projective tensor products
Let $X$ and $Y$ be Banach spaces and denote by $X\hat{\otimes}_\pi Y$ the projective tensor product.
Question:
If $X\hat{\otimes}_\pi Y$ contains an isomorphic copy of $c_0$, must then $X$ or $Y$ ...
- 125
7
votes
1
answer
745
views
Is Gram-Schmidt on a separable Hilbert space operator norm continuous?
Let $\mathcal H$ be a separable Hilbert space, with inner product $\langle\cdot,\cdot\rangle$, and with orthonormal basis $(e_i)_{i\in\mathbb N}$. Consider a continuous linear embedding $A\colon\...
- 320
7
votes
1
answer
491
views
Projections in the tensor product of von Neumann algebras
This question seems elementary, but I have already asked an expert who does not know the answer, so I would like to post here.
Let $M$ and $N$ be von Neumann algebras, and let $M\bar{\otimes}N$ be ...
- 619
7
votes
1
answer
281
views
Harmonic functions on $(M,g)$ closed, induce an embedding in Euclidean space
In Hajime Urakawa's monograph The Spectral Geometry of the Laplacian on page 41, we make an assumption that I can't quite justify on my own. The following is our setup:
Let $(M^n,g)$ be a closed ...
- 1,247
7
votes
1
answer
187
views
numerical radius of hyponormal operator
Let $F$ be a complex Hilbert space. We recall that an operator $S\in\mathcal{B}(F)$ is said to be hyponormal if $S^*S\geq SS^*$ (i.e. $\langle (S^*S-SS^*)z,z \rangle\geq 0$ for all $z\in F$).
...
- 724
7
votes
1
answer
1k
views
Fourier transform surjective on $L^p(\mathbb{R}^n)$ for $p \in (1,2)$?
I know that $F_2:L^2 \rightarrow L^2$ is of course unitary, whereas $F_1:L^1 \rightarrow C_0$ is injective but not surjective. This can be seen by looking at the dual map.
Riesz-Thorin gives us that ...
- 85
7
votes
1
answer
2k
views
Orthonormal bases on Reproducing Kernel Hilbert Spaces
Recall that a Hilbert space $\mathcal{H}$ is a reproducing kernel Hilbert space (RKHS) if the elements of $\mathcal{H}$ are functions on a certain set $X$ and for any $a\in X$, the linear functional $...
- 577
7
votes
1
answer
548
views
Spectrum of unitary elements of a Banach algebra
Unitary elements of a Banach space have been defined in this paper as follows:
Let $A$ be a Banach space and $a\in A, \|a\|=1$. Let $S_{a}=\{f\in A':\|f\|=1=f(a)\}$. Then $a$ is said to be (...
- 173
7
votes
2
answers
208
views
Characterizing when matrices are 'dissipative'
An $n$ by $n$ matrix A is said to be dissipative with respect to a norm $\|\cdot \|$ if for all $x$ and $t\geq 0$, we have $\|e^{At}x\|\leq\|x\|$. Two matrices $A$ and $B$ are said to be jointly ...
- 291
7
votes
1
answer
907
views
Lebesgue differentiation theorem holds on locally doubling space?
It's known that for a metric space with doubling measure $(X,\mu)$, the Lebesgue differentiation theorem holds , i.e. If $f:X\to \mathbb{R}$ is a locally integrable function, then $\mu$-a.e. points ...
- 471
7
votes
2
answers
385
views
Can phase significantly concentrate a function's spectrum?
Let $F$ denote the Fourier transform over some group. What is known about the following quantity?
$$\gamma:=\inf_{x\neq 0}\frac{\|Fx\|_1}{\|F|x|\|_1}$$
Here, $|x|$ denotes the pointwise absolute ...
- 7,633
7
votes
2
answers
992
views
Is there a nice "synthetic" way for doing differential geometry on infinite dimensional vector spaces?
If $V$ is an infinite dimensional vector space, for example the space of smooth functions on $\mathbb{R}$, we can introduce some differential geometry concepts by choosing a topology on $V$ and doing ...
- 922
7
votes
1
answer
395
views
$\mathcal S(\mathbb R^n) \hat \otimes_\pi \mathcal S(\mathbb R^m) \simeq \mathcal S(\mathbb R^{n+m})$?
If $S(\mathbb R^n)$ is the Scwartz space of smooth rapidly decaying functions equipped with the topology generated by the family of semi-norms
$$\mathcal N_p (\varphi)= \sum_{|\alpha|, |\beta| \leq p} ...
- 630
7
votes
1
answer
1k
views
laplace equation on manifolds with boundary
in aubin's book on page 104 theorem 4.7 there is the theorem: Let $(M,g)$ be a compact $C^{\infty}$ Riemannian manifold. There exists a weak solution $\varphi \in H_{1}$ of $\Delta \varphi = f $ if ...
- 213
7
votes
1
answer
1k
views
How to construct a scalar differential operator having the same spectrum as a non-scalar differential operator exploiting symmetries?
I am interested in eigenvalue problems for differential operators acting on one forms on closed two-dimensional manifolds and how they relate to eigenvalue problems of associated operators acting on ...
7
votes
2
answers
657
views
Subspaces isomorphic to $C[0, \omega_1]$
Let $\omega_1$ be smallest uncountable ordinal. I am trying to understand the possible "large" subspaces of $C[0,\omega_1]$, namely those which are isomorphic to the whole space. Therefore I have the ...
- 11.3k
7
votes
1
answer
2k
views
A good reference for the wave front set
Hello,
I am wondering whether anyone know some good references for the theory of wave front set, microlocal analysis? I have some basic knowledge of distribution theory at the level of the Rudin's ...
- 1,649
7
votes
3
answers
1k
views
A Question concerning the Fourier Transform of $\mathbb{R}$
Consider the classical Schwartz space $\mathcal{S}(\mathbb{R})$ together with the Fourier transform $\mathcal{F} : \mathcal{S}(\mathbb{R}) \rightarrow \mathcal{S}( \mathbb{R})$.
Consider the subspace ...
- 11.2k
7
votes
2
answers
790
views
Question about von Neumann algebra generated by a complete algebra of projections
Hi all, sorry if this is a dumb question, I don't know much about von Neumann algebras except the definition and a few relevant facts I've managed to prove by myself so I expect the answer will turn ...
- 391
7
votes
1
answer
281
views
Norm in the minimal tensor product of C*-algebras
Let $A$ and $B$ be two $C^*$-algebras, and let $A \otimes B$ denote their minimal tensor product. Given positive, linear functionals $\varphi$ on $A$ and $\psi$ on $B$, we obtain a positive, linear ...
- 3,497
7
votes
1
answer
299
views
Intermediate spaces of test functions between $\mathcal{S}$ and $\mathcal{D}$?
On $\mathbb{R}^n$, let $\mathcal{S}(\mathbb{R}^n)$ be the Schwartz space and $\mathcal{D}(\mathbb{R}^n)$ be the space of smooth, compactly supported functions.
According to p.145 of the book by Reed &...
- 3,477
7
votes
2
answers
592
views
Prove that the following function is positive
Consider the following function:
$$K(x, y; t) = \sum_{n \geq 0} \frac{e^{-(2n+1)t}}{\sqrt{\pi} 2^n n!} H_n(x) H_n(y) \exp\left(-\frac{(x^2 + y^2)}{2}\right)
$$
This is Mehler's kernel, and can be ...
- 90
7
votes
1
answer
635
views
Convergence of $\exp(tQ)$ in operator norm as $t\rightarrow\infty$
This is not a homework problem, so I am not sure whether this has a "good" answer or not. I came up with this question when I am now learning functional analysis and wonder whether my "...
- 715
7
votes
2
answers
340
views
Sum of $\sin$ when angles shrink by $1/n$
There are many identities known like
$$\sum_{k=0}^{n-1} \sin (k \cdot \theta + \varphi) = \frac{\sin\left(n \cdot \frac{\theta}{2}\right)}{\sin\left(\frac{\theta}{2}\right)} \cdot \sin \left(\frac{2 \...
- 749
7
votes
1
answer
319
views
Is every sequentially $\sigma(E',E)$-continuous linear functional on a dual Banach space $E'$ necessarily a point evaluation?
$\newcommand{\bf}[1]{\mathbb #1}\newcommand{\sc}[1]{\mathscr #1}$
A duality between two vector spaces $E$ and $F$ over $\bf K$ ($= {\bf R}$ of ${\bf C}$)
is, by definition, a bilinear form
$$
\...
- 2,263
7
votes
1
answer
3k
views
Operator norm and spectrum
I am wondering about when an operator norm coincides with the maximum eigenvalue of an operator and there is one particular aspect that confuses me quite a lot.
Let's say we have a symmetric positive ...
- 71
7
votes
1
answer
754
views
Closed convex hull in infinite dimensions vs. continuous convex combinations
tl;dr: When is the closed convex hull of a set $K$ equal to the set of "continuous" convex combinations of $K$?
I am essentially asking for the most general, infinite-dimensional analogue of ...
- 71
7
votes
1
answer
1k
views
Properties of convolutions
Consider the function
$$f_{n}(x)=e^{-x^2}x^n.$$
and the function
$$h_p(x):=e^{-\vert x \vert^p}.$$
My goal is to analyze
$$ F_p(y):=\frac{(f_2*h_p)(y)}{(f_0*h_p)(y)}- \left(\frac{(f_1*h_p)(y) }{(f_0*...
- 173
7
votes
1
answer
593
views
Fractional powers of an operator
What is the large class of operators for which one can define fractional powers? For example, we can consider an operator $A: D(A) \subset X \rightarrow X$, generator of an analytic semigroup on a ...
- 395
7
votes
1
answer
200
views
If $\ $ $yx_n\to 0 $ for all $y$ in a C$^*$-algebra, Is it true that $x_n$ is weakly convergent to $0$?
$A$ is a C$^*\! $-algebra and $(x_n)_{n\in \mathbb{N}} \subseteq A $.
If $\ $ $yx_n\to 0 $ for all $y\in A$, Is it true that $x_n$ is weakly
convergent to $0$ ?
For unitals this is trivial. ...
- 327
7
votes
2
answers
427
views
On the Fourier-Laplace transform of compactly supported distributions
Let $\mathcal{E}'(\mathbb{R})$ be the space of all compactly supported distributions on $\mathbb{R}$.
For $f\in \mathcal{E}'(\mathbb{R})$, let $\widehat{f}$ denote the entire extension of the ...
- 191
7
votes
1
answer
337
views
Flows in Hilbert spaces
Let $\varphi: [0,T] \rightarrow H$ be a Hilbert space valued $C^1$-function. Let $H = X \oplus X^{\perp}$ such that $\varphi(0) \in X$ and the implication $\varphi(t) \in X \Rightarrow \varphi'(t) \in ...
- 83
7
votes
1
answer
305
views
Reflexive subspaces of bidual Banach spaces
The answer to the question is almost surely negative (as almost always in Banach space theory) but I cannot find a relevant example.
Is there an example of an infinite-dimensional Banach space $X$ ...
- 75
7
votes
2
answers
521
views
Kazhdan constant and finite index subgroups
I am wondering if there is some general relation between Kazhdan constants of a group and it finite index subgroups?
Let $G$ be a finitely generated group with a generating set $\Sigma$ that ...
- 165
7
votes
1
answer
510
views
It is true that $\overline{\text{Im}(A)}\otimes \overline{\text{Im}(B)}\subset \overline{\text{Im}(A\otimes B)}$?
Let $H$ be a complex Hilbert space and $\mathcal{L}(H)$ be the algebra of all bounded linear operators on $E$.
If $A,B\in \mathcal{L}(H)$, It is true that $\overline{\text{Im}(A)}\otimes \overline{\...
- 1,154
7
votes
2
answers
449
views
Distribution that vanishes against approximated delta is zero
Suppose we have a Schwartz distribution $\phi$ on $\mathbb{R}^d$ such that $$ \forall x, \ \lim_{\lambda \to 0}| \langle\phi, \psi^{\lambda}_x \rangle| =0$$
where $\psi^{\lambda}_{x}=\lambda^{-d}{\...
- 387
7
votes
3
answers
442
views
Weak compactness in the James space and its dual
It is known that there are characterizations of weak compactness in most of classical non-reflexive spaces (e.g. $L_{1}$-spaces and $C(K)$-spaces). I wonder whether there are characterizations of weak ...
- 3,343
7
votes
3
answers
546
views
Do non-normal states exist in the Solovay model?
Let H be an infinite dimensional Hilbert space. Then there exist non-normal states on B(H) in ZFC (i.e. states that are not represented by a density operator).
Is this also true in the Solovay model ?...
- 2,753
7
votes
1
answer
497
views
Inequality of the norm of the convolution in $L^p(\mathbb{R}^n)$ with symmetric decreasing rearrangement?
Is it true that
$$
||f*g||_p \le ||\,|f|^* * |g|^*||_p\quad ?
$$
where $|f|^*$ and $|g|^*$ are the symmetric decreasing rearrangements of the functions $|f|$ and $|g|$. Under what conditions on $f$ ...
- 193
7
votes
1
answer
699
views
When $C(X)$ is an injective $C(X)$-module? Current answer is erroneous
It is an old question if every injective Banach space is isomorphic as Banach space to $C(X)$-space.
I would like to know if the weakened module version of this question is answered. More precisely: ...
- 1,697
7
votes
1
answer
433
views
Extending compact operators
Let $X$ be a separable, infinite-dimensional complex Banach space and $Y\subseteq X$ an infinite-dimensional closed subspace. Suppose $K:Y\to X$ is an arbitrary compact operator. I would like to ...
- 1,591
7
votes
1
answer
2k
views
Proving that a specific kernel is positive definite
Most theoretical papers concerning kernels assume that they are given a positive definite kernel. In this question, we want to show that a specific kernel is positive definite.
We are interested in ...
- 981
7
votes
1
answer
439
views
About the convergence rate for an approximation to the heat kernel
Let $G(t,x)$ be the heat kernel
$$
G(t,x)=\frac{1}{\sqrt{2\pi t}}e^{-\frac{x^2}{2t}}, \quad t>0, \:x\in\mathbb{R}.
$$
Here is one approximation to $G(t,x)$:
$$
G_\epsilon(t,x)=e^{-t/\epsilon} \...
- 1,649
7
votes
1
answer
703
views
A Question About Pure States, Support Projections and Central Covers
I am trying to study the paper Consistency of a Counterexample to Naimark’s Problem by Charles Akemann and Nik Weaver, and there is a claim in Lemma 1 of the paper that I am stuck at, which is as ...
user36116