검색
Article Search

JMB Journal of Microbiolog and Biotechnology

OPEN ACCESS eISSN 0454-8124
pISSN 1225-6951
QR Code

Article

Kyungpook Mathematical Journal 2021; 61(2): 269-278

Published online June 30, 2021

Copyright © Kyungpook Mathematical Journal.

Coefficient Bounds for a Subclass of Harmonic Mappings Convex in One Direction

Mohammad Mehdi Shabani, Maryam Yazdi, Saeed Hashemi Sababe*

Department of Mathematics, University of Shahrood, Shahrood, Iran
e-mail : Mohammadmehdishabani@yahoo.com

Young Researchers and Elite Club, Malard Branch, Islamic Azad University, Malard, Iran
e-mail : Msh_yazdi@yahoo.com

Department of Mathematical and Statistical Sciences, University of Alberta, Edmonton, Alberta, Canada, and Young Researchers and Elite Club, Malard Branch, Islamic Azad University, Malard, Iran
e-mail : Hashemi_1365@yahoo.com and S.Hashemi@ualberta.ca

Received: August 6, 2020; Revised: December 14, 2020; Accepted: December 14, 2020

In this paper, we investigate harmonic univalent functions convex in the direction 𝜃 , for 𝜃 ∈ [0,π) . We find bounds for |fz(z)|, |fz¯(z)| and |f(z)|, as well as coefficient bounds on the series expansion of functions convex in a given direction.

Keywords: harmonic, univalent, convex, shear construction

A continuous function f=u+iv is a complex valued harmonic function in a complex domain Ω if both u and v are real harmonic in Ω. In any simply connected domain Ω, we can write f=h+g¯, where h and g are analytic in Ω. 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 Ω is that |h'(z)|>|g'(z)| in Ω. (See [2]).

