IJMMS International Journal of Mathematics and Mathematical Sciences 1687-0425 0161-1712 Hindawi Publishing Corporation 509349 10.1155/2012/509349 509349 Research Article A Convolution Approach on Partial Sums of Certain Harmonic Univalent Functions Porwal Saurabh Dragomir S. S. 1 Department of Mathematics UIET Campus CSJM University Kanpur 208024 India kanpuruniversity.org 2012 11 11 2012 2012 30 03 2012 13 10 2012 14 10 2012 2012 Copyright © 2012 Saurabh Porwal. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

The purpose of the present paper is to establish some new results giving the sharp bounds of the real parts of ratios of harmonic univalent functions to their sequences of partial sums by using convolution. Relevant connections of the results presented here with various known results are briefly indicated.

1. Introduction

A continuous complex-valued function f=u+iv is said to be harmonic in a simply connected domain D if both u and v are real harmonic in D. In any simply-connected domain we can write f=h+g¯, where h and g are analytic in D. We call h the analytic part and g the co-analytic part of f. A necessary and sufficient condition for f to be locally univalent and sense-preserving in D is that |h'(z)|>|g'(z)|,zD, see . For more basic results on harmonic functions one may refer to the following standard text book by Duren . See also Ahuja  and Ponnusamy and Rasila ([4, 5]).

Denote by SH the class of functions f=h+g¯ which are harmonic univalent and sense-preserving in the open unit disk U={z:|z|<1} for which f(0)=fz(0)-1=0. Then for f=h+g¯SH we may express the analytic functions h and g as (1.1)h(z)=z+k=2akzk,g(z)=k=1bkzk,|b1|<1.

Note that SH reduces to the class S of normalized analytic univalent functions, if the coanalytic part of its member is zero, that is, g0, and for this class f(z) may be expressed as (1.2)f(z)=z+k=2akzk.

Let ϕ(z)SH be a fixed function of the form (1.3)ϕ(z)=z+k=2ckzk+k=1dkzk¯,(dkckc2>0;k2,|d1|<1).

Now, we introduce a class SH(ck,dk,δ) consisting of functions of the form (1.1) which satisfies the inequality (1.4)k=2ck|ak|+k=1dk|bk|δ,where  δ>0, and we note that if dk=0, then the class SH(ck,dk,δ) reduces to the class Sϕ(ck,δ) which was introduced by Frasin . In this case the condition (1.4) reduces to (1.5)k=2ck|ak|δ,where  δ>0.

It is easy to see that various subclasses of SH consisting of functions f(z) of the form (1.1) can be represented as SH(ck,dk,δ) for suitable choices of ck,dk, and δ studied earlier by various researchers. For example:

SH(k,k,1)SH* and SH(k2,k2,1)KH studied by Silverman ; Silverman and Silvia .

SH(k-α,k+α,1-α)SH*(α) studied by Jahangiri .

SH((k-α)(ϕ(k,λ)),(k+α)(ϕ(k,λ)),1-α)SH,λ*(α) studied by Dixit and Porwal .

SH(km-αkn,km-αkn,1-α)HS(m,n,α) studied by Dixit and Porwal .

SH(k,k,β-1)HP(β) studied by Dixit and Porwal .

SH(λk(1-αλ)-α(1-λ),μk(1-αλ)+α(1-λ),1-α)SH(Φ,Ψ,α,λ) studied by Dixit and Porwal .

SH(λk-α,μk+α,1-α)SH(Φ,Ψ,α) studied by Frasin .

SH(k(1-αλ)-α(1-λ),k(1-αλ)+α(1-λ),1-α)SH*(α,λ) studied by Öztürk et al. .

SH((k(β+1)-t(β+γ))Γ(α1,k),(k(β+1)+t(β+γ))Γ(α1,k)),(k-1)!(1-γ))GH(α1,β,γ,t) studied by Porwal et al. .

SH(2k-1-α,2k+1+α,1-α)GH(α) studied by Rosy et al. .

