Skip to main content

p-subordination chains and p-valence criteria

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.

1 Introduction

Denote by U r ={zC:|z|<r} (0<r1) 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 , zU, 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,,p1 (pN={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)) (zU). 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 tI,

  2. 2.
    L ( k ) (0,t)=0

    , k=1,2,,p1, and L ( p ) (0,t)0,

  3. 3.
    L(z,t)L(z,s)

    for all 0ts<, zU.

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

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 tI. 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×IC satisfying h(z,t)>0 for all zU, tI and

    p L ( z , t ) t =z L ( z , t ) z h(z,t)(z U r ,tI).
    (2.1)

Then, for each tI, 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 fA. 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 fA. 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 zU, 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 tI and z U r 1 (0< r 1 1), the function L: U r 1 ×IC 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 tI 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 :tI}; 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 ,tI)

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 ×IC for 0<r< r 0 and tI 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 ,tI)
(3.10)

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

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 zU and tI.

The inequality |w(z,t)|<1 for all zU and tI, where w(z,t) is defined by (3.11), is equivalent to

|Ψ(z,t) 1 2 p |< 1 2 p ,zU,tI.
(3.13)

From the hypothesis of theorem, (3.12) and (3.13), we have

|Ψ(z,0) 1 2 p |<pfor all zU
(3.14)

and

|Ψ(0,t) 1 2 p |<pfor all tI.
(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 zU{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 zU and tI. Therefore |w(z,t)|<1 for all zU and tI. 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 tI. □

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 zU, 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 zU, 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,GA. 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 zU, 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. □

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)

  3. Pommerenke C: Über die Subordination analytischer Funktionen. J. Reine Angew. Math. 1965, 218: 159–173.

    MathSciNet  Google 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)

    MathSciNet  Google Scholar 

  6. Ahlfors LV: Sufficient conditions for quasiconformal extension. Ann. Math. Stud. 1974, 79: 23–29.

    MathSciNet  Google Scholar 

  7. Nehari Z: The Schwarzian derivative and schlicht functions. Bull. Am. Math. Soc. 1949, 55: 545–551. 10.1090/S0002-9904-1949-09241-8

    Article  MathSciNet  Google Scholar 

  8. Epstein CL: Univalence criteria and surfaces in hyperbolic space. J. Reine Angew. Math. 1987, 380: 196–214.

    MathSciNet  Google Scholar 

  9. Pommerenke C: On the Epstein univalence criterion. Results Math. 1986, 10: 143–146. 10.1007/BF03322371

    Article  MathSciNet  Google Scholar 

  10. Deniz, E, Orhan, H, Çağlar, M: Sufficient conditions for p-valence of an integral operator (submitted)

  11. Deniz E, Orhan H: Some notes on extensions of basic univalence criteria. J. Korean Math. Soc. 2011, 48(1):179–189.

    Article  MathSciNet  Google Scholar 

  12. Deniz E, Orhan H: Univalence criterion for meromorphic functions and Loewner chains. Appl. Math. Comput. 2011, 218(6):751–755.

    Article  MathSciNet  Google Scholar 

  13. Deniz E: Sufficient conditions for univalence and quasiconformal extensions of meromorphic functions. Georgian Math. J. 2012, 19(4):639–653.

    Article  MathSciNet  Google Scholar 

  14. Kanas S, Lecko A: Univalence criteria connected with arithmetic and geometric means, II. Folia Sci. Univ. Tech. Resov. 1996, 20: 49–59.

    MathSciNet  Google 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.

    Article  MathSciNet  Google Scholar 

  17. Lewandowski Z: On a univalence criterion. Bull. Acad. Pol. Sci., Sér. Sci. Math. 1981, 29: 123–126.

    MathSciNet  Google Scholar 

  18. Ovesea H: A generalization of Ruscheweyh’s univalence criterion. J. Math. Anal. Appl. 2001, 258: 102–109. 10.1006/jmaa.2000.7362

    Article  MathSciNet  Google 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.

    MathSciNet  Google Scholar 

  20. Ruscheweyh S: An extension of Becker’s univalence condition. Math. Ann. 1976, 220: 285–290. 10.1007/BF01431098

    Article  MathSciNet  Google Scholar 

Download references

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.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Erhan Deniz.

Additional information

Competing interests

The author declares that they have no competing interests.

Rights and permissions

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

Reprints and permissions

About this article

Cite this article

Deniz, E. p-subordination chains and p-valence criteria. J Inequal Appl 2013, 127 (2013). https://doi.org/10.1186/1029-242X-2013-127

Download citation

  • Received:

  • Accepted:

  • Published:

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

Keywords