• 検索結果がありません。

Certain Coefficient Bounds for p-Valent Functions

N/A
N/A
Protected

Academic year: 2022

シェア "Certain Coefficient Bounds for p-Valent Functions"

Copied!
11
0
0

読み込み中.... (全文を見る)

全文

(1)

Volume 2007, Article ID 46576,11pages doi:10.1155/2007/46576

Research Article

Certain Coefficient Bounds for p-Valent Functions

C. Ramachandran, S. Sivasubramanian, and H. Silverman

Received 1 October 2006; Revised 18 November 2006; Accepted 18 January 2007 Recommended by Brigitte Forster-Heinlein

In the present paper, the authors obtain sharp bounds for certain subclasses of p-valent functions. The results are extended to functions defined by convolution.

Copyright © 2007 Hindawi Publishing Corporation. All rights reserved.

1. Introduction

LetᏭpdenote the class of all analytic functions f(z) of the form f(z)=zp+

n=p+1

anzn (1.1)

defined on the open unit disk

Δ=

z:zC:|z|<1, (1.2) and letᏭ1:=Ꮽ. For f(z) given by (1.1) andg(z) given by

g(z)=zp+

n=p+1bnzn, (1.3)

their convolution (or Hadamard product), denoted by (f g), is defined as (fg)(z)=zp+

n=p+1anbnzn. (1.4)

With a view to recalling the principle of subordination between analytic functions, let the functions f andg be analytic inΔ. Then we say that the function f is subordinate togif

(2)

there exists a Schwarz functionω(z), analytic inΔwith

ω(0)=0, ω(z)<1 (zΔ), (1.5)

such that

f(z)=gω(z) (zΔ). (1.6)

We denote this subordination by

f g or f(z)g(z) (zΔ). (1.7)

In particular, if the functiongis univalent inΔ, the above subordination is equivalent to f(0)=g(0), f(Δ)g(Δ). (1.8) Let φ(z) be an analytic function with positive real part onΔwithφ(0)=1,φ(0)>0 which maps the open unit diskΔonto a region starlike with respect to 1 and is symmetric with respect to the real axis. Ali et al. [1] defined and studied the classSb,p(φ) to be the class of functions in f pfor which

1 +1 b

1 p

z f(z)

f(z) 1 φ(z) zΔ,bC\ {0}

, (1.9)

and the classCb,p(φ) of all functions in f pfor which 11

b+ 1 bp

1 +z f(z)

f(z) φ(z) zΔ,bC\ {0}

. (1.10)

Ali et al. [1] also defined and studied the class Rb,p(φ) to be the class of all functions f pfor which

1 +1 b

f(z)

pzp11 φ(z) zΔ,bC\ {0}

. (1.11)

Note thatS1,1(φ)=S(φ) andC1,1(φ)=C(φ), the classes introduced and studied by Ma and Minda [2]. The familiar classS(γ) of starlike functions of orderγand the classC(γ) of convex functions of orderγ, 0γ <1 are the special case ofS1,1(φ) andC1,1(φ), respec- tively, whenφ(z)=(1 + (12γ)z)/(1z).

Owa [3] introduced and studied the classHp(A,B,α,β) of all functions f Psatis- fying

(1β)f(z) zp

α

+βz f(z) p f(z)

f(z) zp

α

1 +Az

1 +Bz, (1.12)

wherezΔ,1B < A1, 0β1,α0. We note thatH1(A,B,α,β) is a subclass of Bazileviˇc functions [4].

Motivated by the classesHp(A,B,α,β) andRb,p(φ) studied, respectively, by Owa [3]

and Ali et al. [1], we now define a class of functions which extends the classesSb,p(φ), Hp(A,B,α,β), andRb,p(φ) in the following.

(3)

Definition 1.1. Letφ(z) be a univalent starlike function with respect to 1 which maps the open unit diskΔonto a region in the right half-plane and is symmetric with respect to the real axis,φ(0)=1 andφ(0)>0. A functionf pis in the classRp,b,α,β(φ) if

1 +1 b

(1β)f(z) zp

α

+βz f(z) p f(z)

