## 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

\begin{aligned} \Gamma (\xi ) = \{z\in {\mathbb {D}};~|z-\xi |< c~ (1-|z|)\}. \end{aligned}

An analytic function f in $${\mathbb {D}}$$ is in the Hardy space $${\mathcal {H}}^p$$ for $$0<p<\infty$$, if

\begin{aligned} \sup _{0<r<1} ~\frac{1}{2\pi } \int _0^{2\pi }|f (re^{i\theta })|^p ~\mathrm {d}\theta = \Vert f\Vert _{{\mathcal {H}}^p}^p < \infty . \end{aligned}

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 non-tangential 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 non-tangential 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

\begin{aligned} \int _{{\mathbb {D}}}|f'(z)|^p (1-|z|)^{p-1}~\mathrm {d}m<\infty . \end{aligned}
(1)

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 K-quasiregular for $$K\ge 1$$, if f belongs to the Sobolev space $$W_{loc}^{1,2}({\mathbb {D}}, {\mathbb {R}}^2)$$ and the distortion inequality

\begin{aligned} |Df(z)|^2\le K Jf (z) \end{aligned}

holds for almost every $$z\in {\mathbb {D}}$$.

If in addition we require f to be a homeomorphism, then we say that f is K-quasiconformal. 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 K-quasiconformal mappings when $$p\ge 2K/(K-1)$$, see for instance Chapter 13 in [2], an analogue of (1) is formulated in [3] as

\begin{aligned} \int _{{\mathbb {D}}} a_f(z)^p (1-|z|)^{p-1}~\mathrm {d}m<\infty , \end{aligned}
(2)

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

\begin{aligned} \sup _{0<r<1} ~\frac{1}{2\pi } \int _0^{2\pi }|f (re^{i\theta })|^p ~d\theta = \Vert f\Vert _{{\mathcal {H}}^p}^p < \infty . \end{aligned}

This class is non-empty, 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 non-trivial 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

\begin{aligned} {\mathcal {F}}_p:=\{f: {\mathbb {D}}\rightarrow {\mathbb {R}}^2; ~ f= g\circ \phi , ~ g\in {\mathcal {H}}^p ~\textit{and} ~ \phi ^{-1}|_{{\mathbb {T}}} \textit{ is a Lipschitz function} \}. \end{aligned}

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 p-integrable 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. 119-120 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 K-quasiregular mapping in $${\mathcal {F}}_p$$. Then it holds:

1. (i)

$$f\in {\mathcal {H}}^p_{qr}$$.

2. (ii)

The non-tangential boundary values $$f(\xi )$$ exist for a.e. $$\xi \in {\mathbb {T}}$$ and $$f(\xi )\in L^p({\mathbb {T}})$$.

3. (iii)

The non-tangential maximal function $$f^*\in L^p ({\mathbb {T}})$$.

4. (iv)

If $$2\le p<\frac{2K}{K-1}$$, then it holds that $$\int _{{\mathbb {D}}} |Df(z)|^p~(1-|z|)^{p-1}~\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-, 2-dimensional, 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~(1-|z|))$$, for some $$0<c<1$$, and by $$I_z$$ the interval in $${\mathbb {T}}$$ defined as

\begin{aligned} I_z=\{ e^{i\theta }\in {\mathbb {T}}: |\arg { (ze^{-i\theta })}| \le \frac{1-|z|}{2}\}. \end{aligned}

Note that $$|I_z|\simeq 1-|z|, \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

\begin{aligned} S(I) = \{re^{i\theta } : e^{i\theta }\in I, 1-\frac{|I|}{2\pi }\le r<1\}, \end{aligned}

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 non-tangential maximal function on images of cones.

### Lemma 1

Let $$\phi : {\mathbb {D}}\rightarrow {\mathbb {D}}$$ be a K-quasiconformal 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:

\begin{aligned} \Gamma =\{z=x+iy\in {\mathbb {R}}^2_+:~|z|< c~ y\} \end{aligned}

for a fixed $$c>1$$, and let $$\phi$$ be a K-quasiconformal 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= |w-x_0|$$. Since the origin lies on the arc of $$\phi (\gamma )$$ joining w and $$x_0$$, it holds by the 3-point condition characterizing quasicircles that

\begin{aligned} |w|\le |w|+ |x_0| \le C ~|w-x_0| \end{aligned}

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 K-quasiconformal. It holds that $$\phi ^{-1}|_{\mathbb {T}}$$ is Lipschitz if and only if

\begin{aligned} |\phi ^{-1}(B)| \le c ~|B| \end{aligned}
(3)

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 so-called circular distortion theorem for K-quasiconformal 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}}$$

\begin{aligned} {\text {diam}}\phi ^{-1}(B)\simeq 1-|z|\quad \text{ and } \quad \phi ^{-1}(B)\supset B(z, 1/C (1-|z|)). \end{aligned}
(4)

Therefore, $$|\phi ^{-1}(B)|\simeq (1-|z|)^2$$, and so condition (3) above reads $$1-|z| \le c~(1-|w|)$$.

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 1-|w_0|$$ and similarly for $$|I_{z_0}|$$, we can conlude that

\begin{aligned} |I| \simeq 1-|z_0|\le c~(1-|w_0|) \simeq |J| \end{aligned}

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$$,

\begin{aligned} \sup _{r<1} \int _{{\mathbb {T}}}|g(\phi (rz))|^p~\mathrm {d}m \le c \int _{{\mathbb {T}}}|g(z)|^p~\mathrm {d}m. \end{aligned}
(5)

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}{1-|w|^2}$$.

Next, by Fatou’s lemma and (5)

\begin{aligned} \begin{aligned} \int _{{\mathbb {T}}} \frac{1}{|1-{\bar{w}}\phi (z)|^2}~\mathrm {d}m(z)&\le \liminf _{r\rightarrow 1} \int _{{\mathbb {T}}} \frac{1}{|1-{\bar{w}}\phi (rz)|^2}~\mathrm {d}m(z) \\&\le \sup _{r<1}\int _{{\mathbb {T}}} \frac{1}{|1-{\bar{w}}\phi (rz)|^2}~\mathrm {d}m(z) \le c~ \frac{1}{1-|w|^2}. \end{aligned} \end{aligned}
(6)

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

\begin{aligned} \int _{{\mathbb {T}}} \frac{1}{|1-{\bar{w}}z|^2}~\mathrm {d}\mu (z) \le c~ \frac{1}{1-|w|^2}. \end{aligned}
(7)

If $$z\in I_w$$, then it holds that

\begin{aligned} |1-{\bar{w}}z| \lesssim 1-|w| \simeq |I_w|. \end{aligned}
(8)

Therefore, by (7) and (8) we conclude that $$\mu (I_w)\le c ~|I_w|$$. Hence, by the definition of $$\mu$$

\begin{aligned} |\phi ^{-1}(I)| \le c~|I|\quad \text {for any interval}~I\subset {\mathbb {T}}, \end{aligned}

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

\begin{aligned} \begin{aligned} \sup _{r<1}&\int _{{\mathbb {T}}}|g(\phi (rz))|^p~\mathrm {d}m(z) \le \int _{{\mathbb {T}}}|(g\circ \phi )^*(z)|^p~\mathrm {d}m(z) \lesssim \int _{{\mathbb {T}}}|g^*(\phi (z))|^p~\mathrm {d}m(z)\\&= \int _{{\mathbb {T}}}|g^* (w)|^p~|(\phi ^{-1})' (w)|~\mathrm {d}m(w) \le c \int _{{\mathbb {T}}}|g^* (w)|^p ~~\mathrm {d}m(w)\le c ~\Vert g\Vert _{{\mathcal {H}}^p}^p. \end{aligned} \end{aligned}

