In mathematics, the Schwarzian derivative is an operator similar to the derivative which is invariant under Möbius transformations. Thus, it occurs in the theory of the complex projective line, and in particular, in the theory of modular forms and hypergeometric functions. It plays an important role in the theory of univalent functions, conformal mapping and Teichmüller spaces. It is named after the German mathematician Hermann Schwarz.
Definition The Schwarzian derivative of a holomorphic function f of one complex variable z is defined by
( S f ) ( z ) = ( f ″ ( z ) f ′ ( z ) ) ′ − 1 2 ( f ″ ( z ) f ′ ( z ) ) 2 = f ‴ ( z ) f ′ ( z ) − 3 2 ( f ″ ( z ) f ′ ( z ) ) 2 . {\displaystyle (Sf)(z)=\left({\frac {f''(z)}{f'(z)}}\right)'-{\frac {1}{2}}\left({\frac {f''(z)}{f'(z)}}\right)^{2}={\frac {f'''(z)}{f'(z)}}-{\frac {3}{2}}\left({\frac {f''(z)}{f'(z)}}\right)^{2}.}
The same formula also defines the Schwarzian derivative of a C3 function of one real variable. The alternative notation
{ f , z } = ( S f ) ( z ) {\displaystyle \{f,z\}=(Sf)(z)}
is frequently used.
Properties The Schwarzian derivative of any Möbius transformation
g ( z ) = a z + b c z + d {\displaystyle g(z)={\frac {az+b}{cz+d}}}
is zero. Conversely, the Möbius transformations are the only functions with this property. Thus, the Schwarzian derivative precisely measures the degree to which a function fails to be a Möbius transformation. If g is a Möbius transformation, then the composition f ∘ g {\displaystyle f\circ g} has the same Schwarzian derivative as f; and on the other hand, the Schwarzian derivative of f ∘ g {\displaystyle f\circ g} is given by the chain rule
( S ( f ∘ g ) ) ( z ) = ( S f ) ( g ( z ) ) ⋅ g ′ ( z ) 2 . {\displaystyle (S(f\circ g))(z)=(Sf)(g(z))\cdot g'(z)^{2}.}
More generally, for any sufficiently differentiable functions f and g
S ( f ∘ g ) = ( ( S f ) ∘ g ) ⋅ ( g ′ ) 2 + S g . {\displaystyle S(f\circ g)=\left((Sf)\circ g\right)\cdot (g')^{2}+Sg.}
When f and g are smooth real-valued functions, this implies that all iterations of a function with negative (or positive) Schwarzian will remain negative (resp. positive), a fact of use in the study of one-dimensional dynamics. Introducing the function of two complex variables
F ( z , w ) = log ( f ( z ) − f ( w ) z − w ) , {\displaystyle F(z,w)=\log \left({\frac {f(z)-f(w)}{z-w}}\right),}
its second mixed partial derivative is given by
… excerpt ends here. Continue reading the full article.
