10
$\begingroup$

The Schwarzian derivative of an entire holomorphic function $f$ is defined as $$Sf:=\left(\frac{f^{''}}{f'}\right)'-\frac{1}{2}\left(\frac{f^{''}}{f'}\right)^2.$$

In the following, we only consider entire holomorphic functions.

If $Sf=0$, then it is well known that $f$ must be a linear function.

If $Sf$ is a constant, then it is also well known that $f$ takes the form $f(z)=a+be^{cz}$, where $a,b,c$ are complex numbers.

My question is the following: Let $f$ be a locally injective entire function (the injectiveness is to guarantee that $Sf$ is also entire), if $Sf$ is a polynomial of degree bigger than or equal to $1$, what does $f$ look like? Can anyone give an example?

$\endgroup$
0

1 Answer 1

17
$\begingroup$

The answer is this: $$f(z)=\int_{z_0}^z e^{Q(\zeta)}d\zeta,$$ where $Q$ is a polynomial, and this is the general form of an entire function whose Schwarzian is a polynomial. The crucial fact that $f$ has finite order. Then $f'$, a function of finite order without zeros must be of the form $e^Q$.

This is a special case of the theorem of R. Nevanlinna which characterizes solutions of the Schwarz equation $Sf=P$, where $P$ is a polynomial. The Schwarz differential equation is equivalent to the linear differential equation $$w''+(P/2)w=0,$$ namely, the general solution $f=w_1/w_2$, where $f_1,f_2$ are two linearly independent solutions of the linear differential equation. And the fact that all solution of the linear differential equation with polynomial coefficient are entire functions of finite order, is classical and well-known. It follows from asymptotic expansions of these solutions for large values of the independent variable, or in a simpler way, from the Wiman-Valiron theory.

Ref. R. Nevanlinna, Analytic functions, Chap.XI,3.

Remark. For generic $P$, the general solution $f$ of $Sf=P$ is meromorphic but not entire. The condition that it has an entre solution is somewhat complicated: $$Q''-(1/2){Q'}^2=P,$$ so this is a condition for a Riccati equation to have a polynomial solution $Q'$.

$\endgroup$
1
  • $\begingroup$ Thank you very much! $\endgroup$
    – student
    Commented Jun 1, 2022 at 1:36

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .