Abstract and Applied Analysis

Volume 2012 (2012), Article ID 413965, 12 pages

doi:10.1155/2012/413965

Research Article

Coefficient Conditions for Harmonic Close-to-Convex Functions

Toshio Hayami

Department of Mathematics, Kinki University, Higashi-Osaka, Osaka 577-8502, Japan

Received 25 January 2012; Accepted 13 April 2012

Academic Editor: Roman Simon Hilscher

Copyright © 2012 Toshio Hayami. 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.

Abstract.

New sufficient conditions, concerned with the coefficients of harmonic functions in the open unit disk normalized by , for to be harmonic close-to-convex functions are discussed. Furthermore, several illustrative examples and the image domains of harmonic close-to-convex functions satisfying the obtained conditions are enumerated.

1. Introduction

For a continuous complex-valued function , we say that is harmonic in the open unit disk if both and are real harmonic in , that is, and satisfy the Laplace equations

A complex-valued harmonic function in is given by where and are analytic in . We call and the analytic part and the coanalytic part of , respectively. A necessary and sufficient condition for to be locally univalent and sense preserving in is in (see [1] or [2]). Let denote the class of harmonic functions in with and . Thus, every normalized harmonic function can be written by

where and , for convenience.

We next denote by the class of functions that are univalent and sense preserving in . Due to the sense-preserving property of , we see that . If , then reduces to the class consisting of normalized analytic univalent functions. Furthermore, for every function , the function

is also a member of . Therefore, we consider the subclass of defined as

Conversely, if , then for any .

We say that a domain is a close-to-convex domain if the complement of can be written as a union of nonintersecting half-lines (except that the origin of one half-line may lie on one of the other half-lines). Let , , and be the respective subclasses of , , and consisting of all functions , which map onto a certain close-to-convex domain.

Bshouty and Lyzzaik [3] have stated the following result.

Theorem 1.1. If satisfies

for all , then .

A simple and interesting example is below.

Example 1.2. The function

satisfies the conditions of Theorem 1.1, and therefore belongs to the class . We now show that is actually a close-to-convex domain. It follows that

Setting

for any , we see that

Since

we obtain that

Also, noting that

we know that

which implies that

Thus, maps onto the following close-to-convex domain as shown in Figure 1.

Figure 1: The image of .

Remark 1.3. Let be the class of all functions satisfying the conditions of Theorem 1.1. Then, it was earlier conjectured by Mocanu [4, 5] that . Furthermore, we can immediately see that the function in Example 1.2 is a member of the class and it shows that is not necessarily starlike with respect to the origin in ( is starlike with respect to the origin in if and only if for all and ).

Remark 1.4. For the function given by

letting , we know that

which means that maps the unit circle onto a union of several concave curves (see [6, Theorem 2.1]).

Jahangiri and Silverman [7] have given the following coefficient inequality for to be in the class .

Theorem 1.5. If satisfies

then .

Example 1.6. The function

belongs to the class and satisfies the condition of Theorem 1.5. Indeed, maps onto the following hypocycloid of six cusps (cf. [8] or [6]) as shown in Figure 2.

The object of this paper is to find some sufficient conditions for functions to be in the class . In order to establish our results, we have to recall here the following lemmas due to Clunie and Sheil-Small [1].

Figure 2: The image of .

Lemma 1.7. If and are analytic in with and is close-to-convex for each , then is harmonic close-to-convex.

Lemma 1.8. If is locally univalent in and is convex for some , then is univalent close-to-convex.

We also need the following result due to Hayami et al. [9].

Lemma 1.9. If a function is analytic in and satisfies

for some real numbers and , then is convex in .

2. Main Results

Our first result is contained in the following theorem.

Theorem 2.1. If satisfies the following condition

for some real number , then .

Proof. Let be analytic in . If satisfies

then it follows that

This gives us that

that is, . Then, it is sufficient to prove that

for each by Lemma 1.7. From the assumption of the theorem, we obtain that

This completes the proof of the theorem.

Example 2.2. The function

satisfies the condition of Theorem 2.1 with and belongs to the class . In particular, putting , we obtain Figure 3.

