Cesáro partial sums of certain analytic functions

Rabha W Ibrahim; Maslina Darus

doi:10.1186/1029-242X-2013-51

Research
Open Access
Published: 14 February 2013

Cesáro partial sums of certain analytic functions

Rabha W Ibrahim¹ &
Maslina Darus²

Journal of Inequalities and Applications volume 2013, Article number: 51 (2013) Cite this article

2245 Accesses
1 Citations
Metrics details

Abstract

The aim of the present paper is to consider geometric properties such as starlikeness and convexity of the Cesáro partial sums of certain analytic functions in the open unit disk. By using the Cesáro partial sums, we improve some recent results including the radius of convexity.

AMS Subject Classification:30C45.

1 Introduction

Let $U : = {z : | z | < 1}$ be a unit disk in the complex plane ℂ and let ℋ denote the space of all analytic functions on U. Here we suppose that ℋ is a topological vector space endowed with the topology of uniform convergence over compact subsets of U. Also, for $a ∈ C$ and $n ∈ N$ , let $H [a, n]$ be the subspace of ℋ consisting of functions of the form $f (z) = a + a n z n + a n + 1 z n + 1 + ⋯$ . Further, let $A : = {f ∈ H : f (0) = f ′ (0) − 1 = 0}$ and $S$ denote the class of univalent functions in $A$ . A function $f ∈ A$ is called starlike if $f (U)$ is a starlike domain with respect to the origin, and the class of univalent starlike functions is denoted by $S ∗$ . It is called convex $C$ , if $f (U)$ is a convex domain. Each univalent starlike function f is characterized by the analytic condition

ℜ (z f ′ (z) f (z)) > 0, z ∈ U .

Also, it is known that $z f ′ (z)$ is starlike if and only if f is convex, which is characterized by the analytic condition

ℜ (1 + z f ″ (z) f ′ (z)) > 0, z ∈ U .

For a function $f (z) ∈ A$ , we introduce the partial sum of $f (z)$ by

f k (z) = z + ∑ n = 2 k a n z n, z ∈ U .

(1)

For the partial sums $f n (z)$ of $f (z) ∈ S ∗$ , Szegö [1] showed that if $f (z) ∈ S ∗$ , then $f n (z) ∈ S ∗$ for $| z | < 14$ and $f n (z) ∈ C$ for $| z | < 18$ . Owa [2] considered the starlikeness and convexity of partial sums,

f n (z) = z + a n z n,

of certain functions in the unit disk. Moreover, Darus and Ibrahim [3] determined the conditions under which the partial sums of functions of bounded turning are also of bounded turning.

In this paper, we consider the Cesáro partial sums, it is showed that this kind of partial sums preserve the properties of the analytic functions in the unit disk. Robertson [4] showed that if $f (z) ∈ A$ is univalent, then also all the Cesáro sums are univalent in the unit disk. Moreover, if its ordinary partial sums (1) is univalent in U, then the Cesáro sums are univalent. By employing the concept of the subordination, these results were extended by Ruscheweyha and Salinas [5]. The classical Cesáro means play an important role in geometric function theory (see [6–10]).

From the partial sum

s k (z) = ∑ n = 1 k a n z n, z ∈ U,

with $a 1 = 1$ , we construct the Cesáro means $σ k (z)$ of $f ∈ A$ by

σ k (z) = 1 k ∑ n = 1 k s n (z) = 1 k [s 1 (z) + ⋯ + s k (z)] = 1 k [z + (z + a 2 z 2) + ⋯ + (z + ⋯ + a k z k)] = 1 k [k z + (k − 1) a 2 z 2 + ⋯ + a k z k] = z + ∑ n = 2 k (k − n + 1 k) a n z n = f (z) ∗ [z + ∑ n = 2 k (k − n + 1 k) z n] = f (z) ∗ g k (z),

where

g k = z + ∑ n = 2 k (k − n + 1 k) z n .

Our aim is to consider geometric properties such as starlikeness and convexity of the Cesáro partial sums of certain analytic functions in the open unit disk.

2 Main results

We define the function $S k$ which is a partial sum of $f ∈ A$ by

S k (z) = z + (a k k) z k, k ≥ 2, a k ≠ 0 .

(2)

