Abstract
We establish an embedding theorem for the weighted Bergman spaces induced by a positive Borel measure \(d\omega (y)dx\) with the doubling property \(\omega (0,2t)\le C\omega (0,t)\). The characterization is given in terms of Carleson squares on the upper half-plane. As special cases, our result covers the standard weights and logarithmic weights. As an application, we also establish the boundedness of the area operator.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let X be a space of functions on a domain \(\Omega \subset \mathbb {C}\). A positive Borel measure \(\mu \) on \(\Omega \) is said to be a p-Carleson measure for X if the embedding \(X\subset L^{p}(\mu )\), \(0<p<\infty \), is continuous. The problem of characterizing such measures for various choices of X is known as the Carleson embedding problem. These ideas originate from the pioneering work of Carleson [2, 3], where they are motivated by interpolation and the corona problem. Since then, there has been a great amount of research on this topic, and this kind of measures have found many applications in other related areas [28].
It is natural to study the Carleson embedding problem in the context of various different spaces of functions. The problem on Hardy spaces over the half-plane \(\Pi ^{+}:=\{z\in \mathbb {C}:\mathfrak {I}z>0\}\), on the M-harmonic Hardy spaces over the unit ball, and on the Bergman spaces over the unit disk equipped with a radial doubling weight have been resolved in [1, 15, 19, 20]. The proofs employ techniques from harmonic analysis, such as the theory of tent spaces introduced by Coifman, Meyer and Stein [6] as well as Cohn and Verbitsky [5]. Carleson embedding theorems on Zen spaces satisfying a doubling condition have been characterized in [13], see also [14]. Following this line of reasoning, we obtain a description of the Carleson measures for a very general class of weighted Bergman spaces (or Zen spaces) on the upper half-plane \(\Pi ^{+}\).
To give the precise statement of our main result, we need to introduce some notation. Denote by \(\Delta _{2}\) the class of positive Borel measures on \((0,\infty )\) satisfying
for all \(t\in (0,\infty )\), where \(C>0\) is a constant. Let \(H(\Pi ^{+})\) denote the space of analytic functions on \(\Pi ^+\). For \(0<p<\infty \), \(\omega \in \Delta _{2}\), the weighted Bergman space \(A_{\omega }^{p}(\Pi ^{+})\) consists of functions \(f\in H(\Pi ^{+})\) such that
where \(d(\omega \otimes m)(z)=d\omega (y)dx\) and \(z=x+iy \ \in \Pi ^{+}\). For simplicity, we also write \((f\omega )[E]=\int _{E}fd(\omega \otimes m)\) for each non-negative f. The \(\Delta _{2}\) class and other classes of doubling weights have been studied extensively in the context of harmonic analysis and partial differential equations; see for instance [13, 14, 16, 18, 20,21,22, 27].
We will frequently use the Poisson integral technique. Due to the unboundedness of \(\Pi ^{+}\), to recover f from its boundary values on \(\Pi ^{+}_{a}:=\{z\in \mathbb {C}: \mathfrak {I}z>a\}\) for some \(a>0\) via the Poisson integral, we always assume that \(f\in H(\Pi ^{+})\) is bounded on the closure of \(\Pi ^{+}_{a}\). Denote by \(\mathbf {\Delta }_{2}\) the subclass of \(\omega \in \Delta _{2}\) for which is this true. For other measures in \(\Delta _{2}\), we consider the spaces
Such spaces are also called Zen spaces [10, 13, 23]. It is known that \(\mathcal {A}_{\omega }^{p}(\Pi ^{+})\subset A_{\omega }^{p}(\Pi ^{+})\), each \(f\in \mathcal {A}_{\omega }^{p}(\Pi ^{+})\) is bounded on the closure of \(\Pi ^{+}_{a}\) for any \(a>0\) and satisfies \(\Vert f\Vert _{\mathcal {A}_{\omega }^{p}}^{p} =\Vert f\Vert _{A_{\omega }^{p}}^{p}\). See [13] or Corollary 4.2 of [23].
Obviously, \(A_{\omega }^{p}(\Pi ^{+})\) is a Banach space for \(\omega \in \mathbf {\Delta }_{2}\) when \(1\le p<\infty \), and a complete metric space, when \(0<p<1\). If \(d(\omega \otimes m)(z)=(\mathfrak {I}z)^{\alpha }dA(z)\), where \(\alpha >-1\) and dA is the area measure on \(\Pi ^{+}\), then we recover the standard weighted Bergman spaces \(A_{\alpha }^{p}(\Pi ^{+})\). However, the class \(\mathbf {\Delta }_{2}\) is much larger than the class of the standard weights. For instance, let \(\mathbf {\Delta }_{2}'\) be the class of continuous functions \(\omega \) on \((0,\infty )\) satisfying
and
Then \(\omega (y)dy\in \mathbf {\Delta }_{2}\) for every \(\omega \in \mathbf {\Delta }_{2}'\) (see Remark 2.2 for more details). A typical example of \(\omega \in \mathbf {\Delta }_{2}'\) is
The class \(\mathbf {\Delta }_{2}'\) can be compared with the class of regular weights, defined on the unit disk in terms of a distortion function by Siskakis, see for instance [19, 26].
It is easily seen that each point evaluation \(L_{z}\) induced by \(z\in \Pi ^{+}\) is a bounded linear functional on \(A_{\omega }^{2}(\Pi ^{+})\), \(\omega \in \mathbf {\Delta }_{2}\) (see Sect. 3). Therefore, according to the Riesz representation theorem, there exist reproducing kernels \(B_{z}^{\omega }\in A_{\omega }^{2}(\Pi ^{+})\) with \(\Vert L_{z}\Vert =\Vert B_{z}^{\omega }\Vert _{A_{\omega }^{2}}\) having the reproducing property
Nevertheless, many other basic properties of the Bergman spaces \(A_{\omega }^{p}(\Pi ^{+})\), \(\omega \in \mathbf {\Delta }_{2}\), are not yet well understood and have indeed attracted more attention in the recent years. The theory for such spaces is both interesting and involving, partly because the usual techniques for the standard Bergman spaces fail to work. For example, we do not know whether the natural Bergman projection
is bounded on \(L_{\omega }^{p}(\Pi ^{+})\), \(p\ne 2\). This, in part, explains why the dual spaces of \(A_{\omega }^{p}(\Pi ^{+})\) have not been identified. It is worth noting that the corresponding result for the unit disk is now settled in the affirmative in the recent remarkable paper [21]. However, it is not obvious whether their method carries over to the setting of the present paper.
The purpose of this work is to give the embedding theorem for weighted Bergman spaces \(A_{\omega }^{p}(\Pi ^{+})\). Our main tools are the admissible maximal function and an adaptation of the stopping time argument in [6], which was obtained for this type of spaces on the disk by Peláez and Rättyä [20]. To this end, we need to introduce some further notation. For an interval \(I\subset \mathbb {R}\) (\(\mathbb {R}\) is the real axis on \(\mathbb {C}\)), let
denote the Carleson square, where |I| stands for the length of the interval I. It is also convenient to define the intervals
for each \(z\in \Pi ^{+}\) and to denote \(Q(z)=Q_{I_{z}}\). For \(\xi \in \Pi ^{+}\), we define the truncated cone
The tent related to \(\Lambda _{T}(\xi )\) is given by
Finally, we define the admissible maximal function over the truncated cone \(\Lambda _{T}(z)\) by
Throughout the paper we use the same letter C to denote various positive constants which may change at each occurrence. Variables indicating the dependency of constants C will be often specified in parenthesis. We use the notation \(X\lesssim Y\) or \(Y > rsim X\) for non-negative quantities X and Y to mean \(X\le CY\) for some inessential constant \(C>0\). Similarly, we use the notation \(X\approx Y\) if both \(X\lesssim Y\) and \( Y\lesssim X\) hold. Given \(p \in [1,\infty ]\), we will denote by \(p'=p/(p-1)\) its Hölder conjugate. In this context we agree that \(1'=\infty \) and \(\infty '=1\).
Our first result characterizes the p-Carleson measures for \(A_{\omega }^{p}(\Pi ^{+})\).
Theorem 1.1
Let \(0<p<\infty \), \(\omega \in \mathbf {\Delta }_{2}\), and let \(\mu \) be a positive Borel measure on \(\Pi ^{+}\). Then the following statements are equivalent:
-
(1)
\(\mu \) is a p-Carleson measure for \(A_{\omega }^{p}(\Pi ^{+})\).
-
(2)
$$\begin{aligned} \sup _{z\in \Pi ^{+}}\frac{\mu [Q(z)]}{\omega [Q(z)]}<\infty . \end{aligned}$$
-
(3)
There exists a constant \(\eta _{0}=\eta _{0}(\omega )>1\) such that for all \(\eta >\eta _{0}\),
$$\begin{aligned} \sup _{z\in \Pi ^{+}}\frac{1}{\omega [Q(z)]}\int _{\Pi ^{+}}\left( \frac{\mathfrak {I}z}{|w-\overline{z}|}\right) ^{\eta }d\mu (w)<\infty . \end{aligned}$$
Moreover, if \(\mu \) is a p-Carleson measure for \(A_{\omega }^{p}(\Pi ^{+})\), then the norm of the identity mapping \(I_{d}:A_{\omega }^{p}(\Pi ^{+})\rightarrow L^{p}(\mu )\) satisfies
Theorem 1.1 for \(p\ge 1\) is essentially covered in [13]. Here we present an alternative proof, which covers \(0<p<1\), using ideas from [19, 20].
Put, \(\widehat{\Pi ^{+}}=\overline{\Pi ^{+}}\cup \{\infty \}\). We say \(\lim \nolimits _{z\rightarrow \partial \widehat{\Pi ^{+}}}g(z)=0\), if \(g(z)\rightarrow 0\) as \(\mathfrak {I}z\rightarrow 0^{+}\) or \(|z|\rightarrow \infty \). This is equivalent to saying that for every \(\varepsilon >0\), there is a compact set \(K\subset \Pi ^{+}\) such that \(\sup \nolimits _{z\in \Pi ^{+}{\setminus } K}|g(z)|<\varepsilon \).
Assume that \(\{f_n\}\) is a bounded sequence of functions in \(A_{\omega }^{p}(\Pi ^{+})\) and \(f_n \rightarrow 0\) uniformly on compact subsets of \(\Pi ^+\) as \(n\rightarrow \infty \). A positive measure \(\mu \) is called a compact p-Carleson measure (or a vanishing Carleson measure, see [28]), if the \(L^p(\mu )\) norms of \(f_n\) tend to 0 as \(n\rightarrow \infty \). The following theorem characterizes the compact p-Carleson measures for \(A_{\omega }^{p}(\Pi ^{+})\).
Theorem 1.2
Let \(0<p<\infty \), \(\omega \in \mathbf {\Delta }_{2}\), and let \(\mu \) be a positive Borel measure on \(\Pi ^{+}\), which is finite on any compact subset of \(\Pi ^{+}\). Then the following statements are equivalent:
-
(1)
\(\mu \) is a compact p-Carleson measure for \(A_{\omega }^{p}(\Pi ^{+})\).
-
(2)
$$\begin{aligned} \lim _{z\rightarrow \partial \widehat{\Pi ^{+}}}\frac{\mu [Q(z)]}{\omega [Q(z)]}=0. \end{aligned}$$
-
(3)
There exists a constant \(\eta _{0}=\eta _{0}(\omega )>1\) such that for all \(\eta >\eta _{0}\),
$$\begin{aligned} \lim _{z\rightarrow \partial \widehat{\Pi ^{+}}}\frac{1}{\omega [Q(z)]}\int _{\Pi ^{+}}\left( \frac{\mathfrak {I}z}{|w-\overline{z}|}\right) ^{\eta }d\mu (w)=0. \end{aligned}$$
We note that in both Theorems 1.1 and 1.2 the condition of being a (resp. compact) p-Carleson measure for \(A_{\omega }^{p}(\Pi ^{+})\) is invariant on p; and we could very well just call these measures (resp. compact) Carleson measures. See [19, 20] for a detailed study of p-Carleson measures for q-integrable Bergman spaces on the disk. Embedding theorems for derivatives of Hardy spaces were obtained in [15], and for doubling Bergman spaces of the unit disk, we refer to [20]. As for compact Carleson measures, similar results and methodology can be found in [17] for Bergman spaces induced by rapidly decreasing weights, and in [19] for Bergman spaces induced by rapidly increasing weights; see also [22] for doubling weights.
As an application of the Carleson embedding theorems, the boundedness of certain area operators can be obtained. We recall that for \(0<s<\infty \), the generalized area operator induced by a positive Borel measure \(\mu \) on \(\Pi ^{+}\) is defined by
It is worth mentioning that the area operator is tremendously useful in harmonic analysis. It is, for example, related to the Littlewood–Paley operator, multipliers and tent spaces. The boundedness of area operators on Hardy spaces, Hardy–Sobolev spaces and Bergman spaces on the unit disk has been considered in [4, 9]. Similar problems and ideas for weighted Bergman spaces on the disk, where the weight satisfies a doubling property, have been previously studied in [22] (where the problem is solved for more general parameters). We employ admissible (non-tangential) maximal functions and analysis of maximal operators on a dyadic grid (see [12, 22, 24]) to study the boundedness of area operator \(A_{s}^{\mu }\) on \(A_{\omega }^{p}(\Pi ^{+})\).
The following result characterizes the boundedness of the area operator \(A_{s}^{\mu }\).
Theorem 1.3
Let \(0<s, p<\infty \) and \(\omega \in \mathbf {\Delta }_{2}\). Let \(\mu \) be a positive Borel measure on \(\Pi ^{+}\) which is finite on compact subsets of \(\Pi ^{+}\). Assume that the area operator \(A_{s}^{\mu }\) is well-defined on \(A_{\omega }^{p}(\Pi ^{+})\). Then \(A_{s}^{\mu }: A_{\omega }^{p}(\Pi ^{+})\rightarrow L^{p}(d(\omega \otimes m))\) is bounded if and only if
is a p-Carleson measure for \( A_{\omega }^{p}(\Pi ^{+})\). Moreover, in this case,
As mentioned before, the results in Theorems 1.1, 1.2, and 1.3 hold true for \(\mathcal {A}_{\omega }^{p}(\Pi ^{+})\) when \(\omega \in \Delta _{2}\) with the same proofs.
After collecting some preliminaries in Sect. 2, we prove our main Theorems 1.1 and 1.2 in Sect. 3 and Theorem 1.3 in Sect. 4.
2 Preliminaries
In this section we present some preliminary results about the weights \(\omega \in \Delta _{2}\). These will be frequently used in the sequel. In the setting of the unit disk, there exists a great number of results and characterizations for doubling weights, see [18,19,20]. The following result is analogous to Lemma 1 in [20] (see also Lemma 2.1 of [18]).
Lemma 2.1
The following statements hold.
-
(1)
\(\omega \in \Delta _{2}\) if and only if there exist \(C=C(\omega )\ge 1\) and \(\beta =\beta (\omega )>0\) such that
$$\begin{aligned} \int _{0}^{s}d\omega (y)\le C\left( \frac{s}{t}\right) ^{\beta }\int _{0}^{t}d\omega (y), \ \ 0<t\le s< \infty . \end{aligned}$$(2.1) -
(2)
Let \(0<p<\infty \) and \(\omega \in \Delta _{2}\). There exists a constant \(\lambda _{0}=\lambda _{0}(\omega )>0\) such that for all \(\lambda >\lambda _{0}\) and each \(a\in \Pi ^{+}\), the function
$$\begin{aligned} F_{a,p}(z)=\left( \frac{\mathfrak {I}a}{z-\overline{a}}\right) ^{\frac{\lambda +1}{p}} \end{aligned}$$is analytic in \(\Pi ^{+}\) and satisfies
$$\begin{aligned} |F_{a,p}(z)|\thickapprox 1, \ \ z\in Q(a), \end{aligned}$$(2.2)and
$$\begin{aligned} \Vert F_{a,p}\Vert _{A_{\omega }^{p}}^{p}\thickapprox \omega [Q(a)]. \end{aligned}$$(2.3)
Proof
For (1), let \(\omega \in \Delta _{2}\) and \(0<t\le s<\infty \). Let \(s_{n}=2^{n}\) for all \(n\in \mathbb {Z}\). Then there exist \(k\in \mathbb {Z}\) and \(m\in \mathbb {Z}\) with \(m\le k\) such that \(s_{k}\le s<s_{k+1}\) and \(s_{m}\le t<s_{m+1}\). By the doubling property (1.1), there exists \(C=C(\omega )>0\) such that
Conversely, the choice \(t=s/2\) in (2.1) gives \(\omega \in \Delta _{2}\).
For (2), let \(\omega \in \Delta _{2}\) and \(\lambda >\beta +1\), where \(\beta =\beta (\omega )\) is the constant in (1). For \(k\in \mathbb {N}\cup \{0\}\) and \(z\in \Pi ^{+}\), denote
Then
if \(w\in \left( Q_{k+1}(z){\setminus } Q_{k}(z)\right) \cap \left\{ w\in \Pi ^{+}:\mathfrak {I}w\le 2^{k}\mathfrak {I}z\right\} , k\in \mathbb {N}\cup \{0\}\). Also,
if \(w\in \left( Q_{k+1}(z){\setminus } Q_{k}(z)\right) \cap \left\{ w\in \Pi ^{+}:\mathfrak {I}w>2^{k}\mathfrak {I}z\right\} , k\in \mathbb {N}\cup \{0\}\). Moreover,
if \(w\in Q_{0}(z)\). Thus,
Due to (2.1), there exists a constant \(C=C(\omega )>0\) such that
Thus,
On the other hand,
This completes the proof of (2.3). A straightforward calculation gives (2.2). \(\square \)
Remark 2.2
As promised in the introduction, we show that \(\omega (y)dy\in \mathbf {\Delta }_{2}\) for all \(\omega \in \mathbf {\Delta }_{2}'\). In fact, assume that
A direct calculation shows that there exists \(t_{0}\in (0,\infty )\) such that
for all \(t\in [t_{0},\infty )\). Then, a differentiation yields that the function
is decreasing on \([t_{0},\infty )\). Therefore,
for \(t\in [2t_{0},\infty )\). For \(t\in (0,2t_{0}]\),
By (2.6) and (2.7), \(\omega (y)dy\in \mathbf {\Delta }_{2}\). The standard estimate obtained from the mean-value property for analytic functions shows that if \(f\in A_{\omega }^{p}(\Pi ^{+})\), then
Therefore, f is bounded on \(\Pi ^{+}_{a}\) for any \(a>0\) if \(f\in H(\Pi ^{+})\) and
3 Carleson Embedding Theorem
This section is devoted to the proofs of Theorems 1.1 and 1.2. To this end, we recall some facts about the Hardy spaces \(H^{p}\) over the half-plane. For \(0<p<\infty \), we say \(f\in H^{p}\) if \(f\in H(\Pi ^{+})\) and
For \(f\in H^{p}\), it is well-known ([7, P. 189, P.191]) that the boundary function \(f(x):=\lim _{y\rightarrow 0}f(x+iy)\) exists almost everywhere and
We will need the \(L^p\) boundedness of the non-tangential maximal function. The idea is to reduce to the Hardy space case as in [19]. The following fact is immediate from the definition of our spaces.
Lemma 3.1
Let \(0<p<\infty \), and \(\omega \in \mathbf {\Delta }_{2}\). Put \(f_{t}(z)=f(z+it)\) where \(t\in (0,\infty )\) and \(z\in \Pi ^{+}\). If \(f\in A_{\omega }^{p}(\Pi ^{+})\), then \(f_{t}\in H^{p}\) for each \(t>0\).
We proceed to the proof regarding the non-tangential maximal function.
Lemma 3.2
Let \(0<p<\infty \) and \(\omega \in \mathbf {\Delta }_{2}\). Then there exists a constant \(C>0\) such that
for all \(f\in A_{\omega }^{p}(\Pi ^{+})\).
Proof
Put \(f_{y}(z)=f(z+iy)\) where \(y\in (0,\infty )\), \(z\in \Pi ^{+}\) and \(f\in A_{\omega }^{p}(\Pi ^{+})\). For \(x\in \mathbb {R}\), we denote by \(\Gamma (x)\) the standard cone whose vertex is \(x\in \mathbb {R}\), i.e.,
Define the non-tangential maximal function over the standard cone by
Then
For \(f\in A_{\omega }^{p}(\Pi ^{+})\), by (3.1), Lemma 3.1 and [8, Theorem 3.1], we deduce that there exists a constant \(C>0\) such that
which gives the desired result. \(\square \)
For \(z\in \Pi ^{+}\) and \(h\in \left( 0,\infty \right] \), we define \(\Lambda _{T}^{h}(z)\) as follows:
and set
for a \(\mu \)-measurable function g. Note that \(A_{p,\mu }^{p}(g|h)(\xi )\) is non-decreasing as a function of h.
For \(0<p<\infty \) and a measurable function f on \(\Pi ^{+}\), we define
The following lemma is an essential part for establishing the duality of various tent spaces, see [6, 20]. Since we forgo further discussion on tent spaces, we only present this result as an estimate.
Lemma 3.3
Let \(\omega \in \Delta _{2}\) and \(\mu \) be a positive Borel measure on \(\Pi ^{+}\). For any measurable function g on \(\Pi ^{+}\), if \(\sup _{z\in \Pi ^{+}}C_{p,\mu }(g)(z)<\infty \), then there exist constants \(M=M(\omega )>0\) and \(C=C(\omega )>0\) such that the function
satisfies
for all \(\mu \)-measurable non-negative functions k.
Proof
It follows from Fubini’s theorem that
where \(H(z)=\{\xi \in \Pi ^{+}:\mathfrak {I}z-h(\xi )<\mathfrak {I}\xi <\mathfrak {I}z\}\). It suffices to show that
for all \(z\in \Pi ^{+}\). For \(z\in \Pi ^{+}\) and \(u\in \Pi ^{+}\), we require \(\mathfrak {I}u<3\mathfrak {I}z\) to ensure that
Let \(z'=\mathfrak {R}z+i8\mathfrak {I}z\). We deduce from Fubini’s theorem and (2.1) that
where the last inequality is valid due to
for all \(v\in T(z)\). Denote
Choosing M so that \(M^{p}>2C_{1}\), by the definition of \(h(\xi )\) and (3.3), we deduce that
which completes the proof. \(\square \)
We are now ready to prove the Carleson embedding theorem.
Proof of Theorem 1.1
For the implication \((1)\Rightarrow (3)\), assume that \(\mu \) is a p-Carleson measure for \(A_{\omega }^{p}(\Pi ^{+})\). Considering the test functions
defined in Lemma 2.1, we have
for all \(z\in \Pi ^{+}\), which implies (3) and
The implication \((3)\Rightarrow (2)\) is immediate. We now prove \((2)\Rightarrow (1)\) by adapting the estimate from [5, p. 313] or [20, p. 215]. Suppose
Let \(g(w)=\left( \frac{1}{\omega [T(w)]}\right) ^{\frac{1}{p}}\), then
For \(f\in A_{\omega }^{p}(\Pi ^{+})\), using Lemma 3.3 with \(k(z)=|f(z)g(z)|^{p}\), we deduce from Lemma 3.2 that
where
This calculation implies that \(\mu \) is a p-Carleson measure for \(A_{\omega }^{p}(\Pi ^{+})\) and the norm of \(I_{d}:A_{\omega }^{p}(\Pi ^{+})\rightarrow L^{p}(\mu )\) satisfies
\(\square \)
We define the weighted Hörmander type maximal function [11] as follows
The role on \(A_{\omega }^{p}(\Pi ^{+})\) played by this maximal function is similar to that on \(H^p\) played by the Hardy–Littlewood maximal function. A variant of the following lemma can be found in [11], and it can found for doubling weights on the disk in [18] (see also [19]). The lemma is of independent interest, and will be used in the proof of compact Carleson embedding theorem. Therefore, we present here a proof in the setting of the present paper.
Lemma 3.4
Let \(0<p, q<\infty \) and \(\omega \in \mathbf {\Delta }_{2}\). Then there exists a constant \(C=C(p,\omega )>0\) such that
for all \(f\in A_{\omega }^{q}(\Pi ^{+})\).
Proof
Let \(\omega \in \mathbf {\Delta }_{2}\) and \(\beta =\beta (\omega )>0\) be the constant in Lemma 2.1. Write \(p=\alpha \gamma \), where \(\gamma >\beta +1\). Let \(\gamma '=\frac{\gamma }{\gamma -1}\) and \(0<t<\frac{\mathfrak {I}z}{2}\) for \(z\in \Pi ^{+}\). For \(f\in A_{\omega }^{q}(\Pi ^{+})\), using the subharmonicity of \(|f|^{\alpha }\) and Hölder’s inequality, we have
That is,
where
Set \(s_{n}=2^{n-1}\mathfrak {I}z\) for all \(n\in \mathbb {N}\cup \{0\}\). Let \(J_{n}=[\mathfrak {R}z-s_{n},\mathfrak {R}z+s_{n}]\) and \(G_{0}=J_{0}\), \(G_{n}=J_{n}{\setminus } J_{n-1}\). We get
Thus,
It follows from (2.1) that
The proof is completed. \(\square \)
We are now ready to prove the compact Carleson embedding theorem.
Proof of Theorem 1.2
For the implication \((1)\Rightarrow (3)\), assume that \(\mu \) is a compact p-Carleson measure for \(A_{\omega }^{p}(\Pi ^{+})\). Consider the test functions
where \(\eta >\lambda _{0}+1\) is sufficiently large. Then \(\{f_{z,p}\}\) is a bounded sequence in \(A_{\omega }^{p}(\Pi ^{+})\) by Lemma 2.1. For \(\varepsilon >0\), put
and
Since \(\mu \) is a compact p-Carleson measure for \(A_{\omega }^{p}(\Pi ^{+})\), the closure \(\overline{\{f_{z,p}:z\in \Pi ^{+}\}}\) is compact in \(L^{p}(\mu )\). Thus
uniformly in z. Noting that \(\{f_{z,p}\}\) is a bounded sequence in \(A_{\omega }^{p}(\Pi ^{+})\) and converges uniformly on compact sets of \(\Pi ^{+}\) to 0 as \(z\rightarrow \partial \widehat{\Pi ^{+}}\), we have from (3.4) that
Thus,
The implication \((3)\Rightarrow (2)\) is immediate. For the implication \((2)\Rightarrow (1)\), suppose that
That is, for any \(\varepsilon >0\), there is a compact set \(K\subset \Pi ^{+}\) such that
Let \(r_{1}=\sup _{z\in K}|\mathfrak {R}z|\), \(r_{2}=\sup _{z\in K}\mathfrak {I}z\), and \(s=\inf _{z\in K}\mathfrak {I}z\). Denote \(K_{Q}=\{z\in \Pi ^{+}:-r_{1}\le \mathfrak {R}z\le r_{1},\frac{s}{3}\le \mathfrak {I}z\le r_{2}\}\). Then,
Any bounded sequence \(\{f_{n}\}\) in \(A_{\omega }^{p}(\Pi ^{+})\) is uniformly bounded on compact subsets of \(\Pi ^{+}\) by Lemma 3.4. A well-known application of Montel’s theorem together with Fatou’s lemma gives us a subsequence \(\{f_{n_{k}}\}\) that converges uniformly on compact sets of \(\Pi ^{+}\) to a function \(f\in A_{\omega }^{p}(\Pi ^{+})\). Set
Denote \(I_{K_{Q}}=\{x\in \mathbb {R}:-r_{1}\le x\le r_{1}\}\). If \(z\in \{K_{Q}:I_{z}\cap (\mathbb {R}{\setminus } I_{K_{Q}})=\emptyset \}\), we choose \(n=n(z)\in \mathbb {N}\) such that \(n\frac{s}{4}<\mathfrak {I}z\le (n+1)\frac{s}{4}\), and denote by \(I_{k}\subset \mathbb {R}\) intervals satisfying \(|I_{k}|=\frac{s}{2}\) for all \(k=1,\dots ,n\) and \(I_{z}\subset \cup _{k=1}^{n+1}I_{k}\). By (3.5) and the doubling property of \(\omega \),
If \(z\in \{z\in K_{Q}:I_{z}\cap (\mathbb {R}{\setminus } I_{K_{Q}})\ne \emptyset \}\), then there exists \(w\in \{\mathfrak {R}z-\mathfrak {I}z+i3\mathfrak {I}z, \mathfrak {R}z+\mathfrak {I}z+i3\mathfrak {I}z\}\backslash K_{Q}\). By (3.5) and Lemma 2.1, there exists a constant \(C'=C'(\omega )>0\) such that
Due to (3.5),
Consequently,
Theorem 1.1 implies
Since \(\{f_{n_{k}}\}\) converges uniformly on compact sets of \(\Pi ^{+}\) and \(\mu \) is finite on K,
Since \(\varepsilon \) is arbitrary, we see \(f_{n_{k}}\rightarrow f\) in \(L^{p}(\mu )\), that is, \(\mu \) is a compact p-Carleson measure for \(A_{\omega }^{p}(\Pi ^{+})\). \(\square \)
4 Area Operators
In this section we prove Theorem 1.3 by adapting the unit disk case [22]. To this end, a couple of lemmas are needed. We first define the following dyadic grids and the corresponding maximal operators that have recently been used in harmonic analysis, see [22, 24] and the references therein.
Lemma 4.1
[24, Lemma 3.1] If I is an interval in \(\mathbb {R}\), then there exists an interval \(K\in \mathcal {D}^{\theta }\) for some \(\theta \in \left\{ 0,\frac{1}{3}\right\} \) such that \(I\subset K\) and \(|K|\le 8|I|\).
For a positive Borel measure \(\mu \) and a dyadic grid \(\mathcal {D}^\theta \), we define
These dyadic maximal operators are “essentially insensitive to the underlying measure” [12]—we have the following variant of this fundamental fact:
Lemma 4.2
Let \(1<p<\infty \). Let \(\mu , \nu \) be positive Borel measures. For a dyadic grid \(\mathcal {D}^\theta \) with \(\theta \in \left\{ 0,\frac{1}{3}\right\} \), if
then \(M_{\mu ,\mathcal {D}^\theta }: L^{p}(\mu )\rightarrow L^{p}(\nu )\) is bounded. Moreover,
Proof
We will use the Marcinkiewicz interpolation theorem, and therefore it suffices to prove weak type-(1, 1) inequality (\(L^\infty \) estimate being obvious). Let \(s>0\), \(f\in L^{1}(\mu )\), and
If \(d_f{f}(s)=\emptyset \), then there is nothing to prove. We now suppose that \(d_{f}(s)\ne \emptyset \). For \(T>0\), define the sets
Let \(A_{s}^{T,\max }\) be the subfamily of \(A_{s}^{T}\) consisting of the maximal \(Q_{I}\) under inclusion. Since \(|I|<T\), finding such a family of maximal elements is possible. It follows that \(A_{s}^{T,\max }\) is a covering of
and the squares \(Q_I\) from \(A_s^{T,\max }\) are mutually disjoint. Then clearly each \(z\in d_{f}(T,s)\) is contained at most one square in \(A_{s}^{T,\max }\). Therefore,
When \(T\rightarrow \infty \), the sets \(d_{f}(T,s)\) expand and \(d_{f}(s)=\cup _{T>0}d_{f}(T,s).\) So
which completes the proof. \(\square \)
We are now ready to prove Theorem 1.3.
Proof of Theorem 1.3
We divide the proof into three cases: (i) \(p=s\), (ii) \(p>s\), and (iii) \(p<s\).
Case (i): It follows directly from Fubini’s theorem that
Hence \(A_{s}^{\mu }\) is bounded if and only if \(\mu _{\omega }\) is a p-Carleson measure for \( A_{\omega }^{p}(\Pi ^{+})\).
Case (ii): Assume that \(A_{s}^{\mu }: A_{\omega }^{p}(\Pi ^{+})\rightarrow L^{p}(d(\omega \otimes m))\) is bounded. Considering the test functions \(F_{z,p}\) defined in Lemma 2.1, we have
Using Fubini’s theorem, we obtain that
Using Hölder’s inequality and Lemma 2.1 yields that
which implies that \(d\mu _{\omega }(z)=\omega [T(z)]d\mu (z)\) is a p-Carleson measure for \( A_{\omega }^{p}(\Pi ^{+})\) by Theorem 1.1.
Conversely, assume that \(d\mu _{\omega }(z)=\omega [T(z)]d\mu (z)\) is a p-Carleson measure for \( A_{\omega }^{p}(\Pi ^{+})\). For brevity, we denote \(M_{(\omega \otimes m),\mathcal {D}^{\theta }}\) by \(M_{\omega ,\mathcal {D}^{\theta }}\), where \(\theta \in \{0,1/3\}\). We also write \(\mathcal {B}((p/s)')\) for the unit ball of \(L^{(p/s)'}(d(\omega \otimes m))\).
Due to
it follows from Lemma 4.1, and Lemma 2.1 that
Then, by Hölder’s inequality, Lemma 4.2, and Theorem 1.1, we have
that is, \(A_{s}^{\mu }: A_{\omega }^{p}(\Pi ^{+})\rightarrow L^{p}(d(\omega \otimes m))\) is bounded.
Case (iii): Assume that \(A_{s}^{\mu }: A_{\omega }^{p}(\Pi ^{+})\rightarrow L^{p}(d(\omega \otimes m))\) is bounded. For \(\varepsilon >0\), put
and define \(d\mu _{\varepsilon }(z)=\chi _{K_{\varepsilon }}(z)d\mu (z)\). Obviously, it holds that
Take \(\alpha>\beta >1\) satisfying \(\frac{\beta }{\alpha }=\frac{p}{s}\). It follows from Fubini’s theorem that
By Hölder’s inequality we have
Observe that \(\left( \frac{\beta '}{\alpha '}\right) '=\frac{\beta (\alpha -1)}{\alpha -\beta }\), and write again \(\mathcal {B}(\frac{\beta (\alpha -1)}{\alpha -\beta })\) for the unit ball of \(L^{\frac{\beta (\alpha -1)}{\alpha -\beta }}(d(\omega \otimes m))\). Applying Fubini’s theorem, Lemma 4.1, and Lemma 2.1, we have by duality
Using Hölder’s inequality and Lemma 4.2, we have
This estimate together with (4.1) and Lemma 2.1 gives us
Therefore,
It follows from Fatou’s lemma and Theorem 1.1 that \(\mu _{\omega }\) is a p-Carleson measure for \( A_{\omega }^{p}(\Pi ^{+})\) and
Conversely, assume that \(d\mu _{\omega }(z)=\omega [T(z)]d\mu (z)\) is a p-Carleson measure for \( A_{\omega }^{p}(\Pi ^{+})\). Applying Hölder’s inequality we have
Finally, Fubini’s theorem, Theorem 1.1, and Lemma 3.2 yield
which completes the desired proof. \(\square \)
Data availability
Data sharing not applicable to this article as no datasets were generated or analysed during the current study: the article describes entirely theoretical research.
References
Arsenović, M.: Embedding derivatives of \(M\)-harmonic functions into \(L^{p}\) spaces. Rocky Mt. J. Math. 29, 61–67 (1999)
Carleson, L.: An interpolation problem for bounded analytic functions. Am. J. Math. 80, 921–930 (1958)
Carleson, L.: Interpolation by bounded analytic functions and the corona problem. Ann. Math. 76, 547–559 (1962)
Cohn, W.: Generalized area operators on Hardy spaces. J. Math. Anal. Appl. 216, 112–121 (1997)
Cohn, W., Verbitsky, I.: Factorization of tent spaces and Hankel operators. J. Funct. Anal. 175, 308–329 (2000)
Coifman, R., Meyer, Y., Stein, E.: Some new function spaces and their applications to Harmonic analysis. J. Funct. Anal. 62, 304–335 (1985)
Duren, P.: Theory of \(H^{p}\) Spaces. Dover, New York (2000)
Garnett, J.: Bounded Analytic Functions. Academic Press, New York (1981)
Gong, M., Lou, Z., Wu, Z.: Area operators from \(H^{p}\) spaces to \(L^{q}\) spaces. Sci. China Math. 53, 357–366 (2010)
Harper, Z.: Boundedness of convolution operators and input–output maps between weighted spaces. Complex Anal. Oper. Theory 3(1), 113–146 (2009)
Hörmander, L.: \(L^{p}\) estimates for (pluri-)subharmonic functions. Math. Scand. 20, 65–78 (1967)
Hytönen, T.: Dyadic Analysis and Weights. Lecture Notes. University of Helsinki, Helsinki (2017)
Jacob, B., Partington, J., Pott, S.: On Laplace–Carleson embedding theorems. J. Funct. Anal. 264, 783–814 (2013)
Kucik, A.: Spaces of analytic functions on the complex half-plane. Doctoral Thesis, University of Leeds (2017)
Luecking, D.: Embedding derivatives of Hardy spaces into Lebesgue spaces. Proc. Lond. Math. Soc. 63, 595–619 (1991)
Pang, C., Perälä, A., Wang, M., Guo, X.: Maximal estimate and integral operators in Bergman spaces with doubling measure. Proc. Am. Math. Soc. (to appear)
Pau, J., Peláez, J.Á.: Embedding theorems and integration operators on Bergman spaces with rapidly decreasing weights. J. Funct. Anal. 259, 2727–2756 (2010)
Peláez, J. Á.: Small weighted Bergman spaces. In: Proceedings of the Summer School in Complex and Harmonic Analysis, and Related Topics (2016)
Peláez, J.Á., Rättyä, J.: Weighted Bergman Spaces Induced by Rapidly Increasing Weights. Memoirs of the American Mathematical Society, No. 1066, vol. 227. American Mathematical Society, Providence (2014)
Peláez, J.Á., Rättyä, J.: Embedding theorems for Bergman spaces via harmonic analysis. Math. Ann. 362, 205–239 (2015)
Peláez, J. Á., Rättyä, J.: Bergman projection induced by radial weight. Preprint (2019)
Peláez, J.Á., Rättyä, J., Sierra, K.: Embedding Bergman spaces into tent spaces. Math. Z. 281, 1215–1237 (2015)
Peloso, M.M., Salvatori, M.: On some spaces of holomorphic functions of exponential growth on a half-plane. Concr. Oper. 3(1), 52–67 (2016)
Pott, S., Reguera, M.C.: Sharp Bekollé estimate for the Bergman projection. J. Funct. Anal. 265, 3233–3244 (2013)
Ramey, W., Yi, H.: Harmonic Bergman functions on half-spaces. Trans. Am. Math. Soc. 348, 633–660 (1996)
Siskakis, A.: Weighted integrals of analytic functions. Acta Sci. Math. (Szeged) 66(3–4), 651–664 (2000)
Strömberg, J., Torchinsky, A.: Weights, sharp maximal functions and Hardy spaces. Bull. Am. Math. Soc. 3, 1053–1056 (1980)
Zhu, K.: Operator Theory in Function Spaces. Mathematical Surveys and Monographs, vol. 138, 2nd edn. American Mathematical Society, Providence (2007)
Acknowledgements
The authors thank the referees who provided numerous valuable comments that improved the overall presentation of the paper.
Funding
Open access funding provided by Umea University.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Eric Weber.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This work was partially supported by Natural Science Foundation of China (11771340).
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
Pang, C., Perälä, A. & Wang, M. Embedding Theorems and Area Operators on Bergman Spaces with Doubling Measure. Complex Anal. Oper. Theory 15, 42 (2021). https://doi.org/10.1007/s11785-021-01089-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11785-021-01089-4