• No results found

On Certain Subclasses of Meromorphically p-Valent Functions Associated with Integral Operators

N/A
N/A
Protected

Academic year: 2020

Share "On Certain Subclasses of Meromorphically p-Valent Functions Associated with Integral Operators"

Copied!
13
0
0

Loading.... (view fulltext now)

Full text

(1)

Vol. 4, No. 4, 2011, 435-447

ISSN 1307-5543 – www.ejpam.com

On Certain Subclasses of Meromorphically p-Valent Functions

Associated with Integral Operators

M. K. Aouf

, A. Shamandy, A. O. Mostafa and F. Z. El-Emam

Faculty of Science Mansoura university Mansoura, 35516, Egypt

Abstract. The object of the present paper is to introduce and study new classes of meromorphically p-valent functions associated with the integral operators

β,pandQαβ,p.

Key Words and Phrases: Meromorphic functions; Hadamard product; p-valent functions; differential subordination; integral operators.

1. Introduction

For any integerm>p, letPp,mdenote the class of functions of the form

f(z) = 1

zp + ∞

P

k=m

akzk(p∈N={1, 2, 3, . . .}), (1)

which are analytic andp−valent in the punctured unit disk

U∗={z:z∈Cand 0<|z|<1}=U\{0}. For convenience, we writeP

p,1−p=

P

p.

If f(z)and g(z)are analytic inU, we say that f(z) is subordinate to g(z), written fg

or f(z) g(z) (zU), if there exists a Schwarz function w(z) in U with w(0) = 0 and

|w(z)| < 1(zU), such that f(z) = g(w(z)), (zU). If g(z) is univalent in U, then the following equivalence, (cf., e.g.,[3]and[7]):

f(z)≺ g(z) (zU)⇔ f(0) =g(0)and f(U)⊂g(U). For functions f(z)Pp,m given by (1) and g(z)Pp,mdefined by

g(z) = 1

zp + ∞

P

k=m

bkzk (m>p,p∈N), (2)

Corresponding author.

Email addresses:mkaouf127yahoo.om(M. Aouf),shamandy16hotmail.om(A. Shamandy),

adelaeg254yahoo.om(A. Mostafa),fatma_elemamyahoo.om(F. El-Emam)

(2)

the Hadamard product (or convolution) of f(z)andg(z)is given by

(fg)(z) = 1

zp + ∞

P

k=m

akbkzk= (gf)(z). (3)

We now define the integral operatorsPβα,p,β,p:Pp,m→Pp,mas follows:

Pβα,pf(z) = β α

Γ(α) 1

+p z

R

0

+p−1



logz

t

‹α−1

f(t)d t

= 1

zp+ ∞

X

k=m

β

k+β+p

α

akzk

= 1

zp +

X

k=m

β k+β+p

α

zk

!

f(z) (4) (α,β >0;p∈N;f ∈P

p,m), andPβ0,pf(z) =P0f(z) = f(z) (α=0;β >0),

β,pf(z) = Γ(β+α) Γ(β)Γ(α)

1

+p z

R

0

+p−1



1 t

z

‹α−1

f(t)d t

= 1

zp +

Γ(β+α) Γ(β)

X

k=m

Γ(k+β+p) Γ(k+β+α+p)akz

k

= 1

zp +

Γ(β+α) Γ(β)

X

k=m

Γ(k+β+p) Γ(k+β+α+p)z

k

!

f(z) (5) (α >0;β >−1;p∈N;f ∈P

p,m), andQ0β,pf(z) =Q0f(z) = f(z) (α=0;β >−1),

Jβ,pf(z) = β

+p

z

R

0

+p−1f(t)d t

= 1

zp + ∞

X

k=m

β

k+β+pakz

k

= 1

zp + ∞

X

k=m

β k+β+pz

k

!

f(z) (6) (7) whereΓ(α)is the familiar Gamma function. We writeP1,αpf(z) =Ppαf(z)and

Pβα,1f(z) =Pβαf(z), where Ppαf(z),β,p:Pp,0Pp,0were investigated by Aqlan et al. [2],

Pβαf(z):P1,1→P1,1was investigated by Lashin[6]andJβ,p:

P

p,m

P

(3)

by many authors (see for example [1], [5], [13]and[16]). From (4), (5) and (6), we can see that