Theorem 1 The function $S k (z)$ satisfies

1 − | a k | r k − 1 1 − | a k | k r k − 1 ≤ ℜ (z S k ′ (z) S k (z)) ≤ 1 + | a k | r k − 1 1 + | a k | k r k − 1

(3)

for

0 ≤ r < k | a k | k − 1 ≤ 1, | a k | ≠ 0 .

Furthermore, $S k (z) ∈ S ∗ (α)$ for

0 ≤ r < 1 − α (1 − α / k) | a k | k − 1 ≤ 1, | a k | ≠ 0 .

Proof

Noting that

z S k ′ (z) S k (z) = k − (k − 1) 1 + a k k z k − 1,

it follows that for $cos θ → 1$ , we obtain

ℜ (z S k ′ (z) S k (z)) = k − (k − 1) 1 + | a k | k cos θ r k − 1 1 + 2 | a k | k r k − 1 cos θ + (| a k | k) 2 r 2 (k − 1) ≤ 1 + | a k | r k − 1 1 + | a k | k r k − 1 .

Moreover, we also observe that

ℜ (z S k ′ (z) S k (z)) ≥ 1 − | a k | r k − 1 1 − | a k | k r k − 1 .

Now assume that

1 − | a k | r k − 1 1 − | a k | k r k − 1 > α

for

0 ≤ r < 1 − α (1 − α / k) | a k | k − 1 ≤ 1, | a k | ≠ 0 .

This completes the proof. □

Remark 2 For example, the values $α = 0.5$ , $k = 2$ and $| a k | = 1$ imply the radius of starlikeness of $S k (z)$ is $r = 0.8164965 …$ , and for the same values, the radius of starlikeness of the ordinary partial sums $f k (z) = z + a k z k$ is $r = 0.577350 …$ (see [2]).

Next, we derive the radius of convexity.

Theorem 3 The function $S k (z)$ satisfies

1 − k | a k | r k − 1 1 − | a k | r k − 1 ≤ ℜ (1 + z S k ′ ′ (z) S k ′ (z)) ≤ 1 + k | a k | r k − 1 1 + | a k | r k − 1

(4)

for

0 ≤ r < 1 | a k | k − 1 ≤ 1, | a k | ≠ 0 .

Furthermore, $S k (z) ∈ C (α)$ for

0 ≤ r < 1 − α (k − α) | a k | k − 1 ≤ 1, | a k | ≠ 0 .

Proof

A computation gives

1 + z S k ′ ′ (z) S k ′ (z) = k − (k − 1) 1 + a k z k − 1 .

Therefore, for $cos θ → 1$ , we obtain

ℜ (1 + z S k ′ ′ (z) S k ′ (z)) = k − (k − 1) 1 + | a k | cos θ r k − 1 1 + 2 | a k | r k − 1 cos θ + | a k | 2 r 2 (k − 1) ≤ 1 + k | a k | r k − 1 1 + | a k | r k − 1 .

Moreover, we impose

ℜ (1 + z S k ′ ′ (z) S k ′ (z)) ≥ 1 − k | a k | r k − 1 1 − | a k | r k − 1 .

Now, consider that

1 − k | a k | r k − 1 1 − | a k | r k − 1 > α

for

0 ≤ r < 1 − α (k − α) | a k | k − 1 ≤ 1, | a k | ≠ 0 .

This completes the proof. □

Remark 4 In view of Theorem 3, for example, the values $α = 0.5$ , $k = 2$ and $| a k | = 1$ pose the radius of convexity of $S k (z)$ is $r = 0.577350 …$ and for the same values, the radius of convexity of the ordinary partial sums $f k (z) = z + a k z k$ is $r = 0.4082 …$ (see [2]).

Next, we assume special ordinary partial sums depending so that their coefficients satisfy the relation $| a n | ≤ (k − n + 1 k)$ .

Theorem 5 Assume the partial sum

f 3 (z) = z + k − 1 k z 2 + k − 2 k z 3, k ≥ 2 .

Then the function $f 3 (z) ∈ S ∗ (12)$ .

Proof We consider α such that

ℜ (z f 3 ′ (z) f 3 (z)) = ℜ (3 − 2 + k − 1 k z 1 + k − 1 k z + k − 2 k z 2) > α .

This implies that

