Open Access

\(L^{p}\) and BMO bounds for weighted Hardy operators on the Heisenberg group

Journal of Inequalities and Applications20162016:282

https://doi.org/10.1186/s13660-016-1222-x

Received: 13 August 2016

Accepted: 25 October 2016

Published: 17 November 2016

Abstract

In the setting of the Heisenberg group \(\mathbb{H}^{n}\), we characterize those nonnegative functions w defined on \([0,1]\) for which the weighted Hardy operator \(\mathsf{H}_{w}\) is bounded on \(L^{p}(\mathbb{H}^{n})\), \(1\leq p\leq\infty\), and on \(\operatorname{BMO}(\mathbb{H}^{n})\). Meanwhile, the corresponding operator norm in each case is derived. Furthermore, we introduce a type of weighted multilinear Hardy operators and obtain the characterizations of their weights for which the weighted multilinear Hardy operators are bounded on the product of Lebesgue spaces in terms of Heisenberg group. In addition, the corresponding norms are worked out.

Keywords

Heisenberg group weighted Hardy operator BMO weighted multilinear Hardy operator

MSC

26D10 43A15 22E25

1 Introduction

The history of weighted Hardy operators can be traced back to the end of the 19th century when Hadamard [1] used the idea of fractional differentiation of an analytic function via differentiation of its Taylor series. Corresponding to fractional differentiation, we note that Hadamard dealt with fractional integration in the form of
$$ J^{\alpha}f(x)=\frac{x^{\alpha}}{\Gamma(\alpha)} \int_{0}^{1}(1-\xi )^{\alpha-1}f(x\xi)\,d\xi, $$
which led him further to consider generalized fractional integrals of the form
$$ \int_{0}^{1}g(x\xi)v(\xi)\,d\xi. $$
(1.1)
Notice that, if \(g(x\xi)=\frac{x^{\alpha}}{\Gamma(\alpha)}f(x\xi)\), \(v(\xi )=(1-\xi)^{\alpha-1}\), then (1.1) reduces to \(J^{\alpha}f(x)\). However, Hadamard considered the case \(v(\xi)=\frac{1}{\Gamma(\alpha )}(-\ln\xi)^{\alpha-1}\), he did not develop this idea. Many years later a substantial theory of generalized integration (1.1) was created by Dzherbashyan in [2] and [3]. It is clear that in \(\mathbb{R}^{1}\) if \(v(\xi)\equiv1\), then (1.1) is precisely reduced to the classical Hardy operator H defined by
$$ Hf(x)=\frac{1}{x} \int_{0}^{x}f(t)\,dt,\quad x\neq0, $$
which is one of the fundamental integral averaging operator in real analysis. In 1984, Carton-Lebrun and Fosset [4] defined the weighted Hardy operators \(H_{\psi}\) as follows. Let \(\psi:[0,1]\rightarrow[0,\infty)\) be a function. If f is a measurable complex-valued function on \(\mathbb{R}^{n}\), then
$$ H_{\psi}f(x):= \int_{0}^{1}f(tx)\psi(t)\,dt,\quad x\in \mathbb{R}^{n}. $$
Sometimes \(H_{\psi}\) is called the generalized Hardy operator [5]. Xiao [6] gave the characterization of ψ for which \(H_{\psi}\) is bounded on either \(L^{p}(\mathbb{R}^{n})\), \(1\leq p\leq\infty\), or \(\operatorname{BMO}(\mathbb{R}^{n})\). Meanwhile, the corresponding operator norms were worked out. Rim and Lee [7] obtained the similar results on a p-adic field. For other results of the weighted Hardy operators on the Euclidean space one can refer to [8] and references therein. As we know, the weighted Hardy operators are closely related to Hausdorff operators; see [9]. In this paper, we will consider the weighted Hardy operators on the Heisenberg group.
The Heisenberg group \(\mathbb{H}^{n}\) is the Lie group with underlying manifold \(\mathbb{R}^{2n}\times\mathbb{R}\), whose group law is given by
$$\begin{aligned}& (x_{1},x_{2},\ldots,x_{2n},x_{2n+1}) \bigl(x'_{1},x'_{2}, \ldots,x'_{2n},x'_{2n+1}\bigr) \\& \quad = \Biggl(x_{1}+x'_{1},x_{2}+x'_{2}, \ldots,x_{2n}+x'_{2n},x_{2n+1}+x'_{2n+1} +2\sum_{j=1}^{n}\bigl(x'_{j}x_{n+j}-x_{j}x'_{n+j} \bigr) \Biggr). \end{aligned}$$
This multiplication is non-commutative. By the definition, we can see that the identity element on \(\mathbb{H}^{n}\) is \(0\in\mathbb{R}^{2n+1}\), while the reverse element of x is −x. The vector fields
$$\begin{aligned}& X_{j}=\frac{\partial}{\partial x_{j}}+2x_{n+j}\frac{\partial}{\partial x_{2n+1}},\quad j=1, \ldots,n, \\& X_{n+j}=\frac{\partial}{\partial x_{n+j}}-2x_{j}\frac{\partial }{\partial x_{2n+1}}, \quad j=1,\ldots,n, \\& X_{2n+1}=\frac{\partial}{\partial x_{2n+1}}, \end{aligned}$$
form a natural basis for the Lie algebra of left-invariant vector fields. The only non-trivial commutator relations between those fields are
$$ [X_{j},X_{n+j}]=-4X_{2n+1},\quad j=1,\ldots,n. $$
The Heisenberg group \(\mathbb{H}^{n}\) is a homogeneous group with dilations
$$ \delta_{r}(x_{1},x_{2},\ldots,x_{2n},x_{2n+1}):= \bigl(rx_{1},rx_{2},\ldots ,rx_{2n},r^{2}x_{2n+1} \bigr),\quad r>0. $$
The homogeneous norm is defined by
$$|x|_{h}= \Biggl[ \Biggl(\sum_{i=1}^{2n}x_{i}^{2} \Biggr)^{2}+x_{2n+1}^{2} \Biggr]^{\frac{1}{4}}, $$
where \(x=(x_{1},x_{2},\ldots,x_{2n},x_{2n+1})\). From this one also can derive the distance function
$$d(p,q):=d\bigl(q^{-1}p,0\bigr)=\bigl\vert q^{-1}p\bigr\vert _{h}. $$
This distance d is left-invariant in the sense that \(d(p,q)\) remains unchanged when p and q are both left-translated by some fixed vector on \(\mathbb{H}^{n}\). Furthermore, d satisfies the triangular inequality (p.320 in [10])
$$d(p,q)\leq d(p,x)+d(x,q),\quad p,x,q\in \mathbb{H}^{n}. $$
For \(r>0\) and \(x\in\mathbb{H}^{n}\), the ball and sphere with center x and radius r on \(\mathbb{H}^{n}\) are given by
$$B(x,r)=\bigl\{ y\in\mathbb{H}^{n}:d(x,y)< r\bigr\} $$
and
$$S(x,r)=\bigl\{ y\in\mathbb{H}^{n}:d(x,y)=r\bigr\} , $$
respectively.
The Haar measure on \(\mathbb{H}^{n}\) coincides with the Lebesgue measure on \(\mathbb{R}^{2n}\times\mathbb{R}\). We denote by \(|E|\) the measure of any measurable set \(E\subset\mathbb{H}^{n}\). Then
$$\bigl\vert \delta_{r}(E)\bigr\vert =r^{Q}\vert E \vert ,\qquad d(\delta_{r} x)=r^{Q}\, dx, $$
where \(Q=2n+2\) is called the homogeneous dimension of \(\mathbb{H}^{n}\). We have
$$\bigl\vert B(x,r)\bigr\vert =\bigl\vert B(0,r)\bigr\vert = \Omega_{Q}r^{Q}, $$
where
$$\Omega_{Q}=\frac{2\pi^{n+\frac{1}{2}}\Gamma(\frac{n}{2})}{(n+1)\Gamma (n)\Gamma(\frac{n+1}{2})}, $$
is the volume of the unit ball \(B(0,1)\) on \(\mathbb{H}^{n}\). The area of \(S(0,1)\) on \(\mathbb{H}^{n}\) is \(\omega_{Q}=Q\Omega_{Q}\); see [11]. For more details as regards the Heisenberg group one can refer to [12].