f(z) zp

α

1

φ(z) (0β1,α0). (1.13) Also, Rp,b,α,β,g(φ) is the class of all functions f p for which f gRp,b,α,β(φ), wheregis a fixed function with positive coefficients.

The classRp,b,α,β(φ) reduces to the following earlier classes.

(1)Rp,b,0,1(φ)Sb,p(φ) introduced and studied by Ali et al. [1].

(2)Rp,b,1,1(φ)Rb,p(φ) introduced and studied by Ali et al. [1].

(3)R1,1,α,1(φ)Bα(φ) introduced and studied by Ravichandran et al. [5].

(4) Forφ(z)=(1 +Az)/(1 +Bz), the classRp,1,α,β(φ) reduces toHp(A,B,α,β) intro- duced and studied by Owa [3].

(5) Forφ(z)=(1 + (12γ)z)/(1z), the classRp,1,α,0(φ) reduces to Hp(12γ,1,α, 0)p(γ,α)

=

f p: Re f(z)

zp

α> γ, 0γ <1,zΔ. (1.14)

(6) Forφ(z)=(1 + (12γ)z)/(1z), the classRp,1,α,1(φ) reduces to Hp(12γ,1,α, 1)p(γ,α)

=

f p: Re

f(z)f(z)α1

pzp1 > γ, 0γ <1, zΔ. (1.15) (7)R1,1,0,1(φ)S(φ) [2].

Very recently, Ali et al. [1] obtained the sharp coefficient inequality for functions in the classSb,p(φ) and many other subclassesᏭp.

In the present paper, we prove a sharp coefficient inequality inTheorem 2.1for the more general classRp,1,α,β(φ). Also we give applications of our results to certain functions defined through Hadamard product. The results obtained in this paper generalize the re- sults obtained by Ali et al. [1], Ma and Minda [2], Ravichandran et al. [5], and Srivastava and Mishra [6].

LetΩbe the class of analytic functions of the form

w(z)=w1z+w2z2+··· (1.16)

in the open unit diskΔsatisfying|w(z)|<1.

To prove our main result, we need the following.

Lemma 1.2 [1]. IfwΩ, then

w2tw21

t ift <1, 1 if 1t1, t ift >1.

(1.17)

(4)

Whent <1 ort >1, the equality holds if and only ifw(z)=z or one of its rotations. If

1< t <1, then equality holds if and only ifw(z)=z2or one of its rotations. Equality holds fort= −1 if and only if

w(z)=z λ+z

1 +λz (0λ1) (1.18)

or one of its rotations, while fort=1, the equality holds if and only if w(z)= −z λ+z

1 +λz (0λ1) (1.19)

or one of its rotations.

Although the above upper bound is sharp, it can be improved as follows when1< t <1:

w2tw12+ (t+ 1)w121 (1< t0),

w2tw21+ (1t)w121 (0< t <1). (1.20)

Lemma 1.3 [7]. IfwΩ, then for any complex numbert, w2tw21max1;|t|

. (1.21)

The result is sharp for the functionsw(z)=zorw(z)=z2.

Lemma 1.4 [8]. IfwΩ, then for any real numbersq1andq2, the following sharp estimate holds:

w3+q1w1w2+q2w13Hq1,q2

, (1.22)

where

Hq1,q2

=

1 forq1,q2

D1D2, q2 forq1,q2

7 k=3

Dk, 2

3q1+ 1

q1+ 1 3q1+ 1 +q2

1/2

forq1,q2

D8D9,

q2

3

q214 q214q2

q214 3q21

1/2

forq1,q2

D10D11\ {±2, 1},

2

3q11

q11 3q11q2

1/2

forq1,q2

D12.

(1.23)

(5)

The extremal functions, up to rotations, are of the form

w(z)=z3, w(z)=z, w(z)=w0(z)=

