Open Access

p-subordination chains and p-valence criteria

Journal of Inequalities and Applications20132013:127

https://doi.org/10.1186/1029-242X-2013-127

Received: 18 November 2012

Accepted: 5 March 2013

Published: 26 March 2013

Abstract

The main object of this investigation is to give some sufficient conditions for analytic functions, by the method of p-subordination chains, to be the p th power of a univalent function in the open unit disk U . Also, the significant relationships and relevance to other results are also given. A number of known univalent conditions would follow upon specializing the parameters involved in our main results.

MSC:30C45, 30C55, 30C80.

Keywords

p-valent functionp-subordination chainp-valence criterion

1 Introduction

Denote by U r = { z C : | z | < r } ( 0 < r 1 ) the disk of radius r, and let U = U 1 . Let A denote the class of analytic functions in the open unit disk U which satisfy the usual normalization condition f ( 0 ) = f ( 0 ) 1 = 0 . Traditionally, the subclass of A consisting of univalent functions is denoted by S . Let P denote the class of functions p ( z ) = 1 + n = 1 p n z n , z U , that satisfy the condition p ( z ) > 0 . Also, let A p denote the class of analytic functions in the open unit disk U which satisfy the normalizations f ( k ) ( 0 ) = 0 for k = 1 , 2 , , p 1 ( p N = { 1 , 2 , } ) and f ( p ) ( 0 ) 0 , and let A p be the subclass of A p consisting of functions of the form f ( z ) = z p + n = 1 + p a n z n in U . These classes have been one of the most important subjects of research in geometric function theory for a long time (see [1]). For analytic functions f ( z ) and g ( z ) in U , f is said to be subordinate to g, denoted by f ( z ) g ( z ) , if there exists an analytic function w satisfying w ( 0 ) = 0 , | w ( z ) | < 1 , such that f ( z ) = g ( w ( z ) ) ( z U ). In particular, if the function g is univalent in U , the above subordination is equivalent to f ( 0 ) = g ( 0 ) and f ( U ) g ( U ) .

2 p-normalized subordination chain and related theorem

Before proving our main theorem, we need a brief summary of the method of p-subordination chains.

Definition 2.1 (see Hallenbeck and Livingston [2])

Let L ( z , t ) be a function defined on U × I , where I : = [ 0 , ) . L ( z , t ) is called a p-subordination chain if L ( z , t ) satisfies the following conditions:
  1. 1.
    L ( z , t )
    is analytic in U for all t I ,
     
  2. 2.
    L ( k ) ( 0 , t ) = 0
    , k = 1 , 2 , , p 1 , and L ( p ) ( 0 , t ) 0 ,
     
  3. 3.
    L ( z , t ) L ( z , s )
    for all 0 t s < , z U .
     

p-subordination chain is said to be normalized if L ( 0 , t ) = 0 and L ( p ) ( 0 , t ) = p ! e p t for all t I .

In order to prove our main results, we need the following lemma due to Hallenbeck and Livingston [2].

Lemma 2.1 Let L ( z , t ) = a p ( t ) z p + a p + 1 ( t ) z p + 1 +  , a p ( t ) 0 , be analytic in U r for all t I . Suppose that
  1. (i)
    L ( z , t )
    is a locally absolutely continuous function in the interval and locally uniform with respect to U r .
     
  2. (ii)
    a p ( t )
    is a complex-valued continuous function on such that a p ( t ) 0 , | a p ( t ) | for t and
    { L ( z , t ) a p ( t ) } t I
     
forms a normal family of functions in U r .
  1. (iii)
    There exists an analytic function h : U × I C satisfying h ( z , t ) > 0 for all z U , t I and
    p L ( z , t ) t = z L ( z , t ) z h ( z , t ) ( z U r , t I ) .
    (2.1)
     

Then, for each t I , the function L ( z , t ) is the pth power of a univalent function in  U .

Pommerenke’s theory of subordination chains [3, 4] corresponds to p = 1 .

The univalence of complex functions is an important property, but, unfortunately, it is difficult and in many cases impossible to show directly that a certain complex function, especially a function belonging to the class A , is univalent. Pommerenke [3, 4] and Becker [5] have used the idea of normalized 1-subordination chains, or briefly subordination chains, to obtain sufficient conditions for univalence of the functions belonging to the class A . There are three very important criteria for univalence of the function f A . Two of them are the well-known criteria of Becker [5] and Ahlfors [6] which were obtained by a clever use of the theory of subordination chains and the generalized Loewner differential equation. The other, Nehari’s univalence criterion (see [7]), was obtained without using the subordination chains for the analytic functions. Then Epstein [8] generalized this criterion by using the hyperbolic geometry, and his proof was quite different from the subordination chains method. By using the subordination chains methods, Pommerenke [9] gave a simplified proof of a univalence criterion obtained earlier by Epstein [8]. But in some cases, these criteria may not be sufficient for learning the univalence of the function f A . For example, although the function f ( z ) = z 1 2 z 2 is univalent, this function is satisfied neither by Becker and Ahlfors nor by Nehari criteria. This situation is deficiency for these criteria. For this reason, we need to find new criteria or generalize the current criteria. During the time many mathematicians have studied on this problem and have obtained some results (see [1019] and [20]).

