All Questions
978 questions
5
votes
3
answers
1k
views
Constant rank theorem for Banach spaces
Is there a similar statement to the constant rank theorem for finite dimensional real smooth manifolds which holds for a smooth map $F:B \rightarrow M$ where $B$ is an infinite (countable) dimensional ...
- 2,099
5
votes
1
answer
2k
views
Commuting with self-adjoint operator
Let $T$ be an (unbounded) self-adjoint operator. Assume that there is a bounded operator $S$ such that $TS=ST.$ For which kind of $f$ do we have that $f(T)S=Sf(T)?$
My thought was that using a ...
- 501
5
votes
1
answer
923
views
Existence of injective compact operators
We know that if $X$ is a separable Banach space, then for every infinite dimensional Banach space $Y$, there exists an injective compact operator from $X$ to $Y$.
My query is for every Banach ...
- 585
5
votes
2
answers
2k
views
Completion of $C_0^{\infty}(\mathbb{R}^N)$ with norm $\|u\|= \Bigg(\int_{{\mathbb{R}}^N} |\Delta u |^2 \, \mathrm{d}x \Bigg)^{\frac{1}{2}}. $
I have a question that I could not find it any where.
Is the completion of $C_0^{\infty}(\mathbb{R}^N)$ with the respect to norm
$$\|u\|= \Bigg(\int_{{\mathbb{R}}^N} |\Delta u |^2 \, \mathrm{d}x \...
- 371
5
votes
1
answer
391
views
Is this closed subspace of Fréchet space complemented
In the hope of completing the rich tapestry of complemented (or not) topological vector subspaces, I would like to know (maybe it is immediate for specialists)
whether the space of analytic functions ...
- 3,738
5
votes
2
answers
418
views
A question about Schwartz-type functions used in analytic number theory
In analytic number theory we like to weigh our counting functions with a smooth function $f$, so that we may apply Poisson's summation formula and take advantage of Fourier transforms. Typically the ...
- 26.9k
5
votes
1
answer
2k
views
Are piecewise linear functions dense in $W^{1,\infty}$?
Are piecewise linear functions dense in $W^{1,\infty}$ ?
- 393
5
votes
3
answers
510
views
What is the definition of being smooth for a function from a Lie group to a Fréchet space?
In representation theory of real groups, one is confronted with the notion of smoothness for functions defined on a Lie group with values in a Fréchet space (e.g. see Wallach's Real Reductive Groups I,...
- 486
5
votes
2
answers
514
views
Concrete description of lift in Arens-Eells space
Let $X$ be a compact pointed metric subspace of the $d$-dimensional Euclidean space $(\mathbb{R}^d,d_E)$ and let $AE(X)$ denote its Arens-Eells space. Then a result of Nik Weaver shows that for every ...
- 5,405
5
votes
3
answers
675
views
$L^{\infty}$ as colimit
I recently read a result (in Jarchow's book) that any ultrabornological space can be expressed as a colimit (in the category LCS) of Banach spaces. My question is the following.
Let $\mu$ be a ...
- 5,405
5
votes
3
answers
2k
views
Extension of Poisson Summation formula
Under the condition f continuous, integrable and:
$|f(t)| + |\hat{f}(t)| \le C (1+|t|)^{-1-a}$ (with a>0)
we have the twisted Poisson formula that holds (where $\chi(n)$ is a primitive Dirichlet ...
- 1,199
5
votes
2
answers
1k
views
Bruhat-Schwartz functions and derivatives in p-adic numbers
First of all, I am not an expert in neither classical, nor $p$-adic functional analysis, but anyway, I stumbled over the following lately:
Let $\varphi:\mathbb{Q}_p\rightarrow\mathbb{C}$.
...
- 105
5
votes
2
answers
988
views
Projections in a W*-algebra as a continuous lattice?
A continuous lattice is a complete lattice $L$ in which every element $y$ is equal to $\bigvee${$x \in L \mid x \ll y$} where $x \ll y$ ("x approximates y" or "x is way below y") if for any directed ...
- 85
5
votes
3
answers
2k
views
Functional derivatives on Banach spaces
Physicists often use functional integrals and I'm trying to make sense of it in more precise terms. As you can see here, the functional derivative in Physics is defined in terms of Taylor expansions. ...
- 3,515
5
votes
1
answer
552
views
Scattering theory for Coulomb potential
Both physical and mathematical theories of quantum scattering seem to be well developed in the case when the potential (or a more general perturbation of the Laplacian) decays fast enough at infinity ...
- 21.8k
5
votes
1
answer
237
views
Characterization of exact groups via the existence of amenable actions on unital C*-algebras, part 2
In this recent MOF question I asked whether exact groups could be characterized via the existence of amenable actions on unital C*-algebras. The answer, provided by Caleb Eckhardt in a comment, was ...
- 2,263
5
votes
0
answers
374
views
A question about Carleman linearization
Carleman linearization is a technique used to embed a finite dimensional system of analytic ordinary differential equations into an infinite system of linear differential equations:¹⁻²
Let $f$ be ...
- 1,590
5
votes
1
answer
1k
views
Conditions under which a linear functional on a space of measures must be integration of a function
Let $X$ be a measurable space, and let $M(X)$ be the vector space of finite signed measures on $X$. Are there natural conditions on a linear functional $f:M(X)\rightarrow\mathbb{R}$ that are ...
- 2,130
5
votes
1
answer
1k
views
Chain rule in Sobolev space
In the theory of Sobolev space, we have the following chain rule:
For a uniformly Lipschitz function $F : \mathbf{R}\to \mathbf{R}$ such that $F(0)=0$,
and $u\in W^{1,1}(\mathbf{R}^n)$, then we have ...
- 705
5
votes
2
answers
909
views
Is there an infinite−dimensional Banach subspace in C^∞([0,1]) ?
More specifically, with $I=[0,1]$ let $E=(X,\mathcal T\ )=C^\infty(I)$, where $X$ is the underlying (say real) vector space and $\mathcal T\ $ is the (standard projective limit) topology of uniform ...
- 3,584
5
votes
2
answers
310
views
Error estimate in the spectral theorem of compact operators on a Hilbert space
Given a compact self-adjoint operator $K$ mapping $L^2(\mathbb{R}^d) \rightarrow L^2(\mathbb{R}^d)$ as $f \rightarrow \int K(x,y) f(y) d\mu(y)$, let us define its eigenvalues $\lambda_i$ and eigen-...
- 2,246
5
votes
1
answer
307
views
Can an AW*-algebra be recovered from its lattice of projections?
Can an AW*-algebra be recovered (up to Jordan isomorphism) from its lattice of projections? This is possible in the commutative/Boolean case.
- 3,816
5
votes
2
answers
2k
views
Which functions are continuous with respect to the weak topology?
Let me first introduce the restricted setting in which this question has a nice answer. I came up with this when messing around with a homework problem in a PDE class a couple years back.
Let $\phi \...
- 579
5
votes
1
answer
1k
views
Orthogonal complements in Hilbert bundles
It's a standard fact that for a finite-dimensional vector bundle with an inner product, the othogonal complement of any subbundle is itself a locally trivial vector bundle.
What is known about the ...
- 8,803
5
votes
1
answer
542
views
If $f$ is bounded, decays fast enough at infinity and $\int f=0$, does this imply that $f$ is in the Hardy space $\mathcal H^1(\mathbb R^n)$?
Let $\mathcal H^1(\mathbb R^n)$ be the real Hardy space (as in Stein's "Harmonic Analysis", Chapter 3). It is well known that $\mathcal H^1(\mathbb R^n)\subset L^1(\mathbb R^n)$ and its ...
- 1,075
5
votes
2
answers
1k
views
How can I prove this special version of the Poincaré inequality?
I am reading a paper, Is $L^2$ Physics-Informed Loss Always Suitable for Training Physics-Informed Neural Network?, which uses an "application" of Poincaré's inequality. The form I know and ...
5
votes
2
answers
358
views
Linear transport equation with unbounded coefficients
Consider the PDE
$$\partial_t f(x,t) = \langle q(x), \nabla \rangle f(t,x) + p(x),$$
with Schwartz initial data $f(0,x) = f_0(x) \in \mathscr S(\mathbb R^n).$
I am wondering then if $q$ and all its ...
- 124
5
votes
1
answer
602
views
Invariant probability on a unit ball of a Banach space
Let $\Gamma$ be a discrete group acting on an infinite-dimensional Banach space $X$ by linear isometries.
Is there a probability measure (non-atomic, not supported on a finite dimensional subspace) ...
- 53
5
votes
1
answer
283
views
Reference request quantum SU(3)
Woronowicz shows that the C*-algebras of quantum $SU(2)$ are isomorphic (only as C*-algebras, forgetting the quantum group structure). Are there similar results for quantum $SU(n)$ for $n \geq 3$?
5
votes
1
answer
148
views
A perturbation of an unconditionally convergent series in $\ell_2$
For two functions $x,y:\omega\to\mathbb R$ let $xy:\omega\to\mathbb R$, $xy:n\mapsto x(n)y(n)$, be their pointwise product.
It is clear that for any elements $x,y\in\ell_2$ their pointwise product $xy$...
- 41.9k
5
votes
0
answers
348
views
Discrete groups G whose full C*-algebra C*(G) is not MF?
This is a cheap rip-off of this question, but I am genuinely interested in an answer.
Is there a known example of a countable discrete group G whose full group C*-algebra C*(G) is not MF?
Let us ...
- 1,786
5
votes
1
answer
564
views
Convergence of discrete Laplacian to continuous one
I make the following observation:
Let $\Delta^{(n)}$ be the discrete Laplacian on $\mathbb{C}^n$ (ie the $n\times n $ matrix with diagonal $-2$ and upper/lower diagonal $1$.)
This one has eigenvalues ...
- 536
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
1
answer
487
views
Fokker-Planck: equivalence between linear spectral gap and nonlinear displacement convexity?
In a smooth, bounded and convex domain $\Omega\subset \mathbb R^d$ consider the usual linear Fokker-Planck equation with Neumann (some would say Robin) boundary conditions
\begin{equation}
\label{FP}
\...
- 5,380
5
votes
1
answer
406
views
$C(X)$ as finitely generated $C^*$-algebra
Let $X$ be a Hausdorff space. Suppose that $C(X)$ (or $C_0(X)$) is a finitely generated $C^*$-algebra. What we can say about $X$ ? For example can we characterize its inductive dimension, axioms of ...
- 797
5
votes
1
answer
245
views
Convergence of functionals on compact projections on a separable Hilbert space
Let $H$ be a separable Hilbert space over $\mathbb{C}$, say $\ell_2$ for simplicity. Let $\mathcal{K}(H)$ denote the space of all compact operators on $H$ and $\mathcal{P}(H)$ the set of all finite ...
- 1,151
5
votes
3
answers
987
views
Boundedness of Laplacian eigenfunctions
Let $A$ be a bounded domain in $\mathbb R^d$, $d>1$, and $\{u_k\}$ is the set of all $L^2$-normalized Laplacian eigenfunctions on $A$ with Dirichlet boundary condition (i.e., $\|u_k\|_2 = 1$).
Is ...
5
votes
1
answer
878
views
About a reparable error discovered in a submitted article
What can I do if I discover a reparable error in an article that I submitted to a journal of mathematics? I want to know the possible solutions so that the article is not rejected. And what happens if ...
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
2
answers
516
views
Biorthogonal functionals
If $X$ is a separable Banach space and $(x_n)$ is a basic sequence, then we can define biorthogonal functionals $(x^{*}_n)$ in $X^{*}$ such that $x^{*}_n(x_k)=\delta_{nk}$.
What about conversely? If ...
- 1,361
5
votes
1
answer
284
views
Malliavin derivative of stopped Brownian motion
Cross-posted from: "https://math.stackexchange.com/questions/3917971/malliavin-derivative-of-stopped-brownian-motion"
I have a small question concerning the Malliavin derivatives. It could ...
- 393
5
votes
1
answer
298
views
If $ F(x,\bullet) \in {L^{\infty}}(G,B) $ for all $ x \in G $, then is $ x \mapsto F(x,\bullet) $ strongly measurable?
Let $ (X,\Sigma,\mu) $ be a $ \sigma $-finite measure space and $ B $ a Banach space. A function $ f: X \to B $ is said to be strongly $ \mu $-measurable iff it is the almost-everywhere pointwise ...
- 1,396
5
votes
2
answers
1k
views
Compactly supported functions and Sobolev spaces on manifolds
It is well-known that if a complete Riemannian manifold has bounded curvature and injectivity radius bounded away from zero, then the space $C^\infty_c(M)$ is dense in the Sobolev spaces $W^{k, p}(M)$ ...
- 9,853
5
votes
1
answer
350
views
Set of translations of a real function having a dense linear span
Let $W$ be the space of continuous functions $f:\mathbb{R} \rightarrow \mathbb{R}$ such that $\lim_{x\rightarrow \pm \infty} f(x)=0$, and consider the sup-norm topology on $W$.
Problem. does there ...
- 537
5
votes
0
answers
329
views
Reflexive Operator Algebra
It is known that a C*-algebra is finite-dimensional if (and only if) it is reflexive as a Banach space. What is known about the analog of this question for operator algebras? (Here, an operator ...
- 3,497
5
votes
2
answers
285
views
Is $C^{\infty}(M)$ a projective Frechet $C^{\infty}(N)$-module for a smooth map $M\to N$ between compact smooth manifolds?
Let $M$ be a compact smooth manifold, then it is clear that $C^{\infty}(M)$ is a Frechet algebra with pointwise multiplication and a collection of semi-norm defined by $p_{\alpha}(f):=\sup_{\beta\leq\...
- 9,019
5
votes
3
answers
479
views
Is there a dense subset on closed Jordan curve $C$ which its points make intersections under certain rotations?
Is it true that for any given closed Jordan curve of $C \subset \mathbb{R}^2$ there is a dense subset $A$ such that for every point $p\in A$ we have the following property:
If we rotate $C$ around $p$...
- 289
5
votes
0
answers
195
views
What are the possible $L^{\infty}$ closures of an integration-invariant linear subspace of $C([0,1],\mathbb{R})$?
Let $S \subset C([0,1],\mathbb{R})$ be an $\mathbb{R}$-linear subspace that is invariant under the $T := \int_0^x$ integration operation: if $g \in S$ then the function $f = Tg$ defined pointwise by $...
- 13.8k
5
votes
2
answers
606
views
Banach-Mazur distance to complex $\ell^1$ of a space containing real $\ell^1$
Consider a complex Banach space $X$ with a real subspace isometric to $\ell^1_{\mathbb R}$. What is the best constant $c$ such that $X$ contains a complex subspace $c$-isometric to $\ell^1_{\mathbb C}$...
- 9,486
5
votes
2
answers
320
views
Uniqueness of solutions to an ODE system
For each $i$ (up to infinity), let $u_i \in C^1(0,T)$ satisfy
$$\frac{d}{dt}u_i(t) + \sum_{j=1}^\infty b(t;w_j,w_i)u_j(t) = 0$$
$$u_i(0) = u_i(T)$$
where $b(t;\cdot,\cdot)$ is an inner product on some ...
- 53