z[(1λ)ε2+λε1

ε1ε2z 1

(1λ)ε1+λε2

z , w(z)=w1(z)=zt1z

1t1z , w(z)=w2(z)=zt2+z 1 +t2z , ε1=ε2=1, ε1=t0e0/2(ab),ε2= −e0/2(ia±b),

a=t0cosθ0

2, b=

1t20sin2θ0

2 , λ=b±a 2b , t0=

2q2

q21+ 23q21

3q21q124q21/2

, t1=

q1+ 1 3q1+ 1 +q2

1/2, t2=

q11 3q11q2

1/2, cosθ0

2 = q1

2 q2

q12+ 82q21+ 2 2q2

q12+ 23q21

.

(1.24)

The setsDk,k=1, 2,..., 12, are defined as follows:

D1= q1,q2

:q11

2,q21

, D2=

q1,q2

:1

2q12, 4

27q1+ 13q1+ 1q21

, D3=

q1,q2

:q11

2,q2≤ −1

, D4=

q1,q2

:q11

2,q2≤ −2

3q1+ 1, D5=

q1,q2

:q12,q21, D6=

q1,q2

: 2q14,q2 1 12

q12+ 8,

D7= q1,q2

:q14,q22

3q11, D8=

q1,q2

:1

2q12,2

3q1+ 1q2 4

27q1+ 13q1+ 1, D9=

q1,q2

:q12,2

3q1+ 1q22q1q1+ 1 q21+ 2q1+ 4

, D10=

q1,q2

: 2q14, 2q1q1+ 1

q21+ 2q1+ 4 q2 1 12

q21+ 8,

D11= q1,q2

:q14, 2q1q1+ 1

q21+ 2q1+ 4 q22q1q11 q212q1+ 4

, D12=

q1,q2

:q14, 2q1q11

q212q1+ 4 q22

3q11.

(1.25)

(6)

2. Coefficient bounds

By making use of Lemmas1.2–1.4, we prove the following.

Theorem 2.1. Letφ(z)=1 +B1z+B2z2+B3z3+···, whereBn’s are real withB1>0 and B20. Let 0< β1,α0, 0μ1, and

σ1:= (αp+β)2 2pB12(αp+ 2β)

2B2B1

pB21

1)(αp+ 2β) (α+β)2

, σ2:= (αp+β)2

2pB12(αp+ 2β)

2B2+B1

pB12

1)(αp+ 2β) (α+β)2

, σ3:= (αp+β)2

2pB12(αp+ 2β)

2B2pB12

1)(αp+ 2β) (α+β)2

, Λ(p,α,β,μ) :=(αp+ 2β)(2μ+α1)

2(αp+β)2 .

(2.1)

If f(z) given by (1.1) belongs toRp,1,α,β(φ), then

ap+2μa2p+1

p αp+ 2β

B2pB12Λ(p,α,β,μ) ifμ < σ1, pB1

αp+ 2β ifσ1μσ2,

p αp+ 2β

B2pB12Λ(p,α,β,μ) ifμ > σ2.

(2.2)

Further, ifσ1μσ3, then ap+2μa2p+1+ 1

2pB1

2

1B2

B1

(αp+β)2

αp+ 2β + (2μ+α1)pB1

ap+12 pB1

αp+ 2β. (2.3) Ifσ3μσ2, then

ap+2μa2p+1+ 1 2pB1

2

1 +B2

B1

(αp+β)2

αp+ 2β (2μ+α1)pB1

ap+12 pB1

αp+ 2β. (2.4) For any complex numberμ,

ap+2μa2p+1 pB1

αp+ 2βmax

1,pB1

2 Λ(p,α,β,μ)B2

B1

. (2.5)

Further,

ap+3 pB1

αp+ 3βHq1,q2

, (2.6)

(7)

whereH(q1,q2) is as defined inLemma 1.4, q1:=2B2

B1+pB1

(1α)(αp+ 3β) (αp+β)(αp+ 2β), q2:=B3

B1+p2B12

1)(2α1)(αp+ 3β)

6(αp+β)3 +pB2 (1α)(αp+ 3β) (αp+β)(αp+ 2β).

(2.7)

These results are sharp.

Proof. If f(z)Rp,1,α,β(φ), then there is a Schwarz function

w(z)=w1z+w2z2+··· ∈Ω (2.8) such that

(1β)f(z) zp

α

+βz f(z) p f(z)

