Open Access

A study of Pescar's univalence criteria for space of analytic functions

Journal of Inequalities and Applications20112011:109

https://doi.org/10.1186/1029-242X-2011-109

Received: 26 June 2011

Accepted: 10 November 2011

Published: 10 November 2011

Abstract

An attempt has been made to give a criteria to a family of functions defined in the space of analytic functions to be univalent. Such criteria extended earlier univalence criteria of Pescar's-type of analytic functions.

2000 MSC: 30C45.

Keywords

analytic functionsunivalent functionsintegral operator

1. Introduction and preliminaries

Let A denote the class of analytic functions of the form f ( z ) = z + k = 2 a k z k in the open unit disk U = { z : | z | < 1 } normalized by f(0) = f'(0) - 1 = 0.

We denote by S the subclass of A consisting of functions which are univalent in U .

The results in this communication are motivated by Pescar [1]. In [1], a new criteria for an analytic function to be univalent is introduced which is true only for two fixed natural numbers. Then, Breaz and Breaz [2] introduced a new integral operator using product n-multiply analytic functions and gave another univalence criteria for such analytic integral operators. Using such integral operator, we extend the criteria given by Pescar in 2005 and prove that it is true for any two consecutive natural numbers.

First, we recall the main results of Pescar introduced in 1996 and later 2005 as follow:

Lemma 1.1. [1, 3] Let α be a complex number with Re α > 0 such that c , c 1 , c - 1 . If f A satisfies the condition
c z 2 α + ( 1 - z 2 α ) z f ( z ) α f ( z ) 1 , z U ,

then the function ( F α ( z ) ) α = α 0 z t α - 1 f ( t ) d t is analytic and univalent in U .

Lemma 1.2. [1] Let the function f A satisfies z 2 f ( z ) f 2 ( z ) - 1 1 , z U . Also, let α ( α [ 1 , 3 2 ] ) and c . If c 3 - 2 α α ( c - 1 ) and |g(z)| ≤ 1, then the function G a (z) defined by ( G α ( z ) ) α = α 0 z [ f ( t ) ] α - 1 is in the univalent function class S.

Lemma 1.3. [4] If f A satisfies the condition z 2 f ( z ) f 2 ( z ) - 1 1 , z U , then the function f is univalent in U .

Lemma 1.4. (Schwarz Lemma) Let the analytic function f be regular in the open unit disk U and let f(0) = 0. If f ( z ) 1 , ( z U ) then |f(z)| ≤ |z| where the equality holds true only if f(z) = kz and |k| = 1.

Breaz (cf., [2, 5]) introduced a family of integral operators for f i A univalent in U denoted by Gn,αsuch that
G n , α ( z ) = ( n ( α - 1 ) + 1 ) 0 z [ f 1 ( t ) ] α - 1 [ f n ( t ) ] α - 1 d t 1 n ( α - 1 ) + 1 , f i A .
(1)

In the case of n = 1, the operator Gn,α becomes identical to the operator G α given in Lemma 1.2 which was introduced by Pescar in 1996.

2. Main univalence criteria for analytic function

In this section, we make a criteria for space of analytic functions to be univalent. We give proof and applications only for the first theorem and for the remaining theorems we use the same techniques.

Theorem 2.1. Let f i A, z 2 f i ( z ) ( f i ( z ) ) 2 - 1 1 , z U for all i = {1, 2, ..., n}.

If
c 1 + α - 1 α 4 M ( 3 n - 2 n ) 2 n n , α , c
and
f i ( z ) M , i and M 1 .

Then, the family of functions f denoted by Gn,αbelong to the class S.

Theorem 2.2. Let f i A, z 2 f i ( z ) ( f i ( z ) ) 2 - 1 1 , z U for all i = {1, 2, ..., n}.

If
c 1 + α - 1 α 6 M ( 4 n - 3 n ) 3 n n , α , c
and
f i ( z ) M , i and M 1 .

Then, the family of functions f denoted by Gn,α belong to the class S.

Theorem 2.3. Let f i A, z 2 f i ( z ) ( f i ( z ) ) 2 - 1 1 , z U for all i = {1, 2, ..., n}.

If
c 1 + α - 1 α 8 M ( 5 n - 4 n ) 4 n n , α , c
and
f i ( z ) M , i and M 1 .

Then, the family of functions f denoted by Gn,αbelong to the class S.

