Jensensche Formel

In der Mathematik gibt die Jensensche Formel eine Formel für die Integration einer analytischen Funktion über den Rand eines Kreises. Die Formel ist nach dem dänischen Mathematiker Johan Ludwig Jensen benannt, der sie 1899 erstmals beschrieb.

Sie ist von grundlegender Bedeutung in der Nevanlinna-Theorie (Wertverteilungstheorie).

Formel

Sei $f : ℂ \to ℂ$ eine analytische Funktion und seien $a_{1}, \dots, a_{n}$ ihre Nullstellen in der Kreisfläche $D_{r} = {z \in ℂ : | z | < r}$ für ein $r > 0$ . Dann gilt

\log | f (0) | = \sum_{k = 1}^{n} \log \frac{| a_{k} |}{r} + \frac{1}{2 π} \int_{0}^{2 π} \log | f (r e^{i θ}) | d θ .

Falls $f$ in $D_{r}$ keine Nullstellen hat, erhält man den Mittelwertsatz von Gauß für die harmonische Funktion $\log | f (z) |$ .

Beispiel: Polynome

Nach dem Fundamentalsatz der Algebra lässt sich jedes Polynom über $ℂ$ zerlegen als

p (z) = a \prod_{i = 1}^{d} (z - α_{i})

.

Aus der Jensenschen Formel folgt dann mit $r = 1$ :

\log | a | + \sum_{i = 1}^{d} \log (max (| α_{i} |, 1)) = \frac{1}{2 π} \int_{0}^{2 π} \log | p (e^{i θ}) | d θ .

Beispiel: $p (z) = z^{2} - z + 1$ lässt sich zerlegen als $p (z) = (z - α_{1}) (z - α_{2})$ mit $α_{1, 2} = \frac{1}{2} \pm \frac{\sqrt{3}}{2} i$ . Wegen $| α_{1} | = | α_{2} | = 1$ folgt daraus

\int_{0}^{2 π} \log | p (e^{i θ}) | d θ = 0

.

Literatur

J. Jensen: Sur un nouvel et important théorème de la théorie des fonctions. In: Acta Mathematica. (Springer Netherlands) 22, 1899, S. 359–364. (französisch)
P. Borwein, T. Erdélyi: Jensen’s Formula. §4.2.E.10c In: Polynomials and Polynomial Inequalities. Springer-Verlag, New York 1995, ISBN 0-387-94509-1, S. 187.
S. G. Krantz: Jensen’s Formula. §9.1.2 In: Handbook of Complex Variables. Birkhäuser, Boston MA 1999, ISBN 3-7643-4011-8, S. 117–118.

Weblinks

Eric W. Weisstein: Jensen’s Formula. In: MathWorld (englisch).