f(z) zp

α

=φw(z). (2.9)

Since

(1β)f(z) zp

α

+βz f(z) p f(z)

f(z) zp

α

=

1 +1

p(αp+β)ap+1z+ 1

2p(αp+ 2β)2ap+2+ (α1)a2p+1 z2 +αp+ 3β

p

ap+3+ (α1)ap+1ap+2+(α1)(α2)

6 a3p+1z3+···,

(2.10)

from (2.9), we have ap+1= pB1w1

αp+β, ap+2= pB1

αp+ 2β

w2w21pB1

α1 2

αp+ 2β (αp+β)2 B2

B1

, ap+3= pB1

αp+ 3β

w3+q1w1w2+q3w31,

(2.11)

whereq1andq2as defined in (2.7). Therefore, we have ap+2μa2p+1= pB1

αp+ 2β

w2vw12

, (2.12)

where

v:=pB1Λ(p,α,β,μ)B2

B1. (2.13)

The results (2.2)–(2.5) are established by an application ofLemma 1.2, inequality (2.5) byLemma 1.3, and (2.6) follows fromLemma 1.4. To show that the bounds in (2.2)–(2.5)

(8)

are sharp, we define the functionsKφn(n=2, 3,...) by (1β)Kφn(z)

zp

α

+βzKφn (z) p f(z)

Kφn(z) zp

α

=φzn1, Kφn(0)=0= Kφn

(0)1 (2.14) and the functionsFλandGλ(0λ1) by

(1β)Fλ(z) zp

α

+βzFλ(z) p f(z)

Fλ(z) zp

α

=φz(z+λ)

1 +λz , Fλ(0)=0=Fλ(0)1, (1β)Gλ(z)

zp

α

+βzGλ(z) p f(z)

Gλ(z) zp

α

=φz(z+λ)

1 +λz , Gλ(0)=0=Gλ(0)1.

(2.15) Clearly, the functionsKφn,Fλ,GλRp,1,α,β(φ). Also we writeKφ:=Kφ2. Ifμ < σ1orμ > σ2, then the equality holds if and only iff isKφor one of its rotations. Whenσ1< μ < σ2, then the equality holds if and only if f isKφ3or one of its rotations. Ifμ=σ1, then the equality holds if and only if f isFλor one of its rotations. Ifμ=σ2, then the equality holds if and

only if f isGλor one of its rotations.

Remark 2.2. Forα=0 andβ=1, results (2.2)–(2.6) coincide with the results obtained for the classSp(φ) by Ali et al. [1].

Remark 2.3. Forα=0,p=1 andβ=1, results (2.2)–(2.6) coincide with the results ob- tained for the classS(φ) by Ma and Minda [2].

Remark 2.4. For p=1 andβ=1, results (2.2)–(2.6) coincide with the results obtained for the Bazilevic classBα(φ) by Ravichandran et al. [5].

3. Applications to functions defined by convolution

We defineRp,b,α,β,g(φ) to be the class of all functions f pfor whichf gRp,b,α,β(φ), whereg is a fixed function with positive coefficients and the classRp,b,α,β(φ) is as de- fined inDefinition 1.1. InTheorem 2.1, we obtained the coefficient estimate for the class Rp,1,α,β(φ). Now, we obtain the coefficient estimate for the classRp,1,α,β,g(φ).

Theorem 3.1. Letφ(z)=1 +B1z+B2z2+B3z3+···, whereBn’s are real withB1>0 and B20. Let 0< β1,α0, 0μ1, and

σ1:=g2p+1 gp+2

(αp+β)2 2pB21(αp+ 2β)

2B2B1

pB121)(αp+ 2β) (α+β)2

, σ2:=g2p+1

gp+2

(αp+β)2 2pB21(αp+ 2β)

2B2+B1

pB211)(αp+ 2β) (α+β)2

, σ3:=g2p+1

gp+2

(αp+β)2 2pB21(αp+ 2β)

2B2pB211)(αp+ 2β) (α+β)2

, Λ1(p,α,β,g,μ) :=(αp+ 2β)gp+2

/gp+12 +α1