Proof of Theorem 2.1. Since for each f i A implies
f i ( z ) z = 1 + 2 a n z n - 1 , i
and
f i ( z ) z = 1 at z = 0 , i .
We can write
i = 1 n f i ( z ) z = 1 at z = 0 .
Now suppose that
F ( z ) = 0 z f 1 ( t ) t α - 1 f n ( t ) t α - 1 d t
and taking logarithmic derivative and doing some mathematics we get
F ( z ) = ( α 1 ) i = 2 ( f i ( z ) z ) α 2 ( z f i ( z ) f i ( z ) z 2 j = 1 n ( f j ( z ) ( z ) ) α 1 ) , z F ( z ) F ( z ) = ( α 1 ) i = 2 ( z f i ( z ) f i ( z ) 1 ) , | z F ( z ) F ( z ) | ( α 1 ) i = 2 ( | z 2 f i ( z ) f i ( z ) ) 2 | | f i ( z ) z | + 1 ) .
Using hypothesis of Theorem 2.1 such as z 2 f i ( z ) ( f i ( z ) ) 2 2 , f i ( z ) M , i for M ≥ 1 and after doing calculation we get
z F ( z ) F ( z ) ( α - 1 ) i = 1 m ( 2 M + ( 2 M + 1 ) ) , 2 M 1 , z F ( z ) F ( z ) ( α - 1 ) i = 1 m 2 M + 2 M + 2 M 2 + 3 M + 3 M 2 , 3 M 2 1 z F ( z ) F ( z ) ( α - 1 ) i = 1 m 2 M + 3 M + 9 M 2 M + + n th term .
Therefore, by Lemma 1.1, we get
c z 2 α + ( 1 - z 2 α ) z F ( z ) α F ( z ) c + 1 α z F ( z ) F ( z ) c + 1 α z F ( z ) F ( z ) , c z 2 α + ( 1 - z 2 α ) z F ( z ) α F ( z ) c + 1 α z F ( z ) F ( z )
and
c z 2 α + ( 1 - z 2 α ) z F ( z ) α F ( z ) c + α - 1 α i = 1 n 2 M + 3 M + 9 2 M + + n th term .
Hence, after calculation, we have
c z 2 α + ( 1 - z 2 α ) z F ( z ) α F ( z ) c + α - 1 α i = 1 n 4 M ( 3 n - 2 n ) 2 n or c z 2 α + ( 1 - z 2 α ) z F ( z ) α F ( z ) c + α - 1 α n 4 M ( 3 n - 2 n ) 2 n ,
and again using the hypothesis of Theorem 2.1 we get
c z 2 α + ( 1 - z 2 α ) z F ( z ) α F ( z ) 1 ,

and hence proved.

Theorem 2.4. Let f i A, z 2 f i ( z ) ( f i ( z ) ) 2 - 1 1 , z U for all i = {1, 2, ..., n}.

If
c 1 + α - 1 α 6 M ( 3 n - 2 n ) 3 n n , α , c
and
f i ( z ) M , i and M 1 .

Then, the family of functions f denoted by Gn,αbelong to the class S.