Denote by SH the class of functions f=h+g¯ that are harmonic univalent and sense-preserving in D={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

h(z)=z+ k=2akzk,g(z)= k=1bkzk,|b1|<1.

If a univalent harmonic mapping f=h+g¯ satisfies the condition

g(z)h(z)k1(zD),

then f is called a harmonic K-quasiconformal mapping in D where K=1+k1k.

Recently, several authors derived conditions for univalent harmonic mappings to be K-quasiconformal, see (for example) the works [1, 4, 5, 6, 8, 9, 10, 12] and the references therein.

A domain Ω is said to be convex in the direction θ for θ[0,π), if for all a, the set Ω{a+teiθ:t} is either connected or empty. In particular, a domain is convex in the direction of the real (imaginary) axis if every line parallel to the real (imaginary) axis has either an empty intersection or a connected intersection with the domain. A function is said to be convex in the direction θ if it maps D univalently onto a domain convex in the direction θ.

The shear construction introduced by Clunie and Sheil-Small in [2] provides a way of producing univalent harmonic functions in the unit disk which are convex in one direction. They proved the following interesting theorem.

Theorem 2.1.([2]) A sense-preserving harmonic function f=h+g¯ in D is a univalent mapping of D onto a domain convex in the direction of the real axis if and only if h-g is an analytic univalent mapping of D onto a domain convex in the direction of the real axis.

Moreover, they proved by the following theorem that Theorem 2.1 would be generalized to a convex domain in the direction θ.

Theorem 2.2.([2]) A harmonic function f=h+g¯, locally univalent in D, is a univalent mapping of onto a domain convex in the direction θ if and only if he2iθg is an analytic univalent mapping in D onto a domain convex in the direction θ.

Hengartner and Schober [3] studied analytic functions ψ that are convex in the direction of the imaginary axis. They used a normalization which basically depends on the right and left extremes of ψ(D) being the images of 1 and -1.

Actually, this method deals with existing the sequences {z'n} converging to z=1 and {zn} converging to z=-1 such that

limnψ(zn)=sup|z|<1ψ(z),limnψ(zn)=inf|z|<1ψ(z).

Let CIA be the class of domains Ω which are convex in direction the imaginary axis and admit a mapping ψ such that ψ(D)=Ω and ψ satisfies the normalization (2.1), then we have the following result:

Theorem 2.3.([3]) Suppose ψ is analytic and nonconstant for |z|<1.

Then we have {(1z2)ψ(z)}0 for |z|<1 if and only if

  • (1) ψ is univalent on D,

  • (2) ψ(D)CIA, and

  • (3) ψ is normalized by (2.1).

Using this characterization of functions, Hengartner and Schober then proved the next theorem:

Theorem 2.4.([3]) If ψ is analytic for |z|<1 and satisfies {(1z2)ψ(z)}0, then for |z|r<1,

|ψ(0)|(1r)(1+r)(1+r2)|ψ(z)||ψ(0)|(1r)2.

The upper bound is sharp for ψ(z)=z1z, which maps D onto the right half-plane {z}>12, and the lower bound is sharp for ψ(z)=(i2)log(1iz)2(1z2), which maps D onto a vertical strip, slit from ilog2 to infinity along the positive imaginary axis.

To be able to manipulate these consistent results for the specific functions that are convex in the proper direction of θ, (0θ<π), let us consider the following typical situation. Suppose that φ(z) is a function that is analytic and convex in the direction of θ, (0θ<π). Furthermore, suppose that the φ(z) is normalized a follows.

Let {w'n} and {wn} be sequences such that wneiα and wneiα and

limneiθφ( w n)=sup|w|<1eiθφ(w),limneiθφ( w n)=inf|w|<1eiθφ(w).

Then zn=eiαwn1 and zn=eiαwn1 as n. Now define

ψ(z):=ieiθφ(eiαz).

In this case, we have

limnψ(zn)=limnieiθφ(eiαzn)      =limneiθφ(eiαzn)      =sup|z|<1eiθφ(wn)      =sup|z|<1ieiαφ(wn)      =sup|z|<1ψ(zn).

Similarly, one can shows that

limnψ(zn)=inf|z|<1ψ(zn),

which shows that ψ defined in (2.4) satisfies (2.1). Therefore ψ is univalent and convex in the direction of the imaginary axis in Theorem 2.4, satisfying the conditions of Theorem 2.3. Replacing the definition of ψ as (2.4) in Theorem 2.3, we have

{(1z2)ψ(z)}={ieiθ(1z2)φ(z)}0

Therefore we can apply Theorem 2.4 to φ(z). The result still holds with ψ(z) replaced by φ(z).

Let SH0(k,θ) denote the subclass of SH0 consisting of functions f=h+g¯ that g(z)h(z)k<1, convex in the direction of θ for 0θ<π and φ:=he2iθg which satisfy normalization (2.3).

In this section we study the class SH0(k,θ) and find bounds for |fz(z)|, |fz¯(z)| and |f(z)|, as well as coefficient bounds on the series expansion of harmonic quasi conformal mappings that are univalent and convex in a given direction. As is done in the litrature for Theorems 2.1 and 2.2, let φ=he2iθg and w=gh.

Theorem 3.1. Let f=h+g¯SH0(k,θ). For |z|r, we have

1r(1+kr)(1+r)(1+r2)|fz(z)|1(1kr)(1r)2

and

|ω(z)|(1r)(1+kr)(1+r)(1+r2)|fz¯(z)|kr(1kr)(1r)2.

Equality is obtained for both upper bounds when

φ(z)=eiθz/(1iz)andω(z)=ke(π/22θ)iz,

and for the lower bounds when

φ(z)=(eiθ/2)log((1+z)2/(1+z2))andω(z)=ke(π2θ)iz.

Proof. Since φ=he2iθg and g=ωh we have

fz(z)=h(z)=φ(z)/(1e2iθω(z))f z¯(z)¯=g(z)=ω(z)φ(z)/(1e2iθω(z))

Now (ω(z)/k) is a Schwarz function, therefore

|fz(z)|=φ(z)1e2iθω(z)|φ(z)|1|e2iθ||ω(z)||φ(z)|1k|z|.

Furthermore,

|fz(z)||φ(z)|1+|e2iθ||ω(z)||φ(z)|1+k|z|.

Using Theorem 2.4 gives inequality (3.1). Similarly,

|fz¯(z)|=ω(z)φ(z)1e2iθω(z)|ω(z)||φ(z)|1|e2iθ||ω(z)|k|z|1k|z||φ(z)|,

and

|fz¯(z)||ω(z)||φ(z)|1+|e2iθ||ω(z)||ω(z)||φ(z)|1+k|z|.

Applying Theorem 2.4 again yields (3.1).

The sharpness of the functions comes from examining the sharpness of the functions for Theorem 2.4. Let φ(z)=ieiθψ(eiαz), and wisely choose the analytic dilatation ω(z) and α

The mapping properties of these functions are shown in Figures 1 and 2. The figures illustrate the images of concentric circles and equally spaced rays.

Figure 1. The shear of
φ ( z ) = ( z / ( 1 + i z ) )
with
k = 1 , θ = 0
.

Figure 2. The shear of
φ ( z ) = 1 / 2 log ( ( 1 + z ) 2 / ( 1 + z 2 ) )
with
k = 1 , θ = 0
.

Theorem 3.2. Let f=h+g¯SH0(k,θ). For |z|r, we have

|f(z)|2k(1k)2ln1r1kr+(1+k)r2(1k)(1r).

Proof. Since f(z)=h(z)+g(z)¯, we have the following equalities:

f(z)=h(z)+g(z)¯  =0rh (ρeiγ)eiγdρ+0rg (ρeiγ)eiγdρ¯  =0rh (ρeiγ)eiγdρ+0r g (ρ e iγ ) ¯ eiγdρ  =0r fz (ρeiγ)eiγdρ+0r f z¯ (ρeiγ)eiγdρ.

Thus

|f(z)|=|h(z)+g(z)||h(z)|+|g(z)|  0r|fz(ρeiγ)|dρ+0r|f z¯(ρeiγ)|dρ.

Applying inequalities in Theorems 3.1 and 3.2 to (3.4) and (3.5) yields

|f(z)|0r 1 (1kρ) (1ρ)2dρ+0r kρ (1kρ) (1ρ)2dρ=2k(1k)2 ln1r1kr +(1+k)r2(1k)(1r).          

Corollary 3.3. In Thorem 3.2, if |fz¯|k|fz| then

|f(z)|2k(1+k)(1k)2ln(1r1kr)|z|1.

It is easy to check that if f is conformal, i.e. k=0 then the estimate is sharp because the estimate of fz is sharp.

Sheil-Small [11] proved that if fSH0 and f(D) is convex in one direction, then the following bounds hold for the coefficients:

|an|(n+1)(2n+1)6,|bn|(n1)(2n1)6,

where f(z)=z+ k=2akzk+k=1bkzk¯.

In Theorems 3.1 and 3.2, we described how the geometry of the related analytic function φ(z) affects bounds of a harmonic function and its derivatives. The following theorem shows how the geometry of φ(z) affects the coefficients |an| and |bn|. We begin by looking at Hengartner and Schober’s result in [3].

Theorem 3.4.([3]) If ψ(z)=a0+(α+iβ)z+ k=2akzk is analytic in D and satisfies (1z2)ψ(z)0, then

|an|αforn=2,4,6,

and

|an|11nα+1n|α+iβ|forn=1,3,5,

Consequently

|an||ψ(0)|forn=1,2,3,4,

Equality is obtained in all three inequalities by ψ(z)=1/(1z). Furthermore, among bounds which depend on both α and β, (3.6) is sharp for the function

ψ(z)=α1z+βi2log1+z1z,α>0.

Again, suppose that φ(z) is a function that is analytic and convex in the direction of θ(0θ<1). Furthermore, let φ(z) be normalized by (2.3). By setting

ψ(z):=ieiθφ(eiαz)

the function ψ satisfies (2.1). Thus ψ is univalent and convex in the direction of the imaginary axis in D. Making use of Theorem 2.2 for ψ, we have

Re{(1z2)ψ(z)}=Re{ieiθ(1z2)φ(z)}0.

Therefore, we can apply Theorem 2.4 to φ(z), obtain that the result still holds, with ψ(z) replaced by φ(z).

Theorem 3.5. Let f=h+g¯SH0(k,θ). Then for |z|r, we have

|an|n+12,|bn|n12,forn2.

Proof. Initiating with the integral representations

h(z)=0z φ(ζ) 1e 2iθω(ζ)dζ,g(z)=0z ω(ζ)φ(ζ) 1e 2iθω(ζ)dζ,

where ω(z)=(g(z)/h(z)). Let

φ(z)= n=1ϕnzn,

and

ω(z)1e2iθω(z)= n=1wnzn.

For

g(z)=0z ϕ1+2ϕ2ζ+3ϕ3ζ3+w1ζ+w2ζ2+w3ζ3+dζ=0z ϕ1 w1ζ+(ϕ1 w2+2ϕ2 w1)ζ2+(ϕ1 w3+2ϕ2 w2+3ϕ3 w1)ζ3+dζ=12(ϕ1w1)z2+13(ϕ1w2+2ϕ2w1)z3+14(ϕ1w3+ϕ2w2+3ϕ3w1)z4+.

We have

b1=0,b2=12(ϕ1w1),b3=13(ϕ1w2+2ϕ2w1),bn=1nk=1n1kϕkwnkforn2.

Now for h(z),

h(z)=0zφ(ζ)11e2iθω(ζ)dζ  =0zφ(ζ)e2iθω(ζ)1e2iθω(ζ)+1e2iθ dζ  =e2iθ0zφ (ζ)ω(ζ)1e2iθω(ζ)dζ+0zφ(ζ)dζ.

Therefore

an=e2iθbn+ϕn=ϕn+e2iθ1n k=1 n1kϕkwnk.

Since ω(z)/(1e2iθω(z)) is subordinated by z/(1e2iθz), we have |wn|1 for all natural n by [7, p.238]. Also, the descriptions following theorem ?? concludes that |ϕk||ϕ(0)|=1. In consequence:

|bn|=|1n k=1 n1kϕkwnk|1n k=1 n1k|ϕk||wnk|1n k=1 n1k=n12.

Similarly, we have

|an||ϕn|+|e2iθ||1n k=1 n1kϕkwnk|=1n k=1 nk=n+12.    

The authors thanks to the referee, especially for his comment on Corollary 3.3. A part of this research was carried out while the third author was visiting the university of Alberta. The author is grateful to his colleagues in the department of mathematical and statistical siecnces for their kind hosting.

  1. P. Ahuja, Use of theory of conformal mappings in harmonic univalent mappings with directional convexity, Bull. Malays. Math. Sci. Soc, 35(2)(2012), 775-784.
  2. J. Clunie and T. Sheil-Small, Harmonic univalent functions, Ann. Acad. Sci. Fenn. Ser. A I Math., 9(1984), 3-25.
    CrossRef
  3. W. Hengartner and G. Schober, On schlicht mappings to domains convex in one direction, Comment. Math. Helv., 45(1970), 303-314.
    CrossRef
  4. R. Hernández and O. Venegas, Distortion Theorems Associated with Schwarzian Derivative for Harmonic Mappings, Complex Anal. Oper. Theory, 13(2019), 1783-1793.
    CrossRef
  5. X. Huang, Harmonic quasiconformal homeomorphisms of the unit disk, Chinese Ann. Math. Ser. A, 29(2008), 519-524.
  6. D. Kalaj and M. Pavlović, Boundary correspondence under quasiconformal harmonic diffeomorphisms of a half-plane, Ann. Acad. Sci. Fenn. Math., 30(2005), 159-165.
  7. Z. Nehari, Conformal mappings, Dover Publications, New York, 1975.
  8. M. Pavlović, Boundary correspondence under harmonic quasiconformal homeomorphisms of the unit disk, Ann. Acad. Sci. Fenn. Math., 27(2002), 365-372.
  9. M. M. Shabani and S. Hashemi Sababe, On some classes of spiral-like functions defined by the Salagean operator, Korean J. Math., 28(2020), 137-147.
    CrossRef
  10. M. M. Shabani, M. Yazdi and S. Hashemi Sababe, Some distortion theorems for new subclass of harmonic univalent functions, Honam Math. J., 42(4)(2020), 701-717.
    CrossRef
  11. T. Sheil-Small, Constants for planar harmonic mappings, J. London Math. Soc., 42(2)(1990), 237-248.
    CrossRef
  12. X. Zhang, J. Lu and X. Li, Growth and distortion theorems for almost starlike mappings of complex order λ, Acta Math Sci. Ser. B, 28(3)(2018), 769-777.
    CrossRef