In 1985, Silvia  studied the partial sums of convex functions of order α. Later on, Silverman , Afaf et al. , Dixit and Porwal , Frasin ([6, 22]), Murugusundaramoorthy et al. , Owa et al. , Porwal and Dixit , Raina and Bansal  and Rosy et al.  studied and generalized the results on partial sums for various classes of analytic functions. Very recently, Porwal , Porwal and Dixit  studied analogues interesting results on the partial sums of certain harmonic univalent functions. In this work, we extend all these results.

Now, we let the sequences of partial sums of function of the form (1.1) with b1=0 be (1.6)fm(z)=z+k=2makzk+k=2bkzk¯,fn(z)=z+k=2akzk+k=2nbkzk¯,fm,n(z)=z+k=2makzk+k=2nbkzk¯, when the coefficients of f are sufficiently small to satisfy the condition (1.4).

In the present paper, we determine sharp lower bounds for Re{(f(z)*ψ(z))/(fm(z)*ψ(z))}, Re{(fm(z)*ψ(z))/(f(z)*ψ(z))}, Re{(f(z)*ψ(z))/(fn(z)*ψ(z))}, Re{(fn(z)*ψ(z))/(f(z)*ψ(z))}, Re{(f(z)*ψ(z))/(fm,n(z)*ψ(z))}, and Re{(fm,n(z)*ψ(z))/(f(z)*ψ(z))} where fm(z), fn(z) and fm,n(z) are defined above and ψ(z)=z+k=2λkzk+k=2μkzk¯, (λk0,μk0) is a harmonic function and the operator “*” stands for the Hadamard product or convolution of two power series, which is defined for two functions f(z) and g(z) are of the form (1.7)f(z)=z+k=2akzk+k=2bkzk¯,g(z)=z+k=2ckzk+k=2dkzk¯, as (1.8)(f*g)(z)  =f(z)*g(z)=z+k=2akckzk+k=2bkdkzk¯. It is worthy to note that this study not only gives as a particular case, the results of Porwal , Porwal and Dixit , but also give rise to several new results.

2. Main Results

In our first theorem, we determine sharp lower bounds for Re{(f(z)*ψ(z))/(fm(z)*ψ(z))}.

Theorem 2.1.

