Abstract
Complex-valued harmonic functions that are univalent and sense preserving in the open unit disk can be written in the form \(f=h+\overline{g}\), where h and g are analytic. In this paper we investigate some classes of univalent harmonic functions with varying coefficients related to Janowski functions. By using the extreme points theory we obtain necessary and sufficient convolution conditions, coefficients estimates, distortion theorems, and integral mean inequalities for these classes of functions. The radii of starlikeness and convexity for these classes are also determined.
Similar content being viewed by others
1 Introduction
Harmonic functions are famous for their use in the study of minimal surfaces and also play important roles in a variety of problems in applied mathematics (e.g. see Choquet [1], Dorff [2], Duren [3] or Lewy [4]). A continuous function \(f=u+iv\) is said to be complex-valued harmonic in a domain \(D\subset\mathbb{C}\) if both u and v are real harmonic in D. In any simply connected domain, we can write \(f=h+\overline{g}\), where h and g are analytic in D. We shall call h the analytic and g the co-analytic part of f. Clunie and Sheil-Small [5] pointed out that a necessary and sufficient condition for f to be locally univalent and sense preserving in D is that \(\vert h^{\prime} ( z ) \vert >\vert g^{\prime} ( z ) \vert \) in D. Note that for \(f=h+\overline{g}\), harmonic and sense preserving in the open unit disk \(\mathbb{D}=\{z\in \mathbb{C}:\vert {z}\vert <{1\}}\), the condition \(h^{\prime}(0)=1>|g^{\prime}(0)|\) implies that the function \(( f-\overline{g^{\prime}(0)f} ) / ( 1-\vert g^{\prime } ( 0 ) \vert ^{2} ) \) is also harmonic and sense preserving in \({\mathbb{D}}\). We let \(\mathcal{H}\) be the class of functions \(f=h+\overline{g}\), harmonic, sense preserving, and univalent in the open unit disk \({\mathbb{D}}\), for which \(f_{\overline {z}}(0)=g^{\prime }(0)=0\). Such harmonic and sense-preserving functions \(f=h+\overline {g}\in \mathcal{H}\) may be represented by the power series
Clunie and Sheil-Small [5] proved that the class \(\mathcal{H}\) is a compact family (with respect to the topology of locally uniform convergence). Note that for \(g(z)\equiv0\), the class \(\mathcal{H}\) reduces to the class \(\mathcal{S}\) of normalized analytic functions univalent in \(\mathbb{D}\).
For \(0\leq\alpha<1\) we let \(\mathcal{S}_{\mathcal{H}}^{\ast}(\alpha)\) and \(\mathcal{S}_{\mathcal{H}}^{c}(\alpha)\), respectively, denote the subclasses of \(\mathcal{S}_{\mathcal{H}}\) consisting of harmonic starlike and harmonic convex functions of order α.
A functions f of the form (1) is in \(\mathcal{S}_{\mathcal{H}}^{\ast}(\alpha)\) if and only if (e.g. see Clunie and Sheil-Small [5] or Duren [3])
Similarly, a function f of the form (1) is in \(\mathcal{S}_{\mathcal {H}}^{c}(\alpha)\) if and only if
We note that a harmonic function \(f\in\mathcal{S}_{\mathcal{H}}^{\ast }(\alpha)\) if and only if
or
where
For \(0\leq\alpha<1\), it is easy to verify that
For \(\lambda\in \{ 0,1,2,\ldots \} \) and \(f=h+\overline {g}\in \mathcal{H}\) of the form (1), we consider the linear operator \(J_{\mathcal{H}}^{\lambda}:\mathcal{H}\rightarrow\mathcal{H}\) defined by \(J_{\mathcal {H}}^{0}f:=f=h+\overline{g}\) and
For the analytic definition of the above case, see the Sălăgean operator [6].
We say that a function \(f:{\mathbb{D\rightarrow C}}\) is subordinate to a function \(g:{\mathbb{D\rightarrow C}}\), and write \(f(z)\prec g(z)\) (or simply \(f\prec g\)), if there exists a complex-valued function w which maps \({\mathbb{D}}\) into itself with \(w(0)=0\), such that \(f(z)=g(w(z))\); \(z\in{\mathbb{D}}\). In particular, if g is univalent in \({\mathbb {D}}\), then \(f(0)=g(0)\) and \(f({\mathbb{D}})\subset g({\mathbb{D}})\).
The Hadamard product (or convolution) of functions \(f_{1}\) and \(f_{2}\) of the form
is defined by
For nonnegative integer \(\lambda\in \{ 0,1,2,\ldots \} \) and for \({-B\leq A< B\leq1}\) we define \(\mathcal{H}^{\lambda}(A,B) \) to be the class of functions \(f\in\mathcal{H}\) so that (also see Dziok [7, 8])
and \(\mathcal{G}^{\lambda}(A,B) \) to consist of functions \(f\in \mathcal{H}\) so that
We remark that the classes \(\mathcal{H}^{0}(A,B)\) and \(\mathcal {G}^{0}(A,B)\) for the analytic case, i.e. \(g\equiv0\), were introduced by Janowski [9] and the classes \(\mathcal{S}_{\mathcal{H}}^{\ast}(\alpha)=\mathcal {H}^{0}(2\alpha-1,1)\) and \(\mathcal{S}_{\mathcal{H}}^{c}(\alpha)=\mathcal {H}^{1}(2\alpha-1,1)\) for the harmonic case were investigated by Jahangiri [10, 11] and Silverman [12]. It is the aim of this paper to obtain necessary and sufficient convolution conditions, coefficient bounds, distortion theorems, radii of starlikeness and convexity, compactness, and extreme points for the above defined classes \(\mathcal{H}^{\lambda}(A,B)\) and \(\mathcal{G}^{\lambda}(A,B)\).
2 Analytic criteria
Our first theorem provides a necessary and sufficient convolution condition for the harmonic functions in \(\mathcal{H}^{\lambda}(A,B)\).
Theorem 1
A function f belongs to the class \(\mathcal{H}^{\lambda }(A,B)\) if and only if \(f\in\mathcal{H}\) and
where
Proof
Let \(f\in\mathcal{H}\). Then \(f\in\mathcal{H}^{\lambda}(A,B)\) if and only if the condition (3) holds or equivalently
Now for \(J_{\mathcal{H}}^{\lambda+1}h ( z ) =J_{\mathcal{H}}^{\lambda}h ( z ) \ast z/(1-z)^{2}\) and \(J_{\mathcal {H}}^{\lambda }h ( z ) =J_{\mathcal{H}}^{\lambda}h ( z ) \ast z/(1-z)\), the inequality (4) yields
□
A sufficient coefficient bound for the functions in \(\mathcal {H}^{\lambda }(A,B)\) is provided in the following.
Theorem 2
For \(z\in{\mathbb{D}}\), the harmonic function \(f(z)=z+\sum_{n=2}^{\infty}a_{n}z^{n}+\sum_{n=2}^{\infty} \overline{b_{n}z^{n}} \) is in \(\mathcal{H}^{\lambda}(A,B)\) if
where
Proof
Clearly the theorem is true for \(f ( z ) \equiv z\). So, we assume that \(a_{n}\neq0\) or \(b_{n}\neq0\) for \(n\geq2\). Since \(\gamma _{n}\geq n(B-A)\) and \(\delta_{n}\geq n(B-A)\) by (5) we have
Therefore f is sense preserving and locally univalent in \({\mathbb{D}}\). Further, if \(z_{1},z_{2}\in{\mathbb{D}}\) and we assume that \(z_{1}\neq z_{2} \), then
Hence
This proves that f is univalent in \({\mathbb{D}}\) i.e. \(f\in \mathcal{H}\).
On the other hand, \(f\in\mathcal{H}^{\lambda}(A,B)\) if and only if there exists a complex-valued function w, \(w(0)=0\), \(\vert w(z)\vert <1\) (\(z\in\mathbb{D}\)) such that
or equivalently
The above inequality (7) holds since for \(\vert z\vert =r \) (\(0< r<1\)) we obtain
and therefore \(f\in\mathcal{H}^{\lambda}(A,B)\). □
Next we show that the condition (5) is also necessary for the functions \(f\in\mathcal{H}\) to be in the class \(\mathcal{H}_{\mathcal {T}}^{\lambda}(A,B):=\mathcal{T}^{\lambda}\cap\mathcal{H}^{\lambda}(A,B)\) where \(\mathcal{T}^{\lambda}\) is the class of functions \(f=h+\overline {g}\in\mathcal{H}\) with varying coefficients (see [13, 14] or [15]) for which there exists a real number ϕ so that
Theorem 3
Let \(f=h+\overline{g}\) be defined by (8). Then \(f\in \mathcal{H}_{\mathcal{T}}^{\lambda}(A,B)\) if and only if the condition (5) holds.
Proof
The ‘if’ part follows from Theorem 2. For the ‘only-if’ part, assume that \(f\in\mathcal{H}_{\mathcal{T}}^{\lambda}(A,B)\), then by (7) we have
For \(|z|=r<1\) we obtain
Thus, for \(\gamma_{n}\) and \(\delta_{n}\) as defined by (6), we have
Let \(\{ \sigma_{n} \} \) be the sequence of partial sums of the series \(\sum_{n=2}^{\infty} ( \gamma_{n}\vert a_{n}\vert +\delta_{n}\vert b_{n}\vert ) \). Then \(\{ \sigma_{n} \} \) is a nondecreasing sequence and by (9) it is bounded above by \(B-A\). Thus, it is convergent and
This gives the condition (5). □
A similar argument can be used to prove the following.
Theorem 4
Let \(f=h+\overline{g}\in\mathcal{H}\) be a function of the form (8). Then \(f\in\mathcal{G}_{\mathcal{T}}^{\lambda }(A,B):=\mathcal{T}^{\lambda}\cap\mathcal{G}^{\lambda}(A,B)\) if and only if
For special cases, Theorems 1, 3, and 4 yield the following corollaries.
Corollary 1
Let \(f=h+\overline{g}\in\mathcal{H}\). Then \(f\in\mathcal{H}^{\lambda }:=\mathcal{H}^{\lambda}(-1,1)\) if and only if
where
Corollary 2
Let \(f=h+\overline{g}\in\mathcal{H}\) be a function of the form (8). Then \(f\in\mathcal{H}_{\mathcal{T}}^{\lambda}(\alpha):=\mathcal{H}_{\mathcal{T}}^{\lambda}(2\alpha-1,1)\) if and only if
Corollary 3
Let \(f=h+\overline{g}\in\mathcal{H}\) be a function of the form (8). Then \(f\in\mathcal{H}_{\mathcal{T}}^{\lambda}:=\mathcal {H}_{\mathcal{T}}^{\lambda}(0)\) if and only if
i.e.
3 Extreme points
A function \(f\in\mathcal{F}\subset \mathcal{H}\) is called an extreme point of \(\mathcal{F}\) if \(f=\mu f_{1}+ ( 1-\mu ) f_{2}\) implies \(f_{1}=f_{2}=f\) for all \(f_{1}\) and \(f_{2}\) in \(\mathcal{F}\) and \(0<\mu<1\). We shall use the notation \(E\mathcal{F}\) to denote the set of all extreme points of \(\mathcal{F}\). It is clear that \(E\mathcal{F}\subset\mathcal{F}\).
We say that \(\mathcal{F}\) is locally uniformly bounded if for each r, \(0< r<1\), there is a real constant \(M=M ( r ) \) so that \(\vert f(z)\vert \leq M\) where \(f\in\mathcal{F}\) and \(\vert z\vert \leq r\).
We say that a class \(\mathcal{F}\) is convex if \(\mu f+(1-\mu )g\in \mathcal{F}\) for all f and g in \(\mathcal{F}\) and \(0\leq\mu\leq 1\). Moreover, we define the closed convex hull of \(\mathcal{F}\), denoted by \(\overline{co}\mathcal{F}\), as the intersection of all closed convex subsets of \(\mathcal{H}\) (with respect to the topology of locally uniform convergence) that contain \(\mathcal{F}\).
A real-valued functional \(\mathcal{J}:\mathcal{H}\rightarrow \mathbb{R} \) is called convex on a convex class \(\mathcal{F}\subset \mathcal{H}\) if \(\mathcal{J} ( \mu f+ ( 1-\mu ) g ) \leq\mu \mathcal{J} ( f ) + ( 1-\mu ) \mathcal{J} ( g ) \) for all f and g in \(\mathcal{F}\) and \(0\leq\mu\leq1\).
The Krein-Milman theorem (see [16]) is fundamental in the theory of extreme points. In particular, it implies the following.
Lemma 1
If \(\mathcal{F}\) is a non-empty compact subclass of the class \(\mathcal{H}\), then \(E\mathcal{F}\) is non-empty and \(\overline {co}E\mathcal{F}=\overline{co}\mathcal{F}\).
Lemma 2
[7]
Let \(\mathcal{F}\) be a non-empty compact convex subclass of the class \(\mathcal{H}\) and \(\mathcal{J}:\mathcal{H}\rightarrow \mathbb{R}\) be a real-valued, continuous, and convex functional on \(\mathcal{F}\). Then
Since \(\mathcal{H}\) is a complete metric space, Montel’s theorem [17] implies the following.
Lemma 3
A class \(\mathcal{F}\subset\mathcal{H}\) is compact if and only if \(\mathcal{F}\) is closed and locally uniformly bounded.
Now, we are ready to state and prove our next theorem.
Theorem 5
The class \(\mathcal{H}_{\mathcal{T}}^{\lambda}(A,B)\) is a convex and compact subset of \(\mathcal{H}\).
Proof
For \({0\leq\mu\leq1}\), let \(f_{1},f_{2}\in\mathcal{H}_{\mathcal{T}}^{\lambda}(A,B)\) be defined by (2). Then
and
Thus, the function \({\phi}=\mu f_{1}+(1-\mu)f_{2}\) belongs to the class \(\mathcal{H}_{\mathcal{T}}^{\lambda}(A,B)\). This means that the class \(\mathcal{H}_{\mathcal{T}}^{\lambda}(A,B)\) is convex.
On the other hand, for \(f\in\mathcal{H}_{\mathcal{T}}^{\lambda }(A,B)\), \(\vert z\vert \leq r\) and \(0< r<1\), we have
Therefore, \(\mathcal{H}_{\mathcal{T}}^{\lambda}(A,B)\) is locally uniformly bounded. Let
and let \(f=h+\overline{g}\) be given by (1). Using Theorem 3 we have
If we assume that \(f_{k}\rightarrow f\), then we conclude that \(\vert a_{k,n}\vert \rightarrow \vert a_{n}\vert \) and \(\vert b_{k,n}\vert \rightarrow \vert b_{n}\vert \) as \(k\rightarrow\infty \) (\(n\in\mathbb{N}\)). Let \(\{ \sigma_{n} \} \) be the sequence of partial sums of the series \(\sum_{n=2}^{\infty} ( \gamma_{n}\vert a_{n}\vert +\delta_{n}\vert b_{n}\vert ) \). Then \(\{ \sigma _{n} \} \) is a nondecreasing sequence and by (10) it is bounded above by \(B-A\). Thus, it is convergent and
Therefore, \(f\in\mathcal{H}_{\mathcal{T}}^{\lambda}(A,B)\), and therefore the class \(\mathcal{H}_{\mathcal{T}}^{\lambda}(A,B)\) is closed. In consequence, by Lemma 3, the class \(\mathcal{H}_{\mathcal{T}}^{\lambda }(A,B)\) is compact subset of \(\mathcal{H}\), which completes the proof. □
Our next theorem is on the extreme points of \(\mathcal{H}_{\mathcal{T}}^{\lambda}(A,B)\).
Theorem 6
Extreme points of the class \(\mathcal{H}_{\mathcal {T}}^{\lambda } ( A,B ) \) are the functions f of the form (1) where \(h=h_{n} \) and \(g=g_{n} \) are of the form
Proof
Let \(g_{n}=\mu f_{1}+ ( 1-\mu ) f_{2}\) where \(0<\mu<1\) and \(f_{1},f_{2}\in\mathcal{S}_{\mathcal{T}}^{\lambda} ( A,B ) \) are functions of the form (2). Then, by (5), we have \(\vert b_{1,n}\vert =\vert b_{2,n}\vert =\frac{B-A}{\delta _{n}}\), and therefore \(a_{1,k}=a_{2,k}=0\) for \(k\in \{ 2,3,\ldots \} \) and \(b_{1,k}=b_{2,k}=0\) for \(k\in \{ 2,3,\ldots \} \diagdown \{ n \} \). It follows that \(g_{n}=f_{1}=f_{2}\) and consequently \(g_{n}\in E\mathcal{S}_{\mathcal{T}}^{\ast}(A,B)\). Similarly, we can verify that the functions \(h_{n}\) of the form (11) are the extreme points of the class \(\mathcal{S}_{\mathcal{T}}^{\lambda} ( A,B ) \).
Now, suppose that a function f of the form (1) belongs to the set \(E\mathcal{H}_{\mathcal{T}}^{\lambda}(A,B)\) and f is not of the form (11). Then there exists \(m\in \{ 2,3,\ldots \} \) such that
If \(0<\vert a_{m}\vert <\frac{B-A}{{\alpha}_{m}}\), then putting
we have \(0<\mu<1\), \(h_{m}\neq\phi\), and
Thus, \(f\notin E\mathcal{H}_{\mathcal{T}}^{\lambda}(A,B)\). Similarly, if \(0<\vert b_{m}\vert <\frac{B-A}{\delta_{n}}\), then putting
we have \(0<\mu<1\), \(g_{m}\neq\phi\), and
It follows that \(f\notin E\mathcal{H}_{\mathcal{T}}^{\lambda}(A,B)\), and so the proof is completed. □
It is clear that if the class \(\mathcal{F}= \{ f_{n}\in\mathcal {H}: n\in\mathbb{N}\} \) is locally uniformly bounded, then
Thus, by Theorem 6, we have the following.
Corollary 4
Let \(h_{n}\), \(g_{n}\) be defined by (11). Then
For all fixed values of \(m,n,\lambda\in\mathbb{N}\), \(z\in{\mathbb{D}}\), the following real-valued functionals are continuous and convex on \(\mathcal{H}\):
Moreover, for \(\mu>0\), \(0< r<1\), the real-valued functional
is continuous on \(\mathcal{H}\). For \(\mu\geq1\), by Minkowski’s inequality it is also convex on \(\mathcal{H}\).
Therefore, by Lemma 2 and Theorem 6, we have the following corollaries.
Corollary 5
Let \(f\in\mathcal{H}_{\mathcal{T}}^{\lambda}(A,B)\) be a function of the form (8). Then
where \(\gamma_{n}\), \(\delta_{n}\) are defined by (6). The result is sharp and the functions \(h_{n}\), \(g_{n}\) of the form (11) are the extremal functions.
Corollary 6
Let \(f\in\mathcal{H}_{\mathcal{T}}^{\lambda}(A,B)\) and \(\vert z\vert =r<1\). Then
The result is sharp and the function \(h_{2}\) of the form (11) is the extremal function.
The following covering result follows from Corollary 6.
Corollary 7
If \(f\in\mathcal{H}_{\mathcal{T}}^{\lambda}(A,B)\) then \({\mathbb{D}} ( r ) \subset f ( {\mathbb{D}} ) \) where
We also conclude to the following.
Corollary 8
Let \(0< r<1\) and \(\mu\geq1\). If \(f\in\mathcal{H}_{\mathcal {T}}^{\lambda }(A,B)\) then
4 Radii of starlikeness and convexity
Let \(\mathcal{B\subseteq H}\) and let \(\mathbb{D}(r): =\{z\in\mathbb{C}: \vert {z}\vert < r\leq1\}\). We define the radius of starlikeness and the radius of convexity of the class \(\mathcal{B}\), respectively, by
At this point, for the case \(\alpha=0\), it is easy to verify that
and consequently
In the following theorem we determine \(R_{\alpha}^{\ast}(\mathcal{H}_{\mathcal{T}}^{\lambda}(A,B))\) for \(0\leq\alpha<1\).
Theorem 7
Let \(0\leq\alpha<1\) and \(\gamma_{n}\) and \(\delta_{n}\) be defined by (6). Then
Proof
Let \(f\in\mathcal{H}_{\mathcal{T}}^{\lambda}(A,B)\) be of the form (8). Then, for \(\vert z\vert =r<1\), we have
Note (see Jahangiri [11], Theorem 2) that f is starlike of order α in \({\mathbb{D}}(r)\) if and only if
or
Also, by Theorem 1, we have
where \(\gamma_{n}\) and \(\delta_{n}\) are defined by (6).
Since \(\gamma_{n}<\delta_{n} \) (\(n=2,3,\ldots\)), the condition (13) is true if
or if
It follows that the function f is starlike of order α in the disk \(U ( {r}^{\ast} ) \) where
The function
proves that the radius \(r^{\ast}\) cannot be any larger. Thus we have (12). □
Using a similar argument as above we obtain the following.
Theorem 8
Let \(0\leq\alpha<1\) and \(\gamma_{n}\) and \(\delta_{n}\) be defined by (6). Then
References
Choquet, G: Sur un type de transformation analytique généralisant la représentation conforme et définie au moyen de fonctions harmoniques. Bull. Sci. Math. 89, 156-165 (1945)
Dorff, M: Minimal graphs in \(\mathbb{R} ^{3}\) over convex domains. Proc. Am. Math. Soc. 132(2), 491-498 (2003)
Duren, P: Harmonic Mappings in the Plane. Cambridge Tracts in Mathematics, vol. 156. Cambridge University Press, Cambridge (2004)
Lewy, H: On the non-vanishing of the Jacobian in certain one-to-one mappings. Bull. Am. Math. Soc. 42, 689-692 (1936)
Clunie, J, Sheil Small, TB: Harmonic univalent functions. Ann. Acad. Sci. Fenn., Ser. A 1 Math. 9, 3-25 (1948)
Sălăgean, GS: Subclasses of univalent functions. In: Complex Analysis - Fifth Romanian-Finnish Seminar. Lecture Notes in Math., vol. 1013, pp. 362-372. Springer, Berlin (1983)
Dziok, J: On Janowski harmonic functions. J. Appl. Anal. 21(2), 99-107 (2015)
Dziok, J: Classes of harmonic functions defined by subordination. Abstr. Appl. Anal. 2015, Article ID 756928 (2015)
Janowski, W: Some extremal problems for certain families of analytic functions. Ann. Pol. Math. 28, 297-326 (1973)
Jahangiri, JM: Coefficient bounds and univalence criteria for harmonic functions with negative coefficients. Ann. Univ. Mariae Curie-Skłodowska, Sect. A 52(2), 57-66 (1998)
Jahangiri, JM: Harmonic functions starlike in the unit disk. J. Math. Anal. Appl. 235, 470-477 (1999)
Silverman, H: Harmonic univalent functions with negative coefficients. J. Math. Anal. Appl. 220, 283-289 (1998)
Jahangiri, JM, Silverman, H: Harmonic univalent functions with varying arguments. Int. J. Appl. Math. 8, 267-275 (2002)
Ahuja, OP, Jahangiri, JM: Certain harmonic univalent functions with varying arguments. Int. J. Math. Sci. 2, 9-16 (2003)
Murugusundaramoorthy, G, Vijaya, K, Raina, RK: A subclass of harmonic functions with varying arguments defined by Dziok-Srivastava operator. Arch. Math. 45(1), 37-46 (2009)
Krein, M, Milman, D: On the extreme points of regularly convex sets. Stud. Math. 9, 133-138 (1940)
Montel, P: Sur les families de functions analytiques qui admettent des valeurs exceptionelles dans un domaine. Ann. Sci. Éc. Norm. Super. 23, 487-535 (1912)
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors jointly worked on the results and they read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Dziok, J., Jahangiri, J. & Silverman, H. Harmonic functions with varying coefficients. J Inequal Appl 2016, 139 (2016). https://doi.org/10.1186/s13660-016-1079-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-016-1079-z