All Questions
3,573 questions with no upvoted or accepted answers
7
votes
0
answers
183
views
Is there a quotient of $c_0$ without the approximation property?
The famous example of Enflo of a Banach space without the approximation property is actually a subspace of $c_0$. Is there a quotient of $c_0$ without the approximation property?
This would follow if ...
- 71
7
votes
0
answers
141
views
Kolmogorov superposition representation of Lipschitz functions
Kolmogorov's superposition theorem states that
if $f:[0,1]^n \to \mathbb{R}$ is an arbitrary continuous function, then it has the representation
\begin{align}
f(x) = \sum_{q=0}^{2n} \Phi_q (\sum_{p=1}...
- 371
7
votes
0
answers
241
views
A "slice-map" type problem for symmetric tensors in the square of a nuclear C*-algebra
Throughout: let $\otimes$ denote the minimal (i.e. spatial) $\newcommand{\Cst}{{\rm C}^*}\Cst$-tensor product of two $\Cst$-algebras.
Let $B$ be a unital, nuclear $\Cst$-algebra and let $A\subset B$ ...
- 25.8k
7
votes
0
answers
269
views
Approximation in the tensor square of a weakly exact von Neumann algebra
Background. I think I can prove something about a certain construction definition for Fourier algebras of discrete groups, under the assumption that the group is exact (well, really I use Yu's ...
- 25.8k
7
votes
0
answers
927
views
What's the idea behind various equivalent norms on Besov spaces $B^{s}_{p,q}$?
I am trying to understand Besov spaces; and I am eager to see why the various norms are equivalent on it.
Let $\phi$ be a $C^{\infty}$ function on $\mathbb R^{n}$ with
$ \operatorname{supp} \phi \...
- 1,051
7
votes
0
answers
744
views
What function space does holomorphic functional calculus give us?
Let $A$ be a unital Banach algebra, $U$ be an open subset of $\mathbb{C}$, and $A_U:=\{x\in A:\sigma(x)\subset U\}$. Holomorphic functional calculus says that any holomorphic function $f:U\rightarrow\...
- 175
7
votes
0
answers
559
views
The Banach space of bounded functions with countable support
Let $X$ be a set of cardinality $\aleph_1$ and consider the Banach space $\ell_\infty^c(X)$ of all scalar-valued bounded functions on $X$ which are non-zero only for countably many elements of $X$ ...
- 11.3k
7
votes
0
answers
116
views
Bundles over Function Spaces
Is there any reference on bundles over function spaces? In particular, I am interested in Banach-bundles over function spaces like $W^{k,r}(M)$, where $M$ is a Riemannian manifold. Separable Hilbert-...
- 71
7
votes
0
answers
289
views
Trace class norms of special integral operators
Let $\mu$ be a finite compactly supported Borel measure on the real line. On the space $L^2(\mu)$ consider the integral operators
$$
(K_a f)(x)=\int k_a(x, y)f(y)d\mu(y)
$$
with
$$
k_a(x, y)=\frac{a\...
- 452
7
votes
0
answers
234
views
Is there a tensor norm that preserves Rosenthal Banach spaces?
By a Rosenthal Banach space I mean one that does not contain an isomorphic copy of $\ell_1$. Is there a tensor norm $\alpha$ such that the Banach tensor product $E\otimes_\alpha F$ is Rosenthal if $E$ ...
7
votes
0
answers
293
views
Complex interpolation of a Banach space and its antidual when the space has a basis
Given a complex Banach space $X$ and its antidual $\hat X^*$, it is possible in some cases to apply the complex interpolation method, and get as $(X,\hat X^*)_{1/2}$ a Hilbert space. See [F. Watbled, ...
- 4,461
7
votes
0
answers
2k
views
Prokhorov's theorem for finite signed measures?
Prokhorov theorem provides a useful characterization of relatively compact sets w.r.t. narrow topology (topology induced by narrow convergence) in the space of probability measure.
Notation used ...
- 339
7
votes
0
answers
199
views
Central Extension of Continuous Loop Group
For the group $LG$ of smooth loops into a simple compact 1-connected Lie group $G$ there is a well-known universal central extension. My qustion is basically whether this extension also exists for the ...
- 1,040
7
votes
0
answers
708
views
Minkowski's Inequality for Integrals in Orlicz spaces
EDIT: I have changed the question to have less parameters, fitting it into the context of Orlicz spaces.
Suppose $f:[0,\infty)\to[0,\infty)$ is convex and increasing, $f^{-1}:[0,\infty)\to[0,\infty)$...
- 882
7
votes
0
answers
299
views
Generalized Skorokhod spaces
Skorokhod spaces of càdlàg functions are an extremely useful setting to describe stochastic processes. I'd like to understand the Skorokhod topology from a pure topological point of view, without ...
- 8,512
7
votes
0
answers
355
views
An $L^{\infty}$ version of principal component analysis?
I have a $k$ by $n$ matrix $A$, with $k \ll n$. In case it helps, the $k$ rows are orthonormal.
I'm interested in finding a $k$ by $k$ orthogonal matrix $M$ so as to maximize the $L^{\infty}$ norms ...
- 193
7
votes
0
answers
266
views
Problem with Shelah and Stern's paper on the Hanf number of the theory of Banach spaces
I have been trying to understand "The Hanf number of the first order theory of Banach spaces" by Shelah and Stern (Trans. AMS 244 (1978) 147-241). They construct a normed space $M$ from a Hilbert ...
- 879
7
votes
0
answers
624
views
"Liftings" of L^\infty functions
This is motivated by this question: Is there an inclusion of $L_\infty(G)$ into $C_0(G)^{**}$? and Bill Johnson's comments there.
Let $X$ be a locally compact Hausdorff space and $\mu$ a Radon ...
- 18.7k
7
votes
0
answers
140
views
integral transforms defined by polygons
Are there any literature on operators of the form
\[ (Tf)(x) = \int K(x,y)f(y), dy\]
where $K(x,y)$ is the characteristic function of a polygon in $\mathbb{R}^2$. I would like to know if the spectrum ...
- 22.8k
7
votes
0
answers
161
views
Seeking reference - criterion for the existence of a positive linear functional on an ordered vector space below a given function
The following surely appears somewhere, I would greatly appreciate a reference. (The aim is to get a measure via Riesz representation, but that has nothing to do with the statement.)
Let $X$ be an ...
- 577
7
votes
0
answers
1k
views
Reference request: Arzela-Ascoli theorem for smooth Hölder norms
Could anyone suggest a textbook account of the Arzela-Ascoli theorem for $C^{k,\alpha}$ norms?
- 29.1k
6
votes
0
answers
212
views
Hölder's inequality for trace-class maps of $p$-liquid spaces and a related conjecture of Grothendieck
In Condensed Math and Complex Geometry Proposition 8.8, Clausen-Scholze describe trace-class maps between projective objects in the $p$-liquid category as sums of rank 1 operators against ${<}p$-...
- 61
6
votes
0
answers
162
views
Dual space of local Sobolev space on a manifold
$\newcommand{\comp}{\mathrm{comp}}$As part of my master's thesis, I am currently learning about Sobolev spaces on manifolds. From my research online, I found out, that there are a lot of ways to ...
6
votes
0
answers
159
views
Identification of Fock space and the $L^2$ space of tempered distributions
Let $\mathcal{S}'(\mathbb{R}^d)$ be the set of tempered distributions over $\mathbb{R}^d$ and $d\phi_C$ a Gaussian measure over $\mathcal{S}'(\mathbb{R}^d)$ with covariance operator $C$. Consider the ...
- 721
6
votes
0
answers
293
views
Looking for Mackey's PhD thesis, "The subspaces of the conjugate of an abstract linear space"
I'm looking for a copy of George Mackey's PhD thesis, The subspaces of the conjugate of an abstract linear space (Harvard Univ., 1942), but am currently struggling to find one online, with the only ...
- 11.8k
6
votes
0
answers
220
views
Energy of harmonic maps from $\mathbb R^2$ to $S^2$ is quantized
Assume that $U:\mathbb R^2\to S^2=\{y\in\mathbb R^3:|y|=1\}$ is a smooth solution of the equation $\Delta U+|\nabla U|^2U=0$ in $\mathbb R^2$ with $\int_{\mathbb R^2}|\nabla U|^2\,dx<+\infty$. ...
- 517
6
votes
0
answers
98
views
Conditions for completely positive maps to act homomorphically across multiple subalgebras
For a completely positive (CP) map $u: A \to A'$ of $C^*$-algebras $A, A'$, the concept of multiplicative domains characterizes the largest subalgebra of $A$ on which $u$ behaves as a $*$-homomorphism....
- 61
6
votes
0
answers
219
views
Is the Taylor map continuous?
(Skip to the bolded theorem below for my question, if you'd like)
Some context on asymptotic expansions and the Taylor map
In the setting of irregular singularities of meromorphic connections on the ...
- 370
6
votes
1
answer
331
views
If $t \to \lVert f(\cdot,t) \rVert_{L^2_x}^2$ is absolutely continuous, can we interchange the spatial integral and time derivative? (from MSE)
I originally posted this question on MSE. But it seems more nontrivial than expected, so I guess MO is a more appropriate place to ask.
I repeat the question for the sake of completeness:
Let $f(x,t) ...
- 3,477
6
votes
0
answers
201
views
Dependence of Neumann eigenvalues on the domain
I have the following problem in hands, in the context of a broader investigation:
Let $V\in L^{n/2}$ compactly supported, where $n\geq 3$ is the dimension. I want to prove the following:
For any $\...
- 101
6
votes
0
answers
253
views
Are bounded groups of thin operators on Hilbert space similar to groups of unitaries?
QUESTION. Let $G$ be a group of bounded operators on $\ell^2$, satisfying $\sup_{x\in G} \lVert x\rVert <\infty$, whose elements are all of the form "identity+compact" (sometimes called &...
- 25.8k
6
votes
0
answers
187
views
Gaussian lower heat kernel bounds on non-convex bounded domain
I am looking for a proof the following theorem.
Let $U \subset \mathbb{R}^n$ be a bounded domain with $C^2$ boundary and $p(x,y,t)$ be the Neumann heat kernel. Then there exist a constant $C>0$ ...
- 61
6
votes
0
answers
217
views
Detailed examples of induction on scale
I'm trying to understand the induction on scale argument in harmonic analysis. On this abstract it's mentioned that induction on scale can be used to prove Cauchy Schwartz inequality, Beckner's tight ...
- 265
6
votes
0
answers
123
views
Can two eigenfunctions be almost linearly dependent in a region?
Consider the Schrödinger operator $H=-\Delta+|x|^a$ on $\mathbb{R}$, where $a>0$. Since the potential is growing at $\infty$, we have compact resolvent thus the eigenvalues are discrete and tend to ...
- 879
6
votes
0
answers
188
views
Measurability of eigenvalues-eigenvectors of a positive compact operator
Let $H$ be a separable Hilbert space over $\mathbb{R}$. Let ${A} = \{a\colon H\to H\,|\,a\text{ is a positive, compact linear operator}\}$.
By the spectral theorem, given $a \in A$, there are scalars $...
- 163
6
votes
0
answers
110
views
Heat Flows and spatial singularities
While working on an abstract problem, I came up with the following question:
Let $\Omega_1 := \mathrm B(-1, 1)$ and $\Omega_2 := \mathrm B(1, 1)$, where $\mathrm B(x, r) \subseteq \mathbb R^2$ denotes ...
6
votes
0
answers
271
views
Existence of a limit of alpha-difference quotient for Hölder functions
Let $f:\mathbb{R}\to \mathbb{R}^d,d\geq 1,$ be an Hölder function with exponent $\alpha\in (0,1)$, meaning that
\begin{equation}
\sup_{x, y \in \mathbb R, \,x\neq y}\frac{|f(x)-f(y)|}{|x-y|^\alpha}<...
- 61
6
votes
0
answers
529
views
Infinite-dimensional "algebraic varieties"
This question was also formerly posted on MSE but has not received any answer or comment.
Let $H$ be the infinite-dimensional seperable complex Hilbert space, and $P(H)$ denote its projectivization. ...
- 1,543
6
votes
0
answers
208
views
Interpolation between (or: simultaneous Whitney extension for) $C^\alpha$ and $C^{1,\gamma}$ on a Lipschitz domain
I would like to know whether for a bounded Lipschitz domain $\Omega \subset \mathbb{R}^n$ (in the weak Lipschitz, so a "Lipschitz manifold", sense, not necessarily a Lipschitz graph domain), ...
- 2,670
6
votes
0
answers
318
views
Is there any connection between deformation theory in algebraic geometry and perturbation theory in functional analysis/PDEs?
Particularly, is there any connection between formal/first-order/infinitesimal deformation theory and perturbation theory? Both subjects involve "perturbing" some structure at a point, so ...
- 1,094
6
votes
0
answers
182
views
Factorization of metric space-valued maps through vector-valued Sobolev spaces
Let $(X,d,m)$ and $(Y,\rho,n)$ be metric measure spaces and let $f:X\rightarrow Y$ be a Borel-measurable function for which there is some $y_0$ and some $p\geq 0$ such that
$$
\int_{x\in X}\,d(y_0,f(x)...
- 5,405
6
votes
0
answers
1k
views
Condensed/liquid vector spaces and path integrals
[Edited to take into account comments.]
Background
One approach to the problem of making rigorous various measures on spaces of paths (for example, the Wiener or Feynman measure) is the time-slicing ...
- 61
6
votes
0
answers
208
views
Can every weakly converging sequence be made to converge strongly after taking a subsequence and rearranging?
Let $f_i: [0, 1] \to \mathbb R$ be functions in $L^1 \cap L^\infty$ with $\sup_i \|f_i\|_{L^\infty} < M$ for some $M > 0$.
Suppose $f_i$ converge weakly in $L^1$ to some $L^1$ function $f$ - ...
- 6,195
6
votes
0
answers
290
views
Two questions about Fock spaces
Let $\mathscr{H}$ be a complex Hilbert space and denote $\mathscr{H}_{n}$ the tensor product $\overbrace{\mathscr{H}\otimes\cdots\otimes\mathscr{H}}^{\text{n}}$. Denote by $\Pi_{\pm}$ the projection ...
- 3,515
6
votes
0
answers
124
views
Meagre sets of bounded operators
Let $H$ be a separable, infinite-dimensional Hilbert space and let $\mathbb{B}(H)$ be the algebra of bounded operators on $H$. The norm topolology on $\mathbb{B}(H)$ is stricly finer, hence the ...
- 9,853
6
votes
0
answers
113
views
A continuity argument for a dispersive $gKdV$ estimate
I'm learning about the gKdV equation, following Schlag & Muscalu vol II. We're looking at
$$\begin{cases} u_t + u_{xxx} + F(u)_x = 0 \\ u_0 = g\end{cases}$$
where $F(u) = u^5$ (for example). The ...
- 163
6
votes
0
answers
132
views
Mazur-Ulam bases in finite-dimensional Banach spaces
Definition. A basis $e_1,\dots,e_n$ of a finite-dimensional Banach space $X$ is called Mazur-Ulam if all vectors $e_1,\dots,e_n$ have norm one and every self-isometry $f:S_X\to S_X$ of the unit sphere ...
- 4,535
6
votes
0
answers
107
views
Eigenvalues of splitting scheme
In numerical analysis it is common to approximate a solution to a PDE
$$u'(t) = (A+B) u(t), \quad u(0)=u_0$$
which is just given by $e^{t(A+B)}u_0$ by the splitting $e^{tB/2} e^{tA} e^{tB/2}u_0.$ Here,...
- 536
6
votes
0
answers
532
views
Hamiltonian dynamics on cotangent bundle
I'm stuck with the following claim made in Section 13.1 of Y-G. Oh's book "Symplectic topology and Floer homology". Assume that $N$ is a differential manifold and $S_0 ,S_1\subseteq N$ two ...
- 341
6
votes
0
answers
153
views
How absolute is NIP in a model?
The following question is motivated by a model theoretic question but doesn't really involve any model theory per se. That said, I don't know the appropriate keywords for the relevant functional ...
- 12.5k