Definition 1.1

Let \(w:[0,1]\rightarrow[0,\infty)\) be a function, for a measurable function f on \(\mathbb{H}^{n}\). We define the weighted Hardy operators \(\mathsf{H}_{w}\) on \(\mathbb{H}^{n}\) as
$$ \mathsf{H}_{w}f(x):= \int_{0}^{1}f(\delta_{t}x)w(t)\,dt. $$
Recall that the space \(\operatorname{BMO}(\mathbb{H}^{n})\) is defined to be the space of all locally integrable functions f on \(\mathbb{H}^{n}\) such that
$$\|f\|_{\operatorname{BMO}(\mathbb{H}^{n})}:=\sup_{B\subset\mathbb{H}^{n}}\frac{1}{|B|} \int _{B}\bigl\vert f(x)-f_{B}\bigr\vert \,dx< \infty, $$
where the supremum is taken over all balls in \(\mathbb{H}^{n}\) and \(f_{B}=\frac{1}{|B|}\int_{B}f(x)\,dx\).

In Section 2, we will characterize the nonnegative functions ω defined on \([0,1]\) for which the weighted Hardy operator \(\mathsf{H}_{w}\) is bounded on \(L^{p}(\mathbb{H}^{n})\), \(1\leq p\leq\infty\), and on \(\operatorname{BMO}(\mathbb{H}^{n})\). Meanwhile, the corresponding operator norm in each case will be obtained. In Section 3, we will introduce a type of weighted multilinear Hardy operators and investigate the characterizations of their weights for which the weighted multilinear Hardy operators are bounded on the product of Lebesgue spaces in terms of Heisenberg group. In addition, the corresponding norms will be worked out. We will give an extension of [13] and [6] to the setting of the Heisenberg group \(\mathbb{H}^{n}\) since it is a non-commutative nilpotent Lie group with the underlying manifold \(\mathbb{R}^{2n}\times\mathbb{R}\), in which geometric motions are different from the Euclidean space \(\mathbb{R}^{n}\) due to the loss of interchangeability. A new special function for the sufficient part of BMO bounds will be constructed.

2 Bounds for weighted Hardy operators on \(\mathbb{H}^{n}\)

Theorem 2.1

Let \(w:[0,1]\rightarrow(0,\infty)\) be a function and let \(1\leq p\leq \infty\). Then \(\mathsf{H}_{w}\) is bounded on \(L^{p}(\mathbb{H}^{n})\) if and only if
$$ \int_{0}^{1}t^{-\frac{Q}{p}}w(t)\,dt< \infty. $$
(2.1)
Moreover, if (2.1) holds, then
$$\|\mathsf{H}_{w}\|_{L^{p}(\mathbb{H}^{n})\rightarrow L^{p}(\mathbb{H}^{n})}= \int _{0}^{1}t^{-\frac{Q}{p}}w(t)\,dt. $$

Proof

