All Questions
3,601 questions with no upvoted or accepted answers
5
votes
0
answers
417
views
All $L^pL^q$ estimates for the heat equation on $\mathbb R$ (with gain of derivatives)
I have asked this question on MSE, but this is a better place.
The heat equation and the heat kernel.
Consider the heat equation on $\mathbb R$:
$$ \left\{\begin{aligned}u_t-\Delta u&=f\\u(0,x)&...
- 1,075
5
votes
0
answers
137
views
A list of properties of $(\bigoplus \ell^1_n)_{\ell^p}$, $1<p<\infty$
The Banach space $E=(\bigoplus_{n=1}^{\infty}\ell^1_n)_{\ell^p}$ for $1<p<\infty$ shows up in various places in the literature to construct counterexamples. The purpose of this post is to ...
- 2,605
5
votes
0
answers
265
views
Automorphic Banach spaces
A Banach space $X$ is called automorphic if for every closed subspace $Y\subseteq X$ with $\dim X/Y=\infty$, every automorphism (= linear continuous isomorphism) of $Y$ can be extended to an ...
- 4,535
5
votes
0
answers
204
views
Given a totally ordered system of Banach spaces, can we we always change the norms to get isometric embeddings?
Given a real vector space $V$ which is the union of a totally ordered family of vector subspaces $V=\bigcup_{i\in I} V_i$. By that I mean that we assume that $(I,\leq)$ is a totally ordered set and ...
- 609
5
votes
0
answers
103
views
What conditions guarantee differentiability of higher-order functions?
Sorry if my language is not precise.
Let $f_i:\mathbb{R}^m\to \mathbb{R}^n$ be some differentiable functions in the sense of auto-diff. How can you construct new functions $g(f_1,f_2,f_3,...)$ such ...
5
votes
0
answers
198
views
If $\lim_{t\to +\infty} \int_{0}^{\pi} f(x)\exp(e^{xt}) \, dx=0$ then $f=0$ a.e?
Question, Let $f \in L^1(\alpha, \beta)$ , $\beta>0$ and
$$
F(x)= \int_{\alpha}^{\beta} f(t)\exp(e^{xt}) \, dt
$$ such that $\displaystyle \lim_{x\to +\infty}F(x)=0$. Does this imply that $f$ is ...
- 1,503
5
votes
0
answers
135
views
Criteria for tightness of Gaussian measures on Banach spaces
In Bogachev's book "Gaussian Measures" (Example 3.8.13) sufficient conditions for the (uniform) tightness of a sequence of centered Borel Gaussian probability measures on a separable Hilbert ...
- 505
5
votes
0
answers
255
views
Equality from the Grothendieck inequality
I asked the following question on math.stackexchange.com but have not received any response. So I would like to try my luck here.
This question is related to the Grothendieck inequality. Let field $\...
- 2,239
5
votes
0
answers
236
views
Proof of density of smooth functions in $H(\operatorname{curl})$ with $L^2$ tangential trace
I am trying to understand the proof of the following statement that is presented in the book “Finite Element Methods for Maxwell's Equations” by Peter Monk. The original source of the proof is a 1997 ...
5
votes
0
answers
116
views
Multiplier algebra of Fock space
For any vector space, one may form the tensor algebra with multiplication being the tensor product. For a Hilbert space $\mathcal{H}$, the analogous construction is the Fock space
$$
\mathcal{F}(\...
- 439
5
votes
0
answers
206
views
Equality of weak solutions for inner products inducing equivalent norms
This is a repost of a now-deleted MSE question that did not get any comments or answers.
$\textbf{Background}$: This question is mainly about two basic questions: How do we systematically obtain the ...
- 153
5
votes
1
answer
630
views
Infinite dimensional involutions: infinitely large sets of multivariate polynomials self-inverse under self-substitution
Examples of infinite dimensional involutions
Edit 2/25/23, as suggested by YCOR below: (Start)
The first return on a Google search on involution--from late Latin 'a rolling up'--gives the Oxford ...
- 10.5k
5
votes
0
answers
169
views
Is the Grassmannian of a Banach space an infinite dimensional manifold?
Grassmannian of complemented subspaces in a Banach space is a Banach manifold. This is explained for example in the thesis of Douady and is rather analogous to the finite-dimensional case.
I would ...
- 344
5
votes
0
answers
74
views
Concentration bound on additive functions with constraints
Given a family of sets $F \subseteq P(\{1,\ldots,n\})$. I define the function $f_F:[0,1]^n \rightarrow R$ to be $f_F(x_1,\ldots,x_n)= \max_{S \in F} \sum_{j \in S} x_j$.
Given a series of independent ...
- 107
5
votes
0
answers
208
views
Perturbation of Neumann Laplacian
Consider the $N \times N$ matrix
$$A_{\alpha}=\begin{pmatrix} \lambda_1 & -1 & -\alpha & 0 & \cdots & 0\\
-1 & \lambda_2 & -1 & -\alpha & \cdots & 0\\
-\alpha &...
- 73
5
votes
0
answers
280
views
Completeness of the space $L^p$ and the Axiom of Countable Choice
I am thinking about the proof that the usual $L^p$ spaces are complete.
So, let $(X,\mathcal{F},\mu)$ be a measure space and let
$p\in[1,+\infty)$.
Important: by a measure I mean a nonnegative $\sigma$...
- 935
5
votes
0
answers
137
views
A concrete description of the projective tensor product of Lipschitz spaces
$\newcommand{\projtenprod}[2]{#1 \; \hat\otimes_\pi #2}$
$\DeclareMathOperator\Lip{Lip}\DeclareMathOperator\AE{AE}$
$\newcommand{\norm}[1]{\| #1\|}$
$\newcommand{\abs}[1]{| #1|}$
Background
...
- 437
5
votes
0
answers
186
views
Is a Banach space with a predual of arbitrary order necessarily reflexive?
Let $X$ be a Banach space, by a predual of order $n$ ($n$ is a positive integer), I mean a Banach space $X_{n}$, such that the $n$-th dual $X_n^{(n)}$ of $X_n$ is isometrically isomorphic to $X$. My ...
- 1,586
5
votes
0
answers
158
views
Bochner–Minlos Theorem for locally convex spaces and their duals
Let $(X,\tau)$ be a locally convex space and $(X^{*},\tau_{s})$ be its topological dual space equipped with the strong topology. Denote by $S(X,X^{*})$ the collection of operators from $X$ to $X^{*}$ ...
- 3,515
5
votes
0
answers
315
views
Schauder basis in the Arens-Eells space
Context
Arens-Eells space. Let $X$ be a separable pointed metric space with base point $e$. An elementary molecule is defined as follows (Nik Weaver, Lipschitz Algebras, 2nd ed.)
$$
m_{pq} := \delta_p ...
- 437
5
votes
0
answers
211
views
Weaker analogues of amenability for groups of piecewise projective homeomorphisms
Let $A$ be a subring of ${\bf R}$ and let $H(A)$ be the group defined/constructed in Monod's 2013 PNAS paper. Monod showed that provided $A\neq {\bf Z}$, $H(A)$ is non-amenable. (The proof breaks down ...
- 25.8k
5
votes
0
answers
145
views
Second dual $X^{**}$ of ternary $C^*$-ring $X$ is again ternary $C^*$-ring?
Recall that a ternary $C^*$-ring is a complex Banach space $X$, equipped with a associative ternary product $[.,.,.]:X^3 \to X$ which is linear in outer variables and conjugate linear in middle ...
- 1,115
5
votes
0
answers
163
views
Commutator of pseudodifferential operator and multiplication operator
Cross-post from math.sx.
Let $\eta:\mathbb R^n\to[0,1]$ be a smooth and compactly supported function and assume $f:\mathbb R^n \to\mathbb R$ is measurable. I want to bound the commutator of the ...
- 245
5
votes
0
answers
121
views
Which operations commute with fractional translation?
Let $\mathbf{v}$ be a real signal (i.e., an infinitely long vector).
A translation operation $T_{s}\mathbf{v}$ with integer $s$ is trivially
defined by $\forall i,s:\left(T_{s}\mathbf{v}\right)_{i}=v_{...
- 968
5
votes
0
answers
199
views
Standard function spaces with the approximation property
A Banach space $\mathcal{X}$ is said to have the approximation property (AP) if, for every compact set $K \subset \mathcal{X}$, there is a sequence of finite rank operators $\{U_n : \mathcal{X} \to \...
- 313
5
votes
0
answers
419
views
Nonlinear variation of constants formula
Suppose that we wish to solve $x'(t)=f(x(t))+g(x(t)), \; x(0)=x_0\in X,$ where $X$ is an infinite dimensional Banach space and $f , g : X \rightarrow X $ are two nonlinear functions. Furthermore, ...
- 51
5
votes
0
answers
100
views
What is a mild sufficient condition on $X$ such that $C(X, Y)$ is sequential?
Let $X$ be a topological space, $(Y, d)$ a metric space and $C(X, Y)$ the space of continuous maps with the topology of compact convergence.
Question: What is a minimal topological condition on $X$ ...
- 315
5
votes
0
answers
218
views
When is it true that $Z(A)^{**} = Z(A^{**})$ for a C*-algebra $A$?
For a (unital) C$^*$-algebra $A$ with centre $Z(A)$ the bidual $A^{**}$ is a von Neumann algebra with centre $Z(A^{**})$ for which I believe that $Z(A)^{**} \subset Z(A^{**})$ holds by extending the ...
- 633
5
votes
0
answers
118
views
Good (Sidon) Approximation of "Bumps"
Given a rational point $p\in S^1$ and a continuous function $f:S^1\rightarrow \mathbb C$, we say that $f$ is an $\epsilon$-bump around $p$ (for some $\epsilon>0$) if $f(p)=1,|f|_{\infty}\leq 1+\...
- 113
5
votes
0
answers
489
views
Dual norm for weighted Sobolev space
Consider a "weight" function $\rho: \mathbb{R}^{d} \rightarrow \mathbb{R}$ and the following weighted Sobolev norm:
\begin{equation}
\|h\|_{\dot{H}^{1}(\rho;\mathbb{R}^{d})}:=(\int_{\mathbb{...
- 407
5
votes
0
answers
278
views
Reflexive norm-closed subalgebras of $B(X)$
Let $X$ be a reflexive Banach space, and let $B(X)$ denote the set of all bounded linear operators $X\to X$.
Does there exist a norm-closed subalgebra $A\subseteq B(X)$ with the following properties?
...
- 2,605
5
votes
0
answers
156
views
Homotopy, contraction mapping and the inverse function theorem on Banach spaces
We all know the "open mapping" part of the inverse function theorem on Euclidean spaces can be proved by either contraction mapping (iterations), or homotopy methods (degree theory / ...
- 179
5
votes
1
answer
425
views
Positiveness of the largest Lyapunov exponent
Let $\alpha\in \mathbb{R} / \mathbb{Q}$, let $A(x)$ be the $2$-by-$2$ matrix
$$
A(x)=\begin{pmatrix}
\dfrac{1}{{\lambda}^2}-2 \cos 2\pi x -1& 2\lambda \cos 2\pi x-\dfrac{1}{{\lambda}} \\
\dfrac{...
- 131
5
votes
0
answers
222
views
Right derived contravariant hom-functor
I am interested in additive categories appearing in functional analysis, in particular, the category $LCS$ of locally convex spaces and continuous linear functions. This category is not abelian but ...
- 16.4k
5
votes
0
answers
61
views
Minimizers of variational problems with less symmetry
In am interested in understanding the so-called Hartree ground states, namely, minimizers of variational problems of the form
$$\inf_{\phi\in H^1,~\|\phi\|_2=1}\left\{\int|\nabla\phi(x)|^2dx
-\int|\...
- 891
5
votes
0
answers
144
views
Is there a discrete Schrödinger operator with empty spectrum?
A relatively well-known example of (continuous) Schrödinger operator with empty spectrum is the complex Airy operator on the line, i.e., the operator acting on $L^{2}(\mathbb{R})$ given by the ...
- 2,188
5
votes
0
answers
203
views
Global analysis on punctured surfaces
Global analysis on open manifolds seems pretty hard. For one, the space of $C^{n,\alpha}$ functions on an open manifold need not be a tame Fréchet space (see the post Are smooth functions tame? for ...
- 163
5
votes
1
answer
490
views
$L^2$ uniform integrability in terms of Fourier coefficients
Given a bounded sequence $(f_n)_n$ in $L^2(\mathbf{T})$ where $\mathbf{T}:=\mathbf{R}/\mathbf{Z}$, the strong compactness of $(f_n)_n$ is equivalent to $$\lim_N \sup_n \sum_{|k|\geq N} |c_k(f_n)|^2=0,$...
- 3,425
5
votes
0
answers
77
views
Are these two versions of Sobolev embedding related?
In Griffith-Harris Section 0.6 we have this Sobolev lemma:
Let $H_s$ be the space of formal Fourier series $u(x):=\sum_{k\in \mathbb Z^n}u_ke^{i(k,x)}$ on $(\mathbb R/2\pi\mathbb Z)^n$ such that the $...
- 1,630
5
votes
0
answers
515
views
Learning from eigenvalues of Hilbert-Schmidt integral operator
Do eigenvalues of the Hilbert-Schmidt integral operator determine the underlying measure up to translation, reflection and rotation?
Details: Suppose we have a measure $\mu$ on a Euclidean space $X=\...
- 903
5
votes
1
answer
774
views
Question/References on the Skorokhod M1 topology
Let $D(0,T)$ be the space of right continuous functions with left limits defined on $[0,T]$. Consider the Skorokhod M1 topology on $D(0,T)$, see e.g. S. Ledger, Skorokhod’s M1 topology for ...
user128095
5
votes
0
answers
135
views
Relationship between continuous vector fields and divergence measure fields in dimension $\ge 2$
Let $\Omega \subset \mathbb R^d$ with $d \geq 2$ (I am mostly interested in the case when $\Omega$ is the unit ball). A vector field in $L^p(\Omega,\mathbb R^d)$ is called a divergence measure field ...
- 437
5
votes
0
answers
303
views
Wightman reconstruction theorem-details of the proof
First of all forgive me if this question is not well suited for this forum: it is motivated by physics however after all my concerns are mathematical so I hope it would be appropriate to post it here. ...
- 9,330
5
votes
0
answers
606
views
Weak Hopf algebra structure on twisted group algebra
A (normalized) $2$-cocycle on a finite group $G$ with values in $S^1$ is a map
$\sigma:G\times G\rightarrow S^1$ such that $$\sigma(g,h)\sigma(gh,k)=\sigma(h,k)\sigma(g,hk)$$ and $$\sigma(g,e)=\sigma(...
- 393
5
votes
0
answers
252
views
Generalized convexity
Let $X$ be a vector space. The positive-homogeneous function $\|\cdot\|$ is said to be a quasinorm
if $\|x+y\|\le K(\|x\|+\|y\|)$, for some $K\ge1$; it is a norm if $K=1$.
Question: 1. (terminology) ...
- 6,541
5
votes
0
answers
153
views
Characterizing Besov spaces in terms of p-variation
For $s>1/p$ the Besov space $B_{p,q}^s([0,1])$ can be characterized in terms of the $p$-variation:
Let $p,q \in (1,\infty)$ and $s \in (0,1)$, $s>1/p$. A function $f:[0,1] \to \mathbb{R}$ is in ...
- 151
5
votes
0
answers
272
views
Riesz Representation Theorem for $L^2(\mathbb{R}) \oplus L^2(\mathbb{T})$?
The spaces $L^2(\mathbb{R})$ (square-integrable functions) and $L^2(\mathbb{T})$ (1-periodic square-integrable functions, considered over the real line $\mathbb{R}$) are two subspaces of the space of ...
- 2,306
5
votes
0
answers
168
views
Sobolev extension from a discrete set of points
Let $1 > \alpha > 0$ and fix some $C > 0$. Consider $\Omega \subset \mathbb{R}^n$ a bounded domain and $Y \subset \Omega$ a discrete (finite) set of points. For $f: Y \to \mathbb{R}$ define
$$...
- 501
5
votes
0
answers
91
views
Reference request: sufficiently smooth functions on the plane belong to the projective tensor square of $L^2$ of the line
Let $\newcommand{\ptp}{\widehat{\otimes}}\ptp$ denote the projective tensor product of Banach spaces. Some back of the envelope calcuations, using the Fourier transform and Plancherel/Parseval, ...
- 25.8k
5
votes
0
answers
192
views
Useful notion for locally convex spaces - well known?
In my current work the following property of maps between locally convex spaces showed up at several places and proved to be useful. It seems quite elementary to me, so I would like to know whether it ...
- 779