Annales Academiæ Scientiarum Fennicæ Series A. I. Mathematica Volumen 19, 1994, 291–322
THE PICK VERSION OF THE SCHWARZ LEMMA AND COMPARISON OF THE POINCARE´ DENSITIES
Shinji Yamashita Tokyo Metropolitan University, Department of Mathematics Minami-Osawa, Hachioji, Tokyo 192-03, Japan
Abstract. Let a function f be analytic and f < 1 in the disk U = z < 1 , and let F be the family of all the M¨obius maps T with |T|(U) = U . Pick’s version{| of| the Schwarz} lemma is then that Γ(z,f) (1 z 2) f ′(z) /(1 f(z) 2) < 1 at all z U if f / F , and Γ(z,T ) 1 for T F . To improve≡ − the| | Pick| version| − we | first| prove (1): (1 ∈z 2) (∂/∂z∈)Γ(z,f) 1 Γ(z,f≡ )2 at each∈ z U . The equality in (1) holds at a z U −if | and| | only if f |≤F or−f is in the family G ∈of all the products TS of T and S F∈. Our improvement is∈ (2): Γ(z,f) [Γ(0,f)(1 + z 2)+2 z ]/[(1 + z 2) + 2Γ(0,f) z ] ( 1)∈ at each z U . The equality in (2) holds≤ at a point z |=| 0 if and| | only if |f| F G . For| | plane≤ regions H and∈ G such that H is hyperbolic and G H6 , G = H , the densities∈ µ∪ and µ of the Poincar´emetrics µ (z) dz and ⊂ 6 G H G | | µH (z) dz in G and H , respectively, satisfy µH (z)/µG(z) < 1 for all z G. Among others, we improve| this| with the aid of (1) in the form (3): µ (z)/µ (z) < [1 exp( ∈4d (z))]1/2 (< 1) for H G − − G,H all z G, where dG,H (z) > 0 is the Poincar´edistance in H of z G and the relative boundary of G ∈in H . Inequality (3) is sharp: we cannot replace 4 in exp(∈ ) in (3) by any constant C with 4 1. Introduction Let B be the family of functions f analytic and bounded, f < 1, in the disk U = z < 1 and set for f B , | | {| | } ∈ (1.1) Γ(z,f)=(1 z 2) f ′(z) / 1 f(z) 2 , z U. −| | | | −| | ∈ The family F of all the M¨obius maps T (z) = ε(z a)/(1 az¯ ), where a U and ε ∂U = z =1 , is contained in B and Γ(z,− T ) 1− in U for all T ∈F . G. Pick’s∈ differential{| | version} of the Schwarz lemma reads:≡ Γ(z,f) < 1 everywhere∈ in U if f B F (f in B , not in F ); see [P1], [Gl, p. 332, Theorem 3] and [A, p. 3 et seq.∈]. We\ shall prove a more precise form of this. For f B and z U , we set ∈ ∈ Ξ(z,f) = Γ(0,f)(1 + z 2)+2 z / (1 + z 2) + 2Γ(0,f) z . | | | | | | | | Then Ξ(0,f) = Γ(0,f) and, further, Ξ(z,f) Γ(z,f) 1 for f F and Ξ(z,f) < 1 everywhere in U for f B F .≡ Let G be≡ the family∈ of all the ∈ \ 1991 Mathematics Subject Classification: Primary 30C80, 30C99; Secondary 30C45. 292 Shinji Yamashita products T S of T F and S F . Then functions ϕ G B F can be divided into two types:∈ ∈ ∈ ⊂ \ (Type I) ϕ(z) T (z2) fora T F ; ≡ ∈ (Type II) ϕ(z) T zS(z) for T, S F with S(a)=0,a =0. ≡ ∈ 6 The Pick version is improved in Theorem 1. For f B and z U we have ∈ ∈ (1.2) Γ(z,f) Ξ(z,f). ≤ The equality in (1.2) holds at a point z =0 if and only if f F G . For f G the equality in (1.2) holds alternatively 6 ∈ ∪ ∈ (A) at each z of U if f is of Type I; or (B) at each z of the radius ra/ a ;0 r < 1 and at no other point of U if f is of Type II: f(w) = T {−wS(w|) | with≤ S(a)=0} , a =0. 6 Hence, Γ(z,f) < Ξ(z,f) < 1 for all z =0 if f B (F G ). Applications of (1.2) will be given in Note (b), Section6 5, and∈ in Notes\ ∪ (α), (β) and (γ), Section 6. Let ∂/∂z = 2−1∂/∂x 2−1i∂/∂y , z = x + iy . Note that if f B and f ′(z)=0 = f ′′(z), then (∂/∂z−)Γ(z,f) does not exist, whereas (∂/∂z)Γ(∈z,f) does exist and6 is 0 if f ′(z)=0= f ′′(z). If f ′(z) = 0, then 6 1 z 2 zf¯ ′(z) f ′′(z) f(z)f ′(z)2 (∂/∂z)Γ(z,f) = −| | − + + . 2 2 2 | | 1 f(z) 1 z 2 1 f(z) −| | −| | −| | Since this is continuous in the whole U , we hereafter define (∂/∂z)Γ(z,f) by this formula at the point z with f ′(z) = 0 also; this is constantly| zero if |f is constant. For f F we have ∈ (1 z 2) (∂/∂z)Γ(z,f) 1 Γ(z,f)2 0 in U. −| | | | ≡ − ≡ Theorem 1 follows from Theorem 2. For f B and z U we have ∈ ∈ (1.3) (1 z 2) (∂/∂z)Γ(z,f) 1 Γ(z,f)2. −| | | | ≤ − The equality in (1.3) holds at a point z U if and only if f F G . For f F G the equality in (1.3) holds at each∈ z U . ∈ ∪ ∈ ∪ ∈ The Pick version of the Schwarz lemma 293 It would be interesting to compare (1.3) with the Schwarz–Pick form in ∂/∂z for f B : ∈ (1 z 2) (∂/∂z)f(z) 1 f(z) 2, z U. −| | | | ≤ −| | ∈ Theorem 2 has a corollary which will be described in Section 2, and applica- tions of Theorem 2 and its corollary to comparisons of the Poincar´edensities will be given in Sections 3, 4, and 5. If f B is univalent in U , then Theorem 2 has its counterpart, namely, Lemma 2∈ in Section 6. Parallel considerations are discussed in Section 7. Most of our results are also true for Riemann surfaces with little modification; see Section 8. Some of the Notes below contain new results with detailed proofs and detailed arguments concerning the equality conditions. We propose here, among others, a refinement of the original Schwarz lemma: f(z) z for f B with f(0) = 0. For f B F with f(0) = 0 and for each| z U|≤|, we| have ∈ ∈ \ ∈ z 2(1 f ′(0) ) z 2 + f ′′(0) z +2 f ′(0) (1 f ′(0) ) f(z) | | −| | | | | || | | | −| | . | | ≤ 2 f ′(0) (1 f ′(0) ) z 2 + f ′′(0) z + 2(1 f ′(0) ) | | −| | | | | || | −| | The right-hand side is strictly less than z in case z =0. | | 6 2. Proofs of Theorem 1 and 2 First of all we observe some properties of functions ϕ of G . Given b U , we have ϕ(z) =1 > b on ∂U . It follows from Rouch´e’s theorem that the equation∈ ϕ(z)| = b |has two| roots| in U . Hence ϕ(U) = U for each ϕ = T S G , the Riemann covering surface of U by ϕ is two-sheeted, and it has exactly one∈ branch point. To find the point we rewrite ϕ(z) = T (z)W T (z) , where W = S T −1 (first the inverse of T , then S ) is in F , and W (a) = 0 for some a U .◦ Then ϕ′ vanishes at the only one point T −1(A), where A = a/(1 + 1 a ∈2 1/2) U . Therefore, the branch point is over the point A(S T −1)(A) {U−|. | } ∈ ◦ ∈ If ϕ G and T F , then ϕ T G . To prove that T ϕ G for ϕ G and∈ T F , it suffices∈ to consider◦ the∈ case ϕ(z) = zS(z), where◦ ∈S(z) = ε(z∈ a)/(1 az¯∈ ). Let T (z) = ε′(z + a′)/(1 + a′z), a′ U , ε′ ∂U . If a′ = 0, then−T ϕ −= ε′ϕ G , while if a′ = 0, we have T ϕ∈(z) = p(∈z)/q(z), where p and q are◦ quadratic∈ polynomials of6 z with ◦ ε′p(z) = εz2q(1/z¯) = εz2 (εa +¯aa′)z + a′. − The polynomials p and q have no common factor. Otherwise, p(z0) = q(z0)=0 ′ and a = 0 show that z0 = 0. We thus have p(1/z0) = 0. On the other hand, it follows6 from p(z) = 0 that6 εz(z a)/(1 az¯ ) = a′ . Hence no root of the − − − equation p(z) = 0 lies on the circle ∂U . Consequently, z0 and 1/z0 are exactly ′ the two roots of p(z) = 0, and hence z0/z0 =εa ¯ yields a contradiction that 294 Shinji Yamashita a′ = 1. Let b U and c U be the roots of the equation ϕ(z) = a′ in U . |Then| bc = 0 because∈ ϕ(0)∈ = 0. It then follows that both b and c are− roots of p(z) = 06 and hence 1/¯b and 1/c¯ are those of q(z) = 0. Consequently, T ϕ(z) = εε′ (z b)/(1 ¯bz) (z c)/(1 cz¯ ) . ◦ { − − }{ − − } Hence T ϕ G . ◦ ∈ To classify functions of G , we set ψ = ϕ ϕ(0) / 1 ϕ(0)ϕ for ϕ G . Then ψ G and ψ(0) = 0. Hence ψ(z) zS−(z), S F−. If S(0) = 0,∈ then ψ(z) = εz∈2 , so that ϕ is of Type I with T (z≡) = ε z +¯εϕ∈(0) / 1 + εϕ(0)z , while ϕ is of Type II with T (z) = z + ϕ(0) / 1 + ϕ(0) z if S(a)=0, a =0. If T and S are in F , then 6 Γ(z, T f S) = Γ S(z),f , z U. ◦ ◦ ∈ Proof of Theorem 2. We may assume that f is nonconstant. Fix z U and consider the function ∈ f (w + z)/(1+zw ¯ ) f(z) (2.1) g(w) = − of w U, 1 f(z)f (w + z)/(1+ zw ¯ ) ∈ − a member of B . Then, even in the case f ′(z) = 0, a calculation yields the identities (2.2) g′(0) = Γ(z,f) and g′′(0) /2=(1 z 2) (∂/∂z)Γ(z,f) . | | | | −| | | | The Pick version at 0: Φ′(0) 1 Φ(0) 2 , applied to Φ(w) = g(w)/w in U , shows that g′′(0) /2 1| g′(0)| ≤2 .−| This, combined| with (2.2), proves (1.3). Suppose| that| the≤ equality−| in| (1.3) holds at a point z U for f B F . Then Φ must be a constant of modulus one or a member∈ of F . The∈ former\ is impossible because f is not a member of F . Hence f is in G . Conversely, let f G . Then, g = f f(0) / 1 f(0)f G and g(z) = zS(z) for S F with S(∈a) = 0. It then follows − that − ∈ ∈ Γ(z,f)=Γ(z,g) = az¯ 2 2z + a / 1 2 Re(¯az) + z 2 | − | − | | and 1 z 2 (∂/∂z)Γ(z,f) = (1 z 2) (∂/∂z)Γ(z,g) −| | | | −| | | | = (1 a 2)(1 z 2)2/(1 2Re(¯az) + z 2)2 =1 Γ(z,g)2. −| | −| | − | | − Hence the equality in (1.3) holds at each z U . This completes the proof of the theorem. ∈ Since the derivative of each member of G vanishes at exactly one point of U , we have: The Pick version of the Schwarz lemma 295 Let Z(f ′) be the total number of the roots of the equation f ′(z)=0 in U for f B F , 0 Z(f ′) . If Z(f ′) = 1, the inequality in (1.3) is strict everywhere∈ \ in U . ≤ ≤ ∞ 6 −1 Recall that the Poincar´edistance of z1 and z2 in U is dU (z1, z2) = tanh δ (1/2) log (1 + δ)/(1 δ) , where δ = z z / 1 z¯ z . We then have ≡ { − } | 1 − 2| | − 1 2| Corollary to Theorem 2. Suppose that f B F . Then ∈ \ (2.3) tanh−1 Γ(z ,f) tanh−1 Γ(z ,f) 2d (z , z ) | 1 − 2 | ≤ U 1 2 for all z1 and z2 in U . If the equality holds in (2.3) for a pair z1, z2 with z1 = z2 , then f G . For a fixed a U and for f G the equality 6 ∈ ∈ ∈ tanh−1 Γ(z,f) tanh−1 Γ(a,f)=2d (z,a) − U holds alternatively (A ∗ ) at each z of U if f = ϕ X , where ϕ G is of Type I and X F with X(a)=0; or ◦ ∈ ∈ (B ∗ ) at each z of the part of the geodesic X−1 rb/ b ;0 r < 1 and at no other point of U if f = ϕ X , where ϕ(w) = T{−wS(w| )| ≤G is of} Type II with S(b)=0, b =0, and X ◦F with X(a)=0. ∈ 6 ∈ Proofs of the Corollary to Theorem 2 and Theorem 1. We may suppose that f is nonconstant and z = z in (2.3). Let σ (z , z ) be the geodesic segment 1 6 2 U 1 2 from z1 to z2 , namely, the subarc from z1 to z2 on a circle orthogonal to the unit circle ∂U or that of a diameter of U , including z1 and z2 . Then (2.3) follows on considering (1.3) in the following chain: −1 −1 −1 tanh Γ(z1,f) tanh Γ(z2,f) = grad tanh Γ(ζ,f) (dξ,dη) | − | Z U 1 2 · σ (z ,z ) (2.4) grad tanh−1 Γ(ζ,f) dζ Z ≤ σU (z1,z2) | | 2 2/(1 ζ ) dζ =2dU (z1, z2) ≤ ZσU (z1,z2) −| | | | because 2 (∂/∂z)Φ(ζ) = gradΦ(ζ) , and the inner product is | | | | grad Φ(ζ) (dξ,dη)=(∂/∂ξ)Φ(ζ) dξ +(∂/∂η)Φ(ζ) dη · for a real-valued function Φ of ζ = ξ + iη . Without giving any details we have ′ the first identity in (2.4) even if zeros of f lie on σU (z1, z2) where Γ vanishes. We thus have (2.3). If the equality holds in (2.3) for a pair z1, z2 , z1 = z2 , then it holds in (1.3) for all points z σ (z , z ), so that f G . 6 ∈ U 1 2 ∈ 296 Shinji Yamashita Since tanh−1 Γ(z,f) tanh−1 Γ(0,f) 2d (z, 0), − ≤ U a calculation for −1 Ξ(z,f) = tanh 2dU (z, 0) + tanh Γ(0,f) , z U, ∈ proves (1.2) for f not in F . If the equality in (1.2) holds for f B F at z =0, ∈ \ 6 then it holds in (1.3) for all ζ σU (0, z), so that f G . Conversely, suppose that f G . Then g = f f(0)∈ / 1 f(0)f G and∈ g(z) = zS(z) for S F with S(∈a) = 0. Note that − Γ(z,f) Γ(−z,g) and ∈ Ξ(z,f) Ξ(z,g) in U . It∈ then follows that ≡ ≡ 2 1 Γ(z,g)2 = (1 a 2)(1 z 2)2/ 1 2 Re(¯az) + z 2 − −| | −| | − | | and 2 1 Ξ(z,g)2 = (1 a 2)(1 z 2)2/ 1+2 az + z 2 . − −| | −| | | | | | Since 1 2 Re(¯az) + z 2 > 0, it follows that Γ(z,f) = Ξ(z,f) if and only if Re(¯az)− = az . If a =| | 0, then f is of Type I and the last equality holds at each −z U , while| if| a = 0, then f is of Type II and the equality holds only at each z ∈ ra/ a ;0 6 r < 1 . Note that Ξ(z,f) 2 z /(1 + z 2) if f is of Type I. The∈ {− equality| | discussion≤ } containing conditions≡ (A ∗|)| and (B| ∗|) in the Corollary is now obvious. Note. Let f B F . Suppose that f ′(0) = 0. Then, ∈ \ 6 (2.5) Γ(z,f) Γ(0,f)(1 + z 2) 2 z / (1 + z 2) 2Γ(0,f) z ≥ | | − | | | | − | | at all z with 1/2 (2.6) z 1 1 Γ(0,f)2 /Γ(0,f) τ(f) | | ≤ − − ≡ is significant because 0 < τ(f) < 1 and Γ(0,f)(1 + z 2) 2 z 0. This is a consequence of the inequality | | − | | ≥ tanh−1 Γ(0,f) tanh−1 Γ(z,f) 2d (z, 0). − ≤ U If the equality in (2.5) holds at z = 0 with (2.6), then f G because the 6 ∈ equality in (1.3) holds for all ζ σU (0, z). Suppose that f G and consider g(z) = f(z) f(0) / 1 f(0)f∈(z) zS(z) G , S F , ∈S(a) = 0, so that a = Γ(0 ,f) =0.− Now, Γ(−z,f)=Γ(z,g≡) and ∈ ∈ | | 6 1 Γ(z,g)2 = (1 a 2)(1 z 2)2/ 1 2Re(¯az) + z 2)2 − −| | −| | − | | The Pick version of the Schwarz lemma 297 and, further, 1 minus the square of the right-hand side of (2.5) is (1 a 2)(1 z 2)2/(1 2 az + z 2)2. −| | −| | − | | | | Since 1 2Re(¯az) + z 2 1 2 az + z 2 > 0, we have the equality in (2.5) under (2.6) if and− only if Re(¯| |az≥) =−az| .| Thus| | the equality in (2.5) holds at z U 0 if and only if f is of Type II,| f|(z) T zS(z) , and z ra/ a ;0