On the other hand, Hallenbeck and Livingston [2] defined p-subordination chains and gave Lemma 2.1 for the functions f A p . In the same paper, they obtained some results for f A p to be the p th power of a univalent function in U . Their criteria are a p-valence version of Becker and Ahlfors’s criteria. Recently Deniz et al. [10] submitted a paper which includes sufficient conditions for a integral operator to be the p th power of a univalent function in U .

In the present paper, we obtain sufficient conditions for the functions f belonging to the class A p in terms of the Schwarz derivative defined by
S f ( z ) = ( f ( z ) f ( z ) ) 1 2 ( f ( z ) f ( z ) ) 2

to be the p th power of a univalent function by using p-subordination chains. Our main result is a p-valence version of Nehari [7] and Epstein’s [8] criteria.

3 p-valence criteria

Making use of Lemma 2.1, we can prove now our main result related to the Schwarz derivative.

Theorem 3.1 Let f , g A p . If
| ( 1 | z | 2 p ) [ 1 p + z g ( z ) g ( z ) ] + ( 1 | z | 2 p ) 2 2 p z 2 | z | 2 p [ S f ( z ) S g ( z ) ] | p
(3.1)

for all z U , then f is the pth power of a univalent function in U .

Proof

Consider the functions defined by
v ( z ) = g ( z ) f ( z ) = 1 + v 2 z + ,
(3.2)
where we choose the branch of the power ( ) 1 / 2 , which for z = 0 has value 1, and
u ( z ) = f ( z ) v ( z ) = z p + u 2 z p + 1 + .
(3.3)

The functions u and v are analytic in U since f and g analytic.

For all t I and z U r 1 ( 0 < r 1 1 ), the function L : U r 1 × I C defined formally by
L ( z , t ) = u ( e t z ) + ( e 2 p t 1 ) p e t z u ( e t z ) v ( e t z ) + ( e 2 p t 1 ) p e t z v ( e t z ) = e p t z p + Φ ( e m t , z p + 1 ) , m = 1 , 2 ,
(3.4)
is analytic in U r 1 since Φ ( e m t , z p + 1 ) is an analytic function in U for each fixed t I and m = 1 , 2 ,  . From (3.4) we have a p ( t ) = e p t and
lim t | a p ( t ) | = lim t e p t = .
After simple calculation, we obtain, for each z U r 1 ,
lim t L ( z , t ) e p t = lim t { z p + Φ ( e ( m + p ) t , z p + 1 ) } = z p .
The limit function k ( z ) = z p belongs to the family { L ( z , t ) / e p t : t I } ; then there exists a number r 0 ( 0 < r 0 < r 1 ) such that in every closed disk U r 0 , there exists a constant K 0 > 0 such that
| L ( z , t ) e p t | < K 0 ( z U r 0 , t I )

uniformly in this disk, provided that t is sufficiently large. Thus, by Montel’s theorem, { L ( z , t ) / e p t } forms a normal family in each disk U r 0 .

Since the function Φ ( e m t , z p + 1 ) is analytic in U , for k N 0 = N { 0 } , the function Φ ( k ) ( e m t , z p + 1 ) is continuous on the compact set, so Φ ( k ) ( e m t , z p + 1 ) , k N 0 , is a bounded function. Thus, for all fixed T > 0 , we can write e t < e T , and we obtain that for all fixed numbers t [ 0 , T ] I , there exists a constant K 1 > 0 such that
| L ( z , t ) t | < K 1 , z U r 0 , t [ 0 , T ] .

Therefore, the function L ( z , t ) is locally absolutely continuous in ; locally uniform with respect to U r 0 .

After simple calculations, from (3.4) we obtain
L ( z , t ) z = e t { ( 1 + e 2 p t 1 p ) ( u v v u ) + e 2 p t 1 p e t z ( u v v u ) + ( e 2 p t 1 p ) 2 e 2 t z 2 ( u v v u ) } / [ v ( e t z ) + e 2 p t 1 p e t z v ( e t z ) ] 2 ,
(3.5)
and
L ( z , t ) t = e t z { ( 1 e 2 p t 1 p + 2 e 2 p t ) ( u v v u ) e 2 p t 1 p e t z ( u v v u ) ( e 2 p t 1 p ) 2 e 2 t z 2 ( u v v u ) } / [ v ( e t z ) + e 2 p t 1 p e t z v ( e t z ) ] 2 ,
(3.6)
where
u v v u = g ,
(3.7)
u v v u = g ,
(3.8)
u v v u = g 2 ( S f S g ) ,
(3.9)