ℜ (2 + k − 1 k z 1 + k − 1 k z + k − 2 k z 2) < 3 − α,

that is,

ℜ (1 − k − 1 k z 2 1 + k − 1 k z + k − 2 k z 2) = 1 − k − 1 k r 2 (2 cos 2 θ − 1) 1 + k − 1 k r cos θ + k − 2 k r 2 (2 cos 2 θ − 1) < 2 − α .

By letting $t = cos θ$ , we define the function $g (t)$ as follows:

g (t) = 1 − k − 1 k r 2 (2 t 2 − 1) 1 + k − 1 k r t + k − 2 k r 2 (2 t 2 − 1) .

Logarithmic derivative of $g (t)$ yields

g ′ (t) g (t) = − {(4 t k − 1 k r 2) [1 + k − 1 k r t + k − 2 k r 2 (2 t 2 − 1)] + (k − 1 k r + 4 k − 2 k r 2 t) [1 − k − 1 k r 2 (2 t 2 − 1)] [1 − k − 1 k r 2 (2 t 2 − 1)] [1 + k − 1 k r t + k − 2 k r 2 (2 t 2 − 1)]} : = − {h (t) [1 − k − 1 k r 2 (2 t 2 − 1)] [1 + k − 1 k r t + k − 2 k r 2 (2 t 2 − 1)]} = − A t 2 + B t + C [1 − k − 1 k r 2 (2 t 2 − 1)] [1 + k − 1 k r t + k − 2 k r 2 (2 t 2 − 1)],

where

A = 2 r 3 (k − 1 k) 2, B = 4 r 2 [k − 1 k + k − 2 k], C = k − 1 k r [1 + k − 1 k r 2] .

Now, for all $k ≥ 2$ and $r → 1$ , the function $h (t)$ has unique real negative zeros in the interval $(− 12, 0)$ . This leads to the fact that $g ′ (t)$ has unique positive real zeros for all $k ≥ 2$ distributed in the interval $(0, 12)$ . Therefore, we will calculate α in $t ∈ [12, 1)$ . It is easy to check that $g (t)$ is decreasing for $r → 1$ in the interval $[12, 1)$ . Moreover, we have

lim k → ∞ g (12) = lim k → ∞ 1 + k − 1 2 k 1 + k − 1 2 k − k − 2 2 k = 32 .

We conclude that for $t ∈ [12, 1)$ ,

g (t) < g (12) ≤ 32 = 2 − α,

thus $α = 12$ . This completes the proof. □

By letting $k = 3$ in Theorem 5, we have the following result.

Corollary 6 The Cesáro partial sums

σ 3 (z) = z + 23 z 2 + 13 z 3, z ∈ U,

of the function $f (z) = z 1 − z$ are starlike of order $α = 15$ .

Theorem 7 Assume the partial sum $f 3 (z)$ as in Theorem 5. Then the function $f 3 (z) ∈ C (15)$ .

Proof We consider α such that

ℜ (1 + z f 3 ′ ′ (z) f 3 ′ (z)) = ℜ (3 − 2 (k − 1 k z + 1) 1 + 2 k − 1 k z + 3 k − 2 k z 2) > α .

This implies that

ℜ (k − 1 k z + 1 1 + 2 k − 1 k z + 3 k − 2 k z 2) < 3 − α 2,

therefore, a computation gives

ℜ (k − 1 k z + 1 1 + 2 k − 1 k z + 3 k − 2 k z 2) = 12 + ℜ (12 (1 − 3 k − 2 k z 2) 1 + 2 (k − 1 k) z + 3 (k − 2 k) z 2),

thus

12 (1 − 3 k − 2 k r 2 (2 cos 2 θ − 1)) 1 + 2 (k − 1 k) r cos θ + 3 (k − 2 k) (2 cos 2 θ − 1) < 2 − α 2 .

By putting $t = cos θ$ , we define the function $G (t)$ as follows:

G (t) = 12 (1 − 3 k − 2 k r 2 (2 t 2 − 1)) 1 + 2 (k − 1 k) r t + 3 r 2 (k − 2 k) (2 t 2 − 1) .

Logarithmic derivative of $G (t)$ yields

