Théorème taubérien de Hardy-Littlewood

En mathématiques, le théorème taubérien de Hardy-Littlewood est un théorème taubérien reliant le comportement asymptotique d'une série à celui de la série obtenue via la méthode de la sommation d'Abel. Ce théorème est nommé en l'honneur de Godfrey Harold Hardy et John Edensor Littlewood qui l'ont démontré en 1914^[1]^:226. En 1930, Jovan Karamata en a donné une nouvelle démonstration bien plus simple^[1]^:226.

Énoncé[modifier | modifier le code]

Supposons que a_n ≥ 0 pour tout n, et que lorsque x $\rightarrow$ 1 on ait

\sum _{n=0}^{\infty }a_{n}x^{n}\sim {\frac {1}{1-x}}.

Alors quand n tend vers ∞ on a

\sum _{k=0}^{n}a_{k}\sim n.

Le théorème est parfois énoncé avec des variantes, qui requièrent, à la place de a_n ≥ 0, que a_n = O(1), ou a_n ≥ −K pour une certaine constante K^[2].

Démonstration de Jovan Karamata[modifier | modifier le code]

En 1930, Jovan Karamata a trouvé une courte démonstration du théorème en considérant les fonctions g telles que

\lim _{x\to 1}(1-x)\sum _{n\geq 0}a_{n}x^{n}g(x^{n})=\int _{0}^{1}g(t)\,\mathrm {d} t

Un calcul facile montre que cette propriété est vraie pour tous les monômes g(x)=x^k et par conséquent est vraie pour tous les polynômes. Cela peut être alors étendu aux fonctions continues par morceaux (en utilisant notamment le théorème de Stone-Weierstrass et le fait que les a_n sont positifs. En particulier, la fonction g telle que g(t)=1/t si 1/e<t<1 et 0 autrement vérifie cette propriété. Mais alors pour x=e^−1/N la somme Σa_nxⁿg(xⁿ) est a₀+...+a_N et l'intégrale de g vaut 1. Le théorème taubérien de Hardy-Littlewood s'en déduit alors.

Exemples[modifier | modifier le code]

Coefficients non positifs[modifier | modifier le code]

Le théorème peut être mis en défaut si les coefficients ne sont pas positifs. Par exemple, la fonction

{\frac {1}{(1+x)^{2}(1-x)}}=1-x+2x^{2}-2x^{3}+3x^{4}-3x^{5}+\cdots

est équivalente à 1/4(1–x) quand x tend vers 1, mais les sommes partielles de ses coefficients sont 1, 0, 2, 0, 3, 0, 4... qui ne peuvent être équivalent à une fonction linéaire.

Théorème des nombres premiers[modifier | modifier le code]

En 1915, Hardy et Littlewood ont développé une démonstration du théorème des nombres premiers utilisant leur théorème taubérien. Ils ont montré que

\sum _{n=2}^{\infty }\Lambda (n)e^{-ny}\sim {\frac {1}{y}},

où Λ est la fonction de von Mangoldt et en ont conclu que

\sum _{n\leq x}\Lambda (n)\sim x,

ce qui est une formulation équivalente du théorème des nombres premiers^[3]^:34–35^[4]^:302–307

Références[modifier | modifier le code]

↑ ^{a et b} E. C. Titchmarsh, The Theory of Functions, Oxford, Oxford University Press, 1939, 2^e éd. (ISBN 0-19-853349-7)
↑ (en) G. H. Hardy, Divergent Series, Providence, RI, AMS Chelsea, 1991 (1^re éd. 1949), 396 p. (ISBN 0-8284-0334-1)
↑ G. H. Hardy, Ramanujan : Twelve Lectures on Subjects Suggested by his Life and Work, Providence, AMS Chelsea Publishing, 1999 (1^re éd. 1940), 254 p. (ISBN 978-0-8218-2023-0)
↑ Władysław Narkiewicz, The Development of Prime Number Theory : From Euclid to Hardy and Littlewood, Berlin, Springer-Verlag, 2000, 449 p. (ISBN 3-540-66289-8, lire en ligne)

Article lié[modifier | modifier le code]

Fonction à variation lente

Portail de l'analyse

[Titchmarsh-1] {a et b} E. C. Titchmarsh, The Theory of Functions, Oxford, Oxford University Press, 1939, 2^e éd. (ISBN 0-19-853349-7)

[Hardy-2] (en) G. H. Hardy, Divergent Series, Providence, RI, AMS Chelsea, 1991 (1^re éd. 1949), 396 p. (ISBN 0-8284-0334-1)

[12Ramanujan-3] G. H. Hardy, Ramanujan : Twelve Lectures on Subjects Suggested by his Life and Work, Providence, AMS Chelsea Publishing, 1999 (1^re éd. 1940), 254 p. (ISBN 978-0-8218-2023-0)

[Narkiewicz-4] Władysław Narkiewicz, The Development of Prime Number Theory : From Euclid to Hardy and Littlewood, Berlin, Springer-Verlag, 2000, 449 p. (ISBN 3-540-66289-8, lire en ligne)

[1]

[2]

[3]

[4]