By making use of Lemma 1.8 with and applying Lemma 1.9, we readily obtain the next theorem.

Figure 3: The image of .

Theorem 2.3. If is locally univalent in and satisfies

for some real numbers and , then .

Putting in the above theorem, we arrive at the following result due to Jahangiri and Silverman [7].

Theorem 2.4. If is locally univalent in with

then .

Furthermore, taking and in the theorem, we have the following corollary.

Corollary 2.5. If is locally univalent in and satisfies

then .

Example 2.6. The function

satisfies the conditions of Corollary 2.5 and belongs to the class as shown in Figure 4.

Figure 4: The image of .

3. Appendix

A sequence of nonnegative real numbers is called a convex null sequence if as and

for all .

The next lemma was obtained by Fejér [10].

Lemma 3.1. Let be a convex null sequence. Then, the function

is analytic and satisfies in .

Applying the above lemma, we deduce the following theorem.

Theorem 3.2. For some and some convex null sequence with , the function

belongs to the class .

Proof. Let us define by

for each . Then, we know that

By virtue of Lemmas 1.7 and 3.1, it follows that , that is, . Thus, we conclude that .

In the same manner, we also have the following theorem.

Theorem 3.3. For some and some convex null sequence with , the function

belongs to the class .

Proof. Let us define by

for each . Then, we know that

Therefore, by the help of Lemmas 1.7 and 3.1, we obtain that , that is, , which implies that .

Remark 3.4. The sequence

is a convex null sequence because

Setting in Theorem 3.2 with the above sequence , we derive the following example.

Example 3.5. The function

is in the class as shown in Figure 5.

Figure 5: The image of in Example 3.5.

Moreover, we know the following remark.

Remark 3.6. The sequence

is a convex null sequence because

Hence, letting in Theorem 3.3 with the sequence , we have the following example.

Example 3.7. The function

is in the class as shown in Figure 6.

Figure 6: The image of in Example 3.7.

Dedication

This paper is dedicated to Professor Owa on the occasion of his retirement from Kinki University.

Acknowledgment

The author expresses his sincere thanks to the referees for their valuable suggestions and comments for improving this paper.

References

J. Clunie and T. Sheil-Small, “Harmonic univalent functions,” Annales Academiae Scientiarum Fennicae. Series A, vol. 9, pp. 3–25, 1984.

H. Lewy, “On the non-vanishing of the Jacobian in certain one-to-one mappings,” Bulletin of the American Mathematical Society, vol. 42, no. 10, pp. 689–692, 1936.

D. Bshouty and A. Lyzzaik, “Close-to-convexity criteria for planar harmonic mappings,” Complex Analysis and Operator Theory, vol. 5, no. 3, pp. 767–774, 2011.

P. T. Mocanu, “Three-cornered hat harmonic functions,” Complex Variables and Elliptic Equations, vol. 54, no. 12, pp. 1079–1084, 2009.

P. T. Mocanu, “Injectivity conditions in the complex plane,” Complex Analysis and Operator Theory, vol. 5, no. 3, pp. 759–766, 2011.

T. Hayami and S. Owa, “Hypocycloid of n + 1 cusps harmonic function,” Bulletin of Mathematical Analysis and Applications, vol. 3, pp. 239–246, 2011.

J. M. Jahangiri and H. Silverman, “Harmonic close-to-convex mappings,” Journal of Applied Mathematics and Stochastic Analysis, vol. 15, no. 1, pp. 23–28, 2002.

P. Duren, Harmonic Mappings in the Plane, vol. 156 of Cambridge Tracts in Mathematics, Cambridge University Press, Cambridge, UK, 2004.

T. Hayami, S. Owa, and H. M. Srivastava, “Coefficient inequalities for certain classes of analytic and univalent functions,” Journal of Inequalities in Pure and Applied Mathematics, vol. 8, no. 4, article 95, pp. 1–10, 2007.

L. Fejér, “Über die positivität von summen, die nach trigonometrischen oder Legendreschen, funktionen fortschreiten. I,” Acta Szeged, vol. 2, pp. 75–86, 1925.