G ′ (t) G (t) = − {[12 r 2 k − 2 k t] [1 + 2 (k − 1 k) r t + 3 r 2 (k − 2 k) (2 t 2 − 1)] [1 − 3 k − 2 k r 2 (2 t 2 − 1)] [1 + 2 (k − 1 k) r t + 3 r 2 (k − 2 k) (2 t 2 − 1)] + [12 r 2 k − 2 k t + 2 r k − 1 k] [1 − 3 k − 2 k r 2 (2 t 2 − 1)] [1 − 3 k − 2 k r 2 (2 t 2 − 1)] [1 + 2 (k − 1 k) r t + 3 r 2 (k − 2 k) (2 t 2 − 1)]} : = − {H (t) [1 − 3 k − 2 k r 2 (2 t 2 − 1)] [1 + 2 (k − 1 k) r t + 3 r 2 (k − 2 k) (2 t 2 − 1)]} = − A t 2 + B t + C [1 − 3 k − 2 k r 2 (2 t 2 − 1)] [1 + 2 (k − 1 k) r t + 3 r 2 (k − 2 k) (2 t 2 − 1)],

where

A = 12 r 3 (k − 1) (k − 2) k 2, B = 12 r 2 k − 2 k [2 + 3 r 2 (k − 2 k)], C = 2 r k − 1 k [1 + 3 r 2 (k − 2 k)] .

Now, for all $k ≥ 3$ and $r → 1$ , the function $H (t)$ has unique real negative zeros in the interval $[− 12, 0)$ . This leads to the fact that $G ′ (t)$ has unique positive real zeros for all $k ≥ 3$ in the interval $(0, 12]$ . So, we calculate α in the interval $t ∈ (12, 1)$ . A computation yields $G (t)$ is decreasing for $r → 1$ in the interval $t ∈ (12, 1)$ . Thus, we have

lim k → ∞ G (t) < 910 = 2 − α 2, 1 > t > 0.5,

which implies $α = 15$ . This completes the proof. □

Theorem 8 Assume the Cesáro partial sum

σ 3 (z) = z + 43 z 2 + z 3

of the function

f (z) = z (1 − z) 2 = z + 2 z 2 + 3 z 3 + ⋯ .

Then the function $σ 3 (z) ∈ C (12)$ for all $0.2 < r < 0.5$ .

Proof We consider α such that

ℜ (1 + z σ 3 ′ ′ (z) σ 3 ′ (z)) = ℜ (3 − 2 (43 z + 1) 1 + 83 z + 3 z 2) > α .

This implies that

ℜ (43 z + 1 1 + 83 z + 3 z 2) < 3 − α 2,

therefore, a computation gives

ℜ (43 z + 1 1 + 83 z + 3 z 2) = 12 + ℜ (12 (1 − 3 z 2) 1 + 83 z + 3 z 2),

thus

1 − 3 r 2 (2 cos 2 θ − 1) 1 + 83 r cos θ + 3 (2 cos 2 θ − 1) < 2 − α .

By putting $t = cos θ$ , we define the function $ȷ (t)$ as follows:

ȷ (t) = 1 − 3 r 2 (2 t 2 − 1) 1 + 83 r t + 3 r 2 (2 t 2 − 1) .

Logarithmic derivative of $ȷ (t)$ yields

ȷ ′ (t) ȷ (t) : = − {ħ (t) [1 − 3 r 2 (2 t 2 − 1)] [1 + 83 r t + 3 r 2 (2 t 2 − 1)]} = − 16 r 3 t 2 + 24 r 2 t + 83 r (1 + 3 r 2) [1 − 3 r 2 (2 t 2 − 1)] [1 + 83 r t + 3 r 2 (2 t 2 − 1)] .

The function $ħ (t)$ has a unique real negative zero in the interval $t ∈ (− 1, 0)$ for all $0.2 < r < 0.5$ which is around $t ≃ − 12$ . This leads to the fact that $ȷ ′ (t)$ has a unique positive real zero in the interval $(0, 1)$ around $t ≃ 12$ . A computation yields $ȷ (t)$ is decreasing in the interval $t ∈ (12, 1)$ and assuming its maximums at $t = 0.5$ and $r = 0.5$ . Thus, we have

lim r → 0.5, t → 0.5 ȷ (t) < 32 = 2 − α,