and u, v, u , v , u , v are calculated at e t z .

Consider the function h : U r × I C for 0 < r < r 0 and t I defined by
h ( z , t ) = p L ( z , t ) t / z L ( z , t ) z .
From (3.5) to (3.9), we can easily see that the function h ( z , t ) is analytic in U r , 0 < r < r 0 . If the function
w ( z , t ) = h ( z , t ) 1 h ( z , t ) + 1 = p L ( z , t ) t z L ( z , t ) z p L ( z , t ) t + z L ( z , t ) z ( z U r , t I )
(3.10)

is analytic in U and | w ( z , t ) | < 1 for all z U and t I , then h ( z , t ) has an analytic extension with a positive real part ( h ( z , t ) > 0 ) in U for all t I .

From equality (3.10) we have
w ( z , t ) = ( p + 1 ) Ψ ( z , t ) 1 ( p 1 ) Ψ ( z , t ) 1 ,
(3.11)
where
Ψ ( z , t ) = 1 + ( p 1 ) e 2 p t 2 p 2 + ( 1 e 2 p t ) e t z 2 p 2 ( u v v u u v v u ) + ( 1 e 2 p t ) 2 e 2 p t ( e t z ) 2 2 p 3 ( u v v u u v v u )
(3.12)

for z U and t I .

The inequality | w ( z , t ) | < 1 for all z U and t I , where w ( z , t ) is defined by (3.11), is equivalent to
| Ψ ( z , t ) 1 2 p | < 1 2 p , z U , t I .
(3.13)
From the hypothesis of theorem, (3.12) and (3.13), we have
| Ψ ( z , 0 ) 1 2 p | < p for all  z U
(3.14)
and
| Ψ ( 0 , t ) 1 2 p | < p for all  t I .
(3.15)
Since | e t z | e t < 1 for all z U ¯ and t > 0 , we find that w ( z , t ) is an analytic function in U ¯ . By the maximum modulus principle, it follows that for all z U { 0 } and each t > 0 arbitrarily fixed, there exists θ = θ ( t ) R such that
| Ψ ( z , t ) 1 2 p | < lim | z | = 1 | Ψ ( z , t ) 1 2 p | = | Ψ ( e i θ , t ) 1 2 p | .
(3.16)
Denote ζ = e t e i θ . Then | ζ | = e t , and from (3.7)-(3.9) and (3.12), we have
| Ψ ( e i θ , t ) 1 2 p | = 1 2 p 2 | ( 1 | ζ | 2 p ) ( 1 p + ζ g ( ζ ) g ( ζ ) ) + ( 1 | ζ | 2 p ) 2 2 p ζ 2 | ζ | 2 p ( S f ( ζ ) S g ( ζ ) ) | .
(3.17)

Because ζ U , the inequality (3.1) implies that | Ψ ( e i θ , t ) 1 2 p | 1 2 p , and from (3.14), (3.15) and (3.16), we conclude that | Ψ ( e i θ , t ) 1 2 p | < 1 2 p for all z U and t I . Therefore | w ( z , t ) | < 1 for all z U and t I . Since all the conditions of Lemma 2.1 are satisfied, we obtain that the function L ( z , t ) is the p th power of a univalent function in the whole unit disk U for all t I . □

Theorem 3.1 is a p-valence version of the univalence criterion in the unit disk obtained earlier by Epstein [8].

If we take g ( z ) = z p in Theorem 3.1, we obtain a p-valence version of Nehari’s [7] univalence criterion.

Corollary 3.2 Let f A p . If
( 1 | z | 2 p ) 2 | z 2 S f ( z ) + p 2 1 2 | 2 p 2 | z | 2 p

for all z U , then f is the pth power of a univalent function in U .

If we take g ( z ) = f ( z ) in Theorem 3.1, we obtain a p-valence version of Beckers’s [5] univalence criterion which was proved in [2].

Corollary 3.3 Let f A p . If
| ( 1 | z | 2 p ) [ 1 p + z f ( z ) f ( z ) ] | p

for all z U , then f is the pth power of a univalent function in U .

The following theorem contains another sufficient condition for analytic functions to be univalent in the open unit disk U .

Theorem 3.4 Let F , G A . If
| ( 1 | z | 2 p ) [ z G ( z ) G ( z ) + ( p 1 ) ( 1 z G ( z ) G ( z ) ) ] + ( 1 | z | 2 p ) 2 2 p z 2 | z | 2 p [ S F ( z ) S G ( z ) p 2 1 2 ( ( F ( z ) F ( z ) ) 2 ( G ( z ) G ( z ) ) 2 ) ] | p