If f of the form (1.1) with b1=0, satisfies the condition (1.4), then (2.1)Re{f(z)*ψ(z)fm(z)*ψ(z)}cm+1-λm+1δcm+1,(zU), where (2.2)ck{λkδifk=2,3,,m,λkcm+1λm+1ifk=m+1,m+2.

The result (2.1) is sharp with the function given by (2.3)f(z)=z+δcm+1zm+1, where 0<δcm+1/λm+1.

Proof.

To obtain sharp lower bound given by (2.1), let us put (2.4)1+ω(z)1-ω(z)=cm+1λm+1δ[f(reiθ)*ψ(reiθ)fm(reiθ)*ψ(reiθ)-cm+1-λm+1δcm+1]=1+k=2mλkakrk-1ei(k-1)θ+k=2μkbk¯rk-1e-i(k+1)θ+(cm+1/λm+1δ)[k=m+1λkakrk-1ei(k-1)θ]1+k=2mλkakrk-1ei(k-1)θ+k=2μkbk¯rk-1e-i(k+1)θ. So that (2.5)ω(z)=[k=m+1λkakrk-1ei(k-1)θ]2+2(k=2mλkakrk-1ei(k-1)θ+k=2μkb-krk-1e-i(k+1)θ)+(k=m+1λkakrk-1ei(k-1)θ), where denotes (cm+1/λm+1δ).

Then (2.6)|ω(z)|(cm+1/λm+1δ)[k=m+1λk|ak|]2-2(k=2mλk|ak|+k=2μk|bk|)-(cm+1/λm+1δ)(k=m+1λk|ak|). This last expression is bounded above by 1, if and only if (2.7)k=2mλk|ak|+k=2μk|bk|+cm+1λm+1δ(k=m+1λk|ak|)1. It suffices to show that L.H.S. of (2.7) is bounded above by  k=2(ck/δ)|ak|+k=2(dk/δ)|bk|, which is equivalent to (2.8)k=2mck-λkδδ|ak|+k=2dk-μkδδ|bk|+k=m+1ckλm+1-cm+1λkλm+1δ|ak|0.

To see that f(z)=z+(δ/cm+1)zm+1 gives the sharp result, we observe that for z=reiπ/m that (2.9)f(z)*ψ(z)fm(z)*ψ(z)=1+λm+1δcm+1zm1-λm+1δcm+1=cm+1-λm+1δcm+1, when r1-.

We next determine bounds for Re{(fm(z)*ψ(z))/(f(z)*ψ(z))}.

Theorem 2.2.

If f of the form (1.1) with b1=0, satisfies the condition (1.4), then (2.10)Re{fm(z)*ψ(z)f(z)*ψ(z)}cm+1cm+1+λm+1δ,(zU), where (2.11)ck{λkδifk=2,3,,mλkcm+1λm+1ifk=m+1,m+2. The result (2.10) is sharp with the function given by (2.3).

Proof.

To prove Theorem 2.2, we may write (2.12)1+ω(z)1-ω(z)=cm+1+λm+1δλm+1δ[fm(z)*ψ(z)f(z)*ψ(z)-cm+1cm+1+λm+1δ]=1+k=2mλkakrk-1ei(k-1)θ+k=2μkbk¯rk-1e-i(k+1)θ-(cm+1/λm+1δ)[k=m+1λkakrk-1ei(k-1)θ]1+k=2λkakrk-1ei(k-1)θ+k=2μkbk¯rk-1e-i(k+1)θ, where (2.13)|ω(z)|((cm+1+λm+1δ)/λm+1δ)[k=m+1λk|ak|]2-2(k=2mλk|ak|+k=2μk|bk|)-((cm+1-λm+1δ)/λm+1δ)(k=m+1λk|ak|)1. This last inequality is equivalent to (2.14)k=2mλk|ak|+k=2μk|bk|+cm+1λm+1δ(k=m+1λk|ak|)1. Since the L.H.S. of (2.14) is bounded above by k=2(ck/δ)|ak|+k=2(dk/δ)|bk|, the proof is evidently complete.

Adopting the same procedure as in Theorems 2.1 and 2.2 and performing simple calculations, we can obtain the sharp lower bounds for the real parts of the following ratios: (2.15)Re{(f(z)*ψ(z))(fn(z)*ψ(z))},Re{(fn(z)*ψ(z))(f(z)*ψ(z))},Re{(f(z)*ψ(z))(fm,n(z)*ψ(z))},Re{(fm,n(z)*ψ(z))(f(z)*ψ(z))}.

The results corresponding to real parts of these ratios are contained in the following Theorems 2.3, 2.4, 2.5, and 2.6.

Theorem 2.3.

If f of the form (1.1) with b1=0 satisfies the condition (1.4), then (2.16)Re{f(z)*ψ(z)fn(z)*ψ(z)}dn+1-μn+1δdn+1,(zU), where (2.17)dk{μkδifk=2,3,,n,μkdn+1μn+1ifk=n+1,n+2.

The result (2.16) is sharp with the function (2.18)f(z)=z+δdn+1z-n+1.

Theorem 2.4.

If f of the form (1.1) with b1=0, satisfies the condition (1.4), then (2.19)Re{fn(z)*ψ(z)f(z)*ψ(z)}dn+1dn+1+μn+1δ,(zU), where (2.20)dk{μkδifk=2,3,,n,μkdn+1μn+1ifk=n+1,n+2.

The result (2.19) is sharp with the function given by (2.18).

Theorem 2.5.

If f of the form (1.1) with b1=0, satisfies the condition (1.4), then

(2.21)Re{f(z)*ψ(z)fm,n(z)*ψ(z)}cm+1-λm+1δcm+1,(zU),

where (2.22)ck{λkδifk=2,3,,m,λkcm+1λm+1ifk=m+1,m+2,dk{λkδifk=2,3,,m,λkcm+1λm+1ifk=m+1,m+2

(2.23)Re{f(z)*ψ(z)fm,n(z)*ψ(z)}dn+1-μn+1δdn+1,(zU),

where (2.24)ck{μkδifk=2,3,,n,μkdn+1μn+1ifk=n+1,n+2,dk{μkδifk=2,3,,n,μkdn+1μn+1ifk=n+1,n+2.

The results (2.21) and (2.23) are sharp with the functions given by (2.3) and (2.18), respectively.

Theorem 2.6.

If f of the form (1.1) with b1=0, satisfies condition (1.4), then

(2.25)Re{fm,n(z)*ψ(z)f(z)*ψ(z)}cm+1cm+1+λm+1δ,(zU),

where (2.26)ck{λkδifk=2,3,,m,λkcm+1λm+1ifk=m+1,m+2,dk{λkδifk=2,3,,m,λkcm+1λm+1ifk=m+1,m+2.

(2.27)Re{fm,n(z)*ψ(z)f(z)*ψ(z)}dn+1dn+1+μn+1δ,(zU),

where (2.28)ck{μkδifk=2,3,,m,μkdn+1μn+1ifk=m+1,m+2,dk{μkδifk=2,3,,n,μkdn+1μn+1ifk=n+1,n+2.

The results (2.25) and (2.27) are sharp with the functions given by (2.3) and (2.18) respectively.

3. Some Consequences and Concluding Remarks

In this section, we specifically point out the relevances of some of our main results with those results which have appeared recently in literature.

If we put ψ(z)=(z/(1-z))+((z/(1-z))-z)¯ and ψ(z)=(z/(1-z)2)+((z/(1-z)2)-z¯) in Theorems 2.12.6, then we obtain the corresponding results of Porwal .

Next, if we put ψ(z)=(z/(1-z))+((z/(1-z))-z)¯, ψ(z)=(z/(1-z)2)+((z/(1-z)2)-z)¯, ck=k-α,dk=k+α, and δ=1-α in Theorems 2.12.6, then we obtain the corresponding results of Porwal and Dixit .

Again, if we put g=0 in Theorems 2.1 and 2.2, then we obtain the corresponding results of Dixit and Porwal .

Lastly, if we put g0, ψ(z)=z/(1-z), and ψ(z)=z/(1-z)2 Theorems 2.1 and 2.2, then we obtain the result of Frasin .

We mention below some corollaries giving sharp bounds of the real parts on the ratio of univalent functions to its sequences of partial sums.

By putting ψ(z)=z/(1-z) in Theorem 2.1 for the function f of the form (1.2) with ck=k-α and δ=1-α, then we obtain the following result of Silverman , Theorem 1.

Corollary 3.1.

If f of the form (1.2) satisfies the condition (1.5) with ck=k-α and δ=1-α, then (3.1)Re{f(z)fm(z)}mm+1-α,zU. The result is sharp for every m, with the extremal function given by (3.2)f(z)=z+1-αm+1-αzm+1.

On the other hand, if we put ψ(z)=z/(1-z)2 in Theorem 2.1 for the function f of the form (1.2) with ck=k-α and δ=1-α, then we obtain the following result of Silverman, Theorem 4(i) .

Corollary 3.2.

If f of the form (1.2) satisfies the condition (1.5) with ck=k-α, then for zU(3.3)Re{f(z)fm(z)}αmm+1-α. The result is sharp for every m, with the extremal function given by (3.2).

Also, if we put ψ(z)=z/(1-z) in Theorem 2.1 for the function f of the form (1.2) belonging to the class Sϕ(ck,δ), then we obtain the following result of Frasin .

Corollary 3.3.

If Sϕ(ck,δ), then (3.4)Re{f(z)fm(z)}cm+1-δcm+1,(zU), where (3.5)ck{δifk=2,3,,m,cm+1ifk=m+1,m+2,.

The result is sharp for every m, with the extremal function given by (3.6)f(z)=z+δcm+1zm+1.

Next, if we put ψ(z)=z/(1-z) in Theorem 2.1 for the function f of the form (1.2) with ck=ρk(λ,γ,η) and δ=1-γ, then we obtain the following result of Murugusundaramoorthy et al. (, Theorem 2.1).

Corollary 3.4.

If f of the form (1.2) satisfies the condition (1.5) with ck=ρk(λ,γ,η) and δ=1-γ, then for zU:(3.7)Re{f(z)fm(z)}ρm+1(λ,γ,η)-1+γρm+1(λ,γ,η), where (3.8)ρk(λ,γ,η){1-γifk=2,3,,m,ρm+1(λ,γ,η)ifk=m+1,m+2.

The result is sharp for every m, with the extremal function given by (3.9)f(z)=z+1-γρm+1(λ,γ,η)zm+1.

Again, if we set ψ(z)=(z/(1-z))+((z/(1-z))-z¯) in Theorem 2.1, then we obtain the following result of Porwal .

Corollary 3.5.

If f of the form (1.1) with b1=0, satisfies the condition (1.4) with (3.10)ck{δifk=2,3,,m,cm+1ifk=m+1,m+2, then (3.11)Re{f(z)fm(z)}cm+1-δcm+1,zU. The result (3.11) is sharp with the function given by (3.6).

Here we give some open problems for the readers.

In 2004, Owa et al.  studied the starlikeness and convexity properties on the partial sums fn(z) and gn(z) of the familiar Koebe function f(z)=z/(1-z)2 which is the extremal function for the class S* of starlike functions in the open unit disk U and the function g(z)=z/(1-z) which is the extremal function for the class K of convex functions in the open unit disk U, respectively. They also presented some illustrative examples by using Mathematica (Version 4.0). It is interesting to obtain analogues results on harmonic starlikeness and convexity properties of the partial sums of the harmonic Koebe function.

In 2003, Jahangiri et al.  studied the construction of sense-preserving, univalent, and close-to-convex harmonic functions by using of the Alexander integral transforms of certain analytic functions (which are starlike or convex of positive order). They construct a function (3.12)g(z)=z+1-αk-αzk+α2(z¯)2+α(1-α)(k+1)(k-α)(z¯)k+1, which is sense-preserving, univalent, and close-to-convex harmonic in U, by using the result of Theorem 2  and taking the following function: (3.13)f(z)=z+1-αk(k-α)zk,(k>1;0α<1). It is worthy to note that the function (3.13) is of the form (3.6) with ck=k(k-α) and δ=1-α. Therefore, it is natural to ask that the results of  may be generalized for the function of the form (3.6).

Acknowledgment

The author is thankful to the referee for his valuable comments and observations which helped in improving the paper.

Clunie J. Sheil-Small T. Harmonic univalent functions Annales Academiae Scientiarum Fennicae. Series A I. Mathematica 1984 9 3 25 752388 ZBL0506.30007 Duren P. Harmonic Mappings in the Plane 2004 156 Cambridge, UK Cambridge University Press 10.1017/CBO9780511546600 2048384 Ahuja O. P. Planar harmonic univalent and related mappings Journal of Inequalities in Pure and Applied Mathematics 2005 6 4, article 122 1 18 2178303 ZBL1099.31001 Ponnusamy S. Rasila A. Planar harmonic mappings RMS Mathematics Newsletters 2007 17 2 40 57 Ponnusamy S. Rasila A. Planar harmonic and quasi-conformal mappings RMS Mathematics Newsletters 2007 17 3 85 101 Frasin B. A. Generalization of partial sums of certain analytic and univalent functions Applied Mathematics Letters 2008 21 7 735 741 10.1016/j.aml.2007.08.002 2423054 ZBL1152.30308 Silverman H. Harmonic univalent functions with negative coefficients Journal of Mathematical Analysis and Applications 1998 220 1 283 289 10.1006/jmaa.1997.5882 1613960 ZBL0908.30013 Silverman H. Silvia E. M. Subclasses of harmonic univalent functions New Zealand Journal of Mathematics 1999 28 2 275 284 1775070 ZBL0959.30003 Jahangiri J. M. Harmonic functions starlike in the unit disk Journal of Mathematical Analysis and Applications 1999 235 2 470 477 10.1006/jmaa.1999.6377 1703707 ZBL0940.30003 Dixit K. K. Porwal S. An application of fractional calculus to harmonic univalent functions Bulletin of the Calcutta Mathematical Society 2010 102 4 343 352 2839785 Dixit K. K. Porwal S. On a subclass of harmonic univalent functions Journal of Inequalities in Pure and Applied Mathematics 2009 10 1, article 27 1 18 2491937 ZBL1173.30011 Dixit K. K. Porwal S. A subclass of harmonic univalent functions with positive coefficients Tamkang Journal of Mathematics 2010 41 3 261 269 2743627 ZBL1206.30016 Dixit K. K. Porwal S. Some properties of harmonic functions defined by convolution Kyungpook Mathematical Journal 2009 49 4 751 761 10.5666/KMJ.2009.49.4.751 2601942 ZBL1188.30010 Frasin B. A. Comprehensive family of harmonic univalent functions SUT Journal of Mathematics 2006 42 1 145 155 2255540 ZBL1104.30007 Öztürk M. Yalçin S. Yamankaradeniz M. Convex subclass of harmonic starlike functions Applied Mathematics and Computation 2004 154 2 449 459 10.1016/S0096-3003(03)00725-2 2111382 ZBL1066.31001 Porwal S. Dixit K. K. Kumar V. Pathak A. L. Dixit P. A new subclass of harmonic univalent functions defined by Dziok-Srivastava Operator Advances in Theoretical and Applied Mathematics 2010 5 1 109 119 Rosy T. Stephen B. A. Subramanian K. G. Jahangiri J. M. Goodman-Rønning-type harmonic univalent functions Kyungpook Mathematical Journal 2001 41 1 45 54 1847436 Silvia E. M. On partial sums of convex functions of order α Houston Journal of Mathematics 1985 11 3 397 404 808655 ZBL0596.30025 Silverman H. Partial sums of starlike and convex functions Journal of Mathematical Analysis and Applications 1997 209 1 221 227 10.1006/jmaa.1997.5361 1444523 ZBL0894.30010 Afaf A. Ali Abubaker Darus M. Partial sums of analytic functions involving generalized Cho-Kwon-Srivastava operator International Journal of Open Problems in Complex Analysis 2010 2 3 181 188 Dixit K. K. Porwal S. A convolution approach on partial sums of certain analytic and univalent functions Journal of Inequalities in Pure and Applied Mathematics 2009 10 4, article 101 1 17 2577871 ZBL1226.30013 Frasin B. A. Partial sums of certain analytic and univalent functions Acta Mathematica 2005 21 2 135 145 2162609 ZBL1092.30019 Murugusundaramoorthy G. Uma K. Darus M. Partial sums of generalized class of analytic functions involving Hurwitz-Lerch zeta function Abstract and Applied Analysis 2011 2011 9 849250 10.1155/2011/849250 2802826 ZBL1220.30025 Owa S. Srivastava H. M. Saito N. Partial sums of certain classes of analytic functions International Journal of Computer Mathematics 2004 81 10 1239 1256 10.1080/00207160412331284042 2173456 ZBL1060.30022 Porwal S. Dixit K. K. An application of Salagean derivative on partial sums of certain analytic and univalent functions Acta Universitatis Apulensis 2011 26 75 82 2850598 Raina R. K. Bansal D. Some properties of a new class of analytic functions defined in terms of a Hadamard product Journal of Inequalities in Pure and Applied Mathematics 2008 9 1, article 22 1 20 2391289 ZBL1165.30339 Rosy T. Subramanian K. G. Murugusundaramoorthy G. Neighbourhoods and partial sums of starlike functions based on Ruscheweyh derivatives Journal of Inequalities in Pure and Applied Mathematics 2003 4 4, article 64 1 8 2051565 ZBL1054.30014 Porwal S. Partial sums of certain harmonic univalent functions Lobachevskii Journal of Mathematics 2011 32 4 366 375 10.1134/S1995080211040184 2887062 Porwal S. Dixit K. K. Partial sums of starlike harmonic univalent functions Kyungpook Mathematical Journal 2010 50 3 433 445 10.5666/KMJ.2010.50.3.433 2737331 ZBL1206.30030 Jahangiri J. M. Kim Y. C. Srivastava H. M. Construction of a certain class of harmonic close-to-convex functions associated with the Alexander integral transform Integral Transforms and Special Functions 2003 14 3 237 242 10.1080/1065246031000074380 1982819 ZBL1038.30010