Abstract
We investigate mixed Lusin area integrals associated with Jacobi trigonometric polynomial expansions. We prove that these operators can be viewed as vector-valued Calderón–Zygmund operators in the sense of the associated space of homogeneous type. Consequently, their various mapping properties, in particular on weighted \(L^p\) spaces, follow from the general theory.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
One of the principal aims of the papers [11, 13] was to prove that several fundamental harmonic analysis operators in Jacobi trigonometric polynomial expansions are (vector-valued) Calderón–Zygmund operators. That research included such operators as higher order Riesz transforms, multipliers of Laplace and Laplace–Stieltjes transform types, Jacobi–Poisson semigroup maximal operator and Littlewood–Paley–Stein type mixed g-functions. This article is a continuation and completion of the research performed in [11, 13]. Motivated by the comment in [13, p. 187] in the present paper, we study mixed Lusin area integrals from a similar perspective. These objects have more complex structure than those mentioned above, therefore their treatment is considerably more involved and demands more effort and additional technical tools. We point out that analysis in various Jacobi settings received a considerable attention in recent years, see for instance [4, 9, 11,12,13] as well as numerous other references given there.
In the last years Lusin area type integrals attracted attention of many mathematicians. These operators, sometimes called conical square functions, were also studied in some contexts of orthogonal expansions, see e.g. [1,2,3, 5, 8, 10, 15, 16, 21]. In the classical situation these objects turn out to be not only interesting on their own right, but also have significant applications. For instance, a variant of Lusin area integral was used by Segovia and Wheeden [19] to characterize potential spaces on \(\mathbb {R}^d\), \(d \ge 1\). Inspired by that paper, the authors of [2] showed, among other things, that a similar characterization is also possible in case of some Schrödinger operators’ frameworks. We point out that quite recently some variant of Lusin area integral was investigated in the Ornstein–Uhlenbeck context in [8, 10, 16] in connection with the Gaussian Hardy space theory point of view. Thus our motivation to study mixed Lusin area integrals in Jacobi expansions comes also from their potential applications in further research.
In this article we study two kinds of mixed Lusin area integrals \(S_{M,N}^{\alpha ,\beta }\) and \(\mathcal {S}_{M,N}^{\alpha ,\beta }\) (see Sect. 2 for the definitions), which come from two different notions of higher order derivatives. The first one is simply a composition of the first order derivative and was for instance implemented in [11, 13]. The second one was used in [9] and has its roots in the so-called symmetrization procedure proposed by Nowak and Stempak in [14]. We note that, in some aspects, the latter notion seems to be closer to the classical theory on the Euclidean spaces. To see this compare for example [4, Proposition 2.5] with [4, Remark 3.8], where two kinds of higher order Riesz transforms are studied in the Jacobi context.
Our main result, see Theorem 2.1 below, says that the mixed Lusin area integrals of both kinds can be viewed as vector-valued Calderón–Zygmund operators in the sense of the associated space of homogeneous type. Consequently, their mapping properties follow from the general theory. The main difficulty connected with the Calderón–Zygmund theory approach is showing the related kernel estimates. Here the starting point is the method of proving standard estimates established in [11] for \(\alpha ,\beta \ge -1/2\) and extended in [13] to all admissible \(\alpha ,\beta > -1\). We point out that the crucial role in that method plays a convenient integral representation for the Jacobi–Poisson kernel obtained in [13]. Nevertheless, to treat Lusin area integrals, which have more complex nature than the operators considered in the above mentioned papers, some generalization of this technique is needed. The latter is of independent interest and is inspired by similar tools elaborated recently in other settings of orthogonal expansions, see [5, 15, 21].
The paper is organized as follows. In Sect. 2 we introduce the context of Jacobi expansions and define the mixed Lusin area integrals. Further, we state the main result (Theorem 2.1) and reduce its proof to showing the standard estimates for the related kernels (Theorem 2.3). We conclude this section by giving comments connected with our main result. Section 3 contains preparatory facts and lemmas, which finally allows us to prove the relevant kernel estimates. This is the largest and the most technical part of the paper.
Throughout the paper we use a fairly standard notation with essentially all symbols referring to the space of homogeneous type \(((0,\pi ),\mu _{\alpha ,\beta },|\cdot |)\), where \(|\cdot |\) is the Euclidean norm and \(\mu _{\alpha ,\beta }\) is a measure on \((0,\pi )\) defined below. In particular, for \(\theta \in (0,\pi )\) and \(r>0\) the ball \(B(\theta ,r)\) is simply the interval \((\theta - r, \theta + r) \cap (0,\pi )\). By \(\langle f,g \rangle _{d\mu _{\alpha ,\beta }}\) we mean \(\int _{(0,\pi )} f\overline{g}\,d\mu _{\alpha ,\beta }\) whenever the integral makes sense. Further, by \(L^p(w d\mu _{\alpha ,\beta }) = L^p((0,\pi ), w d\mu _{\alpha ,\beta })\) we understand the weighted \(L^p\) space with w being a non-negative weight on \((0,\pi )\). Furthermore, for \(1 \le p < \infty \) we denote by \(A_p^{\alpha ,\beta }\) the Muckenhoupt class of \(A_p\) weights connected with the space \(((0,\pi ),\mu _{\alpha ,\beta },|\cdot |)\), for the definition of \(A_p^{\alpha ,\beta }\) see for instance [11, p. 720].
When writing estimates, we will frequently use the notation \(X \lesssim Y\) to indicate that \(X \le C Y\) with a positive constant C independent of significant quantities. We shall write \(X \simeq Y\) when simultaneously \(X \lesssim Y\) and \(Y \lesssim X\).
2 Preliminaries and statement of main result
As in [11, 13], we consider expansions into Jacobi trigonometric polynomials. For parameters \(\alpha ,\beta > -1\) the normalized Jacobi trigonometric polynomials are given by
where \(c_n^{\alpha ,\beta }\) are suitable normalizing constants, and \(P_n^{\alpha ,\beta }\) are the classical Jacobi polynomials defined on the interval \((-1,1)\), see Szegő’s monograph [20] or [11, 13]. It is well known that the system \(\{\mathcal {P}_n^{\alpha ,\beta }: n \ge 0\}\) is an orthonormal basis in \(L^2(d\mu _{\alpha ,\beta })\), where \(\mu _{\alpha ,\beta }\) is a measure on the interval \((0,\pi )\) defined by the density
Further, \(\mathcal {P}_n^{\alpha ,\beta }\) are eigenfunctions of the Jacobi differential operator
More precisely,
We denote by the same symbol \(\mathcal {J}^{\alpha ,\beta }\) the natural self-adjoint and non-negative extension in \(L^2(d\mu _{\alpha ,\beta })\) given by
on the domain consisting of all \(f \in L^2(d\mu _{\alpha ,\beta })\) for which the above series converges in \(L^2(d\mu _{\alpha ,\beta })\).
The Jacobi–Poisson semigroup generated by \(-\sqrt{\mathcal {J}^{\alpha ,\beta }}\) is expressible via the spectral series
Further, it has the integral representation
It is worth noting that the series/integral defining \(\mathcal {H}_t^{\alpha ,\beta }f (\theta )\) converges pointwise and produces a smooth function of \((t,\theta ) \in (0,\infty ) \times (0,\pi )\) for any \(f \in L^p(wd\mu _{\alpha ,\beta })\), \(w \in A_p^{\alpha ,\beta }\), \(1 \le p < \infty \); for details see [11, Sect. 2]. Furthermore, the series defining the so-called Jacobi–Poisson kernel \(H_t^{\alpha ,\beta }(\theta ,\varphi )\) is well defined in a pointwise sense for all \(t > 0\), \(\theta ,\varphi \in (0,\pi )\) and produces a smooth function of \((t,\theta ,\varphi ) \in (0,\infty ) \times (0,\pi )^2\). We point out that the exact behavior of this kernel, as well as its various derivatives with respect to \(t,\theta \) and \(\varphi \), is hidden behind subtle oscillations. To overcome this problem we will use a convenient method of estimating various kernels defined via \(H_t^{\alpha ,\beta }(\theta ,\varphi )\) established recently in [11] under a restriction \(\alpha ,\beta \ge -1/2\) and then extended in [13] to all admissible \(\alpha ,\beta > -1\).
Now we introduce the notion of (higher order) derivatives associated with our setting. The natural first order derivative \(\delta \) emerges from the factorization
where
notice that \(\delta ^{*}\) is the formal adjoint of \(\delta \) in \(L^2(d\mu _{\alpha ,\beta })\). The choice of \(\delta \) as the first order derivative is motivated by mapping properties of fundamental harmonic analysis operators in the Jacobi framework; see [11, Remark 2.6] where it is shown that the choice of \(\delta ^{*}\) would be inappropriate. On the other hand, the proper choice of higher order derivatives is a much more subtle matter. In the sequel we will consider two choices. Precisely, we can iterate \(\delta \) or interlace \(\delta \) with \(\delta ^*\), which leads to \(\delta ^N\) and
(by convention, \(\delta ^0 = D^0 = {{\mathrm{Id}}}\)), respectively. We point out that the derivative \(\delta ^N\) is used in [4, 11, 13] whereas \({D}^N\) appears in [4, 9] and have its roots in the so-called symmetrization procedure proposed in [14].
Now we are ready to introduce the central objects of our study in this paper. We define the mixed Lusin area integrals as follows
where \(M, N \in \mathbb {N}\) are such that \(M + N >0\), \(\Gamma (\theta )\) is the cone with vertex at \(\theta \in (0,\pi )\),
(note that the exact aperture of this cone is insignificant for our developments and that we may replace \(\Gamma \) by \(\widetilde{\Gamma } = \Gamma \cap (-\pi ,\pi ) \times (0,\infty )\)) and \(V_{t}^{\alpha ,\beta }(\theta )\) is the \(\mu _{\alpha ,\beta }\) measure of the ball (interval) centered at \(\theta \) and of radius t, restricted to \((0,\pi )\). More precisely,
Observe that the formulas defining \(S_{M,N}^{\alpha ,\beta }f\) and \(\mathcal {S}_{M,N}^{\alpha ,\beta }f\), understood in a pointwise sense, are valid for any \(f \in L^p(wd\mu _{\alpha ,\beta })\), \(w \in A_p^{\alpha ,\beta }\), \(1 \le p < \infty \); see the comment concerning the smoothness of \(\mathcal {H}_t^{\alpha ,\beta }f(\theta )\) above.
To obtain the boundedness result for the mixed Lusin area integrals in question we will prove that they can be viewed as vector-valued Calderón–Zygmund operators in the sense of the space of homogeneous type \(((0,\pi ), \mu _{\alpha ,\beta },|\cdot |)\). We will need a slightly more general definition of the standard kernel, or rather standard estimates, than the one used in [11, 13]. More precisely, we will allow slightly weaker smoothness estimates as indicated below, see for instance [5, 15, 21] where the Lusin area integrals were treated in some other orthogonal expansions settings.
Let \(\mathbb {B}\) be a Banach space and let \(K(\theta ,\varphi )\) be a kernel defined on \((0,\pi ) \times (0,\pi )\backslash \{ (\theta ,\varphi ):\theta =\varphi \}\) and taking values in \(\mathbb {B}\). We say that \(K(\theta ,\varphi )\) is a standard kernel in the sense of the space of homogeneous type \(((0,\pi ), \mu _{\alpha ,\beta },|\cdot |)\) if it satisfies the so-called standard estimates, i.e., the growth estimate
and the smoothness estimates
for some fixed \(\gamma > 0\). Notice that the right-hand side of (1) is always larger than the constant \(1/\mu _{\alpha ,\beta }(0,\pi )\), which will be used frequently in the sequel without further mention. Further, notice that the bounds (2) and (3) imply analogous estimates with any \(0<\gamma '<\gamma \) instead of \(\gamma \). Moreover, observe that in these formulas the ball (interval) \(B(\theta ,|\theta -\varphi |)\) can be replaced by \(B(\varphi ,|\varphi -\theta |)\), in view of the doubling property of \(\mu _{\alpha ,\beta }\).
A linear operator T assigning to each \(f\in L^2(d\mu _{\alpha ,\beta })\) a strongly measurable \(\mathbb {B}\)-valued function Tf on \((0,\pi )\). Then T is said to be a (vector-valued) Calderón–Zygmund operator in the sense of the space \(((0,\pi ),\mu _{\alpha ,\beta },|\cdot |)\) associated with \(\mathbb {B}\) if
-
(A)
T is bounded from \(L^2(d\mu _{\alpha ,\beta })\) to \(L^2_{\mathbb {B}}(d\mu _{\alpha ,\beta })\),
-
(B)
there exists a standard \(\mathbb {B}\)-valued kernel \(K(\theta ,\varphi )\) such that
$$\begin{aligned} Tf(\theta ) = \int _0^{\pi } K(\theta ,\varphi ) f(\varphi )\, d\mu _{\alpha ,\beta }(\varphi ), \qquad \text {a.a.}\; \theta \notin {{\mathrm{supp}}}f, \end{aligned}$$for every \(f \in L^{\infty }((0,\pi ))\).
Here integration of \(\mathbb {B}\)-valued functions is understood in Bochner’s sense, and \(L^2_{\mathbb {B}}(d\mu _{\alpha ,\beta })\) is the Bochner–Lebesgue space of all \(\mathbb {B}\)-valued \(d\mu _{\alpha ,\beta }\)-square integrable functions on \((0,\pi )\).
It is well known that a large part of the classical theory of Calderón–Zygmund operators remains valid, with appropriate adjustments, when the underlying space is of homogeneous type and the associated kernels are vector-valued, see for instance [17, 18]. In particular, if T is a Calderón–Zygmund operator in the sense of \(((0,\pi ),\mu _{\alpha ,\beta },|\cdot |)\) associated with a Banach space \(\mathbb {B}\), then its mapping properties in weighted \(L^p\) spaces follow from the general theory.
Obviously, the mixed Lusin area integrals \(S^{\alpha ,\beta }_{M,N}\) and \(\mathcal {S}^{\alpha ,\beta }_{M,N}\) are nonlinear. However, they can be written as
where the function \(\Omega _{\alpha ,\beta }\) is given by
This, in turn, shows that these operators can be viewed as vector-valued linear operators taking values in \(\mathbb {B} = L^2(\Gamma , t^{2M+2N-1}d\eta dt)\). Further, note that the formal computation suggests that the kernels associated with \(S^{\alpha ,\beta }_{M,N}\) and \(\mathcal {S}^{\alpha ,\beta }_{M,N}\) are given by
where \(M,N \in \mathbb {N}\) are such that \(M+N>0\), and
The main result of the paper reads as follows.
Theorem 2.1
Let \(\alpha ,\beta > -1\) and \(M,N \in \mathbb {N}\) be such that \(M+N > 0\). Then the mixed Lusin area integrals \(S^{\alpha ,\beta }_{M,N}\) and \(\mathcal {S}^{\alpha ,\beta }_{M,N}\) can be viewed as vector-valued Calderón–Zygmund operators in the sense of \(((0,\pi ),\mu _{\alpha ,\beta },|\cdot |)\) associated with the Banach spaces \(\mathbb {B} = L^2(\Gamma , t^{2M+2N-1}d\eta dt)\).
The proof of Theorem 2.1 splits naturally into the following two results.
Proposition 2.2
Let \(\alpha ,\beta > -1\) and \(M,N \in \mathbb {N}\) be such that \(M+N > 0\). Then the mixed Lusin area integrals \(S^{\alpha ,\beta }_{M,N}\) and \(\mathcal {S}^{\alpha ,\beta }_{M,N}\) are bounded on \(L^2(d\mu _{\alpha ,\beta })\). Moreover, \(S^{\alpha ,\beta }_{M,N}\) and \(\mathcal {S}^{\alpha ,\beta }_{M,N}\), viewed as vector-valued operators, are associated in the Calderón–Zygmund theory sense with the kernels \(S^{\alpha ,\beta }_{M,N}(\theta ,\varphi )\) and \(\mathcal {S}^{\alpha ,\beta }_{M,N}(\theta ,\varphi )\), respectively.
Proof
By Lemma 3.6 below we see that proving the \(L^2(d\mu _{\alpha ,\beta })\)-boundedness of \(S^{\alpha ,\beta }_{M,N}\) and \(\mathcal {S}^{\alpha ,\beta }_{M,N}\) is equivalent to showing an analogous property for the related g-functions \(g^{\alpha ,\beta }_{M,N}\) and \(\big ( G^{\alpha ,\beta }_{M,N} \big )^+\) investigated in [13] and [9], respectively. This, however, was recently established, even on weighted \(L^p\), \(1< p < \infty \), spaces, in [13, Corollary 5.2] and [9, Theorem 3.2 and Proposition 3.9], respectively.
To prove the kernel associations one can proceed as in [21, Proposition 2.5 on pp. 1528–1529], where similar fact was proved for the first order Lusin area integrals in the Laguerre–Dunkl context. The crucial ingredients needed in the reasoning are the just explained \(L^2(d\mu _{\alpha ,\beta })\)-boundedness of the operators in question and the standard estimates for the kernels \(S^{\alpha ,\beta }_{M,N}(\theta ,\varphi )\) and \(\mathcal {S}^{\alpha ,\beta }_{M,N}(\theta ,\varphi )\). The latter fact is justified in Theorem 2.3 below. The details are fairly standard and thus left to the reader. \(\square \)
Theorem 2.3
Assume that \(\alpha ,\beta > -1\), and let \(M,N \in \mathbb {N}\) be such that \(M+N > 0\). Then the kernels \(S^{\alpha ,\beta }_{M,N}(\theta ,\varphi )\) and \(\mathcal {S}^{\alpha ,\beta }_{M,N}(\theta ,\varphi )\) satisfy the standard estimates with the Banach spaces \(\mathbb {B} = L^2(\Gamma , t^{2M+2N-1}d\eta dt)\) and with any \(\gamma \in (0,1/2]\) satisfying \(\gamma < \alpha \wedge \beta + 1\).
The proof of Theorem 2.3, which is the most technical part of the paper, is located in Sect. 3.
An important consequence of Theorem 2.1 is the following result.
Corollary 2.4
Let \(\alpha ,\beta > -1\) and \(M,N \in \mathbb {N}\) be such that \(M+N > 0\). Then the mixed Lusin area integrals \(S^{\alpha ,\beta }_{M,N}\) and \(\mathcal {S}^{\alpha ,\beta }_{M,N}\) are bounded on \(L^p(wd\mu _{\alpha ,\beta })\), \(w \in A_p^{\alpha ,\beta }\), \(1< p < \infty \), and from \(L^1(wd\mu _{\alpha ,\beta })\) to \(L^{1, \infty } (wd\mu _{\alpha ,\beta })\), \(w \in A_1^{\alpha ,\beta }\).
Proof
The fact that \(S^{\alpha ,\beta }_{M,N}\) and \(\mathcal {S}^{\alpha ,\beta }_{M,N}\) extend to bounded operators on \(L^p(wd\mu _{\alpha ,\beta })\), \(w \in A_p^{\alpha ,\beta }\), \(1< p < \infty \), and from \(L^1(wd\mu _{\alpha ,\beta })\) to \(L^{1, \infty } (wd\mu _{\alpha ,\beta })\), \(w \in A_1^{\alpha ,\beta }\) follows from the (vector-valued) Calderón–Zygmund theory. Therefore it suffices to justify that these extensions coincide with the original definitions. The latter, however, can be done by using arguments similar to those mentioned in the proof of [11, Corollary 2.5]. Further details are left to the reader. \(\square \)
We note that some mapping properties for the first order vertical Lusin area integrals, i.e. with \(M=1\) and \(N = 0\), follow from results established in a general framework of spaces of homogeneous type. Using [7, Theorem 1.1] we obtain, in particular, weighted weak type (1, 1) estimate for \(S^{\alpha ,\beta }_{1,0} = \mathcal {S}^{\alpha ,\beta }_{1,0}\) with all \(A_1^{\alpha ,\beta }\) weights admitted. The assumptions imposed in [7] are indeed satisfied, since the Jacobi-heat kernel of the Jacobi-heat semigroup \(\big \{ \exp (-t \mathcal {J}^{\alpha ,\beta }) \big \}_{t > 0}\) possesses the so-called Gaussian bound. The latter was recently established independently by Coulhon et al. in [6, Theorem 7.2] and by Nowak and Sjögren in [12, Theorem A].
3 Kernel estimates
This section is devoted to proving standard estimates for the kernels \(S^{\alpha ,\beta }_{M,N}(\theta ,\varphi )\) and \(\mathcal {S}^{\alpha ,\beta }_{M,N}(\theta ,\varphi )\) related to the Banach spaces \(\mathbb {B} = L^2(\Gamma , t^{2M+2N-1}d\eta dt)\) and asserted in Theorem 2.3. We point out that a prominent role in our proof is played by the method of proving kernel estimates established in [11] under the restriction \(\alpha ,\beta \ge -1/2\) and then generalized in [13] to all admissible type parameters \(\alpha ,\beta >-1\). In those papers a convenient integral representation for the Jacobi–Poisson kernel was established, see [13, (1) and Proposition 2.3]. This allowed the authors to elaborate a technique of estimating various kernels expressible via \(H_{t}^{\alpha ,\beta }(\theta ,\varphi )\) and in consequence to show that several fundamental harmonic analysis operators in the Jacobi context are (vector-valued) Calderón–Zygmund operators. However, the Lusin area integrals have more complex structure than the operators investigated in [11, 13] and thus to treat them we need to establish further generalization of this interesting method. To achieve this, we will adapt some intuitions and ideas from the contexts of the Dunkl harmonic oscillator [21] and the Dunkl Laplacian [5], where analogous techniques were developed. We emphasize that the analysis related to the restricted range of \(\alpha ,\beta \ge -1/2\) is much simpler than the one concerning all \(\alpha ,\beta > -1\). This is caused by the fact that for \(\alpha ,\beta \ge -1/2\) the above mentioned integral representation for \(H_{t}^{\alpha ,\beta }(\theta ,\varphi )\) is less complicated. However, in the sequel we would like to treat all \(\alpha ,\beta \) in a unified way.
To prove the kernel estimates stated in Theorem 2.3 we will need some preparatory results, which are gathered below. Some of them were obtained in the previous papers [11, 13], but we recall them here for the sake of reader’s convenience. To state them we shall use the same notation as in [13]. For \(\alpha > -1/2\), let \(d\Pi _\alpha \) be the probability measure on the interval \([-1,1]\) defined by
and in the limit case \(d\Pi _{-1/2}\) is the sum of point masses at \(-1\) and 1 divided by 2. Further, let
and put
Furthermore, for \(W, s \in \mathbb {R}\) fixed, we consider a function \(\Upsilon _{W,s}^{\alpha ,\beta }(t,\theta ,\varphi )\) defined on \((0,\pi ] \times (0,\pi ) \times (0,\pi )\) as follows.
-
(i)
For \(\alpha ,\beta \ge -1\slash 2\),
$$\begin{aligned} \Upsilon ^{\alpha ,\beta }_{W,s}(t,\theta ,\varphi ) := \iint \frac{d\Pi _{\alpha }(u)\, d\Pi _{\beta }(v)}{(t^2 + q(\theta ,\varphi ,u,v))^{ \alpha +\beta +3\slash 2 + W/4 + s\slash 2 }}. \end{aligned}$$ -
(ii)
For \(-1< \alpha < -1\slash 2 \le \beta \),
$$\begin{aligned} \Upsilon ^{\alpha ,\beta }_{W,s}(t,\theta ,\varphi ) :=&\, 1 + \sum _{K=0,1} \sum _{k=0,1,2} \bigg ( \sin \frac{\theta }{2}+ \sin \frac{\varphi }{2}\bigg )^{Kk} \\&\times \iint \frac{d\Pi _{\alpha , K}(u)\, d\Pi _{\beta }(v)}{(t^2 + q(\theta ,\varphi ,u,v))^{ \alpha +\beta +3\slash 2 + W/4 +Kk\slash 2 + s\slash 2 }}. \end{aligned}$$ -
(iii)
For \(-1< \beta < -1\slash 2 \le \alpha \),
$$\begin{aligned} \Upsilon ^{\alpha ,\beta }_{W,s}(t,\theta ,\varphi ) :=&\, 1 + \sum _{R=0,1} \sum _{r=0,1,2} \bigg ( \cos \frac{\theta }{2}+ \cos \frac{\varphi }{2}\bigg )^{Rr} \\&\times \iint \frac{d\Pi _{\alpha }(u)\, d\Pi _{\beta , R}(v)}{(t^2 + q(\theta ,\varphi ,u,v))^{ \alpha +\beta +3\slash 2 + W/4 +Rr\slash 2 + s\slash 2 }}. \end{aligned}$$ -
(iv)
For \(-1< \alpha ,\beta < -1\slash 2\),
$$\begin{aligned} \Upsilon ^{\alpha ,\beta }_{W,s}(t,\theta ,\varphi ) :=&\, 1 + \sum _{K,R=0,1} \sum _{k,r=0,1,2} \bigg ( \sin \frac{\theta }{2}+\sin \frac{\varphi }{2}\bigg )^{Kk} \bigg ( \cos \frac{\theta }{2}+ \cos \frac{\varphi }{2}\bigg )^{Rr} \\&\times \iint \frac{d\Pi _{\alpha , K}(u)\, d\Pi _{\beta , R}(v)}{(t^2 + q(\theta ,\varphi ,u,v))^{ \alpha +\beta +3\slash 2 + W/4 +Kk\slash 2 + Rr\slash 2 + s\slash 2 }}. \end{aligned}$$
Notice that for any \(\tau \in \mathbb {R}\) we have \(\Upsilon ^{\alpha ,\beta }_{W,s}(t,\theta ,\varphi ) = \Upsilon ^{\alpha ,\beta }_{W-2\tau ,s+\tau }(t,\theta ,\varphi )\), which will frequently be used in the sequel.
Now we are ready to state the following lemma, which was partially proved in [13, Corollary 3.5].
Lemma 3.1
Let \(M,N \in \mathbb {N}\) and \(L,P \in \{0,1\}\) be fixed. Then,
uniformly in \(t\in (0,\pi ]\) and \(\theta ,\varphi \in (0,\pi )\).
Proof
We first note that the estimates obtained in [13, Corollary 3.5] actually hold uniformly in \(t\in (0,T_0]\), where \(T_0 > 0\) is an arbitrary but fixed constant. Therefore, the estimate for the first term in question is just this strengthened version of the above mentioned result since \(\delta ^N = \partial ^N\). We now focus on the remaining term.
Notice that the Jacobi–Poisson semigroup \(\mathcal {H}_t^{\alpha ,\beta } = \exp (-t \sqrt{\mathcal {J}^{\alpha ,\beta }})\), \(t>0\), satisfies the differential equation \(\partial _t^2 \mathcal {H}_t^{\alpha ,\beta } f(\theta ) = \mathcal {J}^{\alpha ,\beta } \mathcal {H}_t^{\alpha ,\beta } f(\theta )\). This forces that the Jacobi–Poisson kernel \(H_t^{\alpha ,\beta }(\theta ,\varphi )\) also satisfies this equation with respect to \(\theta \), which, together with the identity \(\mathcal {J}^{\alpha ,\beta } = D^2 + \lambda _0^{\alpha ,\beta }\), leads to the equation
Iterating this we infer that for \(t > 0\) and \(\theta ,\varphi \in (0,\pi )\) we get
where \(\overline{N} = \chi _{\{N \; \text {is odd}\}}\) and \(c_n\) are some constants. Now, using the already justified estimate for the first term in question and the fact that for any \(-\infty< W \le W' < \infty \), \(s \in \mathbb {R}\) fixed we have
(this easily follows from the boundedness of \(q(\theta ,\varphi ,u,v)\)), we obtain the desired conclusion for the second term in question. \(\square \)
We need the following generalization of the above lemma.
Lemma 3.2
Let \(M,N \in \mathbb {N}\) and \(L,P \in \{0,1\}\) be fixed. Then,
uniformly in \((\eta ,t) \in \Gamma \), \(t\in (0,\pi ]\) and \(\theta ,\varphi \in (0,\pi )\) satisfying \(\theta + \eta \in (0,\pi )\).
To prove Lemma 3.2 we shall use the following result.
Lemma 3.3
For all \((\eta ,t) \in \Gamma \), and \(\theta ,\varphi \in (0,\pi )\) with \(\theta + \eta \in (0,\pi )\), and all \(u,v \in [-1,1]\), we have
Proof
We first show the estimate \((\lesssim )\). To prove this, it suffices to verify that
Observe that the following comparability holds, see [11, (23)],
Further, since
it is enough to check that
This, in turn, follows from the relation \((\theta - \varphi )^2 + \theta \varphi \simeq \theta ^2 + \varphi ^2\) for \(\theta , \varphi \in (0,\pi )\), and by a reflection in \(\pi /2\) reason. Therefore we proved \((\lesssim )\).
Now, the bound \((\gtrsim )\) is a straightforward consequence of the first one. Precisely,
since \((-\eta ,t) \in \Gamma \) and \(\theta , \theta + \eta \in (0,\pi )\). \(\square \)
Proof of Lemma 3.2
By Lemma 3.1 it suffices to show that for each \(W, s \in \mathbb {R}\) fixed, we have
We prove this estimate when \(-1<\alpha ,\beta <-1/2\); the proofs of the remaining cases are similar and even simpler, and hence are omitted. To proceed, notice that for any \(\kappa \ge 0\) fixed we have
These can easily be justified with the aid of the relations
and the fact that \(|\eta | < t\). Using these bounds, Lemma 3.3 and then the obvious inequality \(t \le (t^2 + q(\theta ,\varphi ,u,v))^{1/2}\), we get
Since \(k\varepsilon _1, r\varepsilon _2 \in \{ 0,1,2 \}\), the last quantity above is comparable to \(\Upsilon _{W,s}^{\alpha ,\beta } (t, \theta , \varphi ) \) and the conclusion follows. \(\square \)
The next result is a slightly modified special case of [13, Lemma 3.7] (note that the norm estimate in [13, Lemma 3.7, p. 201, l. 2] is still valid if we replace \(L^p((0,1),t^{W-1}dt)\) appearing there by \(L^p((0,T_0),t^{W-1}dt)\) with any \(T_0 > 0\) fixed), which played a crucial role in showing standard estimates for various kernels investigated in the just mentioned paper. This lemma provides an important connection between estimates emerging from Lemma 3.2 and the standard estimates related to the space of homogeneous type \(( (0,\pi ), d\mu _{\alpha ,\beta }, |\cdot |)\).
Lemma 3.4
([13, Lemma 3.7]) Let \(W \ge 1\) and \(s\ge 0\) be fixed. Then the estimate
holds uniformly in \(\theta ,\varphi \in (0,\pi )\), \(\theta \ne \varphi \).
Note that for any \(\alpha ,\beta > -1\) fixed, the \(\mu _{\alpha ,\beta }\) measure of the ball (interval) \(B(\theta ,r)\) can be described as follows, cf. [11, Lemma 4.2],
The next lemma is a long-time counterpart of Lemma 3.4 and was partially proved in [13, Corollary 3.9].
Lemma 3.5
Let \(\alpha ,\beta > -1\), \(M,N \in \mathbb {N}\) be such that \(M+N>0\), and let \(L,P \in \{0,1\}\) and \(W \ge 1\) be fixed. Then
Proof
Since \(\delta ^N = \partial ^N\), the norm finiteness of the first expression in question is a direct consequence of [13, Corollary 3.9]. The conclusion for the second term follows by combining the identity (4) with [13, Corollary 3.9]. \(\square \)
The next three lemmas (Lemmas 3.6–3.8) allow us to control certain expressions involving the function \(\Omega _{\alpha ,\beta }\) appearing in the definitions of the kernels \(S^{\alpha ,\beta }_{M,N}(\theta ,\varphi )\) and \(\mathcal {S}^{\alpha ,\beta }_{M,N}(\theta ,\varphi )\).
Lemma 3.6
Assume that \(\alpha ,\beta > -1\). Then
Proof
Simple exercise. \(\square \)
Lemma 3.7
Assume that \(\alpha ,\beta > -1\). Then there exists \(\gamma =\gamma (\alpha ,\beta ) \in (0,1/2]\) such that
uniformly in \(t > 0\) and \(\theta , \theta ' \in (0,\pi )\). Moreover, the estimate holds with any \(\gamma \in (0,1/2]\) satisfying \(\gamma < \alpha \wedge \beta + 1\).
In the proof of this lemma we will use the following estimate. For a fixed \(\xi \ge 1\) we have
Proof of Lemma 3.7
Since the function \(\Omega _{\alpha ,\beta }(\theta ,\eta ,t)\) stabilizes for \(t \ge \pi \) and the constraint \(\theta , \theta + \eta \in (0,\pi )\) forces \(|\eta | < \pi \), we may assume that \(0 < t \le \pi \). Further, from now on we restrict our attention to \(|\theta - \theta '| \le t\). Otherwise, an application of Lemma 3.6 shows that the left-hand side in question is controlled by a constant and the conclusion trivially follows.
Using the estimate (7) with \(\xi =2\) we obtain
Therefore we have reduced the proof of the lemma to showing that for \(j=1,2\) we have
for each fixed \(\gamma \in (0,1/2]\) satisfying \(\gamma < \alpha \wedge \beta + 1\).
We will treat \(I_1\) and \(I_2\) separately. Let \(f(\theta )=\big ( \sin \frac{\theta + \eta }{2}\big )^{2\alpha +1} \big ( \cos \frac{\theta + \eta }{2}\big )^{2\beta +1}\). Applying the estimate (7) specified to \(\xi =1/(2\gamma )\) and then the Mean Value Theorem we obtain
where \(\widetilde{\theta }\) is a convex combination of \(\theta \) and \(\theta '\), which depends also on \(\eta \). An elementary computation gives
Using this we get
We first deal with \(J_1\). Using the fact that \(2\alpha + 2 - 2\gamma > 0\), \(|\eta |<t\) and the estimates (5), (6), we obtain
where
Using the relations
(which are valid because \(|\theta - \theta '| \le t\) and \(t \in (0,\pi ]\)), the fact that \(1-2\gamma \ge 0\) and the above bound for \(J_1\) we arrive at
and consequently
Now an application of (6) and once again (9) leads to the desired bound for the integral related to \(J_1\). Proceeding in a similar way we may easily get the same estimate for the integral connected with \(J_2\). Hence to finish the proof, it is enough to verify (8) for \(j=2\).
An application of Lemma 3.6 gives
By the definition of \(V_t^{\alpha ,\beta }(\theta )\) and the fact that \(|\theta - \theta '| \le t\), we get
and further
Since \(\mu _{\alpha ,\beta }(B(x,r)) = \mu _{\beta ,\alpha }(B(\pi - x,r))\) and consequently \(K^{\alpha ,\beta }_2(\theta ,\theta ',t) = K^{\beta ,\alpha }_1(\pi - \theta ,\pi - \theta ',t)\), in order to finish the proof, it suffices to verify that
Taking into account (6) we obtain
Using once again (6) and (9) we get
The relevant bound for the first term is straightforward. To analyze the second one it is enough to use the estimates
The third term can be bounded by means of the inequality
and the fact that \(2\alpha + 2 > 2\gamma \). This finishes proving Lemma 3.7. \(\square \)
Lemma 3.8
Assume that \(\alpha ,\beta > -1\). Then there exists \(\gamma =\gamma (\alpha ,\beta ) \in (0,1/2]\) such that
Moreover, the estimate holds with any \(\gamma \in (0,1/2]\) satisfying \(\gamma \le \alpha \wedge \beta + 1\).
Proof
Let \(\gamma \in (0,1/2]\) satisfying \(\gamma \le \alpha \wedge \beta + 1\) be fixed. By the same arguments as those given in the beginning of the proof of Lemma 3.7 we may assume that \(0 < t \le \pi \) and \(|\theta - \theta '| \le t\). To proceed, by the definition of \(\Omega _{\alpha ,\beta }(\theta ,\eta ,t)\) we get
Since \(I^{\alpha ,\beta }_2(\theta ,\theta ',t) = I^{\beta ,\alpha }_1(\pi - \theta ,\pi - \theta ',t)\), in order to finish the proof, it is enough to check that
Observe that
Taking into account (6) and then using (9) we obtain
which finishes the proof because \(2\alpha +2 \ge 2\gamma \). \(\square \)
The following lemma comes into play when proving the smoothness conditions (2), (3) for the kernels in question.
Lemma 3.9
Assume that \(\alpha ,\beta > -1\) and \(W,s \in \mathbb {R}\) are fixed. Then for all \(t \in (0,\pi ]\) and \(\theta , \widetilde{\theta },\varphi \in (0,\pi )\) with \(|\theta - \varphi | > 2|\theta - \widetilde{\theta }|\), we have
Analogously, for all \(t \in (0,\pi ]\) and \(\theta ,\varphi , \widetilde{\varphi } \in (0,\pi )\) with \(|\theta - \varphi | > 2|\varphi - \widetilde{\varphi }|\),
Proof
For symmetry reasons it is enough to prove only the first part of this lemma. Further, taking into account the definition of \(\Upsilon _{W,s}^{\alpha ,\beta }(t,\theta ,\varphi )\) and the relation, see [11, Lemma 4.6],
we see that our task is reduced to showing that
uniformly in \(|\theta -\varphi |>2|\theta -\widetilde{\theta }|\). Reflecting in \(\pi /2\), it suffices to verify only the first relation. Moreover, with the aid of (5), this is equivalent to checking that
This, however, is routine and follows by a simple application of the triangle inequality. \(\square \)
Finally, we are ready to prove Theorem 2.3.
Proof of Theorem 2.3
We first show the standard estimates for the kernel \(S^{\alpha ,\beta }_{M,N}(\theta ,\varphi )\). To begin with we prove the growth condition (1). By Lemma 3.2 (specified to \(L = P = 0\)) we have
for \(\theta ,\varphi \in (0,\pi )\) and \((\eta ,t) \in \Gamma \). Consequently, using Lemma 3.6, we infer that
Now an application of Lemma 3.4 (specified to \(W=2M + 2N\), \(s=0\)) and Lemma 3.5 (taken with \(L = P = 0\) and \(W=2M + 2N\)) leads to the desired estimate.
We pass to proving the first smoothness condition. More precisely, we will show (2) with any fixed \(\gamma \in (0,1/2]\) satisfying \(\gamma < \alpha \wedge \beta + 1\). It is convenient to split the region of integration into four subsets, depending on whether \(\theta + \eta , \theta ' + \eta \) belong to \((0,\pi )\) or not. Let
Since the treatment of the integral over \(\Gamma _4\) is trivial and the case of \(\Gamma _3\) is analogous to \(\Gamma _2\) (precisely, one should use in addition Lemma 3.9 with \(\widetilde{\theta } = \theta '\) in the parallel reasoning related to \(\Gamma _3\)), it suffices to focus only on the two essential cases.
Case 1:The analysis related to\(L^2 (\Gamma _1, t^{2M+2N-1} d\eta dt)\). By the triangle inequality we get
We will treat \(I_1\) and \(I_2\) separately. We begin with showing that
for \(|\theta -\varphi | > 2|\theta - \theta '|\). By the Mean Value Theorem we get
where \(\widetilde{\theta }\) is a convex combination of \(\theta \) and \(\theta '\) that depends also on \(\eta \) and t. Now an application of Lemma 3.2 (with \(L = 0\), \(P = 1\)) and then Lemma 3.9 gives
provided that \(|\theta -\varphi | > 2|\theta - \theta '|\) and \((\eta ,t) \in \Gamma _1\). Hence, with the aid of Lemma 3.6, Lemmas 3.4 (with \(W = 2M + 2N\), \(s=1\)) and 3.5 (taken with \(L = 0\), \(P = 1\), \(W = 2M + 2N\)), the asserted norm estimate for \(I_1\) follows.
Next we check that
for \(|\theta -\varphi | > 2|\theta - \theta '|\). Using Lemma 3.2 (with \(L = P = 0\)) we arrive at the bound
for \(\theta , \theta ', \varphi \in (0,\pi )\) and \((\eta ,t) \in \Gamma _1\). Further, an application of Lemma 3.7 leads to
Now, Lemma 3.4 [taken with \(W = 2M + 2N - 2\gamma \ge 1\), \(s=\gamma \); observe that \(\Upsilon ^{\alpha ,\beta }_{2M + 2N,0}(t,\theta ,\varphi ) = \Upsilon ^{\alpha ,\beta }_{2M + 2N - 2\gamma , \gamma }(t,\theta ,\varphi )\)] together with Lemma 3.5 (specified to \(L = P = 0\), \(W = 2M + 2N\)) produces the required bound for \(I_2\). The analysis associated with \(\Gamma _1\) is finished.
Case 2:The analysis related to\(L^2 (\Gamma _1, t^{2M+2N-1} d\eta dt).\) Since \(S^{\alpha ,\beta }_{M,N,\eta ,t}(\theta ',\varphi ) = 0\) for \((\eta ,t) \in \Gamma _2\), it suffices to verify that
for \(|\theta -\varphi | > 2|\theta - \theta '|\). Combining (10) with Lemma 3.8 gives
which leads to (11), see the norm estimate of \(I_2\) above.
Next we verify the second smoothness condition (3) with \(\gamma = 1\) and \(S^{\alpha ,\beta }_{M,N}(\theta ,\varphi )\). Using the Mean Value Theorem, Lemma 3.2 (with \(L = 1\), \(P = 0\)) and then Lemma 3.9, we obtain
provided that \(|\theta -\varphi | > 2|\varphi - \varphi '|\), \(\theta + \eta \in (0,\pi )\) and \((\eta ,t) \in \Gamma \). Now, using sequently Lemma 3.6, Lemmas 3.4 (applied with \(W = 2M + 2N\), \(s=1\)) and 3.5 (specified to \(L = 1\), \(P = 0\), \(W = 2M + 2N\)) we get the desired conclusion. This finishes proving Theorem 2.3 for the kernel \(S^{\alpha ,\beta }_{M,N}(\theta ,\varphi )\).
The proof of the standard estimates for the kernel \(\mathcal {S}^{\alpha ,\beta }_{M,N}(\theta ,\varphi )\) is just a repetition of the reasoning given above. This is indeed the case because the estimates of certain derivatives of the Jacobi–Poisson kernel established in Lemmas 3.1, 3.2 and 3.5 are the same for both kinds of higher order derivatives \(\delta ^N\) and \(D^N\). We leave the details to the reader. \(\square \)
References
Betancor, J.J., Castro, A.J., Fariña, J.C., Rodríguez-Mesa, L.: Conical square functions associated with Bessel, Laguerre and Schrödinger operators in UMD Banach spaces. J. Math. Anal. Appl. 447, 32–75 (2017)
Betancor, J.J., Fariña, J.C., Rodríguez-Mesa, L., Testoni, R., Torrea, J.L.: Fractional square functions and potential spaces, II. Acta Math. Sin. (Engl. Ser.) 31, 1759–1774 (2015)
Betancor, J.J., Molina, S.M., Rodríguez-Mesa, L.: Area Littlewood–Paley functions associated with Hermite and Laguerre operators. Potential Anal. 34, 345–369 (2011)
Castro, A.J., Nowak, A., Szarek, T.Z.: Riesz–Jacobi transforms as principal value integrals. J. Fourier Anal. Appl. 22, 493–541 (2016)
Castro, A.J., Szarek, T.Z.: On fundamental harmonic analysis operators in certain Dunkl and Bessel settings. J. Math. Anal. Appl. 412, 943–963 (2014)
Coulhon, T., Kerkyacharian, G., Petrushev, P.: Heat kernel generated frames in the setting of Dirichlet spaces. J. Fourier Anal. Appl. 18, 995–1066 (2012)
Gong, R., Xie, P.: Weighted \(L^p\) estimates for the area integral associated with self-adjoint operators on homogeneous space. J. Math. Anal. Appl. 393, 590–604 (2012)
Kemppainen, M.: An \(L^1\)-estimate for certain spectral multipliers associated with the Ornstein–Uhlenbeck operator. J. Fourier Anal. Appl. 22, 1416–1430 (2016)
Langowski, B.: Harmonic analysis operators related to symmetrized Jacobi expansions for all admissible parameters. Acta Math. Hung. 150, 49–82 (2016)
Maas, J., van Neerven, J., Portal, P.: Conical square functions and non-tangential maximal functions with respect to the Gaussian measure. Publ. Mat. 55, 313–341 (2011)
Nowak, A., Sjögren, P.: Calderón–Zygmund operators related to Jacobi expansions. J. Fourier Anal. Appl. 18, 717–749 (2012)
Nowak, A., Sjögren, P.: Sharp estimates of the Jacobi heat kernel. Stud. Math. 218, 219–244 (2013)
Nowak, A., Sjögren, P., Szarek, T.Z.: Analysis related to all admissible type parameters in the Jacobi setting. Constr. Approx. 41, 185–218 (2015)
Nowak, A., Stempak, K.: A symmetrized conjugacy scheme for orthogonal expansions. Proc. R. Soc. Edinb. Sect. A 143, 427–443 (2013)
Nowak, A., Stempak, K., Szarek, T.Z.: On harmonic analysis operators in Laguerre–Dunkl and Laguerre-symmetrized settings. SIGMA 12, 1–39 (2016)
Portal, P.: Maximal and quadratic Gaussian Hardy spaces. Rev. Mat. Iberoam. 30, 79–108 (2014)
Rubio de Francia, J.L., Ruiz, F.J., Torrea, J.L.: Calderón–Zygmund theory for operator-valued kernels. Adv. Math. 62, 7–48 (1986)
Ruiz, F.J., Torrea, J.L.: Vector-valued Calderón–Zygmund theory and Carleson measures on spaces of homogeneous nature. Stud. Math. 88, 221–243 (1988)
Segovia, C., Wheeden, R.L.: On certain fractional area integrals. J. Math. Mech. 19, 247–262 (1969)
Szegö, G.: Orthogonal Polynomials. American Mathematical Society Colloquium Publications, vol. 23, 4th edn. American Mathematical Society, Providence (1975)
Szarek, T.Z.: On Lusin’s area integrals and g-functions in certain Dunkl and Laguerre settings. Math. Nachr. 285, 1517–1542 (2012)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by K. Gröchenig.
Research supported by the National Science Centre of Poland, Project No. 2012/05/N/ST1/02746.
Rights and permissions
Open Access 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
Szarek, T.Z. Lusin area integrals related to Jacobi expansions. Monatsh Math 189, 157–178 (2019). https://doi.org/10.1007/s00605-018-1241-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00605-018-1241-4
Keywords
- Jacobi polynomial
- Jacobi expansion
- Jacobi operator
- Jacobi–Poisson kernel
- Jacobi–Poisson semigroup
- Square function
- Lusin area integral
- Calderón–Zygmund operator