Hadamard three-circle theorem

From Wikipedia, the free encyclopedia

In complex analysis, a branch of mathematics, the Hadamard three-circle theorem is a result about the behavior of holomorphic functions.

Let f(z) be a holomorphic function on the annulus

r_1\leq\left| z\right| \leq r_3.

Let M(r) be the maximum of | f(z) | on the circle | z | = r. Then, logM(r) is a convex function of the logarithm log(r). Moreover, if f(z) is not of the form czλ for some constants λ and c, then logM(r) is strictly convex as a function of log(r).

The conclusion of the theorem can be restated as

\log\left(\frac{r_3}{r_1}\right)\log M(r_2)\leq  \log\left(\frac{r_3}{r_2}\right)\log M(r_1) +\log\left(\frac{r_2}{r_1}\right)\log M(r_3)

for any three concentric circles of radii r1 < r2 < r3.

[edit] History

A statement and proof for the theorem was given by J.E. Littlewood in 1912, but he attributes it to no one in particular, stating it as a known theorem. H. Bohr and E. Landau claim the theorem was first given by Jacques Hadamard in 1896, although Hadamard had published no proof.[1]

[edit] See also

[edit] References