Théorème de Landau

En 1904, Edmund Landau a démontré une généralisation du « petit » théorème de Picard en analyse complexe, qu'il a énoncée ainsi en français :

Plusieurs mathématiciens ont immédiatement apporté des contributions précisant ce théorème, parmi lesquels Friedrich Schottky, Adolf Hurwitz, et Constantin Caratheodory. Dans un mémoire publié en 1906, Landau a exposé les contributions de chacun d'entre eux. Il a remarqué alors que d'un résultat de Schottky (Théorème 14 du mémoire) on peut déduire la propriété qui suit (Théorème 15).

Théorème 2. Si

$G(x)=a_0+a_{1}x+a_2{x}^2+\dots +a_m{x}^m+\dots ,$

est régulière pour |x| < r, différente de 0 et de 1, et si Modèle:Math désigne le maximum de |G(x)| pour |x| < θr, où θ est une constante fixée non négative et inférieure à 1, alors

$M(\theta r)\le \mathrm{\Omega }(a_0,\theta ),$

où Ω(aModèle:Ind) est une constante ne dépendant que de aModèle:Ind et θ.

Avec les mêmes hypothèses il suit (mais ce fait n'est pas relevé alors par Landau).

Théorème 3. Le coefficient aModèle:Ind est borné par une quantité ne dépendant que du coefficient aModèle:Ind.

D'autres mathématiciens ont par la suite donné des estimations explicites pour les Théorèmes 2 et 3, parmi lesquels Alexander Ostrowski, Albert Pfluger, Lars Valerian Ahlfors, Raphael Robinson, Walter Hayman, et James A. Jenkins. La façon dont ce dernier présente les résultats de Landau et de Schottky semble expliquer pourquoi, dans la littérature moderne, on attribue, assez curieusement, le Théorème 2 à Schottky et le Théorème 3 à Landau. Les travaux mentionnés ont en particulier révélé que, sous les mêmes hypothèses que dans les Théorèmes 2 et 3, on a une estimation du type

$|a_1|\le 2|a_0|(|\log |a_0||+A),$

et l'estimation précise de la constante A a rapidement été associée au nom de Landau dans la littérature. Ce problème a été entièrement résolu en 1979 par Wan Tzei Lai, qui a montré que la constante A optimale est

$A=\mathrm{\Gamma }(1/4{)}^4/(4{\pi }^2)=4,37\dots ,$

l'égalité dans la relation précédente étant possible lorsque aModèle:Ind = –1.