Abstract
We define Hardy spaces \({\mathcal {H}}^p\) for quasiregular mappings in the plane, and show that for a particular class of these mappings many of the classical properties that hold in the classical setting of analytic mappings still hold. This particular class of quasiregular mappings can be characterised in terms of composition operators when the symbol is quasiconformal. Relations between Carleson measures and Hardy spaces play an important role in the discussion. This program was initiated and developed for Hardy spaces of quasiconformal mappings by Astala and Koskela in 2011 in their paper \({\mathcal {H}}^p\)theory for Quasiconformal Mappings (Pure Appl Math Q 7(1):19–50, 2011).
Similar content being viewed by others
1 Introduction
Let \({\mathbb {D}}\) denote the unit disc \(\{z\in {\mathbb {C}};~z<1\}\) and \({\mathbb {T}}=\partial {\mathbb {D}}\). Furthermore, for a given point \(\xi \in {\mathbb {T}}\) and \(c>1\), let us denote the cone with vertex at \(\xi \in {\mathbb {T}}\) as follows
An analytic function f in \({\mathbb {D}}\) is in the Hardy space \({\mathcal {H}}^p\) for \(0<p<\infty \), if
The \({\mathcal {H}}^p\) theory for analytic functions is very well understood (see for instance [5, 7] or [4]). It is well known that if a function \(f\in {\mathcal {H}}^p, ~0<p<\infty \), then f has almost everywhere nontangential boundary limit \(f(e^{i\theta })\in L^p ({\mathbb {T}})\), and \( \frac{1}{2\pi } \int _0^{2\pi }f (e^{i\theta })^p ~\mathrm {d}\theta = \Vert f\Vert _{{\mathcal {H}}^p}^p \). Moreover, the nontangential maximal function of f, defined as \(f^*(\xi )= \sup _{z\in \Gamma (\xi )} f(z)\) satisfies \(f^* \in L^p ({\mathbb {T}})\), with \(\Vert f^*\Vert _{L^p}\le c ~\Vert f\Vert _{{\mathcal {H}}^p}\).
If \(p\ge 2\), then by a theorem of Littlewood and Paley [11] the derivatives of an \({\mathcal {H}}^p\) function also satisfy that
The aim of this note is to analyze these results in the quasiregular setting. A mapping \(f:{\mathbb {D}}\rightarrow {\mathbb {R}}^2\) is called Kquasiregular for \(K\ge 1\), if f belongs to the Sobolev space \(W_{loc}^{1,2}({\mathbb {D}}, {\mathbb {R}}^2)\) and the distortion inequality
holds for almost every \(z\in {\mathbb {D}}\).
If in addition we require f to be a homeomorphism, then we say that f is Kquasiconformal. For comprehensive introductions to the topic and further references we refer, for instance, to [2, 10] and [14].
The theory of Hardy spaces for quasiconformal mappings has been developed by Astala and Koskela in their seminal paper [3]. Though their results hold also in higher dimensions, we will restrict our attention to dimension 2 only, leaving the discussion of higher dimensional cases to separate further studies.
Astala and Koskela show that many of the properties of analytic \({\mathcal {H}}^p\) functions are also shared by \({\mathcal {H}}^p\)quasiconformal maps, in particular the ones described above related to the maximal function and to the existence of boundary values in \(L^p({\mathbb {T}})\).
On the other hand, since the local integrability of \(Df^p\) might fail for Kquasiconformal mappings when \(p\ge 2K/(K1)\), see for instance Chapter 13 in [2], an analogue of (1) is formulated in [3] as
where \(a_f (z) = \exp \big (\frac{1}{B_z} \int _{B_z} \log Jf^{\frac{1}{2}}(w)~\mathrm {d}m \big )\) is the average derivative function, introduced by Astala and Gehring in [1]. Besides, condition (2) characterizes \({\mathcal {H}}^p\)quasiconformal mappings with no restriction on p i.e. for all \(0<p<\infty \) (see Theorem 5.1 in [3]).
Note that when f is conformal, \(a_f(z)=f'(z)\) due to the harmonicity of \(\log {f'}\), but that is not the case for general analytic functions. If f is quasiregular, then its lack of injectivity leads to difficulties when studying \(a_f\).
Analogous to the classical setting, we say that a quasiregular mapping \(f\in {\mathcal {H}}^p_{qr}\) for a given \(0<p<\infty \), if
This class is nonempty, since any bounded quasiregular mapping belongs to \({\mathcal {H}}^p_{qr}\) for all \(0<p<\infty \), because the supremum of the integral means is trivially finite.
The first part of this note is devoted to provide nontrivial examples of functions in \( {\mathcal {H}}^p_{qr}\). By the Stoilow factorization theorem, any quasiregular mapping \(f:{\mathbb {D}}\rightarrow {\mathbb {R}}^2\) can be written as \(f=g\circ \phi \), where g is analytic in \({\mathbb {D}}\) and \(\phi \) is a quasiconformal mapping from \({\mathbb {D}}\) onto \({\mathbb {D}}\). Observe that, since \(\phi \) is a quasiconformal selfmapping of \({\mathbb {D}}\), then \(\phi \) has a continuous (even homeomorphic) extension to the boundary \({\mathbb {T}}\), see the discussion in Chapter 17 in [14], in particular [14, Theorem 17.8]. In what follows we will denote this extension still by \(\phi \). Moreover, \(\phi _{{\mathbb {T}}}\) is quasisymmetric.
Jerison and Weitsman constructed in [9] an example of an analytic function \(g\in {\mathcal {H}}^2\) and a quasiconformal mapping \(\phi \) from the disc onto itself such that the quasiregular map \(f=g\circ \phi \notin {\mathcal {H}}^p_{qr}\) for any \(p>0\).
In this setting we consider the composition operator \({\mathcal {C}}_{\phi }~ g=g\circ \phi \) for \(g\in {\mathcal {H}}^p\), and show that under certain conditions on \(\phi \), operator \(C_\phi \) sends \({\mathcal {H}}^p\) to \({\mathcal {H}}^p_{qr}\).
Theorem 1
Let \(\phi :{\mathbb {D}}\rightarrow {\mathbb {D}}\) be a quasiconformal mapping and \(0<p<\infty \). Then \(C_\phi : {\mathcal {H}}^p \rightarrow {\mathcal {H}}^p_{qr}\) is a bounded operator if and only if \(\phi ^{1}_{{\mathbb {T}}}\) is a Lipschitz function.
The theorem leads to the following class of mappings: For \(0<p<\infty \) we define the family of quasiregular mappings \({\mathcal {F}}_p\) as follows
Theorem 1 shows that \({\mathcal {F}}_p \subset {\mathcal {H}}^p_{qr}\). On the other hand, it turns out that not all mappings in \({\mathcal {H}}^p_{qr}\) can be constructed this way. Indeed, an example is provided by any bounded analytic function precomposed with a quasiconformal mapping whose inverse is not Lipschitz. However, a slightly more subtle example can be given.
Theorem 2
There exists a function \(f=g\circ \phi \in {\mathcal {H}}^1_{qr} \) such that \(\phi ^{1}_{{\mathbb {T}}} \textit{ is Lipschitz} \) but \(g\notin {\mathcal {H}}^1\). Moreover, such a decomposition of f is unique in the sense that there are no \({\tilde{g}}\in {\mathcal {H}}^1\), \({\tilde{g}}\not =g\) and quasiconformal \({\tilde{\phi }}\), \({\tilde{\phi }}\not =\phi \) with Lipschitz \({\tilde{\phi }}^{1}_{{\mathbb {T}}}\), such that \(f={\tilde{g}}\circ {\tilde{\phi }}\).
By arguing as in the proof of Theorem 1, we recover in Theorem 4 (see section on composition operators) a result for a composition operator from Bergman spaces \({\mathcal {A}}^p\) to the space of all pintegrable quasiregular mappings on \({\mathbb {D}}\), cf. [6, Theorem 2].
In the second part of this note, we study the properties of \({\mathcal {H}}^p_{qr}\). One cannot expect for a general function \(f\in {\mathcal {H}}^p_{qr}\) to have boundary values a.e on \({\mathbb {T}}\). In fact, although bounded planar quasiregular mappings have radial limits in a set E of positive Hausdorff dimension, this set E can be of arbitrarily small Hausdorff dimension (see pg. 119120 in [13]).
On the other hand, for quasiregular functions in \({\mathcal {F}}_p \), we show results analogous to the ones mentioned above in the context of the analytic Hardy spaces and the quasiconformal Hardy spaces.
Theorem 3
Let \(0<p<\infty \) and f be a Kquasiregular mapping in \({\mathcal {F}}_p\). Then it holds:

(i)
\(f\in {\mathcal {H}}^p_{qr}\).

(ii)
The nontangential boundary values \(f(\xi )\) exist for a.e. \(\xi \in {\mathbb {T}}\) and \(f(\xi )\in L^p({\mathbb {T}})\).

(iii)
The nontangential maximal function \(f^*\in L^p ({\mathbb {T}})\).

(iv)
If \(2\le p<\frac{2K}{K1}\), then it holds that \(\int _{{\mathbb {D}}} Df(z)^p~(1z)^{p1}~\mathrm {d}m<\infty \).
We remark that part (iv) of the theorem may fail if \(0<p<2\), see [8, Theorem 1].
1.1 Preliminaries
In this note, the letter c denotes a positive constant that may change at different occurrences. The notation \(A\lesssim B\) ( \(A\gtrsim B\)) means that there is a constant \(c>0\) such that \(A \le c B\) (\(A\ge c B\)). The notation \(A \simeq B\) means that \(A \lesssim B \lesssim A\).
By \(\mathrm {d}m\) we denote the appropriate Lebesgue measure: 1, 2dimensional, depending on the context of the presentation.
Moreover, if g is a complex function, then its complex derivative is denoted \(g'=g_z\). The Jacobian of a map f at a point w is denoted by Jf(w). Note that, if f is holomorphic, then \(Jf(w)=f'(w)^2=f_z(w)^2\). If f is quasiregular in the plane, then by the distortion inequality it holds that \(Df\simeq _{c(K)}f_z\).
In what follows we often study a quasiconformal selfmapping of \({\mathbb {D}}\) or an analytic function in \({\mathcal {H}}^p\) which both have appropriate boundary extensions. We follow a convention to denote these extensions by the same symbols as the given quasiconformal map and the analytic function, respectively.
Finally, let us introduce the notation needed in the proof of Theorem 1. For any \(z\in {\mathbb {D}}\), we denote by \(B_z\) the hyperbolic ball \(B_z=B(z,c~(1z))\), for some \(0<c<1\), and by \(I_z\) the interval in \({\mathbb {T}}\) defined as
Note that \(I_z\simeq 1z, \text {for any}~ z\in {\mathbb {D}}\).
Moreover, if \(I\subset {\mathbb {T}}\) is an interval, the Carleson square \(S(I)\subset {\mathbb {D}}\) is the set
where I denotes the length of the interval I.
The following lemma is used in proofs of Theorem 1 and part (iii) of Theorem 3 and stays that an image of a cone under a quasiconformal selfmapping of a unit disc is contained in a cone, whose aperture can be uniformly chosen for all boundary points. This observation is needed in order to apply the nontangential maximal function on images of cones.
Lemma 1
Let \(\phi : {\mathbb {D}}\rightarrow {\mathbb {D}}\) be a Kquasiconformal mapping and let \(\Gamma (\xi )\) be a cone with a vertex at \(\xi \in {\mathbb {T}}\). Then \(\phi (\Gamma (\xi ))\subset \Gamma _{\phi (\xi )}\) with the aperture depending only on K, the aperture of \(\Gamma (\xi )\) and the geometry of \({\mathbb {D}}\).
In the statement above we slightly abuse the term aperture, as cones in our manuscript do not necessarily have the shape of geometric cones.
Proof
To simplify the notation and the argument, let us replace the unit disc by the upper half plane. Consider then a cone in the upper half plane \({\mathbb {R}}^2_+\), with the vertex at the origin:
for a fixed \(c>1\), and let \(\phi \) be a Kquasiconformal map from \({\mathbb {R}}^2_+\) onto itself with \(\phi (0)=0\).
Let us show that the image of the line \(L_+=\{z\in {\mathbb {R}}^2_+:~z= c~ y,~ x>0\}\) is contained in a cone with the vertex at 0. For that, note that the curve \(\gamma =L_+\cup {\mathbb {R}}_+\) is a quasicircle, and so is its image \(\phi (\gamma )= \phi (L_+)\cup {\mathbb {R}}_+ \).
Let \(z\in L_+\) and \(w=\phi (z)\). Denote by \(x_0\) the closest point on the real line to w, that is if \(w=u+iv\), then \(v= wx_0\). Since the origin lies on the arc of \(\phi (\gamma )\) joining w and \(x_0\), it holds by the 3point condition characterizing quasicircles that
that is \(w \le C~v\), where \( C=C(K)\).
A similar argument shows that the image of the line \(L_{}=\{z\in {\mathbb {R}}^2_+:~z= c~ y,~ x<0\}\) is contained in the same cone. \(\square \)
2 Composition Operators with Quasiconformal Symbol
The main goal of this section is to prove Theorem 1, also to show the boundedness of composition operator \(C_{\phi }\) on Bergman spaces, see Theorem 4 below. We begin with showing the following auxiliary result used in several proofs below.
Lemma 2
Let \(\phi :{\mathbb {D}}\rightarrow {\mathbb {D}}\) be Kquasiconformal. It holds that \(\phi ^{1}_{\mathbb {T}}\) is Lipschitz if and only if
for any hyperbolic ball \(B\subset {\mathbb {D}}\).
Proof
Denote by w the center of the ball B, and let \(\phi (z)=w\). Recall the following statement of the socalled circular distortion theorem for Kquasiconformal mappings specialized to our case of \(\phi :{\mathbb {D}}\rightarrow {\mathbb {D}}\) (see e.g. [3, Lemma 2.1]): there exists a constant \(C=C(K)\) so that for all \(z\in {\mathbb {D}}\)
Therefore, \( \phi ^{1}(B)\simeq (1z)^2\), and so condition (3) above reads \(1z \le c~(1w)\).
Let J be any interval on \({\mathbb {T}}\), \(w_0\in {\mathbb {D}}\) be the point such that \(I_{w_0}=J\), and \(z_0= \phi ^{1}(w_0)\). Then, by the circular distortion theorem, the interval \(I = \phi ^{1}(J)\) contains and is contained in bounded multiples of \(I_{z_0}\). Since \(I_{w_0}\simeq 1w_0\) and similarly for \(I_{z_0}\), we can conlude that
that is, \(\phi ^{1}_{\mathbb {T}}\) is Lipschitz.
In order to show the opposite implication, notice that by assuming the Lipschitz regularity of \(\phi ^{1}_{\mathbb {T}}\), we may reverse the presented reasoning and obtain (3). \(\square \)
Proof of Theorem 1
Assume that \(C_\phi : {\mathcal {H}}^p \rightarrow {\mathcal {H}}^p_{qr}\) is a bounded operator, that is for any \(g\in {\mathcal {H}}^p\),
Set \(g(z)= \frac{1}{(1{\bar{w}}z)^{2/p}}\), with \(w\in {\mathbb {D}}\). Then, \(g\in {\mathcal {H}}^p\), and \(\Vert g\Vert ^p_{{\mathcal {H}}^p}\simeq \frac{1}{1w^2}\).
Next, by Fatou’s lemma and (5)
Define the measure \(\mu \) on \({{\mathbb {T}}}\) as the pushforward of the Lebesgue measure on \({\mathbb {T}}\) via \(\phi \), that is let \(\mu (E):=m (\phi ^{1}(E))\), for any set \( E\subset {\mathbb {T}}\). Then, by the change of variables formula, (6) can be expressed in terms of \(\mu \) as follows
If \(z\in I_w\), then it holds that
Therefore, by (7) and (8) we conclude that \(\mu (I_w)\le c ~I_w\). Hence, by the definition of \(\mu \)
as any \(I=I_w\) for some \(w\in {\mathbb {D}}\). This shows that function \(\phi ^{1}\) is Lipschitz, cf. the proof of Lemma 2.
In order to prove the converse assertion, recall Lemma 1 and note that if \(\phi ^{1}\) is Lipschitz, then by a change of variables
\(\square \)
Using similar arguments, we can recover the following result (see [6, Theorem 2] for \(p=2\) and Remark 1 on pg. 10 in [6] for all \(0<p<\infty \)). Recall that the Bergman space, denoted \({\mathcal {A}}^p\), consists of all holomorphic functions pintegrable with respect to the Lebesgue measure on \({\mathbb {D}}\). Furthermore, by the analogy to space \({\mathcal {H}}^p_{qr}\) we denote by \({\mathcal {A}}^p_{qr}\) the space of all pintegrable quasiregular mappings on \({\mathbb {D}}\).
Theorem 4
(FGW) The operator \( C_\phi \) is a bounded operator from \({\mathcal {A}}^p\) to \({\mathcal {A}}^p_{qr }\) for \(0<p<\infty \), if and only if \(\phi ^{1}_{\mathbb {T}}\) is Lipschitz.
Proof
Recall that Carleson measures for Bergman spaces are given by the condition
Namely, Theorem 2.2 in [12] applied with \(n=0\), \(\alpha =0\) and \(p=q>0\) stays that \(\Vert g\Vert _{L^p(\mathrm {d}\mu )}\le C \Vert g\Vert _{{\mathcal {A}}^p}\) if and only if \(\mu (B(z, r)) <Cr^2\), for all \(z \in {\mathbb {D}}\) and \(r=\frac{1}{2} {\text {dist}}(z, \partial {\mathbb {D}})\). This can be shown to be equivalent to a condition \(\mu (S(I))<c I^2\), for any interval \(I\subset {\mathbb {T}}\) and the corresponding Carleson square S(I).
The condition \(C_\phi \) bounded means
Let \(\mu \) denote the pushforward measure of the Lebesgue measure on \({\mathbb {D}}\) under mapping \(\phi \). Then, by the change of variables formula, the boundedness condition (10) can be equivalently written as
which in turn, by (9), holds if and only if
However, this by Lemma 2 is equivalent to saying that \(\phi ^{1}_{\mathbb {T}}\) is Lipschitz. \(\square \)
3 Quasiregular Mappings \({\mathcal {H}}^p_{qr}\)
The first question we would like to address is whether any function in \({\mathcal {H}}^p_{qr}\) belongs to the family \({\mathcal {F}}_p\), see also the discussion before the statement of Theorem 2 in Introduction.
Proof of Theorem 2
Let us consider the following homeomorphism \(\alpha :[\pi , \pi ] \rightarrow [\pi , \pi ]\), defined as
It is easy to check that the function \(\phi (t)=e^{i\alpha (t)}\) is quasisymmetric on \({\mathbb {T}}\). Therefore, \(\phi \) can be extended to a quasisymmetric mapping on the closure of \({\mathbb {D}}\), which will be denoted by \(\phi \) as well.
Next, set \(g(z)=\frac{1}{1z}\). Then g is analytic on \({\mathbb {D}}\) and, since \(\int _{0}^{2\pi } \mathrm {d}\theta /1e^{i\theta }\) diverges, \(g \notin {\mathcal {H}}^1\). On the other hand, \(f=g\circ \phi \in {\mathcal {H}}^1_{qr}\) by the following reasoning.
First, recall that by Lemma 1 cones are mapped to cones and hence \(g(\phi (r\xi ))\le g^*(\phi (\xi ))\). Let us define \(g(\xi )=\frac{1}{1\xi }\) for \(\xi \in {\mathbb {T}}\) with convention that \(g(1):=\infty \). Then it holds that \(g^*(\xi ) \simeq g(\xi )\) for any \(\xi \in {\mathbb {T}}\), because if \(z\in \Gamma _\xi \) then \( 1\xi  \lesssim 1z\). Therefore,
We apply the change of variables \(s=\alpha (t)\) and get \(s~\mathrm {d}s=\frac{\pi }{2}~\mathrm {d}t\) for \(0<t<\pi \). Thus,
Finally, let us address the uniqueness of the decomposition for quasiregular f as in the assertion of the theorem. Suppose on the contrary, that there exist a quasiconformal \({\tilde{\phi }}\not =\phi \) and \({\tilde{g}}\in {\mathcal {H}}^1\) such that \({\tilde{g}}\not =g\) and \(f={\tilde{g}}\circ {\tilde{\phi }}\). Then it holds that \(g\circ \phi ={\tilde{g}}\circ {\tilde{\phi }}\). Set \(\Phi :={\tilde{\phi }}\circ \phi ^{1}\). Then \(g={\tilde{g}}\circ \Phi \), and therefore \(\Phi :{\mathbb {D}}\rightarrow {\mathbb {D}}\) is conformal. Since the compostion operator \(C_{\Phi }\) is bounded in \({\mathcal {H}}^1\), we get that \(g\in {\mathcal {H}}^1\) contradicting the first assertion of the theorem. \(\square \)
Notice that in the above theorem we only claim that \(f\not \in {\mathcal {F}}_1\), but this does not exclude that f may belong to \({\mathcal {F}}_p\) for some \(p\not =1\). In fact, a classical theorem by Prawitz asserts that all conformal mappings of the unit disc belong to \({\mathcal {H}}^p\) for \(0<p<\frac{1}{2}\). Hence, \(g\in {\mathcal {H}}^p\) for \(0<p<\frac{1}{2}\) (in fact for \(0<p<1\) in our case).
Finally, we present the proof of Theorem 3.
Proof of Theorem 3

