Research Article  Open Access
LandauType Theorems for Certain Biharmonic Mappings
Abstract
Let be a biharmonic mapping of the unit disk , where and are harmonic in . In this paper, the Landautype theorems for biharmonic mappings of the form are provided. Here represents the linear complex operator defined on the class of complexvalued functions in the plane. The results, presented in this paper, improve the related results of earlier authors.
1. Introduction
Suppose that is a four times continuously differentiable complexvalued function in a domain . If satisfies the biharmonic equation , then we call that is biharmonic, where represents the Laplacian operator:
Biharmonic functions arise in many physical situations, particularly in fluid dynamics and elasticity problems, and have many important applications in engineering (see [1] for details). It is known that a mapping is biharmonic in a simply connected domain if and only if has the following representation: where and are complexvalued harmonic functions in [1]. Also, it is known that and can be expressed as where , , , and are analytic in [2, 3].
For a continuously differentiable mapping in , we define We use to denote the Jacobian of Then if .
In [4], the authors considered the following differential operator defined on the class of complexvalued functions:
Evidently, is a complex linear operator and satisfies the usual product rule: where and are complex constants; and are functions. In addition, the operator possesses a number of interesting properties. For instance, it is easy to see that the operator preserves both harmonicity and biharmonicity. Many other basic properties are stated in [4].
Landauâ€™s theorem states that if is an analytic function on the unit disk with and for , then is univalent in the disk with , and contains a disk with . This result is sharp, with the extremal function . Recently, many authors considered the Landautype theorems for harmonic mappings [5â€“9] and biharmonic mappings [1, 4, 10â€“13]. Chen et al. [10] obtained the Landautype theorems for biharmonic mappings of the form as follows.
Theorem A (see [10]). Let be a biharmonic mapping of the unit disk such that and , where and are harmonic in . Assume that both and are bounded by . Then there is a constant such that is univalent in , where satisfies the following equation: where is the minimum value of the function for . The minimum is attained at . Moreover, the range contains a schlicht disk , where
Theorem B (see [10]). Let be a biharmonic mapping in such that , , and , where is harmonic in . Then there is a constant such that is univalent in , where satisfies the following equation: where is defined as in Theorem A. Moreover, contains a disk with
However, these results are not sharp. The main object of this paper is to improve Theorems A and B. We get three versions of Landautype theorems for biharmonic mappings of the form , where belongs to the class of biharmonic mappings, and Theorems 11 and 14 improve Theorems A and B. In order to establish our main results, we need to recall the following lemmas.
Lemma 1 (see [6, 14]). Suppose that is a harmonic mapping of the unit disk such that for all . Then The inequality is sharp.
Lemma 2 (see [9, 12, 15]). Suppose that is a harmonic mapping of the unit disk such that for all with and . Then and for any These estimates are sharp.
Lemma 3 (see [8, 11]). Suppose that is a harmonic mapping of with . If for ; then These estimates are sharp.
Lemma 4 (see [11]). Suppose that is a harmonic mapping of the unit disk such that for all with and . If ; then , where and
Lemma 5 (see [13]). Suppose that is a harmonic mapping of the unit disk with and . If satisfies for all and , then
Lemma 6. Suppose that , . Then the equation has a unique root in .
Proof . It is easy to prove that the function is continuous and strictly decreasing on , , and . Hence, the assertion follows from the mean value theorem. This completes the proof.
Lemma 7. Suppose that , , and is defined by (16). Then the equation has a unique root in .
Lemma 8. Let . Then the equation has a unique root in .
Lemma 9. For any in , we have
2. Main Results
We first establish a new version of the Landautype theorem for biharmonic mappings on the unit disk as follows.
Theorem 10. Let be a biharmonic mapping of the unit disk , with , , and for , where . Then is univalent in the disk , where is the unique root in of the equation and contains a schlicht disk , where
Proof . Let satisfy the hypothesis of Theorem 10, where
are harmonic in . As is linear and , we may set
Then we have
Note that ; by Lemma 3, we have
Thus, for in , we have
Let
By Lemmas 1, 2, and 3, elementary calculations yield that
Using these estimates and Lemma 6, we obtain
which implies .
For any such that , by Lemmas 2, 4, and 5, we obtain
This completes the proof.
Next we improve Theorem A as follows.
Theorem 11. Let be a biharmonic mapping of the unit disk , with , , and for , where , . Then is univalent in the disk , where is the unique root in of the equation and contains a schlicht disk , where is defined by (16) and
Proof. Note that ; by Lemma 4, we have
We adopt the same method in Theorem 10, for in ; by Lemmas 1, 2, and 5, we get
Using these estimates and Lemma 7, by (35), we obtain
which implies .
For any such that , by (35) and Lemmas 2 and 5, we obtain
This completes the proof.
Setting in Theorem 11, we have the following corollary.
Corollary 12. Let be a biharmonic mapping of the unit disk , with , and both and are bounded by . Then is univalent in the disk , where is the minimum root of the equation and contains a schlicht disk , where
In order to show Corollary 12 improves Theorem A, we use Mathematica to compute the approximate values for various choices of as in Table 1.