$$\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 p-integrable 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 p-integrable 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

\begin{aligned} \mu (B) \le c ~|B|, \hbox { for any hyperbolic ball }B\subset {\mathbb {D}}. \end{aligned}
(9)

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

\begin{aligned} \int _{{\mathbb {D}}}|g(\phi (z))|^p~\mathrm {d}m \le c~\Vert g\Vert _{{\mathcal {A}}^p}^p. \end{aligned}
(10)

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

\begin{aligned} \int _{{\mathbb {D}}}|g(z)|^p~\mathrm {d}\mu \le c~\Vert g\Vert _{{\mathcal {A}}^p}^p \end{aligned}

which in turn, by (9), holds if and only if

\begin{aligned} |\phi ^{-1}(B)| \le c ~|B| \hbox { for any hyperbolic ball }B\subset {\mathbb {D}}. \end{aligned}

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

\begin{aligned} \alpha (t) = \left\{ \begin{array}{ll} \sqrt{\pi t} &{}~~ 0\le t \le \pi \\ -\sqrt{-\pi t} &{} -\pi \le t \le 0 \\ \end{array} \right. \end{aligned}

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}{1-z}$$. Then g is analytic on  $${\mathbb {D}}$$ and, since $$\int _{0}^{2\pi } \mathrm {d}\theta /|1-e^{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 |1-z|$$. Therefore,

\begin{aligned} \int _{{\mathbb {T}}} |f^*|~\mathrm {d}m \lesssim \int _{{\mathbb {T}}} |g^*\circ \phi |~\mathrm {d}m=2 \int _0^\pi |g^* (e^{i \alpha (t)})|~\mathrm {d}t. \end{aligned}

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,

\begin{aligned} \int _0^\pi |g^* (e^{i \alpha (t)})|~\mathrm {d}t&\simeq \int _0^\pi |g^*(e^{is})| s~\mathrm {d}s\simeq \int _0^\pi \frac{s}{|1-e^{is}|}~\mathrm {d}s \\&\lesssim \int _0^{\pi /2}\frac{s}{\sin {s}}~\mathrm {d}s+ \int _{\pi /2}^{\pi }\frac{1}{|1-e^{is}|}~\mathrm {d}s<\infty . \end{aligned}

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

1. (i)

It is a consequence of Theorem 1.

2. (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}
3. (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}
4. (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~(1-|z|)^{p-1} ~\mathrm {d}m(z)$$, we may write

\begin{aligned} \int _{{\mathbb {D}}} |Df(z)|^p ~(1-|z|)^{p-1}~\mathrm {d}m(z)&\lesssim \int _{{\mathbb {D}}} |g'(\phi (z))|^p ~|\phi '(z)| ^p ~(1-|z|)^{p-1} ~\mathrm {d}m(z)\\&=\int _{{\mathbb {D}}} |g'(z)|^p~\mathrm {d}\mu (z). \end{aligned}

Here we also use that for a K-quasiconformal 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 ~(1-|z|)^{p-1}~\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 1-|z|$$. This combined with estimates on the integrability of the derivatives of a K-quasiconformal map (see [2, Corollary 13.2.4]) when $$p< 2K/(K-1)$$ gives us that

\begin{aligned} \mu (B)&\le \int _{{\tilde{B}}} |\phi '(z)|^p ~(1-|z|)^{p-1}~\mathrm {d}m(z) \\&\simeq r_{{\tilde{B}}}^{p-1}\int _{{\tilde{B}}}|\phi '(z)|^p ~\mathrm {d}m(z) \\&\le c(K, p)~r_{{\tilde{B}}}^{p-1}~\left( \frac{|\phi ({\tilde{B}})|}{|{\tilde{B}}|}\right) ^{\frac{p}{2}}|\tilde{B}| \lesssim r_{{\tilde{B}}}^{p-1}\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$$