Since the case \(p=\infty\) is trivial, it suffices to consider \(1\leq p<\infty\). Suppose (2.1) holds. By Minkowski’s inequality, we have
$$\begin{aligned} \|\mathsf{H}_{w}f\|_{L^{p}(\mathbb{H}^{n})}&=\biggl( \int_{\mathbb{H}^{n}} \biggl\vert \int_{0}^{1}f(\delta_{t}x)w(t)\,dt\biggr\vert ^{p}\,dx\biggr)^{\frac{1}{p}} \\ &\leq \int_{0}^{1}\biggl( \int_{\mathbb{H}^{n}}\bigl\vert f(\delta_{t}x) \bigr\vert ^{p}\,dx\biggr)^{\frac{1}{p}}w(t)\,dt \\ &= \int_{0}^{1}\biggl( \int_{\mathbb{H}^{n}}\bigl\vert f(y)\bigr\vert ^{p}\,dy \biggr)^{\frac{1}{p}}t^{-\frac{Q}{p}}w(t)\,dt \\ &=\|f\|_{L^{p}(\mathbb{H}^{n})} \int_{0}^{1}t^{-\frac{Q}{p}}w(t)\,dt. \end{aligned}$$
(2.2)
Therefore, \(\mathsf{H}_{w}\) is bounded from \(L^{p}(\mathbb{H}^{n})\) to \(L^{p}(\mathbb{H}^{n})\).
Conversely, suppose \(1\leq p<\infty\) and \(\mathsf{H}_{w}\) is bounded on \(L^{p}(\mathbb{H}^{n})\). Then
$$C:=\|\mathsf{H}_{w}\|_{L^{p}(\mathbb{H}^{n})\rightarrow L^{p}(\mathbb {H}^{n})}< \infty, $$
and for \(f\in L^{p}(\mathbb{H}^{n})\),
$$ \|\mathsf{H}_{w}f\|_{L^{p}(\mathbb{H}^{n})}\leq C\|f\|_{L^{p}(\mathbb {H}^{n})}. $$
(2.3)
Now, for any \(\varepsilon>0\), take
$$ f_{\varepsilon}=\left \{ \textstyle\begin{array}{l@{\quad}l} 0,& |x|_{h}\leq1, \\ |x|_{h}^{-\frac{Q}{p}-\varepsilon},& |x|_{h}>1. \end{array}\displaystyle \right . $$
Then \(\|f_{\varepsilon}\|^{p}_{L^{p}(\mathbb{H}^{n})}=\frac{\omega _{Q}}{\varepsilon p}\), and
$$ \mathsf{H}_{w}f_{\varepsilon}(x)=\left \{ \textstyle\begin{array}{l@{\quad}l} 0, &|x|_{h}\leq1, \\ |x|_{h}^{-\frac{Q}{p}-\varepsilon}\int_{|x|_{h}^{-1}}^{1} t^{-\frac{Q}{p}-\varepsilon}w(t)\,dt, &|x|_{h}>1. \end{array}\displaystyle \right . $$
Putting \(0<\varepsilon<1\), then by (2.3), we can see that
$$\begin{aligned} C^{p}\|f_{\varepsilon}\|^{p}_{L^{p}(\mathbb{H}^{n})}&\geq\|\mathsf {H}_{w}f_{\varepsilon}\|^{p}_{L^{p}(\mathbb{H}^{n})} = \int_{|x|_{h}>1} \biggl(|x|_{h}^{-\frac{Q}{p}-\varepsilon} \int_{|x|_{h}^{-1}}^{1} t^{-\frac{Q}{p}-\varepsilon}w(t)\,dt \biggr)^{p}\,dx \\ &\geq \int_{|x|_{h}>\frac{1}{\varepsilon}} \biggl(|x|_{h}^{-\frac {Q}{p}-\varepsilon} \int_{\varepsilon}^{1} t^{-\frac{Q}{p}-\varepsilon}w(t)\,dt \biggr)^{p}\,dx \\ & = \biggl( \int_{|x|_{h}>\frac{1}{\varepsilon}}|x|_{h}^{-Q-\varepsilon p}\,dx \biggr) \biggl( \int_{\varepsilon}^{1} t^{-\frac{Q}{p}-\varepsilon}w(t)\,dt \biggr)^{p}. \end{aligned}$$
By the change of variable \(x=\delta_{\frac{1}{\varepsilon}}y\), we get
$$\begin{aligned} C^{p}\|f_{\varepsilon}\|^{p}_{L^{p}(\mathbb{H}^{n})}&\geq \biggl( \int_{|y|_{h}>1}|y|_{h}^{-Q-\varepsilon p}\varepsilon^{\varepsilon p} \,dy \biggr) \biggl( \int_{\varepsilon}^{1} t^{-\frac{Q}{p}-\varepsilon}w(t)\,dt \biggr)^{p} \\ &=\|f_{\varepsilon}\|^{p}_{L^{p}(\mathbb{H}^{n})} \biggl(\varepsilon ^{\varepsilon} \int_{\varepsilon}^{1} t^{-\frac{Q}{p}-\varepsilon}w(t)\,dt \biggr)^{p}. \end{aligned}$$
This implies that
$$ \varepsilon^{\varepsilon} \int_{\varepsilon}^{1} t^{-\frac{Q}{p}-\varepsilon}w(t)\,dt\leq C. $$
Letting ε approach to 0, we have
$$ \int_{0}^{1} t^{-\frac{Q}{p}}w(t)\,dt\leq C. $$
(2.4)
Moreover, when (2.3) is true, i.e. \(\mathsf{H}_{w}\) is bounded on \(L^{p}(\mathbb{H}^{n})\), then by (2.2) and (2.4), we have
$$\|\mathsf{H}_{w}\|_{L^{p}(\mathbb{H}^{n})\rightarrow L^{p}(\mathbb{H}^{n})}= \int _{0}^{1}t^{-\frac{Q}{p}}w(t)\,dt. $$
This completes the proof. □

On the Heisenberg group, the weighted Hardy operator can also turn into the n-dimensional Hardy operator, see [14, 15].

Proposition 2.1

If f is a radial function and \(w(t)=Qt^{Q-1}\) then \(\mathsf {H}_{w}f(x)=\mathsf{H}f(x)\), where
$$ \mathsf{H}f(x):=\frac{1}{|B(0,|x|_{h})|} \int_{B(0,|x|_{h})}f(y)\,dy,\quad x\in \mathbb{H}^{n}\setminus \{0\}, $$
(2.5)
is the Hardy operator on the Heisenberg group.

Proof

In fact, if f is a radial function, then
$$\begin{aligned} \mathsf{H}f(x)&=\frac{1}{|B(0,|x|_{h})|} \int_{B(0,|x|_{h})}f(y)\,dy \\ &=\frac{1}{|B(0,|x|_{h})|} \int_{0}^{1} \int_{S(0,1)}f\bigl(\delta _{t|x|_{h}}y' \bigr)t^{Q-1}|x|_{h}^{Q}\,dt\,dy' \\ &=\frac{1}{\Omega_{Q}} \int_{0}^{1} \int_{S(0,1)}f(\delta _{t}x)t^{Q-1}\,dt \,dy' \\ &= \int_{0}^{1}f(\delta_{t}x)Qt^{Q-1} \,dt=\mathsf{H}_{w}f(x). \end{aligned}$$
 □

Denote \(\mathcal{L}^{p}(\mathbb{H}^{n}) = \{f : f \mbox{ is radial and } f\in L^{p}(\mathbb{H}^{n}) \}\). By Theorem 2.1, we can get the following result.

Corollary 2.1

Let \(1< p\leq\infty\). Then H is bounded on \(\mathcal{L}^{p}(\mathbb{H}^{n})\). Moreover,
$$\begin{aligned}& \|\mathsf{H}\|_{\mathcal{L}^{p}(\mathbb{H}^{n})\rightarrow\mathcal {L}^{p}(\mathbb{H}^{n})}=\frac{p}{p-1},\quad 1< p< \infty, \\& \|\mathsf{H}\|_{\mathcal{L}^{\infty}(\mathbb{H}^{n})\rightarrow\mathcal {L}^{\infty}(\mathbb{H}^{n})}=1. \end{aligned}$$

Theorem 2.2

Let \(w:[0,1]\rightarrow(0,\infty)\) be a function. Then \(\mathsf {H}_{w}\) is bounded on \(\operatorname{BMO}(\mathbb{H}^{n})\) if and only if
$$ \int_{0}^{1}w(t)\,dt< \infty. $$
(2.6)
Moreover, if (2.6) holds, then
$$\|\mathsf{H}_{w}\|_{\operatorname{BMO}(\mathbb{H}^{n})\rightarrow \operatorname{BMO}(\mathbb{H}^{n})}= \int _{0}^{1}w(t)\,dt. $$

Proof

For each \(t>0\) and ball \(B(x_{0}, r)\subset\mathbb{H}^{n}\), let \(tB(x_{0}, r)\) be the ball \(B(\delta_{t}x_{0}, tr)\), then \(|tB(x_{0}, r)|=t^{Q}|B(x_{0}, r)|\).

Suppose (2.6) holds. Let \(f\in \operatorname{BMO}(\mathbb{H}^{n})\) and let B be a ball. Then by Fubini’s theorem, we have
$$\begin{aligned} (\mathsf{H}_{w}f )_{B}&=\frac{1}{|B|} \int_{B}\mathsf{H}_{w}f(x)\,dx \\ &=\frac{1}{|B|} \int_{B} \int_{0}^{1}f(\delta_{t}x)w(t)\,dt\,dx \\ &= \int_{0}^{1} \biggl(\frac{1}{|B|} \int_{B}f(\delta_{t}x)\,dx \biggr)w(t)\,dt \\ &= \int_{0}^{1} \biggl(\frac{1}{|B|} \int_{tB}f(y)t^{-Q}\,dy \biggr)w(t)\,dt \\ &= \int_{0}^{1}f_{tB}w(t)\,dt. \end{aligned}$$
Then
$$\begin{aligned}& \frac{1}{\vert B\vert } \int_{B}\bigl\vert \mathsf{H}_{w}f(x)-( \mathsf{H}_{w}f)_{B} \bigr\vert \,dx \\& \quad =\frac{1}{\vert B\vert } \int_{B}\biggl\vert \int_{0}^{1}f(\delta_{t}x)w(t)\,dt- \int _{0}^{1}f_{tB}w(t)\,dt\biggr\vert \,dx \\& \quad \leq\frac{1}{\vert B\vert } \int_{B} \int_{0}^{1}\bigl\vert f(\delta_{t}x)-f_{tB} \bigr\vert w(t)\,dt\,dx \\& \quad = \int_{0}^{1}\biggl(\frac{1}{\vert B\vert } \int_{B}\bigl\vert f(\delta_{t}x)-f_{tB} \bigr\vert \,dx\biggr)w(t)\,dt \\& \quad = \int_{0}^{1}\biggl(\frac{1}{\vert tB\vert } \int_{tB}\bigl\vert f(y)-f_{tB} \bigr\vert \,dy \biggr)w(t)\,dt \\& \quad \leq\|f\|_{\operatorname{BMO}(\mathbb{H}^{n})} \int_{0}^{1}w(t)\,dt, \end{aligned}$$
(2.7)
which implies that \(\mathsf{H}_{w}\) is bounded on \(\operatorname{BMO}(\mathbb{H}^{n})\).
Conversely, if \(\mathsf{H}_{w}\) is bounded on \(\operatorname{BMO}(\mathbb{H}^{n})\). Choose
$$ f_{0}(x)=\left \{ \textstyle\begin{array}{l@{\quad}l} 1,& x_{2n+1}>0, \\ 0,& x_{2n+1}=0, \\ -1,& x_{2n+1}< 0. \end{array}\displaystyle \right . $$
Then \(f_{0}\in \operatorname{BMO}(\mathbb{H}^{n})\) with \(\|f_{0}\|_{\operatorname{BMO}(\mathbb{H}^{n})}\neq 0\). Let
$$ \mathsf{H}_{w}f_{0}(x)=\left \{ \textstyle\begin{array}{l@{\quad}l} \int_{0}^{1}w(t)\,dt,& x_{2n+1}>0, \\ 0,& x_{2n+1}=0, \\ -\int_{0}^{1}w(t)\,dt,& x_{2n+1}< 0. \end{array}\displaystyle \right . $$
Then
$$ \mathsf{H}_{w}f_{0}(x)=f_{0}(x) \int_{0}^{1}w(t)\,dt. $$
Consequently,
$$ \int_{0}^{1}w(t)\,dt\leq\|\mathsf{H}_{w} \|_{\operatorname{BMO}(\mathbb{H}^{n})\rightarrow \operatorname{BMO}(\mathbb{H}^{n})}. $$
(2.8)
Moreover, when (2.6) holds, then (2.7) and (2.8) imply that
$$\|\mathsf{H}_{w}\|_{\operatorname{BMO}(\mathbb{H}^{n})\rightarrow \operatorname{BMO}(\mathbb{H}^{n})}= \int _{0}^{1}w(t)\,dt. $$
This completes the proof. □

Corollary 2.2

Denote
$$\mathcal{\operatorname{BMO}}\bigl(\mathbb{H}^{n}\bigr)=\bigl\{ f:f \textit{ is radial and } f\in \operatorname{BMO}\bigl(\mathbb{H}^{n} \bigr)\bigr\} . $$
Then H is bounded on \(\mathcal{\operatorname{BMO}}(\mathbb{H}^{n})\) and
$$\|\mathsf{H}\|_{\mathcal{\operatorname{BMO}}(\mathbb{H}^{n})\rightarrow\mathcal {\operatorname{BMO}}(\mathbb{H}^{n})}=1. $$

3 Bounds for weighted multilinear Hardy operators on \(\mathbb {H}^{n}\)

The study of multilinear averaging operators is traced back to the multilinear singular integral operator theory [16], and motivated not only the generalization of the theory of linear ones but also their natural appearance in analysis. For a more complete account on multilinear operators, we refer to [13, 17] and [18]. Very recently, Fu et al. [13] defined a kind of multilinear Hardy operators, we will investigate their estimates on the Heisenberg group.

Definition 3.1

Let \(m\in\mathbb{N}\) and
$$\Phi:\overbrace{[0,1]\times[0,1]\times\cdots\times[0,1]}^{m} \rightarrow [0,\infty) $$
be an integrable function. The weighted multilinear Hardy operator \(\mathsf{H}_{\Phi}^{m}\) on \(\mathbb{H}^{n}\) is defined as
$$\mathsf{H}_{\Phi}^{m}(\vec{f}) (x):= \int_{0< t_{1},t_{2},\ldots,t_{m}< 1} \Biggl(\prod_{i=1}^{m}f_{i}( \delta_{t_{i}}x) \Biggr)\Phi(\vec{t})\, d\vec{t}, \quad x\in \mathbb{H}^{n}, $$
where \(\vec{f}:=(f_{1},f_{2},\ldots,f_{m})\), \(\Phi(\vec{t}):=\Phi (t_{1},t_{2},\ldots,t_{m})\), \(d\vec{t}:=dt_{1}\,dt_{2}\cdots \,dt_{m}\), and \(f_{i}\), \(i=1,\ldots,m\), are complex-valued measurable functions on \(\mathbb{H}^{n}\). When \(m=2\), \(\mathsf{H}_{\Phi}^{m}\) is referred to as bilinear.

Remark 3.1

If \(f_{i}\), \(i=1,2,\ldots,m\), are radial functions and \(\Phi(t_{1},\ldots ,t_{m})=Q^{m}\prod_{i=1}^{m}t_{i}^{Q-1}\), then \(\mathsf{H}_{\Phi}^{m}f(x)=\prod_{i=1}^{m}\mathsf{H}f_{i}(x)\), where H is given by (2.5).

In fact, if \(f_{i}\), \(i=1,2,\ldots,m\), are radial functions, then
$$\begin{aligned} \prod_{i=1}^{m}\mathsf{H}f_{i}(x)&= \frac{1}{\Omega_{Q}^{m}|x|_{h}^{mQ}}\prod_{i=1}^{m} \int_{|y_{i}|_{h}< |x|_{h}}f_{i}(y_{i})\,dy_{i} \\ &=\frac{1}{\Omega_{Q}^{m}}\prod_{i=1}^{m} \int_{0}^{1} \int _{S(0,1)}f_{i}\bigl(\delta_{t_{i}|x|_{h}}y'_{i} \bigr)t_{i}^{Q-1}\,dt_{i}\,dy'_{i} \\ &=\frac{1}{\Omega_{Q}^{m}}\prod_{i=1}^{m} \int_{0}^{1} \int _{S(0,1)}f_{i}(\delta_{t_{i}}x)t_{i}^{Q-1} \,dt_{i}\,dy'_{i} \\ &=Q^{m}\prod_{i=1}^{m} \int_{0}^{1}f_{i}(\delta_{t_{i}}x)t_{i}^{Q-1} \,dt \\ &= \int_{0< t_{1},t_{2},\ldots,t_{m}< 1} \Biggl(\prod_{i=1}^{m}f_{i}( \delta _{t_{i}}x) \Biggr)Q^{m}\prod_{i=1}^{m}t_{i}^{Q-1} \,dt =\mathsf{H}_{\Phi}\vec{f}(x). \end{aligned}$$

Theorem 3.1

Suppose \(\Phi:\overbrace{[0,1]\times[0,1]\times\cdots\times [0,1]}^{m}\rightarrow[0,\infty)\) is a function and \(m\geq2\). Let \(1\leq p,p_{i}\leq\infty\), \(i=1,\ldots,m\) and \(1/p=1/p_{1}+\cdots+1/p_{m}\). Then \(\mathsf{H}_{\Phi}^{m}\) is bounded from \(L^{p_{1}}(\mathbb{H}^{n}) \times\cdots\times L^{p_{m}}(\mathbb{H}^{n})\) to \(L^{p}(\mathbb{H}^{n})\) if and only if
$$ A_{m}:= \int_{0< t_{1},t_{2},\ldots,t_{m}< 1} \Biggl(\prod_{i=1}^{m}t_{i}^{-\frac {Q}{p_{i}}} \Biggr)\Phi(\vec{t})\, d\vec{t}< \infty. $$
(3.1)
Moreover, if (3.1) holds, then
$$ \bigl\| \mathsf{H}_{\Phi}^{m}\bigr\| _{L^{p_{1}}(\mathbb{H}^{n})\times\cdots \times L^{p_{m}}(\mathbb{H}^{n})\rightarrow L^{p}(\mathbb{H}^{n})}=A_{m}. $$
(3.2)

Proof

For simplicity, we only consider the case \(m=2\). A similar procedure works for the other \(m\geq3\).

Since the case \(p=\infty\) and \(p_{i}=\infty\), \(i=1,\ldots,m\) is trivial, it suffices to consider \(1\leq p, p_{i}<\infty\), \(i=1,\ldots,m\).

Suppose (3.1) holds. Using Minkowski’s inequality and the change of variables \(\delta_{t_{1}}x=y_{1}\), \(\delta_{t_{2}}x=y_{2}\), we have
$$\begin{aligned} \bigl\Vert \mathsf{H}_{\Phi}^{2}(f_{1},f_{2}) \bigr\Vert _{L^{p}(\mathbb{H}^{n})}&= \biggl( \int _{\mathbb{H}^{n}} \biggl\vert \int_{0< t_{1},t_{2}< 1}f_{1}(\delta_{t_{1}}x)f_{2}( \delta_{t_{2}}x)\Phi (t_{1},t_{2})\,dt_{1} \,dt_{2}\biggr\vert ^{p}\,dx \biggr)^{\frac{1}{p}} \\ &\leq \int_{0< t_{1},t_{2}< 1} \biggl( \int_{\mathbb{H}^{n}}\bigl\vert f_{1}(\delta _{t_{1}}x)f_{2}(\delta_{t_{2}}x)\bigr\vert ^{p}\,dx \biggr)^{\frac{1}{p}} \Phi(t_{1},t_{2}) \,dt_{1}\,dt_{2}. \end{aligned}$$
By Hölder’s inequality with \(1/p=1/p_{1}+1/p_{2}\), we get
$$\begin{aligned} \bigl\Vert \mathsf{H}_{\Phi}^{2}(f_{1},f_{2}) \bigr\Vert _{L^{p}(\mathbb{H}^{n})}&\leq \int_{0< t_{1},t_{2}< 1} \prod_{i=1}^{2} \biggl( \int_{\mathbb{H}^{n}}\bigl\vert f_{i}(\delta_{t_{i}}x) \bigr\vert ^{p_{i}}\,dx \biggr)^{\frac{1}{p_{i}}} \Phi(t_{1},t_{2}) \,dt_{1}\,dt_{2} \\ &= \|f_{1}\|_{L^{p_{1}}(\mathbb{H}^{n})}\|f_{2}\|_{L^{p_{2}}(\mathbb{H}^{n})} \int_{0< t_{1},t_{2}< 1} \prod_{i=1}^{2}t_{i}^{-\frac{Q}{p_{i}}} \Phi(t_{1},t_{2})\,dt_{1}\,dt_{2}. \end{aligned}$$
Thus \(\mathsf{H}_{\Phi}^{2}\) maps \(L^{p_{1}}(\mathbb{H}^{n})\times L^{p_{2}}(\mathbb{H}^{n})\) into \(L^{p}(\mathbb{H}^{n})\), and
$$ \|\mathsf{H}_{\Phi}^{2}\|_{L^{p_{1}}(\mathbb{H}^{n}) \times L^{p_{2}}(\mathbb{H}^{n})\rightarrow L^{p}(\mathbb{H}^{n})}\leq \int_{0< t_{1},t_{2}< 1} \prod_{i=1}^{2}t_{i}^{-\frac{Q}{p_{i}}} \Phi(t_{1},t_{2})\,dt_{1}\,dt_{2}=A_{2}. $$
(3.3)
Conversely, suppose that \(\mathsf{H}_{\Phi}^{2}\) is a bounded operator from \(L^{p_{1}}(\mathbb{H}^{n})\times L^{p_{2}}(\mathbb{H}^{n})\) to \(L^{p}(\mathbb{H}^{n})\). For sufficiently small \(\varepsilon\in(0,1)\), we set
$$ f_{i}^{\varepsilon}(x)=\left \{ \textstyle\begin{array}{l@{\quad}l} 0,& |x|_{h}\leq1, \\ |x|_{h}^{-\frac{Q}{p_{i}}-\frac{p}{p_{i}}\varepsilon},& |x|_{h}>1, \end{array}\displaystyle \right . \quad i=1,2. $$
A standard integral calculation gives
$$\bigl\Vert f_{i}^{\varepsilon}\bigr\Vert ^{p_{i}}_{L^{p_{i}}(\mathbb{H}^{n})}= \frac {w_{Q}}{\varepsilon p},\quad i=1,2. $$
And
$$ \mathsf{H}_{\Phi}^{2}\bigl(f_{1}^{\varepsilon},f_{2}^{\varepsilon} \bigr) (x) =\left \{ \textstyle\begin{array}{l@{\quad}l} 0,&|x|_{h}\leq1, \\ |x|_{h}^{-\frac{Q}{p}-\varepsilon}\int_{\frac{1}{|x|_{h}}}^{1}\int_{\frac {1}{|x|_{h}}}^{1} t_{1}^{-\frac{Q}{p_{1}}-\frac{p}{p_{1}}\varepsilon} t_{2}^{-\frac{Q}{p_{2}}-\frac{p}{p_{2}}\varepsilon}\Phi(t_{1},t_{2})\,dt_{1}\,dt_{2},& |x|_{h}>1. \end{array}\displaystyle \right . $$
Consequently, we have
$$\begin{aligned}& \bigl\Vert \mathsf{H}_{\Phi}^{2}\bigl(f_{1}^{\varepsilon},f_{2}^{\varepsilon} \bigr)\bigr\Vert _{L^{p}(\mathbb{H}^{n})} \\& \quad = \biggl\{ \int_{|x|_{h}>1}|x|_{h}^{-Q-\varepsilon p} \biggl( \int_{\frac{1}{|x|_{h}}}^{1} \int_{\frac{1}{|x|_{h}}}^{1} t_{1}^{-\frac{Q}{p_{1}}-\frac{p}{p_{1}}\varepsilon} t_{2}^{-\frac{Q}{p_{2}}-\frac{p}{p_{2}}\varepsilon}\Phi (t_{1},t_{2}) \,dt_{1}\,dt_{2} \biggr)^{p}\,dx \biggr\} ^{\frac{1}{p}} \\& \quad \geq \biggl\{ \int_{|x|_{h}>\frac{1}{\varepsilon}}|x|_{h}^{-Q-\varepsilon p} \biggl( \int_{\varepsilon}^{1} \int_{\varepsilon}^{1} t_{1}^{-\frac{Q}{p_{1}}-\frac{p}{p_{1}}\varepsilon} t_{2}^{-\frac{Q}{p_{2}}-\frac{p}{p_{2}}\varepsilon}\Phi (t_{1},t_{2}) \,dt_{1}\,dt_{2} \biggr)^{p}\,dx \biggr\} ^{\frac{1}{p}} \\& \quad = \biggl( \int_{|y|_{h}>1}|y|_{h}^{-Q-\varepsilon p}\varepsilon ^{Q+\varepsilon p}\varepsilon^{-Q}\,dy \biggr)^{\frac{1}{p}} \biggl( \int_{\varepsilon}^{1} \int_{\varepsilon}^{1} t_{1}^{-\frac{Q}{p_{1}}-\frac{p}{p_{1}}\varepsilon} t_{2}^{-\frac{Q}{p_{2}}-\frac{p}{p_{2}}\varepsilon}\Phi (t_{1},t_{2}) \,dt_{1}\,dt_{2} \biggr) \\& \quad = \biggl(\frac{w_{Q}}{\varepsilon p} \biggr)^{\frac{1}{p}}\varepsilon ^{\varepsilon} \int_{\varepsilon}^{1} \int_{\varepsilon}^{1} t_{1}^{-\frac{Q}{p_{1}}-\frac{p}{p_{1}}\varepsilon} t_{2}^{-\frac{Q}{p_{2}}-\frac{p}{p_{2}}\varepsilon}\Phi(t_{1},t_{2}) \,dt_{1}\,dt_{2} \\& \quad = \biggl(\frac{w_{Q}}{\varepsilon p} \biggr)^{\frac{1}{p_{1}}} \biggl( \frac {w_{Q}}{\varepsilon p} \biggr)^{\frac{1}{p_{2}}} \varepsilon^{\varepsilon} \int_{\varepsilon}^{1} \int_{\varepsilon}^{1} t_{1}^{-\frac{Q}{p_{1}}-\frac{p}{p_{1}}\varepsilon} t_{2}^{-\frac{Q}{p_{2}}-\frac{p}{p_{2}}\varepsilon}\Phi(t_{1},t_{2}) \,dt_{1}\,dt_{2} \\& \quad =\bigl\Vert f_{1}^{\varepsilon}\bigr\Vert _{L^{p_{1}}(\mathbb{H}^{n})} \bigl\Vert f_{2}^{\varepsilon}\bigr\Vert _{L^{p_{2}}(\mathbb{H}^{n})} \varepsilon^{\varepsilon} \int_{\varepsilon}^{1} \int_{\varepsilon}^{1} t_{1}^{-\frac{Q}{p_{1}}-\frac{p}{p_{1}}\varepsilon} t_{2}^{-\frac{Q}{p_{2}}-\frac{p}{p_{2}}\varepsilon}\Phi(t_{1},t_{2}) \,dt_{1}\,dt_{2}. \end{aligned}$$
Therefore,
$$\bigl\Vert \mathsf{H}_{\Phi}^{2}\bigr\Vert _{L^{p_{1}}(\mathbb{H}^{n})\times L^{p_{2}}(\mathbb {H}^{n})\rightarrow L^{p}(\mathbb{H}^{n})} \geq\varepsilon^{\varepsilon} \int_{\varepsilon}^{1} \int_{\varepsilon}^{1} t_{1}^{-\frac{Q}{p_{1}}-\frac{p}{p_{1}}\varepsilon} t_{2}^{-\frac{Q}{p_{2}}-\frac{p}{p_{2}}\varepsilon}\Phi(t_{1},t_{2}) \,dt_{1}\,dt_{2}. $$
Since \(\varepsilon^{\varepsilon}\rightarrow1\) as \(\varepsilon \rightarrow0\), we obtain
$$ A_{2}\leq\|\mathsf{H}_{\Phi}^{2}\|_{L^{p_{1}}(\mathbb{H}^{n})\times L^{p_{2}}(\mathbb{H}^{n})\rightarrow L^{p}(\mathbb{H}^{n})}< \infty. $$
This inequality and (3.3) yield (3.2). The proof is complete. □

4 Bounds for weighted Cesàro operators on \(\mathbb{H}^{n}\)

Given a nonnegative function \(w:[0,1]\rightarrow(0,\infty)\). For a measurable complex-valued function f on \(\mathbb{H}^{n}\), the adjoint operator of the weighted Hardy operator, the weighted Cesàro operator is defined as
$$ \mathsf{C}_{\omega}f(x):= \int_{0}^{1}f(\delta_{1/t}x)t^{-Q} \omega(t)\,dt,\quad x\in\mathbb{H}^{n}, $$
which satisfies
$$\int_{\mathbb{H}^{n}}f(x) (\mathsf{H}_{\omega}g) (x)\,dx= \int_{\mathbb {H}^{n}}g(x) (\mathsf{C}_{\omega}f) (x)\,dx. $$
Here \(f\in L^{p}(\mathbb{H}^{n})\), \(g\in L^{q}(\mathbb{H}^{n})\), \(1< p<\infty\), \(q=p/(p-1)\), \(\mathsf{H}_{\omega}\) is bounded on \(L^{p}(\mathbb{H}^{n})\), and \(\mathsf{C}_{\omega}\) is bounded on \(L^{q}(\mathbb{H}^{n})\).

Theorem 4.1

Let \(w:[0,1]\rightarrow(0,\infty)\) be a function and let \(1\leq q\leq \infty\). Then \(\mathsf{C}_{w}\) is bounded on \(L^{q}(\mathbb{H}^{n})\) if and only if
$$ \int_{0}^{1}t^{-Q(1-1/q)}w(t)\,dt< \infty. $$
(4.1)
Moreover, if (4.1) holds, then
$$\|\mathsf{C}_{w}\|_{L^{q}(\mathbb{H}^{n})\rightarrow L^{q}(\mathbb{H}^{n})}= \int _{0}^{1}t^{-Q(1-1/q)}w(t)\,dt. $$

Theorem 4.2

Let \(w:[0,1]\rightarrow(0,\infty)\) be a function. Then \(\mathsf {C}_{w}\) is bounded on \(\operatorname{BMO}(\mathbb{H}^{n})\) if and only if
$$ \int_{0}^{1}t^{-Q}w(t)\,dt< \infty. $$
(4.2)
Moreover, if (4.2) holds, then
$$\Vert \mathsf{C}_{w}\Vert _{\operatorname{BMO}(\mathbb{H}^{n})\rightarrow \operatorname{BMO}(\mathbb{H}^{n})}= \int _{0}^{1}t^{-Q}w(t)\,dt. $$
We also define the weighted multilinear Cesàro operator \(\mathsf {C}_{\Phi}^{m}\) on \(\mathbb{H}^{n}\) as
$$\mathsf{C}_{\Phi}^{m}(\vec{f}) (x):= \int_{0< t_{1},t_{2},\ldots,t_{m}< 1} \Biggl(\prod_{i=1}^{m}f_{i}( \delta_{1/t_{i}}x) \Biggr)\Phi(\vec{t})\, d\vec{t},\quad x\in \mathbb{H}^{n}. $$

Theorem 4.3

Suppose \(\Phi:\overbrace{[0,1]\times[0,1]\times\cdots\times [0,1]}^{m}\rightarrow[0,\infty)\) is a function and \(m\geq2\). Let \(1\leq q,q_{i}\leq\infty\), \(i=1,\ldots,m\), and \(1/q=1/q_{1}+\cdots+1/q_{m}\). Then \(\mathsf{C}_{\Phi}^{m}\) is bounded from \(L^{q_{1}}(\mathbb{H}^{n}) \times\cdots\times L^{q_{m}}(\mathbb{H}^{n})\) to \(L^{q}(\mathbb{H}^{n})\) if and only if
$$ C_{m}:= \int_{0< t_{1},t_{2}\cdots,t_{m}< 1} \Biggl(\prod_{i=1}^{m}t_{i}^{-Q(1-{1/q_{i}})} \Biggr)\Phi(\vec{t})\, d\vec{t}< \infty. $$
(4.3)
Moreover, if (4.3) holds, then
$$ \|\mathsf{C}_{\Phi}^{m}\|_{L^{q_{1}}(\mathbb{H}^{n})\times\cdots \times L^{q_{m}}(\mathbb{H}^{n})\rightarrow L^{q}(\mathbb{H}^{n})}=C_{m}. $$
(4.4)

The proof of the theorem in Section 4 is immediate from the proof of Section 2 and Section 3.

Declarations

Acknowledgements

This work was partially supported by NSF of China (Grant Nos. 11271175, 11301248, 11526206, 11671185) and the Natural Science Foundation of Shandong Province (Grant No. ZR2012AQ026).

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.

Authors’ Affiliations

(1)
Department of Mathematics, Shandong Normal University
(2)
Department of Mathematics, Linyi University

References

  1. Hadamard, J: Essai sur l’étude des fonctions données par leur développement de Taylor. J. Math. Pures Appl. 8, 101-186 (1892) Google Scholar
  2. Dzherbashyan, MM: A generalized Riemann-Liouville operator and some applications of it. Dokl. Akad. Nauk SSSR 177(4), 767-770 (1967) (Russian) MathSciNetGoogle Scholar
  3. Dzherbashyan, MM: A generalized Riemann-Liouville operator and some of its applications. Izv. Akad. Nauk SSSR, Ser. Mat. 32(5), 1075-1111 (1968) (Russian) MathSciNetGoogle Scholar
  4. Carton-Lebrun, C, Fosset, M: Moyennes et quotients de Taylor dans BMO. Bull. Soc. R. Sci. Liège 53(2), 85-87 (1984) MathSciNetMATHGoogle Scholar
  5. Zhao, Z, Fu, Z, Lu, S: Endpoint estimates for n-dimensional Hardy operators and their commutators. Sci. China Math. 55, 1977-1990 (2012) MathSciNetView ArticleMATHGoogle Scholar
  6. Xiao, J: \(L^{p}\) and BMO bounds of weighted Hardy-Littlewood averages. J. Math. Anal. Appl. 262, 660-666 (2001) MathSciNetView ArticleMATHGoogle Scholar
  7. Rim, KS, Lee, J: Estimates of weighted Hardy-Littlewood averages on the p-adic vector space. J. Math. Anal. Appl. 324, 1470-1477 (2006) MathSciNetView ArticleMATHGoogle Scholar
  8. Fu, Z, Lu, S, Yuan, W: A weighted variant of Riemann-Liouville fractional integral on \(\mathbb{R}^{n}\). Abstr. Appl. Anal. 2012, Article ID 780132 (2012) MathSciNetMATHGoogle Scholar
  9. Chen, J, Fan, D, Wang, S: Hausdorff operators on Euclidean space. Appl. Math. J. Chin. Univ. Ser. B 28, 548-564 (2014) (a survey article) MathSciNetView ArticleMATHGoogle Scholar
  10. Korányi, A, Reimann, HM: Quasiconformal mappings on the Heisenberg group. Invent. Math. 80, 309-338 (1985) MathSciNetView ArticleMATHGoogle Scholar
  11. Coulhon, T, Müller, D, Zienkiewicz, J: About Riesz transforms on the Heisenberg groups. Math. Ann. 305(2), 369-379 (1996) MathSciNetView ArticleMATHGoogle Scholar
  12. Folland, GB, Stein, EM: Hardy Spaces on Homogeneous Groups. Mathematical Notes, vol. 28. Princeton University Press, Princeton; University of Tokyo Press, Tokyo (1982) MATHGoogle Scholar
  13. Fu, Z, Gong, S, Lu, S, Yuan, W: Weighted multilinear Hardy operators and commutators. Forum Math. 27, 2825-2851 (2015) MathSciNetView ArticleMATHGoogle Scholar
  14. Guo, J, Sun, L, Zhao, F: Hausdorff operators on the Heisenberg group. Acta Math. Sin. Engl. Ser. 31, 1703-1714 (2015) MathSciNetView ArticleMATHGoogle Scholar
  15. Wu, Q, Fu, Z: Sharp estimates for Hardy operators on the Heisenberg groups. Front. Math. China 11(1), 155-172 (2016) MathSciNetView ArticleMATHGoogle Scholar
  16. Coifman, RR, Meyer, Y: On commutators of singular integrals and bilinear singular integrals. Trans. Am. Math. Soc. 212, 315-331 (1975) MathSciNetView ArticleMATHGoogle Scholar
  17. Fan, D, Li, X: A bilinear oscillatory integral along parabolas. Positivity 13, 339-366 (2009) MathSciNetView ArticleMATHGoogle Scholar
  18. Fu, Z, Grafakos, L, Lu, S, Zhao, F: Sharp bounds for m-linear Hardy and Hilbert operators. Houst. J. Math. 38, 225-243 (2012) MathSciNetMATHGoogle Scholar

Copyright

© Chu et al. 2016