for all z U , then the function F is a univalent function in U .

Proof Let f ( z ) = [ F ( z ) ] p and g ( z ) = [ G ( z ) ] p . Thus we obtain
S f ( z ) = S F ( z ) ( F ( z ) F ( z ) ) 2 ( p 2 1 2 ) .

It is easy to see that f and g satisfy the assumption of Theorem 3.1 if they satisfy the assumption of this theorem. Thus F is a univalent function in U because f in view of Theorem 3.1 is the p th power of a univalent function. □

Declarations

Acknowledgements

Dedicated to Professor Hari M Srivastava.

This project was supported by the Commission for the Scientific Research Projects of Kafkas University. Project number: 2012-FEF-30.

Authors’ Affiliations

(1)
Department of Mathematics, Faculty of Science and Letters, Kafkas University

References

  1. Srivastava HM, Owa S (Eds): Current Topics in Analytic Function Theory. World Scientific, Singapore; 1992.Google Scholar
  2. Hallenbeck, DJ, Livingston, AE: Subordination chains and p-valent functions. Preprint (1975)Google Scholar
  3. Pommerenke C: Über die Subordination analytischer Funktionen. J. Reine Angew. Math. 1965, 218: 159–173.MathSciNetGoogle Scholar
  4. Pommerenke C: Univalent Functions. Vandenhoeck Ruprecht, Göttingen; 1975.Google Scholar
  5. Becker J: Löwnersche differentialgleichung und quasikonform fortsetzbare schlichte functionen. J. Reine Angew. Math. 1972, 255: 23–43. (in German)MathSciNetGoogle Scholar
  6. Ahlfors LV: Sufficient conditions for quasiconformal extension. Ann. Math. Stud. 1974, 79: 23–29.MathSciNetGoogle Scholar
  7. Nehari Z: The Schwarzian derivative and schlicht functions. Bull. Am. Math. Soc. 1949, 55: 545–551. 10.1090/S0002-9904-1949-09241-8MathSciNetView ArticleGoogle Scholar
  8. Epstein CL: Univalence criteria and surfaces in hyperbolic space. J. Reine Angew. Math. 1987, 380: 196–214.MathSciNetGoogle Scholar
  9. Pommerenke C: On the Epstein univalence criterion. Results Math. 1986, 10: 143–146. 10.1007/BF03322371MathSciNetView ArticleGoogle Scholar
  10. Deniz, E, Orhan, H, Çağlar, M: Sufficient conditions for p-valence of an integral operator (submitted)Google Scholar
  11. Deniz E, Orhan H: Some notes on extensions of basic univalence criteria. J. Korean Math. Soc. 2011, 48(1):179–189.MathSciNetView ArticleGoogle Scholar
  12. Deniz E, Orhan H: Univalence criterion for meromorphic functions and Loewner chains. Appl. Math. Comput. 2011, 218(6):751–755.MathSciNetView ArticleGoogle Scholar
  13. Deniz E: Sufficient conditions for univalence and quasiconformal extensions of meromorphic functions. Georgian Math. J. 2012, 19(4):639–653.MathSciNetView ArticleGoogle Scholar
  14. Kanas S, Lecko A: Univalence criteria connected with arithmetic and geometric means, II. Folia Sci. Univ. Tech. Resov. 1996, 20: 49–59.MathSciNetGoogle Scholar
  15. Kanas S, Lecko A: Univalence criteria connected with arithmetic and geometric means, II. In Proceedings of the Second Int. Workshop of Transform Methods and Special Functions. Varna, ’96 Bulgar. Acad. Sci., Sofia; 1996:201–209.Google Scholar
  16. Kanas S, Srivastava HM: Some criteria for univalence related to Ruscheweyh and Salagean derivatives. Complex Var. Elliptic Equ. 1997, 38: 263–275.MathSciNetView ArticleGoogle Scholar
  17. Lewandowski Z: On a univalence criterion. Bull. Acad. Pol. Sci., Sér. Sci. Math. 1981, 29: 123–126.MathSciNetGoogle Scholar
  18. Ovesea H: A generalization of Ruscheweyh’s univalence criterion. J. Math. Anal. Appl. 2001, 258: 102–109. 10.1006/jmaa.2000.7362MathSciNetView ArticleGoogle Scholar
  19. Raducanu D, Orhan H, Deniz E: On some sufficient conditions for univalence. An. Univ. ‘Ovidius’ Constanţa, Ser. Mat. 2010, 18(2):217–222.MathSciNetGoogle Scholar
  20. Ruscheweyh S: An extension of Becker’s univalence condition. Math. Ann. 1976, 220: 285–290. 10.1007/BF01431098MathSciNetView ArticleGoogle Scholar

Copyright

© Deniz; licensee Springer 2013

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.