Proof. Using the proof of Theorem 2.1, we have
z F ( z ) F ( z ) ( α - 1 ) i - 2 z 2 f i ( z ) ( f i ( z ) ) 2 f i ( z ) z + 1 .
Again, using the hypothesis, we get
z F ( z ) F ( z ) ( α - 1 ) i = 1 m ( 2 M + ( 2 M + 1 ) ) , 2 M 1 , z F ( z ) F ( z ) ( α - 1 ) i - 1 m 2 M + M + M 2 + M + 2 M 9 , z F ( z ) F ( z ) ( α - 1 ) i = 1 m 2 M + 4 3 M + 8 9 M + + n th term .
Thus, we have
c z 2 α + ( 1 - z 2 α ) z F ( z ) α F ( z ) c + 1 α z F ( z ) F ( z ) c + 1 α z F ( z ) F ( z ) , c z 2 α + ( 1 - z 2 α ) z F ( z ) α F ( z ) c + 1 α z F ( z ) F ( z )
and
| c | z | 2 α + ( 1 | z | 2 α z F ( z ) α F ( z ) | | c | + ( α 1 α ) i = 1 n ( 2 M + 4 3 M + 8 9 M + + n th term ) ,
which implies that
c z 2 α + ( 1 - z 2 α ) z F ( z ) α F ( z ) c + ( α - 1 α ) i = 1 n 6 M ( 3 n - 2 n ) 3 n or c z 2 α + ( 1 - z 2 α ) z F ( z ) α F ( z ) c + α - 1 α n 6 M ( 3 n - 2 n ) 3 n .
Again, using the hypothesis of Theorem 2.1, we get
c z 2 α + ( 1 - z 2 α ) z F ( z ) α F ( z ) 1 ,

and hence proved.

Similarly, we proved the following theorems:

Theorem 2.5. Let f i A, z 2 f i ( z ) ( f i ( z ) ) 2 - 1 1 , z U for all i = {1, 2, ..., n}.

If
c 1 + α - 1 α 8 M ( 4 n - 3 n ) 4 n n , α , c
and
f i ( z ) M , i and M 1 .

Then, the family of functions f denoted by Gn,αbelong to the class S.

Theorem 2.5. Let f i A, z 2 f i ( z ) ( f i ( z ) ) 2 - 1 1 , z U for all i = {1, 2, ..., n}.

If
c 1 + α - 1 α 1 0 M ( 5 n - 4 n ) 5 n n , α , c
and
f i ( z ) M , i and M 1 .

Then, the family of functions f denoted by Gn,αbelong to the class S.

3. Applications of univalence criteria

Considering n = 1 in Theorem 2.1, we obtain the following application:

Corollary 3.1. Let f i A, z 2 f i ( z ) ( f i ( z ) ) 2 - 1 1 , z U for all i = {1, 2, ..., n}.

If
c 1 + α - 1 α ( 2 M ) , α , c
and
f i ( z ) 1 , i .

Then, the family of functions f denoted by Gn,αbelong to the class S.

Considering M = n = 11 in Theorem 2.1, we obtain second application as follow:

Corollary 3.2. Let f i A, z 2 f i ( z ) ( f i ( z ) ) 2 - 1 1 , z U for all i = {1, 2, ..., n}.

If
c 3 α - 2 α , α , c
and
f i ( z ) 1 , i .

Then, the family of functions f denoted by Gn,αbelong to the class S.

Considering M = 1 in Theorem 2.1, we obtain third application such as:

Corollary 3.3. Let f i A, z 2 f i ( z ) ( f i ( z ) ) 2 - 1 1 , z U for all i = {1, 2, ..., n}.

If
c 1 + α - 1 α ( 3 n - 2 n ) 2 n - 2 n , α , c
and
f i ( z ) 1 , i .

Then, the family of functions f denoted by Gn,αbelong to the class S.

If we substitute n = 1 and M = n = 1 in Theorem 2.4, we get the results of Corollaries 3.1 and 3.2, respectively.

Other work related to integral operators concerning on univalence criteria and properties can be found in [6, 7].

Declarations

Acknowledgements

The study presented here was fully supported by the UKM-ST-06-FRGS0244-2010.

Authors’ Affiliations

(1)
School of Mathematical Sciences, Faculty of Science and Technology, Universiti Kebangsaan Malaysia, Bangi, Malaysia

References

  1. Pescar V: On the univalence of some integral operators. J Indian Acad Math 2005, 27: 239–243.MATHMathSciNetGoogle Scholar
  2. Breaz D, Breaz N: Univalence of an integral operator. Mathematica (Cluj) 2005,47(70):35–38.MathSciNetGoogle Scholar
  3. Pescar V: A new generalization of Ahlfors's and Becker's criterion of univalence. Bull Malaysian Math Soc 1996, 19: 53–54.MATHMathSciNetGoogle Scholar
  4. Ozaki S, Nunokawa M: The Schwarzian derivative and univalent func-tions. Proc Am Math Soc 1972, 33: 392–394. 10.1090/S0002-9939-1972-0299773-3MATHMathSciNetView ArticleGoogle Scholar
  5. Breaz D: Integral Operators on Spaces of Univalent Functions. Publishing House of the Romanian Academy of Sciences, Bucharest (in Romanian); 2004.Google Scholar
  6. Darus M, Faisal I: A study on Becker's univalence criteria. Abstr Appl Anal 2011, 2011: 13. Article ID759175,MathSciNetView ArticleGoogle Scholar
  7. Mohammed A, Darus M: Starlikeness properties for a new integral operator for meromorphic functions. J Appl Math 2011, 2011: 8. Article ID 804150,MathSciNetView ArticleGoogle Scholar

Copyright

© Faisal and Darus; licensee Springer. 2011

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.