COEFFICIENT BOUNDS FOR MEROMORPHIC STARLIKE AND CONVEX FUNCTIONS U

advertisement
Volume 10 (2009), Issue 3, Article 71, 6 pp.
COEFFICIENT BOUNDS FOR MEROMORPHIC STARLIKE AND CONVEX
FUNCTIONS
SEE KEONG LEE, V. RAVICHANDRAN, AND SUPRAMANIAM SHAMANI
U NIVERSITI S AINS M ALAYSIA
11800 USM P ENANG , M ALAYSIA
sklee@cs.usm.my
D EPARTMENT OF M ATHEMATICS
U NIVERSITY OF D ELHI
D ELHI 110 007, I NDIA
vravi@maths.du.ac.in
URL: http://people.du.ac.in/~ vravi
S CHOOL OF M ATHEMATICAL S CIENCES
U NIVERSITI S AINS M ALAYSIA
11800 USM P ENANG , M ALAYSIA
sham105@hotmail.com
Received 30 January, 2008; accepted 03 May, 2009
Communicated by S.S. Dragomir
A BSTRACT. In this paper, some subclasses of meromorphic univalent functions in the unit disk
∆ are extended. Let U (p) denote the class of normalized univalent meromorphic functions f
in ∆ with a simple pole at z = p > 0. Let φ be a function with positive real part on ∆ with
φ(0) = 1, φ0 (0) > 0 which maps ∆ onto
P∗a region starlike with respect to 1 which is symmetric
with respect to the real axis. The class
(p, w0 , φ) consists of functions f ∈ U (p) satisfying
0
zf (z)
p
pz
−
+
−
≺ φ(z).
f (z) − w0
z − p 1 − pz
P
The class (p, φ) consists of functions f ∈ U (p) satisfying
f 00 (z)
2p
2pz
− 1+z 0
+
−
≺ φ(z).
f (z)
z − p 1 − pz
P∗
P
The bounds for w0 and some initial coefficients of f in
(p, w0 , φ) and (p, φ) are obtained.
Key words and phrases: Univalent meromorphic functions; starlike function, convex function, Fekete-Szegö inequality.
2000 Mathematics Subject Classification. Primary 30C45, Secondary 30C80.
This research is supported by Short Term grant from Universiti Sains Malaysia and also a grant from University of Delhi.
034-08
2
S. K. L EE , V. R AVICHANDRAN , AND S. S HAMANI
1. I NTRODUCTION
Let U (p) denote the class of univalent meromorphic functions f in the unit disk ∆ with a
simple pole at z = p > 0 and with the normalization f (0) = 0 and f 0 (0) = 1. Let U ∗ (p, w0 ) be
the subclass of U (p) such that f (z) ∈ U ∗ (p, w0 ) if and only if there is a ρ, 0 < ρ < 1, with the
property that
zf 0 (z)
<
<0
f (z) − w0
for ρ < |z| < 1. The functions in U ∗ (p, w0 ) map |z| < r < ρ (for some ρ, p < ρ < 1)
onto the complement of a set which is starlike with respect to w0 . Further the functions in
U ∗ (p, w0 ) all omit the value w0 . This class of starlike meromorphic functions is developed from
Robertson’s concept of star center points [11]. Let P denote the class of functions P (z) which
are meromorphic in ∆ and satisfy P (0) = 1 and <{P (z)} ≥ 0 for all z ∈ ∆.
For f (z) ∈ U ∗ (p, w0 ), there is a function P (z) ∈ P such that
(1.1)
z
p
pz
f 0 (z)
+
−
= −P (z)
f (z) − w0 z − p 1 − pz
P
for all z ∈ ∆. Let ∗ (p, w0 ) denote the class of functions P
f (z) which satisfy (1.1) and the
0
∗
condition f (0)
= 0, f (0) = 1. Then √
U (p, w0 ) is a subset of ∗ (p, w0 ). Miller [9] proved that
P
U ∗ (p, w0 ) = ∗ (p, w0 ) for p ≤ 2 − 3.
Let K(p) denote the class of functions which belong to U (p) and map |z| < r < ρ (for some
p < ρ < 1) onto the complement of a convex set. If f ∈ K(p), then there is a p < ρ < 1, such
that for each z, ρ < |z| < 1
zf 00 (z)
< 1+ 0
≤ 0.
f (z)
If f ∈ K(p), then for each z in ∆,
f 00 (z)
2p
2pz
(1.2)
< 1+z 0
+
−
≤ 0.
f (z)
z − p 1 − pz
P
Let (p) denote the class of functions f P
which satisfy (1.2) and the conditions f (0) = 0 √
and
0
f (0) =P1. The class K(p) is contained in (p). Royster [12] showed that for 0P
< p ≤ 2 − 3,
if f ∈ (p) and is meromorphic, then f ∈ K(p). Also, for each function f ∈ (p), there is a
function P ∈ P such that
1+z
f 00 (z)
2p
2pz
+
−
= −P (z).
0
f (z)
z − p 1 − pz
The class U (p) and related classes have been studied in [3], [4], [5] and [6].
Let A be the class of all analytic functions of the form f (z) = z + a2 z 2 + a3 z 3 + · · · in
∆. Several subclasses of univalent functions are characterized by the quantities zf 0 (z)/f (z)
or 1 + zf 00 (z)/f 0 (z) lying often in a region in the right-half plane. Ma and Minda [7] gave
a unified presentation of various subclasses of convex and starlike functions. For an analytic function φ with positive real part on ∆ with φ(0) = 1, φ0 (0) > 0 which maps the unit
disk ∆ onto a region starlike (univalent) with respect to 1 which is symmetric with respect
to the real axis, they considered the class S ∗ (φ) consisting of functions f ∈ A for which
zf 0 (z)/f (z) ≺ φ(z) (z ∈ ∆). They also investigated a corresponding class C(φ) of functions
f ∈ A satisfying 1 + zf 00 (z)/f 0 (z) ≺ φ(z) (z ∈ ∆). For related results, see [1, 2, 8, 13]. In
the following definition, we consider the corresponding extension for meromorphic univalent
functions.
J. Inequal. Pure and Appl. Math., 10(3) (2009), Art. 71, 6 pp.
http://jipam.vu.edu.au/
C OEFFICIENT B OUNDS FOR M EROMORPHIC S TARLIKE AND C ONVEX F UNCTIONS
3
Definition 1.1. Let φ be a function with positive real part on ∆ with φ(0) = 1, φ0 (0) > 0 which
maps ∆ onto
P a region starlike with respect to 1 which is symmetric with respect to the real axis.
The class ∗ (p, w0 , φ) consists of functions f ∈ U (p) satisfying
p
zf 0 (z)
pz
−
+
−
≺ φ(z) (z ∈ ∆).
f (z) − w0 z − p 1 − pz
P
The class (p, φ) consists of functions f ∈ U (p) satisfying
f 00 (z)
2p
2pz
+
−
≺ φ(z) (z ∈ ∆).
− 1+z 0
f (z)
z − p 1 − pz
In this
the bounds
Ppaper,
Pon |w0 | will be determined. Also the bounds for some coefficients
∗
of f in
(p, w0 , φ) and (p, φ) will be obtained.
2. C OEFFICIENTS B OUND P ROBLEM
To prove our main result, we need the following:
Lemma 2.1 ([7]). If p1 (z) = 1 + c1 z + c2 z 2 + · · ·
then

 −4v + 2


