Abstract
We consider the setting of manifolds with ends which are obtained by compact perturbation (gluing) of ends of the form \({\mathbb {R}}^{n_i}\times {\mathcal {M}}_i\). We investigate the family of vertical resolvent \(\{\sqrt{t}\nabla (1+t\Delta )^{-m}\}_{t>0}\), where \(m\ge 1\). We show that the family is uniformly continuous on all \(L^p\) for \(1\le ~p~\le ~\min _{i}n_i\). Interestingly, this is a closed-end condition in the considered setting. We prove that the corresponding maximal function is bounded in the same range except that it is only weak-type (1, 1) for \(p=1\). The Fefferman-Stein vector-valued maximal function is again of weak-type (1, 1) but bounded if and only if \(1<p<\min _{i}n_i\), and not at \(p=\min _{i}n_i\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Maximal functions play a significant role in the history and development of Harmonic Analysis, see [21, Chapters II and V]. This research area is closely related to the notion of square functions, Riesz transform, and other singular integrals. Here our starting point is the theory of vertical maximal functions and we study the same setting for which the square functions were investigated in [2]. This is a situation which involves manifolds with ends and includes examples of spaces of non-doubling class. The description of Riesz transform continuity in this setting was provided in [5] and [16], see also [4].
This point motivates and initiates our study here in understanding the behaviour of certain maximal functions on \(L^p\) spaces.
There are two main themes for which we believe readers could find our manuscript interesting:
-
Maximal functions and Fefferman-Stein vector-valued maximal functions.
-
Uniform continuity of gradient of heat kernels or resolvents and its relation with Riesz transform.
Let us recall \(L^{p_0}\)-boundedness condition of the gradient of the heat semigroup generated by the negative Laplace-Beltrami operator \(\Delta \)
![figure a](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00028-024-00981-8/MediaObjects/28_2024_981_Figa_HTML.png)
We do not study vertical maximal functions and related ideas in their full generality but rather in illuminating setting of manifolds with ends which provides several surprising and inspiring examples illustrating the above two points. It became clear from the beginning of our study that we should investigate these points in the context of two other central topics of harmonic analysis:
-
Square functions: We are interested in the following vertical square functions
$$\begin{aligned} \Bigg (\int _0^\infty |\sqrt{t}\nabla \psi (t\Delta ) x|^2\frac{dt}{t}\Bigg )^{1/2}, \end{aligned}$$(1)where \(\psi (t\Delta )\) can either be the semigroup generated by \(\Delta \) for \(\psi (z)=e^z\) or a resolvent operator, that is, \(\psi (z):=(1+z)^{-m}\) for some \(m\ge 1\).
-
R-boundedness: We refer to Sect. 4 for the description.
Our investigation sheds light on the significance of results described in [17] as well as suggests several interesting future directions in Analysis in Banach spaces.
We consider here the dichotomy of
The horizontal variant involves only a generator of the semigroup and resolvent. The more unexpected behaviour is related to vertical type estimates which involve gradient action, which we discuss in detail below. The vertical estimates are the most interesting part of our discussion.
The classical semigroup theory is based on the equivalence between the resolvent and semigroup approach, see Pazy [19]. We believe that in the setting of manifolds with ends the resolvent approach is more natural and effective. It is likely to be a better approach in studying compact perturbation of the standard Laplace operator and many similar settings. Thus, building harmonic analysis theory based on resolvent rather than on heat kernel is one of the directions which we would like to investigate here. A more comprehensive approach to the resolvent based harmonic analysis requires more extensive work going beyond our discussion here, and which we are going to study somewhere else.
Our study here is devoted to the setting of manifolds with ends. In general, these spaces usually do not satisfy the doubling condition, and this is a very significant aspect of our investigation. In a metric measure space \((X,d,\mu )\), the doubling condition means that there exists a constant \(C>0\) such that
![figure b](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00028-024-00981-8/MediaObjects/28_2024_981_Figb_HTML.png)
for all \(x\in X\) and \(t>0\), where the notation B(x, t) is used to denote the ball of radius t centered at the point x.
We start with the classical definition of maximal functions introduced by Hardy and Littlewood in 1930. The following Hardy-Littlewood maximal operator given in terms of the averages over balls B(x, t) has been an essential part of harmonic analysis:
The classical result shows the boundedness of M on \(L^p({\mathbb {R}}^d)\) spaces for \(1<p\le \infty \) along with weak-type (1,1) bounds. These maximal functions are studied in various forms till date and Stein’s book [21] is a great source to know some classical results on them.
The following Stein’s maximal function
defined using the semigroup generated by the negative Laplace-Beltrami operator \(\Delta \) is of significant importance in the characterisation of Hardy spaces, see for instance [3]. On Euclidean spaces, this maximal function is dominated by the Hardy-Littlewood maximal operator and hence is bounded on \(L^p\) spaces with weak-type (1,1) estimates on \(L^1\). In [20, Page 73], Stein showed the boundedness of \(M^{exp}\) on \(L^p\) spaces for \(1<p\le \infty \) implicitly, where he proved a more general result for the semigroup generated by a self-adjoint operator that satisfies contraction property \(\Vert e^{t\Delta }f\Vert _{L^p}\le \Vert f\Vert _{L^p} \). Similar result was obtained by Le Merdy and Xu in [18, Corollary 4.2] for the derivative of the heat semigroup. The weak-type estimates were used to be obtained with the help of the standard Calderón-Zygmund theory of 70’s and 80’s, specifically on the Euclidean spaces or more generally on doubling metric measure spaces. This theory no longer works in non-doubling situations.
In certain non-doubling situations, more precisely on manifolds with ends, Duong-Li-Sikora [10] showed the weak-type (1,1) estimates for both Hardy-Littlewood maximal operator and Stein’s maximal operator. These non-doubling complete Riemannian manifolds are formed as connected sums and are of great interest to us in this article.
We start with a definition of a manifold with finitely many ends. We refer readers to [13,14,15] for a more detailed description of the setting. Here we use notations similar to [2].
Definition 1.1
We say that a manifold \({\mathcal {V}}\) is a connected sum of a finite number of complete and connected manifolds \({\mathcal {V}}_1,\ldots ,{\mathcal {V}}_l\) of the same dimension, denoted by
if there exists some compact subset \(K\subset {\mathcal {V}}\), with non-empty interior, for which \({\mathcal {V}}\setminus K\) can be expressed as the disjoint union of open subsets \(E_i\subset {\mathcal {V}}\) for \(i=1,\ldots ,l\), where \(E_i\simeq {\mathcal {V}}_i{\setminus } K_i\) for some compact subset \(K_i\subset {\mathcal {V}}_i\).
Fix \(N\in {\mathbb {N}}^*={\mathbb {N}}\setminus \{0\}\). We consider an N-dimensional complete Riemannian manifold \( {\mathcal {M}}\) (unless otherwise stated) that is obtained by taking the connected sum of \(l \ge 2\) copies of manifolds which are Cartesian products of Euclidean spaces \({\mathbb {R}}^{n_i}\) with compact Riemannian manifolds \({\mathcal {M}}_i\) and \(n_i+\text {dim }{\mathcal {M}}_i=N\). That is, we are interested in smooth Riemannian manifolds of the form
As mentioned in the previous definition, it is possible to choose compact subset \(K\subset {\mathcal {M}}\) with non-empty interior, and open subsets \(E_i\subset {\mathcal {M}}\) such that \({\mathcal {M}}\setminus K\) can be expressed as a disjoint union of \(E_i\). This makes \({\mathcal {M}}\) a manifold with ends where \(E_i\) are referred to as the ends and K is considered to be the center of \({\mathcal {M}}\). The Riemannian structure on \({\mathcal {M}}\) restricted to each end coincides with the Cartesian product of Euclidean spaces \({\mathbb {R}}^{n_i}\) and some metric on \({\mathcal {M}}_i\). For more geometrical interpretation of these manifolds, see [13,14,15].
Note that, an interesting case occurs where the dimensions \(n_i\) of the Euclidean spaces are not all the same. That is, the ends have different ‘asymptotic dimension’. In that situation the manifold is not a doubling space. We can think of this intuitively as a “connected sum of Euclidean spaces of different dimensions”. Such a class of manifolds was studied in detail by Grigor’yan and Saloff-Coste, who obtained upper and lower bounds on the heat kernel on such manifolds, see [14, 15]. Duong-Li-Sikora used this to obtain weak-type (1,1) estimates for the Hardy-Littlewood maximal function and Stein’s maximal function. At this point, no bounds similar to [14, 15] are known for the gradient as well as the derivative of the heat kernel in the setting of manifolds with ends.
Therefore, in this article, we investigate the boundedness of the following resolvent based horizontal and vertical maximal functions, respectively, in the class of manifolds with ends. Here \(\Delta \) is the negative Laplace-Beltrami operator on \({\mathcal {M}}\) and \(\nabla \) is the gradient corresponding to the Riemannian structure
For (3) and (4) we are able to use pointwise estimates from [16], see also Propositions 2.1 and 2.2 below. Our main aim is to prove the following theorems in the setting of Riemannian manifolds with ends. Thus, we assume \({\mathcal {M}}\) to be a manifold with ends defined in (2) with \(n_i\ge 3\) and \(n^* =\min n_i\). We start our discussion here with a version of \((G_p)\)-condition which should be connected with the results from [1].
Theorem A
Let \(m\in {\mathbb {N}}\). The following estimates on the gradient of the resolvent operator holds:
and
for all \( p\in [n^*, \infty ]\). Moreover for some \(c>0\)
for all \( p\in [n^*, \infty ]\).
Remark 1.1
Note that (5) and (6) are similar to the estimates valid for the standard Laplace operator on Euclidean space \({\mathbb {R}}^n\). However, from (7) and (8) it follows that for \(t \ge 1\) the norm \( \Vert \;|{\sqrt{t}} \nabla (1+t\Delta )^{-1}|\;\Vert _{p \rightarrow p}\) is comparable to \( (\sqrt{t})^{1-n^*/p}\) for \( p\in [n^*, \infty ]\). For \(p>n^*\) this asymptotic essentially differs from the standard Laplace operator behaviour.
The next statement is a maximal function version of the condition \((G_p)\). It is valid in the same range of p except of weak-type (1, 1) for \(L^1\).
Theorem B
Assume that \({\mathcal {M}}\) is a manifold with ends defined in (2). Then on \(L^p({\mathcal {M}})\)
-
(a)
The vertical maximal operator \(M_m^{res,\nabla }\) is bounded if and only if \(1< p \le n^*\), that is,
$$\begin{aligned} \Vert M_m^{res,\nabla }f(x)\Vert _{p \rightarrow p } \le C < \infty \end{aligned}$$if and only if \(1<p \le n^*\) (for some constant \(C>0\)).
-
(b)
The horizontal maximal operator \(M^{res,\Delta }_m\) is bounded for all \(1<p \le \infty \), that is,
$$\begin{aligned} \Vert M_m^{res,\Delta }f(x)\Vert _{p \rightarrow p } \le c < \infty \end{aligned}$$for all \(1<p \le \infty \) (for some constant \(c>0\)).
Both operators \(M_m^{res,\nabla }\) and \(M_m^{res,\Delta }\) are also of weak-type (1, 1).
Remark 1.2
The negative result in the case of the vertical maximal operator comes as a consequence of the resolvent based \((G_p)\) condition proved in Theorem A. Interestingly, \((G_p)\) condition is not open ended unlike the one with the gradient of the heat kernel given in [1]. Note that in the setting considered in [8] condition \((G_p)\) is proven to be open ended.
Remark 1.3
It is known that \(L^p\) continuity for square function (1) implies \((G_p)\) type version of conditions (5) and (6) for \(L^p\) spaces, see [6, Proposition 5.3] and [7]. Such square function estimates for all \(1<p<n^*\) were obtained in [2]. It was also verified that the square function estimates are not valid for \(n^* \le p\). It means that this approach cannot be used to verify (5) for \(p=n^*\). The results described in [2] cannot lead to (7) and (8). In [6], the following problem is also stated: “One might ask whether boundedness of Square function in (1) is in turn equivalent to \((G_p)\). To the best of our knowledge, this question is also open in general.” One can see that in the setting which we consider here the equivalence is not valid for \(p=n^*\).
The next theorem gives us the vector-valued version of Theorem B. Similar estimate for the Hardy-Littlewood maximal function was obtained by Fefferman and Stein in [11] on Euclidean spaces. The equation (9) below is a variant of the Fefferman-Stein maximal inequality for the vertical maximal operator. There are many such results for the Hardy-Littlewood maximal operator on different spaces. See, for instance, [12, Theorem 1.2] on spaces of homogeneous type and [9, Theorem 3.1] again on spaces of homogeneous type but for the lattice valued maximal function. The inequality in (9) for the vertical maximal operator comes naturally on a doubling manifold as a result of the Hardy-Littlewood maximal inequality and is mentioned in Proposition 2.3. In Theorem C below we show this result on manifolds with ends.
Theorem C
Consider the vertical maximal operator \(M^{res,\nabla }_m\) on \(L^p({\mathcal {M}})\). There exists a constant \(A_{p,{\mathcal {M}}}>0\) (depending on p and \({\mathcal {M}}\)) such that
for all \(1<p<n^*\) and of weak-type (1, 1). The estimates are false for \(n^* \le p\).
Another crucial idea for Harmonic analysis which is closely related to our discussion of Maximal functions is continuity of the Riesz transform acting on \(L^p\) spaces:
![figure c](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00028-024-00981-8/MediaObjects/28_2024_981_Figc_HTML.png)
and some constant \(C>0\). This is a basic issue which was already initiated in the setting of complete non-compact manifolds in [22] by Strichartz. It was proved in [16] that the Riesz transform \(T=\nabla \Delta ^{-1/2}\) acts as a bounded operator from \(L^p({\mathcal {M}}) \rightarrow L^p({\mathcal {M}}; T{\mathcal {M}})\) if and only if \(1<p<n^*\) and that T is also of weak-type (1, 1) in this class of manifolds. The results described in [16] which includes non-doubling settings were continuation of studies developed in [4] and [5].
An interesting application of the Riesz transform was given by Cometx and Ouhabaz in [6]. They showed that the boundedness of the Riesz transform implies R-boundedness of the set \(\{\sqrt{t}\nabla e^{t\Delta }:t>0\}\) which is equivalent to the boundedness of the vertical square function in (1) for the semigroup. We know that, in our setting of manifolds with ends, the range of p for the boundedness of \((R_p)\) and R-boundedness of the set \(\{\sqrt{t}\nabla e^{t\Delta }:t>0\}\) coincides, see [2, 16]. This implies that these two conditions are equivalent in our setting. However, we do not know any direct proof for the inverse implication, that is, from R-boundedness to \((R_p)\) condition.
2 Preliminaries
Throughout this article, we fix \({\mathcal {M}}=({\mathbb {R}}^{n_1}\times {\mathcal {M}}_1)\#\cdots \#({\mathbb {R}}^{n_l}\times {\mathcal {M}}_l)\) as a complete Riemannian manifold with \(l\ge 2\) ends, unless otherwise stated. We note again that \(\Delta \) is the negative Laplace-Beltrami operator on \({\mathcal {M}}\) and \(\nabla \) is the gradient corresponding to the Riemannian structure. The notation K will be used to denote the compact subset (also the center) of \({\mathcal {M}}\) and the sets \(K_i\) and \(E_i\) will be as given in Definition 1.1. That is, \({\mathcal {M}}\setminus K\) can be expressed as the disjoint union of the ends \(E_i\), where \(E_i\simeq {\mathbb {R}}^{n_i}\times {\mathcal {M}}_i{\setminus } K_i\).
In what follows, we always assume that each \(n_i\) is at least 3. Recall that we set \(n^*=\min _{i} n_i\).
Notation. For \(x\in {\mathbb {R}}^n\), we define \(\left<x\right>:=(1+|x|^2)^{1/2}\). We use the notation d(x, y) to denote the distance between two points x and y in some ambient Riemannian manifold. We also employ the notation \(``\lesssim ''\) and \(``\gtrsim ''\) to denote inequalities “up to a constant”. That is, for any two quantities \(a, b\in {\mathbb {R}}\), by \(a\lesssim b\) we mean that there exists a constant \(C>0\) such that \(a\le C\cdot b\). The same holds for \(``\gtrsim ''\). We denote equivalence “up to a constant” by \(a\simeq b\) which means that there exist constants c and \(c'\) such that \(\frac{1}{c}a\le b\le c'a\). Lastly, for a function g(x, y) of two variables, we use the notation \(\nabla _xg(x,y)\) to denote the gradient with respect to the first variable.
We write the Stein’s maximal function in the resolvent form as
and keep the notation \(M^{res,\Delta }_m\) and \(M^{res,\nabla }_m\), defined in (3) and (4), for the resolvent based horizontal and vertical maximal operators, respectively. With the help of the standard integral representation we get the following relation between the resolvent and the semigroup generated by \(\Delta \).
where \(\Gamma (m)\) is the Gamma function of m. This allows us to control the function \(M^{res}_m f(x)\) by the Stein’s maximal function \(M^{exp} f(x)\). Indeed,
Thus, \(M^{res}_m\) is bounded on \(L^p\) whenever \(M^{exp}\) is.
2.1 Higher-order Resolvents of the Laplacian on \({\mathcal {M}}\)
In this section we recall, from [2], several properties of the resolvent \((\Delta +k^2)^{-m}\) for \(0<k\le 1\). For the origin of these resolvent parametrix construction ideas see also [5] and [16].
We first recall the following key lemma from [16] which was crucial for the parametrix construction of the resolvent \((\Delta +k^2)^{-1}\) on \({\mathcal {M}}\). For each end \({\mathbb {R}}^{n_i}\times {\mathcal {M}}_i\) we choose a point \(x_i^\circ \) such that \(x_i^\circ \in K_i\), where \(K_i\) are compact subsets of \({\mathbb {R}}^{n_i}\times {\mathcal {M}}_i\).
Lemma 2.1
(Key Lemma) Assume that each \(n_i\) is at least 3. Let \(v\in C_c^\infty ({\mathcal {M}},{\mathbb {R}})\). Then there exists a function \(u:{\mathcal {M}}\times {\mathbb {R}}_+\rightarrow {\mathbb {R}}\) such that \((\Delta +k^2)^{-1}u=v\) and such that on ith end we have:
for some \(C>0\).
With the help of the above Lemma, it was shown in [16] that the resolvent operator \((\Delta +k^2)^{-1}\) can be decomposed into four components. That is, for \(0<k\le 1\), the resolvent can be written as
We recall below the definition of each of these components. Let \(\phi _i\in C^\infty ({\mathcal {M}})\) be a function supported entirely in \({\mathbb {R}}^{n_i}\times {\mathcal {M}}_i\setminus K_i\) that is identically equal to 1 everywhere outside of a compact set. Define \(v_i:=-\Delta \phi _i\) and note that \(v_i\) is compactly supported. Let \(u_i\) be the function for \(v_i\) whose existence is asserted by Lemma 2.1. The \(G_1(k)\) term is entirely supported on the diagonal ends and has the following kernel
Let \(G_{int}(k)\) be an interior parametrix for the resolvent that is supported close to the compact subset
and agrees with the resolvent of \(\Delta _{{\mathbb {R}}^{n_i}\times {\mathcal {M}}_i}\) in a small neighbourhood of \(K_\Delta \) intersected with the support of \(\nabla \phi _i(x)\phi _i(y)\). This gives us the \(G_2(k)\) term whose kernel has the following representation
The \(G_{3}(k)\) term has the nice property that its kernel is multiplicatively separable into functions of x and y. That is,
where \((\Delta + k^{2})u_i=-\Delta \phi _i =\nu _i \). The final term \(G_4(k)\) is a correction term, and for this we first define the error term E(k) as
The operator \(G_4(k)\) is given by
where \(v_{y}(x):= E(k)(x,y)\) and is compactly supported. The error term was computed in [16] and has the following representation
Here
for \(i=1,\ldots ,l\), and
where \(\delta _y\) is the Dirac-delta function centered at y.
Since we are interested in the higher-order resolvents on \({\mathcal {M}}\), by the above decomposition we can write \((\Delta +k^2)^{-m}\) as
where \(H^{(m)}_j(k):=\frac{(-1)^{m-1}}{(m-1)!}\partial _{k^2}^{(m-1)}G_j(k)\). For simplicity, we use the shorthand notation \(H_j(k)\).
Now, following [16], for \(a=1,2\) we define weight functions \(\omega _a: {\mathcal {M}} \times [0, 1] \rightarrow (0,\infty )\) by
We recall below the propositions from [2] that estimates the terms \(H_3(k)\) and \(H_4(k)\) using these weight functions.
Proposition 2.1
[2, Proposition 3.4] The kernel of the operator \(H_3(k)\) satisfies
and
for all \(x,y\in {\mathcal {M}}\), and \(0<k\le 1\).
Proposition 2.2
[2, Proposition 3.5] The kernel of the operator \(H_4(k)\) satisfies
and
for all \(x,y\in {\mathcal {M}}\), and \(0<k\le 1\).
Let \({\mathcal {N}}\) be a compact Riemannian manifold. Then \({\mathbb {R}}^n\times {\mathcal {N}}\) is a manifold that satisfies the doubling property. On this manifold, we show in the following lemma that the vertical maximal operator is bounded on \(L^p\) for \(1<p\le \infty \) and satisfies weak type (1,1) estimates.
Lemma 2.2
The vertical maximal operator \(M^{exp,\nabla }f(x)=\sup _{t>0}|\sqrt{t}\nabla e^{-t\Delta _{{\mathbb {R}}^n\times {\mathcal {N}}}}f(x)|\) is bounded on \(L^p({\mathbb {R}}^n\times {\mathcal {N}})\) for \(1<p\le \infty \) and is weak-type (1, 1). The same statement holds for \(M^{res,\nabla }_m=\sup _{t>0}|\sqrt{t}\nabla ({1+t\Delta _{{\mathbb {R}}^n\times {\mathcal {N}}}})^{-m}f(x)|\).
Proof
The heat kernel on \({\mathbb {R}}^n\times {\mathcal {N}}\) has the form
where \(N=\text {dim } {\mathcal {N}}+n\), and satisfies the following spatial derivative estimate
On controlling the right hand side by an infinite sum we obtain
Thus,
Here Mf is the Hardy-Littlewood maximal function which is bounded on \(L^p({\mathbb {R}}^n\times {\mathcal {N}})\) for \(1<p\le \infty \) and is weak-type (1,1). This implies that \(M^{exp,\nabla }f\), and hence \(M^{res,\nabla }_mf\), are weak-type (1,1) and bounded on \(L^p({\mathbb {R}}^n\times {\mathcal {N}})\) for all \(1<p\le \infty \). \(\square \)
Proposition 2.3
Consider again the vertical maximal operator \(M^{exp,\nabla }\) on \(L^p({\mathbb {R}}^n\times {\mathcal {N}})\). Then, for any sequence \((f_j)_{j=1}^\infty \in L^p({\mathbb {R}}^n\times {\mathcal {N}})\)
for some constant \(C>0\) and
for all \(1<p<\infty \) and some constant \(A_{n,p,{\mathcal {N}}}\) (depending on p and the manifold \({\mathbb {R}}^n\times {\mathcal {N}}\)).
Proof
Using the similar idea as in the proof of Lemma 2.2 we obtain that \(M^{exp,\nabla }\) is controlled by the Hardy-Littlewood maximal operator M. This implies that for a sequence of functions \((f_j)_{j=1}^\infty \) in \(L^p({\mathbb {R}}^n\times {\mathcal {N}})\) we have
where the last inequality follows from [12, Theorem 1.2], see also [21, Theorem 1, p. 51], and holds for all \(1<p<\infty \) and is also weak-type (1,1). \(\square \)
The following lemma for bounded linear operators on a Banach space X is crucial to prove the vector-valued version of the vertical maximal function. The statement is quoted from [21, Section 2.5, Chapter X, p. 450] and we include its proof here for completeness.
Lemma 2.3
Suppose S is a bounded linear operator on \(L^p(X,d\mu )\), where X is a Banach space. Let \(f=(f_j)_{j=1}^\infty \) be a sequence in \(L^p(X,d\mu )\). Then we have the following relation
Proof
To prove the above relation it is enough to show that for any \(J\in {\mathbb {N}}\) we have
For a unit vector \(\omega =(\omega _{J})\in {\mathbb {C}}^{J}\) define \(f_\omega :=\left<f,\omega \right>\) such that \(Sf_\omega =\left<Sf,\omega \right>\), where \(Sf=(Sf_j)_{j=1}^{J}\). Let \(\sigma _{J}\) be the boundary of the sphere \({\mathbb {S}}^{J}\) in \({\mathbb {C}}^{J}\). Consider
where \(A_{J,p}\) is a positive constant that depends on J and p. We also have
Since the above two relations hold independent of J, we obtain (12). \(\square \)
3 Proofs of main theorems
3.1 Proof of theorem A
First note that
The proof of the above estimate is a consequence of ideas discussed in Sections 5 and 7 of [16]. The argument is a modification of the proof of [16, Proposition 5.1]. The similar argument is also described in [2, Proposition 5.1], see also [16, Proposition 2.4].
Now, it follows from (14) that it is enough to consider \(t>1\). We substitute \(t=1/k^2\) and in what follows we consider only \(k<1\). Then, using the parametrix for the resolvent \((k^2+\Delta )^{-m}\), we obtain
To obtain the \(L^p\) bounds, we shall analyze all factors \(H_j(k)\) for \(j=1,\ldots , 4\).
\(\bullet \) The \(H_1(k)\) term.
From the definition of \(H_1(k)\), we need to analyze the boundedness of
The kernel of \(H_1(k)\) can be viewed as an operator acting on \({\mathbb {R}}^{n_i} \times {\mathcal {M}}_i\). We split this kernel into two pieces, according to whether the derivative \(\nabla \) hits the function \(\phi (x)\) or the resolvent factor.
Case (1): \(H_{1,a}\)— when the derivative hits the resolvent. That is, we need to compute the \(L^p\) norm of
Let \(R_{1,k}(x,y)= \phi _i(x)k^{2\,m-1}\nabla (\Delta _{{\mathbb {R}}^{n_i}\times {\mathcal {M}}_i}+k^2)^{-m}(x,y)\phi _i(y)\) be the kernel of the above operator. Define the norm
for some operator T. If we show that
and
for some constant \(C>0\), then the operator in (16) will be bounded on \(L^p\) for \(p=1\) and \(p=\infty \), and hence for all \(1\le p\le \infty \), by interpolation. Indeed, consider
The last relation follows by a change of variable, and the second last relation follows from the fact that \(\phi _i\) takes the value 1 outside a compact subset \(K_i\) of \({\mathbb {R}}^{n_i}\times {\mathcal {M}}_i\) and is zero elsewhere. Since the kernel is symmetric in x and y variables, we have \(||R_{1,k}(x,y)||_{L^\infty _xL^1_y}\le C\).
Case (2): \(H_{1,b}\)— when the derivative hits the function \(\phi (x)\). Here we shall show that
for all \(1\le p \le n_i\).
Set \(D=\{(x,y)\in {\mathcal {M}}^2: d(x,y)\le 1\}\) and let \(\chi _{D}\) be the characteristic function of the set D. By the standard argument of [2, Proposition 2.2], we get that
Indeed,
for some constant C and for all \(x,y \in {\mathbb {R}}^{n_i}\times {\mathcal {M}}_i\) independent of k. The operator now is bounded because it is estimated by a “convolution” with \(L^1({\mathbb {R}}^{n_i}\times {\mathcal {M}}_i)\) function.
Consider now the kernel \(R_{2,k}(x,y)\) of the operator \((1-\chi _D)k^{2m-1}(\Delta _{{\mathbb {R}}^{n_i}\times {\mathcal {M}}_i}+k^2)^{-m}\). Then, again using [2, Proposition 2.2] and following as in the \(H_{1,a}\) term, we obtain
Similarly,
This implies that this operator is bounded as a map from \(L^{q'}\rightarrow L^\infty \) and from \(L^1\rightarrow L^q\) with operator norm bounded by \(k^{-1+n_i(1-1/q)}\). Interpolating, we find that
for all \(p<q\). Hence,
for all \(p<q\) such that \(1/p-1/q\ge 1/n_i\). This, and the fact that \(\nabla \phi _i\) is compactly supported, implies that
for all \(p\le n_i\).
\(\bullet \) The \(H_2(k)\) term.
From the definition of \(G_2(k)\), which occurs in the term \(H_2(k)\), it can be noticed that the operators \(\{\nabla H_2(k)\}_{k\in (0,1)}\) form a family of pseudodifferential operators of order \(1-2m\) with the Schwartz kernel having compact support and depending smoothly on k. At the scale of an individual chart on \({\mathcal {M}}\), it is clear that in local coordinates, the symbol of \(\nabla H_2(k)\), denoted by \(a_2(k)(x,\xi )\), will satisfy
for all multi-indices \(\alpha \ge 0\) and \(k\in (0,1)\). Thus, from the standard pseudodifferential operator theory, see for instance [23, Section 0.2], we get
for any \(b>N+1-2m\). Setting \(b=N-\frac{1}{2}\) then gives
Thus, the operator with the \(H_2(k)\) term has kernel that is compactly supported and is controlled by \(d(x,y)^{\frac{1}{2}-N}\). Therefore, we obtain the boundedness here for all \(1\le p \le \infty \).
\(\bullet \) The \(H_3(k)\) term.
To obtain the boundedness in this case, we consider the kernel \(H_3(k)(x,y)\). Now, Proposition 2.1 gives
and
where \(\omega _a(x,k)\) is defined in (11) for \(a=1,2\).
Now, depending on whether x and y are in the compact set or outside, we have the following outcomes from the definition of \(\omega _a\)
By simple computations we obtain
Also,
Set
This gives
We thus have
where
Since \(\frac{n_j}{2}\ge \frac{3}{2}\) for all j, and \(\frac{n_i}{n_i-1}\le \frac{3}{2}\) for all i, so the first case cannot happen, and from the remaining cases we obtain boundedness for all \(1\le p\le n_j\). This is because the exponent \(\frac{n_j}{p}-1\) of k in the second case is non-negative only if \(p\le n_j\).
\(\bullet \) The \( H_4(k)\) term.
This term can be treated in the same way as the \(H_3(k)\) term, with the difference that it vanishes to an additional order in the right (primed) variable. Indeed, by Proposition 2.2, we have
This implies
Following on similar lines as in the \(H_3\) term, we obtain boundedness for all \(1\le p\le \infty .\)
Now, taking \(H_j(k)\) terms together for \(j=1,\ldots ,4\), we obtain \(||\;|\sqrt{t}\nabla (1+t\Delta )^{-m}|\;||_{p\rightarrow p}\lesssim 1\) for all \(t>0\) and all \(1\le p\le n^*\), where \(n^*=\min _{i}\{n_i\}\). Also, from (19) we obtain \(||\;|\sqrt{t}\nabla (1+t\Delta )^{-m}|\;||_{p\rightarrow p}\lesssim (\sqrt{t})^{1-\frac{n^*}{p}}\) for \(p\in [n^*,\infty ]\) and \(t\ge 1\).
We shall now show that for \(m=1\) we also have
and for all \(p\in [n^*, \infty ]\), where \(c>0\) is some constant. It can be noticed that in the previous part of the proof the only parts that did not give the uniform boundedness for the entire range of \(p\in [1,\infty ]\) were \(H_1(k)\) and \(H_3(k)\). Thus, to obtain (20), we only have to look for these two cases. Since we are working with \(m=1\), we only need to consider the cases \(G_1(k)\) and \(G_3(k)\). Therefore, we estimate the following expression
Recalling from the previous part of the proof, the \(H_1(k)\) term were divided into two parts, \(H_{1,a}\) and \(H_{1,b}\) depending on whether the gradient hits the resolvent factor or the function \(\phi _i\). The term where the gradient hits the resolvent, \(H_{1,a}\), was proved to be uniformly bounded on \(L^p\) for all \(p\in [1,\infty ]\). It is, therefore, sufficient to verify the lower bounds from (20) for the operator corresponding to the following kernel
Now, if we compute the first part of the above kernel at \(x=x_i^\circ \) for some i, then to verify estimates for (21), it is enough to get lower bounds like (20) for the operator corresponding to the following kernel
Thus, we are left to show that the \(L^p\) norm of the operator with the kernel described in (22) is greater than \(ck^{-(1-n^*/p)} \) for some \(c>0\) and all \(1>k>0\).
Let \(a_k(x)=\nabla \phi _{i}(x)+\nabla u_i(x,k) \), then adding and subtracting \(\nabla u_i(x,0)\) in \(a_k(x)\) we obtain
It has been shown in [16] that the first term of \(a_k(x)\) is uniformly bounded on \(L^p({\mathcal {M}})\) for all \(p\in (1,\infty )\). Therefore, the required estimates for (22) will be implied by the lower bounds for
Let \(a(x)=\left|\nabla \phi _{i}(x)+\nabla u_i(x,0)\right|\) and f be a positive function. Also, let
Then, by [2, Corollary 2.3], there exists a constant \(C>0\) such that
Thus,
where \(g(y)=d(x_i^\circ ,y)^{2-n_i}e^{-ckd(x_i^\circ ,y)}\). Now,
That is, \(||R||_{p\rightarrow p}\gtrsim k^{\frac{n^*}{p}-1}\) for \(0<k\le 1\) and \(p\in [n^*,\infty ]\), which further implies that (8) holds for all \(t\ge 1\) and \(p\in [n^*,\infty ]\). This ends the proof of Theorem A.
3.2 Proof of theorem B
The boundedness of the horizontal maximal operator follows from [10, Theorem 3], (10), and the fact that we can write
Therefore, we are interested in obtaining bounds for \(M^{res,\nabla }_m\). Clearly, it follows from (7) that
for all \(p > n^*\).
Again replacing t by \(\frac{1}{k^2}\) we obtain
By the same argument as in Theorem A, we focus on the case when \(t>1\), that is, \(0<k<1\).
We start with the boundedness of the \(H_1(k)\) term.
Boundedness of \(I_1\) holds for all \(1<p\le \infty \) and is weak-type (1,1) by Lemma 2.2.
For \(I_2\), following on similar lines as in \(H_{1,b}\) of Theorem A, we take \(\chi _D\) as the characteristic function of the set \(D=\{(x,y)\in {\mathcal {M}}^2: d(x,y)\le 1\}\). Then, by [2, Proposition 2.2], we have
Consider now
where the third inequality follows again by [2, Proposition 2.2] and the fact that \(\phi _i\) is supported outside a compact set. The above supremum is finite by the \(H_3(k)\) term of Theorem A and thus bounded for \(1<p\le n_i\). Hence, \(I_2\) is bounded for \(1<p\le n_i\). It is also bounded when \(p=1\). Indeed,
Since the \(H_2(k)\) term is again a pseudodifferential operator, its boundedness holds in the same way as in Theorem A for all \(1\le p \le \infty \).
For \(H_3(k)\) we follow the similar procedure as done in Theorem A.
Case \(p>\frac{n_i}{n_i-1}\). We have
where the first integral is obtained by controlling \(e^{-ckd(x_i^\circ ,x)}\) by 1 and is finite for all \((n_i-1)p>n_i\), i.e., \(p>\frac{n_i}{n_i-1}\). The supremum, on the other hand, is finite by the \(H_3(k)\) term of Theorem A. This gives the boundedness for \(\frac{n^*}{n^*-1} <p\le n_i\). Hence, the \(H_3(k)\) term is bounded here for all \(\frac{n^*}{n^*-1} <p\le n^*\).
Case \(p=1\). In the next step we shall prove that \(H_3(k)\) is of weak-type (1, 1). When \(p=1\) we note that
where \(\omega (x)=\left< d(x_i^\circ ,x)\right>^{-n_i}\) for \(x \in {\mathbb {R}}^{n_i}\times {\mathcal {M}}_i\) and \(\omega (x)=1\) for \(x\in K\). In addition, we note that the \(L^\infty \) norm of \(\omega _2(y,k)\) is uniformly (independently of k) bounded. Since the function \(d(x_i^\circ ,x)^{-n_i}\) is in \(L^{1,\infty }\), we obtain that the maximal \(H_3(k)\) term is weak-type (1,1). Next, by interpolation it follows that the \(H_3\) part is continuous for the whole range \(1<p \le n^* \).
The analog of the argument for \(H_3\) shows the boundedness of the \(H_4(k)\) term but for \(1<p\le \infty \). In fact, we obtain the weak-type (1,1) estimates by a straightforward modification of the argument from (25). Thus, the boundedness of the maximal function is obtained on \(L^p\) spaces for \(1<p\le n^*\) by combining the above \(H_j(k)\) terms \((1\le j\le 4)\), and is weak-type (1,1).
We now prove the Fefferman-Stein maximal inequality that is in our case Theorem C.
3.3 Proof of theorem C
First we note that if we consider supremum taken in (4) only over \(0<t <1\) then the maximal operator can essentially be discussed in the same way as Proposition 2.3. Therefore, we only consider the range \(t\ge 1\) or equivalently \(0<k \le 1\).
Similarly, as before, we consider \(H_{1,a}\)— when the derivative hits the resolvent. That is, we need to compute the \(L^p\) norm of
The estimates required here for part \(H_{1,a}\) follows directly from Proposition 2.3. We discuss the part \(H_{1,b}\) later together with \(H_3\). Recall that the \(H_2\) term can be estimated by
It follows that we can replace supremum over \(0<k \le 1\) for \(H_2\) and so we end up with the linear operator bounded by \(d(x,y)^{\frac{1}{2}-N}\). In consequence, we can use the same argument as in the proof of Theorem A and Lemma 2.3 to verify continuity for all \(1<p<\infty \) for the \(H_2\) term.
First we observe that
Then, assuming that \(f(x) \ge 0\) and that \(f\in L^1({\mathcal {M}})\), we have
where \(\omega (x)=\left<d(x_i^\circ ,x)\right>^{-n_i}\) for \(x\in {\mathbb {R}}^{n_i}\times {\mathcal {M}}_i{\setminus } K_i\) and \(\omega (x)=1\) for \(x\in K\).
Now choose a sequence \({\bar{f}}=\{f_j\}_{j=1}^\infty \). Note that, without loss of generality, we can assume \(f_j(x) \ge 0\). Then
where \(\Lambda (f)=\int _{{\mathcal {M}}} f(y)dy\). Now \(\Lambda \) is a bounded linear function on \(L^1({\mathcal {M}})\) so we can apply Lemma 2.3. This validates weak-type (1, 1).
Observe next that
where \( {\tilde{\omega }}(x) =\left< d(x_i^\circ ,x)\right>^{1-n_i}\) for \(x \in {\mathbb {R}}^{n_i}\times {\mathcal {M}}_i{\setminus } K_i\) and \({\tilde{\omega }}(x)=1\) for \(x\in K\). To consider the range \(2<p<n^*\), we slightly rearrange (27) and we note that if \(f(x) \ge 0\), then
Thus, for \({\bar{f}}=\{f_j\}_{j=1}^\infty \) with each \(f_j(x)\ge 0\), we have
where \({\tilde{\Lambda }}(f)= {\tilde{\omega }}(x) \int _{{\mathcal {M}}} {\tilde{\omega }}(y)f(y)dy\). Note that the operator \({\tilde{\Lambda }}\) acts continuously on \(L^p({\mathcal {M}})\) if and only if \((n^*)'< p < n^*\). Using interpolation with weak-type (1, 1) we show boundedness of the \(H_3\) term for all \(1< p < n^*\). For the \(H_{1,b}\) term, observe that
Just like in the \(H_3\) term, the above integral is also controlled by a bounded linear functional on \(L^p\) if and only if \(1<p<n^*\), and is weak type (1,1) bounded on \(L^1\). Again, for a sequence \({\bar{f}}=\{f_j\}_{j=1}^\infty \), the \(H_{1,b}\) term satisfies the Fefferman-Stein inequality. The proof for the \(H_4\) term follows on the same lines as \(H_3\) and as done in Theorems A and B. However, the boundedness for \(H_4\) holds for \(1<p<\infty \) with weak type (1,1) at \(L^1\). Clubbing the boundedness of each \(H_i\) term, we obtain the Fefferman-Stein maximal inequality for the vertical maximal function on \(L^p({\mathcal {M}})\) for \(1<p<n^*\) with weak type(1,1) estimates at \(L^1\). The unboundedness for \(p\ge n^*\) is shown in Corollary 4.2.
4 Square functions and R-boundedness
In this section we show that the boundedness of vertical maximal function implies the boundedness of the vertical square function. This is possible with the help of the R-boundedness of the set \(\{\sqrt{t}\nabla (1+t\Delta )^{-m}:t>0\}\). Before we jump to our results, we recall some basic definitions and known results required for our proof.
Definition 4.1
( [17, Definition 8.1]) Let X and Y be Banach spaces and let \({\mathcal {T}}\subseteq B(X,Y)\) be a family of bounded operators.
-
(a)
R-boundedness: \({\mathcal {T}}\) is said to be R-bounded if there exists a constant \(C\ge 0\) such that for all finite sequences \((T_j)_{j=1}^J\) in \({\mathcal {T}}\) and \((x_j)_{j=1}^J\) in X,
$$\begin{aligned} \left|\left|\sum _{j=1}^J\epsilon _j T_j x_j\right|\right|_{L^2(\Omega ,Y)}\le C\left|\left|\sum _{j=1}^J\epsilon _j x_j\right|\right|_{L^2(\Omega ,X)} \end{aligned}$$or equivalently,
$$\begin{aligned} {\mathbb {E}}\left|\left|\sum _{j=1}^J\epsilon _j T_j x_j\right|\right|_{L^2(\Omega ,Y)}\le C{\mathbb {E}}\left|\left|\sum _{j=1}^J\epsilon _j x_j\right|\right|_{L^2(\Omega ,X)}, \end{aligned}$$where \({\mathbb {E}}\) is the usual expectation and \((\epsilon _j)_{j\ge 1}\) is a Rademacher sequence on a fixed probability space \((\Omega ,{\mathbb {P}})\).
-
(b)
\(\ell ^2\)-boundedness: If X and Y are Banach lattices, then \({\mathcal {T}}\) is said to be \(\ell ^2\)-bounded if there exists a constant \(C>0\) such that for all finite sequences \((T_j)_{j=1}^J\) in \({\mathcal {T}}\) and \((x_j)_{j=1}^J\) in X,
$$\begin{aligned} \left|\left|\Bigg (\sum _{j=1}^J|T_j x_j|^2\Bigg )^{1/2}\right|\right|_{L^2(\Omega ,Y)}\le C\left|\left|\Bigg (\sum _{j=1}^J| x_j|^2\Bigg )^{1/2}\right|\right|_{L^2(\Omega ,X)}. \end{aligned}$$
The least admissible constants here are called the R-bound and the \(\ell ^2\)-bound, and are denoted by \({\mathcal {R}}({\mathcal {T}})\) and \(\ell ^2({\mathcal {T}})\), respectively.
Remark 4.1
In (a) and (b) of Definition 4.1 we can replace \(L^2(\Omega ,Y)\) by \(L^p(\Omega ,Y)\), and \(L^2(\Omega ,X)\) by \(L^q(\Omega ,X)\) for \(1\le p,q<\infty \). In such situations we obtain an equivalent definition of the R-boundedness, but with a possibly different constant that we denote by \({\mathcal {R}}_{p,q}({\mathcal {T}})\). For \(p=q\), it is convenient to write \({\mathcal {R}}_{p}({\mathcal {T}}):={\mathcal {R}}_{p,p}({\mathcal {T}})\). We also refer to [17, Proposition 8.1.5] for the definition of R-boundedness on \(L^p\) spaces for \(1\le p<\infty \).
Proposition 4.1
When X and Y are \(L^p\) spaces with \(p\in [1,\infty )\), then R-boundedness and \(\ell ^2\)-boundedness are equivalent, see [17, Theorem 8.1.3].
Theorem 4.1
The Fefferman-Stein maximal inequality in (9) implies that the set \(\{\sqrt{t}\nabla (1+t\Delta )^{-m}:t>0\}\) is R-bounded on \(L^p({\mathcal {M}})\) for \(1<p<n^*\).
Proof
Consider the following set
By Proposition 4.1, it is enough to show \(\ell ^2\) boundedness of the above set to prove its R-boundedness. We have
The last inequality follows from Theorem C. \(\square \)
Corollary 4.1
The Fefferman-Stein maximal inequality implies the boundedness of the resolvent based vertical square functions \(S^{res,\nabla }_m(f):=\left(\int _0^\infty |\sqrt{t}\nabla (1+t\Delta )^{-m}f|^2\frac{dt}{t}\right)^{1/2}\) for any order m and the semigroup based vertical square function \(S^{exp,\nabla }(f):=\left(\int _0^\infty |\sqrt{t}\nabla e^{t\Delta }f|^2\frac{dt}{t}\right)^{1/2}\) on \(L^p({\mathcal {M}})\) for \(1~<~p~<~n*\).
Proof
Theorem 4.1 shows that the Fefferman-Stein maximal inequality of the vertical maximal functions implies R-boundedness of the set \(\{\sqrt{t}\nabla (1+t\Delta )^{-m}:t>0\}\) on \(L^p\) for \(1<p< n^*\). By [6, Proposition 2.2], R-boundedness of the set \(\{\sqrt{t}\nabla (1+t\Delta )^{-m}:t>0\}\) is equivalent to R-boundedness of the set \(\{\sqrt{t}\nabla e^{t\Delta }:t>0\}\) on \(L^p\). Interestingly, from the R-boundedness of the latter set, [6, Theorem 4.1] gives the boundedness of more general square functions which satisfy some decaying conditions. Both \(S^{exp,\nabla }\) and \(S^{res,\nabla }_m\) satisfy those conditions on \(L^p\) spaces, and hence they are bounded for \(1<p<n^*\). \(\square \)
Corollary 4.2
The Fefferman-Stein maximal inequality (9) in Theorem C fails for \(p\ge n^*\). The vertical square function operator \(S^{exp,\nabla }\) is also unbounded in the same range.
Proof
We know from [2, Theorem 1.1] that the resolvent based square function is unbounded on \(L^p({\mathcal {M}})\) for \(p \ge n^*\). This and Corollary 4.1 imply that the Fefferman-Stein maximal inequality fails in the same range. Also, since the R-boundedness of the set \(\{\sqrt{t}\nabla (1+t\Delta )^{-m}:t>0\}\) is false for \(p \ge n^*\) by the same argument, we obtain negative result for \(S^{exp,\nabla }\) from [6, Proposition 2.2 and Theorem 4.1]. \(\square \)
Proposition 4.2
On \(L^p({\mathcal {M}})\), the vertical square function operator \(S^{exp,\nabla }\) is bounded if and only if \(1~<~p~<~n^*\).
Proof
The proof is a direct consequence of Corollaries 4.1 and 4.2. \(\square \)
Note that at this point we do not have any good estimates for the kernel of \(\nabla e^{t\Delta }\) on \(L^p({\mathcal {M}})\), and hence we do not have any direct proof to show the boundedness of \(S^{exp,\nabla }\) on \(L^p({\mathcal {M}})\).
The following theorem is the resolvent based version of the square function in [6, Theorem 3.1]. The proof of it follows exactly in the same way as that of [6, Theorem 3.1], however, the R-boundedness of the resolvent sets require the boundedness of two resolvent based square functions of consecutive exponents. We have included the proof here to give an equivalence argument between the semigroup based square functions and the resolvent based square functions. Note that this theorem works on a general metric measure space \(\Omega \). However, on manifolds with ends, the boundedness of square function operators \(S^{exp,\nabla }\) and \(S^{res,\nabla }_m\) coincide under the assumption that \(2\,m+2\le \min {n_i}\). We explain this in Remark 4.2 below.
In the proof of the below theorem we use the notation of the norm with subscript p to denote the norm with subscript \(L^p({\mathcal {M}})\) for simplicity.
Theorem 4.2
Let \(p\in (1,\infty )\) and \(m\ge 1\). If \(S^{res,\nabla }_m\) and \(S^{res,\nabla }_{m+1}\) are bounded on \(L^p({\mathcal {M}})\), then the set \(\{t\nabla (1+t^2\Delta )^{-m}, t>0\}\) is R-bounded on \(L^p({\mathcal {M}}).\)
Proof
The proof follows on the same lines of [6, Theorem 3.1]. We shall show if \(S^{res,\nabla }_m\) and \(S^{res,\nabla }_{m+1}\) are bounded on \(L^p({\mathcal {M}})\) for some m then \(\{t\nabla (1+t^2\Delta )^{-m}, t>0\} \) is R-bounded on \(L^p({\mathcal {M}})\). Let \(t_j\in (0,\infty )\) and \(f_j\in L^p({\mathcal {M}})\) for \(j=1,\ldots ,J\). We begin by estimating the quantity \(I:={\mathbb {E}}|\sum _j\epsilon _jt_j\nabla (1+t_j^2\Delta )^{-m}f_j|^2\). Using the fact that the Rademacher variables are independent we obtain
By the Cauchy-Schwartz inequality,
Since both \(S^{res,\nabla }_m\) and \(S^{res,\nabla }_{m+1}\) are bounded, we get
Looking at \(S^{res,\nabla }_m\) and \(S^{res,\nabla }_{m+1}\) as the norm in \(L^2((0,\infty ),\frac{dt}{t})\) we obtain
and
Now, by the Kahane inequality
for some constant \(c_{p,m}>0\). Now, using the assumption that \(S^{res,\nabla }_m\) and \(S^{res,\nabla }_{m+1}\) are bounded on \(L^p({\mathcal {M}})\), we obtain
where we again used the Kahane inequality. We can also see from the Kahane inequality that \(||\sqrt{I}||_p\) is equivalent to \({\mathbb {E}}||\sum _j\epsilon _jt_j\nabla (1+t_j^2\Delta )^{-m}f_j||_p\). Since \(\Delta \) has a bounded holomorphic functional calculus on \(L^p({\mathcal {M}})\), it follows from [17, Theorem 10.3.4] that \(\{(1+t^2\Delta )^{-m},t>0\}\) and \(\{t^2\Delta (1+t^2\Delta )^{-m},t>0\}\) are R-bounded on \(L^p({\mathcal {M}})\). This, together with previous estimates, gives
with a constant independent of \(t_j\) and \(f_j\). This shows that the set \(\{t\nabla (1+t^2\Delta )^{-m}, t>0\}\) is R-bounded on \(L^p({\mathcal {M}})\). \(\square \)
Remark 4.2
The converse of the above theorem holds true by [6, Theorem 4.1]. Nevertheless, it is true for \(1<p< n^*\). This is because by [2, Theorem 1.1] \(S^{res,\nabla }_m\) is not bounded for \(p\ge n^*\) under the assumption that \(2m< n^*\). Now, R-boundedness of the sets \(\{\sqrt{t}\nabla (1+t\Delta )^{-m}:t>0\}\) and \(\{\sqrt{t}\nabla e^{t\Delta }:t>0\}\) is equivalent by [6, Proposition 2.2], and Cometx-Ouhabaz have shown the equivalence between the R-boundedness of \(\{\sqrt{t}\nabla e^{t\Delta }:t>0\}\) with the boundedness of the square function \(S^{exp,\nabla }\) in [6, Theorem 3.1 and Theorem 4.1]. On combining this together with Theorem 4.2 we obtain equivalence of the boundedness of both \(S^{exp,\nabla }\) and \(S^{res,\nabla }_m\) on \(L^p({\mathcal {M}})\) for \(1<p< n^*\) under the assumption that \(2m+2\le n^*\).
4.1 Open problems
Here we mention some open problems that one could think of solving on manifolds with ends or on a more general metric measure space.
-
(1)
We have shown in this article the boundedness of the maximal operator \(M^{res,\nabla }_m\) on \(L^p({\mathcal {M}})\). The problem to check the boundedness of \(M^{exp,\nabla }\) on \(L^p({\mathcal {M}})\) is still open. The boundedness of these maximal operators is also open on other metric measure spaces. We believe that this problem is solvable if one can find Grigor’yan and Saloff-Coste type estimates [14] on the gradient of the heat kernel, \(\nabla e^{t\Delta }\), on manifolds with ends.
-
(2)
It is natural to expect that weak type (1, 1) can be included in the statement of Proposition 4.2, but we do not know how to verify it.
References
P. Auscher, T. Coulhon, X. T. Duong, and S. Hofmann. Riesz transform on manifolds and heat kernel regularity. Ann. Sci. École Norm. Sup., 37(6):911–957, 2004.
J. Bailey and A. Sikora. Vertical and horizontal square functions on a class of non-doubling manifolds. J. Differential Equations, 358:41–102, 2023.
D. L. Burkholder, R. F. Gundy, and M. L. Silverstein. A maximal function characterization of the class \(H^{p}\). Trans. Amer. Math. Soc., 157:137–153, 1971.
G. Carron. Riesz transforms on connected sums. Ann. Inst. Fourier (Grenoble), 57:2329–2343, 2007.
G. Carron, T. Coulhon, and A. Hassell. Riesz transform and \(L^p\)-cohomology for manifolds with Euclidean ends. Duke Math. J., 133(1):59–93, 2006.
T. Cometx and E. M. Ouhabaz. Littlewood-Paley-Stein functionals: an R-boundedness approach, 2022. To appear in Ann. Inst. Fourier. Preprint available at arXiv arXiv: org/abs/2007.00284.
T. Coulhon and X. T. Duong. Riesz transform and related inequalities on noncompact Riemannian manifolds. Comm. Pure Appl. Math., 56(12):1728–1751, 2003.
T. Coulhon, R. Jiang, P. Koskela, and A. Sikora. Gradient estimates for heat kernels and harmonic functions. J. Funct. Anal., 27 8 (8):108398, 67, 2020.
L. Deleaval, M. Kemppainen, and C. Kriegler. Hörmander functional calculus on UMD lattice valued \(L^p\) spaces under generalized Gaussian estimates. J. Anal. Math., 145(1):177–234, 2021.
X. T. Duong, J. Li, and A. Sikora. Boundedness of maximal functions on non-doubling manifolds with ends. In AMSI International Conference on Harmonic Analysis and Applications, volume 45 of Proc. Centre Math. Appl. Austral. Nat. Univ., pages 37–47. Austral. Nat. Univ., Canberra, 2013.
C. Fefferman and E. M. Stein. Some maximal inequalities. Amer. J. Math., 93:107–115, 1971.
L. Grafakos, L. Liu, and D. Yang. Vector-valued singular integrals and maximal functions on spaces of homogeneous type. Math. Scand., 104(2):296–310, 2009.
A. Grigor’yan, S. Ishiwata, and L. Saloff-Coste. Geometric analysis on manifolds with ends. In Analysis and partial differential equations on manifolds, fractals and graphs, volume 3 of Adv. Anal. Geom., pages 325–343. De Gruyter, Berlin, [2021] 2021.
A. Grigor’yan and L. Saloff-Coste. Heat kernel on manifolds with ends. Ann. Inst. Fourier (Grenoble), 59(5):1917–1997, 2009.
A. Grigor’yan and L. Saloff-Coste. Surgery of the Faber-Krahn inequality and applications to heat kernel bounds. Nonlinear Anal., 131:243–272, 2016.
A. Hassell and A. Sikora. Riesz transforms on a class of non-doubling manifolds. Comm. Partial Differential Equations, 44(11):1072–1099, 2019.
T. Hytönen, J. van Neerven, M. Veraar, and L. Weis. Analysis in Banach spaces. Vol. II, volume 67 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics]. Springer, Cham, 2017. Probabilistic methods and operator theory.
C. Le Merdy and Q. Xu. Maximal theorems and square functions for analytic operators on \(L^p\)-spaces. J. Lond. Math. Soc., 86(2):343–365, 2012.
A. Pazy. Semigroups of operators in Banach spaces. In Equadiff 82 (Würzburg, 1982), volume 1017 of Lecture Notes in Math., pages 508–524. Springer, Berlin, 1983.
E. M. Stein. Topics in harmonic analysis related to the Littlewood-Paley theory. Annals of Mathematics Studies, No. 63. Princeton University Press, Princeton, N.J.; University of Tokyo Press, Tokyo, 1970.
E. M. Stein. Harmonic analysis: real-variable methods, orthogonality, and oscillatory integrals, volume 43 of Princeton Mathematical Series. Princeton University Press, Princeton, NJ, 1993. With the assistance of Timothy S. Murphy, Monographs in Harmonic Analysis, III.
R. S. Strichartz. Analysis of the Laplacian on the complete Riemannian manifold. J. Functional Analysis, 52(1):48–79, 1983.
M. E. Taylor. Pseudodifferential operators and nonlinear PDE, volume 100 of Progress in Mathematics. Birkhäuser Boston, Inc., Boston, MA, 1991.
Acknowledgements
Both authors were partly supported by the Australian Research Council (ARC) Discovery Grant DP200101065. The authors would like to thank the anonymous referee for helpful remarks and corrections.
Funding
Open Access funding enabled and organized by CAUL and its Member Institutions
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Data availability
Data sharing not applicable to this article as no datasets were generated or analysed in this study.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Sharma, H., Sikora, A. Vertical maximal functions on manifolds with ends. J. Evol. Equ. 24, 49 (2024). https://doi.org/10.1007/s00028-024-00981-8
Accepted:
Published:
DOI: https://doi.org/10.1007/s00028-024-00981-8