Linear measure and $ K $-quasiconformal harmonic mappings

21 downloads 112 Views 169KB Size Report
Dec 3, 2016 - CV] 3 Dec 2016. LINEAR MEASURE AND K-QUASICONFORMAL HARMONIC. MAPPINGS. SHAOLIN CHEN, GANG LIU, AND SAMINATHAN ...
arXiv:1612.00941v1 [math.CV] 3 Dec 2016

LINEAR MEASURE AND K-QUASICONFORMAL HARMONIC MAPPINGS SHAOLIN CHEN, GANG LIU, AND SAMINATHAN PONNUSAMY Abstract. In this paper, we investigate the relationships between linear measure and harmonic mappings.

1. Preliminaries and main results For a ∈ C and r > 0, we let D(a, r) = {z : |z − a| < r} so that Dr := D(0, r) and thus, D := D1 denotes the open unit disk in the complex plane C. Let T = ∂D be the boundary of D. For a real 2 × 2 matrix A, we use the matrix norm kAk = sup{|Az| : |z| = 1} and the matrix function λ(A) = inf{|Az| : |z| = 1}. For z = x + iy ∈ C, the formal derivative of the complex-valued functions f = u + iv is given by ! ux uy Df = , vx vy so that kDf k = |fz | + |fz | and λ(Df ) = |fz | − |fz | ,   where fz = (1/2) fx − ify and fz = (1/2) fx + ify are partial derivatives. Let Ω be a domain in C, with non-empty boundary. A sense-preserving homeo1,2 morphism f from a domain Ω onto Ω′ , contained in the Sobolev class Wloc (Ω), is said to be a K-quasiconformal mapping if, for z ∈ Ω,  kDf (z)k2 ≤ K det Df (z), i.e., kDf (z)k ≤ Kλ Df (z) ,

where K ≥ 1 and det Df denotes the determinant of Df (cf. [9, 12, 18]). We note that det Df = |fz |2 − |fz |2 , the Jacobian of f , is usually denoted by Jf . A complex-valued function f defined in a simply connected subdomain G of C is called a harmonic mapping in G if and only if both the real and the imaginary parts of f are real harmonic in G. It is well known that every harmonic mapping f in G admits a decomposition f = h + g, where h and g are analytic in G. Throughout we use this representation. Without loss of generality, we assume 0 ∈ G. If we choose the additive constant such that g(0) = 0, then the decomposition is unique. Because Jf = |h′ |2 − |g ′ |2 , it follows that f is locally univalent and sense-preserving in G if and only if |g ′(z)| < |h′ (z)| in G; or equivalently if h′ (z) 6= 0 and the dilatation ω = g ′/h′ has the property that |ω(z)| < 1 in G (see [6] and also [13]). File: Ch-L-S31_2016__final.tex, printed:

6-12-2016, 1.28

2010 Mathematics Subject Classification. Primary: 30C65, 30C75; Secondary: 30C20, 30C45, 30H10. Key words and phrases. K-quasiconformal harmonic mappings, area, length distortion.

1

2

S. Chen, G. Liu and S. Ponnusamy

Let γ : ϕ(t), t ∈ [α, β], be a curve in C. Its length ℓ(γ) is defined by n X (1.1) ℓ(γ) = sup |ϕ(tk ) − ϕ(tk−1 )|, k=1

where the supremum is taken over all partitions α = t0 < t1 < · · · < tn = β and all n ∈ {1, 2, . . .}. We call γ rectifiable if ℓ(γ) < +∞. It is clear from (1.1) that diamγ ≤ ℓ(γ). In the case of a closed curve γ : ψ(ζ), ζ ∈ T, with piecewise continuously differentiable ψ, we can write Z ℓ(γ) = |ψ ′ (ζ)| |dζ|, T

where T = ∂D. If γ1 , γ2 , . . . are disjoint curves, then we define ∞ X ∞ ℓ(γk ). ℓ(∪k γk ) = k=1

In particular, ℓ(∅) = 0 (see [16, p. 3]). For p ∈ (0, ∞], the generalized Hardy space Hgp (D) consists of all those functions f : D → C such that f is measurable, Mp (r, f ) exists for all r ∈ (0, 1) and kf kp < ∞, where  Z 2π  sup Mp (r, f ) if p ∈ (0, ∞) 1 p 0 0. Let γ be a rectifiable Jordan curve. The shorter arc between z and w in γ will be denoted by γ[z, w]. We say that γ is a M-Lavrentiev curve if there is a constant M > 1 such that ℓ(γ[z, w]) ≤ M|z − w| for each z, w ∈ γ. The inner domain of a M-Lavrentiev curve is called a M-Lavrentiev domain (cf. [7, 9, 16, 19]). The following result is considered to be a Schwarz-type lemma of subharmonic functions. Theorem A. ([1, Theorem 2]) Let φ be subharmonic in D. If, for all r ∈ [0, 1), Z r A(r) = sup φ(ρeiθ ) dρ ≤ 1, θ∈[0,2π]

0

then A(r) ≤ r. Analogy to Theorem A, applying some part of proof technique of [19, Lemma 1], we obtain a Schwarz type estimate on the length function of K-quasiconformal harmonic mappings.

4

S. Chen, G. Liu and S. Ponnusamy

Theorem 2. Suppose that f is a K-quasiconformal harmonic mapping of D onto a M-Lavrentiev domain Ω. Then, for r ∈ (0, 2], ρ ∈ (0, r] and any fixed ζ0 ∈ ∂D, r r Z r 3 KπA(Ω) r 2 KπA(Ω) 3 ℓ(f (Γρ )) dρ ≤ ≤ r2, α 1 1 3 3 0 e 2 (r−2) where α = 4/[K(1 + M)2 ], A(Ω) is the area of Ω and Γρ is the arc of the circle ∂D(ζ0 , ρ) which lies in D. We say that a simply connected domain G ⊂ C is M-linearly connected if, for any two points z1 , z2 ∈ G, there is a curve γ ⊂ G and a constant M ≥ 1 such that diamγ ≤ M|z1 − z2 |.

(1.2)

Zinsmeister [20] obtained an analytic characterization of M-Lavrentiev domains (see also [16, Chapter 7]). The following result is an analogous result to the analytic characterization of M-Lavrentiev domains. Theorem 3. Let f be a K-quasiconformal harmonic mapping from D onto the inner domain G of a rectifiable Jordan curve. If G is a M1 -Lavrentiev domain and for each ζ ∈ ∂D, δ−1  1−ρ ′ (1.3) kDf (ρζ)k ≤ M1 kDf (rζ)k (0 ≤ r ≤ ρ < 1), 1−r then G is M2 -linearly connected and, for all z ∈ D, there is a constant M ′ such that Z 1 (1.4) kDf (ζ)k |dζ| ≤ M ′ kDf (z)k, ℓ(I(z)) I(z) where I(z) = {ζ ∈ T : | arg ζ − arg z| ≤ π(1 − |z|)} and δ ∈ (0, 1), M1′ , M1 , M2 are constants.  For any fixed θ ∈ [0, 2π], the radial length of the curve Cθ (r) = w = f (ρeiθ ) : 0 ≤ ρ ≤ r with counting multiplicity is defined by Z r Z r ∗ iθ fz (ρeiθ ) + e−2iθ fz (ρeiθ ) dρ, ℓf (θ, r) = df (ρe ) = 0

0

where r ∈ [0, 1) and f is a harmonic mapping defined in D. In particular, let ℓ∗f (θ, 1) = sup ℓ∗f (θ, r). 0