2
2
|c2 − vc1 | ≤



4v − 2
is a function with positive real part in ∆,
if
v ≤ 0,
if
0 ≤ v ≤ 1,
if
v ≥ 1.
When v < 0 or v > 1, equality holds if and only if p1 (z) is (1+z)/(1−z) or one of its rotations.
If 0 < v < 1, then equality holds if and only if p1 (z) is (1 + z 2 )/(1 − z 2 ) or one of its rotations.
If v = 0, the equality holds if and only if
1+z
1 1
1−z
1 1
p1 (z) =
+ λ
+
− λ
(0 ≤ λ ≤ 1)
2 2
1−z
2 2
1+z
or one of its rotations. If v = 1, the equality holds if and only if p1 is the reciprocal of one of
the functions such that equality holds in the case of v = 0.
2
2
Theorem
P∗ 2.2. Let φ(z) = 1 + B1 z + B2 z + · · · and f (z) = z + a2 z + · · · in |z| < p. If
f∈
(p, w0 , φ), then
2p
w0 =
pB1 c1 − 2p2 − 2
and
p
p
(2.1)
≤ |w0 | ≤ 2
.
2
p + B1 p + 1
p − B1 p + 1
Also, we have
(2.2)

 |w0 ||B2 |
2
a2 + w0 p2 + 1 + 1 ≤
2
p2 w02  |w0 |B1
2
if |B2 | ≥ B1 ,
if |B2 | ≤ B1 .
Proof. Let h be defined by
zf 0 (z)
p
pz
h(z) = −
+
−
= 1 + b1 z + b2 z 2 + · · · .
f (z) − w0 z − p 1 − pz
J. Inequal. Pure and Appl. Math., 10(3) (2009), Art. 71, 6 pp.
http://jipam.vu.edu.au/
4
S. K. L EE , V. R AVICHANDRAN , AND S. S HAMANI
Then it follows that
1
1
+
, and
p w0
1
2a2
1
b2 = p 2 + 2 + 2 +
.
p
w0
w0
b1 = p +
(2.3)
(2.4)
Since φ is univalent and h ≺ φ, the function
p1 (z) =
1 + φ−1 (h(z))
= 1 + c1 z + c2 z 2 + · · ·
1 − φ−1 (h(z))
is analytic and has a positive real part in ∆. Also, we have
p1 (z) − 1
(2.5)
h(z) = φ
p1 (z) + 1
and from this equation (2.5), we obtain
1
b1 = B1 c1
2
(2.6)
and
1
1 2
1
b2 = B1 c2 − c1 + B2 c21 .
2
2
4
(2.7)
From (2.3), (2.4), (2.6) and (2.7), we get
w0 =
(2.8)
2p
pB1 c1 − 2p2 − 2
and
w0
p2 w0
w0
1
(2B1 c2 − B1 c21 + B2 c21 ) −
− 2−
.
8
2
2p
2w0
From (2.3) and (2.6), we obtain
1
1
1
p+ +
= B1 c1
p w0
2
(2.9)
a2 =
and, since |c1 | ≤ 2 for a function with positive real part, we have
1
1
1
1
1
p + −
≤ p + +
≤ B1 |c1 | ≤ B1
p |w0 |
p w0 2
or
−B1 ≤ p +
1
1
−
≤ B1 .
p |w0 |
Rewriting the inequality, we obtain
p
p
≤ |w0 | ≤ 2
.
2
p + B1 p + 1
p − B1 p + 1
From (2.9), we obtain
w0 1
w
1
1
1 2
1
0
2
2 a2 +
p
+
+
=
B
c
−
c
+
B
c
1
2
2
1
1
2
p2 w02 2 2
2
4
|w0 |B1 B1 − B2 2 =
c2 −
c1 .
4
2B1
The result now follows from Lemma 2.1.
J. Inequal. Pure and Appl. Math., 10(3) (2009), Art. 71, 6 pp.
http://jipam.vu.edu.au/
C OEFFICIENT B OUNDS FOR M EROMORPHIC S TARLIKE AND C ONVEX F UNCTIONS
5
P
P
The classes ∗ (p, w0 , φ) and (p, φ) are indeed a more general class of functions, as can
be seen in the following corollaries.
P
Corollary 2.3 ([10, inequality 4, p. 447]). If f (z) ∈ ∗ (p, w0 ), then
p
p
≤ |w0 | ≤
.
2
(1 + p)
(1 − p)2
Proof. Let B1 = 2 in (2.1) of Theorem 2.2.
P∗
Corollary 2.4 ([10, Theorem 1, p. 447]). Let f ∈
(p, w0 ) and f (z) = z + a2 z 2 + · · · in
|z| < p. Then the second coefficient a2 is given by
1
1
1
2
a2 = w0 b2 − p − 2 − 2 ,
2
p
w0
where the region of variability for a2 is contained in the disk
1
1
1
2
≤ |w0 |.
a2 + w0 p +
+
2
p2 w 2 0
Proof. Let B1 = 2 in (2.2) of Theorem 2.2.
The next theorem is for convex meromorphic functions.
2
2
Theorem
P 2.5. Let φ(z) = 1 + B1 z + B2 z + · · · and f (z) = z + a2 z + · · · in |z| < p. If
f ∈ (p, φ), then
2p2 − B1 p + 2
2p2 + B1 p + 2
≤ |a2 | ≤
.
2p
2p
Also

