Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống
1
/ 18 trang
THÔNG TIN TÀI LIỆU
Thông tin cơ bản
Định dạng
Số trang
18
Dung lượng
535,83 KB
Nội dung
Hindawi Publishing Corporation Journal of Inequalities and Applications Volume 2008, Article ID 712328, 18 pages doi:10.1155/2008/712328 ResearchArticleSubordinationandSuperordinationonSchwarzian Derivatives Rosihan M. Ali, 1 V. Ravichandran, 2 and N. Seenivasagan 3 1 School of Mathematical Sciences, Universiti Sains Malaysia (USM), 11800 Penang, Malaysia 2 Department of Mathematics, University of Delhi, Delhi 110 007, India 3 Department of Mathematics, Rajah Serfoji Government College, Thanjavur 613 005, India Correspondence should be addressed to Rosihan M. Ali, rosihan@cs.usm.my Received 4 September 2008; Accepted 30 October 2008 Recommended by Paolo Ricci Let the functions q 1 be analytic and let q 2 be analytic univalent in the unit disk. Using the methods of differential subordinationand superordination, sufficient conditions involving the Schwarzian derivative of a normalized analytic function f are obtained so that either q 1 z ≺ zf z/fz ≺ q 2 z or q 1 z ≺ 1 zf z/f z ≺ q 2 z. As applications, sufficient conditions are determined relating the Schwarzian derivative to the starlikeness or convexity of f. Copyright q 2008 Rosihan M. Ali 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. 1. Introduction Let HU be the class of functions analytic in U : {z ∈ C : |z| < 1} and Ha, n be the subclass of HU consisting of functions of the form fza a n z n a n1 z n1 ···. We will write H≡H1, 1. Denote by A the subclass of H0, 1 consisting of normalized functions f of the form fzz ∞ k2 a k z k z ∈ U. 1.1 Let S ∗ and K, respectively, be the familiar subclasses of A consisting of starlike and convex functions in U. The Schwarzian derivative {f, z} of an analytic, l ocally univalent function f is defined by {f, z} : f z f z − 1 2 f z f z 2 . 1.2 2 Journal of Inequalities and Applications Owa and Obradovi ´ c 1 proved that if f ∈Asatisfies R 1 2 1 zf z f z 2 z 2 {f, z} > 0, 1.3 then f ∈K. Miller and Mocanu 2 proved that if f ∈Asatisfies one of the following conditions: R 1 zf z f z αz 2 {f, z} > 0 Rα ≥ 0, R 1 zf z f z 2 z 2 {f, z} > 0, 1.4 or R 1 zf z f z e z 2 {f,z} > 0, 1.5 then f ∈K. In fact, Miller and Mocanu 2 found conditions on φ : C 2 × U → C such that R φ 1 zf z f z ,z 2 {f, z}; z > 0 1.6 implies f ∈K. Each of the conditions mentioned above readily followed by choosing an appropriate φ. Miller and Mocanu 2 also found conditions on φ : C 3 × U → C such that R φ zf z fz , 1 zf z f z ,z 2 {f, z}; z > 0 1.7 implies f ∈S ∗ . As applications, if f ∈Asatisfies either R α zf z fz β 1 zf z f z zf z fz z 2 {f, z} > 0 α, β ∈ R, 1.8 or R zf z fz 1 zf z f z z 2 {f, z} > − 1 2 , 1.9 then f ∈S ∗ . Let f and F be members of HU. The function f is said to be subordinate to F,orF is said to be superordinate to f, written fz ≺ Fz, if there exists a function w analytic in U with w00and|wz| < 1 z ∈ U, such that fzFwz.IfF is univalent, then fz ≺ Fz if and only if f0F0 and fU ⊂ FU. Rosihan M. Ali et al. 3 In this paper, sufficient conditions involving the Schwarzian derivatives are obtained for functions f ∈Ato satisfy either q 1 z ≺ zf z fz ≺ q 2 z or q 1 z ≺ 1 zf z f z ≺ q 2 z, 1.10 where the functions q 1 are analytic and q 2 is analytic univalent in U.InSection 2, a class of admissible functions is introduced. Sufficient conditions on functions f ∈Aare obtained so that zf z/fz is subordinated to a given analytic univalent function q in U.Asa consequence, we obtained the result 1.7 of Miller and Mocanu 2 relating the Schwarzian derivatives to the starlikeness of functions f ∈A. Recently, Miller and Mocanu 3 investigated certain first- and second-order dif- ferential superordinations, which is the dual problem to subordination. Several authors have continued the investigation onsuperordination to obtain sandwich-type results 4–20. In Section 3, superordination is investigated on a class of admissible functions. Sufficient conditions involving the Schwarzian derivatives of functions f ∈Aare obtained so that zf z/fz is superordinated to a given analytic subordinant q in U. For q 1 analytic and q 2 analytic univalent in U, sandwich-type results of the form q 1 z ≺ zf z fz ≺ q 2 z1.11 are obtained. This result extends earlier works by several authors. Section 4 is devoted to finding sufficient conditions for functions f ∈Ato satisfy q 1 z ≺ 1 zf z f z ≺ q 2 z. 1.12 As a consequence, we obtained the result 1.6 of Miller and Mocanu 2. To state our results, we need the following preliminaries. Denote by Q the set of all functions q that are analytic and injective on U \ Eq, where Eq ζ ∈ ∂U : lim z → ζ qz∞ , 1.13 and are such that q ζ / 0forζ ∈ ∂U \ Eq. Further, let the subclass of Q for which q0a be denoted by Qa and Q1 ≡Q 1 . Definition 1.1 see 2, Definition 2.3a, page 27.LetΩ be a set in C,q ∈Qand let n be a positive integer. The class of admissible functions Ψ n Ω,q consists of those functions ψ : C 3 × U → C that satisfy the admissibility condition ψr, s, t; z / ∈ Ω1.14 4 Journal of Inequalities and Applications whenever r qζ,s kζq ζ,and R t s 1 ≥ kR ζq ζ q ζ 1 , 1.15 z ∈ U, ζ ∈ ∂U \ Eq,andk ≥ n. We write Ψ 1 Ω,q as ΨΩ,q. If ψ : C 2 × U → C, then the admissibility condition 1.14 reduces to ψqζ,kζq ζ; z / ∈ Ω, 1.16 z ∈ U, ζ ∈ ∂U \ Eq,andk ≥ n. Definition 1.2 see 3, Definition 3, page 817.LetΩ be a set in C,q ∈Ha, n with q z / 0. The class of admissible functions Ψ n Ω,q consists of those functions ψ : C 3 × U → C that satisfy the admissibility condition ψr, s, t; ζ ∈ Ω1.17 whenever r qz,s zq z/m,and R t s 1 ≤ 1 m R zq z q z 1 , 1.18 z ∈ U, ζ ∈ ∂U,andm ≥ n ≥ 1. In particular, we write Ψ 1 Ω,q as Ψ Ω,q. If ψ : C 2 × U → C, then the admissibility condition 1.17 reduces to ψ qz, zq z m ; ζ ∈ Ω, 1.19 z ∈ U, ζ ∈ ∂U and m ≥ n. Lemma 1.3 see 2, Theorem 2.3b, page 28. Let ψ ∈ Ψ n Ω,q with q0a. If the analytic function pza a n z n a n1 z n1 ··· satisfies ψ pz,zp z,z 2 p z; z ∈ Ω, 1.20 then pz ≺ qz. Lemma 1.4 see 3, Theorem 1, page 818. Let ψ ∈ Ψ n Ω,q with q0a.Ifp ∈Qa and ψpz,zp z,z 2 p z; z is univalent in U, then Ω ⊂ ψpz,zp z,z 2 p z; z : z ∈ U 1.21 implies qz ≺ pz. Rosihan M. Ali et al. 5 2. Subordinationand starlikeness We first define the following class of admissible functions that are required in our first result. Definition 2.1. Let Ω be a set in C and q ∈Q 1 . The class of admissible functions Φ S Ω,q consists of those functions φ : C 3 × U → C that satisfy the admissibility condition φu, v, w; z / ∈ Ω2.1 whenever u qζ,v qζ kζq ζ qζ qζ / 0, R 2w u 2 − 1 3v − u 2 2v − u ≥ kR ζq ζ q ζ 1 , 2.2 z ∈ U, ζ ∈ ∂U \ Eq,andk ≥ 1. Theorem 2.2. Let f ∈Awith fzf z/z / 0.Ifφ ∈ Φ S Ω,q and φ zf z fz , 1 zf z f z ,z 2 {f, z}; z : z ∈ U ⊂ Ω, 2.3 then zf z fz ≺ qz. 2.4 Proof. Define the function p by pz : zf z fz . 2.5 A simple calculation yields 1 zf z f z pz zp z pz . 2.6 Further computations show that z 2 {f, z} zp zz 2 p z pz − 3 2 zp z pz 2 1 − p 2 z 2 . 2.7 6 Journal of Inequalities and Applications Define the transformation from C 3 to C 3 by u r, v r s r ,w s t r − 3 2 s r 2 1 − r 2 2 . 2.8 Let ψr, s, t; zφu, v, w; zφ r, r s r , s t r − 3 2 s r 2 1 − r 2 2 ; z . 2.9 The proof will make use of Lemma 1.3 .Using2.5, 2.6,and2.7,from2.9 we obtain ψ pz,zp z,z 2 p z; z φ zf z fz , 1 zf z f z ,z 2 {f, z}; z . 2.10 Hence 2.3 becomes ψ pz,zp z,z 2 p z; z ∈ Ω. 2.11 A computation using 2.8 yields t s 1 2w u 2 − 1 3v − u 2 2v − u . 2.12 Thus the admissibility condition for φ ∈ Φ S Ω,q in Definition 2.1 is equivalent to the admissibility condition for ψ as given in Definition 1.1. Hence ψ ∈ ΨΩ,q and by Lemma 1.3, pz ≺ qz or zf z fz ≺ qz. 2.13 If Ω / C is a simply connected domain, then ΩhU for some conformal mapping h of U onto Ω. In this case, the class Φ S hU,q is written as Φ S h, q. The following result is an immediate consequence of Theorem 2.2. Theorem 2.3. Let φ ∈ Φ S h, q.Iff ∈Awith fzf z/z / 0 satisfies φ zf z fz , 1 zf z f z ,z 2 {f, z}; z ≺ hz, 2.14 then zf z fz ≺ qz. 2.15 Rosihan M. Ali et al. 7 Following similar arguments as in 2, Theorem 2.3d, page 30, Theorem 2.3 can be extended to the following theorem where the behavior of q on ∂U is not known. Theorem 2.4. Let h and q be univalent in U with q01, and set q ρ zqρz and h ρ z hρz.Letφ : C 3 × U → C satisfy one of the following conditions: i φ ∈ Φ S h, q ρ for some ρ ∈ 0, 1,or ii there exists ρ 0 ∈ 0, 1 such that φ ∈ Φ S h ρ ,q ρ for all ρ ∈ ρ 0 , 1. If f ∈Awith fzf z/z / 0 satisfies 2.14,then zf z fz ≺ qz. 2.16 The next theorem yields the best dominant of the differential subordination 2.14. Theorem 2.5. Let h be univalent in U, and φ : C 3 × U → C. Suppose that the differential equation φ qz,qz zq z qz , zq zz 2 q z qz − 3 2 zq z qz 2 1 − q 2 z 2 ; z hz2.17 has a solution q with q01 and one of the following conditions is satisfied: 1 q ∈Q 1 and φ ∈ Φ S h, q, 2 q is univalent in U and φ ∈ Φ S h, q ρ for some ρ ∈ 0, 1,or 3 q is univalent in U and there exists ρ 0 ∈ 0, 1 such that φ ∈ Φ S h ρ ,q ρ for all ρ ∈ ρ 0 , 1. If f ∈Awith fzf z/z / 0 satisfies 2.14,then zf z fz ≺ qz, 2.18 and q is the best dominant. Proof. Applying the same arguments as in 2, Theorem 2.3e, page 31,wefirstnotethatq is a dominant from Theorems 2.3 and 2.4. Since q satisfies 2.17, it is also a solution of 2.14, and therefore q will be dominated by all dominants. Hence q is the best dominant. We will apply Theorem 2.2 to two specific cases. First, let qz1 Mz, M > 0. Theorem 2.6. Let Ω be a set in C, and φ : C 3 × U → C satisfy the admissibility condition φ 1 Me iθ , 1 Me iθ kMe iθ 1 Me iθ ,L; z / ∈ Ω2.19 8 Journal of Inequalities and Applications whenever z ∈ U, θ ∈ R,with R 2L 1 Me iθ 2 − 1 e −iθ M 3k 2 M 2 e −iθ M ≥ 2k 2 M 2.20 for all real θ and k ≥ 1. If f ∈Awith fzf z/z / 0 satisfies φ zf z fz , 1 zf z f z ,z 2 {f, z}; z ∈ Ω, 2.21 then zf z fz − 1 <M. 2.22 Proof. Let qz1 Mz, M > 0. A computation shows that the conditions on φ implies that it belongs to the class of admissible functions Φ S Ω, 1 Mz. The result follows immediately from Theorem 2.2. In the special case ΩqU{ω : |ω − 1| <M}, the conclusion of Theorem 2.6 can be written as φ zf z fz , 1 zf z f z ,z 2 {f, z}; z − 1 <M⇒ zf z fz − 1 <M. 2.23 Example 2.7. The functions φ 1 u, v, w; z :1 − αu αv, α ≥ 2M − 1 ≥ 0 and φ 2 u, v, w; z : v/u, 0 <M≤ 2 satisfy the admissibility condition 2.19 and hence Theorem 2.6 yields 1 − α zf z fz α 1 zf z f z − 1 <M⇒ zf z fz − 1 <M α ≥ 2M − 1 ≥ 0, 1 zf z/f z zf z/fz − 1 <M⇒ zf z fz − 1 <M 0 <M≤ 2. 2.24 By considering the function φu, v, w; z : uv−1λu−1 with 0 <M≤ 1,λ2−M ≥ 0, it follows again from Theorem 2.6 that z 2 f z fz λ zf z fz − 1 ≤ M2 λ − M⇒ zf z fz − 1 <M. 2.25 This above implication was obtained in 21, Corollary 2, page 583. A second application of Theorem 2.2 is to the case qU being the half-plane qU {w : Rw>0} : Δ. Rosihan M. Ali et al. 9 Theorem 2.8. Let Ω be a set in C and let the function φ : C 3 × U → C satisfy the admissibility condition φiρ, iτ, ξ iη; z / ∈ Ω2.26 for all z ∈ U and for all real ρ, τ, ξ and η with ρτ ≥ 1 2 1 3ρ 2 ,ρη≥ 0. 2.27 Let f ∈Awith f zfz/z / 0.If φ zf z fz , 1 zf z f z ,z 2 {f, z}; z ∈ Ω, 2.28 then f ∈S ∗ . Proof. Let qz :1 z/1 − z; then q01, Eq{1} and q ∈Q 1 . For ζ : e iθ ∈ ∂U \{1}, we obtain qζiρ, ζq ζ− 1 ρ 2 2 ,ζ 2 q ζ 1 ρ 2 1 − iρ 2 , 2.29 where ρ : cotθ/2.Notethat R ζq ζ q ζ 1 0 ζ / 1. 2.30 We next describe the class of admissible functions Φ S Ω, 1 z/1 − z in Definition 2.1. For ζ / 1, u qζ: iρ, v qζ kζq ζ qζ i ρ k1 ρ 2 2ρ : iτ, w ξ iη 2.31 with R 2w u 2 − 1 3v − u 2 2v − u 2ρη k1 ρ 2 . 2.32 Thus the admissibility condition for functions in Φ S Ω, 1 z/1 − z is equivalent to 2.26, whence φ ∈ Φ S Ω, 1 z/1 − z. From Theorem 2.2, we deduce that f ∈ S ∗ . When hz1 z/1 − z, then hUΔqU. Writing the class of admissible functions Φ S hU, Δ as Φ S Δ, the following result is a restatement of 1.7, which is an immediate consequence of Theorem 2.8. 10 Journal of Inequalities and Applications Corollary 2.9 see 2, Theorem 4.6a, page 244. Let φ ∈ Φ S Δ.Iff ∈Awith fzf z/z / 0 satisfies R φ zf z fz , 1 zf z f z ,z 2 {f, z}; z > 0, 2.33 then f ∈S ∗ . 3. Superordinationand starlikeness Now we will give the dual result of Theorem 2.2 for differential superordination. Definition 3.1. Let Ω be a set in C, q ∈Hwith zq z / 0. The class of admissible functions Φ S Ω,q consists of those functions φ : C 3 × U → C that satisfy the admissibility condition φu, v, w; ζ ∈ Ω3.1 whenever u qz,v qz zq z mqz qz / 0,zq z / 0 , R 2w u 2 − 1 3v − u 2 2v − u ≤ 1 m R zq z q z 1 , 3.2 z ∈ U, ζ ∈ ∂U and m ≥ 1. Theorem 3.2. Let φ ∈ Φ S Ω,q, and f ∈Awith f zfz/z / 0.Ifzf z/fz ∈Q 1 and φzf z/fz, 1 zf z/f z,z 2 {f, z}; z is univalent in U, then Ω ⊂ φ zf z fz , 1 zf z f z ,z 2 {f, z}; z : z ∈ U 3.3 implies qz ≺ zf z fz . 3.4 Proof. With pzzf z/fz,and ψr, s, t; zφ r, r s r , s t r 3 2 s r 2 1 − r 2 2 ; z φu, v, w; z, 3.5 equations 2.10 and 3.3 yield Ω ⊂ ψ pz,zp z,z 2 p z; z : z ∈ U . 3.6 [...]... Ravichandran, and N Seenivasagan, “Differential subordinationandsuperordination of analytic functions defined by the Dziok-Srivastava linear operator,” preprint 9 R M Ali, V Ravichandran, and N Seenivasagan, “Differential subordinationandsuperordination of analytic functions defined by the multiplier transformation,” to appear in Mathematical Inequalities & Applications 10 R M Ali, V Ravichandran, and N Seenivasagan,... differential superordinations,” Demonstratio Mathematica, vol 35, a no 2, pp 287–292, 2002 16 N E Cho and S Owa, “Double subordination- preserving properties for certain integral operators,” Journal of Inequalities and Applications, vol 2007, Article ID 83073, 10 pages, 2007 17 N E Cho and H M Srivastava, “A class of nonlinear integral operators preserving subordinationand superordination, ” Integral... References 1 S Owa and M Obradovi´ , “An application of differential subordinations and some criteria for c univalency,” Bulletin of the Australian Mathematical Society, vol 41, no 3, pp 487–494, 1990 2 S S Miller and P T Mocanu, Differential Subordinations: Theory and Application, vol 225 of Monographs and Textbooks in Pure and Applied Mathematics, Marcel Dekker, New York, NY, USA, 2000 3 S S Miller and P T Mocanu,... superordination, ” Integral Transforms and Special Functions, vol 18, no 1-2, pp 95–107, 2007 18 S S Miller and P T Mocanu, “Briot-Bouquet differential superordinations and sandwich theorems,” Journal of Mathematical Analysis and Applications, vol 329, no 1, pp 327–335, 2007 18 Journal of Inequalities and Applications 19 T N Shanmugam, V Ravichandran, and S Sivasubramanian, “Differential sandwich theorems for some... z f z 3.16 4 Schwarzian derivatives and convexity We introduce the following class of admissible functions Definition 4.1 Let Ω be a set in C and q ∈ Q1 ∩ H The class of admissible functions ΦSc Ω, q consists of those functions φ : C2 × U → C that satisfy the admissibility condition φ q ζ , kζq ζ 1 − q2 ζ ;z 2 ∈ / Ω, 4.1 z ∈ U, ζ ∈ ∂U \ E q , and k ≥ 1 Theorem 4.2 Let φ ∈ ΦSc Ω, q , and f ∈ A with... Ravichandran, M Hussain Khan, and K G Subramanian, “Applications of first order differential superordinations to certain linear operators,” Southeast Asian Bulletin of Mathematics, vol 30, no 5, pp 799–810, 2006 7 R M Ali, V Ravichandran, and S K Lee, “Subclasses of multivalent starlike and convex functions,” to appear in Bulletin of the Belgian Mathematical Society Simon Stevin 8 R M Ali, V Ravichandran,... Mocanu, “Subordinants of differential superordinations,” Complex Variables Theory and Application, vol 48, no 10, pp 815–826, 2003 4 R M Ali and V Ravichandran, “Classes of meromorphic α-convex functions,” to appear in Taiwanese Journal of Mathematics 5 R M Ali, V Ravichandran, M Hussain Khan, and K G Subramanian, “Differential sandwich theorems for certain analytic functions,” Far East Journal of Mathematical... Subordinationandsuperordination of the LiuSrivastava linear operator on meromorphic functions,” Bulletin of the Malaysian Mathematical Sciences Society, vol 31, no 2, pp 193–207, 2008 11 T Bulboac˘ , “Sandwich-type theorems for a class of integral operators,” Bulletin of the Belgian a Mathematical Society Simon Stevin, vol 13, no 3, pp 537–550, 2006 12 T Bulboac˘ , “A class of double subordination- preserving... subclasses of analytic functions,” The Australian Journal of Mathematical Analysis and Applications, vol 3, no 1, article 8, pp 1–11, 2006 20 T N Shanmugam, S Sivasubramanian, and H Srivastava, “Differential sandwich theorems for certain subclasses of analytic functions involving multiplier transformations,” Integral Transforms and Special Functions, vol 17, no 12, pp 889–899, 2006 21 N Xu and D Yang, “Some criteria... subordination- preserving integral operators,” Pure Mathematics and a Applications, vol 15, no 2-3, pp 87–106, 2004 13 T Bulboac˘ , “A class of superordination- preserving integral operators,” Indagationes Mathematicae, a vol 13, no 3, pp 301–311, 2002 14 T Bulboac˘ , “Generalized Briot-Bouquet differential subordinations and superordinations,” Revue a Roumaine de Math´ matiques Pures et Appliqu´ es, . Publishing Corporation Journal of Inequalities and Applications Volume 2008, Article ID 712328, 18 pages doi:10.1155/2008/712328 Research Article Subordination and Superordination on Schwarzian Derivatives Rosihan. certain first- and second-order dif- ferential superordinations, which is the dual problem to subordination. Several authors have continued the investigation on superordination to obtain sandwich-type. Inequalities and Applications, vol. 2007, Article ID 83073, 10 pages, 2007. 17 N. E. Cho and H. M. Srivastava, “A class of nonlinear integral operators preserving subordination and superordination, ”