Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Bounded Schwarzian and Two-Point Distortion

Bounded Schwarzian and Two-Point Distortion The Schwarzian derivative of a locally injective holomorphic function $$f$$ f is $$S_f= f'''/f' - (3/2)\left( f''/f'\right) ^2$$ S f = f ′ ′ ′ / f ′ - ( 3 / 2 ) f ′ ′ / f ′ 2 . As is well-known, $$S_f=0$$ S f = 0 if and only if $$f$$ f is a Möbius transformation. Intuitively, if a locally injective holomorphic function has a small Schwarzian derivative, then it should behave roughly like a Möbius transformation. Two quantitative results of this type are established. First, if $$|S_f(z)|\le 2t, z \in \Omega $$ | S f ( z ) | ≤ 2 t , z ∈ Ω , on a convex region $$\Omega $$ Ω , then sharp upper and lower two-point distortion bounds on $$|f(a)-f(b)|$$ | f ( a ) - f ( b ) | for $$a,b \in \Omega $$ a , b ∈ Ω are given. The upper bound is valid for all $$a,b \in \Omega $$ a , b ∈ Ω while the lower bound is valid for $$|a-b| < \pi /\sqrt{t}$$ | a - b | < π / t . For $$t=0$$ t = 0 the bounds are the familiar identity $$\vert f(a)-f(b) \vert = \vert a-b\vert \sqrt{|f'(a)||f'(b)|}$$ | f ( a ) - f ( b ) | = | a - b | | f ′ ( a ) | | f ′ ( b ) | for Möbius transformations. These upper and lower two-point distortion theorems characterize locally injective holomorphic functions with bounded Schwarzian derivative. Second, if $$\Omega $$ Ω is a convex region with diameter $$D$$ D and $$|S_f(z)| \le 2t<\pi ^2/D^2$$ | S f ( z ) | ≤ 2 t < π 2 / D 2 for $$z\in \Omega $$ z ∈ Ω , then $$f$$ f is $$K_t(D)$$ K t ( D ) -quasi-Möbius, where the constant depends only on $$t$$ t and $$D$$ D . This means that $$1/K_t(D) \le |f(a),f(b),f(c),f(d)|/|a,b,c,d|\le K_t(D)$$ 1 / K t ( D ) ≤ | f ( a ) , f ( b ) , f ( c ) , f ( d ) | / | a , b , c , d | ≤ K t ( D ) for all distinct $$a,b,c,d\in \Omega $$ a , b , c , d ∈ Ω , where $$|a,b,c,d|$$ | a , b , c , d | denotes the absolute cross-ratio. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Computational Methods and Function Theory Springer Journals

Bounded Schwarzian and Two-Point Distortion

Loading next page...
 
/lp/springer-journals/bounded-schwarzian-and-two-point-distortion-x8hMCct94z
Publisher
Springer Journals
Copyright
Copyright © 2013 by Springer-Verlag Berlin Heidelberg
Subject
Mathematics; Analysis; Computational Mathematics and Numerical Analysis; Functions of a Complex Variable
ISSN
1617-9447
eISSN
2195-3724
DOI
10.1007/s40315-013-0043-x
Publisher site
See Article on Publisher Site

Abstract

The Schwarzian derivative of a locally injective holomorphic function $$f$$ f is $$S_f= f'''/f' - (3/2)\left( f''/f'\right) ^2$$ S f = f ′ ′ ′ / f ′ - ( 3 / 2 ) f ′ ′ / f ′ 2 . As is well-known, $$S_f=0$$ S f = 0 if and only if $$f$$ f is a Möbius transformation. Intuitively, if a locally injective holomorphic function has a small Schwarzian derivative, then it should behave roughly like a Möbius transformation. Two quantitative results of this type are established. First, if $$|S_f(z)|\le 2t, z \in \Omega $$ | S f ( z ) | ≤ 2 t , z ∈ Ω , on a convex region $$\Omega $$ Ω , then sharp upper and lower two-point distortion bounds on $$|f(a)-f(b)|$$ | f ( a ) - f ( b ) | for $$a,b \in \Omega $$ a , b ∈ Ω are given. The upper bound is valid for all $$a,b \in \Omega $$ a , b ∈ Ω while the lower bound is valid for $$|a-b| < \pi /\sqrt{t}$$ | a - b | < π / t . For $$t=0$$ t = 0 the bounds are the familiar identity $$\vert f(a)-f(b) \vert = \vert a-b\vert \sqrt{|f'(a)||f'(b)|}$$ | f ( a ) - f ( b ) | = | a - b | | f ′ ( a ) | | f ′ ( b ) | for Möbius transformations. These upper and lower two-point distortion theorems characterize locally injective holomorphic functions with bounded Schwarzian derivative. Second, if $$\Omega $$ Ω is a convex region with diameter $$D$$ D and $$|S_f(z)| \le 2t<\pi ^2/D^2$$ | S f ( z ) | ≤ 2 t < π 2 / D 2 for $$z\in \Omega $$ z ∈ Ω , then $$f$$ f is $$K_t(D)$$ K t ( D ) -quasi-Möbius, where the constant depends only on $$t$$ t and $$D$$ D . This means that $$1/K_t(D) \le |f(a),f(b),f(c),f(d)|/|a,b,c,d|\le K_t(D)$$ 1 / K t ( D ) ≤ | f ( a ) , f ( b ) , f ( c ) , f ( d ) | / | a , b , c , d | ≤ K t ( D ) for all distinct $$a,b,c,d\in \Omega $$ a , b , c , d ∈ Ω , where $$|a,b,c,d|$$ | a , b , c , d | denotes the absolute cross-ratio.

Journal

Computational Methods and Function TheorySpringer Journals

Published: Nov 21, 2013

References