Abstract
In this paper, we first establish five versions of Landau-type theorems for five classes of bounded biharmonic mappings \(F(z)=|z|^2G(z)+H(z)\) on the unit disk \({\mathbb {D}}\) with \(G(0)=H(0)=J_F(0)-1=0\), which improve the related results of earlier authors. In particular, two versions of those Landau-type theorems are sharp. Then we derive five bi-Lipschitz theorems for these classes of bounded and normalized biharmonic mappings.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \({\mathbb {D}}\)={\(z\in {\mathbb {C}}: |z|<1\)} denote the unit disk with center at the origin and radius 1. For \(r>0\), let \({\mathbb {D}}_r =\{z\in {\mathbb {C}}: |z|<r\)}. A function \(f(z)=u(z)+i v(z), z=x+i y\) is a harmonic mapping on the unit disk \({\mathbb {D}}\) if and only if F is twice continuously differentiable and satisfies the Laplacian equation
for \(z \in {\mathbb {D}}\), where the formal derivatives of f are defined by
A function \(F(z)=U(z)+i V(z)\) is a biharmonic mapping on \({\mathbb {D}}\) if and only if F is four times continuously differentiable and satisfies the biharmonic equation \(\Delta (\Delta F)=0\) for \(z \in {\mathbb {D}}\). In other words, F(z) is biharmonic on \({\mathbb {D}}\) if and only if \(\Delta F\) is harmonic on \({\mathbb {D}}.\)
It is known [1] that a mapping F is biharmonic on \({\mathbb {D}}\) if and only if F can be represented as follow:
where G(z) and H(z) are complex-valued harmonic mappings on \({\mathbb {D}}\).
In [15], it’s known that a harmonic mapping f(z) is locally univalent on \({\mathbb {D}}\) if and only if its Jacobian \(J_f(z)=|f_z|^2-|f_{\overline{z}}|^2\not =0\) for any \(z\in {\mathbb {D}}\). Since \({\mathbb {D}}\) is simply connected, f(z) can be written as \(f=h+\overline{g}\) with \(f(0)=h(0)\), h and g are analytic on \({\mathbb {D}}\). Thus, we have
For such function f, we define
and
Recall that a mapping \(\omega :{\mathbb {D}}\rightarrow \Omega \) is said to be \(L_1\)-Lipschitz (\(L_1>0\)) (\(l_1\)-co-Lipschitz (\(l_1>0\))) if
A mapping \(\omega \) is bi-Lipschitz if it is Lipschitz and co-Lipschitz (see [14]). In [13], the Lipschitz character of q.c. harmonic self-mappings of the unit disk was established with respect to the hyperbolic metric and this was generalized to an arbitrary domain in [25].
Harmonic mappings techniques have been used to study and solve fluid flow problems (see [4, 11]). For example, in 2012, Aleman and Constantin [4] developed ingenious technique to solve the incompressible two dimensional Euler equations in terms of univalent harmonic mappings. More precisely, the problem of finding all solutions which in Lagrangian variables describing the particle paths of the flow present a labelling by harmonic mappings is reduced to solve an explicit nonlinear differential system in \({\mathbb {C}}^n\) (please refer to [11]).
The classical Landau’s theorem states that if f is an analytic function on the unit disk \({\mathbb {D}} \) with \(f(0)=f^{\prime }(0)-1=0\) and \(|f(z)|<M\) for \(z\in {\mathbb {D}} \), then f is univalent in the disk \( {\mathbb {D}}_{r_0}\) with \( r_0=\frac{1}{M+\sqrt{M^2-1}}\) and \(f( {\mathbb {D}} _{r_0})\) contains a disk \(|w|<R_0\) with \(R_0=M r_0^2\). This result is sharp, with the extremal function \(f_0(z)=M z \frac{1-M z}{M-z}\). The Bloch theorem asserts the existence of a positive constant number b such that if f is an analytic function on the unit disk \({\mathbb {D}}\) with \(f^{\prime }(0)=1\), then \(f({\mathbb {D}} )\) contains a schlicht disk of radius b, that is, a disk of radius b which is the univalent image of some region on \({\mathbb {D}} \). The supremum of all such constants b is called the Bloch constant (see [6, 12]).
For harmonic mappings on \({\mathbb {D}}\), under suitable restriction, Chen, Gauthier and Hengartner [6] obtained two versions of Landau’s theorems. In 2008, Abdulhadi and Muhanna proved the following Landau-type theorem of certain bounded biharmonic mappings in [2].
Theorem A
(Abdulhadi and Muhanna [2]) Let \(f(z)=|z|^2 g(z)+h(z)\) be a biharmonic mapping of the unit disk \({\mathbb {D}}\), as in (1.1), with \(f(0)=h(0)=J_f(0)-1=0\) and \(|g(z)|\le M, \, |h(z)|\le M\) for \(z\in {\mathbb {D}}\). Then there is a constant \(0<r_1<1\) so that f is univalent in the disk \({\mathbb {D}}_{r_1}\). In specific \(r_1\) satisfies the following equation
and \(f({\mathbb {D}}_{r_1})\) contains a schlicht disk \({\mathbb {D}}_{R_1}\) with
From that on, many authors considered the Landau-type theorems for certain bounded biharmonic mappings (see [5, 7,8,9, 16, 18,19,20,21,22,23, 26]). Liu et al. improved Theorem A by establishing the following theorem.
Theorem B
(Liu [16]) Let \(F(z)=|z|^2 g(z)+h(z)\) be a biharmonic mapping of the unit disk \({\mathbb {D}}\), as in (1.1), with \(F(0)=h(0)=J_F(0)-1=0\) and \(|g(z)|\le M_1, \, |h(z)|\le M_2\) for \(z\in {\mathbb {D}}\). Then, F is univalent in the disk \({\mathbb {D}}_{r_2}\), and \(F({\mathbb {D}}_{r_2})\) contains a schlicht disk \({\mathbb {D}}_{R_2}\), where \(r_2\) is the minimum positive root of the following equation
and
where \(\lambda _0(M)\) is defined by
Chen et al. established the following theorem, which improved Theorems A and B for the case \(M_1=M_2=M\).
Theorem C
(Chen et al. [8]) Let \(F(z)=|z|^2 g(z)+h(z)\) be a biharmonic mapping of the unit disk \({\mathbb {D}}\), as in (1.1), with \(F(0)=h(0)=J_F(0)-1=0\) and \(|g(z)|\le M_1, \, |h(z)|\le M_2\) for \(z\in {\mathbb {D}}\). Then, F is univalent in the disk \({\mathbb {D}}_{r_3}\), and \(F({\mathbb {D}}_{r_3})\) contains a schlicht disk \({\mathbb {D}}_{R_3}\), where \(r_3\) is the minimum positive root of the following equation
and
Zhu et al. improved Theorems A, B and C by establishing the following theorem:
Theorem D
(Zhu and Liu [26]) Suppose that \(F(z)=|z|^{2}g(z)+h(z)\) is a biharmonic mapping in the unit disk \({\mathbb {D}}\) such that \(|g(z)|\le M_{1}\) and \(|h(z)|\le M_{2}\) for \(z\in {\mathbb {D}}\) with \(|J_{F}(0)|=1\).
(i) If \(M_2>1\) or \(M_2=1\) and \(M_1>0\), then F is univalent in the disk \({\mathbb {D}}_{r_4}\), and \(F(\mathbb {D}_{r_4})\) contains a schlicht disk \({\mathbb {D}}_{R_4}(F(0))\), where \(r_4=r_4(M_1, M_2)\) is the minimum positive root of the following equation:
and
where \(\lambda _0(M)\) is given by (1.8).
(ii) If \(M_2=1\) and \(M_1=0\), then F is univalent in \({\mathbb {D}}\) and \(F({\mathbb {D}})={\mathbb {D}}\).
For the biharmonic mappings with \(\lambda _F(0)=1\), many versions of Landau-type theorems, even sharp results have been found. In 2019, Liu and Luo proved the following sharp results.
Theorem E
(Liu and Luo [20]) Suppose that \(\Lambda _{1} \ge 0\) and \(\Lambda _{2}>1 .\) Let \(F(z)=|z|^{2} G(z)+H(z) \) be a biharmonic mapping of the unit disk \({\mathbb {D}},\) where G(z) and H(z) are harmonic in \({\mathbb {D}},\) satisfying \(G(0)=H(0)=0, \lambda _{F}(0)=1, \Lambda _{G}(z) \le \Lambda _{1}\) and \(\Lambda _{H}(z)<\Lambda _{2}\) for all \(z \in {\mathbb {D}} .\) Then F(z) is univalent on the disk \({\mathbb {D}}_{r_5}\) and \(F\left( {\mathbb {D}}_{r_5}\right) \) contains a Schlicht disk \({\mathbb {D}}_{R_5},\) where \(r_5\) is the unique root in (0, 1) of the equation
and
This result is sharp, with an extremal function given by
Theorem F
(Liu and Luo [20]) Suppose that \(\Lambda \ge 0 .\) Let \(F(z)=|z|^{2} G(z)+H(z)\) be a biharmonic mapping of \({\mathbb {D}}\), where G(z), H(z) are harmonic in \({\mathbb {D}},\) satisfying \(G(0)=H(0)=0,\) \(\lambda _F(0)=1, \Lambda _{G}(z) \le \Lambda \), and \(\Lambda _{H}(z) \le 1\) or \(|H(z)|<1\) for all \(z \in {\mathbb {D}}\). Then F is univalent on the disk \({\mathbb {D}}_{\rho _{1}}\), and \(F\left( {\mathbb {D}}_{\rho _{1}}\right) \) contains a schlicht disk \({\mathbb {D}}_{\sigma _{1}}\), where
and
This result is sharp.
It is natural raise the following.
Problem 1
If \(\lambda _F(0)=1\) is replaced by \(J_F(0)=1\) in Theorems E and F, can we obtain sharp versions of Landau-type theorems for such bounded and normalized biharmonic mappings?
Problem 2
Can we improve Theorem D?
In this paper, we first establish several new lemmas (see Lemmas 2.1, 2.2, 2.4, 2.5 and 2.9). Then, using these estimates, we prove several new versions of Landau-type theorems of bounded biharmonic mappings F(z) with \(J_F(0)=1\). In particular, the results of Theorems 3.1 and 3.2 are sharp, which gives part of affirmative answer to the first question, Theorem 3.5 improves Theorems A, B, C and D, which gives an affirmative answer to the second question. Moreover, we can verify that these biharmonic mappings F(z) are bi-Lipschitz on the univalent disks without changing the hypothesis of the theorems in Sect. 3.
2 Preliminaries
In this section, we establish some lemmas needed in the proof of the main results.
Lemma 2.1
Suppose \(\Lambda >1\). Let H(z) be a harmonic mapping of the unit disk \({\mathbb {D}}\) with \(J_{H}(0)=1\) and \(\Lambda _{H}(z)<\Lambda \) for all \(z \in {\mathbb {D}} .\) Then for all \(z_{1}, z_{2} \in \) \({\mathbb {D}}_{r}\left( 0<r<1, z_{1} \ne z_{2}\right) ,\) we have
Proof
Following the idea from [17] (see also [20, Proof of Lemma 2.2]), let \(\theta _{0}=\arg \left( z_{2}-z_{1}\right) \). Since H(z) is a harmonic mapping in the unit disk \({\mathbb {D}},\) H(z) can be written as \(H(z)=H_{1}(z)+\overline{H_{2}(z)}\) for \(z \in {\mathbb {D}},\) where \(H_{1}\) and \(H_{2}\) are analytic in \({\mathbb {D}}\). Since \(J_{H}(0)=|H_{1}^{\prime }(0)|^2-| H_{2}^{\prime }(0)|^2=1\), we have \(|H_{1}^{\prime }(0)|>| H_{2}^{\prime }(0)|\), and
where \(\Delta _{0 \le \theta \le 2 \pi }\) denotes the increment of the succeeding function as \(\theta \) increasing from 0 to 2 \(\pi .\) Thus there exists a \(\theta _{1} \in [0,2\pi ]\) such that
Since \(\Lambda _{H}(0)<\Lambda \), we have
For \(z \in {\mathbb {D}},\) let
Then \(\omega (z)\) is analytic with \(|\omega (z)| \le \Lambda _{H}(z) / \Lambda <1\) for \(z \in {\mathbb {D}}\) and
Using Schwarz–Pick Lemma, we have
Then
\(\square \)
Applying the analogous proof of Lemma 2.3 in [20], we have the following lemma.
Lemma 2.2
Suppose \(\Lambda >1 .\) Let H(z) be a harmonic mapping of the unit disk \({\mathbb {D}}\) with \(J_{H}(0)=1\) and \(\Lambda _{H}(z)<\Lambda \) for all \(z \in {\mathbb {D}} .\) Set \(\gamma =H^{-1}(\overline{o w^{\prime }})\) with \(w^{\prime } \in H\left( \partial {\mathbb {D}}_{r}\right) (0<r \le 1)\) and \(\overline{o w^{\prime }}\) denotes the closed line segment joining the origin and \(w^{\prime },\) then
Lemma 2.3
[16] Suppose that \(f(z)=h(z)+\overline{g(z)}\) is a harmonic mapping of the unit disk \({\mathbb {D}}\) with \(|f(z)|\le 1\). If \(J_{f}(0)=1\), then \(f(z)=\alpha z,\) where \(|\alpha |=1\).
Lemma 2.4
Suppose that \(f(z)=h(z)+\overline{g(z)}\) is a harmonic mapping of the unit disk \({\mathbb {D}}\) with \(J_f(0)=1\). Then \(|f(z)|\le 1\) for all \(z\in {\mathbb {D}}\) if and only if \(\Lambda _f(z)\le 1\) for all \(z\in {\mathbb {D}}\).
Proof
If \(|f(z)|\le 1\) for all \(z\in {\mathbb {D}}\), it follows from Lemma 2.3 that \(f(z)=\alpha z\), where \(|\alpha |=1\). Hence
for all \(z\in {\mathbb {D}}\). Conversely, if \(\Lambda _f(z)\le 1\) for all \(z\in {\mathbb {D}}\), then for each \(z\in {\mathbb {D}}\), we have
\(\square \)
Because of its independent interest, we establish the following estimates of coefficients of harmonic mapping f with \(f(0)=J_{f}(0)-1=0\) and \(\Lambda _{f}(z)\le \Lambda \) for all \(z\in {\mathbb {D}}\).
Lemma 2.5
Suppose that \(f(z)=h(z)+\overline{g(z)}\) is a harmonic mapping on \({\mathbb {D}}\) with \(h(z)=\sum _{n=1}^\infty a_{n}z^{n}\) and \(g(z)=\sum _{n=1}^\infty b_{n}z^{n}\) are analytic on \({\mathbb {D}}\), and \(f(0)=J_{f}(0)-1=0\), \(\Lambda _{f}(z)\le \Lambda \) for all \(z\in {\mathbb {D}}\), then \(\Lambda \ge 1\), \(|a_{1}|+|b_{1}|\le \Lambda \), and
and
When \(\Lambda =1\), then \(f(z)=a_{1}z\) with \(|a_1|=1\).
Proof
Since \(J_{f}(0)=(|a_{1}|+|b_1|)(|a_{1}|-|b_{1}|)=1\) and \(\Lambda _{f}(z)\le \Lambda \) for all \(z\in {\mathbb {D}}\), we have
which implies that \(\Lambda \ge 1\),
and
Fixed \(n\in {\mathbb {N}}-\{1\}=\{2,3,\ldots \}\), we choose a real number \(\alpha \) such that \(|a_n+e^{i\alpha }b_n|=|a_n|+|b_n|\), and set
Since g(z) and h(z) are analytic and \(\Lambda _{f}(z)=|h'(z)|+|g'(z)|\le \Lambda \) on \({\mathbb {D}}\), we get F(z) is analytic and \(|F(z)|\le \frac{|h'(z)|+|g'(z)|}{\Lambda }\le 1\) on \({\mathbb {D}}\). By Lemma 1.3 in [16] and (2.5), we have
for \(k=2,3,\ldots .\) In particular, we have
which implies that
When \(\Lambda =1\), we have \(|a_{n}|+|b_{n}|\le \frac{\Lambda ^{4}-1}{n\Lambda ^3}=0\) for \(n=2,3,\ldots ,\) which implies \(a_{n}=b_{n}=0\) for \(n=2,3,\ldots \).
Since \(0\le |a_{1}|-|b_{1}|\le |a_{1}|+|b_{1}|\le 1\) and \(J_f(0)=(|a_{1}|-|b_{1}|)(|a_{1}|+|b_{1}|)=1\), we have \(|a_{1}|-|b_{1}|=|a_{1}|+|b_{1}|=1\). Hence \(|a_1|=1,\, b_1=0\), and \(f(z)=a_{1}z\) with \(|a_1|=1\). \(\square \)
Lemma 2.6
[3, 16, 26] Let \(f(z)=h(z)+\overline{g(z)}=\sum _{n=1}^{\infty }a_{n} z^{n}+\overline{\sum _{n=1}^{\infty }b_{n}z^{n}}\) be a harmonic mapping on the unit disk \({\mathbb {D}}.\)
-
(i)
If \(|f(z)|<M\), then
$$\begin{aligned} \sum _{n=1}^{\infty }\left( \left| a_{n}\right| +\left| b_{n}\right| \right) ^{2} \le 2 M^{2}. \end{aligned}$$ -
(ii)
If \(J_{f}(0)=1\) and \(|f(z)|<M\), then
$$\begin{aligned} \sqrt{\sum _{n=2}^{\infty }\left( \left| a_{n}\right| +\left| b_{n}\right| \right) ^{2}} \le \sqrt{M^{4}-1} \cdot \lambda _{f}(0), \end{aligned}$$and \(\lambda _f(0)\ge \lambda _0(M)\), where \(\lambda _0(M)\) is given by (1.8).
Applying the analogous proof of Lemma 2.5 in [20], we have the following lemma.
Lemma 2.7
Suppose \(\Lambda \ge 0\). Let \(F(z)=a \Lambda |z|^{2} z+b z\) be a biharmonic mapping of the unit disk \({\mathbb {D}}\) with \(|a|=|b|=1 .\) Then F is univalent on the disk \({\mathbb {D}}_{\rho _{1}}\), and \(F\left( {\mathbb {D}}_{\rho _{1}}\right) \) contains a Schlicht disk \({\mathbb {D}}_{\sigma _{1}}\), where \(\rho _1\) and \(\sigma _1\) are given by (1.16) and (1.17) respectively. This result is sharp.
Lemma 2.8
[20] Let \(F(z)=|z|^{2} G(z)+H(z)\) be a biharmonic mapping of the unit disk \({\mathbb {D}}\) with \(G(0)=H(0)=0\) and \(\Lambda _{G}(z) \le \Lambda \) for all \(z \in {\mathbb {D}},\) where \(G(z)=G_{1}(z)+\overline{G_{2}(z)}=\sum _{n=1}^{\infty } a_{n} z^{n}+\sum _{n=1}^{\infty } \overline{b_{n}} \bar{z}^{n}, H(z)=H_{1}(z)+\overline{H_{2}(z)}=\) \(\sum _{n=1}^{\infty } c_{n} z^{n}+\sum _{n=1}^{\infty } \overline{d_{n}} \bar{z}^{n}\) are harmonic mappings on \({\mathbb {D}} .\) Then for all \(z_{1}, z_{2} \in \) \({\mathbb {D}}_{r}(0<r<1)\) with \(z_{1} \ne z_{2},\) we have
Lemma 2.9
Let \(F(z)=|z|^{2} G(z)+H(z)\) be a biharmonic mapping of the unit disk \({\mathbb {D}}\) with \(G(0)=H(0)=0\) and \(\Lambda _{G}(z) \le \Lambda \) for all \(z \in {\mathbb {D}},\) where \(G(z)=G_{1}(z)+\overline{G_{2}(z)}=\sum _{n=1}^{\infty } a_{n} z^{n}+\sum _{n=1}^{\infty } \overline{b_{n}} \bar{z}^{n}, H(z)=H_{1}(z)+\overline{H_{2}(z)}=\) \(\sum _{n=1}^{\infty } c_{n} z^{n}+\sum _{n=1}^{\infty } \overline{d_{n}} \bar{z}^{n}\) are harmonic mappings on \({\mathbb {D}} .\) Then for all \(z_{1}, z_{2} \in \) \({\mathbb {D}}_{r}(0<r<1)\) with \(z_{1} \ne z_{2},\) we have
Proof
For any \(z_{1}, z_{2} \in {\mathbb {D}}_{r}\left( 0<r<1, z_{1} \ne z_{2}\right) ,\) we have
and
This completes the proof of the lemma. \(\square \)
Lemma 2.10
[24] Let G(z) be a harmonic mapping of the unit disk \({\mathbb {D}}\) with \(G(0)=0\) and \(|G(z)|\le M\). Then for all \(z_{1}, z_{2} \in {\mathbb {D}}_{r}(0<r<1)\) with \(z_{1} \ne z_{2}\), we have
Lemma 2.11
[6] Let G be a harmonic mapping of the unit disk \({\mathbb {D}}\) with \(G(0)=0\) and \(G({\mathbb {D}})\subset {\mathbb {D}}\). Then
Lemma 2.12
[10] Suppose that \(f(z)=f_1(z)+\overline{f_2(z)}\) is a harmonic mapping with \(f_1(z)=\sum _{n=0}^{\infty }a_nz^n\) and \(f_2(z)=\sum _{n=1}^{\infty }b_nz^n\) being analytic in \( {\mathbb {D}} \). If \(|f(z)|\le M\) for all \(z\in {\mathbb {D}}\), then
3 Landau-type theorems of biharmonic mappings
We first prove a new version of Landau-type theorem for biharmonic mappings F(z) under the assumptions \(G(0)=H(0)=J_{F}(0)-1=0, \Lambda _{G}(z) \le \Lambda _{1}\) and \(\Lambda _{H}(z)<\Lambda _{2}\) for all \(z \in {\mathbb {D}}\), which is one of the main results in this paper.
Theorem 3.1
Suppose that \(\Lambda _{1} \ge 0\) and \(\Lambda _{2}>1 .\) Let \(F(z)=|z|^{2} G(z)+H(z) \) be a biharmonic mapping of the unit disk \({\mathbb {D}},\) where G(z) and H(z) are harmonic on \({\mathbb {D}},\) satisfying \(G(0)=H(0)=J_{F}(0)-1=0, \Lambda _{G}(z) \le \Lambda _{1}\) and \(\Lambda _{H}(z)<\Lambda _{2}\) for all \(z \in {\mathbb {D}}\). Then \(\frac{1}{\Lambda _2}<\lambda _{F}(0)\le 1\), F(z) is univalent on the disk \({\mathbb {D}}_{\rho _{0}}\) and \(F\left( {\mathbb {D}}_{\rho _{0}}\right) \) contains a schlicht disk \({\mathbb {D}}_{\sigma _{0}}\), where \(\rho _{0}\) is the unique root in (0, 1) of the equation
and
This result is sharp for the biharmonic mapping given by (1.15).
Proof
We first prove that F is univalent in the disk \({\mathbb {D}}_{\rho _{0}}\). Indeed, for all \(z_{1}, z_{2} \in {\mathbb {D}}_{r}\, (0<r<\rho _{0})\) with \(z_{1} \ne z_{2}\), note that \(J_{H}(0)=J_{F}(0)=1\) and \(\Lambda _{H}(z)<\Lambda _{2}\) for all \(z \in {\mathbb {D}}\), we obtain from (2.4), (2.9) and Lemma 2.1 that
and
It is easy to verify that the function
is continuous and strictly decreasing on \([0,1], g_{0}(0)=\lambda _{H}(0)>\frac{1}{\Lambda _2}>0,\) and
Therefore, by the mean value theorem, there is a unique real \(\rho _{0} \in (0,1)\) such that \(g_{0}\left( \rho _{0}\right) =0 .\) Then, for any \(z_{1}, z_{2} \in \) \({\mathbb {D}}_{r}\left( 0<r<\rho _{0}\right) \) with \(z_{1} \ne z_{2}\), we obtain that
This implies \(F\left( z_{1}\right) \ne F\left( z_{2}\right) ,\) which proves the univalence of F in the disk \({\mathbb {D}}_{\rho _{0}}.\)
Next, we prove that \(\sigma _{0}>0\) and \(F\left( {\mathbb {D}}_{\rho _{0}}\right) \supseteq {\mathbb {D}}_{\sigma _{0}}\).
In fact, considering the real differentiable function
Since the continuous function
is strictly decreasing on [0, 1] and \(h'(\rho _0)=g_0(\rho _0)=0\), we see that \(h'(x)=0\) for \(x\in [0,1]\) if and only if \(x=\rho _0\). Thus h(x) is strictly increasing on \([0,\rho _0]\) and strictly decreasing on \([\rho _0, 1]\). Since \(h(0)=0\), we have
In addition, note that \(F(0)=0\), for any \(z\in \partial {\mathbb {D}}_{\rho _{0}}\), taking \(z_0=\rho _0e^{i\theta } \in \partial {\mathbb {D}}_{\rho _{0}}\) with \(w_0=F\left( z_0\right) \in F\left( \partial {\mathbb {D}}_{\rho _{0}}\right) \) and \(\left| w_0\right| =\min \left\{ |w|: w \in F\left( \partial {\mathbb {D}}_{\rho _{0}}\right) \right\} \). Let \(\gamma =F^{-1}(\overline{o w})\), by Lemma 2.2 and (2.9), we have
which implies that \(F\left( {\mathbb {D}}_{\rho _{0}}\right) \supseteq {\mathbb {D}}_{\sigma _{0}}\).
Now, we prove the sharpness of \(\rho _0\) and \(\sigma _0\) for the biharmonic mapping \(F_0(z)\) given by (1.15). In fact, it is easy to verify that \(F_0(z)\) satisfies the hypothesis of Theorem 3.1, and thus, we have that \(F_0(z)\) is univalent in the disk \(\mathbb {D}_{\rho _0}\), and \(F_0(\mathbb {D}_{\rho _0}) \supseteq \mathbb {D}_{\sigma _0}\).
Note that for the biharmonic mapping \(F_0(z)\), \(\lambda _{H}(0)=\lambda _{F}(0)=J_F(0)=1\), the Eqs. (3.1), (3.2) reduce to (1.13) and (1.14) respectively. Thus we obtain \(\rho _0=r_5\) and \(\sigma _0=R_5\). By Theorem E, we conclude that \(\rho _0\) and \(\sigma _0\) are sharp. This completes the proof. \(\square \)
Now we give an example to show that for each a value \(\alpha \in (1/\Lambda _2,\, 1)\), there exits a biharmonic mapping F satisfying the hypothesis of Theorem 3.1 such that \(\lambda _{F}(0)=\alpha \).
Example 3.1
Suppose that \(\Lambda _{1} \ge 0\), \(\Lambda _{2}>1\) and \(\alpha \in (1/\Lambda _2,\, 1)\). Let \(|a|=1, |b|=\frac{1}{2}(1/\alpha -\alpha )\), and
Consider the biharmonic mapping
Then F(z) satisfies the hypothesis of Theorem 3.1, \(\lambda _{F}(0)=\alpha \), F(z) is univalent on \({\mathbb {D}}_{\rho _{0}''}\), and \(F({\mathbb {D}}_{\rho _{0}''})\) contains a Schlicht disk \({\mathbb {D}}_{\sigma _{0}''}\), where
and
and when \(\arg c =\pi - \arg \frac{b}{a}\), this result is sharp.
Proof
Set \(G(z)=a\Lambda _{1} |z|^2z, H(z)=b(cz+{\overline{z}})\). Direct computation yields
and \(J_{F}(0)=|b|^2(|c|^2-1)=1\), thus F(z) satisfies the hypothesis of Theorem 3.1, and
Applying the analogous proof of Lemma 2.5 in [20] (please also refer to example 2.1 in [3]), we may verify that if \(\Lambda _{1}\le \frac{\alpha }{3}\), then F(z) is univalent on \({\mathbb {D}},\) and \(F({\mathbb {D}})\) contains a Schlicht disk \({\mathbb {D}}_{\sigma _{0}''}\), where
If \(\Lambda _{1}>\frac{\alpha }{3},\) then F(z) is univalent on \({\mathbb {D}}_{\rho _{0}''}\), and \(F({\mathbb {D}}_{\rho _{0}''})\) contains a Schlicht disk \({\mathbb {D}}_{\sigma _{0}''},\), where
and when \(\arg c =\pi - \arg \frac{b}{a}\), the radii \(\rho _{0}''\) and \(\sigma _{0}''\) are sharp. \(\square \)
Remark 3.1
For the biharmonic mapping F(z) of the unit disk \({\mathbb {D}}\) with \(J_{F}(0)=1\) and \(\Lambda _{H}(z) \le \Lambda _{2}\), it follows from Lemma 2.5 that \(\Lambda _{2} \ge 1\). Theorem 3.1 provides a sharp version of Landau-type theorem of biharmonic mappings for the case \(J_F(0)=1, \Lambda _{1} \ge 0\) and \(\Lambda _{2}>1\). If \(J_F(0)=1, \Lambda _{1} \ge 0\) and \(\Lambda _{2}=1\), then we prove Theorem 3.2 using Lemmas 2.3, 2.4 and 2.7, which is the sharp version of Landau-type theorem of biharmonic mappings and is also one of the main results in this paper.
Theorem 3.2
Suppose that \(\Lambda \ge 0\). Let \(F(z)=|z|^{2} G(z)+H(z)\) be a biharmonic mapping of \({\mathbb {D}},\) where G(z), H(z) are harmonic on \({\mathbb {D}},\) satisfying \(G(0)=H(0)=J_F(0)-1=0\), \( \Lambda _{G}(z) \le \Lambda \) and \(\Lambda _H(z)\le 1\) or \(|H(z)|\le 1\) for all \(z \in {\mathbb {D}}\). Then F is univalent on the disk \({\mathbb {D}}_{\rho _{1}}\), and \(F\left( {\mathbb {D}}_{\rho _{1}}\right) \) contains a Schlicht disk \({\mathbb {D}}_{\sigma _{1}}\), where \(\rho _1\) and \(\sigma _1\) are given by (1.16) and (1.17) respectively. This result is sharp.
Proof
Because \(F(z)=|z|^{2} G(z)+H(z)\) satisfies the hypothesis of Theorem 3.2, where \(G(z)=G_{1}(z)+\overline{G_{2}(z)}\) and \(H(z)=H_{1}(z)+\overline{H_{2}(z)}\) with \(G_{1}(z)=\sum _{n=1}^{\infty } a_{n} z^{n}, G_{2}(z)=\sum _{n=1}^{\infty } b_{n} z^{n}\) and \(H_{1}(z)=\sum _{n=1}^{\infty } c_{n} z^{n}, H_{2}(z)=\) \(\sum _{n=1}^{\infty } d_{n} z^{n}\) are analytic on \({\mathbb {D}}\). Then
By the hypothesis of Theorem 3.2 and Lemmas 2.3 and 2.4, we have
Now we prove that F is univalent in the disk \({\mathbb {D}}_{\rho _{1}}\), where
To this end, for any \(z_{1}, z_{2} \in \) \({\mathbb {D}}_{r}\left( 0<r<\rho _{1}\right) \) with \(z_{1} \ne z_{2}\), by (3.4), we have
Then, we have \(F\left( z_{1}\right) \ne F\left( z_{2}\right) ,\) which proves the univalence of F in the disk \({\mathbb {D}}_{\rho _{1}}\).
Noting that \(F(0)=0,\) for any \(z=\rho _{1} e^{i \theta } \in \partial {\mathbb {D}}_{\rho _{1}}\), we have
Hence, \(F\left( {\mathbb {D}}_{\rho _{1}}\right) \) contains a schlicht disk \({\mathbb {D}}_{\sigma _{1}}.\)
Finally, for \(F(z)=a_{1} \Lambda |z|^{2} z+c_1 z\) with \(\left| a_{1}\right| =\left| c_{1}\right| =1,\) we have \(G(z)=\) \(a_{1} \Lambda z, H(z)=c_1 z.\) Direct computation yields
and \(|H(z)|=|c_1 z| \le 1\) for all \(z \in {\mathbb {D}}\). Applying Lemma 2.7, we obtain that the radii \(\rho _{1}\) and \(\sigma _{1}\) are sharp. This completes the proof. \(\square \)
Next, we establish another new version of Landau-type theorem for biharmonic mappings F(z) under the assumptions \(G(0)=H(0)=J_{F}(0)-1=0, \Lambda _{G}(z) \le \Lambda \) and \(|H(z)|\le M, (M>1)\) for all \(z \in {\mathbb {D}}\).
Theorem 3.3
Suppose that \(\Lambda \ge 0,\, M>1\). Let \(F(z)=|z|^{2} G(z)+H(z)\) be a biharmonic mapping of \({\mathbb {D}},\) where G(z), H(z) are harmonic on \({\mathbb {D}},\) satisfying \(G(0)=H(0)=J_F(0)-1=0\), \( \Lambda _{G}(z) \le \Lambda \) and \(|H(z)|\le M\) for all \(z \in {\mathbb {D}}\). Then F is univalent on the disk \({\mathbb {D}}_{\rho _2}\), where \(\rho _{2}\) is the minimum positive root in (0, 1) of the equation
and \(F\left( {\mathbb {D}}_{\rho _{2}}\right) \) contains a Schlicht disk \({\mathbb {D}}_{\sigma _{2}},\) where
where \(\lambda _0(M)\) is given by (1.8).
Proof
By the hypothesis of Theorem 3.3, we can assume that
Since \(J_{H}(0)=J_{F}(0)=1\) and \(|H(z)|\le M\), by Lemma 2.6, we have
and \(\lambda _H(0)\ge \lambda _0(M),\) where \(\lambda _0(M)\) is given by (1.8).
Now we prove that F is univalent in the disk \({\mathbb {D}}_{\rho _{2}}.\) For all \(z_{1}, z_{2} \in \) \({\mathbb {D}}_{r}\left( 0<r<\rho _{2}, z_{1} \ne z_{2}\right) ,\) we obtain from Lemmas 2.8 and 2.6 that
Then, we have \(F\left( z_{1}\right) \ne F\left( z_{2}\right) ,\) which proves the univalence of F in the disk \({\mathbb {D}}_{\rho _{2}}\).
Noting that \(F(0)=0,\) for any \(z=\rho _{2} e^{i \theta } \in \partial {\mathbb {D}}_{\rho _{2}}\), by (2.9), we have
Hence, \(F\left( {\mathbb {D}}_{\rho _{2}}\right) \) contains a schlicht disk \({\mathbb {D}}_{\sigma _{2}}.\) This completes the proof (Table 1). \(\square \)
Now, we will consider the Landau-type theorem for the case \(|G(z)|\le M,\, \Lambda _H(z)<\Lambda .\)
Theorem 3.4
Suppose that \(M\ge 0, \Lambda \ge 1\), \(F(z)=|z|^2G(z)+H(z)\) is a biharmonic mapping on the unit disk \({\mathbb {D}}\), where G(z), H(z) are harmonic mappings on \({\mathbb {D}}\), satisfying \(G(0)=H(0)=J_F(0)-1=0\) and \(|G(z)|\le M, \, \Lambda _H(z)<\Lambda \) for \(z\in {\mathbb {D}}\).
-
(i)
If \(M\ge 0, \Lambda >1\) or \(M>0, \Lambda =1\), then F(z) is univalent on \({\mathbb {D}}_{\rho _3} \), where \(\rho _{3}\) is the minimum positive root in (0, 1) of the equation
$$\begin{aligned} \frac{\Lambda (1-\Lambda ^2 r)}{\Lambda ^2-r}-\frac{4M}{\pi }\frac{3r^2-2r^4}{1-r^2}=0, \end{aligned}$$(3.12)and \( F({\mathbb {D}}_{\rho _3})\) contains a Schlicht disk \({\mathbb {D}}_{\sigma _3}\), where
$$\begin{aligned} \sigma _{3}=\Lambda ^{3} \rho _{3}+\left( \Lambda ^{5}-\Lambda \right) \ln \left( 1-\frac{\rho _{3}}{\Lambda ^2}\right) - \frac{4M}{\pi }\rho _3^3. \end{aligned}$$(3.13) -
(ii)
If \(M=0, \Lambda =1\), then F(z) is univalent on \({\mathbb {D}}\) and \(F({\mathbb {D}})= {\mathbb {D}}\).
Proof
(i) Note that \(J_{H}(0)=J_{F}(0)=1\), we split into two case to prove.
Case 1. When \(M\ge 0, \Lambda >1\). We first prove that F is univalent on the disk \({\mathbb {D}}_{\rho _{3}}\). To this end, for all \(z_{1}, z_{2} \in \) \({\mathbb {D}}_{r} \left( 0<r<\rho _{3}, z_{1} \ne z_{2}\right) \), we obtain from Lemmas 2.1 and 2.10 that
Since \(\Lambda \frac{\lambda _{H}(0)-\Lambda r}{\Lambda -\lambda _{H}(0)r}\) is continuous and increasing about \(\lambda _{H}(0)\) and by (3.3), we have
This shows that F is univalent on the disk \({\mathbb {D}}_{\rho _{3}}\).
Next, we prove \(F({\mathbb {D}}_{\rho _3})\supset \mathbb {{\mathbb {D}}}_{\sigma _3}\). For \(z=\rho _3e^{i\theta }\in \partial {\mathbb {D}}_{\rho _3}\), by Lemmas 2.2 and 2.11, we have
Case 2. When \(M>0, \Lambda =1\). Using Lemma 2.5, we have
Similarly, we first prove that F is univalent on the disk \({\mathbb {D}}_{\rho _{3}}\). In fact, for all \(z_{1}, z_{2} \in {\mathbb {D}}_{r}\left( 0<r<\rho _{3}, z_{1} \ne z_{2}\right) \), we have
This shows that F is univalent on the disk \({\mathbb {D}}_{\rho _{3}}\).
Next, we prove \(F({\mathbb {D}}_{\rho _3})\supset \mathbb {{\mathbb {D}}}_{\sigma _3}\). For \(z=\rho _3e^{i\theta }\in \partial {\mathbb {D}}_{\rho _3}\), by Lemma 2.11, we have
Hence, \(F\left( {\mathbb {D}}_{\rho _{3}}\right) \) contains a Schlicht disk \({\mathbb {D}}_{\sigma _{3}}.\)
Now we prove (ii). If \(M=0, \Lambda =1\), by Lemma 2.5, we have
It’s easy to verify that F(z) is univalent on the unit disk \({\mathbb {D}}\), and \(F({\mathbb {D}})={\mathbb {D}}\). This completes the proof (Table 2). \(\square \)
Finally, we improve Theorem D as follows.
Theorem 3.5
Suppose that \(M_1\ge 0, M_2\ge 1\), \(F(z)=|z|^2G(z)+H(z)\) is a biharmonic mapping on the unit disk \({\mathbb {D}}\), where G(z), H(z) are harmonic mappings on \({\mathbb {D}}\), satisfying \(G(0)=H(0)=J_F(0)-1=0\) and \(|G(z)|\le M_1\), \(|H(z)|\le M_2\) for \(z\in {\mathbb {D}}\).
-
(i)
If \(M_1\ge 0, M_2>1\) or \(M_1>0, M_2=1\), then F(z) is univalent on \({\mathbb {D}}_{\rho _4} \), where \(\rho _{4}\) is the minimum positive root in (0, 1) of the equation
$$\begin{aligned} \lambda _0(M_2)-\lambda _{0}(M_2) \sqrt{M_2^{4}-1} \sqrt{\frac{4 r^{2}-3 r^{4}+r^{6}}{\left( 1-r^{2}\right) ^{3}}}-\frac{4M_1}{\pi }\frac{3r^2-2r^4}{1-r^2}=0,\qquad \end{aligned}$$(3.14)and \(F\left( {\mathbb {D}}_{\rho _{4}}\right) \) contains a Schlicht disk \({\mathbb {D}}_{\sigma _{4}},\) where
$$\begin{aligned} \sigma _{4}=\lambda _{0}(M_2)\rho _4-\lambda _{0}(M_2) \sqrt{M_2^{4}-1}\frac{\rho _4^{2}}{\sqrt{1-\rho _4^{2}}}-\frac{4M_1}{\pi }\rho _4^3, \end{aligned}$$(3.15)where \(\lambda _0(M)\) is given by (1.8).
-
(ii)
If \(M_1=0, M_2=1\), then F(z) is univalent on \({\mathbb {D}}\) and \(F({\mathbb {D}}) = {\mathbb {D}}\).
Proof
By the hypothesis of Theorem 3.5, we can assume that
Since \(|H(z)|\le M_2\) and \(J_{H}(0)=J_{F}(0)=1,\) by Lemma 2.6, we have
and \(\lambda _H(0)\ge \lambda _0(M_2)\), where \(\lambda _0(M_2)\) is given by (1.8).
Now we prove that F is univalent in the disk \({\mathbb {D}}_{\rho _{4}}.\) For all \(z_{1}, z_{2} \in \) \({\mathbb {D}}_{r}\left( 0<r<\rho _{4}, z_{1} \ne z_{2}\right) \), by Lemma 2.10, we have
Then, we have \(F\left( z_{1}\right) \ne F\left( z_{2}\right) ,\) which proves the univalence of F in the disk \({\mathbb {D}}_{\rho _{4}}\).
Noting that \(F(0)=0,\) for any \(z=\rho _{4} e^{i \theta } \in \partial {\mathbb {D}}_{\rho _{4}}\), by Lemmas 2.6 and 2.11, we have
Hence, \(F\left( {\mathbb {D}}_{\rho _{4}}\right) \) contains a schlicht disk \({\mathbb {D}}_{\sigma _{4}}.\)
Finally, if \(M_1=0, M_2=1\), then by Lemma 2.3, we have
It is evident that F(z) is univalent on \({\mathbb {D}}\), and \(F({\mathbb {D}})={\mathbb {D}}\). This completes the proof.
\(\square \)
Remark 3.2
Note that for \(r=\rho _4\), we have
it is easy to verify that \(\rho _4>r_4,\, \sigma _4>R_4\), where \(r_4, R_4\) are given in Theorem D, please also see Table 3.
The Computer Algebra System Mathematica has calculated the numerical solutions to Eqs. (1.11) and (3.14). From Table 3 as follow, it is easy to see that the result of Theorem 3.5 is better than that of Theorem D. From Table 1, Table 2 and Table 3, it is easy to see that both of the result of Theorem 3.3 and that of Theorem 3.4 are better than that of Theorem 3.5.
4 The bi-Lipschitz theorems of biharmonic mappings
In this section, we will establish the Lipschitz characters of certain biharmonic mappings in their univalent disks.
Theorem 4.1
Suppose F(z) satisfies the hypothesis of Theorem 3.1. Then for each \(r_0\in (0, \rho _0)\), the biharmonic mapping F(z) is bi-Lipschitz on \(\overline{{\mathbb {D}}}_{r_0}\), where \(\rho _{0}\) is given by (3.1).
Proof
Fixed \(r_0\in (0, \rho _0)\), set
Then, for any \(z_{1}, z_{2} \in \overline{{\mathbb {D}}}_{r_0}\), it follows from the proof of Theorem 3.1 and Lemma 2.9 that \(l_{0}>g_0(\rho _0)=0\), and
Hence f is bi-Lipschitz on \(\overline{{\mathbb {D}}}_{r_0}\). \(\square \)
By means of Theorems 3.2–3.5 and Lemmas 2.9 and 2.12, using the analogous proof of Theorem 4.1, we have the following four theorems.
Theorem 4.2
Suppose F(z) satisfies the hypothesis of Theorem 3.2. Then for each \(r_1\in (0, \rho _1)\), the biharmonic mapping F(z) is bi-Lipschitz on \(\overline{{\mathbb {D}}}_{r_1}\), i.e. for any \(z_{1}, z_{2} \in \overline{{\mathbb {D}}}_{r_1}\), there exists \(l_{1}=1-3 \Lambda r_1^{2}>0\) such that
where \(\rho _1\) is given by (1.16).
Theorem 4.3
Suppose F(z) satisfies the hypothesis of Theorem 3.3. Then for each \(r_2\in (0, \rho _2)\), the biharmonic mapping F(z) is bi-Lipschitz on \(\overline{{\mathbb {D}}}_{r_2}\), i.e. for any \(z_{1}, z_{2} \in \overline{{\mathbb {D}}}_{r_2}\), there exists
such that
where \(\rho _2\) is given by (3.10) and \(\lambda _0(M)\) is given by (1.8).
Theorem 4.4
Suppose F(z) satisfies the hypothesis of Theorem 3.4. Then for each \(r_3\in (0, \rho _3)\), the biharmonic mapping F(z) is bi-Lipschitz on \(\overline{{\mathbb {D}}}_{r_3}\), i.e. for any \(z_{1}, z_{2} \in \overline{{\mathbb {D}}}_{r_3}\), there exists
such that
where \(\rho _3\) is given by (3.12).
Theorem 4.5
Suppose F(z) satisfies the hypothesis of Theorem 3.5. Then for each \(r_4\in (0, \rho _4)\), the biharmonic mapping F(z) is bi-Lipschitz on \(\overline{{\mathbb {D}}}_{r_4}\), i.e. for any \(z_{1}, z_{2} \in \overline{{\mathbb {D}}}_{r_4}\), there exists
such that
where \(\rho _4\) is given by (3.14) and \(\lambda _0(M_2)\) is given by (1.8).
Data Availability Statement
The authors declare that this research is purely theoretical and does not associate with any datas.
References
Abdulhadi, Z., Muhanna, Y.Abu, Khuri, S.: On univalent solutions of the Biharmonic equations. J. Inequal. Appl. 2005(5), 469–478 (2005)
Abdulhadi, Z., Muhanna, Y.Abu: Landau’s theorem for biharmonic mappings. J. Math. Anal. Appl. 338, 705–709 (2008)
Aghalary, R., Mohammadian, A., Jahangiri, J.: Landau–Bloch theorems for bounded biharmonic mappings. Filomat 33(14), 4593–4601 (2019)
Aleman, A., Constantin, A.: Harmonic maps and ideal fluid flows. Arch. Ration. Mech. Anal. 204, 479–513 (2012)
Bai, X.X., Liu, M.S.: Landau-type theorems of polyharmonic mappings and log-\(p\)-harmonic mappings. Complex Anal. Oper. Theory 13(2), 321–340 (2019)
Chen, H.H., Gauthier, P.M., Hengartner, W.: Bloch constants for planar harmonic mappings. Proc. Am. Math. Soc. 128, 3231–3240 (2000)
Chen, Sh, Ponnusamy, S., Wang, X.: Landau’s theorems for certain biharmonic mappings. Appl. Math. Comput. 208(2), 427–433 (2009)
Chen, Sh, Ponnusamy, S., Wang, X.: Coecient estimates and Landau–Bloch’s constant for planar harmonic mappings. Bull. Malays. Math. Sci. Soc. 34(2), 255–265 (2011)
Chen, Sh, Ponnusamy, S., Wang, X.: Properties of some classes of planar harmonic and planar biharmonic mappings. Complex Anal. Oper. Theory 5, 901–916 (2011)
Colonna, F.: The Bloch constant of bounded harmonic mappings. Indiana Univ. Math. J. 38(4), 829–840 (1989)
Constantin, O., Martin, M.J.: A harmonic maps approach to fluid flows. Math. Ann. 369, 1–16 (2017)
Graham, I., Kohr, G.: Geometric Function Theory in One and Higher Dimensions. Marcel Dekker Inc, New York (2003)
Knežević, M., Mateljević, M.: On the quasi-isometries of harmonic quasiconformal mappings. J. Math. Anal. Appl. 334(1), 404–413 (2007)
Kalaj, D., Pavlović, M.: On quasiconformal self-mappings of the unit disk satisfying Poissons equation. Trans. Am. Math. Soc. 363(8), 4043–4061 (2011)
Lewy, H.: On the non-vanishing of the Jacobian in certain one-to-one mappings. Bull. Am. Math. Soc. 42, 689–692 (1936)
Liu, M.S.: Landau’s theorems for biharmonic mappings. Complex Var. Elliptic Equ. 53(9), 843–855 (2008)
Liu, M.S., Chen, H.H.: The Landau–Bloch type theorems for planar harmonic mappings with bounded dilation. J. Math. Anal. Appl. 468(2), 1066–1081 (2018)
Liu, M.S., Liu, Z.W., Zhu, Y.C.: Landau’s theorems for certain biharmonic mappings. Acta Math. Sin. Chin. Ser. 54(1), 69–80 (2011). arXiv:1511.04642
Liu, M.S., Liu, Z.X.: Laudau-type theorems for p-harmonic mappings or log-p-harmonic mappings. Appl. Anal. 51(1), 81–87 (2014)
Liu, M.S., Luo, L.F.: Landau-type theorems for certain bounded biharmonic mappings. Results Math., 74, Art. 170 (2019)
Liu, M.S., Luo, L.F., Luo, X.: Landau–Bloch type theorems for strongly bounded harmonic mappings. Monatshefte für Mathematik 191(1), 175–185 (2020)
Liu, M.S., Liu, Z.X., Xu, J.F.: Landau-type theorems for certain biharmonic mappings. Abstr. Appl. Anal., Article ID 925947, 7 pages (2014). https://doi.org/10.1155/2014/925947
Liu, M.S., Xie, L., Yang, L.M.: Landau’s theorems for biharmonic mappings(II). Math. Methods Appl. Sci. 40, 2582–2595 (2017)
Luo, X., Liu, M.S.: Landau–Bloch type theorems for certain biharmonic mappings. Complex Var. Elliptic Equ. (2019). https://doi.org/10.1080/17476933.2019.1701665
Mateljević, M., Vuorinen, M.: On harmonic quasiconformal quasi-isometries. J. Inequal. Appl., Art. ID 178732 (2010)
Zhu, Y.C., Liu, M.S.: Landau-type theorems for certain planar harmonic mappings or biharmonic mappings. Complex Var. Elliptic Equ. 58(12), 1667–1676 (2013)
Acknowledgements
This research of the second author is partly supported by Guangdong Natural Science Foundations (Grant No. 2018A030313508).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest, regarding the publication of this paper.
Additional information
Communicated by Adrian Constantin.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Chen, SF., Liu, MS. Landau-type theorems and bi-Lipschitz theorems for bounded biharmonic mappings. Monatsh Math 193, 783–806 (2020). https://doi.org/10.1007/s00605-020-01440-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00605-020-01440-5