All Questions
1,150 questions
6
votes
0
answers
241
views
Extension of positive functionals
Let $X$ be a function space as $C(K)$ or $L^p$, with its usual norm and order, that is $f \le g$ if and only if $f(x) \le g(x)$ for a.e. $x$. If $M$ is a subspace of $X$ and $L:M \to \bf R$ is a ...
- 6,035
6
votes
1
answer
236
views
Potential p-norm on tuples of operators
Consider $\left[\begin{matrix}A \\ B\end{matrix}\right] \in B(H)^2$. One can define
$$
\left\|\left[\begin{matrix}A \\ B\end{matrix}\right]\right\|_p = \| |A|^p + |B|^p\|^{1/p}.
$$
Q: Is this a norm?
...
- 3,984
6
votes
1
answer
823
views
Variations on the Mellin and Dirichlet transforms
There are a number of variations on the Laplace transform that turn up all over math. Some examples:
$\int_{-\infty}^{\infty} f(t)e^{-st} dt$ - The Laplace transform
$\sum_{-\infty}^{\infty} f(t)z^{-...
- 4,907
6
votes
1
answer
2k
views
why is paraproduct or paradifferential calculus important in PDE theory?
In the article https://www.baidu.com/link?url=W1BjGmDoZM8QkrV_Qd_26vzNhCJGWyfH79q5cn7q0QQxomVLtH7Fw_mApElkfCZUWiDcYjNhoLhMrGFEXtf4O_&wd=&eqid=a93906890002f93700000003577cbb98, it says that "......
- 429
6
votes
2
answers
1k
views
The contractivity of the heat semigroup in $L^p$ spaces
Let $M$ be a Riemannian manifold. By functional calculus, it is immediate to show that the heat semigroup is a contraction in $L^2(M)$. I can also show that it is a contraction in any $L^p(M)$ with $p ...
- 5,407
6
votes
1
answer
549
views
Volume doubling, uniform Poincaré, counterexample
The Poincaré inequality and the volume doubling property are important notions related to heat kernel estimates.
Pavel Gyrya and Laurent Saloff-Coste obtain the two sided heat kernel estimate of ...
- 721
6
votes
1
answer
294
views
Idempotent functions on Sp(1)
The quaternion group $Sp(1)\simeq S^3$ can be understood as $(z,w)\in\mathbb {C}^2$ with $|z|^2+|w|^2=1$ where multiplication is defined by $(z,w)(t,s)=(zt-\bar{s}w,zs+\bar{t}w)$.
Question: How do ...
- 1,583
6
votes
1
answer
693
views
Do multiplicative Banach limits exist?
Let $(D, \succeq)$ be a directed set, and let $B$ be the space of real-valued bounded functions on $D$. A Banach limit $\ell$ on $D$ is a linear functional that satisfies
$$\sup_{d \in D} \inf_{c \...
- 869
6
votes
1
answer
585
views
Set of w*-continuous operators closed for the weak* topology or not?
Let $X$ be a dual Banach space, i.e. $X=(X_*)^*$ for some Banach space $X_*$. Consider the weak* topology of $B(X)$, i.e. the topology of pointwise convergence on $X$ endowed with the $\sigma(X,X_*)$-...
user64615
6
votes
2
answers
2k
views
Weak convergence + convergence of the norm implies strong convergence in Orlicz spaces
It is known [1, proposition 3.32] and a classical trick in PDEs that, in any uniformly convex Banach space $X$, weak convergence $x_n\rightharpoonup x$ together with convergence of the norm $\|x_n\|_X\...
- 5,380
6
votes
2
answers
572
views
Why are $\Gamma_0$ functions called this
It is very common to indicate with $\Gamma_0(A)$ the set of lower semicontinuous convex functions from $A$ to $(-\infty,+\infty]$ with nonempty domain. An example of usage of this notation can be ...
- 71
6
votes
1
answer
292
views
Analytic maps on Banach spaces: analyticity upgrade
Consider the following problem.
Let $E,F,G$ be real or complex Banach spaces, such that $F\subset G$ with continuous embedding. Let $U\subset E$ an open set and
$$ f:U\to G $$
an analytic map, such ...
- 1,075
6
votes
3
answers
1k
views
Orthonormal basis in $W^{1,2}([0,1])$
Consider the Hilbertspace $W^{1,2}([0,1])$ (i.e. Sobolev space) with the standard inner product which is defined by: $(f,g) = (f,g)_{L^{2}([0,1])} + (f',g')_{L^{2}([0,1])}$. Here $[0,1]$ is not ...
- 63
6
votes
3
answers
3k
views
Non-empty resolvent set, then operator closed?
On Hilbert spaces, the following is true:
Let $T$ be a densely-defined linear operator with non-empty resolvent set, then $T$ is closed.
The obvious proof I see to show this uses explicitly the ...
- 115
6
votes
1
answer
321
views
Derivatives of norm of vector-valued holomorphic functions
Let $G$ be a connected domain in $\mathbb{C}^{n}$, let $H$ be a Hilbert space and let $f,g:G\to H\backslash \{0\}$ be holomorphic (in my particular situation they are also injective, but I don't think ...
- 5,529
6
votes
1
answer
773
views
When do Borel $\sigma$-algebras generated by the total variation norm and the weak* topology coincide?
I am almost certain that I read somewhere that the following is true, but I cannot seem to locate the reference. I would be most appreciative if someone could point me to a reference. The result was ...
user12713
6
votes
1
answer
235
views
Global orthogonal coordinates on the open unit ball
Is there any diffeomorphism $x:\mathbb{R}^n\to\text{Im }x=B_1\left(0\right)\subset\mathbb{R}^n$ such that
$x$ is an orthogonal chart, i.e., the coordinate vector fields $X_i=\partial x/\partial u_i$ ...
- 537
6
votes
1
answer
252
views
Poisson kernel for the orthogonal groups
For the complex ball $|z|^2\le 1$ in $\mathbb{C}^n$, there is a Poisson kernel proportional to $|x-z|^{-2n}$. This is generalized to the unitary group $U(N)$ so that in the complex matrix ball $Z^\...
- 1,549
6
votes
2
answers
530
views
Schrödinger eigenfunctions are bounded
Let $V:\mathbb{R}\rightarrow \mathbb{R}^{+ *}$ a real positive function such that $\displaystyle \lim_{ x \to \pm\infty} V(x)= +\infty $.
Then the Schrödinger operator $H=-\frac{d^2}{dx^2}+V(x)$ has ...
- 129
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
2
answers
594
views
Taylor $k$-differentiability of a real function at a point
I am interested in the standard name for the following weak form of $k$-differentiability.
Definition. A function $f:\mathbb R\to\mathbb R$ is called Taylor $k$-differentiable at a point $x_0$ if ...
- 42k
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
0
answers
879
views
A fourth-order linear PDE
I am interested in the following type of $4$-th order linear PDE with $2$ variables (i.e., $x$ and $t$):
$$x^3 f_{xxxt}+ f =0$$
Does anyone know if this type of PDE already appeared in the literature? ...
- 141
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
2
answers
516
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
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
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
1
answer
553
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
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
2
answers
431
views
General solution to an ultrahyperbolic PDE
$\DeclareMathOperator\SO{SO}$The following PDE defined on $\mathbb{R}^2$ $$\frac{\partial}{\partial x}\frac{\partial}{\partial y}f(x,y) = 0,$$ has solution $$f(x,y) = g(x) + h(y),$$ where $g,h : \...
- 333
5
votes
1
answer
565
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
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
0
answers
223
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.5k
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
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
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
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
2
answers
285
views
Existence of a solution for this hypoelliptic-alike PDE
I know that this question may result rater vague and somehow out of context, still I am hoping you could help me.
Assume we have the following equation
\begin{align}
\boxed{\partial_t u(t,x,z)=\...
- 515
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
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
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
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
220
views
Alberti rank one theorem and a blow-up argument
In this paper, it is written that Alberti’s rank
says that the singular part $D^s u$ with respect to $\mathcal L^d$ of the distributional derivative $Du$ of a function $u \in BV_{loc}(\mathbb R^d; \...
user123457
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
1
answer
543
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
1
answer
224
views
Conditional expectation of random vectors
$\newcommand{\E}{\mathsf{E}}$
$\newcommand{\P}{\mathsf{P}}$
The following additional question was asked in a comment by user Oleg:
Suppose that $(\Omega,\mathcal F,\P)$ is a probability space, $B$ ...
- 128k
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
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
0
answers
350
views
How to calculate the volume of a parallelepiped in a normed space?
Let $E$ be a real normed space, and let $v_1,...,v_n\in E$ be linearly independent. The parallelepiped defined by these vectors is $P=\{\sum_{i=1}^{n}\alpha_i v_i|~0\le\alpha_i\le 1\}$. Since $E$ is a ...
- 5,529