2(αp+β)2 .

(3.1)

(9)

If f(z) given by (1.1) belongs toRp,1,α,β,g(φ), then

ap+2μa2p+1

p (αp+ 2β)gp+2

B2pB12Λ1(p,α,β,g,μ) ifμ < σ1, pB1

(αp+ 2β)gp+2 ifσ1μσ2,

p

(αp+ 2β)gp+2

B2pB12Λ1(p,α,β,g,μ) ifμ > σ2.

(3.2)

Further, ifσ1μσ3, then ap+2μa2p+1+g2p+1

gp+2

1 2pB1

2

1B2

B1

(αp+β)2

αp+ 2β + (2μ+α1)pB1

ap+12

pB1

(αp+ 2β)gp+2.

(3.3)

Ifσ3μσ2, then ap+2μa2p+1+g2p+1

gp+2

1 2pB1

2

1 +B2

B1

(αp+β)2

αp+ 2β (2μ+α1)pB1

ap+12

pB1

(αp+ 2β)gp+2.

(3.4)

For any complex numberμ, ap+2μa2p+1 pB1

(αp+ 2β)gp+2max

1,pB1

2 Λ1(p,α,β,g,μ)B2

B1

. (3.5)

Further,

ap+3 pB1

(αp+ 3β)gp+3Hq1,q2

, (3.6)

whereH(q1,q2) is as defined inLemma 1.4, q1:=2B2

B1+pB1 (1α)(αp+ 3β) (αp+β)(αp+ 2β), q2:=B3

B1+p2B12

1)(2α1)(αp+ 3β) 6(αp+β)3 +pB2

(1α)(αp+ 3β) (αp+β)(αp+ 2β).

(3.7)

These results are sharp.

Proof. If f(z)Rp,1,α,β,g(φ), then there is a Schwarz function

w(z)=w1z+w2z2+··· ∈Ω (3.8)

(10)

such that

(1β)(fg)(z) zp

α

+βz(fg)(z) p(f g)(z)

(fg)(z) zp

α

=φw(z). (3.9) Hence

(1β)(f g)(z) zp

α

+βz(f g)(z) p(f g)(z)

(f g)(z) zp

α

=

1 +1

p(αp+β)ap+1gp+1z+ 1

2p(αp+ 2β)2ap+2gp+2+ (α1)a2p+1g2p+1z2 +αp+3β

p

ap+3gp+3+ (α1)ap+1gp+1ap+2gp+2+(α1)(α2)

6 a3p+1g3p+1z3+···. (3.10) The remaining proof of the theorem is similar to the proof ofTheorem 2.1and hence

omitted.

Remark 3.2. Forα=1 andβ=1, results (3.2)–(3.4) coincide with the results obtained for the classRb,p(φ) by Ali et al. [1].

Remark 3.3. Forp=1,α=0, andβ=1, results (3.5) coincide with the result for the class Sb(φ) obtained by Ravichandran et al. [9].

Remark 3.4. For p=1,α=1,β=1, andφ(z)=(1 +Az)/(1 +Bz),1B < A1, in- equality (3.5) coincides with the result obtained by Dixit and Pal [10].

Remark 3.5. Forp=1,α=0, andβ=1,

g2:=Γ(3)Γ(2λ) Γ(3λ) =

2 2λ, g3:=Γ(4)Γ(2λ)

Γ(4λ) = 6 (2λ)(3λ), B1= 8

π2, B2= 16 3π2,

(3.11)

in inequalities (3.2)–(3.4), we get the result obtained by Srivastava and Mishra [6].

Theorem 3.6. Letφ(z) be as inTheorem 2.1. If f(z) given by (1.1) belongs toRp,b,α,β,g(φ), then for any complex numberμ, withB1>0,B20, 0< β1,α0,

ap+2μa2p+1 p|b|B1

(αp+ 2β)gp+2max

1,bpB1Λ2(p,b,α,μ,g) +B2

B1

, (3.12) where

Λ2(p,b,α,β,μ,g) :=(αp+ 2β)gp+2

/g2p+1+α1

2(αp+β)2 . (3.13)

(11)