(i)
It is a consequence of Theorem 1.

(ii)
Let \(f=g\circ \phi \). Since \(g\in {\mathcal {H}}^p\), the boundary values \(g(e^{i\theta })\) exist for every \(\theta \in {\mathbb {T}}\backslash E\) where E is a set of measure 0. Recall further, that \(\phi \) has a homeomorphic extension to \({\overline{{\mathbb {D}}}}\). Therefore, f has boundary values on \({\mathbb {T}}\backslash \phi ^{1} (E)\). Since \(\phi ^{1}_{\mathbb {T}}\) is Lipschitz regular, we conclude that \( \phi ^{1} (E)=0\) and, hence, f has boundary values a.e. on \({\mathbb {T}}\). Furthermore, a change of variables allows us to conclude the integrability of f:
$$\begin{aligned} \int _{{\mathbb {T}}} f^p~\mathrm {d}m = \int _{{\mathbb {T}}} g\circ \phi ^p~\mathrm {d}m = \int _{{\mathbb {T}}} g^p ~(\phi ^{1})'~dm\le c ~ \Vert g\Vert _{{\mathcal {H}}_p}^p. \end{aligned}$$ 
(iii)
Since, by Lemma 1, the image of a cone \(\Gamma (z)\) at a point \(z\in {\mathbb {T}}\) is contained in a cone at \(\phi (z)\), we have
$$\begin{aligned} \int _{{\mathbb {T}}} f^*^p~dm \lesssim \int _{{\mathbb {T}}} g^*\circ \phi ^p~dm= \int _{{\mathbb {T}}} g^*^p ~(\phi ^{1})'~dm\le c ~ \Vert g\Vert _{{\mathcal {H}}_p}^p. \end{aligned}$$ 
(iv)
We start by recalling Theorem 3.1 in [12], here stated for \(p=q\ge 2\) and \(n=1\). If \(g\in {\mathcal {H}}^p\) and \(\mu \) is a positive measure in \({\mathbb {D}}\), then
$$\begin{aligned} \int _{{\mathbb {D}}} g'^p ~d\mu \le c \Vert g\Vert _{{\mathcal {H}}^p}^p \end{aligned}$$if and only if \(\mu (S)\le c ~(l(S))^{1+p}\), for any Carleson square S. It is easy to show that the condition on the measure can be replaced by
$$\begin{aligned} \mu (B)\le c~r_B^{1+p}, \end{aligned}$$for any hyperbolic ball B of radius \(r_B\). This occurs when the exponent is strictly bigger than 1. Upon defining a measure \(\mu \) as the pushforward of the measure \(\phi '(z) ^p~(1z)^{p1} ~\mathrm {d}m(z)\), we may write
$$\begin{aligned} \int _{{\mathbb {D}}} Df(z)^p ~(1z)^{p1}~\mathrm {d}m(z)&\lesssim \int _{{\mathbb {D}}} g'(\phi (z))^p ~\phi '(z) ^p ~(1z)^{p1} ~\mathrm {d}m(z)\\&=\int _{{\mathbb {D}}} g'(z)^p~\mathrm {d}\mu (z). \end{aligned}$$Here we also use that for a Kquasiconformal mapping \(\phi \), it holds that \(D\phi \le c(K) \phi '\). Therefore, the assertion (iv) will be proven if we show that for any hyperbolic ball B of radius \(r_B\)
$$\begin{aligned} \mu (B)=\int _{\phi ^{1}(B)} \phi '(z)^p ~(1z)^{p1}~\mathrm {d}m(z)\le c~r_B^{1+p}. \end{aligned}$$By the circular distortion theorem, we have that set \(\phi ^{1}(B)\subset {\tilde{B}}\) for some hyperbolic ball \({\tilde{B}}\), and \(\phi ({\tilde{B}}) \) is contained in another hyperbolic ball centered at the same point as B and radius comparable to \(r_B\) (see [3, Lemma 2.1], also the discussion at (4) above applied for \(\phi \) and \(\phi ^{1}\)). In particular, \(\phi ({\tilde{B}})\le c B\simeq r_B^2\). Next, observe that for \(z\in {\tilde{B}}={\tilde{B}}(z_0,r_{{\tilde{B}}})\) it holds that \(r_{{\tilde{B}}}\simeq 1z\). This combined with estimates on the integrability of the derivatives of a Kquasiconformal map (see [2, Corollary 13.2.4]) when \(p< 2K/(K1)\) gives us that
$$\begin{aligned} \mu (B)&\le \int _{{\tilde{B}}} \phi '(z)^p ~(1z)^{p1}~\mathrm {d}m(z) \\&\simeq r_{{\tilde{B}}}^{p1}\int _{{\tilde{B}}}\phi '(z)^p ~\mathrm {d}m(z) \\&\le c(K, p)~r_{{\tilde{B}}}^{p1}~\left( \frac{\phi ({\tilde{B}})}{{\tilde{B}}}\right) ^{\frac{p}{2}}\tilde{B} \lesssim r_{{\tilde{B}}}^{p1}\left( \frac{r_B^2}{r_{{\tilde{B}}}^2}\right) ^{\frac{p}{2}} r_{{\tilde{B}}}^2 \lesssim r_{{\tilde{B}}}~r_B^p. \end{aligned}$$Finally, by reasoning as in the proof of Lemma 2, the fact that \(\phi ^{1}_{\mathbb {T}}\) is Lipschitz implies that \( r_{{\tilde{B}}}\lesssim r_B\), see the discussion at (3) and (4). Hence, we conclude that \(\mu (B)\le r_B^{p+1}\), as we wanted to show. This completes the proof of assertion (iv) of the theorem.
\(\square \)
References
Astala, K., Gehring, F.W.: Quasiconformal analogues of theorems of Koebe and HardyLittlewood. Mich. Math. J. 32, 99–107 (1985)
Astala, K., Iwaniec, T., Martin, G.: Elliptic Partial Differential Equations and Quasiconformal Mappings in the Plane. Princeton Mathematical Series, vol. 48. Princeton University Press, Princeton, NJ (2009)
Astala, K., Koskela, P.: \( H^p\)theory for quasiconformal mappings. Pure Appl. Math. Q. 7(1), 19–50 (2011)
Bañuelos, R., Moore, C.: Probabilistic Behavior of Harmonic Functions. Progress in Mathematics, vol. 175, xiv+204 pp. Birkhäuser Verlag, Basel (1999)
Duren, P.L.: Theory of \(H^p\) Spaces. Academic Press, New York (1970)
Fang, X., Guo, K., Wang, Z.: Composition Operators on the Bergman Space via Quasiconformal Mappings, Preprint (2018). arXiv:1804.5352
Garnett, J.B.: Bounded Analytic Functions. Academic Press, New York (1981)
Girela, D.: Mean growth of the derivative of certain classes of analytic functions. Math. Proc. Camb. Philos. Soc. 112(2), 335–342 (1992)
Jerison, D., Weitsman, A.: On the means of quasiregular and quasiconformal mappings. Proc. Am. Math. Soc. 83, 304–306 (1981)
Lehto, O., Virtanen, K.I.: Quasiconformal Mappings in the Plane, 2nd edn. Springer, New York (1973)
Littlewood, J.E., Paley, R.E.: Theorems on Fourier series and power series (II). Proc. Lond. Math. Soc. (2) 42, 52–89 (1937)
Luecking, D.H.: Forward and reverse Carleson inequalities for functions in Bergman spaces and their derivatives. Am. J. Math. 107, 85–111 (1985)
Noshiro, K.: Cluster Sets. Ergebnisse der Mathematik und ihrer Grenzgebiete. N. F., Heft 28 Springer, Berlin (1960)
Väisälä, J.: Lectures on \(n\)Dimensional Quasiconformal Mappings. Lecture Notes in Mathematics, vol. 229. Springer, Berlin (1971)
Acknowledgements
Part of the work was conducted during the Simons semester in Geometry and analysis in function and mapping theory on Euclidean and metric measure spaces at IMPAN in fall 2019. The authors would like also to thank Pekka Koskela for many valuable conversations. Moreover, the authors would like to thank the anonymous referee for interesting comments regarding Lemma 2 and Theorem 2.
Funding
T.A. was supported by a Grant of National Science Center, Poland (NCN), UMO2017/25/B/ST1/01955. M.J.G. was supported by Plan Propio de la UCA 2019 and Plan Nacional I+D Grant No. MTM201785666P, Spain. This work was partially supported by the Grant 346300 for IMPAN from the Simons Foundation and the matching 20152019 Polish MNiSW fund.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflicts of interest/Competing interests
The authors declare that they have no conflict of interests nor competing interests.
Availability of data and material
Not applicable. The manuscript has no associated data.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Adamowicz, T., González, M.J. Hardy Spaces for Quasiregular Mappings and Composition Operators. J Geom Anal 31, 11417–11427 (2021). https://doi.org/10.1007/s12220021006870
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12220021006870