Remark 13. From Table 1 we can see, for the same , Finally we improve Theorems B as follows.
Theorem 14. Let be a biharmonic mapping in such that , and , where and is harmonic in . Then is univalent in the disk , where is the minimum positive root in of the following equation: and contains a schlicht disk with where is defined by (16).
Proof. Let
Let ; then we have
For in , by Lemmas 4, 5, 8, and 9, we get
which implies .
For any such that , by Lemmas 4 and 5, we obtain
This completes the proof of Theorem 14.
In order to show Theorem 14 improves Theorem B, we use Mathematica to compute the approximate values for various choices of as in Table 2.

Remark 15. From Table 2 we can see, for the same ,
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
Acknowledgments
The work was financially supported by Foundation for Distinguished Young Talents in Higher Education of Guangdong China (no. 2013LYM0093) and Training plan for the Outstanding Young Teachers in Higher Education of Guangdong (no. Yq 2013159). The authors are grateful to the anonymous referees for making many suggestions that improved the readability of this paper.
References
 Z. AbdulHadi, Y. Abu Muhanna, and S. Khuri, â€śOn univalent solutions of the biharmonic equation,â€ť Journal of Inequalities and Applications, no. 5, pp. 469â€“478, 2005. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 J. Clunie and T. SheilSmall, â€śHarmonic univalent functions,â€ť Annales Academiae Scientiarum Fennicae A, vol. 9, pp. 3â€“25, 1984. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 P. Duren, Harmonic Mappings in the Plane, Cambridge University Press, New York, NY, USA, 2004. View at: Publisher Site  MathSciNet
 Z. AbdulHadi, Y. Abu Muhanna, and S. Khuri, â€śOn some properties of solutions of the biharmonic equation,â€ť Applied Mathematics and Computation, vol. 177, no. 1, pp. 346â€“351, 2006. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 H. Chen, P. M. Gauthier, and W. Hengartner, â€śBloch constants for planar harmonic mappings,â€ť Proceedings of the American Mathematical Society, vol. 128, no. 11, pp. 3231â€“3240, 2000. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 Sh. Chen, S. Ponnusamy, and X. Wang, â€śCoefficient estimates and LandauBloch's constant for planar harmonic mappings,â€ť Bulletin of the Malaysian Mathematical Sciences Society. Second Series, vol. 34, no. 2, pp. 255â€“265, 2011. View at: Google Scholar  Zentralblatt MATH  MathSciNet
 X. Z. Huang, â€śEstimates on Bloch constants for planar harmonic mappings,â€ť Journal of Mathematical Analysis and Applications, vol. 337, no. 2, pp. 880â€“887, 2008. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 M. Liu, â€śEstimates on Bloch constants for planar harmonic mappings,â€ť Science in China A, vol. 52, no. 1, pp. 87â€“93, 2009. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 X. Q. Xia and X. Z. Huang, â€śEstimates on Bloch constants for planar bounded harmonic mappings,â€ť Chinese Annals of Mathematics A, vol. 31, no. 6, pp. 769â€“776, 2010 (Chinese). View at: Google Scholar  Zentralblatt MATH  MathSciNet
 Sh. Chen, S. Ponnusamy, and X. Wang, â€śLandau's theorem for certain biharmonic mappings,â€ť Applied Mathematics and Computation, vol. 208, no. 2, pp. 427â€“433, 2009. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 M.S. Liu, â€śLandau's theorems for biharmonic mappings,â€ť Complex Variables and Elliptic Equations, vol. 53, no. 9, pp. 843â€“855, 2008. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 M. S. Liu, Z. W. Liu, and Y. C. Zhu, â€śLandau's theorems for certain biharmonic mappings,â€ť Acta Mathematica Sinica. Chinese Series, vol. 54, no. 1, pp. 69â€“80, 2011. View at: Google Scholar  Zentralblatt MATH  MathSciNet
 Y.C. Zhu and M.S. Liu, â€śLandautype theorems for certain planar harmonic mappings or biharmonic mappings,â€ť Complex Variables and Elliptic Equations, vol. 58, no. 12, pp. 1667â€“1676, 2013. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 F. Colonna, â€śThe Bloch constant of bounded harmonic mappings,â€ť Indiana University Mathematics Journal, vol. 38, no. 4, pp. 829â€“840, 1989. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 Sh. Chen, S. Ponnusamy, and X. Wang, â€śBloch constant and Landau's theorem for planar $p$harmonic mappings,â€ť Journal of Mathematical Analysis and Applications, vol. 373, no. 1, pp. 102â€“110, 2011. View at: Publisher Site  Google Scholar  MathSciNet
Copyright
Copyright © 2014 MingSheng Liu et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.