Schwarzian derivative

In mathematics, the Schwarzian derivative is a certain operator that is invariant under all linear fractional transformations. Thus, it occurs in the theory of the complex projective line, and in particular, in the theory of modular forms and hypergeometric series.

Definition

The Schwarzian derivative of a function of one complex variable "ƒ" is defined by

:$(Sf)(z)\; =\; left(\{f"(z)\; over\; f\text{'}(z)\}\; ight)\text{'}\; -\; \{1over\; 2\}left(\{f"(z)over\; f\text{'}(z)\}\; ight)^2$

:::$=\{f"\text{'}(z)\; over\; f\text{'}(z)\}-\{3over\; 2\}left(\{f"(z)over\; f\text{'}(z)\}\; ight)^2.$

The alternative notation

:$\{f,z\}\; =\; (Sf)(z),$

is frequently used.

Properties

The Schwarzian derivative of any fractional linear transformation

: $g(z)\; =\; frac\{az\; +\; b\}\{cz\; +\; d\}$

is zero. Conversely, the fractional linear transformations are the only functions with this property. Thus, the Schwarzian derivative precisely measures the degree to which a function fails to be a fractional linear transformation.

If math|g is a fractional linear transformation, then the composition math|g f has the same Schwarzian derivative as math|f. On the other hand, the Schwarzian derivative of math|f g is given by the remarkable chain rule

: $(S(f\; circ\; g))(z)\; =\; (Sf)(g(z))\; cdot\; g\text{'}(z)^2.,$

More generally, for any sufficiently differentiable functions math|f and math|g

: $S(f\; circ\; g)\; =\; left(\; S(f)circ\; g\; ight\; )\; cdot(g\text{'})^2+S(g).$

This makes the Schwarzian derivative an important tool in one-dimensional dynamics since it implies that all iterates of a function with negative Schwarzian will also have negative Schwarzian.

The Schwarzian derivative can also be defined as the following limit

:$(Sf)(y)=6lim\_\{x\; ightarrow\; y\}\; left(\{f^prime(x)f^prime(y)over(f(x)-f(y))^2\}-\{1over(x-y)^2\}\; ight).$

Differential equation

The Schwarzian derivative has a curious interplay with second-order linear ordinary differential equations in the complex plane. Let $f\_1(z)$ and $f\_2(z)$ be two linearly independent holomorphic solutions of

:$frac\{d^2f\}\{dz^2\}+\; Q(z)\; f(z)=0.$

Then the ratio $g(z)=f\_1(z)/f\_2(z)$ satisfies

:$(Sg)(z)\; =\; 2Q(z),$

over the domain on which $f\_1(z)$ and $f\_2(z)$ are defined, and $f\_2(z)\; e\; 0.$ The converse is also true: if such a "g" exists, and it is holomorphic on a simply connected domain, then two solutions $f\_1$ and $f\_2$ can be found, and furthermore, these are unique up to a common scale factor.

When a linear second-order ordinary differential equation can be brought into the above form, the resulting "Q" is sometimes called the Q-value of the equation.

Note that the Gaussian hypergeometric differential equation can be brought into the above form, and thus pairs of solutions to the hypergeometric equation are related in this way.

chwarzian derivatives as cocycles

For a one-dimensional manifold "M", let $F\_lambda(M)$ be the space of tensor densities of degree $lambda$ on "M". The group of diffeomorphisms of "M", Diff("M"), acts on $F\_lambda(M)$ via pushforwards. If "f" is an element of Diff("M") then consider the mapping

:$f\; ightarrow\; S(f^\{-1\}).,$

In the language of group cohomology the chain-like rule above says that this mapping is a 1-cocycle on $ext\{Diff\}(mathbb\{RP\}^1)$ with coefficients in $F\_2(mathbb\{RP\}^1)$. In fact

:$H^1(\; ext\{Diff\}(mathbb\{RP\}^1);F\_2)\; =\; mathbb\{R\}$

and the 1-cocycle generating the cohomology is "f" → "S"("f"⁻¹).

There is an infinitesimal version of this result giving a 1-cocycle for the Lie algebra $operatorname\{Vect\}(mathbb\{RP\}^1)$ of vector fields. This in turn gives the unique non-trivial central extension of $operatorname\{Vect\}(S^1)$, the Virasoro algebra.

Inversion formula

The Schwarzian derivative has a simple inversion formula, exchanging the dependent and the independent variables. One has

:$(Sw)(v)\; =\; -left(frac\{dw\}\{dv\}\; ight)^2\; (Sv)(w)$

which follows from the inverse function theorem, namely that $v\text{'}(w)=1/w\text{'}.$

References

* V. Ovsienko, S. Tabachnikov : "Projective Differential Geometry Old and New", Cambridge University Press, 2005. ISBN 0-521-83186-5.