Questions tagged [fa.functional-analysis]
Banach spaces, function spaces, real functions, integral transforms, theory of distributions, measure theory.
3,437 questions with no upvoted or accepted answers
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
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
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
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
10
votes
0
answers
225
views
Can the trace be computed in any Schauder basis?
I'm cross-posting this question from Math.SE, as it didn't get much attention there.
Let $H$ be a separable Hilbert space and $T \in L(H)$ a trace-class operator. It is well known that the trace of $T$...
- 233
10
votes
1
answer
518
views
Inverse function theorem for $W^{2,n}\cap W^{1,\infty}$ functions
Let $n\ge 2$, $f:B_1\subset \mathbb R^n\rightarrow \mathbb R^n$, $f\in W^{2,n}\cap W^{1,\infty}(B_1)$, $\text{det}(Df)>c>0$, where $B_1$ is the unit ball. Can we show that $f$ is a homeomorphism ...
- 435
10
votes
0
answers
422
views
Upper bound Hölder norm of the solution to the non-linear PDE $\partial_t u (t, x) = \Delta_x \{ |\sigma (u (t, x))|^2 u(t, x) \}$
We fix $T>0$ and let $\mathbb T := [0, T]$. Let $\sigma : \mathbb R \to \mathbb R$ belong to the Hölder space $C^{1, \alpha}_b (\mathbb R)$ for some $\alpha \in (0, 1)$. Let $u : \mathbb T \times \...
- 835
10
votes
0
answers
652
views
Eigenfunctions of the integral kernel $1/(x^2 + x'^2)$
My question seems elementary, yet I could not find the solution after working on and searching for several days...
I'd like to find the eigenfunctions of a simple integral kernel:
\begin{equation}
\...
- 101
10
votes
0
answers
656
views
“Taylor series” is to “Volterra series” as “Laurent series” is to _________?
Preamble
My question is similar to an earlier MathOverflow question:
“Taylor series” is to “Volterra series” as “Padé approximant” is to _________? which I just answered (hopefully my first ever ...
- 446
10
votes
0
answers
226
views
Extremal bases in finite-dimensional Banach spaces
Definition. A basis $e_1,\dots,e_n$ for a Banach space $X$ is called extremal if there exists a point $s$ in the unit sphere $S_X=\{x\in X:\|x\|=1\}$ such that for every $i\in\{1,\dots,n\}$ the ...
- 4,535
10
votes
0
answers
230
views
Norm-attaining operators with values in a 2-dimensional Hilbert space
Is the set $N\!A(X,\ell_2^2)$ of norm-attaining operators from a Banach space $X$ onto the $2$-dimensional Hilbert space $\ell^2_2$ dense in the Banach space $L(X,\ell_2^2)$ of all linear continuous ...
- 4,535
10
votes
0
answers
266
views
Are biduals of spaces of differentiable functions on hypercubes Grothendieck?
Consider the space $E_n = C^1([0,1]^n)$ of continuously differentiable functions with the usual norm
$$\max\{ \|f\|_\infty, \|f^\prime_{x_1}\|_\infty, \ldots, \|f^\prime_{x_n}\|_\infty\}.$$ making it ...
- 11.3k
10
votes
0
answers
845
views
Witt's proof of Gelfand-Mazur / Ostrowski's Theorem
Previously asked on Math Stackexchange without answers.
Background: As sort of a hobby, Ernst Witt gave extremely short proofs for famous theorems. This question is about his six-line proof of the ...
- 2,454
10
votes
0
answers
251
views
Do sufficiently large Banach spaces admit non-compact operators with not too large range?
As in the title,
does there exist a cardinal number $\lambda$ such that for every Banach space $X$ of density/cardinality at least $\lambda$ there exists a non-compact bounded, linear operator $T\...
- 11.3k
10
votes
0
answers
201
views
Masas in SAW*-algebras
I asked this question three years ago at MSe but it has no response; let me try here.
Pedersen distilled the following class of C*-algebras which he termed SAW*-algebras (Journal of Operator Theory, ...
- 11.3k
10
votes
0
answers
325
views
Are ideals in separable C*-algebras complemented subspaces?
Let $A$ be a separable C*-algebra and $J\subseteq A$ a closed two-sided ideal. Does this make $J$ into a complemented subspace of $A$? In other words, does the quotient map $A\to A/J$ have a ...
- 6,406
10
votes
0
answers
207
views
Projective tensor squares of uniform algebras
In discussion with a colleague recently (Jan 2017),
$\newcommand{\AD}{A({\bf D})}\newcommand{\CT}{C({\bf T})}$
I was reminded that if $A(D)$ denotes the disc algebra and $\iota: \AD\to \CT$ is the ...
- 25.8k
10
votes
0
answers
761
views
Reference request : Grothendieck's topological space valued integral
As I am learning the different kind of Banach space valued integrals (Pettis, Bochner), I know that Grothendieck made a "mémoire" in his youth about this topic, but I don't know if it is available ...
- 1,616
10
votes
1
answer
2k
views
Chain rule for distributional derivative
Let $V \subset H \subset V^*$ be a Gelfand triple (eg. $H^1 \subset L^2 \subset H^{-1}$).
Let $u \in L^2(0,T;V)$ have a distributional derivative $u' \in L^2(0,T;V^*)$. So $\int_0^T u(t)\varphi'(t) = ...
- 145
10
votes
0
answers
508
views
Tensorial decomposition of $B(H)$
Let $H$ be an infinite-dimensional Hilbert space and let $\mathcal{B}(H)$ be the (C*/W*-)algebra of bounded operators on it. Actually, you may forget about the involution in $\mathcal{B}(H)$ because I ...
- 101
10
votes
0
answers
744
views
Is the set of real-valued lower semi-continuous functions measurable in epigraph topology (= topology of Gamma convergence)?
Let LSC = LSC([0,1]) be the set of non-negative, lower semi-continuous functions on the unit interval which take values in $\mathbb{R}_+ \cup \{\infty\}$. We use epigraph topology on LSC, i.e. a ...
- 888
10
votes
0
answers
509
views
Lacunary hyperbolic groups and weak amenability
In the paper called Lacunary Hyperbolic group, Y. Ol'shanskii, D. Osin and M. Sapir define and characterize the lacunary hyperbolic groups, which contains the hyperbolic groups but also Tarski's ...
- 195
10
votes
0
answers
609
views
Asymptotic non-distortion of the separable Hilbert space
By the work of E. Odell and Th. Schlumprecht, we know that the
separable Hilbert space $\ell_2$ is arbitrarily distortable. But
I don't know if an "asymptotic" version of their result is true.
To ...
- 576
9
votes
0
answers
163
views
Moore-Penrose partial isometries and hermitian elements
Let $A$ be a unital Banach algebra. An element $a \in A$ is hermitian if $\|\mathrm{exp}(ita)\|=1$ for every $t \in \mathbb{R}$. An element $a \in A$ is Moore-Penrose invertible if there exists $b \in ...
- 3,497
9
votes
0
answers
240
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
9
votes
0
answers
210
views
Why and how is a representation "continuously decomposable"?
What I am asking may apply to a much more general setting and I am interested in the underlying level of generality of these statements, mostly with canonical references. However I state the question ...
- 5,424
9
votes
0
answers
1k
views
Weak compactness in $\mathcal{F}(X)$
Let $(X,0)$ be a pointed metric space and let $\mathcal{F}(X)$ be the natural predual of ${\rm Lip}_0(X)$, the space of Lipschitz functions on $X$ that map $0$ to $0$; here $\mathcal{F}(X)$ is really ...
- 11.3k
9
votes
0
answers
540
views
Why is spectral theory developed for $\mathbb C$
Spectral theory is a fundamental part of operator theory and the spectrum of many operators is investigated throughout the existing literature. And that is for a good reason: If $A$ is some closed ...
- 381
9
votes
0
answers
137
views
A self-isometry of the sphere of a strictly convex Banach space that does not move basic vectors
Problem. Let $n\in\mathbb N$, $X$ be a strictly convex $n$-dimensional real Banach space, $S_X=\{x\in X:\|x\|=1\}$ be the unit sphere of $X$, and $e_1,\dots,e_n\in S_X$ be linearly independent points. ...
- 41.9k
9
votes
0
answers
176
views
Is the switch automorphism inner for continuous-trace $C^*$-algebras?
If $R$ is a commutative ring, and $A$ is an Azumaya algebra over $R$, then the switch (or flip, or exchange, etc.) automorphism of $A\otimes_R A$, given by $a\otimes b\mapsto b\otimes a$, is inner: it ...
- 272
9
votes
0
answers
230
views
Using Property (T) to approximate invertible matrices
In the wikipedia article for Kazhdan's Property (T), there's an intriguing application:
Similarly, groups with property (T) can be used to construct finite sets of invertible matrices which can ...
9
votes
0
answers
240
views
Reference request: integral formula for $\sum_{\text{roots }\lambda}e^{-|\lambda|^2}$
Consider a polynomial $f(z)=c\prod_m(z-\lambda_m)\in\mathbb{C}[z]$. I am mostly interested in the case where this actually lies in $\mathbb{R}[z]$, but that is not essential. I wanted to find a nice ...
- 56.9k
9
votes
0
answers
164
views
Comparison of the absolute value of an operator with its positive parts, II
Suppose $A,B\in M_n(\mathbb C)$ are self-adjoint. Does there exist a constant $C>0$ depending only on $n$ such that
$$
|A+iB| \leq C(|A| + |B|)?
$$
One can take $C=1$ if $A$ and $B$ commute.
More ...
- 3,984
9
votes
0
answers
261
views
SVD-type decomposition for the tensor product of three Hilbert spaces?
(The questions How does the Schmidt decomposition generalize to tensor products of several finite-dimensional systems? and Is there a useful generalization of the Schmidt decomposition to the ...
- 25.8k
9
votes
0
answers
953
views
Topologies on compactly supported functions
Let M be a (non-compact) smooth manifold and consider the set $C^\infty_c(M)$ of smooth real-valued functions with compact support. We can give this function space several topologies. Here are four:
...
- 27.5k
9
votes
0
answers
284
views
Verifying Woronowicz’s proof that all $ {\text{SU}_{q}}(2) $’s are isomorphic as $ C^{*} $-algebras, where $ -1 < q < 1 $
This question is related to one that I asked some time ago.
Definition 1. Let $ q \in (-1,1) $. Let $ A $ be a unital $ C^{*} $-algebra and $ (x,y) $ a pair of elements of $ A $. Then define the $ ...
- 1,396
9
votes
0
answers
979
views
Strong convexity of the trace of the square root of a matrix function
Any clues about how to prove that the following function is strongly-concave in $x$? (We conjecture it is $2$-strongly concave but cannot prove it. We have already proved strict concavity through ...
- 91
9
votes
0
answers
351
views
How many ideals are there in $B(H)^{**}$?
It is well-known (and easy to prove) that the only closed ideals of $B(\ell_2)$ are $\{0\}$, $B(\ell_2)$ and $K(\ell_2)$, the ideal of compact operators on $\ell_2$. I am curious whether we know what ...
- 91
9
votes
0
answers
305
views
Convergence in $L^2$ of iterated expectations
Take a probability space $(\Omega,\mathcal{F},\mathbf{P})$ and random variable $X \in L^2(\Omega,\mathcal{F},\mathbf{P})$.
Define the iterated expectations of X as follows: $X_0 = X$, and, ...
- 1,068
9
votes
0
answers
397
views
Does the algebra of bounded variation functions have a "noncommutative geometric" meaning and generalization?
According to Gelfand-Naimark theory, $C^*$-algebras of continuous functions $\mathcal{C}^0(X,\mathbb{C})$ on a compact Hausdorff topological space completely capture its topology. Furthermore, every ...
- 23.3k
9
votes
0
answers
885
views
Continuous projections in $\ell_1$ with norm $>1$
I was trying to find papers and articles about non-contractive continuous projections in $\ell_1(S)$ where $S$ is an arbitrary set. If it is not studied yet, I would like to know results for the case $...
- 1,697
9
votes
1
answer
1k
views
Noncompactness of the Sobolev embedding in the critical exponent case
Let $\Omega \subset \mathbb R^n$ be a bounded domain with a Lipschitz boundary and $n > p \ge 1$.
It is well known that up to the critical exponent $p^* = pn/(n − p)$, i.e. $q < p^*$, the ...
- 446
8
votes
0
answers
115
views
optimal regularity for the Neumann heat equation on Lipschitz domains
$\newcommand{\R}{\mathbb R}$Let $\Omega\subset\R^d$ be a bounded Lipschitz domain, possibly non-convex (but not too nasty either, whatever that means). I am looking for well-posedness and optimal ...
- 5,380