which implies $α = 12$ . This completes the proof. □

Note that some other results related to partial sums can be found in [11–15].

References

1.
Szego G: Zur theorie der schlichten abbilungen. Math. Ann. 1928, 100: 188–211. 10.1007/BF01448843
2.
Owa S: Partial sums of certain analytic functions. Int. J. Math. Math. Sci. 2001, 25(12):771–775. 10.1155/S0161171201005099
3.
Darus M, Ibrahim RW: Partial sums of analytic functions of bounded turning with applications. Comput. Appl. Math. 2010, 29(1):81–88.
4.
Robertson MS: On the univalency of Cesáro sums of univalent functions. Bull. Am. Math. Soc. 1936, 42: 241–243. 10.1090/S0002-9904-1936-06279-8
- Article
- Google Scholar
5.
Ruscheweyha S, Salinas LC: Subordination by Cesáro means. Complex Var. Elliptic Equ. 1993, 3(21):279–285.
- Article
- Google Scholar
6.
Splina LT: On certain applications of the Hadamard product. Appl. Math. Comput. 2008, 199: 653–662. 10.1016/j.amc.2007.10.031
7.
Darus M, Ibrahim RW: On Cesáro means for Fox-Wright functions. J. Math. Stat. 2008, 4(3):156–160.
8.
Darus M, Ibrahim RW: On some properties of differential operator. Acta Didact. Napoc. 2009, 2(2):1–6.
- MATH
- Google Scholar
9.
Darus M, Ibrahim RW: Coefficient inequalities for concave Cesáro operator of non-concave analytic functions. Eur. J. Pure Appl. Math. 2010, 3(6):1086–1092.
10.
Srivastava HM, Darus M, Ibrahim RW: Classes of analytic functions with fractional powers defined by means of a certain linear operator. Integral Transforms Spec. Funct. 2011, 1(22):17–28.
11.
Frasin BA: Generalization of partial sums of certain analytic and univalent functions. Appl. Math. Lett. 2008, 21: 735–741. 10.1016/j.aml.2007.08.002
12.
Wang Z-G, Liu Z-H, Catas A: On neighborhoods and partial sums of certain meromorphic multivalent functions. Appl. Math. Lett. 2011, 24: 864–868. 10.1016/j.aml.2010.12.033
13.
Murugusundaramoorthy G, Uma K, Darus M: Partial sums of generalized class of analytic functions involving Hurwitz-Lerch zeta function. Abstr. Appl. Anal. 2011., 2011: Article ID 849250. doi:10.1155/2011/849250
- Google Scholar
14.
Ghanim F, Darus M: Partial sums of certain new subclasses for meromorphic functions. Far East J. Math. Sci. 2011, 55(2):181–195.
15.
Ibrahim RW, Darus M: Partial sums for certain classes of meromorphic functions. Tamkang J. Math. 2010, 41(1):39–49.

Download references

Acknowledgements

The work was fully supported by UKM-DLP-2011-050 and LRGS/TD/2011/UKM/ICT/03/02. The authors also would like to thank the referees for giving some suggestions for improving the work.

Author information

Affiliations

Institute of Mathematical Sciences, Universiti Malaya, Kuala Lumpur, 50603, Malaysia
- Rabha W Ibrahim
School of Mathematical Sciences, Faculty of Science and Technology, Universiti Kebangsaan Malaysia, Bangi, Selangor Darul Ehsan, 43600, Malaysia
- Maslina Darus

Authors

Rabha W Ibrahim
View author publications
You can also search for this author in
- PubMed
- Google Scholar
Maslina Darus
View author publications
You can also search for this author in
- PubMed
- Google Scholar

Corresponding author

Correspondence to Maslina Darus.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

Both authors jointly worked on deriving the results and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and Permissions

About this article

Cite this article

Ibrahim, R.W., Darus, M. Cesáro partial sums of certain analytic functions. J Inequal Appl 2013, 51 (2013). https://doi.org/10.1186/1029-242X-2013-51

Download citation

Received: 04 August 2012
Accepted: 25 January 2013
Published: 14 February 2013
DOI: https://doi.org/10.1186/1029-242X-2013-51

Keywords

analytic function
univalent functions
starlike functions
unit disk
Cesáro partial sums
partial sums