Proof. The proof is similar to the proof ofTheorem 2.1and hence omitted.

Remark 3.7. Forp=1,β=1, andα=0, the result in (3.12) coincides with the results obtained by Ravichandran et al. [9].

References

[1] R. M. Ali, V. Ravichandran, and N. Seenivasagan, “Coefficient bounds forpvalent functions,”

to appear in Applied Mathematics and Computation.

[2] W. C. Ma and D. Minda, “A unified treatment of some special classes of univalent functions,” in Proceedings of the Conference on Complex Analysis (Tianjin, 1992), Z. Li, F. Ren, L. Yang, and S.

Zhang, Eds., Conf. Proc. Lecture Notes Anal., I, pp. 157–169, International Press, Cambridge, Mass, USA, 1994.

[3] S. Owa, “Properties of certain integral operators,” Southeast Asian Bulletin of Mathematics, vol. 24, no. 3, pp. 411–419, 2000.

[4] I. E. Bazileviˇc, “On a case of integrability in quadratures of the Loewner-Kufarev equation,”

Matematicheski˘ı Sbornik. Novaya Seriya, vol. 37(79), pp. 471–476, 1955.

[5] V. Ravichandran, A. Gangadharan, and M. Darus, “Fekete-Szeg¨o inequality for certain class of Bazilevic functions,” Far East Journal of Mathematical Sciences, vol. 15, no. 2, pp. 171–180, 2004.

[6] H. M. Srivastava and A. K. Mishra, “Applications of fractional calculus to parabolic starlike and uniformly convex functions,” Computers & Mathematics with Applications, vol. 39, no. 3-4, pp.

57–69, 2000.

[7] F. R. Keogh and E. P. Merkes, “A coefficient inequality for certain classes of analytic functions,”

Proceedings of the American Mathematical Society, vol. 20, no. 1, pp. 8–12, 1969.

[8] D. V. Prokhorov and J. Szynal, “Inverse coefficients for (α,β)-convex functions,” Annales Univer- sitatis Mariae Curie-Skłodowska. Sectio A, vol. 35, pp. 125–143 (1984), 1981.

[9] V. Ravichandran, Y. Polatoglu, M. Bolcal, and A. Sen, “Certain subclasses of starlike and convex functions of complex order,” Hacettepe Journal of Mathematics and Statistics, vol. 34, pp. 9–15, 2005.

[10] K. K. Dixit and S. K. Pal, “On a class of univalent functions related to complex order,” Indian Journal of Pure and Applied Mathematics, vol. 26, no. 9, pp. 889–896, 1995.

C. Ramachandran: Department of Mathematics, Easwari Engineering College, Ramapuram, Chennai, Tamil Nadu 600 089, India

Email address:[email protected]

S. Sivasubramanian: Department of Mathematics, Easwari Engineering College, Ramapuram, Chennai, Tamil Nadu 600 089, India

Email address:sivasaisastha@rediffmail.com

H. Silverman: Department of Mathematics, College of Charleston, Charleston, SC 29424, USA Email address:[email protected]

参照

関連したドキュメント

When α = 0, the class S s,σ ∗ (0, φ) represents the class of all bi-univalent Ma-Minda starlike functions with respect to symmetric points, whereas when α = 1, S s,σ ∗ (1, φ) is

Key words and phrases: Univalent functions, Starlike functions of order α, Convex functions of order α, Inverse functions, Coefficient estimates.. 2000 Mathematics

Srivastava, Inclusion relationships and argument properties for certain subclasses of multivalent functions asso- ciated with a family of linear operators, J.. Srivastava,

LAKSHMA, R., On certain classes of functions with bounded boundary rotation, Indian.. Pure

Keywords and phrases: Univalent functions; starlike functions; convex functions; close-to- convex functions; differential subordination; subordination; superordination; unit

Srivastava, Coefficient inequalities for certain classes of andytic and univalent functions,

starlike and convex functions related to generalized fractional calculus, Publ.. Robertson, On the therory of

Mocanu and $\mathrm{M}.\mathrm{O}$ .Reade, All alpha-convex functions are univalent and. starlike