All Questions
10,241 questions
10
votes
2
answers
1k
views
The intuition behind the Hilbert projective metric and the Perron Frobenius Theorem
Recently I have read a proof of the Perron Frobenius Theorem for positive aperiodic matrices. In this proof, the trick is to put a metric in the "positive quadrant" of $\mathbb{R}^n$, $\mathbb{R}^{n}_+...
user11178
10
votes
2
answers
926
views
Isomorphisms between spaces of test functions and sequence spaces
I am in the process of writing some self-contained notes on probability theory in spaces of distributions, for the purposes of statistical mechanics and quantum field theory. Perhaps the simplest ...
10
votes
1
answer
2k
views
Counting norms on an infinite dimensional vector space
It is known that whenever E is a finite dimensional real vector space, there is only one norm on E up to equivalence (actually one non discrete vector space topology).
Is it known what happens when E ...
- 101
10
votes
1
answer
349
views
On a variant of Carlson’s theorem
My question is on whether or not there exists some monotone strictly decreasing sequence of positive numbers $c_1>c_2>\ldots$ such that given any $f$ which is a uniformly bounded holomorphic ...
- 4,143
10
votes
1
answer
3k
views
Trace of integral trace-class operator
I have seen many answers to the converse question (which seems to be difficult in general), but I would like to ask the following:
Let $T: L^2 \rightarrow L^2$ be a trace-class operator that is also ...
user69109
10
votes
1
answer
802
views
Restriction of irreducible unitary representation to normal subgroup of finite index
Let $G$ be a Lie group (or more generally a locally compact group), let $N$ be a closed and normal subgroup of $G$ of finite index. Let $H$ be an infinite dimensional complex Hilbert space, and let $\...
- 333
10
votes
1
answer
494
views
Optimal exponent in the Lojasiewicz-Simon gradient inequality
Lojasiewicz's theorem asserts that if $F: \mathbb{R}^n\to \mathbb{R}$ is a real-analytic function in a neighborhood of its critical point $0$, then there exist constants $\theta\in (0,1/2]$, $\gamma\...
user81607
10
votes
1
answer
598
views
What happens if we rotate the kernel of an integral operator?
Given an integral operator $K$ on $L^2(\mathbb R)$ with kernel $k(x, y)$, consider the integral operator $L$ on $L^2(\mathbb R)$, whose kernel has the form $k(\alpha x+\beta y, \gamma x+\delta y)$, ...
- 452
10
votes
2
answers
2k
views
When is a space of measures a measurable space?
Let $X$ denote a measurable space, that is, a set equipped with a $\sigma$-algebra $\Sigma(X)$. Let $M(X)$ denote the space of real-valued measures over $X$. This is a vector space over the real ...
- 8,512
10
votes
4
answers
1k
views
References: Infinite dimensional Lie algebras
What I really want are properties (if it is abelian, nilpotent, solvable, simple, or semisimple; Cartan subalgebras...) of the Lie algebra of smooth functions on a symplectic manifold $(M,\omega)$; ...
- 641
10
votes
1
answer
869
views
Complement of a subspace which is a cartesian product
Let $H$ be a Hilbert space and $U$ a closed subspace of $H\times H$ .
Does then exist closed subspaces $V$ and $W$ of $H$ such that $H\times H =
U \oplus (V\times W)$ ?
See also Perturbations of an ...
- 2,753
10
votes
2
answers
1k
views
Are operators with trivial spectrum nilpotent in a sense?
Being far from analysis, I recently learned about the Invariant subspace problem and came up with the following (perhaps simple or well-known) question.
Let $H$ be a separable complex Hilbert space ...
- 32.4k
10
votes
2
answers
843
views
Implicit function theorem with continuous dependence on parameter
Let $X,Y$ be Hilbert spaces and $P$ a topological space$^1$ and $p_0\in P$.
Let $f:X\times P\to Y$ be a continuous map such that
for any parameter $p\in P$, $f_p:= f|_{X\times \{p\}}:X\to Y$ is ...
- 2,533
10
votes
1
answer
439
views
Interpolation between $L_1^0$ and $L_2^0$
Let $L_p^0$ be the mean zero functions in $L_p(G)$, where, say, $G$ is an infinite compact group endowed with normalized Haar measure. Suppose that $T$ is a bounded linear operator on $L_1$ that maps $...
- 31.5k
10
votes
1
answer
784
views
When do tensor products of C*-algebras commute with colimits?
Let $I$ be a filtered poset, which you should think of as being huge. Let $A_i$ be an $I$-diagram of $C^{\star}$-algebras and let $A$ be the colimit of this diagram; if necessary, we can also assume ...
- 976
10
votes
1
answer
315
views
Weakly metrizable sets in normed spaces
A similar question was asked on MSE without getting an answer.
In the proof of lemma 1.2 of Asplund operators and holomorphic maps the author (my attempt to contact him failed because the only e-mail ...
- 16.4k
10
votes
1
answer
203
views
Verbal description, or terminology, for the ${\mathcal L}_p$-spaces of Lindenstrauss and Pelczynski
This question is intended for Banach-space specialists and so I will not repeat all the definitions here. My aim is to find out how the Banach space community refers to such spaces in discussions, and ...
- 25.8k
10
votes
1
answer
366
views
Are all compact subsets of Banach spaces small in a measure-theoretic sense?
Definition. A subset $K$ of a topological group $X$ is called measure-continuous if there exists a $\sigma$-additive Borel probability measure $\mu$ on $X$ such that for every compact subset $C\subset ...
- 41.9k
10
votes
1
answer
591
views
Grothendieck spaces and total subspaces of the dual
There is probably an embarrassingly simple counter-example to my question but I couldn't figure it out myself. Let me give it a try here.
A Banach space $X$ is Grothendieck if weak*-convergent ...
- 11.3k
10
votes
1
answer
503
views
Is there an "exponential law" for differentiable maps between smooth manifolds?
Although it seems like a textbook question, I was not able to find a textbook or even a research article answering the following question:
Let $M$, $N$ and $P$ be finite-dimensional smooth manifolds ...
- 843
10
votes
1
answer
680
views
A problem concerning $L^2([0,1]\times[0,1])$
Trying to solve a conjecture in differential geometry, I am leaded to the following problem (which may seem weird to a analyst). I wonder if anyone know some techniques that happen to solve it.
Let $...
- 1,804
10
votes
1
answer
454
views
Open Questions about Wasserstein Space and PDE
While working on my thesis, I encountered the idea of OMT and started reading some more (like Villani's book). In particular, I came across a PhD thesis by Martial Agueh. I thought it was interesting ...
- 427
10
votes
1
answer
433
views
Shift invariant subspaces of $l^1$
There is a simple characterization of shift-invariant closed subspaces of $l^2$: for any measurable subset $S$ of $\mathbb{T} = \mathbb{R}/2\pi\mathbb{Z}$, the set of elements of $l^2$ whose Fourier ...
- 42.8k
10
votes
2
answers
960
views
Stone-Weierstrass for cones
A version of the Stone-Weierstrass Theorem asserts: If A is a linear subspace of C(K), the set of continuous functions on a compact space, and if A is a subalgebra that contains the constant functions ...
- 101
10
votes
1
answer
595
views
Density of smooth function in Hilbert spaces
I am looking for a simple reference to the following fact:
If $f:\Omega\to\mathbb{R}$ is continuous, where $\Omega\subset H$ is an open subset of a separable Hilbert space $H$, then for any $\...
- 28k
10
votes
1
answer
429
views
Direct sums of operator spaces
I am interested in the $\ell^1$ analogue of direct sums for Operator spaces, e.g. Operator Space Dictionary. Briefly, and operator space is either a concrete subspace of $B(H)$, the operators on a ...
- 18.7k
10
votes
1
answer
515
views
Complemented subspaces in the dual of James' space $J$
James' space $J$ is subprojective; i.e., every infinite dimensional (closed) subspace of $J$ contains an infinite dimensional subspace which is complemented in $J$. This fact can be found in Corollary ...
- 4,461
10
votes
1
answer
573
views
Tannakian formalism for topological Hopf algebras
Tannaka-Krein duality allows, under the appropriate assumptions, to reconstruct a Hopf algebra from its category of modules. This method was found to be powerful for instance in the work of Etingof-...
- 1,609
10
votes
2
answers
6k
views
Characterizing the Dual of $W_0^{s,p}$
I am interested in literature/results characterizing the dual of the fractional Sobolev space $W^{s,p}(\Omega)$, where $\Omega \subset \mathbb{R}^N$ is open, bounded, and smooth, $0< s<1$, and $...
- 882
10
votes
3
answers
1k
views
ordered exponential of unbounded operators
Let $H$ be a Hilbert space,
and let $A_t$ be a family of unbounded positive (self-adjoint) operators on $H$ parametrized by $\mathbb t\in R_{\ge 0}$. Consider the ordinary differential equation
$$
\...
- 43.2k
10
votes
2
answers
426
views
Density of the linear span of products of harmonic polymomials
Let $\mathcal{H}$ denote the space of all harmonic polynomials with complex coefficients in $n$ variables $x_1,\ldots, x_n$ in $\mathbb{R}^n$. I'm trying to show that the linear span of the set $\...
- 577
10
votes
1
answer
253
views
Approximation via finite rank Cameron-Martin projections
Let $(W, \|\cdot\|_W)$ be a real separable Banach space equipped with
a non-degenerate Gaussian Borel measure $\mu$. Let $H \subset W$ be
the corresponding Cameron-Martin Hilbert space (also known as ...
- 29.8k
10
votes
1
answer
492
views
Which W*-algebras are the duals of C*-coalgebras?
A Banach algebra (assumed associative and unital) is precisely a monoid object in the monoidal category of Banach spaces, short linear maps, and the projective tensor product. A Banach coalgebra is ...
- 2,754
10
votes
4
answers
783
views
Does a quantitative version of Fredholm theory exist?
Let $X$ be a Banach space and $K:X\to X$ be a compact operator. If $I+K$ is injective then it is onto and hence the inverse $(I+K)^{-1}$ is bounded. What kind of qualitative or quantitative ...
- 9,007
10
votes
1
answer
635
views
What's the nearest algebraic theory to inner product spaces?
Following the references to the accepted answer to Is the category of Banach spaces with contractions an algebraic theory? one discovers that there is an algebraic theory (infinitary) which is closely ...
- 26.8k
10
votes
1
answer
901
views
Approximation of a compactly supported function by Gaussians
Let $f:\mathbb{R}\to\mathbb{R}$ be a smooth function whose support is a closed interval, e.g. $\text{supp}(f)=[a,b]$. Then $f$ can be approximated (e.g. in $L^2$) by a linear combination of Gaussian ...
- 710
10
votes
1
answer
274
views
Cutting a Gaussian in two pieces that are maximally separated in the Wasserstein metric
Denote the standard Gaussian probability measure on $\mathbb R^n$ by $\gamma$. We partition $\mathbb R^n$ into two sets $A$ and $A^c$ such that $\gamma(A) = \gamma(A^c) = 1/2$.
Denote by $\gamma_{A}$...
- 1,034
10
votes
1
answer
337
views
What are the predictive implications of conditional non-commutative probability?
To simplify things, let's consider the Hilbert approach to quantum probability over a finite dimensional vector space $V$ of dimension $n$.
In this context a state $S$ is a positive semi-definite ...
- 323
10
votes
1
answer
330
views
(Sharp) Bounds on $E(XYZ)$ given all the bivariate marginals
Suppose $X,Y,Z$ are all real-valued random variables. Suppose I know the joint marginal distributions of $(X,Y)$, $(Y,Z)$ and $(X,Z)$. I want to find bounds on $E(XYZ)$.
In the case of bounding $E(XY)$...
- 181
10
votes
1
answer
486
views
Sobolev inequalities on manifolds: dependence of the constants on the Riemannian metric
Let $g$ be a smooth Riemannian metric on the 2-torus $T^2$. $g$ induces the Sobolev space $W^{2,2}_g(T^2)$ via the norm
$$
\|f\|_{W^{2,2}_g}^2 = \int_M |f|^2 + g(\nabla^2 f,\nabla^2 f)\, \text{vol}_g,
...
- 381
10
votes
1
answer
586
views
Nonlinear Schrödinger equation with discrete Laplacian
In the paper "Global existence and scattering for rough solutions of a nonlinear Schrödinger equation on $\mathbb{R}^3$" by Colliander, Keel, Staffilani, Takaoka and Tao it is argued in the beginning ...
user127411
10
votes
2
answers
2k
views
Pull-back of generalized functions
Let $f\colon X\to Y$ be a smooth map between smooth manifolds. Then the pull-back operation
$f^*\colon C^\infty(Y)\to C^\infty(X)$ is a linear continuous operator when $C^\infty$ is equipped with the ...
- 21.8k
10
votes
1
answer
869
views
Completeness of Borel measure
Let $X$ be a compact Hausdorff space and $\mu$ a finite Borel measure without atoms which is outer regular with respect to open sets and inner regular with respect to compact sets. Can such measure be ...
- 277
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 \...
- 825
10
votes
0
answers
653
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
657
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