Bulletin of Mathematical Analysis and Applications ISSN: 1821-1291, URL:

advertisement
Bulletin of Mathematical Analysis and Applications
ISSN: 1821-1291, URL: http://www.bmathaa.org
Volume 2 Issue 1 (2010), Pages 25-41.
SOME PROPERTIES OF CERTAIN SUBCLASSES OF
MULTIVALENT FUNCTIONS INVOLVING THE
DZIOK-SRIVASTAVA OPERATOR
ZHI-GANG WANG, HAI-PING SHI
Abstract. The main purpose of the present paper is to derive such results as
inclusion relationships and convolution properties for certain new subclasses
of multivalent analytic functions involving the Dziok-Srivastava operator. The
results presented here would provide extensions of those given in earlier works.
Several other new results are also obtained.
1. Introduction and Preliminaries
Let ๐’œ๐‘ denote the class of functions of the form
๐‘“ (๐‘ง) = ๐‘ง ๐‘ +
∞
∑
๐‘Ž๐‘›+๐‘ ๐‘ง ๐‘›+๐‘
(๐‘ ∈ โ„• := {1, 2, 3, . . .}),
(1.1)
๐‘›=1
which are analytic in the open unit disk
๐•Œ := {๐‘ง : ๐‘ง ∈ โ„‚ and
โˆฃ๐‘งโˆฃ < 1}.
For simplicity, we write
๐’œ1 =: ๐’œ.
Let ๐‘“, ๐‘” ∈ ๐’œ๐‘ , where ๐‘“ is given by (1.1) and ๐‘” is de๏ฌned by
๐‘”(๐‘ง) = ๐‘ง ๐‘ +
∞
∑
๐‘๐‘›+๐‘ ๐‘ง ๐‘›+๐‘ .
๐‘›=1
Then the Hadamard product (or convolution) ๐‘“ ∗ ๐‘” of the functions ๐‘“ and ๐‘” is
de๏ฌned by
∞
∑
๐‘
(๐‘“ ∗ ๐‘”)(๐‘ง) := ๐‘ง +
๐‘Ž๐‘›+๐‘ ๐‘๐‘›+๐‘ ๐‘ง ๐‘›+๐‘ =: (๐‘” ∗ ๐‘“ )(๐‘ง).
๐‘›=1
For parameters
๐›ผ๐‘— ∈ โ„‚ (๐‘— = 1, . . . , ๐‘™)
−
and ๐›ฝ๐‘— ∈ โ„‚ โˆ– โ„ค−
0 (โ„ค0 := {0, −1, −2, . . .}; ๐‘— = 1, . . . , ๐‘š),
2000 Mathematics Subject Classi๏ฌcation. 30C45, 30C80.
Key words and phrases. Analytic functions; multivalent functions; subordination between analytic functions; Hadamard product (or convolution); Dziok-Srivastava operator; symmetric points;
conjugate points; symmetric conjugate points.
c
โƒ2010
Universiteti i Prishtineฬˆs, Prishtineฬˆ, Kosoveฬˆ.
Submitted February, 2010. Published February, 2010.
The present investigation was supported by the Scienti๏ฌc Research Fund of Hunan Provincial
Education Department under Grant 08C118 of the People’s Republic of China.
25
26
Z.-G. WANG, H.-P. SHI
the generalized hypergeometric function
๐‘™ ๐น๐‘š (๐›ผ1 , . . . , ๐›ผ๐‘™ ; ๐›ฝ1 , . . . , ๐›ฝ๐‘š ; ๐‘ง)
is de๏ฌned by the following in๏ฌnite series:
๐‘™ ๐น๐‘š (๐›ผ1 , . . . , ๐›ผ๐‘™ ; ๐›ฝ1 , . . . , ๐›ฝ๐‘š ; ๐‘ง)
:=
∞
∑
(๐›ผ1 )๐‘› ⋅ ⋅ ⋅ (๐›ผ๐‘™ )๐‘› ๐‘ง ๐‘›
(๐›ฝ1 )๐‘› ⋅ ⋅ ⋅ (๐›ฝ๐‘š )๐‘› ๐‘›!
๐‘›=0
(๐‘™ โ‰ฆ ๐‘š + 1; ๐‘™, ๐‘š ∈ โ„•0 := โ„• ∪ {0}; ๐‘ง ∈ ๐•Œ),
where (๐œ†)๐‘› is the Pochhammer symbol de๏ฌned by
โŽง
โŽจ 1
(๐œ†)๐‘› :=
โŽฉ
๐œ†(๐œ† + 1) ⋅ ⋅ ⋅ (๐œ† + ๐‘› − 1)
(๐‘› = 0),
(๐‘› ∈ โ„•).
Recently, Dziok and Srivastava [8] introduced a linear operator
๐ป๐‘ (๐›ผ1 , . . . , ๐›ผ๐‘™ ; ๐›ฝ, . . . , ๐›ฝ๐‘š ) : ๐’œ๐‘ −→ ๐’œ๐‘
de๏ฌned by the Hadamard product
๐ป๐‘ (๐›ผ1 , . . . , ๐›ผ๐‘™ ; ๐›ฝ1 , . . . , ๐›ฝ๐‘š )๐‘“ (๐‘ง) := [๐‘ง ๐‘ ๐‘™ ๐น๐‘š (๐›ผ1 , . . . , ๐›ผ๐‘™ ; ๐›ฝ1 , . . . , ๐›ฝ๐‘š )] ∗ ๐‘“ (๐‘ง)
(1.2)
(๐‘™ โ‰ฆ ๐‘š + 1; ๐‘™, ๐‘š ∈ โ„•0 ; ๐‘ง ∈ ๐•Œ).
If ๐‘“ ∈ ๐’œ๐‘ is given by (1.1), then we have
๐ป๐‘ (๐›ผ1 , . . . , ๐›ผ๐‘™ ; ๐›ฝ1 , . . . , ๐›ฝ๐‘š )๐‘“ (๐‘ง) = ๐‘ง ๐‘ +
∞
∑
๐‘ง ๐‘›+๐‘
(๐›ผ1 )๐‘› ⋅ ⋅ ⋅ (๐›ผ๐‘™ )๐‘›
๐‘Ž๐‘›+๐‘
(๐›ฝ1 )๐‘› ⋅ ⋅ ⋅ (๐›ฝ๐‘š )๐‘›
๐‘›!
๐‘›=1
(๐‘› ∈ โ„•).
In order to make the notation simple, we write
๐ป๐‘๐‘™,๐‘š (๐›ผ1 ) := ๐ป๐‘ (๐›ผ1 , . . . , ๐›ผ๐‘™ ; ๐›ฝ1 , . . . , ๐›ฝ๐‘š )
(๐‘™ โ‰ฆ ๐‘š + 1; ๐‘™, ๐‘š ∈ โ„•0 ).
It is easily veri๏ฌed from the de๏ฌnition (1.2) that
(
)′
๐‘ง ๐ป๐‘๐‘™,๐‘š (๐›ผ1 )๐‘“ (๐‘ง) = ๐›ผ1 ๐ป๐‘๐‘™,๐‘š (๐›ผ1 + 1)๐‘“ (๐‘ง) − (๐›ผ1 − ๐‘)๐ป๐‘๐‘™,๐‘š (๐›ผ1 )๐‘“ (๐‘ง).
(1.3)
Let ๐’ซ denote the class of functions of the form
∞
∑
๐‘๐‘› ๐‘ง ๐‘› ,
๐‘(๐‘ง) = 1 +
๐‘›=1
which are analytic and convex in ๐•Œ and satisfy the condition
ℜ(๐‘(๐‘ง)) > 0
(๐‘ง ∈ ๐•Œ).
For two functions ๐‘“ and ๐‘”, analytic in ๐•Œ, we say that the function ๐‘“ is subordinate
to ๐‘” in ๐•Œ, and write
๐‘“ (๐‘ง) โ‰บ ๐‘”(๐‘ง)
(๐‘ง ∈ ๐•Œ),
if there exists a Schwarz function ๐œ”, which is analytic in ๐•Œ with
๐œ”(0) = 0
and
โˆฃ๐œ”(๐‘ง)โˆฃ < 1
(๐‘ง ∈ ๐•Œ)
such that
(
)
๐‘“ (๐‘ง) = ๐‘” ๐œ”(๐‘ง)
(๐‘ง ∈ ๐•Œ).
Indeed, it is known that
๐‘“ (๐‘ง) โ‰บ ๐‘”(๐‘ง)
(๐‘ง ∈ ๐•Œ) =⇒ ๐‘“ (0) = ๐‘”(0)
and ๐‘“ (๐•Œ) ⊂ ๐‘”(๐•Œ).
SOME PROPERTIES OF CERTAIN SUBCLASSES OF MULTIVALENT FUNCTIONS
27
Furthermore, if the function ๐‘” is univalent in ๐•Œ, then we have the following equivalence:
๐‘“ (๐‘ง) โ‰บ ๐‘”(๐‘ง) (๐‘ง ∈ ๐•Œ) ⇐⇒ ๐‘“ (0) = ๐‘”(0) and ๐‘“ (๐•Œ) ⊂ ๐‘”(๐•Œ).
Throughout this paper, we assume that
(
)
2๐œ‹๐‘–
๐‘, ๐‘˜ ∈ โ„•, ๐‘™, ๐‘š ∈ โ„•0 , ๐œ€๐‘˜ = exp
,
๐‘˜
๐‘˜−1
)
1 ∑ −๐‘—๐‘ ( ๐‘™,๐‘š
๐ป๐‘ (๐›ผ1 )๐‘“ (๐œ€๐‘—๐‘˜ ๐‘ง) = ๐‘ง ๐‘ + ⋅ ⋅ ⋅
๐œ€๐‘˜
(๐‘“ ∈ ๐’œ๐‘ ),
(1.4)
๐‘˜ ๐‘—=0
]
1 [ ๐‘™,๐‘š
๐ป๐‘ (๐›ผ1 )๐‘“ (๐‘ง) + ๐ป๐‘๐‘™,๐‘š (๐›ผ1 )๐‘“ (๐‘ง) = ๐‘ง ๐‘ + ⋅ ⋅ ⋅
(๐‘“ ∈ ๐’œ๐‘ ), (1.5)
๐‘”๐‘๐‘™,๐‘š (๐›ผ1 ; ๐‘ง) =
2
and
]
1 [ ๐‘™,๐‘š
โ„Ž๐‘™,๐‘š
๐ป๐‘ (๐›ผ1 )๐‘“ (๐‘ง) − ๐ป๐‘๐‘™,๐‘š (๐›ผ1 )๐‘“ (−๐‘ง) = ๐‘ง ๐‘ + ⋅ ⋅ ⋅
(๐‘“ ∈ ๐’œ๐‘ ). (1.6)
๐‘ (๐›ผ1 ; ๐‘ง) =
2
Clearly, for ๐‘˜ = 1, we have
๐‘™,๐‘š
๐‘“๐‘,๐‘˜
(๐›ผ1 ; ๐‘ง) =
๐‘™,๐‘š
๐‘“๐‘,1
(๐›ผ1 ; ๐‘ง) = ๐ป๐‘๐‘™,๐‘š (๐›ผ1 )๐‘“ (๐‘ง).
In recent years, several authors obtained many interesting results involving the
Dziok-Srivastava operator ๐ป๐‘๐‘™,๐‘š (๐›ผ1 ) (see, for details, [1, 2, 3, 4, 6, 7, 8, 9, 11, 13,
14, 15, 17, 18, 19, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34]). In the present paper,
by making use of the Dziok-Srivastava operator ๐ป๐‘๐‘™,๐‘š (๐›ผ1 ) and the above-mentioned
principle of subordination between analytic functions, we introduce and investigate
the following subclasses of the class ๐’œ๐‘ of ๐‘-valent analytic functions.
๐‘™,๐‘š
De๏ฌnition 1.1. A function ๐‘“ ∈ ๐’œ๐‘ is said to be in the class โ„ฑ๐‘,๐‘˜
(๐›ผ; ๐›ผ1 ; ๐œ™) if it
satis๏ฌes the subordination condition
]
[
)′
)′
(
(
๐‘ง (1 − ๐›ผ) ๐ป๐‘๐‘™,๐‘š (๐›ผ1 )๐‘“ (๐‘ง) + ๐›ผ ๐ป๐‘๐‘™,๐‘š (๐›ผ1 + 1)๐‘“ (๐‘ง)
[
]
โ‰บ ๐œ™(๐‘ง)
(๐‘ง ∈ ๐•Œ), (1.7)
๐‘™,๐‘š
๐‘™,๐‘š
๐‘ (1 − ๐›ผ)๐‘“๐‘,๐‘˜
(๐›ผ1 ; ๐‘ง) + ๐›ผ๐‘“๐‘,๐‘˜
(๐›ผ1 + 1; ๐‘ง)
๐‘™,๐‘š
where ๐œ™ ∈ ๐’ซ, ๐‘“๐‘,๐‘˜
(๐›ผ1 ; ๐‘ง) is de๏ฌned by (1.4) and
๐‘™,๐‘š
๐‘“๐‘,๐‘˜
(๐›ผ1 + 1; ๐‘ง) โˆ•= 0
(๐‘ง ∈ ๐•Œ).
For simplicity, we write
๐‘™,๐‘š
๐‘™,๐‘š
โ„ฑ๐‘,๐‘˜
(0; ๐›ผ1 ; ๐œ™) =: โ„ฑ๐‘,๐‘˜
(๐›ผ1 ; ๐œ™).
Remark 1.1. If we set
๐‘ = 1, ๐‘™ = 2, ๐‘š = 1,
and ๐›ผ1 = ๐›ผ2 = ๐›ฝ1 = 1
๐‘™,๐‘š
โ„ฑ๐‘,๐‘˜
(๐›ผ; ๐›ผ1 ; ๐œ™),
in the class
then it reduces to the known class ๐’ฎ (๐‘˜) (๐›ผ; ๐œ™) of functions ๐›ผ-starlike with respect to ๐‘˜-symmetric points, which was studied earlier by
Parvatham and Radha [21]. If we set
๐‘ = 1, ๐‘™ = 2, ๐‘š = 1, ๐›ผ1 = ๐›ผ2 = ๐›ฝ1 = 1,
๐‘™,๐‘š
โ„ฑ๐‘,๐‘˜
(๐›ผ; ๐›ผ1 ; ๐œ™),
and ๐›ผ = 0
(๐‘˜)
in the class
then it reduces to the class ๐’ฎ (๐œ™) of functions starlike
with respect to ๐‘˜-symmetric points, which was considered by Wang et al. [33].
๐‘™,๐‘š
Furthermore, we note that the class โ„ฑ๐‘,๐‘˜
(๐›ผ1 ; ๐œ™) was introduced and investigated
recently by Wang et al. [34] (see also Huang and Liu [12] and Xu and Yang [35]).
28
Z.-G. WANG, H.-P. SHI
De๏ฌnition 1.2. A function ๐‘“ ∈ ๐’œ๐‘ is said to be in the class ๐’ข๐‘๐‘™,๐‘š (๐›ผ; ๐›ผ1 ; ๐œ™) if it
satis๏ฌes the subordination condition
[
]
(
)′
(
)′
๐‘ง (1 − ๐›ผ) ๐ป๐‘๐‘™,๐‘š (๐›ผ1 )๐‘“ (๐‘ง) + ๐›ผ ๐ป๐‘๐‘™,๐‘š (๐›ผ1 + 1)๐‘“ (๐‘ง)
[
]
โ‰บ ๐œ™(๐‘ง)
(๐‘ง ∈ ๐•Œ),
๐‘ (1 − ๐›ผ)๐‘”๐‘๐‘™,๐‘š (๐›ผ1 ; ๐‘ง) + ๐›ผ๐‘”๐‘๐‘™,๐‘š (๐›ผ1 + 1; ๐‘ง)
where ๐œ™ ∈ ๐’ซ, ๐‘”๐‘๐‘™,๐‘š (๐›ผ1 ; ๐‘ง) is de๏ฌned by (1.5) and
๐‘”๐‘๐‘™,๐‘š (๐›ผ1 + 1; ๐‘ง) โˆ•= 0
(๐‘ง ∈ ๐•Œ).
For simplicity, we write
๐’ข๐‘๐‘™,๐‘š (0; ๐›ผ1 ; ๐œ™) =: ๐’ข๐‘๐‘™,๐‘š (๐›ผ1 ; ๐œ™).
De๏ฌnition 1.3. A function ๐‘“ ∈ ๐’œ๐‘ is said to be in the class โ„‹๐‘๐‘™,๐‘š (๐›ผ; ๐›ผ1 ; ๐œ™) if it
satis๏ฌes the subordination condition
[
]
(
)′
(
)′
๐‘ง (1 − ๐›ผ) ๐ป๐‘๐‘™,๐‘š (๐›ผ1 )๐‘“ (๐‘ง) + ๐›ผ ๐ป๐‘๐‘™,๐‘š (๐›ผ1 + 1)๐‘“ (๐‘ง)
]
[
โ‰บ ๐œ™(๐‘ง)
(๐‘ง ∈ ๐•Œ),
๐‘™,๐‘š
๐‘ (1 − ๐›ผ)โ„Ž๐‘™,๐‘š
๐‘ (๐›ผ1 ; ๐‘ง) + ๐›ผโ„Ž๐‘ (๐›ผ1 + 1; ๐‘ง)
where ๐œ™ ∈ ๐’ซ, โ„Ž๐‘™,๐‘š
๐‘ (๐›ผ1 ; ๐‘ง) is de๏ฌned by (1.6) and
โ„Ž๐‘™,๐‘š
๐‘ (๐›ผ1 + 1; ๐‘ง) โˆ•= 0
(๐‘ง ∈ ๐•Œ).
For simplicity, we write
โ„‹๐‘๐‘™,๐‘š (0; ๐›ผ1 ; ๐œ™) =: โ„‹๐‘๐‘™,๐‘š (๐›ผ1 ; ๐œ™).
Remark 1.2. In 1996, Chen et al. [5] introduced and investigated a subclass
∗
๐’ฎ๐‘ ๐‘
(๐›ผ) of ๐’œ consisting of functions which are ๐›ผ-starlike with respect to symmetric
conjugate points and satisfy the inequality
(
)
๐‘ง [(1 − ๐›ผ)๐‘“ ′ (๐‘ง) + ๐›ผ(๐‘ง๐‘“ ′ (๐‘ง))′ ]
ℜ
>0
( ๐‘ง ∈ ๐•Œ),
(1 − ๐›ผ)๐‘‡๐‘ ๐‘ ๐‘“ (๐‘ง) + ๐›ผ๐‘ง(๐‘‡๐‘ ๐‘ ๐‘“ (๐‘ง))′
where
๐‘‡๐‘ ๐‘ ๐‘“ (๐‘ง) =
]
1[
๐‘“ (๐‘ง) − ๐‘“ (−๐‘ง) .
2
It is easy to see that, if we set
๐‘ = 1, ๐‘™ = 2, ๐‘š = 1, ๐›ผ1 = ๐›ผ2 = ๐›ฝ1 = 1, and ๐œ™(๐‘ง) =
1+๐‘ง
1−๐‘ง
∗
in the class โ„‹๐‘๐‘™,๐‘š (๐›ผ; ๐›ผ1 ; ๐œ™), then it reduces to the class ๐’ฎ๐‘ ๐‘
(๐›ผ).
De๏ฌnition 1.4. A function ๐‘“ ∈ ๐’œ๐‘ is said to be in the class ๐”‰๐‘™,๐‘š
๐‘,๐‘˜ (๐›ผ; ๐›ผ1 ; ๐œ™) if it
satis๏ฌes the subordination condition
[
]
(
)′
(
)′
๐‘ง (1 − ๐›ผ) ๐ป๐‘๐‘™,๐‘š (๐›ผ1 )๐‘“ (๐‘ง) + ๐›ผ ๐ป๐‘๐‘™,๐‘š (๐›ผ1 + 1)๐‘“ (๐‘ง)
[
]
โ‰บ ๐œ™(๐‘ง)
(๐‘ง ∈ ๐•Œ),
๐‘™,๐‘š
๐‘ (1 − ๐›ผ)๐”ฃ๐‘™,๐‘š
๐‘,๐‘˜ (๐›ผ1 ; ๐‘ง) + ๐›ผ๐”ฃ๐‘,๐‘˜ (๐›ผ1 + 1; ๐‘ง)
where ๐œ™ ∈ ๐’ซ, ๐”ฃ๐‘™,๐‘š
๐‘,๐‘˜ (๐›ผ1 ; ๐‘ง) is de๏ฌned as in (1.4) and
๐”ฃ๐‘™,๐‘š
๐‘,๐‘˜ (๐›ผ1 + 1; ๐‘ง) โˆ•= 0
(๐‘ง ∈ ๐•Œ).
SOME PROPERTIES OF CERTAIN SUBCLASSES OF MULTIVALENT FUNCTIONS
29
For simplicity, we write
๐‘™,๐‘š
๐”‰๐‘™,๐‘š
๐‘,๐‘˜ (0; ๐›ผ1 ; ๐œ™) =: ๐”‰๐‘,๐‘˜ (๐›ผ1 ; ๐œ™).
Remark 1.3. If we set
๐‘ = 1, ๐‘™ = 2, ๐‘š = 1,
and ๐›ผ1 = ๐›ผ2 = ๐›ฝ1 = 1
๐”‰๐‘™,๐‘š
๐‘,๐‘˜ (๐›ผ; ๐›ผ1 ; ๐œ™),
in the class
then it reduces to the known class ๐’ž (๐‘˜) (๐›ผ, ๐œ™) of functions
๐›ผ-close-to-convex with respect to ๐‘˜-symmetric points, which was also studied earlier
by Parvatham and Radha [21]. Furthermore, we also note that the class ๐”‰๐‘™,๐‘š
๐‘,๐‘˜ (๐›ผ1 ; ๐œ™)
was introduced and investigated recently by Wang et al. [34].
De๏ฌnition 1.5. A function ๐‘“ ∈ ๐’œ๐‘ is said to be in the class ๐”Š๐‘™,๐‘š
๐‘ (๐›ผ; ๐›ผ1 ; ๐œ™) if it
satis๏ฌes the subordination condition
]
[
)′
)′
(
(
๐‘ง (1 − ๐›ผ) ๐ป๐‘๐‘™,๐‘š (๐›ผ1 )๐‘“ (๐‘ง) + ๐›ผ ๐ป๐‘๐‘™,๐‘š (๐›ผ1 + 1)๐‘“ (๐‘ง)
]
[
โ‰บ ๐œ™(๐‘ง)
(๐‘ง ∈ ๐•Œ),
๐‘™,๐‘š
(๐›ผ
+
1;
๐‘ง)
(๐›ผ
;
๐‘ง)
+
๐›ผ๐”ค
๐‘ (1 − ๐›ผ)๐”ค๐‘™,๐‘š
๐‘
๐‘
1
1
where ๐œ™ ∈ ๐’ซ, ๐”ค๐‘™,๐‘š
๐‘ (๐›ผ1 ; ๐‘ง) is de๏ฌned as in (1.5) and
๐”ค๐‘™,๐‘š
๐‘ (๐›ผ1 + 1; ๐‘ง) โˆ•= 0
(๐‘ง ∈ ๐•Œ).
For simplicity, we write
๐‘™,๐‘š
๐”Š๐‘™,๐‘š
๐‘ (0; ๐›ผ1 ; ๐œ™) =: ๐”Š๐‘ (๐›ผ1 ; ๐œ™).
De๏ฌnition 1.6. A function ๐‘“ ∈ ๐’œ๐‘ is said to be in the class โ„Œ๐‘™,๐‘š
๐‘ (๐›ผ; ๐›ผ1 ; ๐œ™) if it
satis๏ฌes the subordination condition
]
[
)′
)′
(
(
๐‘ง (1 − ๐›ผ) ๐ป๐‘๐‘™,๐‘š (๐›ผ1 )๐‘“ (๐‘ง) + ๐›ผ ๐ป๐‘๐‘™,๐‘š (๐›ผ1 + 1)๐‘“ (๐‘ง)
]
[
โ‰บ ๐œ™(๐‘ง)
(๐‘ง ∈ ๐•Œ),
๐‘™,๐‘š
(๐›ผ
+
1;
๐‘ง)
(๐›ผ
;
๐‘ง)
+
๐›ผ๐”ฅ
๐‘ (1 − ๐›ผ)๐”ฅ๐‘™,๐‘š
๐‘
๐‘
1
1
where ๐œ™ ∈ ๐’ซ, ๐”ฅ๐‘™,๐‘š
๐‘ (๐›ผ1 ; ๐‘ง) is de๏ฌned as in (1.6) and
๐”ฅ๐‘™,๐‘š
๐‘ (๐›ผ1 + 1; ๐‘ง) โˆ•= 0
(๐‘ง ∈ ๐•Œ).
For simplicity, we write
๐‘™,๐‘š
โ„Œ๐‘™,๐‘š
๐‘ (0; ๐›ผ1 ; ๐œ™) =: โ„Œ๐‘ (๐›ผ1 ; ๐œ™).
In order to establish our main results, we need the following lemmas.
Lemma 1.1. (See [10, 16]) Let ๐›ฝ, ๐›พ ∈ โ„‚. Suppose that ๐œ™(๐‘ง) is convex and univalent
in ๐•Œ with
๐œ™(0) = 1 and ℜ(๐›ฝ๐œ™(๐‘ง) + ๐›พ) > 0
(๐‘ง ∈ ๐•Œ).
If ๐”ญ is analytic in ๐•Œ with ๐”ญ(0) = 1, then the subordination
๐”ญ(๐‘ง) +
๐‘ง๐”ญ′ (๐‘ง)
โ‰บ ๐œ™(๐‘ง)
๐›ฝ๐”ญ(๐‘ง) + ๐›พ
(๐‘ง ∈ ๐•Œ)
implies that
๐”ญ(๐‘ง) โ‰บ ๐œ™(๐‘ง)
(๐‘ง ∈ ๐•Œ).
30
Z.-G. WANG, H.-P. SHI
Lemma 1.2. (See [20]) Let ๐›ฝ, ๐›พ ∈ โ„‚. Suppose that ๐œ™(๐‘ง) is convex and univalent
in ๐•Œ with
๐œ™(0) = 1 and ℜ(๐›ฝ๐œ™(๐‘ง) + ๐›พ) > 0
(๐‘ง ∈ ๐•Œ).
Also let
๐”ฎ(๐‘ง) โ‰บ ๐œ™(๐‘ง)
(๐‘ง ∈ ๐•Œ).
If ๐”ญ ∈ ๐’ซ and satis๏ฌes the subordination
๐”ญ(๐‘ง) +
๐‘ง๐”ญ′ (๐‘ง)
โ‰บ ๐œ™(๐‘ง)
๐›ฝ๐”ฎ(๐‘ง) + ๐›พ
(๐‘ง ∈ ๐•Œ),
then
๐”ญ(๐‘ง) โ‰บ ๐œ™(๐‘ง)
(๐‘ง ∈ ๐•Œ).
๐‘™,๐‘š
Lemma 1.3. Let ๐‘“ ∈ โ„ฑ๐‘,๐‘˜
(๐›ผ; ๐›ผ1 ; ๐œ™). Then
[
]
(
)′
(
)′
๐‘™,๐‘š
๐‘™,๐‘š
๐‘ง (1 − ๐›ผ) ๐‘“๐‘,๐‘˜
(๐›ผ1 )๐‘“ (๐‘ง) + ๐›ผ ๐‘“๐‘,๐‘˜
(๐›ผ1 + 1)๐‘“ (๐‘ง)
[
]
โ‰บ ๐œ™(๐‘ง)
๐‘™,๐‘š
๐‘™,๐‘š
๐‘ (1 − ๐›ผ)๐‘“๐‘,๐‘˜
(๐›ผ1 ; ๐‘ง) + ๐›ผ๐‘“๐‘,๐‘˜
(๐›ผ1 + 1; ๐‘ง)
(๐‘ง ∈ ๐•Œ). (1.8)
Furthermore, if ๐œ™ ∈ ๐’ซ with
)
(
๐›ผ1
−๐‘ >0
(๐›ผ > 0; ๐‘ง ∈ ๐•Œ).
ℜ ๐‘๐œ™(๐‘ง) +
๐›ผ
Then
(
)′
๐‘™,๐‘š
๐‘ง ๐‘“๐‘,๐‘˜
(๐›ผ1 ; ๐‘ง)
โ‰บ ๐œ™(๐‘ง)
(๐‘ง ∈ ๐•Œ).
๐‘™,๐‘š
๐‘๐‘“๐‘,๐‘˜
(๐›ผ1 ; ๐‘ง)
Proof. Making use of (1.4), we have
๐‘™,๐‘š
๐‘“๐‘,๐‘˜
(๐›ผ1 ; ๐œ€๐‘—๐‘˜ ๐‘ง) =
๐‘˜−1
)
1 ∑ −๐‘›๐‘ ( ๐‘™,๐‘š
๐œ€๐‘˜
๐ป๐‘ (๐›ผ1 )๐‘“ (๐œ€๐‘›+๐‘—
๐‘ง)
๐‘˜
๐‘˜ ๐‘›=0
= ๐œ€๐‘—๐‘
๐‘˜ ⋅
๐‘˜−1
)
1 ∑ −(๐‘›+๐‘—)๐‘ ( ๐‘™,๐‘š
๐œ€๐‘˜
๐ป๐‘ (๐›ผ1 )๐‘“ (๐œ€๐‘›+๐‘—
๐‘ง)
๐‘˜
๐‘˜ ๐‘›=0
๐‘™,๐‘š
= ๐œ€๐‘—๐‘
๐‘˜ ๐‘“๐‘,๐‘˜ (๐›ผ1 ; ๐‘ง)
(1.9)
(๐‘— ∈ {0, 1, . . . , ๐‘˜ − 1}),
and
(
๐‘˜−1
)′
)
1 ∑ −๐‘—(๐‘−1) ( ๐‘™,๐‘š
๐‘™,๐‘š
๐‘“๐‘,๐‘˜
(๐›ผ1 ; ๐‘ง) =
๐œ€๐‘˜
๐ป๐‘ (๐›ผ1 )๐‘“ (๐œ€๐‘—๐‘˜ ๐‘ง).
๐‘˜ ๐‘›=0
(1.10)
Replacing ๐›ผ1 by ๐›ผ1 + 1 in (1.9) and (1.10), respectively, we get
๐‘™,๐‘š
๐‘™,๐‘š
๐‘“๐‘,๐‘˜
(๐›ผ1 + 1; ๐œ€๐‘—๐‘˜ ๐‘ง) = ๐œ€๐‘—๐‘
๐‘˜ ๐‘“๐‘,๐‘˜ (๐›ผ1 + 1; ๐‘ง)
(๐‘— ∈ {0, 1, . . . , ๐‘˜ − 1}),
(1.11)
๐‘˜−1
)′
)
1 ∑ −๐‘—(๐‘−1) ( ๐‘™,๐‘š
๐‘™,๐‘š
๐œ€๐‘˜
๐ป๐‘ (๐›ผ1 + 1)๐‘“ (๐œ€๐‘—๐‘˜ ๐‘ง).
๐‘“๐‘,๐‘˜
(๐›ผ1 + 1; ๐‘ง) =
๐‘˜ ๐‘›=0
(1.12)
and
(
SOME PROPERTIES OF CERTAIN SUBCLASSES OF MULTIVALENT FUNCTIONS
31
From (1.9) to (1.12), we get
[
]
(
)′
(
)′
๐‘™,๐‘š
๐‘™,๐‘š
๐‘ง (1 − ๐›ผ) ๐‘“๐‘,๐‘˜
(๐›ผ1 )๐‘“ (๐‘ง) + ๐›ผ ๐‘“๐‘,๐‘˜
(๐›ผ1 + 1)๐‘“ (๐‘ง)
[
]
๐‘™,๐‘š
๐‘™,๐‘š
๐‘ (1 − ๐›ผ)๐‘“๐‘,๐‘˜
(๐›ผ1 ; ๐‘ง) + ๐›ผ๐‘“๐‘,๐‘˜
(๐›ผ1 + 1; ๐‘ง)
]
[
(
)′
(
)′
๐‘˜−1 −๐‘—(๐‘−1) ๐‘ง (1 − ๐›ผ) ๐ป ๐‘™,๐‘š (๐›ผ )๐‘“ (๐œ€๐‘— ๐‘ง) + ๐›ผ ๐ป ๐‘™,๐‘š (๐›ผ + 1)๐‘“ (๐œ€๐‘— ๐‘ง)
1
1
๐‘
๐‘
๐‘˜
๐‘˜
1 ∑ ๐œ€๐‘˜
[
]
=
๐‘™,๐‘š
๐‘™,๐‘š
๐‘˜ ๐‘—=0
๐‘ (1 − ๐›ผ)๐‘“๐‘,๐‘˜
(๐›ผ1 ; ๐‘ง) + ๐›ผ๐‘“๐‘,๐‘˜
(๐›ผ1 + 1; ๐‘ง)
[
( ๐‘™,๐‘š
)′ ๐‘—
( ๐‘™,๐‘š
)′ ๐‘— ]
๐‘—
๐‘˜−1
๐œ€
๐‘ง
(1
−
๐›ผ)
๐ป
(๐›ผ
)๐‘“
(๐œ€
๐‘ง)
+
๐›ผ
๐ป
(๐›ผ
+
1)๐‘“
(๐œ€๐‘˜ ๐‘ง)
∑
1
1
๐‘
๐‘
๐‘˜
๐‘˜
1
[
]
=
.
๐‘˜ ๐‘—=0
๐‘ (1 − ๐›ผ)๐‘“ ๐‘™,๐‘š (๐›ผ ; ๐œ€๐‘— ๐‘ง) + ๐›ผ๐‘“ ๐‘™,๐‘š (๐›ผ + 1; ๐œ€๐‘— ๐‘ง)
๐‘,๐‘˜
1
๐‘˜
๐‘,๐‘˜
1
๐‘˜
(1.13)
๐‘ž,๐‘ 
Moreover, since ๐‘“ ∈ โ„ฑ๐‘,๐‘˜
(๐›ผ; ๐›ผ1 ; ๐œ™), it follows that
[
]
)′
)′
(
(
๐œ€๐‘—๐‘˜ ๐‘ง (1 − ๐›ผ) ๐ป๐‘๐‘™,๐‘š (๐›ผ1 )๐‘“ (๐œ€๐‘—๐‘˜ ๐‘ง) + ๐›ผ ๐ป๐‘๐‘™,๐‘š (๐›ผ1 + 1)๐‘“ (๐œ€๐‘—๐‘˜ ๐‘ง)
[
]
โ‰บ ๐œ™(๐‘ง)
๐‘™,๐‘š
๐‘™,๐‘š
๐‘ (1 − ๐›ผ)๐‘“๐‘,๐‘˜
(๐›ผ1 ; ๐œ€๐‘—๐‘˜ ๐‘ง) + ๐›ผ๐‘“๐‘,๐‘˜
(๐›ผ1 + 1; ๐œ€๐‘—๐‘˜ ๐‘ง)
(1.14)
(๐‘ง ∈ ๐•Œ; ๐‘— ∈ {0, 1, . . . , ๐‘˜ − 1}).
By noting that ๐œ™(๐‘ง) is convex and univalent in ๐•Œ, from (1.13) and (1.14), we
conclude that the assertion (1.8) of Lemma 1.3 holds true.
Next, making use of the relationships (1.3) and (1.4), we know that
๐‘˜−1
(
)′
)
๐›ผ1 ∑ −๐‘—๐‘ ( ๐‘™,๐‘š
๐‘™,๐‘š
๐‘™,๐‘š
๐‘ง ๐‘“๐‘,๐‘˜
๐œ€๐‘˜
๐ป๐‘ (๐›ผ1 + 1)๐‘“ (๐œ€๐‘—๐‘˜ ๐‘ง)
(๐›ผ1 ; ๐‘ง) + (๐›ผ1 − ๐‘)๐‘“๐‘,๐‘˜
(๐›ผ1 ; ๐‘ง) =
๐‘˜ ๐‘—=0
๐‘™,๐‘š
= ๐›ผ1 ๐‘“๐‘,๐‘˜
(๐›ผ1 + 1; ๐‘ง).
(1.15)
๐‘™,๐‘š
Let ๐‘“ ∈ โ„ฑ๐‘,๐‘˜
(๐›ผ; ๐›ผ1 ; ๐œ™) and suppose that
๐œ“(๐‘ง) =
(
)′
๐‘™,๐‘š
๐‘ง ๐‘“๐‘,๐‘˜
(๐›ผ1 ; ๐‘ง)
๐‘™,๐‘š
๐‘๐‘“๐‘,๐‘˜
(๐›ผ1 ; ๐‘ง)
(๐‘ง ∈ ๐•Œ).
(1.16)
Then ๐œ“ is analytic in ๐•Œ and ๐œ“(0) = 1. It follows from (1.15) and (1.16) that
๐›ผ1 − ๐‘ + ๐‘๐œ“(๐‘ง) = ๐›ผ1
๐‘™,๐‘š
๐‘“๐‘,๐‘˜
(๐›ผ1 + 1; ๐‘ง)
๐‘™,๐‘š
๐‘“๐‘,๐‘˜
(๐›ผ1 ; ๐‘ง)
(๐‘ง ∈ ๐•Œ).
(1.17)
From (1.16) and (1.17), we have
(
)′
๐‘
๐‘™,๐‘š
๐‘™,๐‘š
๐‘ง ๐‘“๐‘,๐‘˜
(๐›ผ1 + 1; ๐‘ง) =
[๐‘ง๐œ“ ′ (๐‘ง) + (๐›ผ1 − ๐‘ + ๐‘๐œ“(๐‘ง))๐œ“(๐‘ง)]๐‘“๐‘,๐‘˜
(๐›ผ1 ; ๐‘ง).
๐›ผ1
(1.18)
32
Z.-G. WANG, H.-P. SHI
It now follows from (1.8), (1.16), (1.17) and (1.18) that
[
]
(
)′
(
)′
๐‘™,๐‘š
๐‘™,๐‘š
๐‘ง (1 − ๐›ผ) ๐‘“๐‘,๐‘˜
(๐›ผ1 )๐‘“ (๐‘ง) + ๐›ผ ๐‘“๐‘,๐‘˜
(๐›ผ1 + 1)๐‘“ (๐‘ง)
[
]
๐‘™,๐‘š
๐‘™,๐‘š
๐‘ (1 − ๐›ผ)๐‘“๐‘,๐‘˜
(๐›ผ1 ; ๐‘ง) + ๐›ผ๐‘“๐‘,๐‘˜
(๐›ผ1 + 1; ๐‘ง)
=
=
=
๐‘™,๐‘š
๐›ผ
′
๐›ผ1 ๐‘[๐‘ง๐œ“ (๐‘ง) + (๐›ผ1 − ๐‘ + ๐‘๐œ“(๐‘ง))๐œ“(๐‘ง)]๐‘“๐‘,๐‘˜ (๐›ผ1 ; ๐‘ง)
๐‘™,๐‘š
๐‘™,๐‘š
๐‘(1 − ๐›ผ)๐‘“๐‘,๐‘˜
(๐›ผ1 ; ๐‘ง) + ๐›ผ๐›ผ1 ๐‘(๐›ผ1 − ๐‘ + ๐‘๐œ“(๐‘ง))๐‘“๐‘,๐‘˜
(๐›ผ1 ; ๐‘ง)
๐›ผ
′
๐›ผ)๐œ“(๐‘ง) + ๐›ผ1 [๐‘ง๐œ“ (๐‘ง) + (๐›ผ1 − ๐‘ + ๐‘๐œ“(๐‘ง))๐œ“(๐‘ง)]
(1 − ๐›ผ) + ๐›ผ๐›ผ1 (๐›ผ1 − ๐‘ + ๐‘๐œ“(๐‘ง))
๐‘™,๐‘š
๐‘(1 − ๐›ผ)๐œ“(๐‘ง)๐‘“๐‘,๐‘˜
(๐›ผ1 ; ๐‘ง) +
(1 −
๐›ผ
′
๐›ผ1 ๐‘ง๐œ“ (๐‘ง)
[
+ (1 − ๐›ผ) +
(1 − ๐›ผ) +
๐›ผ
๐›ผ1 (๐›ผ1
๐›ผ
๐›ผ1 (๐›ผ1
]
− ๐‘ + ๐‘๐œ“(๐‘ง)) ๐œ“(๐‘ง)
− ๐‘ + ๐‘๐œ“(๐‘ง))
′
= ๐œ“(๐‘ง) +
๐›ผ1
๐›ผ
๐‘ง๐œ“ (๐‘ง)
โ‰บ ๐œ™(๐‘ง).
− ๐‘ + ๐‘๐œ“(๐‘ง)
(1.19)
Since
)
(
๐›ผ1
−๐‘ >0
(๐›ผ > 0; ๐‘ง ∈ ๐•Œ).
ℜ ๐‘๐œ™(๐‘ง) +
๐›ผ
Thus, by (1.19) and Lemma 1.1, we know that
(
)′
๐‘™,๐‘š
๐‘ง ๐‘“๐‘,๐‘˜
(๐›ผ1 ; ๐‘ง)
๐œ“(๐‘ง) =
โ‰บ ๐œ™(๐‘ง).
๐‘™,๐‘š
๐‘๐‘“๐‘,๐‘˜
(๐›ผ1 ; ๐‘ง)
This completes the proof of Lemma 1.3.
โ–ก
By similarly applying the method of proof of Lemma 1.3 for the classes ๐’ข๐‘๐‘™,๐‘š (๐›ผ; ๐›ผ1 ; ๐œ™)
and โ„‹๐‘๐‘™,๐‘š (๐›ผ; ๐›ผ1 ; ๐œ™), we get the following results.
Lemma 1.4. Let ๐‘“ ∈ ๐’ข๐‘๐‘™,๐‘š (๐›ผ; ๐›ผ1 ; ๐œ™). Then
]
[
)′
)′
(
(
๐‘ง (1 − ๐›ผ) ๐‘”๐‘๐‘™,๐‘š (๐›ผ1 )๐‘“ (๐‘ง) + ๐›ผ ๐‘”๐‘๐‘™,๐‘š (๐›ผ1 + 1)๐‘“ (๐‘ง)
]
[
โ‰บ ๐œ™(๐‘ง)
๐‘ (1 − ๐›ผ)๐‘”๐‘๐‘™,๐‘š (๐›ผ1 ; ๐‘ง) + ๐›ผ๐‘”๐‘๐‘™,๐‘š (๐›ผ1 + 1; ๐‘ง)
(๐‘ง ∈ ๐•Œ).
Furthermore, if ๐œ™ ∈ ๐’ซ with
(
)
๐›ผ1
ℜ ๐‘๐œ™(๐‘ง) +
−๐‘ >0
(๐›ผ > 0; ๐‘ง ∈ ๐•Œ).
๐›ผ
Then
(
)′
๐‘ง ๐‘”๐‘๐‘™,๐‘š (๐›ผ1 ; ๐‘ง)
โ‰บ ๐œ™(๐‘ง)
(๐‘ง ∈ ๐•Œ).
๐‘๐‘”๐‘๐‘™,๐‘š (๐›ผ1 ; ๐‘ง)
Lemma 1.5. Let ๐‘“ ∈ โ„‹๐‘๐‘™,๐‘š (๐›ผ; ๐›ผ1 ; ๐œ™). Then
[
]
(
)′
( ๐‘™,๐‘š
)′
๐‘ง (1 − ๐›ผ) โ„Ž๐‘™,๐‘š
(๐‘ง)
+
๐›ผ
โ„Ž
(๐‘ง)
(๐›ผ
)๐‘“
(๐›ผ
+
1)๐‘“
1
1
๐‘
๐‘
[
]
โ‰บ ๐œ™(๐‘ง)
๐‘™,๐‘š
๐‘™,๐‘š
๐‘ (1 − ๐›ผ)โ„Ž๐‘ (๐›ผ1 ; ๐‘ง) + ๐›ผโ„Ž๐‘ (๐›ผ1 + 1; ๐‘ง)
(๐‘ง ∈ ๐•Œ).
SOME PROPERTIES OF CERTAIN SUBCLASSES OF MULTIVALENT FUNCTIONS
33
Furthermore, if ๐œ™ ∈ ๐’ซ with
(
)
๐›ผ1
ℜ ๐‘๐œ™(๐‘ง) +
−๐‘ >0
๐›ผ
(๐›ผ > 0; ๐‘ง ∈ ๐•Œ).
Then
(
)′
๐‘ง โ„Ž๐‘™,๐‘š
๐‘ (๐›ผ1 ; ๐‘ง)
๐‘โ„Ž๐‘™,๐‘š
๐‘ (๐›ผ1 ; ๐‘ง)
โ‰บ ๐œ™(๐‘ง)
(๐‘ง ∈ ๐•Œ).
In the present paper, we aim at proving such results as inclusion relationships
๐‘™,๐‘š
and convolution properties for the function classes โ„ฑ๐‘,๐‘˜
(๐›ผ; ๐›ผ1 ; ๐œ™), ๐’ข๐‘๐‘™,๐‘š (๐›ผ; ๐›ผ1 ; ๐œ™),
๐‘™,๐‘š
๐‘™,๐‘š
โ„‹๐‘๐‘™,๐‘š (๐›ผ; ๐›ผ1 ; ๐œ™), ๐”‰๐‘™,๐‘š
๐‘,๐‘˜ (๐›ผ; ๐›ผ1 ; ๐œ™), ๐”Š๐‘ (๐›ผ; ๐›ผ1 ; ๐œ™), and โ„Œ๐‘ (๐›ผ; ๐›ผ1 ; ๐œ™). The results presented here would provide extensions of those given in earlier works. Several other
new results are also obtained.
2. A Set of Inclusion Relationships
๐‘™,๐‘š
At ๏ฌrst, we provide some inclusion relationships for the classes โ„ฑ๐‘,๐‘˜
(๐›ผ; ๐›ผ1 ; ๐œ™),
๐‘™,๐‘š
๐‘™,๐‘š
๐’ข๐‘๐‘™,๐‘š (๐›ผ; ๐›ผ1 ; ๐œ™), โ„‹๐‘๐‘™,๐‘š (๐›ผ; ๐›ผ1 ; ๐œ™), ๐”‰๐‘™,๐‘š
๐‘,๐‘˜ (๐›ผ; ๐›ผ1 ; ๐œ™), ๐”Š๐‘ (๐›ผ; ๐›ผ1 ; ๐œ™), and โ„Œ๐‘ (๐›ผ; ๐›ผ1 ; ๐œ™), which
were de๏ฌned in the preceding section.
Theorem 2.1. Let ๐œ™ ∈ ๐’ซ with
(
)
๐›ผ1
ℜ ๐‘๐œ™(๐‘ง) +
−๐‘ >0
๐›ผ
(๐›ผ > 0; ๐‘ง ∈ ๐•Œ).
Then
๐‘™,๐‘š
๐‘™,๐‘š
โ„ฑ๐‘,๐‘˜
(๐›ผ; ๐›ผ1 ; ๐œ™) ⊂ โ„ฑ๐‘,๐‘˜
(๐›ผ1 ; ๐œ™).
๐‘™,๐‘š
Proof. Let ๐‘“ ∈ โ„ฑ๐‘,๐‘˜
(๐›ผ; ๐›ผ1 ; ๐œ™) and suppose that
๐‘ž(๐‘ง) =
(
)′
๐‘ง ๐ป๐‘๐‘™,๐‘š (๐›ผ1 ; ๐‘ง)๐‘“ (๐‘ง)
๐‘™,๐‘š
๐‘๐‘“๐‘,๐‘˜
(๐›ผ1 ; ๐‘ง)
(๐‘ง ∈ ๐•Œ).
(2.1)
Then ๐‘ž is analytic in ๐•Œ and ๐‘ž(0) = 1. It follows from (1.3) and (2.1) that
๐‘™,๐‘š
๐‘ž(๐‘ง)๐‘“๐‘,๐‘˜
(๐›ผ1 ; ๐‘ง) =
๐›ผ1 ๐‘™,๐‘š
๐›ผ1 − ๐‘ ๐‘™,๐‘š
๐ป๐‘ (๐›ผ1 + 1)๐‘“ (๐‘ง) −
๐ป๐‘ (๐›ผ1 )๐‘“ (๐‘ง).
๐‘
๐‘
(2.2)
Di๏ฌ€erentiating both sides of (2.2) with respect to ๐‘ง and using (2.1), we have
(
)′ โŽž
(
)′
๐‘™,๐‘š
๐‘ง
๐‘“
(๐›ผ
;
๐‘ง)
1
๐‘,๐‘˜
๐›ผ1 ๐‘ง ๐ป๐‘๐‘™,๐‘š (๐›ผ1 + 1)๐‘“ (๐‘ง)
โŽœ
โŽŸ
′
๐‘ง๐‘ž (๐‘ง) + โŽ๐›ผ1 − ๐‘ +
.
โŽ  ๐‘ž(๐‘ง) =
๐‘™,๐‘š
๐‘™,๐‘š
๐‘
๐‘“๐‘,๐‘˜
(๐›ผ1 ; ๐‘ง)
๐‘“๐‘,๐‘˜
(๐›ผ1 ; ๐‘ง)
โŽ›
(2.3)
34
Z.-G. WANG, H.-P. SHI
It now follows from (1.7), (1.17), (2.1) and (2.3) that
[
]
(
)′
(
)′
๐‘ง (1 − ๐›ผ) ๐ป๐‘๐‘™,๐‘š (๐›ผ1 )๐‘“ (๐‘ง) + ๐›ผ ๐ป๐‘๐‘™,๐‘š (๐›ผ1 + 1)๐‘“ (๐‘ง)
[
]
๐‘™,๐‘š
๐‘™,๐‘š
๐‘ (1 − ๐›ผ)๐‘“๐‘,๐‘˜
(๐›ผ1 ; ๐‘ง) + ๐›ผ๐‘“๐‘,๐‘˜
(๐›ผ1 + 1; ๐‘ง)
=
=
=
๐‘™,๐‘š
๐‘™,๐‘š
๐‘(1 − ๐›ผ)๐‘ž(๐‘ง)๐‘“๐‘,๐‘˜
(๐›ผ1 ; ๐‘ง) + ๐›ผ๐›ผ1 ๐‘ [๐‘ง๐‘ž ′ (๐‘ง) + (๐›ผ1 − ๐‘ + ๐‘๐œ“(๐‘ง))๐‘ž(๐‘ง)] ๐‘“๐‘,๐‘˜
(๐›ผ1 ; ๐‘ง)
]
[
๐‘™,๐‘š
๐‘™,๐‘š
(๐›ผ1 ; ๐‘ง)
๐‘ (1 − ๐›ผ)๐‘“๐‘,๐‘˜
(๐›ผ1 ; ๐‘ง) + ๐›ผ๐›ผ1 (๐›ผ1 − ๐‘ + ๐‘๐œ“(๐‘ง))๐‘“๐‘,๐‘˜
๐›ผ
๐›ผ1
(1 − ๐›ผ)๐‘ž(๐‘ง) +
[๐‘ง๐‘ž ′ (๐‘ง) + (๐›ผ1 − ๐‘ + ๐‘๐œ“(๐‘ง))๐‘ž(๐‘ง)]
(1 − ๐›ผ) + ๐›ผ๐›ผ1 (๐›ผ1 − ๐‘ + ๐‘๐œ“(๐‘ง))
[
]
๐›ผ
๐›ผ
′
๐‘ง๐‘ž
(๐‘ง)
+
(1
−
๐›ผ)
+
(๐›ผ
−
๐‘
+
๐‘๐œ“(๐‘ง))
๐‘ž(๐‘ง)
1
๐›ผ1
๐›ผ1
(1 − ๐›ผ) +
๐›ผ
๐›ผ1 (๐›ผ1
− ๐‘ + ๐‘๐œ“(๐‘ง))
′
= ๐‘ž(๐‘ง) +
๐›ผ1
๐›ผ
๐‘ง๐‘ž (๐‘ง)
โ‰บ ๐œ™(๐‘ง)
− ๐‘ + ๐‘๐œ“(๐‘ง)
(๐‘ง ∈ ๐•Œ).
(2.4)
Moreover, since
(
)
๐›ผ1
ℜ ๐‘๐œ™(๐‘ง) +
−๐‘ >0
(๐›ผ > 0; ๐‘ง ∈ ๐•Œ),
๐›ผ
by Lemma 1.1, we know that
(
)′
๐‘™,๐‘š
๐‘ง ๐‘“๐‘,๐‘˜
(๐›ผ1 ; ๐‘ง)
๐œ“(๐‘ง) =
โ‰บ ๐œ™(๐‘ง)
(๐‘ง ∈ ๐•Œ).
๐‘™,๐‘š
๐‘๐‘“๐‘,๐‘˜
(๐›ผ1 ; ๐‘ง)
Thus, an application of Lemma 1.2 to (2.4), we have
๐‘ž(๐‘ง) โ‰บ ๐œ™(๐‘ง)
that is ๐‘“ ∈
๐‘™,๐‘š
โ„ฑ๐‘,๐‘˜
(๐›ผ1 ; ๐œ™).
(๐‘ง ∈ ๐•Œ),
This implies that
๐‘™,๐‘š
๐‘™,๐‘š
โ„ฑ๐‘,๐‘˜
(๐›ผ; ๐›ผ1 ; ๐œ™) ⊂ โ„ฑ๐‘,๐‘˜
(๐›ผ1 ; ๐œ™).
Hence the proof of Theorem 2.1 is complete.
โ–ก
In view of Lemmas 1.4 and 1.5, by similarly applying the method of proof of
Theorem 2.1 for the classes ๐’ข๐‘๐‘™,๐‘š (๐›ผ; ๐›ผ1 ; ๐œ™) and โ„‹๐‘๐‘™,๐‘š (๐›ผ; ๐›ผ1 ; ๐œ™), we easily get the
following inclusion relationships.
Corollary 2.1. Let ๐œ™ ∈ ๐’ซ with
)
(
๐›ผ1
−๐‘ >0
(๐›ผ > 0; ๐‘ง ∈ ๐•Œ).
ℜ ๐‘๐œ™(๐‘ง) +
๐›ผ
Then
๐’ข๐‘๐‘™,๐‘š (๐›ผ; ๐›ผ1 ; ๐œ™) ⊂ ๐’ข๐‘๐‘™,๐‘š (๐›ผ1 ; ๐œ™).
Corollary 2.2. Let ๐œ™ ∈ ๐’ซ with
(
)
๐›ผ1
−๐‘ >0
(๐›ผ > 0; ๐‘ง ∈ ๐•Œ).
ℜ ๐‘๐œ™(๐‘ง) +
๐›ผ
Then
โ„‹๐‘๐‘™,๐‘š (๐›ผ; ๐›ผ1 ; ๐œ™) ⊂ โ„‹๐‘๐‘™,๐‘š (๐›ผ1 ; ๐œ™).
SOME PROPERTIES OF CERTAIN SUBCLASSES OF MULTIVALENT FUNCTIONS
Theorem 2.2. Let ๐œ™ ∈ ๐’ซ with
(
)
๐›ผ1
ℜ ๐‘๐œ™(๐‘ง) +
−๐‘ >0
(๐›ผ > 0; ๐‘ง ∈ ๐•Œ).
๐›ผ
Then
๐‘™,๐‘š
๐”‰๐‘™,๐‘š
๐‘,๐‘˜ (๐›ผ; ๐›ผ1 ; ๐œ™) ⊂ ๐”‰๐‘,๐‘˜ (๐›ผ1 ; ๐œ™).
Proof. Let ๐‘“ ∈ ๐”‰๐‘™,๐‘š
๐‘,๐‘˜ (๐›ผ; ๐›ผ1 ; ๐œ™) and suppose that
(
)′
๐‘ง ๐ป๐‘๐‘™,๐‘š (๐›ผ1 ; ๐‘ง)๐‘“ (๐‘ง)
๐‘(๐‘ง) =
๐‘๐”ฃ๐‘™,๐‘š
๐‘,๐‘˜ (๐›ผ1 ; ๐‘ง)
(๐‘ง ∈ ๐•Œ).
35
(2.5)
(2.6)
Then ๐‘ is analytic in ๐•Œ and ๐‘(0) = 1. It follows from (1.3) and (2.6) that
๐›ผ1 ๐‘™,๐‘š
๐›ผ1 − ๐‘ ๐‘™,๐‘š
๐‘(๐‘ง)๐”ฃ๐‘™,๐‘š
๐ป๐‘ (๐›ผ1 + 1)๐‘“ (๐‘ง) −
๐ป๐‘ (๐›ผ1 )๐‘“ (๐‘ง).
(2.7)
๐‘,๐‘˜ (๐›ผ1 ; ๐‘ง) =
๐‘
๐‘
Di๏ฌ€erentiating both sides of (2.7) with respect to ๐‘ง and using (2.6), we have
โŽ›
(
)′ โŽž
(
)′
๐‘™,๐‘š
๐‘ง ๐”ฃ๐‘,๐‘˜ (๐›ผ1 ; ๐‘ง) โŽŸ
๐›ผ1 ๐‘ง ๐ป๐‘๐‘™,๐‘š (๐›ผ1 + 1)๐‘“ (๐‘ง)
โŽœ
′
.
๐‘ง๐‘ (๐‘ง) + โŽ๐›ผ1 − ๐‘ +
โŽ  ๐‘(๐‘ง) =
๐‘
๐”ฃ๐‘™,๐‘š
๐”ฃ๐‘™,๐‘š
๐‘,๐‘˜ (๐›ผ1 ; ๐‘ง)
๐‘,๐‘˜ (๐›ผ1 ; ๐‘ง)
Furthermore, we suppose that
๐œ‘(๐‘ง) =
(
)′
๐‘ง ๐”ฃ๐‘™,๐‘š
(๐›ผ
;
๐‘ง)
1
๐‘,๐‘˜
๐‘๐”ฃ๐‘™,๐‘š
๐‘,๐‘˜ (๐›ผ1 ; ๐‘ง)
(๐‘ง ∈ ๐•Œ).
The remainder of the proof of Theorem 2.2 is similar to that of Theorem 2.1. We,
therefore, choose to omit the analogous details involved. We thus ๏ฌnd that
๐‘(๐‘ง) โ‰บ ๐œ™(๐‘ง)
which implies that ๐‘“ ∈
pleted.
๐”‰๐‘™,๐‘š
๐‘,๐‘˜ (๐›ผ1 ; ๐œ™).
(๐‘ง ∈ ๐•Œ),
The proof of Theorem 2.2 is evidently comโ–ก
By similarly applying the method of proof of Theorem 2.1 for the classes ๐”Š๐‘™,๐‘š
๐‘ (๐›ผ; ๐›ผ1 ; ๐œ™)
and โ„Œ๐‘™,๐‘š
(๐›ผ;
๐›ผ
;
๐œ™),
we
easily
get
the
following
inclusion
relationships.
1
๐‘
Corollary 2.3. Let ๐œ™ ∈ ๐’ซ with
(
)
๐›ผ1
ℜ ๐‘๐œ™(๐‘ง) +
−๐‘ >0
(๐›ผ > 0; ๐‘ง ∈ ๐•Œ).
๐›ผ
Then
๐‘™,๐‘š
๐”Š๐‘™,๐‘š
๐‘ (๐›ผ; ๐›ผ1 ; ๐œ™) ⊂ ๐”Š๐‘ (๐›ผ1 ; ๐œ™).
Corollary 2.4. Let ๐œ™ ∈ ๐’ซ with
(
)
๐›ผ1
ℜ ๐‘๐œ™(๐‘ง) +
−๐‘ >0
(๐›ผ > 0; ๐‘ง ∈ ๐•Œ).
๐›ผ
Then
๐‘™,๐‘š
โ„Œ๐‘™,๐‘š
๐‘ (๐›ผ; ๐›ผ1 ; ๐œ™) ⊂ โ„Œ๐‘ (๐›ผ1 ; ๐œ™).
By similarly applying the method of proof of Theorems 1 and 2 obtained by Wang
๐‘™,๐‘š
et al. [34] for the function classes ๐’ข๐‘๐‘™,๐‘š (๐›ผ; ๐›ผ1 ; ๐œ™), ๐”Š๐‘™,๐‘š
๐‘ (๐›ผ; ๐›ผ1 ; ๐œ™), โ„‹๐‘ (๐›ผ; ๐›ผ1 ; ๐œ™) and
๐‘™,๐‘š
โ„Œ๐‘ (๐›ผ; ๐›ผ1 ; ๐œ™), we also easily get the following inclusion relationships.
36
Z.-G. WANG, H.-P. SHI
Corollary 2.5. Let ๐œ™ ∈ ๐’ซ with
ℜ(๐‘๐œ™(๐‘ง) + ๐›ผ1 − ๐‘) > 0
(๐‘ง ∈ ๐•Œ).
Then
๐’ข๐‘๐‘™,๐‘š (๐›ผ1 + 1; ๐œ™) ⊂ ๐’ข๐‘๐‘™,๐‘š (๐›ผ1 ; ๐œ™).
Corollary 2.6. Let ๐œ™ ∈ ๐’ซ with
ℜ(๐‘๐œ™(๐‘ง) + ๐›ผ1 − ๐‘) > 0
(๐‘ง ∈ ๐•Œ).
Then
โ„‹๐‘๐‘™,๐‘š (๐›ผ1 + 1; ๐œ™) ⊂ โ„‹๐‘๐‘™,๐‘š (๐›ผ1 ; ๐œ™).
Corollary 2.7. Let ๐œ™ ∈ ๐’ซ with
ℜ(๐‘๐œ™(๐‘ง) + ๐›ผ1 − ๐‘) > 0
(๐‘ง ∈ ๐•Œ).
Then
๐‘™,๐‘š
๐”Š๐‘™,๐‘š
๐‘ (๐›ผ1 + 1; ๐œ™) ⊂ ๐”Š๐‘ (๐›ผ1 ; ๐œ™).
Corollary 2.8. Let ๐œ™ ∈ ๐’ซ with
ℜ(๐‘๐œ™(๐‘ง) + ๐›ผ1 − ๐‘) > 0
(๐‘ง ∈ ๐•Œ).
Then
๐‘™,๐‘š
โ„Œ๐‘™,๐‘š
๐‘ (๐›ผ1 + 1; ๐œ™) ⊂ โ„Œ๐‘ (๐›ผ1 ; ๐œ™).
3. Convolution Properties
In this section, we provide some convolution properties for the function classes
๐‘™,๐‘š
โ„ฑ๐‘,๐‘˜
(๐›ผ; ๐›ผ1 ; ๐œ™), ๐’ข๐‘๐‘™,๐‘š (๐›ผ; ๐›ผ1 ; ๐œ™), and โ„‹๐‘๐‘™,๐‘š (๐›ผ; ๐›ผ1 ; ๐œ™).
๐‘™,๐‘š
Theorem 3.1. Let ๐‘“ ∈ ๐’œ๐‘ and ๐œ™ ∈ ๐’ซ. Then ๐‘“ ∈ โ„ฑ๐‘,๐‘˜
(๐›ผ; ๐›ผ1 ; ๐œ™) if and only if
{
[
(
)
∞
∑
1
(๐›ผ1 )๐‘› ⋅ ⋅ ⋅ (๐›ผ๐‘™ )๐‘› ๐‘› + ๐‘ ๐‘›+๐‘
๐‘“ ∗ (1 − ๐›ผ) ๐‘๐‘ง ๐‘ +
๐‘ง
๐‘ง
(๐›ฝ
1 )๐‘› ⋅ ⋅ ⋅ (๐›ฝ๐‘š )๐‘› ๐‘›!
๐‘›=1
)
(
) ( ๐‘˜−1
∞
∑
(๐›ผ1 )๐‘› ⋅ ⋅ ⋅ (๐›ผ๐‘™ )๐‘› 1 ๐‘›+๐‘
1 ∑ ๐‘ง๐‘
๐‘–๐œƒ
๐‘
− ๐‘ (1 − ๐›ผ)๐œ™(๐‘’ ) ๐‘ง +
๐‘ง
∗
(๐›ฝ1 )๐‘› ⋅ ⋅ ⋅ (๐›ฝ๐‘š )๐‘› ๐‘›!
๐‘˜ ๐œ=0 1 − ๐œ€๐œ ๐‘ง
๐‘›=1
(
)
∞
∑
(๐›ผ1 + 1)๐‘› ⋅ ⋅ ⋅ (๐›ผ๐‘™ )๐‘› ๐‘› + ๐‘ ๐‘›+๐‘
+ ๐›ผ ๐‘๐‘ง ๐‘ +
๐‘ง
(๐›ฝ1 )๐‘› ⋅ ⋅ ⋅ (๐›ฝ๐‘š )๐‘›
๐‘›!
๐‘›=1
(
) ( ๐‘˜−1
) ]}
∞
∑
(๐›ผ1 + 1)๐‘› ⋅ ⋅ ⋅ (๐›ผ๐‘™ )๐‘› 1 ๐‘›+๐‘
1 ∑ ๐‘ง๐‘
๐‘–๐œƒ
๐‘
− ๐‘ ๐›ผ๐œ™(๐‘’ ) ๐‘ง +
๐‘ง
∗
โˆ•= 0
(๐›ฝ1 )๐‘› ⋅ ⋅ ⋅ (๐›ฝ๐‘š )๐‘› ๐‘›!
๐‘˜ ๐œ=0 1 − ๐œ€๐œ ๐‘ง
๐‘›=1
(๐‘ง ∈ ๐•Œ; 0 โ‰ฆ ๐œƒ < 2๐œ‹).
๐‘™,๐‘š
Proof. Suppose that ๐‘“ ∈ โ„ฑ๐‘,๐‘˜
(๐›ผ; ๐›ผ1 ; ๐œ™). Since
[
]
( ๐‘™,๐‘š
)′
(
)′
๐‘ง (1 − ๐›ผ) ๐ป๐‘ (๐›ผ1 )๐‘“ (๐‘ง) + ๐›ผ ๐ป๐‘๐‘™,๐‘š (๐›ผ1 + 1)๐‘“ (๐‘ง)
[
]
โ‰บ ๐œ™(๐‘ง)
๐‘™,๐‘š
๐‘™,๐‘š
๐‘ (1 − ๐›ผ)๐‘“๐‘,๐‘˜
(๐›ผ1 ; ๐‘ง) + ๐›ผ๐‘“๐‘,๐‘˜
(๐›ผ1 + 1; ๐‘ง)
(๐‘ง ∈ ๐•Œ)
SOME PROPERTIES OF CERTAIN SUBCLASSES OF MULTIVALENT FUNCTIONS
is equivalent to
]
[
(
)′
(
)′
๐‘ง (1 − ๐›ผ) ๐ป๐‘๐‘™,๐‘š (๐›ผ1 )๐‘“ (๐‘ง) + ๐›ผ ๐ป๐‘๐‘™,๐‘š (๐›ผ1 + 1)๐‘“ (๐‘ง)
[
]
โˆ•= ๐œ™(๐‘’๐‘–๐œƒ )
๐‘™,๐‘š
๐‘™,๐‘š
๐‘ (1 − ๐›ผ)๐‘“๐‘,๐‘˜ (๐›ผ1 ; ๐‘ง) + ๐›ผ๐‘“๐‘,๐‘˜ (๐›ผ1 + 1; ๐‘ง)
37
(0 โ‰ฆ ๐œƒ < 2๐œ‹),
(3.1)
it is easy to see that the condition (3.1) can be written as follows:
{
[
]
(
)′
(
)′
1
๐‘ง (1 − ๐›ผ) ๐ป๐‘๐‘™,๐‘š (๐›ผ1 )๐‘“ (๐‘ง) + ๐›ผ ๐ป๐‘๐‘™,๐‘š (๐›ผ1 + 1)๐‘“ (๐‘ง)
๐‘ง
}
[
]
๐‘™,๐‘š
๐‘™,๐‘š
๐‘–๐œƒ
− ๐‘ (1 − ๐›ผ)๐‘“๐‘,๐‘˜ (๐›ผ1 ; ๐‘ง) + ๐›ผ๐‘“๐‘,๐‘˜ (๐›ผ1 + 1; ๐‘ง) ๐œ™(๐‘’ ) โˆ•= 0
(0 โ‰ฆ ๐œƒ < 2๐œ‹).
(3.2)
On the other hand, we know from (1.2) that
)
(
∞
∑
( ๐‘™,๐‘š
)′
(๐›ผ1 )๐‘› ⋅ ⋅ ⋅ (๐›ผ๐‘™ )๐‘› ๐‘› + ๐‘ ๐‘›+๐‘
๐‘
๐‘ง
∗ ๐‘“ (๐‘ง).
๐‘ง ๐ป๐‘ (๐›ผ1 )๐‘“ (๐‘ง) = ๐‘๐‘ง +
(๐›ฝ1 )๐‘› ⋅ ⋅ ⋅ (๐›ฝ๐‘š )๐‘› ๐‘›!
๐‘›=1
(3.3)
๐‘™,๐‘š
Moreover, from the de๏ฌnition of ๐‘“๐‘,๐‘˜
(๐›ผ1 ; ๐‘ง), we have
( ๐‘˜−1
)
1 ∑ ๐‘ง๐‘
๐‘™,๐‘š
๐‘™,๐‘š
๐‘“๐‘,๐‘˜ (๐›ผ1 ; ๐‘ง) = ๐ป๐‘ (๐›ผ1 )๐‘“ (๐‘ง) ∗
๐‘˜ ๐œ=0 1 − ๐œ€๐œ ๐‘ง
(
) ( ๐‘˜−1
)
∞
∑
∑ ๐‘ง๐‘
(๐›ผ
)
⋅
⋅
⋅
(๐›ผ
)
1
1
1
๐‘›
๐‘™
๐‘›
= ๐‘ง๐‘ +
๐‘ง ๐‘›+๐‘ ∗
∗ ๐‘“ (๐‘ง).
(๐›ฝ
)
⋅
⋅
⋅
(๐›ฝ
)
๐‘›!
๐‘˜ ๐œ=0 1 − ๐œ€๐œ ๐‘ง
1
๐‘›
๐‘š
๐‘›
๐‘›=1
(3.4)
Replacing ๐›ผ1 by ๐›ผ1 + 1 in (3.3) and (3.4), we know that (3.3) and (3.4) also hold
true, that is,
)
(
∞
∑
( ๐‘™,๐‘š
)′
(๐›ผ1 + 1)๐‘› ⋅ ⋅ ⋅ (๐›ผ๐‘™ )๐‘› ๐‘› + ๐‘ ๐‘›+๐‘
๐‘
๐‘ง
∗ ๐‘“ (๐‘ง), (3.5)
๐‘ง ๐ป๐‘ (๐›ผ1 + 1)๐‘“ (๐‘ง) = ๐‘๐‘ง +
(๐›ฝ1 )๐‘› ⋅ ⋅ ⋅ (๐›ฝ๐‘š )๐‘›
๐‘›!
๐‘›=1
and
(
๐‘™,๐‘š
๐‘“๐‘,๐‘˜
(๐›ผ1
+ 1; ๐‘ง)
=๐ป๐‘๐‘™,๐‘š (๐›ผ1
+ 1)๐‘“ (๐‘ง) ∗
๐‘˜−1
1 ∑ ๐‘ง๐‘
๐‘˜ ๐œ=0 1 − ๐œ€๐œ ๐‘ง
)
∞
∑
(๐›ผ1 + 1)๐‘› ⋅ ⋅ ⋅ (๐›ผ๐‘™ )๐‘› 1 ๐‘›+๐‘
= ๐‘ง +
๐‘ง
(๐›ฝ1 )๐‘› ⋅ ⋅ ⋅ (๐›ฝ๐‘š )๐‘› ๐‘›!
๐‘›=1
(
๐‘
) (
∗
๐‘˜−1
1 ∑ ๐‘ง๐‘
๐‘˜ ๐œ=0 1 − ๐œ€๐œ ๐‘ง
)
∗ ๐‘“ (๐‘ง).
(3.6)
Upon substituting from (3.3) to (3.6) into (3.2), we easily deduce the convolution
property asserted by Theorem 3.1.
By similarly applying the method of proof of Theorem 3.1 for the classes ๐’ข๐‘๐‘™,๐‘š (๐›ผ; ๐›ผ1 ; ๐œ™)
โ–ก
and โ„‹๐‘๐‘™,๐‘š (๐›ผ; ๐›ผ1 ; ๐œ™), we easily get the following convolution properties.
38
Z.-G. WANG, H.-P. SHI
Corollary 3.1. Let ๐‘“ ∈ ๐’œ๐‘ and ๐œ™ ∈ ๐’ซ. Then ๐‘“ ∈ ๐’ข๐‘๐‘™,๐‘š (๐›ผ; ๐›ผ1 ; ๐œ™) if and only if
[
(
{
)
∞
∑
1
(๐›ผ1 )๐‘› ⋅ ⋅ ⋅ (๐›ผ๐‘™ )๐‘› ๐‘› + ๐‘ ๐‘›+๐‘
๐‘(1 − ๐›ผ)๐œ™(๐‘’๐‘–๐œƒ )
๐‘
๐‘“ ∗ (1 − ๐›ผ) ๐‘๐‘ง +
๐‘ง
โ„Ž1
−
๐‘ง
(๐›ฝ1 )๐‘› ⋅ ⋅ ⋅ (๐›ฝ๐‘š )๐‘› ๐‘›!
2
๐‘›=1
(
)
]
∞
๐‘–๐œƒ
∑
๐‘›
+
๐‘
๐‘
๐›ผ๐œ™(๐‘’
)
(๐›ผ
+
1)
⋅
⋅
⋅
(๐›ผ
)
1
๐‘›
๐‘™
๐‘›
+ ๐›ผ ๐‘๐‘ง ๐‘ +
๐‘ง ๐‘›+๐‘ −
โ„Ž2
(๐›ฝ1 )๐‘› ⋅ ⋅ ⋅ (๐›ฝ๐‘š )๐‘›
๐‘›!
2
๐‘›=1
}
๐‘ ๐›ผ๐œ™(๐‘’๐‘–๐œƒ )
๐‘ (1 − ๐›ผ)๐œ™(๐‘’๐‘–๐œƒ )
(โ„Ž1 ∗ ๐‘“ )(๐‘ง) −
(โ„Ž2 ∗ ๐‘“ )(๐‘ง) โˆ•= 0
(0 โ‰ฆ ๐œƒ < 2๐œ‹),
−
2
2
where
∞
∑
(๐›ผ1 )๐‘› ⋅ ⋅ ⋅ (๐›ผ๐‘™ )๐‘› 1 ๐‘›+๐‘
๐‘ง
,
(๐›ฝ
1 )๐‘› ⋅ ⋅ ⋅ (๐›ฝ๐‘š )๐‘› ๐‘›!
๐‘›=1
(3.7)
∞
∑
(๐›ผ1 + 1)๐‘› ⋅ ⋅ ⋅ (๐›ผ๐‘™ )๐‘› 1 ๐‘›+๐‘
๐‘ง
.
(๐›ฝ1 )๐‘› ⋅ ⋅ ⋅ (๐›ฝ๐‘š )๐‘› ๐‘›!
๐‘›=1
(3.8)
โ„Ž1 (๐‘ง) = ๐‘ง ๐‘ +
and
โ„Ž2 (๐‘ง) = ๐‘ง ๐‘ +
Corollary 3.2. Let ๐‘“ ∈ ๐’œ๐‘ and ๐œ™ ∈ ๐’ซ. Then ๐‘“ ∈ โ„‹๐‘๐‘™,๐‘š (๐›ผ; ๐›ผ1 ; ๐œ™) if and only if
{
[
(
)
∞
∑
1
(๐›ผ1 )๐‘› ⋅ ⋅ ⋅ (๐›ผ๐‘™ )๐‘› ๐‘› + ๐‘ ๐‘›+๐‘
๐‘(1 − ๐›ผ)๐œ™(๐‘’๐‘–๐œƒ )
๐‘
๐‘“ ∗ (1 − ๐›ผ) ๐‘๐‘ง +
๐‘ง
−
โ„Ž1
๐‘ง
(๐›ฝ1 )๐‘› ⋅ ⋅ ⋅ (๐›ฝ๐‘š )๐‘› ๐‘›!
2
๐‘›=1
)
]
(
∞
∑
(๐›ผ1 + 1)๐‘› ⋅ ⋅ ⋅ (๐›ผ๐‘™ )๐‘› ๐‘› + ๐‘ ๐‘›+๐‘
๐‘๐›ผ๐œ™(๐‘’๐‘–๐œƒ )
๐‘
๐‘ง
−
โ„Ž2
+ ๐›ผ ๐‘๐‘ง +
(๐›ฝ1 )๐‘› ⋅ ⋅ ⋅ (๐›ฝ๐‘š )๐‘›
๐‘›!
2
๐‘›=1
}
๐‘(1 − ๐›ผ)๐œ™(๐‘’๐‘–๐œƒ )
๐‘๐›ผ๐œ™(๐‘’๐‘–๐œƒ )
+
(โ„Ž1 ∗ ๐‘“ )(−๐‘ง) +
(โ„Ž2 ∗ ๐‘“ )(−๐‘ง) โˆ•= 0
(0 โ‰ฆ ๐œƒ < 2๐œ‹),
2
2
where โ„Ž1 and โ„Ž2 are given by (3.7) and (3.8), respectively.
Theorem 3.2. Let ๐‘“ ∈ โ„‹๐‘๐‘™,๐‘š (๐›ผ1 ; ๐œ™). Then
[ ∫
( ∫
) ]
๐‘ง
๐œ
๐‘
๐œ™(๐œ”(๐œ‰))
−
๐œ™(๐œ”(−๐œ‰))
−
2
๐‘“ (๐‘ง) = ๐‘
๐œ ๐‘−1 ๐œ™(๐œ”(๐œ)) ⋅ exp
๐‘‘๐œ‰ ๐‘‘๐œ
2 0
๐œ‰
0
(∞
)
∑ ๐‘›!(๐›ฝ1 )๐‘› ⋅ ⋅ ⋅ (๐›ฝ๐‘š )๐‘›
๐‘›+๐‘
∗
๐‘ง
,
(๐›ผ1 )๐‘› ⋅ ⋅ ⋅ (๐›ผ๐‘™ )๐‘›
๐‘›=0
(3.9)
where ๐œ” is analytic in ๐•Œ with
๐œ”(0) = 0
and
โˆฃ๐œ”(๐‘ง)โˆฃ < 1
(๐‘ง ∈ ๐•Œ).
Proof. From the de๏ฌnition of โ„‹๐‘๐‘™,๐‘š (๐›ผ1 ; ๐œ™), we know that
(
)′
(
)′
๐‘ง ๐ป๐‘๐‘™,๐‘š (๐›ผ1 )๐‘“ (๐‘ง)
2๐‘ง ๐ป๐‘๐‘™,๐‘š (๐›ผ1 )๐‘“ (๐‘ง)
] = ๐œ™(๐œ”(๐‘ง)), (3.10)
= [
๐‘โ„Ž๐‘™,๐‘š
๐‘ (๐›ผ1 ; ๐‘ง)
๐‘ (๐ป๐‘๐‘™,๐‘š (๐›ผ1 )๐‘“ )(๐‘ง) − (๐ป๐‘๐‘™,๐‘š (๐›ผ1 )๐‘“ )(−๐‘ง)
where ๐œ” is analytic in ๐•Œ with
๐œ”(0) = 0
and
โˆฃ๐œ”(๐‘ง)โˆฃ < 1
(๐‘ง ∈ ๐•Œ).
SOME PROPERTIES OF CERTAIN SUBCLASSES OF MULTIVALENT FUNCTIONS
39
From (3.10), we get
(
)′
2๐‘ง ๐ป๐‘๐‘™,๐‘š (๐›ผ1 )๐‘“ (−๐‘ง)
[
] = ๐œ™(๐œ”(−๐‘ง)).
๐‘ (๐ป๐‘๐‘™,๐‘š (๐›ผ1 )๐‘“ )(๐‘ง) − (๐ป๐‘๐‘™,๐‘š (๐›ผ1 )๐‘“ )(−๐‘ง)
It now follows from (3.10) and (3.11) that
(
)′
]
๐‘ง โ„Ž๐‘™,๐‘š
1[
๐‘ (๐›ผ1 ; ๐‘ง)
๐œ™(๐œ”(๐‘ง)) − ๐œ™(๐œ”(−๐‘ง)) .
=
๐‘™,๐‘š
2
๐‘โ„Ž๐‘ (๐›ผ1 ; ๐‘ง)
We next ๏ฌnd from (3.12) that
( ๐‘™,๐‘š
)′
โ„Ž๐‘ (๐›ผ1 ; ๐‘ง)
โ„Ž๐‘™,๐‘š
๐‘ (๐›ผ1 ; ๐‘ง)
−
๐‘
๐‘ ๐œ™(๐œ”(๐‘ง)) − ๐œ™(๐œ”(−๐‘ง)) − 2
= ⋅
.
๐‘ง
2
๐‘ง
Upon integrating (3.13), we have
(
)
∫
โ„Ž๐‘™,๐‘š
๐‘ ๐‘ง ๐œ™(๐œ”(๐œ‰)) − ๐œ™(๐œ”(−๐œ‰)) − 2
๐‘ (๐›ผ1 ; ๐‘ง)
log
=
๐‘‘๐œ‰,
๐‘ง๐‘
2 0
๐œ‰
(3.11)
(3.12)
(3.13)
(3.14)
which implies that
โ„Ž๐‘™,๐‘š
๐‘ (๐›ผ1 ; ๐‘ง)
)
( ∫
๐‘ ๐‘ง ๐œ™(๐œ”(๐œ‰)) − ๐œ™(๐œ”(−๐œ‰)) − 2
๐‘‘๐œ‰ .
= ๐‘ง ⋅ exp
2 0
๐œ‰
๐‘
(3.15)
It now follows from (3.10) and (3.15) that
(
๐ป๐‘๐‘™,๐‘š (๐›ผ1 )๐‘“
)′
๐‘โ„Ž๐‘™,๐‘š
๐‘ (๐›ผ1 ; ๐‘ง)
⋅ ๐œ™(๐œ”(๐‘ง))
๐‘ง
( ∫
)
๐‘ ๐‘ง ๐œ™(๐œ”(๐œ‰)) − ๐œ™(๐œ”(−๐œ‰)) − 2
๐‘−1
=๐‘๐‘ง
๐œ™(๐œ”(๐‘ง)) ⋅ exp
๐‘‘๐œ‰ .
2 0
๐œ‰
(3.16)
(๐‘ง) =
Upon integrating (3.16), we get
( ∫
)
∫ ๐‘ง
๐‘ ๐œ ๐œ™(๐œ”(๐œ‰)) − ๐œ™(๐œ”(−๐œ‰)) − 2
๐‘™,๐‘š
๐‘−1
๐ป๐‘ (๐›ผ1 )๐‘“ (๐‘ง) = ๐‘
๐œ
๐œ™(๐œ”(๐œ)) ⋅ exp
๐‘‘๐œ‰ ๐‘‘๐œ.
2 0
๐œ‰
0
(3.17)
Combining (1.2) and (3.17), we ๏ฌnd that
)
( ∫
∫ ๐‘ง
๐‘ ๐œ ๐œ™(๐œ”(๐œ‰)) − ๐œ™(๐œ”(−๐œ‰)) − 2
๐‘−1
๐‘‘๐œ‰ ๐‘‘๐œ
๐‘
๐œ
๐œ™(๐œ”(๐œ)) ⋅ exp
2 0
๐œ‰
(3.18)
0
= [๐‘ง ๐‘ ๐‘™ ๐น๐‘š (๐›ผ1 , . . . , ๐›ผ๐‘™ ; ๐›ฝ1 , . . . , ๐›ฝ๐‘š )] ∗ ๐‘“ (๐‘ง).
Thus, from (3.18), we easily get the convolution property (3.9).
โ–ก
Remark 3.1. Putting
๐‘ = 1, ๐‘™ = 2, ๐‘š = 1
and ๐›ผ1 = ๐›ผ2 = ๐›ฝ1 = 1
in Theorem 3.2, we get the corresponding result obtained by Ravichandran [25].
By similarly applying the method of proof of Theorem 3.2 for the class ๐’ข๐‘๐‘™,๐‘š (๐›ผ; ๐›ผ1 ; ๐œ™),
we easily get the following convolution property.
40
Z.-G. WANG, H.-P. SHI
Corollary 3.3. Let ๐‘“ ∈ ๐’ข๐‘๐‘™,๐‘š (๐›ผ1 ; ๐œ™). Then
( ∫
[ ∫
) ]
๐‘ง
๐‘ ๐œ ๐œ™(๐œ”(๐œ‰)) + ๐œ™(๐œ”(๐œ‰)) − 2
๐‘−1
๐œ
๐œ™(๐œ”(๐œ)) ⋅ exp
๐‘“ (๐‘ง) = ๐‘
๐‘‘๐œ‰ ๐‘‘๐œ
2 0
๐œ‰
0
(∞
)
∑ ๐‘›!(๐›ฝ1 )๐‘› ⋅ ⋅ ⋅ (๐›ฝ๐‘š )๐‘›
๐‘›+๐‘
∗
,
๐‘ง
(๐›ผ1 )๐‘› ⋅ ⋅ ⋅ (๐›ผ๐‘™ )๐‘›
๐‘›=0
where ๐œ” is analytic in ๐•Œ with
๐œ”(0) = 0
and
โˆฃ๐œ”(๐‘ง)โˆฃ < 1
(๐‘ง ∈ ๐•Œ).
References
[1] R. Aghalary and G. Azadi, The Dziok-Srivastava operator and ๐‘˜-uniformly starlike functions,
J. Inequal. Pure Appl. Math. 6 (2005), Article 52, pp. 1–7 (electronic).
[2] R. Aghalary, S. B. Joshi, R. N. Mohapatra and V. Ravichandran, Subordinations for analytic
functions de๏ฌned by the Dziok-Srivastava linear operator, Appl. Math. Comput. 187 (2007),
13–19.
[3] R. M. Ali, V. Ravichandran, M. H. Khan and K. G. Subramanian, Applications of ๏ฌrst
order di๏ฌ€erential superordination to certain linear operators, Southeast Asian Bull. Math.
30 (2006), 799–810.
[4] M. K. Aouf and G. Murugusundaramoorthy, On a subclass of uniformly convex functions
de๏ฌned by the Dziok-Srivastava operator, Aust. J. Math. Anal. Appl. 5 (2008), Article 3,
(electronic).
[5] M.-P. Chen, Z.-R. Wu and Z.-Z. Zou, On functions ๐›ผ-starlike with respect to symmetric
conjugate points, J. Math. Anal. Appl. 201 (1996), 25–34.
[6] J. Dziok, On the convex combination of the Dziok-Srivastava operator, Appl. Math. Comput.
188 (2007), 1214–1220.
[7] J. Dziok, On some applications of the Briot-Bouquet di๏ฌ€erential subordination, J. Math.
Anal. Appl. 328 (2007), 295–301.
[8] J. Dziok and H. M. Srivastava, Classes of analytic functions associated with the generzlized
hypergeometric function, Appl. Math. Comput. 103 (1999), 1–13.
[9] J. Dziok and H. M. Srivastava, Certain sbuclasses of analytic functions associated with the
generzlized hypergeometric function, Integral Transform. Spec. Funct. 14 (2003), 7–18.
[10] P. Eenigenburg, S. S. Miller, P. T. Mocanu and M. O. Reade, On a Briot-Bouquet di๏ฌ€erential
subordination, in General Mathematics 3, International Series of Numerical Mathematics,
Vol. 64, Birkhaฬˆuser Verlag, Basel, 1983, pp. 339–348; see also Rev. Roumaine Math. Pures
Appl. 29 (1984), 567–573.
[11] A. Gangadharan, T. N. Shanmugam and H. M. Srivastava, Generalized hypergeometric function associated with ๐‘˜-uniformly convex functions, Comput. Math. Appl. 44 (2002), 1515–
1526.
[12] Y.-Y. Huang and M.-S. Liu, Properties of certain subclasses of multivalent analytic functions
involving the Dziok-Srivastava operator, Appl. Math. Comput. 204 (2008), 137–149.
[13] S. S. Kumar, H. C. Taneja and V. Ravichandran, Classes of multivalent functions de๏ฌned by
Dziok-Srivastava linear operator and multitiplier transformation, Kyungpook Math. J. 46
(2006), 97–109.
[14] J.-L. Liu, Strongly starlike functions associated with the Dziok-Srivastava operator, Tamkang
J. Math. 35 (2004), 37–42.
[15] J.-L. Liu and H. M. Srivastava, Certain properties of the Dziok-Srivastava operator, Appl.
Math. Comput. 159 (2004), 485–493.
[16] S. S. Miller and P. T. Mocanu, On some classes of ๏ฌrst order di๏ฌ€erential subordinations,
Michigan Math. J. 32 (1985), 185–195.
[17] G. Murugusundaramoorthy and N. Magesh, Starlike and convex functions of complex order
involving the Dziok-Srivastava operator, Integral Transform. Spec. Funct. 18 (2007), 419–425.
[18] G. Murugusundaramoorthy, T. Rosy and S. Sivasubramanian, On certain classes of analytic
functions of complex order de๏ฌned by Dziok-Srivastava operator, J. Math. Inequal. 1 (2007),
553–562.
SOME PROPERTIES OF CERTAIN SUBCLASSES OF MULTIVALENT FUNCTIONS
41
[19] S. Owa and H. M. Srivastava, Univalent and starlike generalized hypergermetric functions,
Canad. J. Math. 39 (1987), 1057–1077.
[20] K. S. Padmanabhan and R. Parvatham, Some applications of di๏ฌ€erential subordination, Bull.
Austral. Math. Soc. 32 (1985), 321–330.
[21] R. Parvatham and S. Radha, On ๐›ผ-starlike and ๐›ผ-close-to-convex functions with respect to
๐‘›-symmetric points, Indian J. Pure Appl. Math. 17 (1986), 1114–1122.
[22] J. Patel, A. K. Mishra and H. M. Srivastava, Classes of multivalent analytic functions involving the Dziok-Srivastava operator, Comput. Math. Appl. 54 (2007), 599–616.
[23] K. Piejko and J. Sokoฬl, On the Dziok-Srivastava operator under multivalent analytic functions, Appl. Math. Comput. 177 (2006), 839–843.
[24] C. Ramachandran, T. N. Shanmugam, H. M. Srivastava and A. Swaminathan, A uni๏ฌed class
of ๐‘˜-uniformly convex functions de๏ฌned by the Dziok-Srivastava linear operator, Appl. Math.
Comput. 190 (2007), 1627–1636.
[25] V. Ravichandran, Starlike and convex functions with respect to conjugate points, Acta Math.
Acad. Paedagog. Nyhaฬzi. (N.S.) 20 (2004), 31–37 (electronic).
[26] T. N. Shanmugam and M. P. Jeyaraman, Strongly Mocanu convex functions associated with
the Dziok-Srivastava operator, Far East J. Math. Sci. 20 (2006), 49–57.
[27] T. N. Shanmugam, M. P. Jeyarama and A. Singaravelu, On sandwich theorems for certain
subclass of analytic functions involving Dziok-Srivastava operator, Aust. J. Math. Anal. Appl.
4 (2007), Article 17, (electronic).
[28] T. N. Shanmugam, C. Ramachandran, A. Singaravelu and M. P. Jeyaraman, On di๏ฌ€erential
Sanwich theorems for certain subclass of analytic functions using Dziok-Srivastava operator,
Far East J. Math. Sci. 25 (2007), 621–632.
[29] T. N. Shanmugam, S. Sivasubramanian, and G. Murugusundaramoorthy, On the uni๏ฌed class
of functions of complex order involving Dziok-Srivastava operator, Gen. Math. 15 (2007),
149–160.
[30] H. M. Srivastava, Generalized hypergeometric functions and associated families of ๐‘˜uniformly convex and ๐‘˜-starlike functions, Gen. Math. 15 (2007), 201–226.
[31] H. M. Srivastava, G. Murugusundaramoorthy and S. Sivasubramanian, Hypergeometric functions in the parabolic starlike and uniformly convex domains, Integral Transform. Spec.
Funct. 18 (2007), 511–520.
[32] K. Suchithra, A. Gangadharan and S. Owa, Neighborhood properties of certain classes of
analytic functions using the Dziok-Srivastava operator, Tamsui Oxf. J. Math. Sci. 24 (2008),
185–200.
[33] Z.-G. Wang, C.-Y. Gao and S.-M. Yuan, On certain subclasses of close-to-convex and quasiconvex functions with respect to ๐‘˜-symmetric points, J. Math. Anal. Appl. 322 (2006), 97–
106.
[34] Z.-G. Wang, Y.-P. Jiang and H. M. Srivastava, Some subclasses of multivalent analytic functions involving the Dziok-Srivastava operator, Integral Transforms Spec. Funct. 19 (2008),
129–146.
[35] N. Xu and D.-G. Yang, Some classes of analytic and multivalent functions involving a linear
operator, Math. Comput. Modelling 49 (2009), 955–965.
Zhi-Gang Wang
Department of Mathematics and Computing Science, Hengyang Normal University, Hengyang
421008, Hunan, P. R. China
E-mail address: zhigangwang@foxmail.com
Hai-Ping Shi
Department of Basic Courses, Guangdong Baiyun Institute, Guangzhou 510450, Guangdong, P. R. China
E-mail address: shp7971@163.com
Download