Báo cáo hóa học: " Research Article Application of the Subordination Principle to the Harmonic Mappings Convex in One Direction with Shear Construction Method" pot
Hindawi Publishing Corporation Journal of Inequalities and Applications Volume 2010, Article ID 896087, 6 pages doi:10.1155/2010/896087 ResearchArticleApplicationoftheSubordinationPrincipletotheHarmonicMappingsConvexinOneDirectionwithShearConstruction Method Yas¸ar Polato ˘ glu, H. Esra ¨ Ozkan, and Emel Yavuz Duman Department of Mathematics and Computer Science, ˙ Istanbul K ¨ ult ¨ ur University, ˙ Istanbul 31456, Turkey Correspondence should be addressed to H. Esra ¨ Ozkan, e.ozkan@iku.edu.tr Received 3 June 2010; Accepted 26 July 2010 Academic Editor: N. Govil Copyright q 2010 Yas¸ar Polato ˘ glu 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. Any harmonic function inthe open unit disc D {z ||z| < 1} can be written as a sum of an analytic and antianalytic functions f hz gz,wherehz and gz are analytic functions in D and are called the analytic part and the coanalytic part of f, respectively. Many important questions inthe study ofthe classes of functions are related to bounds on the modulus of functions growth or the modulus ofthe derivative distortion. In this paper, we consider both of these questions. 1. Introduction Let U be a simply connected domain inthe complex plane. A harmonic function f has the representation f hz gz, where hz and gz are analytic in U and are called the analytic and coanalytic parts of f, respectively. Let hza 0 a 1 z a 2 z 2 ···,andgz b 0 b 1 zb 2 z 2 ··· be analytic functions in t he open unit disc D.IfJ f z|h z| 2 −|g z| 2 > 0, then f hz gz is called the sense-preserving harmonic univalent function in D. The class of all sense-preserving harmonic univalent functions is denoted by S H ,witha 0 b 0 0, a 1 1, and |b 1 | < 1, and the class of all sense-preserving harmonic univalent functions is denoted by S 0 H with a 0 b 0 b 1 0, a 1 1. For convenience, we will examine sense- preserving functions, that is, functions for which J f z > 0. If f has J f z < 0, then f is sense preserving. The analytic dilatation oftheharmonic functions is given by wzg z/h z. We also note that if f is locally univalent and sense preserving then |wz| < 1. In this paper we examine the class of functions that are convexinone direction. Theshearconstruction is essential tothe present work as it allows oneto study harmonic functions through their related analytic functions as shown in 1 by Hengartner and Schober. 2 Journal of Inequalities and Applications Theshearconstruction produces a univalent harmonic function that maps D tothe region that is convexinthedirectionofthe real axis. This construction relies on the following theorem of Clunie and Sheil-Small. Theorem 1.1 see 2. A harmonic function f hz gz locally univalent in D is a univalent mapping of D onto a domain c onvex inthedirectionofthe real axis if and only if hz − gz is a conformal univalent mapping of D onto a domain convexinthedirectionofthe real axis. Theorem 1.1 leads totheconstructionof univalent harmonic function with analytic dilatation wz. Hengartner and Schober 1 studied the analytic functions ψz that are convexinthedirectionofthe imaginary axis. They used a normalization which requires, in essence, that right and left extremes of ψD be the image of 1 and −1. This normalization is that there exist points z n converging to z 1andz n converging to z −1 such that lim n →∞ Re ψ z n Sup | z | <1 Re ψ z , lim n →∞ Re ψ z n Inf | z | <1 Re ψ z . 1.1 If CIA is the class of domains, D, that are convexinthedirectionofthe imaginary axis and that admit a mapping ψz so that ψDD and satisfies the normalization 1.1, then we have the following result. Theorem 1.2 see 1. Suppose that ψz is analytic and nonconstant for |z| < 1, then one has Re1 − z 2 ψ z > 0 if and only if i ψz is univalent on D, ii ψz ∈⊂ IA, iii ψz is normalized by 1.1. Using this characterization of functions, Hengartner and Schober proved the following theorem. Theorem 1.3 see 1. If ψz is analytic for |z| < 1 and satisfies Re1 − z 2 ψ z ≥ 0,then 1 − r ψ 0 1 r 1 r 2 ≤ ψ 0 1 − r 2 . 1.2 To be able to obtain this result for functions that are inthedirectionofthe real axis, let us consider the following situation. Suppose that ϕz is a function that is analytic and convexinthedirectionofthe real axis. Furthermore, suppose that ϕz is normalized by the following. Let there exist points z n converging to z e iα and z n converging to z e iαπ , such that lim n →∞ Im ϕ z n Sup |z|<1 Im ϕ z , lim n →∞ Re ϕ z n Inf |z|<1 Im ϕ z . 1.3 Journal of Inequalities and Applications 3 Consequently, if ψz satisfies 1.1, then ϕziψze −iα z satisfies 1.3 . Knowing this, we can apply ϕz and see that the result still holds, with ψz being replaced by ϕz.Inthis situation, Re−ie iα − e −iα z 2 ϕ z > 0. We can now prove the derivative bounds for theharmonic function convexinthedirectionofthe real axis. Finally, let Ω be the family of functions φz which are analytic in D and satisfying the condition φ00, |φz| < 1 for every z ∈ D. Denote by P the class of analytic functions pz given by pz1p 1 zp z z 2 ··· which satisfy Re pz > 0 for all z ∈ D.Lets 1 zzc 2 z 2 ··· and s 2 zz d 2 z 2 ··· be analytic functions in D.Ifs 1 zs 2 φz is satisfied for some φz ∈ Ω and every z ∈ D, then we say that s 1 z is subordinate to s 2 z, and we write s 1 z ≺ s 2 z. 2. Main Results Lemma 2.1. Let f hzgz be an element of S H , and let wzg z/h z be the analytic dilatation of f,then | b 1 | − r 1 − | b 1 | r ≤ | w z | ≤ | b 1 | r 1 | b 1 | r , 2.1 1 − | b 1 | 1 − r 1 | b 1 | r ≤ 1 − | w z | ≤ 1 − | b 1 | 1 r 1 − | b 1 | r , 2.2 1 | b 1 | 1 − r 1 − | b 1 | r ≤ 1 | w z | ≤ 1 | b 1 | 1 r 1 | b 1 | r , 2.3 1 − r 2 1 − | b 1 | 2 1 − | b 1 | 2 r 2 ≤ 1 − | w z | 2 ≤ 1 − r 2 1 − | b 1 | 2 1 − | b 1 | r 2 . 2.4 Proof. Since f hz gz ∈S H , then w z b 1 z b 2 z 2 ··· z a 2 z 2 ··· b 1 2b 2 z ··· 1 a 2 z ··· ⇒ w 0 b 1 . 2.5 Now, we define the function φ z w z − w 0 1 − w 0 w z w z − b 1 1 − b 1 w z . 2.6 This function satisfies the conditions ofthe Schwarz lemma. Then, we have w z φ z b 1 1 b 1 φ z . 2.7 Using theprincipleofsubordination and 2.7, we see that the analytic dilatation wz is subordinate to zb 1 /1b 1 z. O n the other hand, the transformation zb 1 /1b 1 z 4 Journal of Inequalities and Applications maps |z| r onto the circle withthe centre Crα 1 1−r 2 /1−|b 1 | 2 r 2 ,α 2 1−r 2 /1−|b 1 | 2 r 2 and the radius ρr1 −|b 1 | 2 r/1 −|b 1 | 2 r 2 , where b 1 α 1 iα 2 . Thus, again using thesubordination principle, we write w z − b 1 1 − r 2 1 − | b 1 | 2 r 2 ≤ 1 − | b 1 | 2 r 1 − | b 1 | 2 r 2 . 2.8 Following some simple calculations from 2.8,weget2.1, 2.2, 2.3,and2.4. Theorem 2.2. Let f hzgz be an element of S H , and let f be convexinthedirectionofthe real axis, and let ϕzhz−gz, wzg z/h z. Furthermore, let ϕz satisfy the normalization 1.1, then for |z| < 1, one has | 1 − b 1 | 1 | b 1 | r 1 − r 1 | b 1 | 1 r 2 1 r 2 ≤ f z ≤ | 1 − b 1 | 1 | b 1 | r 1 − | b 1 | 1 − r 3 , | w z || 1 − b 1 | 1 − r 1 | b 1 | r 1 | b 1 | 1 r 2 1 r 2 ≤ f z ≤ | 1 − b 1 | 1 | b 1 | r r 1 − | b 1 | 1 − r 3 . 2.9 Proof. Since ϕzhz − gz ⇒ ϕ zh z − g z, g zh zwz, then we have f z h z ϕ z 1 − w z , f z g z w z ϕ z 1 − w z . 2.10 Since analytic dilatation wz satisfies the condition |wz| < 1 for every z ∈ D, then we have ϕ z 1 | w z | ≤ f z ≤ ϕ z 1 − | w z | , | w z | ϕ z 1 | w z | ≤ f z ≤ | w z | ϕ z 1 − | w z | . 2.11 Using 2.2, 2.3,and1.2 in 2.11,weget 1 − r 1 | b 1 | r ϕ 0 1 | b 1 | 1 r 2 1 r 2 ≤ f z ≤ 1 | b 1 | r ϕ 0 1 − | b 1 | 1 − r 3 , | w z | 1 − r 1 | b 1 | r ϕ 0 1 | b 1 | 1 r 2 1 r 2 ≤ f z ≤ 1 | b 1 | r ϕ 0 r 1 − | b 1 | 1 − r 3 . 2.12 On the other hand, ϕzhz −gz ⇒ ϕ zh z−g z ⇒ ϕ 01−b 1 therefore, 2.12 can be written inthe form 2.9. Journal of Inequalities and Applications 5 Corollary 2.3. If one lets b 1 0,thenϕ 01 therefore, one obtains 1 − r 1 r 2 1 r 2 ≤ f z ≤ 1 1 − r 3 , | w z | 1 − r 1 r 2 1 r 2 ≤ f z ≤ r 1 − r 3 . 2.13 These distortions were found by Schaubroeck [3]. Theorem 2.4. Let f hz gz be convexinthedirectionofthe real axis, let f hzgz ∈S H , and let ϕzhz − gz satisfy the normalization 1.1. Then, for |z| <r, one has f ≤ | 1 − b 1 | 1 − | b 1 | r 0 1 | b 1 | ρ 1 ρ 1 − ρ 3 dρ . 2.14 Proof. Since f hz gz, we have the following inequalities: f h z g z r 0 h ρe iθ e iθ dρ r 0 g ρe iθ e iθ dρ r 0 f z ρe iθ e iθ dρ r 0 f z ρe iθ e −iθ dρ. 2.15 Hence, f h z g z ≤ | h z | g z ≤ r 0 f z ρe iθ dρ r 0 f z ρe iθ dρ. 2.16 Applying 2.9 tothe above expression yields 2.14. Corollary 2.5. If one takes b 1 0, then one obtains f ≤ r 1 − r 2 . 2.17 This growth was found by Schaubroeck [3]. Theorem 2.6. Let f hzgz ∈S H , and let f be convexinthedirectionofthe real axis. If ϕzhz − gz satisfies the normalization 1.1,then 1 − | b 1 | 1 | b 1 | r 1 − r 4 | 1 − b 1 | 2 1 | b 1 | 1 − | b 1 | r 1 r 4 1 r 2 2 ≤ J f z ≤ 1 | b 1 | 1 | b 1 | r 1 r | 1 − b 1 | 2 1 − | b 1 | 1 − | b 1 | r 1 − r 5 . 2.18 Proof. Since J f z|h z| 2 −|g z| 2 |h z| 2 1 −|wz| 2 , then using Lemma 2.1 and Theorem 2.2 and after straightforward calculations, we get 2.18. 6 Journal of Inequalities and Applications Remark 2.7. We note that the distortion and growth theorem in our study is sharp, because by choosing the suitable analytic dilatation and ϕz, we can find the extremal function inthe following manner: ϕ z h z − g z ⇒ ϕ z h z − g z , w z g z h z ⇒ 0 w z h z − g z , h z f z ϕ z 1 − w z ⇒ h z z 0 ϕ ξ 1 − w ξ dξ, g z f z ϕ z w z 1 − w z ⇒ g z z 0 ϕ ξ w ξ 1 − w ξ dξ z 0 ϕ ξ w ξ − ϕ ξ ϕ ξ 1 − w ξ dξ z 0 ϕ ξ 1 − w ξ − ϕ ξ dξ ⇒ g z z 0 ϕ ξ 1 − w ξ dξ − z 0 ϕ ξ dξ z 0 ϕ ξ 1 − w ξ dξ − ϕ z . 2.19 Therefore we have f h z g z z 0 ϕ ξ 1 − w ξ dξ z 0 ϕ ξ 1 − w ξ dξ − ϕ z z 0 ϕ ξ 1 − w ξ dξ z 0 ϕ ξ 1 − w ξ dξ − ϕ z ⇒ f z Re z 0 2ϕ ξ 1 − w ξ dξ − ϕ z . 2.20 References 1 W. Hengartner and G. Schober, “On Schlicht mappingsto domains convexinone direction,” Commentarii Mathematici Helvetici, vol. 45, pp. 303–314, 1970. 2 J. Clunie and T. Sheil-Small, “Harmonic univalent functions,” Annales Academiae Scientiarum Fennicae. Series A I. Mathematica, vol. 9, pp. 3–25, 1984. 3 L. E. Schaubroeck, “Growth, distortion and coefficient bounds for plane harmonicmappingsconvexinone direction,” The Rocky Mountain Journal of Mathematics, vol. 31, no. 2, pp. 625–639, 2001. . univalent in D is a univalent mapping of D onto a domain c onvex in the direction of the real axis if and only if hz − gz is a conformal univalent mapping of D onto a domain convex in the direction. |wz| < 1. In this paper we examine the class of functions that are convex in one direction. The shear construction is essential to the present work as it allows one to study harmonic functions. Hindawi Publishing Corporation Journal of Inequalities and Applications Volume 2010, Article ID 896087, 6 pages doi:10.1155/2010/896087 Research Article Application of the Subordination Principle