Abstract
Consider the multidimensional Bessel operator
Let \(d = \sum _{j=1}^N \max (1,\alpha _j+1)\) be the dimension of the space \((0,\infty )^N\) equipped with the measure \(x_1^{\alpha _1}\ldots x_N^{\alpha _N} dx_1\ldots dx_N\). In the general case \(\alpha _1,\ldots ,\alpha _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
with \(\beta > 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.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and Main Results
1.1 The Bessel Operator
Let \(N\in \mathbb {N}\) and \(\alpha = (\alpha _1, \ldots , \alpha _N)\), where \(\alpha _j > -1\) for \(j=1,\ldots ,N\). Consider the space \(X= (0,\infty )^N\) equipped with the Euclidean metric and the measure \(d\nu (x) = x^\alpha dx = x_1^{\alpha _1}\ldots x_N^{\alpha _N}\, dx_1 \ldots dx_N\). It is well-known that X satisfies the doubling property, i.e.
where \(B(x,r) = \left\{ y\in X \ : \ |x-y|<r \right\} \) . In other words, there exist \(d, C_d>0\) such that
We choose the constant d (dimension of X) as small as possible. In this case
The multidimensional Bessel operator is given by \(B = B_1 + \cdots + B_N\), where
The operator B, initially defined on, say, \((C_c^2((0,\infty )))^n\), extends to a self-adjoint operator on \(L^2(X)\). Slightly abusing notation, we shall denote this extension by the same symbol B. For a precise definition of B we refer the reader to e.g.[6, Sec. 2] (see also [32]). Also, B is the infinitesimal generator of the Bessel semigroup \(\mathbf {T}_t f(x) = \int _X T_t(x,y) f(y)\, d\nu (y)\), where \(T_t(x,y) = T_t^{[1]}(x_1,y_1) \cdot \ldots \cdot T_t^{[N]}(x_N,y_N)\) and
Here \(I_\tau (x) = \sum _{m=0}^\infty \frac{1}{m!\Gamma (m+\tau +1)} \left( \frac{x}{2}\right) ^{2m+\tau }\) is the modified Bessel function of the first kind. The kernel \(T_t(x,y)\) satisfies the upper and lower gaussian bounds, i.e. there exist constants \(c_1,c_2, C_1, C_2 > 0\), such that
This fact is well known and follows from the asymptotics for \(\nu (B(x,\sqrt{t}))\) and \(I_\tau \). For details see e.g. [20, Lem. 4.2].
Since B is self-adjoint and nonnegative, for a Borel function \(m: (0,\infty ) \rightarrow \mathbb {C}\) the spectral theorem defines the operator
where \(E_B\) is the spectral resolution of B.
1.2 Multiplier Theorems for B
Multiplier theorems for B and other operators are one of the main topics in harmonic analysis. Many authors investigated assumptions on m that guarantee boundedness of m(B) on various function spaces, such as \(L^p(X)\), \(H^p(X)\), \(L^{p,q}(X)\) and others.
For example, in [23] the authors proved weak type (1,1) estimates on m(B) assuming \(N=1\), \(\alpha >0\) and
where \(s=0,\ldots ,K\) and K is the least even integer greater than \((\alpha +1)/2 = d/2\) (see also [27]). In [18], assuming still \(N=1\) and \(\alpha >0\), it is proved that if
with some \(\beta > d/2\), then m(B) is bounded on the Hardy space \(H^1(B)\) related to B. Here and thereafter \(W^{2,\beta }(\mathbb {R})\) is the \(L^2\)-Sobolev space on \(\mathbb {R}\) and \(\eta \) is a fixed nonnegative smooth cut-off function such that \(\mathrm {supp} \, \eta \subseteq (2^{-1},2)\).
In the multidimensional case \(N\ge 1\) in [5] the authors prove weak type (1, 1) estimates for m(B), where m is of Laplace transform type, i.e. there exists \(\phi \in L^\infty (0,\infty )\), such that
Notice, that if m is of Laplace transform type, then m is radial and (as a function on \((0,\infty )\)) satisfies (S) with any \(\beta >0\). Another multidimensional result can be found in [20], where it is proved that m(B) is weak type (1, 1) and bounded on the Hardy space \(H^1(X)\) provided that \(\alpha _j>1\) for \(j=1,\ldots ,N\) and m satisfies (S) with \(\beta >d/2\). See also e.g. [21, 22, 38] for other multiplier results for the Bessel operator.
Our first main goal is to obtain multiplier theorem for B in the most general case \(N\ge 1\) and \(\alpha _j >-1\), \(j=1,\ldots ,N\). Let us notice that many of the results before assumed that \(\alpha _j>0\) and the case \(\alpha _j<0\) is more difficult and less known. One reason for that is the singularity at zero of the measure \(x^{\alpha _j} dx_j\) when \(\alpha _j<0\). Also, so-called “generalized translation” operators and convolution structure for B (see, e.g. [7, Sec. 2]), does not help when \(\alpha _j<0\). This is strictly related to the fact, that the generalized eigenfunctions of B are no longer bounded if \(\alpha _j<0\) for some j and, therefore, the generalized translation is not even bounded on \(L^2\). Let us also notice that, we are interested in multiplier results that are sharp in the sense that we assume (S) with \(\beta \) as small as possible. In this case this is expected to be \(\beta >d/2\) (we shall discuss this in Sect. 1.3 below).
To state the multiplier result let us recall that the weak \(L^1\) space is given by the semi-norm
and the Hardy space \(H^1(B)\) related to B can be defined by the norm
In the case \(N=1\) the space \(H^1(B)\) was studied in [7], where \(H^1(B)\) was characterized by means of atomic decompositions and the Riesz transforms. In the general case \(N\ge 1\) and \(\alpha _j>-1\), \(j=1,\ldots ,N\) the atomic characterization of \(H^1(B)\) can be found in [19] (see also [16, 20]). We shall recall this characterization in Sect. 2.3 below.
Theorem A
Let \(N\ge 1\) and \(\alpha _j >-1\) for \(j=1,\ldots ,N\). Assume that \(m:(0,\infty ) \rightarrow \mathbb {C}\) satisfies (S) with \(\beta >d/2\), see (1.1). Then:
-
1.
m(B) is bounded from \(L^{1}(X)\) to \(L^{1,\infty }(X)\),
-
2.
m(B) is bounded from \(H^{1}(B)\) to \(H^{1}(B)\),
-
3.
m(B) is bounded from \(L^{p}(X)\) to \(L^{p}(X)\), \(1<p<\infty \).
Part 1. of Theorem A will be proved by using results of [36]. More precisely, we shall check the assumptions of [36, Theorem 3.1]. The proof of 2. will be given in Sect. 2. In fact, in the proof we shall only use general properties of B, such as e.g. (D), (G), and \(P_q\) below. Thus, the multiplier result in Sect. 2 will be formulated in a more general context. This section can be read independently of the rest of the paper and we shall use different notation. As usual, 3. is a consequence of either 1. or 2. by duality and interpolation, see e.g. [4].
1.3 Imaginary Powers of B
Another goal of this paper is to study the imaginary powers \(B^{ib}\), \(b\in \mathbb {R}\), of the Bessel operator and establish lower bounds of these operators on some function spaces. We shall concentrate our attention on the dependence of the lower estimates on b for large b. This is related with sharpness of multiplier theorems and may be of independent interest. To state these estimates let us restrict ourselves to the one-dimensional case \(N=1\) (\(X=(0,\infty )\), \(d\nu (x) = x^\alpha \, dx\), \(\alpha >-1\)). Motivated by the identity
let us define for \(x\ne y\) the integral kernel
Notice, that the integral in (1.3) is not absolutely convergent, thus we have to explain how the kernel \(K_b(x,y)\) is related to the operators \(B^{ib}\). Indeed, in Sect. 3.3 we shall prove that for \(f\in L^\infty (X)\) with compact support we have
One of our goals is to provide lower estimates for \(B^{ib}\).
Theorem B
Assume that \(\alpha >-1\). Then there exist a constant \(C>0\) and a function f such that \(\left\| f \right\| _{L^1(X)}=1\) and for |b| large enough we have
Theorem C
Assume that \(\alpha >0\) and \(p\in (1,2)\). Then there exist \(C_p>0\) and f such that \(\left\| f \right\| _{L^p(X)}=1\) and for |b| large enough we have
The proofs of Theorems B and C are presented in Sect. 3.3. To prove Theorem B we shall carefully analyze the kernels \(K_b(x,y)\). More precisely, we prove the following lemma.
Lemma 1.1
Assume that \(\alpha >-1\) and \(b\in \mathbb {R}\). Then
where
Moreover, there exists \(C>0\) that does not depend on b, such that
Notice that the kernel \(R_b(x,y)\) is related to an operator that is bounded on every \(L^p(X)\), \(1\le p \le \infty \), uniformly in \(b\in \mathbb {R}\). Thus we may think of \(R_b(x,y)\) as of some kind of “error term”. However, for \(|b| > 1\) the sizes of the constants are the following:
c.f. Lemma 4.1. Thus, \(c_3(b)\) grows exponentially when \(|b|\rightarrow \infty \), while the constants \(c_1(b)\) and \(c_2(b)\) are much smaller. It appears that the growth of the constant \(c_3(b)\) will lead to a problem in deriving lower estimates for \(B^{ib}\) (since our goal is to find the exact dependence on b). However, we can overcome this difficulty when analyzing weak (1, 1) norm as in Theorem B. The same trick seems not to work in other function spaces (such as \(H^1(B)\), \(L^p(X)\) and \(L^{p,\infty }(X)\) with \(p>1\)), thus the proof of Theorem C is different and uses the integral representation of the Bessel function \(I_\tau \) instead of Lemma 1.1.
As a corollary of Theorems B and C we obtain that Theorem A is sharp (at least for \(N=1\)) in the sense that d / 2 cannot be replaced by a smaller number. The argument is standard, but we shall present it now for the convenience of the reader. One can check that for \(m_b(\lambda ) = \lambda ^{ib}\) we have
Also, Theorem A actually gives that \(\left\| m_b(B)f \right\| _{L^{1,\infty }(X)} \le C M_b \left\| f \right\| _{L^1(X)}, \) where C does not depend on b. Combining these estimates with Theorem B for |b| large enough we have
Therefore \(\beta \ge d/2\). Actually, one expects that \(\beta \ne d/2\), but this question is beyond the scope of this paper.
Similarly, the constant d / 2 cannot be improved for the Hardy spaces. If \(\alpha <0\) then \(d/2=1/2\) and (S) with \(\beta <1/2\) would not even guarantee that m is bounded. On the other hand, for \(\alpha >0\) if we could prove multiplier theorem on \(H^1(B)\) with a constant lower than d / 2, then by interpolation we would have better upper bounds for \(m_b(B)\) on \(L^p(X)\) for \(1<p<2\), which contradicts Theorem C by an argument similar to the one above.
1.4 Organization of the Paper and Notation
In Sect. 2 we state and prove a “sharp” multiplier theorem on Hardy spaces for self-adjoint operators on spaces of homogeneous type with certain assumptions (Theorem D). This is a slight generalization of Theorem A 2. in the spirit of [36, Theorem 3.1]. In Sect. 2 we shall use different notation, so that it can be read independently of the rest of the paper. In Sect. 3 we prove the results stated above. More precisely, first we check that B satisfies assumption \((P_2)\) (see Sect. 2 below) in the full generality \(N\ge 1\), \(\alpha _j >-1\) for \(j=1,\ldots ,N\). Thus Theorem D can be applied for B. Then we prove Lemma 1.1 and Theorems B and C. We shall use standard notations, i.e. C and c denote positive constants that may change from line to line.
2 Sharp Multiplier Theorem on Hardy Spaces
2.1 Background and General Assumptions
In this section we consider a space Y with a metric \(\rho \) and a nonnegative measure \(\mu \). We shall assume that the triple \((Y,\rho , \mu )\) is a space of homogeneous type, i.e. there exists \(C>0\) such that \( \mu (B(x,2r)) \le C \mu (B(x,r)), \) for all \(x\in Y\) and \(r>0\), where \(B(x,r) = \left\{ y\in Y \ : \ \rho (x,y)<r \right\} \), c.f. [14]. It is well-known that this implies the existence of \(d,C_d>0\) such that
As usual, we choose d as small as possible, even at the cost of enlarging \(C_d\).
Let A denote a self-adjoint positive operator and let \(E_A\) be its spectral measure, i.e. \(A = \int _0^\infty \lambda \, dE_A(\lambda )\). Denote by \(\mathbf {P}_t= \exp (-tA)\) the semigroup generated by A. Assume that there exists an integral kernel \(P_t(x,y)\) such that \(\mathbf {P}_t f(x) = \int _Y P_t(x,y) f(y) \, d\mu (y)\) and that satisfies the upper gaussian bounds, i.e. there exist \(c_2, C_2 > 0\) such that
2.2 Multiplier Theorems
By the spectral theorem, for a Borel function m on \((0,\infty )\), we have the operator
In the classical case \(A=-\Delta \), \(Y=\mathbb {R}^D\), the Hörmader multiplier theorem states that if m satisfies (S) with \(\beta >D/2\), then \(m(-\Delta )\) is weak type (1, 1) and bounded on \(L^p(\mathbb {R}^D)\) for \(1<p<\infty \). It is well-known that the constant D / 2 is sharp in the sense that it cannot be replaced by a smaller constant, see e.g. [34].
At this point let us recall one of many multiplier theorems on spaces of homogeneous type. Suppose Y and A are as in Sect. 2.1. Following [36] we introduce additional assumption. Suppose that there exists \(C>0\) and \(q\in [2,\infty ]\), such that for \(R>0\) and every Borel function m on \(\mathbb {R}\) satisfying \(\mathrm {supp}\, m\subseteq [R/2, 2R]\) we have
![figure a](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00041-019-09667-z/MediaObjects/41_2019_9667_Figa_HTML.png)
Theorem 2.1
[36, Theorem 3.1] Assume that on a space of homogeneous type \((Y,\rho , \mu )\) there is a self-adjoint positive operator A that satisfies (UG). Moreover, assume that \(P_q\) holds with some \(q\in [2,\infty ]\) and m satisfies
![figure b](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00041-019-09667-z/MediaObjects/41_2019_9667_Figb_HTML.png)
with some \(\beta >d/2\). Then m(A) is of weak type (1, 1) and bounded on \(L^p(Y)\) for \(p\in (1,\infty )\).
At this point let us make a few comments.
-
1.
Assuming (UG) the operators m(A) appearing in \(P_q\) always have integral kernels \(K_{m(A)}(x,y)\), c.f. [36, Lemma 2.2].
-
2.
For the Bessel operator we are interested in \(S_q\) and \(P_q\) for \(q=2\) only, \((S) = (S_2)\). However, in Sect. 2 the results are stated and proved with an arbitrary \(q\in [2,\infty ]\).
-
3.
The assumption \(P_q\) in some sense plays a role of Plancherel theorem in the proof of Theorem 2.1. It is a key to obtain the sharp range \(\beta >d/2\). For example, if we would allow m to satisfy \(S_q\) with \(\beta >d/2+1/2\), then \(P_q\) would be superfluous.
-
4.
The assumption \(P_q\) is written in [36] for m having support in [0, R] not in [R / 2, 2R]. However, a simple inspection of the proof shows that \(P_q\) is needed only for m with \(\mathrm {supp} \, m \subseteq [R/2,2R]\). This makes no difference for many operators. However, it matters e.g. when considering the Bessel operator with negative parameters \(\alpha _j\).
-
5.
Assumption \(P_q\) in [36] is written for \(m(\sqrt{A})\), but we use equivalent version with m(A) (therefore we replace \(B(y,R^{-1})\) by \(B(y,R^{-1/2})\)).
One of the main goals of this paper is to establish a multiplier theorem on Hardy spaces. We shall use the definition of the Hardy space \(H^1(A)\) associated with A by means of the maximal operator of the semigroup \(\mathbf {P}_t\), namely
To state our result we shall assume additionally that \(P_t(x,y)\) satisfies also the the lower Gaussian bounds, namely there exist \(c_1, C_1 >0\), such that
and that the space \((Y,\rho ,\mu )\) satisfies the following assumption:
Notice that (Y) implies that \(\mu (Y)=\infty \) and that \(\mu \) is non-atomic. Now we are ready to state the theorem.
Theorem D
Assume that \((Y,\rho ,\mu )\) is a space of homogeneous type, d is as in (D), and (Y) is satisfied. Suppose that there is a self-adjoint positive operator A such that (UG), (LG), and \(P_q\) hold with some \(q\in [2,\infty ]\). If m satisfies \(S_q\) and \(\beta >d/2\), then m(A) is bounded from \(H^1(A)\) to \(H^1(A)\), i.e. there exists \(C>0\), such that
The history of multiplier theorems for spaces of homogeneous type is long and wide. The interested reader is referred to [2, 9,10,11, 13, 17, 20, 21, 24, 26, 31, 33, 35, 36] and references therein. Let us concentrate for a moment on the range of parameters \(\beta \) in Theorem D. Obviously, in general, the range \(\beta >d/2\) is optimal. However, it may happen that for some particular operators one may obtain multiplier results assuming that \(\beta >\widetilde{d}/2\) with \(\widetilde{d}<d\), see e.g. [29, 30, 33]. On the other hand, there are known families of operators for which the constant d / 2 cannot be lower. One of the methods to prove this is to derive lower estimates for \(A^{ib}\) in terms of \(b\in \mathbb {R}\), see [12, 30, 34, 36]. Lastly, let us mention that some multiplier results hold also in the non-doubling case, see e.g. [15].
Boundedness of operators on the Hardy space \(H^1\) is a natural counterpart of weak type (1, 1) bound. For example, it is a good end point for the interpolation, see e.g. [4]. However, the Hardy spaces are strictly related to some cancellation conditions and it is usually more involving to study properties of operators on the Hardy space, than on \(L^p\) or \(L^{p,\infty }\) spaces. Let us also mention that boundedness from \(H^1\) to \(H^1\) obviously implies boundedness from \(H^1\) to \(L^1\), which is usually much easier to prove.
2.3 Hardy Spaces
The Hardy spaces on spaces of homogeneous type are studied extensively from the 60’s, see e.g. [14]. In particular, now we have many atomic decompositions for \(H^p\) on various spaces and operators acting on this spaces. We refer the reader to e.g. [3, 7, 19, 25] and references therein.
In this subsection we recall some results on Hardy spaces related to A, assuming that (D), (UG), (LG) and (Y) are satisfied. For the proofs and more details we refer the reader to [19]. Firstly, there exists the unique (up to a multiplicative constant) A-harmonic function \(\omega : Y \rightarrow \mathbb {R}\) such that
The function \(\omega \) plays a special role in the analysis of A and \(\mathbf {P}_t\). In particular we have the following Hölder-type estimate.
Theorem 2.2
Suppose that the semigroup \(\mathbf {P}_t\) satisfies (UG), (LG). Then there exist positive constants \(\gamma , c, C\), such that if \(\rho (y,z)\le \sqrt{t}\), then
Theorem 2.2 is quite well-known and follows from a general theory. For a short and independent proof see [19, Sec. 4].
Corollary 2.3
There exist \(\gamma , C >0\) such that if \(\rho (y,z)\le \sqrt{t}\), then
Using Theorem 2.2 the authors of [19] obtained the following atomic decomposition for the elements of \(H^1(A)\). Let us call a function \(a: Y \rightarrow \mathbb {C}\) an \((\mu ,\omega )\)-atom, if there exists a ball B in Y, such that:
Theorem 2.4
[19, Theorem 1] There exists a constant \(C>0\) such that for each \(f\in H^1(A)\) there exist \(\lambda _k\in \mathbb {C}\) and \((\mu ,\omega )\)-atoms \(a_k\) (\(k\in \mathbb {N}\)), such that
Let us start by recalling a few consequences of (D) and (UG).
Lemma 2.5
[36, Lemma 2.1] Suppose that (D) and (UG) hold. Then
In particular
Lemma 2.6
[36, Lemma 4.1] For \(\kappa \ge 0\) there exists a constant \(C=C(\kappa )>0\) such that
Lemma 2.7
[36, Lemma 4.4] Suppose that (D) holds and \(\delta > 0\). Then
2.4 Key Kernel Estimates
This subsection is devoted to obtain key estimates needed for the proof ofTheorem D. We shall assume (temporarily) that m satisfies \(\mathrm {supp}\, m \subseteq [R/2, 2R]\) with some \(R>0\). Later we shall use a partition of unity for general m. Denote \(m_R(\lambda ) = m(R\lambda )\), so that \(\mathrm {supp}\, m_R \subseteq [2^{-1},2]\). Let us notice that below the letter \(q\in [2,\infty ]\) is always the exponent related to \(P_q\) and \(S_q\). Moreover, all the spectral operators below admit related integral kernels, which can be seen by using an argument identical as in [36, Lem. 2.2]. Let us denote \(\widetilde{m}_t(\lambda ) = \exp (-t\lambda ) m(\lambda )\) and let \(M_t(x,y)\) be the kernel associated with \(\widetilde{m}_t(A) = \mathbf {P}_t m(A)\).
Proposition 2.8
Assume that \(\mathrm {supp} \, m \subseteq [R/2, 2R]\) and \(m_R \in W^{q,\beta }(\mathbb {R})\) with \(\beta > d/2\). Then, there exist \(\delta , \gamma , C>0\) such that for \(y,z\in Y\) and \(r>0\) we have
and, for \(\rho (y,z) < R^{-1/2}\),
Let us start by showing the following lemma.
Lemma 2.9
For \(\varepsilon >0,\kappa \ge 0\) there exists a constant \(C=C(\kappa ,\varepsilon )\) such that
Proof
Fix a cut-off function \(\psi \in C_c^{\infty }(4^{-1},4)\), such that \(\psi \equiv 1\) on \([2^{-1}, 2]\). Set
By the Fourier inversion formula,
and
Notice that \(\mathrm {supp} \, \lambda _{t,R}^{(N)} \subseteq (4^{-1}, 4)\) for arbitrary \(N\in \mathbb {N}\). By simple calculus we can find a constant \(C_N\) such that
Since \(\widehat{n}_{t,R} = \widehat{m}_R *\widehat{\lambda }_{t,R}\) and \((1+|\tau |) \le (1+|\theta |)(1+|\tau -\theta |)\), for \(\kappa \ge 0\) and \(\varepsilon >0\) we use the Cauchy-Schwarz inequality, getting
Hence, by (2.3), the Minkowski inequality, and Lemma 2.6 we obtain
In the last inequality we have used that \(\mathrm {supp}\, m_R\subseteq [2^{-1},2]\) and \(q\ge 2\).
Observe that (2.4) is exactly the estimate we look for, but the Sobolev parameter is higher by 1 / 2 than we want. To sharpen this estimate, we make use of known interpolation method. Notice, that \(M_t(x,y) = \mathbf {P}_t(K_{m(A)}(\cdot ,y))(x)\). It is well-known that (UG) implies boundedness on \(L^2(Y)\) of the maximal operator \(\mathscr {M}f =\sup _{t>0} |\mathbf {P}_t f|\). A second estimate needed for an interpolation is the following
In the last inequality we have used \(P_q\). Now, Lemma 2.9 follows by interpolating (2.4) and (2.5), see e.g. proofs of [36, Lem. 4.3(a)] and [20, Lem. 2.2] for details. \(\square \)
Proof of (2.1)
By the Cauchy-Schwarz inequality and Lemmas 2.7 and 2.9,
where \(\delta , \varepsilon >0\) are such that \(d/2+\delta +\varepsilon \le \beta \).
\(\square \)
Consider for a moment the operator \(\mathbf {P}_tm(A) \exp (AR^{-1})\) and let \(\widetilde{M}_{t,R}(x,y)\) be its kernel. By almost identical arguments as in the proofs of Lemma 2.9 and (2.1), we can show that for \(\beta >d/2\) we also have
Proof of (2.2)
Notice, that \(M_{t}(x,y) = \int _Y \widetilde{M}_{t,R}(x,u)P_{R^{-1}}(u,y) \, d\mu (u)\). For \(\rho (y,z)<R^{-1/2}\), by Corollary 2.3 and (2.6),
\(\square \)
2.5 Proof of Theorem D
Theorem D follows from Proposition 2.8 by a quite standard argument. We present the details for completeness and convenience of the reader. As usual, by a continuity argument, in order to prove boundedness of the operator m(A) on \(H^1(A)\) it is enough to show that there exists \(C>0\) such that
holds for every \((\mu ,\omega )\)-atom a, see Theorem 2.4. Assume then that: \(\mathrm {supp}\, a \subseteq B(y_0,r) = : B\), \(\left\| a \right\| _\infty \le \mu (B)^{-1}\), and \(\int a \, \omega d\mu = 0\). As always, the analysis on \(2B = B(y_0,2r)\) follows by the Cauchy-Schwarz inequality and boundedness of \(\mathscr {M}\) and m(A) on \(L^2(Y)\). More precisely,
Therefore, it is enough to prove that
Let \(\eta \in C_c^\infty (2^{-1},2)\) be a fixed function such that \( \sum _{j\in \mathbb {Z}}\eta (2^{-j}\lambda ) = 1 \) for all \(\lambda \in (0,\infty )\). By using this partition of unity, we decompose m as
Fix \(N\in \mathbb {Z}\) such that \( 2^{-N} \le r^2 < 2^{-N+1}. \) Then
Denote \(m_{j,t}(\lambda ) = \exp (-t\lambda ) m_j(\lambda )\) and let \(M_{j,t}(x,y)\) be the kernel of \(m_{j,t}(A) = \mathbf {P}_t m_j(A)\). Obviously, \(\mathrm {supp}\, m_{j,t} \subseteq [2^{j-1}, 2^{j+1}]\) and applying (2.1) we obtain that
If \(y\in B\) and \(j < N\), then \(\rho (y,y_0)< r < 2^{-j/2}\) and we can apply (2.2) for the kernel \(M_{j,t}\) with \(R=2^j\). Using the cancellation condition of a,
3 The Multidimensional Bessel Operator
In this Section we turn back to the analysis related to B and prove the results stated in Sect. 1.
3.1 The Hankel Transform
Recall that \(N\in \mathbb {N}\) and \(\alpha _j >-1\) for \(j=1,\ldots ,N\). For \(x,\xi \in X = (0,\infty )^N\) denote \(\varphi _{\alpha }(x\xi ) = \varphi _1(x_1\xi _1)\cdot \ldots \cdot \varphi _N(x_N\xi _N)\), where
Here \(J_\tau \) denotes the Bessel function of the first kind. By the asymptotics of \(J_\tau \) one has
The Hankel transform is defined by
As we have already mentioned, \(\varphi _j \in L^\infty \) if and only if \(\alpha _j \ge 0\). Nevertheless, it is known that \(H_\alpha \) always extends uniquely to an isometric isomorphism on \(L^2(X)\), see [5] and [8, Lem. 2.7]. The multipliers m(B) and \(H_\alpha \) are related in the same way, as \(m(-\Delta )\) and the Fourier transform on \(\mathbb {R}^D\). In particular, if
then m is radial and
3.2 \((P_2)\) for Multidimensional Bessel Operator
Let us first recall that \(\mathbf {T}_t\) satisfies (G) and, obviously, X satisfies (Y). Therefore, Theorem A follows from Theorems 2.1 and D provided that \(P_q\) holds with \(q=2\), which we now prove. The case \(N=1\) follows by similar and simpler argument, thus we shall concentrate on \(N\ge 2\). Let \(k\in \left\{ 1,\ldots ,N-1 \right\} \) and \(c_j<2^{-N}\) for \(j=1,\ldots ,k\). Define the sets
Lemma 3.1
Suppose that \(\mathrm {supp}\,m\subset [R/2,2R]\), \(N\ge 2\), \(k\le N-1\), and \(c_j <2^{-N}\) for \(j=1,2,\ldots ,k\). Then there exists \(C>0\) such that
Proof
Introduce the spherical coordinates \((r,\theta _1, \ldots , \theta _{N-1})\) on \(\mathbb {R}^N\), namely
Since \(x\in X\), then \(\theta _j \in (0,\pi /2)\) for \(j=1,\ldots ,N-1\). We claim that if \(x\in S_{c_1,\ldots ,c_k}\), then
for \(j=1,\ldots ,k\). Obviously, if \(\sin (\beta ) < 2^{-1/2}\) for \(\beta \in (0,\pi /2)\), then \((\cos \beta )^{-1} < 2^{1/2}\). Observe that \(2^{-1/2}<r<2^{1/2}\), since \(\mathrm {supp}\, m \subseteq [R/2, 2R]\). Therefore, (3.4) follows easily by induction, i.e. for \(i=1,\ldots ,k\),
Denote \(S=S_{c_1,\ldots ,c_k}\). As a consequence of (3.4) we have that \(\sin \theta _i \simeq \theta _i\) and \(\cos \theta _i \simeq C\) for \(i=1,\ldots ,k\). Using this, \(x_i^{\alpha _i} \simeq r^{\alpha _i} \theta _i^{\alpha _i}\) for \(i=1,\ldots ,k\) and
\(\square \)
Proposition 3.2
Assume that \(N\in \mathbb {N}\) and \(\alpha _j>-1\) for \(j=1,..,N\). Then \(P_q\) holds for B with \(q=2\).
Proof
In the proof we consider only the case \(N\ge 2\). Let \(q=2\) and suppose that m is supported in [R / 2, 2R] for some \(R>0\). Notice that by (3.3) and (3.2) we have
and the kernel associated with m(B) has the form
Therefore, by the Plancherel identity for \(H_\alpha \), \((P_2)\) is equivalent to
For each \(i=1,\ldots ,N\) we consider four cases:
- C1. :
-
\(x_i < 2^{-N}\), \(\sqrt{R}y_i > 2^N \), \(\sqrt{R}y_ix_i < 1\),
- C2. :
-
\(x_i < 2^{-N}\), \(\sqrt{R}y_i \le 2^N \),
- C3. :
-
\(x_i < 2^{-N}\), \(\sqrt{R}y_{i} > 2^N\), \(\sqrt{R}y_ix_i \ge 1\),
- C4. :
-
\( 2^{-N} \le x_i \le \sqrt{2} \).
Divide the set \(\left\{ x\in X \ : \ 1/2<|x|^2<2 \right\} \) into several disjoint regions using the cases above. Without loss of generality we may consider the set S of points \(x\in X\) such that:
-
\(x_i\) satisfies C1. for \(i=1,\ldots , k_1\),
-
\(x_i\) satisfies C2. for \(i=k_1+1,\ldots , k_2\),
-
\(x_i\) satisfies C3. for \(i=k_2+1,\ldots , k_3\),
-
\(x_i\) satisfies C4. for \(i=k_3+1,\ldots , N\),
where \(0\le k_1\le k_2 \le k_3 < N\). The fact that \(k_3< N\) is implied by \(|x|^2>1/2\). Notice that it may happen that S is empty. Recall that \(\nu (B(y,r)) \simeq \Pi _{j=1}^N \nu _j(B(y_j,r))\), where \(d\nu _j(x_j) = x_j^{\alpha _j} dx_j\) is the one-dimensional measure, and
Denote \(d_{gl} = N+\alpha _1 +\cdots +\alpha _N\). Using (3.1) and Lemma 3.1 with \(k=k_2\), we have
\(\square \)
3.3 Imaginary Powers of B
In this subsection we prove Lemma 1.1 and Theorems B and C. From now on we consider one-dimensional Bessel operator, i.e. \(N=1\), \(X=(0,\infty )\), \(\alpha >-1\), and \(d\nu (x) = x^\alpha \, dx\).
Let us start this section by recalling well-known asymptotics of the Bessel function \(I_\tau \) [28, 37], i.e.
Now we provide a short argument for (1.5). In [6, Sec. 4.3] it is proved that \(B^{ib}\) is associated with the kernel
in the sense as in (1.5) (let us notice that in [6] only positive values of \(\alpha \)’s are considered, but the proof works for \(\alpha _j>-1\) as well). By integrating by parts,
Proof of Lemma 1.1
Let us first notice that for \(\kappa \in \mathbb {R}\) and \(c,M>0\), there exists \(C=C(\kappa ,c,M)\) such that
Using (1.4) and (1.2) one obtains
Denote \(\chi _{loc}(x,y)=\chi _{\left\{ y/2<x<2y \right\} }(x,y)\) and \(\chi _{glob}(x,y)= 1-\chi _{loc}(x,y)\), \(x,y\in X\). In the proof below all expressions denoted by \(R_k\) shall be parts of the kernel \(R_b(x,y)\). Using (3.7), we write \(A_1 = A_{1,1}+R_1\), where
and
In the last inequality we have used (3.8). Denoting
we have
Notice that \(A_{1,1}\) is one of the terms from (1.6). Next, by (3.8),
Now let us turn to study \(A_2\). Denote \(c_\alpha = 4^{-(\alpha -1)/2} \Gamma ((\alpha +1)/4)^{-1}\). Then, by using (3.6),
where, by (3.8),
Moreover,
where
\(\square \)
Proof of Theorem B
for\(\varvec{\alpha <0}\). Let \(|b|>1\) and \(\varepsilon \in (0,10^{-1})\) (to be fixed later on). Denote \(I=[1, 1+\varepsilon ]\) and \(S=[1+3\varepsilon ,2]\). Put \(f_\varepsilon (x) = \varepsilon ^{-1} \chi _I(x) x^{-\alpha }\), so that \(\left\| f_\varepsilon \right\| _{L^1(X)}=1\). If \(x\in S\), by Lemma 1.1 and the triangle inequality,
Observe that for \(x\in S\) and \(y\in I\) we have \(|x-y|\simeq |x-1|\) and \(x\simeq y\simeq 1\). By using the Mean Value Theorem for the function \(y \mapsto y^{-\alpha /2} |x-y|^{-2ib-1}\),
Fix \(|b|\ge 1\) and \(\lambda \) such that \(\lambda > \max (\Lambda _2,\Lambda _3, |b c_2(b)| )\). Recall that \(x^{-\alpha /2} \ge 1\) for \(x\in S\), so that for \(\varepsilon \) small enough
and
Hence, using (3.9)–(3.12) and (1.7) we get
\(\square \)
Turning to the case \(\alpha >0\) we could also use Lemma 1.1. In this case, the summand with \(c_1(b)\) would play the first role. An alternative proof that we shall present here uses integral representation of the modified Bessel function. The same will be used in the proof of Theorem C. It is known that for \(\alpha >0\)
see [37, Ch. 6]. Therefore, for \(\alpha >0\), using (1.4), (1.2), and (3.13) we obtain
where \(C_\alpha = \pi ^{-1/2} \Gamma (\alpha /2)^{-1} \Gamma ((\alpha +1)/4)\).
Proof of Theorem B
for\(\varvec{\alpha > 0}\). Let \(|b|>1\), \(\varepsilon \in (0,10^{-1})\), and \(f_\varepsilon (x) = x^{-\alpha } \varepsilon ^{-1} \chi _{[\varepsilon ,2\varepsilon ]}(x)\). Similarly as in (3.9), using (3.14) and the Mean Value Theorem, for \(x>3\varepsilon \) we have
Let us fix \(|b|>1\) and \(\lambda >|b c_1(b)|\). For all \(\varepsilon \) small enough, we get
and
Therefore, by choosing a proper \(\varepsilon \), we obtain
\(\square \)
Proof of Theorem C
Set \(\alpha >0\), \(p\in (1,2)\), \(|b|>1\), \(\varepsilon \in (0,10^{-1})\), \(\delta >1\), and a function \({f}\in {L^p(X)}\) such that \(\mathrm {supp}f \subseteq (0,\varepsilon )\), and \(f\ge 0\). Similarly as in (3.15), using (3.14) and Corollary 4.2,
Now we take \(\delta =|b|\) and fix \(\varepsilon \) small enough, independent of b, getting
\(\square \)
4 Appendix: Gamma Function Estimate
Lemma 4.1
Let \(a+bi\in \mathbb {C}\). For \(a\ge 0\) fixed and all \(|b|\ge 1\) we have
The result above is known. It is a consequence of the Stirling’s Formula, see [1, Ch. 6]. For the convenience of the reader we present a short proof.
Proof
Using the reflection formula
and the recursion identity
we have that \(|1-ib| \left| \Gamma (ib) \right| ^2 = \left| \Gamma (ib)\Gamma (1-ib) \right| = \left| {\pi }/{\sin (\pi ib)} \right| \simeq \exp \left( -\pi |b| \right) \) for \(|b|\ge 1\). Thus,
Denote \(S = \left\{ z\in \mathbb {C}\ : \ 1\le \mathrm {Re}(z) \le 2, {\left| \mathrm {Im}(z) \right| } \ge 1 \right\} \) and define a holomorphic function
Now, we claim that \(|F(z)|\le C\) if \(z\in \partial S\). This is clear for \(z=a\pm i\), \(a\in [1,2]\). For \(z=1+ib\), \(|b|\ge 1\), we use (4.2) and (4.3) getting
Similarly we show boundedness of F for \(z=2+bi\), \(|b|\ge 1\).
Observe that \(\left| F(z) \right| \le |\Gamma (z)| |z|^{|-z+1/2|} \le C e^{c|z|^2} \) for \(z\in S\). Hence, applying the Phragmén-Lindelöf principle, we obtain that \(|F(z)| \le C\) for \(z \in S\). Therefore, for a fixed \(a\in [1,2]\) and \(|b|\ge 1\) we have
This is the desired estimate from above for \(a\in [1,2]\). We extend this for all \(a\in [0,\infty )\) by using (4.2). Then, by (4.1), we get estimate from below for \(a\in [0,1]\), and extend this for \(a\in [0,\infty )\) using (4.2) once more. \(\square \)
Corollary 4.2
For fixed \(a_1,a_2 \ge 0\) and \(|b|\ge 1\) we have
References
Abramowitz, M., Stegun, I.A.: Handbook of mathematical functions with formulas, graphs, and mathematical tables, National Bureau of Standards Applied Mathematics Series, vol. 55. U.S. Government Printing Office, Washington, D.C, For sale by the Superintendent of Documents (1964)
Alexopoulos, G.: Spectral multipliers on Lie groups of polynomial growth. Proc. Amer. Math. Soc. 120(3), 973–979 (1994)
Auscher, P., McIntosh, A., Russ, E.: Hardy spaces of differential forms on Riemannian manifolds. J. Geom. Anal. 18(1), 192–248 (2008)
Bernicot, F., Zhao, J.: New abstract Hardy spaces. J. Funct. Anal. 255(7), 1761–1796 (2008)
Betancor, J.J., Castro, A.J., Curbelo, J.: Spectral multipliers for multidimensional Bessel operators. J. Fourier Anal. Appl. 17(5), 932–975 (2011)
Betancor, J.J., Castro, A.J., Nowak, A.: Calderón-Zygmund operators in the Bessel setting. Monatsh. Math. 167(3–4), 375–403 (2012)
Betancor, J.J., Dziubański, J., Torrea, J.L.: On Hardy spaces associated with Bessel operators. J. Anal. Math. 107, 195–219 (2009)
Betancor, J.J., Stempak, K.: Relating multipliers and transplantation for Fourier-Bessel expansions and Hankel transform. Tohoku Math. J. (2) 53(1), 109–129 (2001)
Carbonaro, A., Dragičević, O.: Functional calculus for generators of symmetric contraction semigroups. Duke Math. J. 166(5), 937–974 (2017)
Chen, P.: Spectral multipliers from \(H_L^1(X)\) to \(L^q(X)\). J. Math. Anal. Appl. 385(2), 622–633 (2012)
Chen, P., Ouhabaz, E.M., Sikora, A., Yan, L.: Restriction estimates, sharp spectral multipliers and endpoint estimates for Bochner-Riesz means. J. Anal. Math. 129, 219–283 (2016)
Chen, P., Sikora, A.: Sharp spectral multipliers for a new class of Grushin type operators. J. Fourier Anal. Appl. 19(6), 1274–1293 (2013)
Christ, M.: \(L^p\) bounds for spectral multipliers on nilpotent groups. Trans. Amer. Math. Soc. 328(1), 73–81 (1991)
Coifman, R.R., Weiss, G.: Extensions of Hardy spaces and their use in analysis. Bull. Amer. Math. Soc. 83(4), 569–645 (1977)
Cowling, M.G.: Harmonic analysis on semigroups. Ann. of Math. (2) 117(2), 267–283 (1983)
Dziubański, J.: Riesz transforms characterizations of Hardy spaces \(H^1\) for the rational Dunkl setting and multidimensional Bessel operators. J. Geom. Anal. 26(4), 2639–2663 (2016)
Dziubański, J., Preisner, M.: Remarks on spectral multiplier theorems on Hardy spaces associated with semigroups of operators. Rev. Un. Mat. Argentina 50(2), 201–215 (2009)
Dziubański, J., Preisner, M.: Multiplier theorem for Hankel transform on Hardy spaces. Monatsh. Math. 159(1–2), 1–12 (2010)
Dziubański, J., Preisner, M.: Hardy spaces for semigroups with Gaussian bounds. Ann. Mat. Pur. Appl. (1923-) 197, 965–987 (2017)
Dziubański, J., Preisner, M., Wróbel, B.: Multivariate Hörmander-type multiplier theorem for the Hankel transform. J. Fourier Anal. Appl. 19(2), 417–437 (2013)
Garrigós, G., Seeger, A.: Characterizations of Hankel multipliers. Math. Ann. 342(1), 31–68 (2008)
Gasper, G., Trebels, W.: Multiplier criteria of Hörmander type for Fourier series and applications to Jacobi series and Hankel transforms. Math. Ann. 242(3), 225–240 (1979)
Gosselin, J., Stempak, K.: A weak-type estimate for Fourier–Bessel multipliers. Proc. Amer. Math. Soc. 106(3), 655–662 (1989)
Hebisch, W.: A multiplier theorem for Schrödinger operators. Colloq. Math. 60/61(2), 659–664 (1990)
Hofmann, S., Lu, G., Mitrea, D., Mitrea, M., Yan, L.: Hardy spaces associated to non-negative self-adjoint operators satisfying Davies–Gaffney estimates, Mem. Amer. Math. Soc. 214, no. 1007, vi+78 (2011)
Hörmander, L.: Estimates for translation invariant operators in \(L^{p}\) spaces. Acta Math. 104, 93–140 (1960)
Kapelko, R.: A multiplier theorem for the Hankel transform. Rev. Mat. Complut. 11(2), 281–288 (1998)
Lebedev, N. N.: Special functions and their applications, Dover Publications, Inc., New York, Revised edition, translated from the Russian and edited by Richard A. Silverman, Unabridged and corrected republication. (1972)
Martini, A., Müller, D.: A sharp multiplier theorem for Grushin operators in arbitrary dimensions. Rev. Mat. Iberoam. 30(4), 1265–1280 (2014)
Martini, A., Sikora, A.: Weighted Plancherel estimates and sharp spectral multipliers for the Grushin operators. Math. Res. Lett. 19(5), 1075–1088 (2012)
Meda, S.: A general multiplier theorem. Proc. Amer. Math. Soc. 110(3), 639–647 (1990)
Muckenhoupt, B., Stein, E.M.: Classical expansions and their relation to conjugate harmonic functions. Trans. Amer. Math. Soc. 118, 17–92 (1965)
Müller, D., Stein, E.M.: On spectral multipliers for Heisenberg and related groups. J. Math. Pures Appl. 73(4), 413–440 (1994)
Sikora, A., Wright, J.: Imaginary powers of Laplace operators. Proc. Amer. Math. Soc. 129(6), 1745–1754 (2001)
Stein, E.M.: Harmonic analysis: real-variable methods, orthogonality, and oscillatory integrals, Princeton Mathematical Series, vol. 43, Princeton University Press, Princeton, NJ, With the assistance of Timothy S. Murphy, Monographs in Harmonic Analysis, III (1993)
Thinh Duong, X., Ouhabaz, E.M., Sikora, A.: Plancherel-type estimates and sharp spectral multipliers. J. Funct. Anal. 196(2), 443–485 (2002)
Watson, G.N.: A treatise on the theory of Bessel functions. Cambridge University Press, Cambridge, Cambridge Mathematical Library (1995). Reprint of the second (1944) edition
Wróbel, B.: Multivariate spectral multipliers for tensor product orthogonal expansions. Monatsh. Math. 168(1), 125–149 (2012)
Acknowledgements
The authors would like to thank Jacek Dziubański, Alessio Martini, Adam Nowak, Błażej Wróbel, and the referees for their helpful comments and suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Krzysztof Stempak.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The research is supported by the Grant No. 2017/25/B/ST1/00599 from National Science Centre (Narodowe Centrum Nauki), Poland.
Rights and permissions
OpenAccess This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Kania, E., Preisner, M. Sharp Multiplier Theorem for Multidimensional Bessel Operators. J Fourier Anal Appl 25, 2419–2446 (2019). https://doi.org/10.1007/s00041-019-09667-z
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00041-019-09667-z