JJ II

(1)

volume 7, issue 4, article 123, 2006.

Received 20 September, 2005;

accepted 13 December, 2005.

Communicated by:Q.I. Rahman

Abstract Contents

JJ II

J I

Home Page Go Back

Close Quit

Journal of Inequalities in Pure and Applied Mathematics

STARLIKE LOG-HARMONIC MAPPINGS OF ORDERα

Z. ABDULHADI AND Y. ABU MUHANNA

Department of Mathematics American University of Sharjah Sharjah, Box 26666, UAE EMail:zahadi@aus.ac.ae EMail:ymuhanna@aus.ac.ae

c

2000Victoria University ISSN (electronic): 1443-5756 281-05

(2)

Starlike log-harmonic Mappings of Orderα

Z. AbdulHadi and Y. Abu Muhanna

Title Page Contents

JJ II

J I

Go Back Close

Quit Page2of13

J. Ineq. Pure and Appl. Math. 7(4) Art. 123, 2006

http://jipam.vu.edu.au

Abstract

In this paper, we consider univalent log-harmonic mappings of the formf = zhg defined on the unit diskU which are starlike of orderα. Representation theorems and distortion theorem are obtained.

2000 Mathematics Subject Classification: Primary 30C35, 30C45; Secondary 35Q30.

Key words: log-harmonic, Univalent, Starlike of orderα.

1. Introduction

Let H(U)be the linear space of all analytic functions defined on the unit disk U = {z : |z| < 1}. A log-harmonic mapping is a solution of the nonlinear elliptic partial differential equation

(1.1) f_z

f =af_z f ,

where the second dilation function a ∈ H(U) is such that |a(z)| < 1 for all z ∈ U. It has been shown that iff is a non-vanishing log-harmonic mapping, thenf can be expressed as

f(z) = h(z)g(z),

whereh andg are analytic functions inU. On the other hand, iff vanishes at z = 0but is not identically zero, thenf admits the following representation

f(z) =z|z|^2βh(z)g(z),

where Reβ > −1/2, andh and g are analytic functions in U, g(0) = 1 and h(0)6= 0 (see [3]). Univalent log-harmonic mappings have been studied exten- sively (for details see [1] – [5]).

Let f =z|z|^2βhg be a univalent log-harmonic mapping. We say thatf is a starlike log-harmonic mapping of orderαif

(1.2) ∂argf(re^iθ)

∂θ = Re zf_z −zf_z

f > α, 0≤α <1

(4)

Title Page Contents

JJ II

J I

Go Back Close

Quit Page4of13

for all z ∈ U. Denote by ST_Lh(α) the set of all starlike log-harmonic mappings of orderα. Ifα = 0, we get the class of starlike log-harmonic mappings.

Also, let ST(α) = {f ∈ ST_Lh(α) and f ∈ H(U)}. If f ∈ ST_Lh(0) then F(ζ) = log(f(e^ζ))is univalent and harmonic on the half plane {ζ : Re{ζ} <

0}. It is known that F is closely related with the theory of nonparametric minimal surfaces over domains of the form −∞< u < u₀(v),u₀(v+ 2π) =u₀(v), (see [7]).

In Section 2 we include two representation theorems which establish the linkage between the classes ST_Lh(α) and ST(α). In Section 3 we obtain a sharp distortion theorem for the classST_Lh(α).

(5)

Title Page Contents

JJ II

J I

Go Back Close

Quit Page5of13

2. Representation Theorems

In this section, we obtain two representation theorems for functions inSTLh(α).

In the first one we establish the connection between the classes ST_Lh(α) and ST(α). The second one is an integral representation theorem.

Theorem 2.1. Let f(z) = zh(z)g(z) be a log-harmonic mapping on U, 0 ∈/ hg(U).Then f ∈ST_Lh(α)if and only if ϕ(z) = ^zh(z)_g(z) ∈ST(α).

Proof. Letf(z) =zh(z)g(z)∈ST_Lh(α),then it follows that

∂argf(re^iθ)

∂θ = Rezf_z−zf_z f

= Re

1 + zh⁰ h −zg⁰

g

= Re

1 + zh⁰ h −zg⁰

g

> α.

Setting

ϕ(z) = zh(z) g(z) , we obtain

Rezf_z−zf_z

f = Rezϕ⁰ ϕ > α.

Since f is univalent, we know that 0∈/f_z(U). Furthermore, ϕ◦f⁻¹(w) = q1(w) =w|g◦f⁻¹(w)|⁻²,

(6)

Title Page Contents

JJ II

J I

Go Back Close

Quit Page6of13

is locally univalent onf(U).

Indeed, we have ^zϕ_ϕ(z)⁰^z) = (1−a(z))^zf_f^z 6= 0for all z ∈U. From Lemma 2.3 in [4] we conclude thatϕis univalent onU. Henceϕ∈ST(α).

Conversely, let ϕ ∈ ST(α) and a ∈ H(U) such that |a(z)| < 1 for all z ∈U be given. We consider

