All Questions
10,050 questions
2
votes
1
answer
942
views
A singular value inequality
Let $s_1,s_2: \mathbb{R}^{2\times 2} \mapsto \mathbb{R}_+$,
$s_{1}\left(\cdot\right)\ge s_{2}\left(\cdot\right)\ge 0$, be the
singular values of a $2\times2$ matrix. Is it true that
$$\left|s_{1}\...
- 173
20
votes
2
answers
4k
views
Ideals of the ring of smooth functions
The ring $C^\infty(M)$ of smooth functions on a smooth manifold $M$ is a topological ring with respect to the Whitney topology and the usual ring operations. Is it possible to describe, maybe under ...
- 101
6
votes
2
answers
293
views
quasinilpotence and finite spectrum
Let A be a quasinilpotent operator on a Hilbert space and let $A^{*}A$ have finite spectrum.
Does then follow, that A is nilpotent ?
- 2,753
3
votes
2
answers
1k
views
Sequences of linear combinations of measures
Let $X$ be a Polish space. Let $J\in\mathbb{N}$.
Let $\lbrace a^n_1\rbrace_n,\dots,\lbrace a^n_J\rbrace_n$ be $J$ sequences of reals.
Let $\lbrace \mu^n_1\rbrace_n,\dots,\lbrace \mu^n_J\rbrace_n$ be ...
user12713
2
votes
0
answers
327
views
Generalizations of Kato-Rosenblum theorem?
The Kato-Rosenblum theorem says that if $H_0, H$ are self-adjoint operators on a Hilbert space such that the difference $H-H_0$ belongs to the trace class, then the strong limit of $\exp(itH)\exp(-...
- 21
6
votes
1
answer
2k
views
Polynomials are dense in weighted $L^2$ space
Hi,
It seems to be a common knowledge that the polynomials $x^n$ are dense in $L^2$ spaces with various probability weights, such as the gamma distribution weight $x^{\alpha-1}e^{-x}/\Gamma(\alpha)\;...
- 1,765
34
votes
1
answer
3k
views
tr(ab)=tr(ba), part 2.
This is a Banach space version of Andre Henriques' question
Trace Question
for Hilbert spaces. Let $a:X\to Y$ and $b:Y\to X$ be bounded linear operators between Banach spaces s.t. $ba$ and $ab$ ...
- 31.5k
6
votes
2
answers
2k
views
How to prove the Hahn-Banach constructively
I am just wondering, how to prove the Hahn-Banach theorem constructively for a finite dimensional normed vector space.
Thanks in advance for any helpful answers.
- 71
4
votes
1
answer
1k
views
Harmonic functions on the plane
I have a question regarding harmonic maps from all of ${\Bbb R}^2$ into a domain in ${\Bbb R}^2$. Before stating my question in full generality, let me ask a special case of the question first. Is it ...
- 103
35
votes
2
answers
9k
views
tr(ab) = tr(ba)?
It is well known that given two Hilbert-Schmidt operators $a$ and $b$ on a Hilbert space $H$, their product is trace class and $tr(ab)=tr(ba)$. A similar result holds for $a$ bounded and $b$ trace ...
- 43.2k
7
votes
3
answers
1k
views
Reference on semigroup theory and parabolic PDEs
Recently started to study semigroup theory. My background is equivalent to the first three chapters of the Jack Hale's book "Asymptotic behavior of dissipative systems".
Looking for a reference to an ...
user11178
6
votes
2
answers
2k
views
Continuity of a convolution (Version 2)
Hello,
This problem bothers me for some time. Suppose that
$\mu$ is a non-negative Radon measure (or positive linear functional of the space of continuous functions with compact support);
$\psi$ is ...
3
votes
0
answers
456
views
Morphism of von Neumann Algebras
Hello,
Is there a counterexample to the following statement:
let $A,B$ two von Neumann algebras, every morphism $A \rightarrow B$ of $C^* $-algebras is a $W^*$-homomorphism ?
( a $W^* $-...
- 663
4
votes
1
answer
3k
views
Dense sets in the space of continuous functions
Let $X$ be a compact metric space, and
let $C(X)$ be the Banach space of continuous real-valued function on $X$, with
the maximum norm.
Suppose $S\subset C(X)$ is a set of functions with the ...
- 43
12
votes
1
answer
468
views
Status of the compact AR problem?
The so-called "compact AR Problem" reads:
Is every compact convex set in a metrizable topological vector space an absolute retract?
It is open according to the chapter by T. Banakh, R. Cauty and ...
- 5,575
2
votes
0
answers
290
views
Consequence of Modified Young's inequality
Let $f\in L^1(\mathbb R^n)$. Define operator $T_f(g)=|f|\ast g$ for functions $g$ on $\mathbb R^n$. The set of measurable functions $f$ on $\mathbb R^n$, such that $T_f$ is bounded from $L^p(\mathbb R^...
- 415
9
votes
1
answer
682
views
A differential inequality needed to prove a theorem about odd-dimensional souls
I need a solution to this problem (which is really a calculus problem) in order to prove a rigidity result for open nonnegatively curved manifolds with odd-dimensional souls:
Suppose that $f,g:\...
- 93
5
votes
1
answer
503
views
Approximating high-dimensional integrals by low-dimensional ones
This question is motivated by the following naive one: suppose we have a nice subset $X$ of some Euclidean space, say a polyhedron, and a nice $\mathbb{R}$-valued function $f$ on this subset, say a ...
- 23.5k
2
votes
2
answers
1k
views
Sufficient conditions to the existence of a weakly convergent subsequence from a Cauchy sequence in a (merely) normed space
Bonsoir/bonjour à toutes et à tous.
The title has it all, but... We know (as a consequence of the Eberlein-Šmulian theorem) that any bounded sequence, $\{x_n\}_{n \;\! \in \;\! \mathbb{N}}$, in a (...
- 10.5k
7
votes
4
answers
973
views
I was wondering if the set of singular loops is a (somewhere) submanifold of loop space?
The set of all smooth maps $S^1\to M^n$ ($M$ is a smooth manifold) is a generalized manifold(see http://ncatlab.org/nlab/show/smooth+loop+space).
I was wondering if the set of singular loops (maps ...
- 5,063
0
votes
1
answer
498
views
Quotient of \ell_1 by space of finite sequences
The following question came up during a reading of Rudin's functional analysis. I have not been able to find any information through searching online, but I apologise if the answer is obvious, or the ...
- 11
2
votes
1
answer
208
views
Is there an elementary proof for preserving inequalities under the change of l_p metrics?
Here is what I mean exactly:
Let $A=(a_1,a_2)$ and $B=(b_1,b_2)$ be two points in the real plane (for simplicity, but general finite dimensions would also be nice), and define the $\ell_p$-metric as ...
8
votes
2
answers
865
views
frechet manifolds book
hi, does anyone know a good book or some lecture notes on the theory of frechet manifolds ?
4
votes
0
answers
238
views
dimension of induced comodule
Let $\pi : G \to H$ be epimorphism of Hopf superalgebras, where $G$ be an quantum super group of function on $GL(m|n)$, $H$ be an quantum group of function on $GL(m) \otimes GL(n)$; $W$ an finite ...
- 41
18
votes
1
answer
1k
views
Who introduced the notion of "stability" in numerical analysis?
I am preparing a lecture course on the applications of operator theory where I intended to make some numerical analysis application. I was wondering about this question while browsing the literature I ...
- 4,729
7
votes
1
answer
1k
views
Helmholtz-Decomposition on compact Riemannian manifolds
For smooth domains $\Omega$ in $\mathbb{R}^n$ it is known that one can decompose vector fields in $L^p(\Omega)^n$, $1 < p <\infty $ into a "gradient"- and a "divergence-free"-part such that
$L^...
- 73
2
votes
1
answer
608
views
Stein's extension operator and wave front sets
Let $K\subset\mathbb{R}^d$ be a compact set with non-empty interior and Lipschitz boundary. In Section VI.3 of his book "Singular Integrals and Differentiability Properties of Functions", E. M. Stein ...
- 7,817
7
votes
2
answers
1k
views
A book on Banach Manifold for a Dynamicist
Hi all,
Could you give me a suggestion of suitable book about Banach Manifolds for someone that have background in functional analysis at the level of Conway's book and Do Carmo's book on Riemannian ...
user11178
2
votes
1
answer
949
views
Hereditarily indecomposable Banach spaces and Separable Quotient problem
A Banach space $X$ is called indecomposable if there exists no infinite-dimensional subspaces $M$ and $N$ such that $X = M \bigoplus N$. If every infinite-dimensional closed subspace
of $X$ is ...
- 515
5
votes
2
answers
3k
views
Diagonalization of a matrix of differential operators
Dear community,
i have a question regarding differential operators acting on vector valued functions and how to "diagonalize" them.
To explain my question i will use an example:
Let $V^k$ be the ...
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 ...
1
vote
1
answer
3k
views
Is point to set distance continuous?
Assume $\mathbf{d}:\mathbb{R}^n\times\mathbb{R}^n\rightarrow\mathbb{R}_0^+$ is a metric such that the function $\psi(x)=\mathbf{d}(x,y)$ for any $y\in\mathbb{R}^n$ is continuous in the Euclidean ...
- 27
6
votes
0
answers
3k
views
Projective and injective tensor product
It is well known that for arbitrary Banach spaces $X$ and $Y$ we have that the dual space
$(X \hat{\otimes}_{\pi} Y)^* = \mathcal{L}(X, Y^*)$.
If we take $\ell^p$ and $\ell^q$ such that $p < q^{\...
4
votes
1
answer
1k
views
Hausdorff dimension of graphs .
Is there an easy way to calculate the Hausdorff dimension of the graph of a real "elementary" function, like $f(x)=\sin(1/x)$ ?
- 3,630
5
votes
2
answers
4k
views
finite codimension implies closed?
Let $E$ be a (complete) topological vector space, and $u:E\to E$ be continuous. Is it always true that if ${\rm Im}(u)$ is of finite codimension in $E$, then it is closed in $E$ or do we have to ...
- 53
0
votes
1
answer
623
views
Automorphisms in Hilbert spaces
Let $H$ be a Hilbert space and $H'\le H$ a subspace as Hilbert spaces (I mean, the inner product in $H'$ is the same inner product of $H$ restricted to $H'$).
If we take $f:H\to H$ an automorphism of ...
- 3
6
votes
0
answers
733
views
$f(x) \ne g(x)$ but $f(f(x))=g(g(x))$ - is there a name/some discussion of this property?
In the context of iteration of functions I look at the eigenvalues of the associated matrixoperator/Carleman-matrix .
If a function $\small f(x)$ has a negative eigenvalue in its associated ...
- 5,342
3
votes
4
answers
514
views
Better terminology than "equivalence class of functions"
Let $X = C(\mathbb R)$ be the Fréchet space of real-valued continuous functions. For each $f \in X$ and each compact set $D \subseteq \mathbb R$, let $$[f]_D = \{ g \in X : \mbox{$g(t) = f(t)$ for ...
- 8,512
3
votes
1
answer
624
views
How to calculate a Fredholm index numerically
How can one calculate the index of a Fredholm operator numerically ?
In numerically calculations one uses always finte dimensional spaces.
But linear operators on finite dimensional spaces have ...
- 2,753
6
votes
2
answers
979
views
Literature on behaviour of eigenfunctions under multiplication?
Dear community,
I would be happy about any literature or comments on the behaviour of the pointwise product of eigenfunctions of a self-adjoint operator with discrete spectrum, acting on a separable ...
- 199
1
vote
1
answer
247
views
Distance between lattices of invariant subspaces of matrices
For a linear transformation $A: C^n \to C^n$ let $Inv(A)$ be the lattice of all $A$-invariant subspaces. In work I.~Gohberg, L.~Rodman "On the Distance between Lattices of Invariant Subspaces of ...
- 95
2
votes
1
answer
323
views
Recovering Schauder decompositions
The problem of Schauder decomposition of a given Banach space seems to play an important role in the geometry of Banach spaces, especially when one is interested in finite dimensional Schauder ...
- 23
0
votes
1
answer
454
views
Is this set of functions compact?
Let $\mathcal{F}$ be the set of continuous functions $\varphi$ from $\mathbb{C}$ to $[0,1]$ that satisfy $\begin{align}\varphi(z)=\frac{1}{2\pi}\int_{0}^{2\pi}\varphi(z+e^{i\theta})d\theta\end{align}$ ...
- 1
4
votes
2
answers
484
views
When is a metric space isometrically embeddable into some Banach space?
EDIT
Oops---I found the answer to the first question of mine here on Wikipedia---this is really classic material. I'll leave the question open for a bit, in case someone tells me something ...
- 28.6k
6
votes
4
answers
8k
views
Characterization of the non-negative definite functions $f(x,y)$
The common definition of the non-negative definite functions is as follows:
Definition 1: A continuous complex-valued function $f(x)$ is called non-negative definite, if for any real numbers $x_1,\...
- 1,649
9
votes
1
answer
456
views
Embeddings of Sobolev-Orlicz spaces
The Birnbaum--Orlicz spaces generalize the Lebesgue spaces (see http://en.wikipedia.org/wiki/Birnbaum-Orlicz_space for a precise definition). The space $L_\Phi(\Omega)$ is defined for convex functions ...
- 52.3k
4
votes
1
answer
568
views
Crossed product of a non unital C*-algebra
Let $X$ be a locally compact space, and let $T:X\rightarrow X$ be a homeomorphism. Then \begin{align*}
&\alpha:C_0(X)\rightarrow C_0(X)\\\
&\alpha(f)=f\circ T
\end{align*}
is an automorphism. ...
- 43
2
votes
1
answer
536
views
about decomposition of a non-negative definite operators
Hello,
Many years before, I had the following problem.
We first give a definition. Given a non-negative definite real-valued definite matrix $n^2\times n^2$ matrix $M$, it is called separable if it ...
- 1,649
1
vote
1
answer
233
views
How to go from a potential resolvent to the associated operator
I am reading Link. The author appears to use the following fact:
Let $H$ be a Hilbert space. For every $\zeta \in \mathbb{C}\setminus\mathbb{R}$ we have a bounded operator $R(\zeta): H \to H$. We also ...
5
votes
1
answer
510
views
The space $H(D)$ of holomorphic functions.
A very natural example of a nuclear Montel space is the space $H(D)$ of all holomorphic functions on the open disc topologized by the family of seminorms
$$p_n(f)=\sup\{|f(z)|\colon |z|\leq 1-\tfrac{...
- 51