2  |2B2 +3µB12 | if | 2B2 + 3µB | ≥ 2,
1
12
B1
1
2
1 1 2
p + 2 − a22 − µ a2 − p −
≤
a3 −
3
p
3
p  B1
2
if | 2B
+ 3µB1 | ≤ 2.
6
B1
Proof. Let h now be defined by
zf 00 (z)
2p
2pz
h(z) = − 1 + 0
+
−
= 1 + b1 z + b2 z 2 + · · ·
f (z)
z − p 1 − pz
and p1 be defined as in the proof of Theorem 2.2. A computation shows that
1
(2.10)
b1 = 2 p + − a2 , and
p
1
2
2
(2.11)
b2 = 2 p + 2 + 2a2 − 3a3 .
p
From (2.6) and (2.10), we have
(2.12)
a2 = p +
1 B1 c1
−
.
p
4
From (2.7) and (2.11), we have
1
8
2
2
2
2
8p + 2 + 16a2 − 2B1 c2 + B1 c1 − B2 c1 .
(2.13)
a3 =
24
p
From (2.12), we have
2p +
J. Inequal. Pure and Appl. Math., 10(3) (2009), Art. 71, 6 pp.
2
1
− 2a2 = B1 c1
p
2
http://jipam.vu.edu.au/
6
S. K. L EE , V. R AVICHANDRAN , AND S. S HAMANI
or
2
2p + − 2|a2 | ≤ |2p + 2 − 2a2 | ≤ 1 B1 |c1 | ≤ B1 .
p
p
2
Thus we have
−B1 ≤ 2p + (2/p) − 2|a2 | ≤ B1
or
2p2 + B1 p + 2
2p2 − B1 p + 2
≤ |a2 | ≤
.
2p
2p
From (2.12) and (2.13), we obtain
2 1
2
1
1
p2 + 2 − a22 − µ a2 − p −
a3 −
3
p
3
p 2 2 1
B1 c1 2
2
= −2B1 c2 + B1 c1 − B2 c1 − µ
24
16 B1 1
B2
3µB1 2 c
−
−
−
c1 .
=
2
12 2 2B1
4
The result now follows from Lemma 2.1.
R EFERENCES
[1] R.M. ALI, V. RAVICHANDRAN AND N. SEENIVASAGAN, Coefficient bounds for p-valent
functions, Appl. Math. Comput., 187(1) (2007), 35–46.
[2] R.M. ALI, V. RAVICHANDRAN, AND S.K. LEE, Subclasses of multivalent starlike and convex
functions, Bull. Belgian Math. Soc. Simon Stevin, 16 (2009), 385–394.
[3] A.W. GOODMAN, Functions typically-real and meromorphic in the unit circle, Trans. Amer. Math.
Soc., 81 (1956), 92–105.
[4] J.A. JENKINS, On a conjecture of Goodman concerning meromorphic univalent functions, Michigan Math. J., 9 (1962), 25–27.
[5] Y. KOMATU, Note on the theory of conformal representation by meromorphic functions. I, Proc.
Japan Acad., 21 (1945), 269–277.
[6] K. LADEGAST, Beiträge zur Theorie der schlichten Funktionen, Math. Z., 58 (1953), 115–159.
[7] W. MA AND D. MINDA, A unified treatment of some special classes of univalent functions, in:
Proceedings of the Conference on Complex Analysis, Z. Li, F. Ren, L. Yang, and S. Zhang (Eds.),
Int. Press (1994), 157–169.
[8] M.H. MOHD, R.M. ALI, S.K. LEE AND V. RAVICHANDRAN, Subclasses of meromorphic functions associated with convolution, J. Inequal. Appl., 2009 (2009), Article ID 190291, 10 pp.
[9] J. MILLER, Convex meromorphic mappings and related functions, Proc. Amer. Math. Soc., 25
(1970), 220–228.
[10] J. MILLER, Starlike meromorphic functions, Proc. Amer. Math. Soc., 31 (1972), 446–452.
[11] M.S. ROBERTSON, Star center points of multivalent functions, Duke Math. J., 12 (1945), 669–
684.
[12] W.C. ROYSTER, Convex meromorphic functions, in Mathematical Essays Dedicated to A. J. Macintyre, 331–339, Ohio Univ. Press, Athens, Ohio (1970).
[13] S. SHAMANI, R.M. ALI, S.K. LEE AND V. RAVICHANDRAN, Convolution and differential
subordination for multivalent functions, Bull. Malays. Math. Sci. Soc. (2), 32(3) (2009), to appear.
J. Inequal. Pure and Appl. Math., 10(3) (2009), Art. 71, 6 pp.
http://jipam.vu.edu.au/
Download