(2.1) g(z) = exp

Z z 0

a(s)ϕ⁰(s) ϕ(s)(1−a(s))ds

,

where ^zϕ_ϕ(z)⁰^z) = (1− α)p(z) + α, and p ∈ H(U) such that p(0) = 1 and Re(p)>0.

Also, let

h(z) = ϕ(z)g(z) z and

(2.2) f(z) =zh(z)g(z) = ϕ(z)|g(z)|².

Thenhandgare non-vanishing analytic functions defined onU, normalized by h(0) =g(0) = 1 andf is a solution of (1.1) with respect toa.

Simple calculations give that

∂argf(re^iθ)

∂θ = Rezf_z−zf_z

f = Rezϕ⁰z) ϕ(z) > α.

Using the same argument we conclude that

f ◦ϕ⁻¹(w) = q2(w) = w|g◦ϕ⁻¹(w)|²

(7)

Title Page Contents

JJ II

J I

Go Back Close

Quit Page7of13

is locally univalent on ϕ(U)and thatf is univalent from Lemma 2.3 in [4]. It follows thatf ∈STLh(α),which completes the proof of Theorem2.1.

The next result is an integral representation for f ∈ ST_Lh(α) for the case a(0) = 0. Forϕ∈ST(α),we have

zϕ⁰z)

ϕ(z) = (1−α)p(z) +α,

where p ∈ H(U) is such that p(0) = 1 and Re(p) > 0.Hence, there is a probability measureµdefined on the Borelσ−algebra of∂U such that

(2.3) zϕ⁰z)

ϕ(z) = (1−α) Z

∂U

1 +ζz

1−ζzdµ(ζ) +α, and therefore,

(2.4) ϕ(z) = zexp

−2(1−α) Z

∂U

log(1−ζz)dµ(ζ)

.

On the other hand, leta ∈ H(U)be such that|a(z)| < 1for allz ∈ U and a(0) = 0.Then there is a probability measureνdefined on the Borelσ−algebra of∂U such that

(2.5) a(z)

1−a(z) = Z

∂U

ξz

1−ξzdν(ξ).

Substituting (2.3), (2.4), and (2.5), into (2.1) and (2.2) we get f(z) = zexp

−2(1−α) Z

∂U

log(1−ζz)dµ(ζ)

+L(z),

(8)

Title Page Contents

JJ II

J I

Go Back Close

Quit Page8of13

where L(z) =

Z

∂U x∂U

Z z 0

ξ 1−ξs

(1−α)1 +ζs 1−ζs +α

ds

dµ(ζ)dν(ξ).

Integrating and simplifying implies the following theorem:

Theorem 2.2. f =zhg ∈ST_Lh(α) witha(0) = 0if and only if there are two probability measuresµandνsuch that

f(z) = zexp Z

∂U x∂U

K(z, ζ, ξ)dµ(ζ)dν(ξ)

,

where

K(z, ζ, ξ) = (1−α) log

1 +ζz 1−ζz

+T(z, ζ, ξ);

(2.6) T(z, ζ, ξ)

=











−2(1−α) Im ζ+ξ

ζ−ξ

arg

1−ξz 1−ζz

−2αlog|1−ξz|; if|ζ|=|ξ|= 1, ζ 6=ξ (1−α) Re

4ζz 1−ζz

−2αlog|1−ζz|; if|ζ|=|ξ|= 1, ζ =ξ









 .

Remark 1. Theorem 2.2 can be used in order to solve extremal problems for the classSTLh(α)witha(0) = 0.For example see Theorem3.1.

(9)

Title Page Contents

JJ II

J I

Go Back Close

Quit Page9of13

3. Distortion Theorem

The following is a distortion theorem for the classST_Lh(α)witha(0) = 0.

Theorem 3.1. Let f(z) = zh(z)g(z) ∈ ST_Lh(α) with a(0) = 0. Then for z ∈U we have

(3.1) |z|

(1 +|z|)^2α exp

(1−α) −4|z|

1 +|z|

≤ |f(z)| ≤ |z|

(1− |z|)^2α exp

(1−α) 4|z|

1− |z|

. The equalities occur if and only if f(z) =ζf₀(ζz),|ζ|= 1, where

(3.2) f₀(z) =z

1−z 1−z

1

(1−z)^2α exp

(1−α) Re 4z 1−z

.

Proof. Letf(z) = zh(z)g(z) ∈STLh(α)witha(0) = 0. It follows from (2.1) and (2.2) thatf admits the representation

(3.3) f(z) =ϕ(z) exp

2 Re Z z

0

a(s)ϕ⁰(s) ϕ(s)(1−a(s))ds

, whereϕ∈ST(α)anda ∈H(U)such that|a(z)|<1for allz ∈U.

For|z|=r, the well known facts

zϕ⁰(z) ϕ(z)

≤(1−α) 1 +r 1−r +α,

(10)

Title Page Contents

JJ II

J I

