Journal of Inequalities in Pure and Applied Mathematics

Journal of Inequalities in Pure and
Applied Mathematics
http://jipam.vu.edu.au/
Volume 7, Issue 5, Article 177, 2006
SOME CONVEXITY PROPERTIES FOR A GENERAL INTEGRAL OPERATOR
DANIEL BREAZ AND NICOLETA BREAZ
D EPARTMENT OF M ATHEMATICS
" 1 D ECEMBRIE 1918 " U NIVERSITY
A LBA I ULIA
ROMANIA .
dbreaz@uab.ro
nbreaz@uab.ro
Received 12 September, 2006; accepted 18 October, 2006
Communicated by G. Kohr
A BSTRACT. In this paper we consider the classes of starlike functions, starlike functions of
order α, convex functions, convex functions of order α and the classes of the univalent functions
denoted by SH (β), SP and SP (α, β). On these classes we study the convexity and α- order
convexity for a general integral operator.
Key words and phrases: Univalent function, Integral operator, Convex function, Analytic function, Starlike function.
2000 Mathematics Subject Classification. 30C45.
1. I NTRODUCTION
Let U = {z ∈ C, |z| < 1} be the unit disc of the complex plane and denote by H (U ), the
class of the holomorphic functions in U. Consider
A = f ∈ H (U ) , f (z) = z + a2 z 2 + a3 z 3 + · · · , z ∈ U
the class of analytic functions in U and S = {f ∈ A : f is univalent in U }. We denote by S ∗
the class of starlike functions that are defined as holomorphic functions in the unit disc with the
properties f (0) = f 0 (0) − 1 = 0 and
Re
zf 0 (z)
> 0,
f (z)
z ∈ U.
A function f ∈ A is a starlike function by the order α, 0 ≤ α < 1 if f satisfies the inequality
Re
ISSN (electronic): 1443-5756
c 2006 Victoria University. All rights reserved.
250-06
zf 0 (z)
> α,
f (z)
z ∈ U.
2
DANIEL B REAZ AND N ICOLETA B REAZ
We denote this class by S ∗ (α). Also, we denote by K the class of convex functions that are
defined as holomorphic functions in the unit disc with the properties f (0) = f 0 (0) − 1 = 0 and
00
zf (z)
Re
+ 1 > 0,
z ∈ U.
f 0 (z)
A function f ∈ A is a convex function by the order α, 0 ≤ α < 1 if f verifies the inequality
00
zf (z)
+ 1 > α,
z ∈ U.
Re
f 0 (z)
We denote this class by K (α).
In the paper [5] J. Stankiewicz and A. Wisniowska introduced the class of univalent functions,
SH (β), β > 0 defined by:
0
√
√
√ zf 0 (z)
zf (z)
(1.1)
2 − 1 < Re
2
+ 2β
2−1 ,
f ∈ S,
f (z) − 2β
f (z)
for all z ∈ U .
Also, in the paper [3] F. Ronning introduced the class of univalent functions, SP , defined by
zf 0 (z) zf 0 (z)
(1.2)
Re
>
− 1 ,
f ∈ S,
f (z)
f (z)
for all z ∈ U . The geometric interpretation of the relation (1.2) is that the class SP is the class
of all functions f ∈ S for which the expression zf 0 (z) /f (z) , z ∈ U takes all values in the
parabolic region
Ω = {ω : |ω − 1| ≤ Re ω} = ω = u + iv : v 2 ≤ 2u − 1 .
In the paper [3] F. Ronning introduced the class of univalent functions SP (α, β) , α > 0,
β ∈ [0, 1), as the class of all functions f ∈ S which have the property:
0
0
zf (z)
≤ Re zf (z) + α − β,
(1.3)
−
(α
+
β)
f (z)
f (z)
for all z ∈ U . Geometric interpretation: f ∈ SP (α, β) if and only if zf 0 (z) /f (z) , z ∈ U
takes all values in the parabolic region
Ωα,β = {ω : |ω − (α + β)| ≤ Re ω + α − β}
= ω = u + iv : v 2 ≤ 4α (u − β) .
We consider the integral operator Fn , defined by:
α
α
Z z
f1 (t) 1
fn (t) n
(1.4)
Fn (z) =
· ··· ·
dt
t
t
0
and we study its properties.
Remark 1.1.RWe observe that for n = 1 and α1 = 1 we obtain the integral operator of Alexanz
der, F (z) = 0 f (t)
dt.
t
J. Inequal. Pure and Appl. Math., 7(5) Art. 177, 2006
http://jipam.vu.edu.au/
C ONVEXITY P ROPERTIES FOR A G ENERAL I NTEGRAL O PERATOR
3
2. M AIN R ESULTS
Theorem 2.1. Let αi , i ∈ {1, . . . , n} be real numbers with the properties αi > 0 for i ∈
{1, . . . , n} and
n
X
αi ≤ n + 1.
i=1
We suppose that the functions fi , i = {1, . . . , n} are the starlike functions by order α1i , i ∈
{1, . . . , n}, that is fi ∈ S ∗ α1i for all i ∈ {1, . . . , n} . In these conditions the integral operator
defined in (1.4) is convex.
Proof. We calculate for Fn the derivatives of the first and second order. From (1.4) we obtain:
α
α
f1 (z) 1
fn (z) n
0
Fn (z) =
· ··· ·
z
z
and
Fn00
(z) =
n
X
αi
i=1
fi (z)
z
αi −1 zfi0 (z) − fi (z)
zfi (z)
Y
n j=1
fj (z)
z
α j
.
j6=i
Fn00 (z)
Fn0 (z)
(2.1)
zf10
zfn0
(z) − f1 (z)
(z) − fn (z)
= α1
+ · · · + αn
zf1 (z)
zfn (z)
0
0
Fn00 (z)
f1 (z) 1
fn (z) 1
= α1
−
+ · · · + αn
−
.
Fn0 (z)
f1 (z) z
fn (z) z
,
By multiplying the relation (2.1) with z we obtain:
0
X
n
n
zFn00 (z) X
zfi (z)
zfi0 (z)
=
α
−
1
=
α
− α1 − · · · − αn .
(2.2)
i
i
Fn0 (z)
f
(z)
f
(z)
i
i
i=1
i=1
The relation (2.2) is equivalent with
(2.3)
zf10 (z)
zfn0 (z)
zFn00 (z)
+ 1 = α1
+ · · · + αn
− α1 − · · · − αn + 1.
Fn0 (z)
f1 (z)
fn (z)
From (2.3) we obtain that:
00
zFn (z)
zf10 (z)
zfn0 (z)
(2.4)
Re
+
1
=
α
Re
+
·
·
·
+
α
Re
− α1 − · · · − αn + 1.
1
n
Fn0 (z)
f1 (z)
fn (z)
zf 0 (z)
∗
But fi ∈ S α1i , for all i ∈ {1, . . . , n} , so Re fii(z) > α1i , for all i ∈ {1, . . . , n} . We apply
this affirmation in the equality (2.4) and obtain:
00
zFn (z)
1
1
(2.5)
Re
+ 1 > α1 + · · · + αn
− α1 − · · · − αn + 1
0
Fn (z)
α1
αn
n
X
=n+1−
αi .
i=1
But, in accordance with the hypothesis, we obtain:
00
zFn (z)
Re
+1 >0
Fn0 (z)
so, Fn is a convex function.
J. Inequal. Pure and Appl. Math., 7(5) Art. 177, 2006
http://jipam.vu.edu.au/
4
DANIEL B REAZ AND N ICOLETA B REAZ
Theorem 2.2. Let αi , i ∈ {1, . . . , n}, be real numbers with the properties αi > 0 for i ∈
{1, . . . , n} and
n
X
αi ≤ 1.
i=1
We suppose that the functions fi , i = {1, . . . , n},
Pare the starlike functions. Then the integral
operator defined in (1.4) is convex by order, 1 − ni=1 αi .
Proof. Following the same steps as in Theorem 2.1, we obtain:
0
X
n
n
zFn00 (z) X
zfi (z)
zfi0 (z)
(2.6)
=
α
−
1
=
α
− α1 − · · · − αn .
i
i
Fn0 (z)
f
(z)
f
(z)
i
i
i=1
i=1
The relation (2.6) is equivalent with
(2.7)
zFn00 (z)
zf10 (z)
zfn0 (z)
+
1
=
α
+
·
·
·
+
α
− α1 − · · · − αn + 1.
1
n
Fn0 (z)
f1 (z)
fn (z)
From (2.7) we obtain that:
00
zFn (z)
zf10 (z)
zfn0 (z)
(2.8)
Re
+
1
=
α
Re
+
·
·
·
+
α
Re
− α1 − · · · − αn + 1.
1
n
Fn0 (z)
f1 (z)
fn (z)
zf 0 (z)
But fi ∈ S ∗ for all i ∈ {1, . . . , n} , so Re fii(z) > 0 for all i ∈ {1, . . . , n} . We apply this
affirmation in the equality (2.8) and obtain that:
00
n
X
zFn (z)
(2.9)
Re
+ 1 > α1 · 0 + · · · + αn · 0 − α1 − · · · − αn + 1 = 1 −
αi .
Fn0 (z)
i=1
But in accordance with the inequality (2.9), obtain that
00
n
X
zFn (z)
Re
+1 >1−
αi
Fn0 (z)
i=1
P
so, Fn is a convex function by order 1 − ni=1 αi .
Theorem 2.3. Let αi , i ∈ {1, . . . , n}, be real numbers with the properties αi > 0, for i ∈
{1, . . . , n} and
√
n
X
2
√
√ .
(2.10)
αi ≤
2β
2−1 + 2
i=1
We suppose that fi ∈ SH (β), for i = {1, . . . , n} and β > 0. In these conditions, the integral
operator defined in (1.4) is convex.
Proof. Following the same steps as in Theorem 2.1, we obtain that:
n
n
X
zFn00 (z)
zfi0 (z) X
(2.11)
+1=
αi
−
αi + 1.
Fn0 (z)
fi (z)
i=1
i=1
√
We multiply the relation (2.11) with 2 and obtain:
X
n
n
√ zFn00 (z)
√ zfi0 (z) √ X
√
(2.12)
2
+
1
=
2α
−
2
α
+
2.
i
i
Fn0 (z)
fi (z)
i=1
i=1
J. Inequal. Pure and Appl. Math., 7(5) Art. 177, 2006
http://jipam.vu.edu.au/
C ONVEXITY P ROPERTIES FOR A G ENERAL I NTEGRAL O PERATOR
5
The equality (2.12) is equivalent with:
√
2
X
n √
√ zfi0 (z)
zFn00 (z)
2−1
+1 =
αi 2
+ 2αi β
Fn0 (z)
fi (z)
i=1
n
n
√
√ X
X
√
−
2αi β
2−1 − 2
αi + 2.
i=1
i=1
We calculate the real part from both terms of the above equality and obtain:
√
2 Re
X
n √
√ zfi0 (z)
zFn00 (z)
+1 =
αi Re
2
+ 2β
2−1
Fn0 (z)
f
(z)
i
i=1
n
n
√
√ X
X
√
−
2αi β
2−1 − 2
αi + 2.
i=1
i=1
Because fi ∈ SH (β) for i = {1, . . . , n}, we apply in the above relation the inequality (1.1)
and obtain:
0
00
X
n
√
√
zfi (z)
zFn (z)
2 Re
+1 >
αi − 2β
2 − 1 Fn0 (z)
f
(z)
i
i=1
n
n
√ X
√
X
√
−
2αi β
2−1 − 2
αi + 2.
i=1
i=1
0
√
zf (z)
Because αi fii(z) − 2β
2 − 1 > 0, for all i ∈ {1, . . . , n}, we obtain that
(2.13)
√
2 Re
n
n
√
√ X
X
√
zFn00 (z)
+
1
>
−
2α
β
2
−
1
−
2
α
+
2.
i
i
Fn0 (z)
i=1
i=1
Using the hypothesis (2.10), we have:
(2.14)
Re
zFn00 (z)
+ 1 > 0,
Fn0 (z)
so, Fn is a convex function.
√
Corollary 2.4. Let α be real numbers with the properties 0 < α ≤
√ 2
√ ,
2β ( 2−1)+ 2
β > 0. We
suppose that the functions f ∈ SH (β). In these conditions the integral operator, F (z) =
R z f (t) α
dt is convex.
t
0
Proof. In Theorem 2.3, we consider n = 1, α1 = α and f1 = f .
Theorem 2.5. Let αi , i ∈ {1, . . . , n} be real numbers with the properties αi > 0 for i ∈
{1, . . . , n},
(2.15)
n
X
αi < 1
i=1
P
and 1 − ni=1 αi ∈ [0, 1). We consider the functions fi , fi ∈ SP P
for i = {1, . . . , n}. In these
conditions, the integral operator defined in (1.4) is convex by 1 − ni=1 αi order.
J. Inequal. Pure and Appl. Math., 7(5) Art. 177, 2006
http://jipam.vu.edu.au/
6
DANIEL B REAZ AND N ICOLETA B REAZ
Proof. Following the same steps as in Theorem 2.1, we have:
n
n
X zf 0 (z) X
zFn00 (z)
+1=
αi i
−
αi + 1.
0
Fn (z)
fi (z)
i=1
i=1
(2.16)
We calculate the real part from both terms of the above equality and obtain:
X
0
X
00
n
n
zFn (z)
zfi (z)
(2.17)
Re
+1 =
αi Re
−
αi + 1.
Fn0 (z)
fi (z)
i=1
i=1
Because fi ∈ SP for i = {1, . . . , n} we apply in the above relation the inequality (1.2) and
obtain:
0
X
X
00
n
n
zfi (z)
zFn (z)
(2.18)
Re
+1 >
αi − 1 −
αi + 1.
Fn0 (z)
fi (z)
i=1
i=1
0
zfi (z)
Because αi fi (z) − 1 > 0, for all i ∈ {1, . . . , n}, we get
Re
(2.19)
n
X
zFn00 (z)
+1 >1−
αi .
Fn0 (z)
i=1
Using the hypothesis, we obtain that Fn is a convex function by 1 −
P
Remark 2.6. If ni=1 αi = 1 then
00
zFn (z)
+ 1 > 0,
(2.20)
Re
Fn0 (z)
Pn
i=1
αi order.
so, Fn is a convex function.
Corollary 2.7. Let γ be a real number with the property
0 < γ < 1. We suppose that f ∈ SP .
R z f (t) γ
In these conditions the integral operator F (z) = 0
dt is convex of 1 − γ order.
t
Proof. In Theorem 2.5, we consider n = 1, α1 = γ and f1 = f .
Theorem 2.8. We suppose that f ∈ SP . In this condition, the integral operator of Alexander,
defined by
Z z
f (t)
(2.21)
F1 (z) =
dt,
t
0
is convex.
Proof. We have:
(2.22)
Re
zF100 (z)
zf 0 (z) zf 0 (z)
+ 1 = Re
>
− 1 > 0.
0
F1 (z)
f (z)
f (z)
So, the relation (2.22) implies that the Alexander operator is convex.
Remark 2.9. Theorem 2.8 can be obtained from Corollary 2.7, for γ = 1.
Theorem 2.10. Let αi , i ∈ {1, . . . , n} be real numbers with the properties αi > 0 for i ∈
{1, . . . , n},
(2.23)
n
X
i=1
αi <
1
,
α−β+1
J. Inequal. Pure and Appl. Math., 7(5) Art. 177, 2006
α > 0, β ∈ [0, 1)
http://jipam.vu.edu.au/
C ONVEXITY P ROPERTIES FOR A G ENERAL I NTEGRAL O PERATOR
7
P
and (β − α − 1) ni=1 αi + 1 ∈ (0, 1). We suppose that fi ∈ SP (α, β), for i =P
{1, . . . , n}.
In these conditions, the integral operator defined in (1.4) is convex by (β − α − 1) ni=1 αi + 1
order.
Proof. Following the same steps as in Theorem 2.1, we obtain that:
0
n
n
X
zFn00 (z) X
zfi (z)
(2.24)
=
α
+
α
−
β
+
(β
−
α
−
1)
αi .
i
Fn0 (z)
f
(z)
i
i=1
i=1
and
n
(2.25)
X
zFn00 (z)
+
1
=
αi
Fn0 (z)
i=1
zfi0 (z)
+α−β
fi (z)
+ (β − α − 1)
n
X
αi + 1.
i=1
We calculate the real part from both terms of the above equality and get:
( n
)
00
X zf 0 (z)
zFn (z)
i
(2.26)
Re
+ 1 = Re
αi
+α−β
Fn0 (z)
fi (z)
i=1
+ (β − α − 1)
n
X
αi + 1.
i=1
Because fi ∈ SP (α, β) for i = {1, . . . , n} we apply in the above relation the inequality (1.3)
and obtain:
0
00
X
n
n
X
zfi (z)
zFn (z)
+1 ≥
− (α + β) + (β − α − 1)
αi + 1.
(2.27)
Re
αi Fn0 (z)
fi (z)
i=1
i=1
0
zfi (z)
Since αi fi (z) − (α + β) > 0, for all i ∈ {1, . . . , n}, using the inequality (1.3), we have
00
n
X
zFn (z)
(2.28)
Re
+ 1 ≥ (β − α − 1)
αi + 1 > 0.
Fn0 (z)
i=1
Pn
From (2.28), since (β − α − 1) P
i=1 αi +1 ∈ (0, 1), we obtain that the integral operator defined
in (1.4) is convex by (β − α − 1) ni=1 αi + 1 order.
1
,
α−β+1
α > 0, β ∈ [0, 1). We
R z f (t) γ
suppose that f ∈ SP (α, β). In these conditions, the integral operator F (z) = 0
dt is
t
convex.
Corollary 2.11. Let γ be a real number with the property 0 < γ <
Proof. In Theorem 2.10, we consider n = 1, α1 = γ and f1 = f .
For α = β ∈ (0, 1) we obtain the class S (α, α) that is characterized by the property
0
zf (z)
zf 0 (z)
(2.29)
f (z) − 2α ≤ Re f (z) .
Corollary 2.12. Let αi , i ∈ {1, . . . , n} be real numbers with the properties αi > 0 for i ∈
{1, . . . , n} and
n
X
(2.30)
1−
αi ∈ [0, 1) .
i=1
We consider the functions fi , fi ∈ SP (α, α), i = {1,P
. . . , n}, α ∈ (0, 1). In these conditions,
the integral operator defined in (1.4) is convex by 1 − ni=1 αi order.
J. Inequal. Pure and Appl. Math., 7(5) Art. 177, 2006
http://jipam.vu.edu.au/
8
DANIEL B REAZ AND N ICOLETA B REAZ
Proof. From (1.4) we obtain
n
(2.31)
n
zFn00 (z) X zfi0 (z) X
=
αi
−
αi ,
Fn0 (z)
f
(z)
i
i=1
i=1
which is equivalent with
00
X
n
n
zFn (z)
zfi0 (z) X
(2.32)
Re
+
1
=
α
Re
−
αi + 1.
i
Fn0 (z)
f
(z)
i
i=1
i=1
From (2.31) and (2.32), we have:
0
X
00
n
n
X
zfi (z)
zFn (z)
(2.33)
Re
+1 >
αi − 2α + 1 −
αi .
Fn0 (z)
fi (z)
i=1
i=1
0
P
zf (z)
Since ni=1 αi fii(z) − 2α > 0, for all i ∈ {1, . . . , n}, from (2.33), we get:
00
n
X
zFn (z)
+
1
>
1
−
(2.34)
Re
αi .
Fn0 (z)
i=1
P
Now, from (2.34) we obtain that the operator defined in (1.4) is convex by 1− ni=1 αi order.
R EFERENCES
[1] M. ACU, Close to convex functions associated with some hyperbola, Libertas Mathematica, XXV
(2005), 109–114.
[2] D. BREAZ AND N. BREAZ, Two integral operators, Studia Universitatis Babeş -Bolyai, Mathematica, Cluj Napoca, (3) (2002), 13–21.
[3] F. RONNING, Integral reprezentations of bounded starlike functions, Ann. Polon. Math., LX(3)
(1995), 289–297.
[4] F. RONNING, Uniformly convex functions and a corresponding class of starlike functions, Proc.
Amer. Math. Soc., 118(1) (1993), 190–196.
[5] J. STANKIEWICZ AND A. WISNIOWSKA, Starlike functions associated with some hyperbola,
Folia Scientiarum Universitatis Tehnicae Resoviensis 147, Matematyka, 19 (1996), 117–126.
J. Inequal. Pure and Appl. Math., 7(5) Art. 177, 2006
http://jipam.vu.edu.au/