Jβ,pf(z) =1,pf(z) =Q 1

β,pf(z) (β >0),

z

Pβα,pf(z)

=βPβα,p1f(z)−(β+p)Pβα,pf(z) (α≥0;β >0) (8) and

z

β,pf(z)

= (β+α−1)Qβα,p1f(z)(β+α+p−1)β,pf(z)(α≥0;β >−1. (9) By using the integral operators Pβα,pf(z) andβ,pf(z), we define two subclasses ofPp,m as follows:

Definition 1. For fixed parameters A,B(1≤B<A≤1), a function f(z)Pp,m is said to be in the classPPp,m(β,α,λ,A,B)if

z

p+1

p

(1λ)Pβα,pf(z)

+λPβα,p1f(z)

11++BzAz(zU), (10)

whereα≥0,β >0,p∈Nandλ0.

Definition 2. For fixed parameters A,B(1≤B<A≤1), a function f(z)Pp,m is said to be in the classPQp,m(β,α,λ,A,B)if

z

p+1

p

(1−λ)

β,pf(z)

+λ

Qα−β,p1f(z)

≺ 1+Az

1+Bz(zU), (11) whereα≥0,β >−1, p∈Nandλ0.

We note that P1,1P (β,α,λ,A,B) = PPβ,α(λ,A,B) and PQ1,1(β,α,λ,A,B) = PQβ,α(λ,A,B) (see Lashin[6]).

In this paper, we obtain some properties of the classesPPp,m(β,α,λ,A,B)andPQp,m(β,α,λ,A,B). Our results generalize the work of Lashin[6].

2. Preliminaries

To derive our main results, we shall need the following lemmas.

Lemma 1([4]see also[7]). Let the function h(z)be analytic and convex (univalent) in U with h(0) =1andφ(z)given by

φ(z) =1+cp+mzp+m+cp+m+1zp+m+1+. . . . (12)

If

φ(z) +

(z)

(4)

then

φ(z)ψ(z) = γ

p+mz

γ p+m

z

R

0

t γ

p+m−1h(t)d th(z) (zU), andψ(z)is the best dominant of (13).

We denote byP(γ)the class of functionsϕ(z)given by

ϕ(z) =1+b1z+b2z2+. . . , (14) which are analytic inU and satisfy the following inequality:

Re(ϕ(z))> γ(0≤γ <1;zU).

Lemma 2([9]). Let the functionϕ(z), given by (14) be in the class P(γ). Then

Re(ϕ(z))≥2γ−1+2(1−γ)

1+|z| (0≤γ <1; zU).

Lemma 3([12]). IfϕjP(γj) (0≤γj<1; j=1, 2), then

ϕ1ϕ2P(γ3) (γ3=1−2(1−γ1)(1−γ2).

The result is the best possible.

For real or complex numbers a,b and c (c 6= 0,−1,−2, . . .), the Gauss hypergeometric function2F1 is defined inU by

2F1(a,b;c;z) = ∞

P

k=0

(a)k(b)k (c)k

zk

k!, (15)

where(x)kdenotes the Pochhammer symbol given by

(x)k=

(

x(x+1)(x+2). . .(x+k−1) (k∈N,x ∈C)

1 (k=0,x∈C\{0}).

We note that the series defined by (15) converges absolutely forzU and hence represents an analytic function in the open unit diskU (see[14]).

Lemma 4([14]). For real or complex numbers a,b and c (c6=0,−1,−2, . . .),

1

R

0

tb−1(1t)cb−1(1z t)−ad t= Γ(b)Γ(cb)

Γ(c) 2F1(a,b;c;z) (Re(c)>Re(b)>0); (16)

2F1(a,b;c;z) = (1−z)−a2F1(a,cb;c;

z

z−1); (17)

2F1(a,b;

a+b+1

2 ;

1 2) =

pπΓ(a+b+1 2 )

Γ(a+21)Γ(b+21); (18)

2F1(1, 1; 2;

z z+1) =

z+1

(5)

3. Main Results

Unless otherwise mentioned, we assume throughout this paper that

m>p, p∈N, α0, λ >0 and1B<A1.

Theorem 1. If f ∈PPp,m(β,α,λ,A,B) (β >0),then

z

p+1Pα β,pf(z)

pq1(z)≺

1+Az

1+Bz (zU), (20)

where the function q1(z)given by

q1(z) =

A B+ (1−

A

B)(1+Bz) −1

2F1(1, 1; β

λ(p+m)+1; Bz

Bz+1) (B6=0)

1+β+λ(βp+m)Az (B=0),

is the best dominant of (20). Furthermore,

Re

  −

zp+1

Pβα,pf(z)

p

  

> ρ(zU), (21)

where

ρ(β,p,λ,A,B) =

A B+ (1−

A

B)(1−B)− 1

2F1(1, 1; β

λ(p+m)+1; B

B−1) (B6=0)

1−β+λ(βp+m)A (B=0).

The result is the best possible.

Proof. Setting

φ(z) =−

zp+1

Pβα,pf(z)

p (zU). (22)

Then the functionφ(z)is of the form (12) and is analytic inU. Differentiating (22), and with the aid of the identity (8) we get

φ(z) +λzφ

(z)

β = −

zp+1 p

(1−λ)

Pβα,pf(z)

+λ

Pβα,p1f(z)

(6)

Now, by using Lemma 1 forγ=β

λ, we deduce that

φ(z) ≺ q1(z) =β

λz

β λ(p+m)

z

R

0

t β

λ(p+m)−1(1+At

1+Bt)d t

=

A B+ (1−

A

B)(1+Bz) −1

2F1(1, 1; β

λ(p+m)+1; Bz

Bz+1) (B6=0)

1+ β+λ(βp+m)Az (B=0),

by change of variables followed by the use of the identities (16) and (17) (witha=1,b= β λ andc=b+1). This proves the assertion (20) of Theorem 1. Next, to prove the assertion (21) of Theorem 1, it suffices to show that

inf

|z|<1{Re(q1(z))}=q1(−1). (24) Indeed, for|z| ≤r<1,

Re(1+Az 1+Bz)≥

1Ar

1Br.

Setting

G(s,z) =1+Asz

1+Bsz and(s) = β λ(p+m)s

β

λ(p+m)−1ds(0s1),

which is a positive measure on[0, 1], we get

q1(z) = 1

R

0

G(s,z)(s),

so that

Re(q1(z))≥

1

R

0

1−Asr

1−Bsrdµ(s) =q1(−r) (|z| ≤r<1).

Lettingr→1−in the above inequality, we obtain the assertion (24). The result in (21) is best possible as the functionq1(z)is the best dominant of (20).

Puttingλ= σ

1−σ(p+1)β(0< σ <

1

p+1;β >0)in Theorem 1, we get the following result. Corollary 1. If f(z)Pp,msatisfies

zp+1[

Pβα,pf(z)

+σz

Pβα,pf(z)

′′

]

p[1−σ(p+1)] ≺ 1+Az

1+Bz (zU), then

z

p+1Pα β,pf(z)

pq2(z)≺

1+Az

(7)

where the function q2(z)given by

q2(z) =

A B+ (1−

A

B)(1+Bz)− 1

2F1(1, 1;

1−σ(1−m) σ(p+m) ;

Bz

Bz+1) (B6=0) 1+11σσ((1p+m1))Az (B=0),

is the best dominant of (20). Furthermore,

Re

  −

zp+1Pβα,pf(z)

p

  

> ρ(p,σ,A,B) (zU),

where

ρ(p,σ,A,B) =

A B+ (1−

A

B)(1−B) −1

2F1(1, 1;1−σ

(1−m) σ(p+m) ;

B

B−1) (B6=0) 1 1−σ(p+1)

1−σ(1−m)A (B=0).

The result is the best possible.

Remark 1. For m=α=0and p=1, Corollary 1 reduces to the recent result of Patel and Sahoo [10, Theorem 1].

Taking A=1− 2pδ (0≤δ <p), B=1,m=2−pandλ=β (β >0)in Theorem 1 and using (18), we have the following corollary.

Corollary 2. If f(z)∈Pp,2p satisfies the following inequality

Re{−zp+1[(p+2)Pβα,pf(z)

+z

Pβα,pf(z)

′′

]}> δ(0≤δ <p; zU),

then

Re{−zp+1

Pβα,pf(z)

}> δ+ (pδ)(π

2−1) (zU).

The result is the best possible.

Remark 2. For α = 0, Corollary 2 reduces to the recent result of Srivastava and Patel [11, Corollary 2].

Takingδ=p(π−2)

4−π in Corollary 2, we have the following corollary. Corollary 3. If f(z)∈Pp,2p satisfies the following inequality

Re{−zp+1[(p+2)Pβα,pf(z)

+z

Pβα,pf(z)

′′

]}>p(π−2)

4−π (zU), then

Re{−zp+1

Pβα,pf(z)

}>0(zU).

(8)

Remark 3. Forα=0, Corollary 3 reduces to the result of Pap[8].

Taking A=1−2pδ (0≤δ <p), B=1,m=1−pandλ=β (β >0)in Theorem 1 and using (19), we have the following corollary.

Corollary 4. If f(z)∈Ppsatisfies the following inequality

Re{−zp+1[(p+2)Pβα,pf(z)

+z

Pβα,pf(z)

′′

]}> δ(0≤δ <p; zU),

then

Re{−zp+1

Pβα,pf(z)

}>p+2(pδ)(ln 2−1) (zU).

The result is the best possible.

Theorem 2. If f ∈PQp,m(β,α,λ,A,B) (β >−1), then

z

p+1Qα β,pf(z)

pq3(z)≺

1+Az

1+Bz (β >−1;zU), (25) where the function q3(z)given by

q3(z) =

A B+ (1−

A

B)(1+Bz)− 1

2F1(1, 1; β+α−1 λ(p+m)+1;

Bz

Bz+1) (B6=0) 1+ β+α−1

β+α+λ(p+m)−1Az (B=0),

is the best dominant of (25). Furthermore,

Re

  −

zp+1β,pf(z)

p

  

> η(zU), (26)

where

η(β,α,p,λ,A,B) =

A B+ (1−

A

B)(1−B) −1

2F1(1, 1; β+α−1 λ(p+m)+1;

B

B−1) (B6=0) 1 β+α−1

β+α+λ(p+m)1A (B=0).

The result is the best possible.

Proof. Setting

φ(z) =−

zp+1

β,pf(z)

(9)

Then the functionφ(z)is of the form (12) and is analytic inU. Differentiating (27), and with the aid of the identity (9) we get

φ(z) + λzφ

(z)

β+α−1 = −

zp+1 p

(1−λ)β,pf(z)

+λ

β,p1f(z)

11++Az

Bz (zU). (28)

Now, by using Lemma 1 forγ=β+λα−1, we deduce that

φ(z)≺q(z) =β+α−1

λ(p+m)zβ+α−1

λ(p+m)

z

R

0

t β+α−1

λ(p+m)−1(1+At

1+Bt)d t,

and the proof is completed similarly to Theorem 1.

Replacingφ(z)byzpPβα,pf(z) in (22) and following the lines of the proof of Theorem 1, we can prove the following result.

Theorem 3. If f ∈Pp,msatisfies

zp

n

(1−λ)Pβα,pf(z) +λPβα,p1f(z)

o

11++Az

Bz (β >0;zU), then

zpPβα,pf(z)≺q1(z)≺ 1+Az

1+Bz (β >0;zU), and

Re

zpPβα,pf(z)> ρ(β >0;zU),

where q1andρare given as in Theorem 1. The result is the best possible.

Replacingφ(z)byzpQαβ,pf(z)in (27) and following the lines of the proof of Theorem 2, we can prove the following result.

Theorem 4. If f ∈Pp,msatisfies

zpn(1−λ)β,pf(z) +λQαβ,p1f(z)o≺ 1+Az

1+Bz (β >−1;zU), then

zpQαβ,pf(z)≺q3(z)≺ 1+Az

1+Bz (β >−1;zU), and

Re

zpQαβ,pf(z)> η(β >−1;zU),

(10)

Theorem 5. Let−1Bj <Aj ≤1(j =1, 2) andβ >0. If each of the functions fj(z)∈

P

p

satisfies the following subordination condition

zp

n

(1−λ)Pβα,pfj(z) +λPβα,p1fj(z)

o

≺11++ABjz

jz

(j=1, 2;zU). (29)

then

zp

n

(1λ)Pβα,pH(z) +λPβα,p1H(z)o

1+ (1−2pγ)z

1−z (zU), (30) where

H(z) =Pβα,p(f1f2)(z) (31)

and

γ=1−4(A1−B1)(A2−B2) (1B1)(1−B2)

[1−1

2 2F1(1, 1;

β λ+1;

1 2)].

The result is the best possible when B1=B2=−1.

Proof. Suppose that each of the functions fj(z)Pp(j=1, 2)satisfies the condition (29). Then, by letting

ϕj(z) =zp{(1−λ)Pβα,p€fj(z)Š+λPβα,pfj(z}(j=1, 2), (32) we have

ϕj(z)P(γj) (γj= 1−Aj

1−Bj; j=1, 2).

Making use of the identity (8) in (32), we have

Pβα,p€fj(z)Š=β

λz

β λp

z

R

0

tβλ−1ϕj(t)d t (j=1, 2). (33)

From (31) and (33), we get

Pβα,pH(z) =

‚

β λz

β λp

z

R

0

tβλ−1ϕ

1(t)d t

Œ

‚

β λz

β λp

z

R

0

tβλ−1ϕ

2(t)d t

Œ

= β

λz

β λ−p

z

R

0

tβλ−1ϕ

0(t)d t (34)

where

ϕ0(z) = zpn(1−λ)Pβα,pH(z) +λPβα,p1H(z)o = β

λz

β λ

z

R

0

tβλ−1 ϕ1ϕ2(t)d t. (35)

Sinceϕ1(z)∈P(γ1)andϕ2(z)∈P(γ2), it follows from Lemma 3 that

(11)

According to Lemma 2, we have

Re{(ϕ1ϕ2)(z)≥2γ3−1+2(1−γ3)

1+|z| . (37)

Now by using (37) in (35) and then appealing to Lemma 4, we get Re{ϕo(z)} = β

λ

1

R

0

uβλ−1Re{(ϕ

1∗ϕ2)(uz)}du

βλ

1

R

0

uβλ−1(2γ

3−1+

2(1γ3) 1+u|z| )du > β

λ

1

R

0

uβλ−1(2γ

3−1+

2(1−γ3) 1+u )du

= 1−4(A1−B1)(A2−B2) (1−B1)(1−B2)

[1− β

λ

1

R

0

uβλ−1(1+u)−1du]

= 1−4(A1−B1)(A2−B2) (1−B1)(1−B2) [1−

1

2_2F1(1, 1;

β λ +1;

1 2)] = γ(zU).

which completes the proof of the assertion (30).

When B1 = B2 =−1, we consider the functions fj(z)∈Pp(j =1, 2), which satisfy (29) and

Pβα,p€fj(z)Š= β

λz

β λ−p

z

R

0

tβλ−1

1+A

jt

1−t

d t(j=1, 2), for which we have

ϕj(z) = 1+Ajt

1−t (j=1, 2)

and

(ϕ1ϕ2)(z) =1+(1+A1)(1+A2)z

1z .

Thus it follows from (35) and Lemma 4 that

ϕo(z) = β

λ

1

R

0

uβλ−1

1−(1+A1)(1+A2) +

(1+A1)(1+A2) 1−uz

du

= 1(1+A1)(1+A2) + (1+A1)(1+A2)(1−z)−1 2F1(1, 1;

β λ+1;

z z−1)

→ 1−(1+A1)(1+A2) + 1

2(1+A1)(1+A2)_2F1(1, 1;

β λ+1;

1 2) asz→ −1,

which evidently completes the proof of Theorem 5. LettingAj=1−

2ηj

p (0≤ηj<p),Bj=−1(j=1, 2),α=0 and λ

(12)

Corollary 5. If f ∈Ppsatisfies

Rezp

n

(1+)fj(z) +τz fj′(z)

o

> ηj (j=1, 2; zU),

then

Rezp

n

(1+)(f1f2)(z) +τz (f1f2)(z)′o

> γ,

where

γ=1−4(1− η1

p )(1− η2

p )[1−

1

2_2F1(1, 1; 1

τ+1;

1 2)].

Remark 4. For p=1, the result (asserted by Corollary 5 above) was also obtained by Yang[15].

Theorem 6. Let−1≤Bj<Aj≤1(j=1, 2)andβ >−1. If each of the functions fj(z)∈Pp

satisfies the following subordination condition

zp

n

(1λ)β,pfj(z) +λQαβ,p1fj(z)

o

≺ 11++ABjz

jz

(j=1, 2;zU).

then

zp

n

(1λ)β,pE(z) +λQαβ,p1E(z)o

1+ (1−2pξ)z

1−z (zU), where

E(z) =β,p(f1f2)(z)

and

ξ=1−4(A1−B1)(A2−B2) (1−B1)(1−B2) [1−

1

2_2F1(1, 1;

β+α−1

λ +1;

1 2)].

The result is the best possible when B1=B2=−1. The proof is similar to Theorem 5.

References

[1] M. Aouf, New criteria for multivalent meromorphic starlike functions of order alpha, Proc. Japan Acad. Ser. A, 69, 65-70. 1993.

[2] E. Aqlan, J. Jahangiri and S. Kulkarni, Certain integral operators applied to meromor-phicp-valent functions, J. Nat. Geom., 24, 111-120. 2003.

[3] T. Bulboaca, Differential Subordinations and Superordinations, Recent Results, House of Scientific Book Publ., Cluj-Napoca, 2005.

(13)

[5] V. Kumar and S. Shukla, Certain integrals for classes of p-valent meromorphic functions, Bull. Austral. Math. Soc. 25, 85–97. 1982.

[6] A. Lashin, On certain subclasses of meromorphic functions associated with certain inte-gral operators, Comput. Math. Appl. (To appear).

[7] S. Miller and P. Mocanu, Differential subordinations: Theory and Applications, Series on Monographs and Textbooks in pure and Applied mathematics (No. 225),Marcel Dekker, New York and Basel, 2000.

[8] M. Pap, On certain subclasses of meromorphic m-valent close-to-convex functions, Pure Math. Appl., 9, 155-163. 1998.

[9] D. Pashkouleva, The starlikeness and spiral-convexity of analytic functions, in: H.M. Srivastava and S.Owa (Editors), Current Topics in Analytic Function Theory, pp. 266-273, World Scientific Puplishing Company, Singapore, New Jersey, London and Hong Kong, 1992.

[10] J. Patel and P. Sahoo, On certain subclass of meromorphically univalent functions, Kyungpook Math. J. 42, 121-132. 2002.

[11] H. Srivastava and J. Patel, Applications of differential subordination to certain subclasses of meromorphically multivalent functions, J. Inequal. Pure Appl. Math. 6, no. 3, Art. 88, 1-15. 2005.

[12] J. Stankiewicz and Z. Stankiewicz, Some applications of the Hadamard convolution in the theory of functions, Ann. Univ. Mariae Curie-Sklodowska Sect. A, 40, 251-265. 1986.

[13] B. Uralegaddi and C. Somanatha, Certain classes of meromorphic multivalent functions, Tamkang J. Math. 23, 223-231. 1992.

[14] E. Whittaker and G. Watson, A Course on Modern Analysis: An Introduction to the General Theory of Infinite Processes and of Analytic Functions; With an Account of the Principal Transcendental Functions, Fourth Edition (Reprinted), Cambridge University Press, Cambridge, 1927.

[15] D. Yang, Certain convolution operators for meromorphic functions, South. Asian Bull. Math. 25, 175-186. 2001.

References

Related documents

In order to measure and track Bangladesh ’ s progress towards UHC and its financial risk protection indica- tors, we assessed incidence of catastrophic and impov- erishing

The study is crucial in unearthing psychosocial effects faced by War Victims among Freedom Fighters (MAU MAU) Those experiences are of great interest to the

Finally, we study the characterization of p -wavelet frames associated with p -FMRA on positive half-line R + using the shift-invariant space theory.. The paper is structured

The purpose of this analysis is: firstly, to determine the prominence of drug education workers in the State’s response to illicit drug use, within the broader landscape of

These decreased in drug release is due to increased thickness of the gel layer formed by mucoadhesive polymer, chitosan with increase path length and tortuosity..

Empirical results of PCSEmodel confirm that per capita GNI, Female labor force participation rate, Education, Infant mortality rate, and urbanization have statistically

While gender is not typically considered a modifiable factor, established patterns of health service utilisation that are associated with gender (ie, lower rates of preventive care