All Questions
1,154 questions
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
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
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
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
3
answers
1k
views
Elliptic theory on compact manifolds
Maybe this is silly.
On a bounded set $\Omega\subset\mathbb{R}^n$ consider the equation
$$ \Delta u=f \quad\text{ in $\Omega$}$$
$$ u=0\quad\text{ on $\partial\Omega$}.$$
One has the following ...
- 327
5
votes
2
answers
547
views
Existence of a countable linear combination with positive coefficients
Consider a (Hausdorff and complete) locally convex topological vector space $V$ and a countable subset $(v_k)_{k=1}^\infty \subset V$ of non-zero vectors.
$(*)$ Under what conditions on this subset ...
- 21.5k
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,535
5
votes
1
answer
450
views
Brascamp-Lieb inequalities on the sphere
In the paper [CLL], Carlen, Lieb, and Loss demonstrate a version of the Young inequality on the sphere $S^{N-1}$ in $\mathbb{R}^N$. For positive functions $f_j$ on $[-1,1]$, the following bound holds:...
- 452
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
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$...
- 42k
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
1
answer
385
views
Asymptotics of Fresnel integrals
It is known that
\begin{equation*}
I(p) = \sqrt { \frac {4 \mathrm{i} p} {\pi}}\int \limits _{-\infty} ^{\infty} \mathrm{e}^{- \mathrm{i} p x^2} \varphi (x) \mathrm{d}x
\end{equation*}
is a bounded ...
- 5,407
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
0
answers
279
views
The Spectrum of certain differential operators
We fix a Hilbert space isomorphism $\phi:H^{1}\to H^{2}$. Here by $H^{s},\;s=1,2,\;$ we mean the sobolev space on $\mathbb{R}^{2}$ or $S^{2}$.
We consider the following polynomial vector field on ...
- 366
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
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
498
views
Questions about the regularity of the "norm" associated to a convex set
Suppose $K\subset \mathbb{R} ^n$ is a closed convex set whose interior contains the origin. We can assign a gauge function to $K$ as $g_{K}(x):=\inf\{\lambda>0 \mid x\in\lambda K\}$. $g_K$ has all ...
- 755
5
votes
1
answer
573
views
Analytic perturbation of eigenfunctions
Consider a domain $\Omega_0 \subset \mathbb{R}^n$, and deformations of $\Omega_0$, called $\Omega_t$, obtained by a one-to-one mapping $x \mapsto x + t\varphi (x)$, where $\varphi$ is smooth. It is ...
- 53
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
1
answer
170
views
Quick question on the constants involved in heat kernel upper bounds
Let $M$ be a compact Riemannian manifold without boundary, and let $\Delta$ be the Laplace-Beltrami operator on $M$. It is known that for small $t$, let's say, $0< t < t_0(M, g)$, the heat ...
- 51
5
votes
1
answer
333
views
On a certain norm of the identity operator on $\mathbb R^2$
$\newcommand\R{\mathbb R}\newcommand\Q{\mathcal Q}$For mutually orthogonal vectors unit vectors $a=[a_1,\dots,a_n]^T$ and $b=[b_1,\dots,b_n]^T$ in $\R^n=\R^{n\times1}$ (so that $n\ge2$) and for all $x=...
- 128k
5
votes
1
answer
425
views
Reference request: Optimal $L^p$-decay for nonhomogenous heat equation in $\mathbb R^d$
Let $u$ be a classical solution for the nonhomogeneous heat equation in $\mathbb R_+ \times\mathbb R^d$:
$$
\begin{cases}
\partial_tu(t,x)-\Delta u(t,x) = f(t,x), \\
u(0,x)=u_0(x).
\end{cases}
$$
...
- 632
5
votes
1
answer
621
views
On the Riesz representation theorem
Let $V$ be a vector space with inner product $(\phi,\psi)$ antilinear in the second argument - not necessarily a Hilbert space. Let $\Phi$ be an antilinear functional on $V$.
What are the precise (...
- 3,873
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
299
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
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
0
answers
140
views
Measure of the boundary of an BV-extension domain: do we have $|\nabla Eu|(\partial \Omega)=0?$
Let $\Omega\subset \Bbb R^d$ be open. The space $BV(\Omega)$ consists in functions $u\in L^1(\Omega)$ with bounded variation, i.e. $|u|_{BV(\Omega) }<\infty$ where
\begin{align}\label{eq:bounded-...
- 1,101
5
votes
1
answer
204
views
The diversity of Riemannian metrics adapted to a given (1 dimensional) foliation, A Krein Millman view point
Let $X$ be a Kronecker vector field on the two dimensional torus $\mathbb{T}^2$. Let $K$ be the space of all 1- forms $\alpha$ of class $C^1$ on $\mathbb{T}^2$ which satisfy $d\alpha=0,\;\alpha(X)=1$...
- 366
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
2
answers
354
views
Functional decaying under the heat flow (?)
Let $(M, g)$ be a compact Riemannian manifold and let $a$, $p$ be two real numbers greater than $1$.
For any positive function $v$, I set
$$
J(v) = \int_M \left|\nabla(v^a)\right|^p d\mu^g.
$$
...
- 1,263
5
votes
3
answers
454
views
Structure of sign changes under the heat flow
Let $f$ be a smooth function on $R^2$, and define $N_f$ to be the set of points $p$ such that the nodal set of $f$ ($\{x\in R^2: f(x)=0\}$) divided every neighborhood of $p$ into four regions. Indeed, ...
5
votes
1
answer
2k
views
Dual of the space of continuous functions
Let $T \subseteq \mathbb R$ be a closed set of real numbers. Let $X := C(T, \mathbb R)$ denote the Fréchet space of continuous real-valued functions on $T$. The topology on $X$ is generated by ...
- 8,512
5
votes
1
answer
597
views
A vector field whose flow has constant singular values
$\newcommand{\tr}{\operatorname{tr}}$
$\renewcommand{\div}{\operatorname{div}}$
Let $D \subseteq \mathbb{R}^2$ be the closed unit disk. Given a vector field $X$ on $D$, let $\psi_t$ be its flow.
Does ...
- 6,741
5
votes
1
answer
351
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
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
1
answer
1k
views
Wildly discontinuous linear functionals
Let $X$ be a Banach space, $H\subseteq X$ be a dense hyperplane, and $f$ be a continuous linear functional defined on $H$. Then $f$ is uniformly continuous and hence it admits a unique continuous ...
- 483
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
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
355
views
Banach's fixed point theorem for quasilinear parabolic PDEs
I have recently started reading into PDE theory, and came across the following question. Consider the PDE $$
\begin{cases}
\partial_t \rho = \Delta (\rho + \rho^2) & \text{ on } (0,T) \times \...
- 223
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
5
votes
0
answers
254
views
Computing (formally or numerically) Green's function for the wave equation on a sphere
Consider Green's function for the wave equation on a sphere, namely, for $t>0$ and fixed $0<\theta<\pi$,
$$G(\theta,t) = \sum_{\ell=0}^{+\infty} (2\ell+1)\,P_\ell(\cos\theta)\,\cos\big(\sqrt{\...
- 32.5k
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
1
answer
2k
views
Does the 'reproducing kernel formula' for a bounded open set $U$ define an equivalent norm on the Sobolev space $H^1_0(U)$
We refer to the 'reproducing convolution formula with a kernel' for an open bounded domain $U$ of $R^n$, $n \geq 2$ discussed in the paper of G. Talenti (Annali de Matematica, Dec 1976) on Best ...
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
1
answer
506
views
Weak compactness of order intervals in $L^1$
Let $(\Omega,\mu)$ be a measure space, say $\sigma$-finite for the sake of simplicity, and let $L^1 := L^1(\Omega,\mu)$ denote the real-valued $L^1$-space over $(\Omega,\mu)$.
For all $f,h \in L^1$ ...
- 12.6k
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
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
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
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
679
views
Banach algebra of smooth functions
To fix the ideas, let's work on the flat periodic torus $\mathbf{T}^d:=\mathbf{R}^d/\mathbf{Z}^d$.
My question is the following.
Does there exist an infinite dimensional Banach (sub-)algebra $A \...
- 3,425