All Questions
3,600 questions with no upvoted or accepted answers
5
votes
0
answers
200
views
almost projective Banach space, complex scalars
It is well-known that if a real Banach space $E$ is "almost metrically projective" then $E$ is isometrically isomorphic to some $\ell^1(\Gamma)$. We say $E$ is "almost metrically projective" if ...
- 1,704
5
votes
0
answers
221
views
Quasicompactness of transfer operators associated to IID matrix products
Let $P^1$ denote one-dimensional real projective space, and for each $A \in GL(2,\mathbb{R})$ let $\overline{A}$ denote the homeomorphism of $P^1$ induced by $A$. I am currently reading a paper which ...
- 6,206
5
votes
0
answers
585
views
Constructing a Sobolev space containing the differential k-forms of a Riemannian manifold
I am currently writing a paper about the Hodge theorem for an algebraic topology course. The specific formulation I am proving can be stated thus. Let $M$ be a compact, orientable n-dimensional ...
user34072
5
votes
0
answers
611
views
unitary equivalence
Let $U$ be the bilateral shift operator in $l^2(Z)$, and let $V$ stand for a rotation on an irrational angle $\alpha$ in $L^2(T, \mu)$, where $T$ is a circle with a rotation-invariant Lebesgue measure ...
5
votes
0
answers
241
views
Find a lower bound for a pre-invariant $Fol(L(F_m), X_m)$
In the paper of Bannon and Ravichandran, A Folner invariant for type $\rm{II}_1$ factors, they defined an invariant $Fol(M)$ for a separable type $\rm{II}_1$ factor $M$, especially for the free group ...
- 1,528
5
votes
0
answers
425
views
Reflexive-saturated Banach spaces
Say that a Banach space $X$ is strongly saturated by reflexive subspaces if every closed subspace $Y\subset X$ contains a further reflexive subspace $Z\subset Y$ with $\mbox{dens }Y=\mbox{dens Z}$. If ...
- 387
5
votes
0
answers
157
views
Containment of an element to an operator system
This question will probably appeal to people in operator systems theory as it is very much related. However, I'm interested in down-to-earth concrete systems with finite dimensional Hilbert space ...
- 315
5
votes
0
answers
104
views
Regularity of simplices, part deux
This question is directly inspired by Pietro Majer's question and my answer to it.
One can define a simplex, and the dihedral angles thereof in an infinite dimensional Hilbert space (one has to take ...
- 96.4k
5
votes
0
answers
240
views
Linear ODEs in a locally convex vector space
Let $X$ be a complete, locally convex, Hausdorff topological vector space over $\mathbb{C}$. Let $J \subset \mathbb{R}$ be an open interval. Consider the space $M = C^\infty(J,X)$ of smooth ...
- 235
5
votes
0
answers
160
views
reference for perturbation of projection result
Let $A$ and $B$ have the same rank and dimensions. If $P_A$ denotes the projection onto the range space of $A$, then
$$
\|P_A - P_B\|_2 \leq \|A - B\| \cdot \min (\|A^\dagger\|_2, \|B^\dagger\|_2).
$$
...
- 922
5
votes
0
answers
569
views
Functional calculus for vector-valued holomorphic functions?
Good afternoon,
I would like to ask a question on the functional calculus of several commuting operators. If someone knows some good/standard references, could you please tell me about them.
Firstly,...
- 758
5
votes
0
answers
200
views
Diffusion processes in wide generality
It is common knowledge among schoolchildren that one may define jump diffusion processes in wide generality.
Hard question: What are the most general structures on which one may define something ...
- 8,512
5
votes
0
answers
1k
views
Generalized Stone Weierstrass theorem
Given a smooth function $f$ on some compact $K$ in the euclidean space $\mathbb{R}^d$, does exist a sequence of polynomial functions $p_n$ such that $p_n$ and all of its derivatives converge uniformly ...
- 367
5
votes
0
answers
220
views
When can't spaces of correspondences distinguish type $II_{1}$ factors?
If $M$ is a type $II_{1}$ factor with trace $\tau$, let $Corr(M)$ denote the space of unitary equivalence classes of $M-M$ correspondences (binormal $M-M$ bimodules) equipped with Popa's analogue of ...
- 7,067
5
votes
0
answers
616
views
Lebesgue measure on Frechet space?
It is well known that there are no Lebesgue measures on infinite-dimensional Banach spaces (see e.g. http://en.wikipedia.org/wiki/There_is_no_infinite-dimensional_Lebesgue_measure). However, I couldn'...
- 1,368
5
votes
0
answers
537
views
Conditional probabilities in Banach spaces
This is the infinite-dimensional sequel to my question, Conditional probabilities are measurable functions - when are they continuous?.
Let $\Omega = \Omega_1 \times \Omega_2$ be a probability space ...
- 8,512
5
votes
0
answers
417
views
Direct integrals and fields of operators
Suppose we have a measure space $(X,\mu)$ and a measurable field of Hilbert spaces $H_x$ on it. We can form the direct integral ${\cal{H}} = \int H_x \ d \mu$, which is a Hilbert space.
Suppose now ...
- 3,897
5
votes
1
answer
363
views
Inverse marginal property of a collection of $\sigma$-algebras
In my paper "On the inverse best approximation property of systems of subspaces of a Hilbert space"
I introduced the Inverse marginal property (IMP) for a collection of $\sigma$-algebras.
Let $(\...
- 935
5
votes
1
answer
381
views
Sufficient criteria for $X \subset \mathcal{H}$ to be a Lipschitz (or unif. cont.) retract of $\mathcal{H}$
I am interested in sufficient criteria which ensure that a subset $X$ of a Hilbert space $\mathcal{H}$ is a Lipschitz (or at least uniformly continuous) retract of $\mathcal{H}$.
Under which ...
- 734
4
votes
0
answers
90
views
Hölder stability of the PDE $\partial_t u (t, x) = \operatorname{div} \{ a (t, x) \nabla u(t, x) \}$
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\bE}{\mathbb{E}}
\newcommand{\bT}{\mathbb{T}}
\newcommand{\bP}{\mathbb{P}}
\newcommand{\bF}{\mathbb{F}}
\newcommand{\cF}{\mathcal{F}}
\newcommand{\eps}{\...
- 825
4
votes
0
answers
101
views
There is only one reasonable $\sigma$-algebra on the space $\mathcal D'$ of distributions
Consider the space $\mathcal D'(M)$ of distributions on a manifold $M$.
Is there a ready reference for the fact that the Borel $\sigma$-algebra (for the strong dual topology) coincides with the weak ...
- 3,669
4
votes
0
answers
121
views
Projection behavior under the automorphism $\Phi$ on a diffuse semi-finite von Neumann algebra
Let $\mathcal{M}$ be a diffuse semi-finite von Neumann algebra acting on a Hilbert space $\mathcal{H}$, equipped with a faithful normal semi-finite trace $\varphi$. Let $\Phi : \mathcal{M} \to \...
- 113
4
votes
0
answers
147
views
Weakly compact sets forced to contain $0$
Let $E$ be an infinite-dimensional real normed space and let $K\subset E$ be a weakly compact set such that, for each $\varphi\in E^*\setminus \{0\}$, there exists a unique $\tilde x\in K$ such that
$$...
- 283
4
votes
0
answers
80
views
Interpolation-extrapolation scales of H. Amann
I am currently reading H. Amann's notes titled "Nonhomogeneous linear and quasilinear elliptic and parabolic boundary value problems", and I have a question regarding the abstract ...
- 145
4
votes
0
answers
148
views
Some questions on Hardy's spaces
In the paper http://www.numdam.org/item/CM_1976__33_3_261_0.pdf, the authors have asked in Page 285 whether the Hardy space $H^p$ embeds isometrically into the Hardy space $H^q$ for $1\leq q<p<...
- 1,879
4
votes
0
answers
140
views
Condition under a function is uniquely identifiable by the supremum values
Let $f(x),g(x)$ be two real-valued functions on $\mathbb{R}$ and $h(x,y)$ be a real-valued function on the plane. We can assume continuity (maybe piecewise differentiability also) of these functions. ...
- 271
4
votes
0
answers
330
views
Book recommendation in functional analysis and probability
I am interested by functional analysis and probability. I would like to know if you have any books that deal with these two subjects (at a graduate level) to recommend?
I'm looking for a book that has ...
4
votes
0
answers
87
views
Colimits of locally convex spaces in the categories of topological vector spaces vs locally convex spaces
Let $S$ be a set and let $V_s$ be a family of locally convex topological vector spaces (LCSs) indexed by $s \in S$. Let $V$ be a vector space (without topology) and let $T_s:V_s \to V$ be a family of ...
- 398
4
votes
0
answers
256
views
Singularity of singularities and second microlocalization: a question that come from the stabilization of damped wave equation
In the paper [2], the Authors introduce a tool called second microlocalization, which is difficult for me. Although I have searched a lot of papers on the internet, nevertheless the material that I ...
4
votes
0
answers
108
views
Larger possible chain of closed subspaces in the dual of a Banach space
In this question, is demonstrated that a separable space can have a chain (ordered by inclusion) of closed subspaces with uncountable many subspaces.
My question is the following. If $X$ is an ...
- 153
4
votes
0
answers
158
views
Measurability of $L^{p}(L^{q})$ integrable functions
Let $ F: \mathbb{R}^n \times (0,\infty) \to \mathbb{R}$ be a function with the property that
$
\int_{\mathbb{R}^n} \big[ \int_0^\infty |F(x,r) |^q \, dr \big]^{p/q} \, dx < \infty
$
In addition we ...
- 41
4
votes
0
answers
262
views
Spectrum of ring in algebraic geometry vs spectrum of Banach algebra
For a commutative unital Banach algebra $A,$ and $x\in A,$ we have $\lambda \in \sigma_A(x)$ if and only if $\phi(x) = \lambda$ for some algebra homomorphism $\phi:A \to \mathbb C.$ The set of all ...
- 1,755
4
votes
0
answers
135
views
Automorphism-invariant positive linear functionals on $C*$-algebras
Let $A$ be a $C^*$-algebra. Does there exist a non-trivial positive linear functional $\nu\in A^*$ which is $\mathrm{Aut}(A)$-invariant? That is, $\nu\circ\alpha=\nu$ for all $\alpha\in\mathrm{Aut}(A)$...
- 1,959
4
votes
0
answers
148
views
Is every pointwise-weakly continuous one-parameter group of automorphisms of B(H) given by a Hamiltonian?
Let $\mathcal H$ be a Hilbert space, $\mathscr B(\mathcal H)$ be the von Neumann algebra of all bounded operators on $\mathcal H$, and let $\sigma $ be a one-parameter group
of automorphisms of $\...
- 2,263
4
votes
0
answers
73
views
Find reasonable definition for endpoint Lorentz function spaces $L^{\infty,q}$ via the idea from endpoint Triebel-Lizorkin ${\scr F}_{\infty,q}^s$
On a measure space $(X,\mu)$, for $0<p,q<\infty$ the Lorentz space $L^{p,q}(\mu)$ is defined by $$\|f\|_{L^{p,q}(\mu)}:=p^\frac1q\|t\mu(|f|>t)^\frac1p\|_{L^q(\mathbb R_+,\frac{dt}t)}=p^\...
- 938
4
votes
0
answers
116
views
Weakly null sequences in projective tensor products II
The question in this post is the question below from an article by Rodriguez & Rueda Zoca [1].
Below is a complimentary salad/side dish that accompanies the main course.
Let $B^2(X,Y)$ denote ...
- 2,605
4
votes
0
answers
149
views
Isomorphic copies of $c_0$ in the projective tensor products
There exist Banach spaces $X$ such that the projective tensor product $X\mathbin{\hat{\otimes}}_\pi X$ contains an isomorphic copy of $c_0$ [BourgainPisier1983]. Moreover, $X$ is an $\mathcal{L}_\...
- 2,605
4
votes
0
answers
111
views
Flatness of $C_0(S)$-module $L_\infty(S,\mu)$
Let $S$ be a locally compact Hausdorff space. By $C_0(S)$ we denote the space of continuous functions vanishing at infinity. Let $\mu$ be a finite Borel regular measure om $S$, then consider $L_\infty(...
- 1,697
4
votes
0
answers
176
views
Is the test function topology a Mackey topology?
I am a physicist, and I have lately been thinking about distributions as they appear in quantum field theory. In the standard development of the theory of distributions, one considers the space $C^{\...
- 41
4
votes
0
answers
260
views
On the predual of the James tree space $\mathit{JT}$
$\newcommand\JT{\mathit{JT}}$The James tree space $\JT$ was the first example of a separable Banach space containing no copies of $\ell_1$ such that its dual space is non-separable. Since $\JT$ admits ...
- 4,461
4
votes
0
answers
129
views
Trace-class heat semigroups
Let $(M,g)$ be a compact Riemannian manifold and $\Delta_g$ its Laplace operator.
Let $\varphi$ be a test function on $\mathbf{R}_{>0}$. We define the operator on, say, $L^2(M)$
$$T_{\varphi}(u) :=...
user516086
4
votes
0
answers
197
views
Compactness of the unit ball in the space of Radon measures w.r.t. the Kantorovich-Rubinstein norm
This question was posted previously but has not attracted any responses so I am repharising it in a slightly different language hoping to reach a wider community
Let $(X,d)$ be a pointed metric space ...
- 437
4
votes
0
answers
242
views
On the Dunford-Pettis property and multiplier algebras
I am not an expert in operator algebras, so if the answer to this question might be trivial, that might be one reason for that:
Let $\mathcal{A}$ be a $C^\ast$-algebra. Then $\mathcal{A}^{\ast \ast}$ ...
4
votes
0
answers
146
views
Infinite dimensional homology theory for submanifolds of Hilbert and Banach spaces
Is there a version of homology theory for spaces for which explicitly infinite dimensional "cells" are allowed?
The spaces in question include e.g.
\begin{equation}
X = (x: x \in l_2: p_i(x) ...
- 593
4
votes
0
answers
77
views
Reference/Help request for formula $[A,e^{-itB}]$ found in physics thread
I'm wondering if anyone has a rigorous reference or a proof of the formula (2) found in the main answer of this thread on the physics stack exchange. I want to use it but in the case where $A, B$ are ...
- 71
4
votes
0
answers
126
views
Darboux integral for non-polynomial ODEs
Given a polynomial ODE in $n$-dimensions of maximal degree $d$
$$
\dot{x}_j=f_j(x)=\sum_{i_1,\dots,i_n=1}^d a_{i_1,\dots,i_n}^j x_1^{i_1}\dots x_n^{i_n} \quad \forall j=1,\ldots,n
$$
we define ...
- 247
4
votes
0
answers
119
views
Is the range of a probability-valued random variable with the variation topology (almost) separable?
Let $X$ and $Y$ be uncountable Polish spaces, $\Delta(Y)$ be the space of Borel probability measures on $Y$ endowed with the Borel $\sigma$-algebra induced by the variation distance, and let $g:X\to \...
4
votes
0
answers
120
views
Matrix product of entire functions
Suppose I have two $d \times d$ entire matrix functions $F, G$ defined on $\mathbb{C}$ with the the property that $\|FG^*\|_{L^\infty(\mathbb{C})} < \infty$. Can anything be said about $F$ and $G$, ...
4
votes
0
answers
127
views
What can be possible conditions for the solution of an autonomous ODE to be conservative with respect to the initial data?
Let $F : \mathbb{R}^n \to \mathbb{R}^n$ be a smooth mapping and consider the following autonomous ODE
\begin{equation}
y'(t)=F(y(t))
\end{equation}
with the initial data $y(0)=x \in \mathbb{R}^n$.
...
- 3,477
4
votes
0
answers
347
views
A proof of the Gagliardo-Nirenberg interpolation inequality using Jensen's inequality
A brief look at the statement of Gagliardo-Nirenberg interpolation inequality would suggest that there should exist a proof by a clever use of Jensen's inequality. In other words, there should be a ...
- 765