-
Local atomic decompositions for multidimensional Hardy spaces
Authors:
Edyta Kania,
Paweł Plewa,
Marcin Preisner
Abstract:
We consider a nonnegative self-adjoint operator $L$ on $L^2(X)$, where $X\subseteq \mathbb{R}^d$. Under certain assumptions, we prove atomic characterizations of the Hardy space $$H^1(L) = ł\{f\in L^1(X) \ : \ \ {\|}\sup_{t>0} \ |\exp(-tL)f \ | \ {\|}_{L^1(X)}<\infty\ \}.$$ We state simple conditions, such that $H^1(L)$ is characterized by atoms being either the classical atoms on…
▽ More
We consider a nonnegative self-adjoint operator $L$ on $L^2(X)$, where $X\subseteq \mathbb{R}^d$. Under certain assumptions, we prove atomic characterizations of the Hardy space $$H^1(L) = ł\{f\in L^1(X) \ : \ \ {\|}\sup_{t>0} \ |\exp(-tL)f \ | \ {\|}_{L^1(X)}<\infty\ \}.$$ We state simple conditions, such that $H^1(L)$ is characterized by atoms being either the classical atoms on $X\subseteq \mathbb{R}^d$ or local atoms of the form $|Q|^{-1}χ_Q$, where $Q\subseteq X$ is a cube (or cuboid).
One of our main motivation is to study multidimensional operators related to orthogonal expansions. We prove that if two operators $L_1, L_2$ satisfy the assumptions of our theorem, then the sum $L_1 + L_2$ also does. As a consequence, we give atomic characterizations for multidimensional Bessel, Laguerre, and Schrödinger operators.
As a by-product, under the same assumptions, we characterize $H^1(L)$ also by the maximal operator related to the subordinate semigroup $\exp(-tL^ν)$, where $ν\in(0,1)$.
△ Less
Submitted 16 May, 2020; v1 submitted 16 October, 2018;
originally announced October 2018.
-
Sharp multiplier theorem for multidimensional Bessel operators
Authors:
Edyta Kania,
Marcin Preisner
Abstract:
Consider the multidimensional Bessel operator $$B f(x) = -\sum_{j=1}^N \left(\partial_j^2 f(x) +\frac{α_j}{x_j} \partial_j f(x)\right), \quad x\in(0,\infty)^N. $$ Let $d = \sum_{j=1}^N \max(1,α_j+1)$ be the homogeneous dimension of the space $(0,\infty)^N$ equipped with the measure $x_1^{α_1}... x_N^{α_N} dx_1...dx_N$. In the general case $α_1,...,α_N >-1$ we prove multiplier theorems for spectral…
▽ More
Consider the multidimensional Bessel operator $$B f(x) = -\sum_{j=1}^N \left(\partial_j^2 f(x) +\frac{α_j}{x_j} \partial_j f(x)\right), \quad x\in(0,\infty)^N. $$ Let $d = \sum_{j=1}^N \max(1,α_j+1)$ be the homogeneous dimension of the space $(0,\infty)^N$ equipped with the measure $x_1^{α_1}... x_N^{α_N} dx_1...dx_N$. In the general case $α_1,...,α_N >-1$ we prove multiplier theorems for spectral multipliers $m(B)$ on $L^{1,\infty}$ and the Hardy space $H^1$. We assume that $m$ satisfies the classical Hörmander condition $$\sup_{t>0} \left||η(\cdot) m(t\cdot)\right||_{W^{2,β}(\mathbb{R})}<\infty$$ with $β> d/2$. Furthermore, we investigate imaginary powers $B^{ib}$, $b\in \mathbb{R}$, and prove some lower estimates on $L^{1,\infty}$ and $L^p$, $1<p<2$. As a consequence, we deduce that our multiplier theorem is sharp.
△ Less
Submitted 16 May, 2020; v1 submitted 4 June, 2018;
originally announced June 2018.
-
Hardy spaces for Bessel-Schrödinger operators
Authors:
Edyta Kania,
Marcin Preisner
Abstract:
Consider the Bessel operator with a potential on L^2((0,infty), x^a dx), namely Lf(x) = -f"(x) - a/x f'(x) + V(x)f(x). We assume that a>0 and V\in L^1_{loc}((0,infty), x^a dx) is a non-negative function. By definition, a function f\in L^1((0,infty), x^a dx) belongs to the Hardy space H^1(L) if sup_{t>0} |e^{-tL} f| \in L^1((0,infty), x^a dx). Under certain assumptions on V we characterize the spac…
▽ More
Consider the Bessel operator with a potential on L^2((0,infty), x^a dx), namely Lf(x) = -f"(x) - a/x f'(x) + V(x)f(x). We assume that a>0 and V\in L^1_{loc}((0,infty), x^a dx) is a non-negative function. By definition, a function f\in L^1((0,infty), x^a dx) belongs to the Hardy space H^1(L) if sup_{t>0} |e^{-tL} f| \in L^1((0,infty), x^a dx). Under certain assumptions on V we characterize the space H^1(L) in terms of atomic decompositions of local type. In the second part we prove that this characterization can be applied to L for a \in (0,1) with no additional assumptions on the potential V.
△ Less
Submitted 14 September, 2017; v1 submitted 23 March, 2016;
originally announced March 2016.