Go Back Close

Quit Page10of13

a(z) z(1−a(z))

≤ 1 1−r, and

|ϕ(z)| ≤ r (1−r)^2(1−α), imply that

|f(z)| ≤ r

(1−r)^2(1−α)exp

2 Z r

0

1 1−t

(1−α)1 +t 1−t +α

dt

= r

(1−r)^2α exp

(1−α) 4r 1−r

.

Equality occurs if and only if,a(z) =ζzandϕ(z) = _(1−ζz)^z2−2α,|ζ|= 1, which leads to f(z) =ζf₀(ζz).

For the left-hand side, we have f(z) = zexp

Z

∂U x∂U

,

where

K(z, ζ, ξ) = (1−α) log

1 +ζz 1−ζz

+T(z, ζ, ξ);

T(z, ζ, ξ) =











−2(1−α) Im ζ+ξ

ζ−ξ

arg

1−ξz 1−ζz

−2αlog|1−ξz|; if|ζ|=|ξ|= 1, ζ6=ξ (1−α) Re

4ζz 1−ζz

−2αlog|1−ζz|; if|ζ|=|ξ|= 1, ζ=ξ









 .

(11)

Title Page Contents

JJ II

J I

Go Back Close

Quit Page11of13

For |z|=rwe have log

f(z) z

= Re Z

∂U x∂U

≥min

µ,ν

min

|z|=rRe Z

∂U x∂U

≥log 1

|1 +r|^2α + min

µ,ν

min

|z|=r

Z

∂U x∂U

−2(1−α) Im

ζ+ξ ζ−ξ

×arg

1−ξz 1−ζz

dµ(ζ)dν(ξ)

= log 1

|1 +r|^2α + min

min

0<|l|≤^π₂

min

|z|=r

−2(1−α) Im

1 +e^2il 1−e^2il

×arg

1−e^2ilz 1−z

; (1−α) −4r 1 +r

, where e^2il =ζξ.

Let Φ_r(l) =





 min|z|=r

−2(1−α) Im

1+e^2il 1−e^2il

arg

1−e^2ilz 1−z

, if 0<|l|< ^π₂

(1−α)^−4r_1+r if l= 0





 .

ThenΦ_r(l)is a continuous and even function on|l|< ^π₂.Hence log

f(z) z

≥log 1

|1 +r|^2α + min

0<|l|≤^π₂Φr(l) = log 1

|1 +r|^2α + inf

0<l<^π₂Φr(l).

(12)

Title Page Contents

JJ II

J I

Go Back Close

Quit Page12of13

Since

max|z|=rarg

1−e^2ilz 1−z

= 2 arctan

rsin(l) 1 +rcos(l)

,

we get log

f(z) z

≥log 1

|1 +r|^2α+ inf

0<l<^π₂

−4(1−α) cot(l) arctan

rsin(l) 1 +rcos(l)

,

and using the fact that|arctan(x)| ≤ |x|, we have log

f(z) z

≥log 1

|1 +r|^2α + inf

0<l<^π₂

−4(1−α) rcos(l) 1 +rcos(l)

≥log 1

|1 +r|^2α + inf

0<l<^π₂

−4(1−α) r 1 +r

.

The case of equality is attained by the functionsf(z) =ζf₀(ζz),|ζ|= 1.

The next application is a consequence of Theorem2.1.

Theorem 3.2. Letf(z) = zh(z)g(z)∈ST_Lh(α). Then

argf(z) z

≤2(1−α) arcsin(|z|).

Proof. Let f(z) = zh(z)g(z) ∈ ST_Lh(α). Then ϕ(z) = ^zh(z)_g(z) ∈ ST(α) by Theorem 2.1. The result follows immediately from arg^f(z)_z = arg^ϕ(z)_z and from [6, p. 142].

(13)

Title Page Contents

JJ II

J I

Go Back Close

Quit Page13of13

References

[1] Z. ABDULHADI, Close-to-starlike logharmonic mappings, Internat. J.

Math. & Math. Sci., 19(3) (1996), 563–574.

[2] Z. ABDULHADI, Typically real logharmonic mappings, Internat. J. Math.

& Math. Sci., 31(1) (2002), 1–9.

[3] Z. ABDULHADI AND D. BSHOUTY, Univalent functions in HH, Tran.

Amer. Math. Soc., 305(2) (1988), 841–849.

[4] Z. ABDULHADI AND W. HENGARTNER, Spirallike logharmonic map- pings, Complex Variables Theory Appl., 9(2-3) (1987), 121–130.

[5] Z. ABDULHADI ANDW. HENGARTNER, One pointed univalent loghar- monic mappings, J. Math. Anal. Appl., 203(2) (1996), 333–351.

[6] A.W. GOODMAN, Univalent functions, Vol. I, Mariner Publishing Com- pany, Inc., Washington, New Jersey, 1983.

[7] J.C.C. NITSCHE, Lectures on Minimal Surfaces, Vol. I, NewYork, 1989.