LettreHenri Poincaré à Gösta Mittag-Leffler - 14 avril 1886

Paris, le 14 Avril 18861

Mon cher ami, Je vous adresse aujourd’hui le mémoire2 que vous m’aviez demandé au sujet des intégrales irrégulières des équations linéaires et de leur représentation approximative par des séries divergentes analogues à celles de Stirling.3

Veuillez m’excuser de ne / pas vous l’avoir envoyé plus tôt. J’ai été malade ces deux derniers mois et n’avais pu le relire.

Veuillez agréer, mon cher ami, l’assurance de ma profonde sympathie.

Poincaré


Apparat critique

  1. Paris-15 avril — Stockholm-18 avril.

  2. Poincaré (1886), (1928, 290–332).

  3. Le développement de Stirling décrit un développement asymptotique de la fonction \(\log \;\Gamma \left( x \right)\). Poincaré décrit, dans la première partie de son article, les propriétés des développements asymptotiques.

    Tous les géomètres connaissent les curieuses propriétés de la série de Stirling. Cette série : \[\log \Gamma \left( {x + 1} \right) = \frac{1} {2}\log \left( {2\pi } \right) + \left( {x + \frac{1} {2}} \right)\log x - x + \frac{{\text{B}_1 }} {{1.2}}\frac{1} {x} - \frac{{\text{B}_2 }} {{3.4}}\frac{1} {{x^2 }} + \frac{{\text{B}_3 }} {{5.6}}\frac{1} {{x^3 }} - \cdots\] est toujours divergente. Cependant, on peut en faire légitimement usage pour les valeurs très grandes de x. En effet, les termes après avoir décru avec une très grande rapidité, croissent ensuite au delà de toute limite.

    Mais si l’on s’arrête au plus petit terme, l’erreur commise sur la valeur de \(\log \;\Gamma \left( {x + 1} \right)\) est très petite.

    En d’autres termes, la série de Stirling représente asymptotiquement la fonction \(\log \;\Gamma \left( {x + 1} \right)\) ; c’est-à-dire que si \(S_n\) est la somme des premiers termes de cette série jusque et y compris le terme \[\pm \frac{{\text{B}_n }} {{\text{2}n\left( {2n - 1} \right)}}\frac{1} {{x^n }},\] l’expression \[x^{n + 1} \left[ {\log \Gamma \left( {x + 1} \right) - \text{S}_n } \right]\] tendra vers zéro quand x croîtra indéfiniment. Poincaré (1928, 290)

    Une fois définie la notion de développement asymptotique, Poincaré expose l’algèbre de tels développements. Dans cet exposé, Poincaré n’envisage comme ensemble de fonctions de comparaison que celui des fonctions \[\left\{ {\frac{1} {{x^n }},n \in N} \right\}.\] Dans la suite, Poincaré va appliquer cette notion de développement asymptotique à l’étude du comportement à l’infini des solutions de l’équation

    (1)\[P_n \frac{{d^n y}} {{dx^n }} + P_{n - 1} \frac{{d^{n - 1} y}} {{dx^{n - 1} }} + \cdots + P_1 \frac{{dy}} {{dx}} + P_0 y = 0\] où les \(P_i\) sont des polynomes en x.

    Si le point à l’infini est régulier, c’est-à-dire d’après le théorème de Fuchs Valiron (1950, 203) si les degrés des polynomes \(P_i\) sont strictement décroissants, il y a n intégrales régulières qui admettent un développements du type \[x^\alpha \left( {A_0 + \frac{{A_1 }} {x} + \frac{{A_2 }} {{x^2 }} + \cdots + \frac{{A_n }} {{x^n }} + \cdots } \right).\]

    Dans le cas où le point à l’infini est irrégulier, Thomé a prouvé l’existence de séries de la forme \[e^Q x^\alpha \left( {A_0 + \frac{{A_1 }} {x} + \frac{{A_2 }} {{x^2 }} + \cdots + \frac{{A_n }} {{x^n }} + \cdots } \right)\] que Poincaré appelle séries normales et qui vérifient formellement l’équation (1). Q est un polynome en x. Lorsque ces séries convergent, on obtient ainsi une solution qu’il baptise “ solutions normales ”. Poincaré s’intéresse au statut de ces développements lorsque les séries normales ne sont pas convergentes.

    En utilisant la transformée de Laplace, Poincaré montre :

    Ainsi, une série normale du premier ordre, alors même qu’elle est divergente, représente asymptotiquement une des intégrales de l’équation à laquelle elle satisfait formellement. (1928, 302)

    Puis, il montre qu’en général :

    L’intégrale la plus générale d’une équation de rang quelconque est représentée asymptotiquement par une des séries normales qui satisfont formellement à cette même équation. (1928, 332)

    Cet article provoquera une polémique avec Thomé (voir Henri Poincaré à Gösta Mittag-Leffler - 22 juillet 1887 et  Henri Poincaré à Gösta Mittag-Leffler - 25 juillet 1887).


Références

Appell, Paul, and Jules Drach, eds. 1928. Œuvres d’Henri Poincaré, Volume 1. Paris: Gauthier-Villars.

Poincaré, Henri. 1886. “Sur les intégrales irrégulières des équations linéaires.” Acta Mathematica 8 (1): 295–344.

Valiron, Georges. 1950. Equations fonctionnelles, Applications. Paris: Masson.

Titre (dcterms:title)

Henri Poincaré à Gösta Mittag-Leffler - 14 avril 1886

Incipit (ahpo:incipit)

Mon cher ami, Je vous adresse aujourd'hui le mémoire que vous m'aviez demandé ...

Date (ahpo:writingDate)

1886-04-14

Expéditeur (ahpo:sentBy)

Destinataire (ahpo:sentTo)

Lieu (ahpo:writtenAt)

Sujet (dcterms:subject)

Développements asymptotiques

Chapitre (ahpo:publishedIn)

Lieu d’archivage (ahpo:archivedAt)

Type (ahpo:documentType)

(fr) Lettre autographe signée

Section (dans le livre) (ahpo:sectionNumber)

52

Nombre de pages (ahpo:numberOfPages)

2

Noms cités dans l'apparat (ahpo:citeApparatName)

Langue (ahpo:language)

fr

Publié sous la référence (ahpo:publishedInReference)

CHP 1:52

Éditeur (dcterms:publisher)

Licence (dcterms:license)

« Henri Poincaré à Gösta Mittag-Leffler - 14 Avril 1886 ». La Correspondance Entre Henri Poincaré Et Gösta Mittag-Leffler. Archives Henri Poincaré, s. d., Archives Henri Poincaré, s. d, La correspondance d'Henri Poincaré, accessed 9 August 2020, http://henripoincare.fr/s/correspondance/item/6009

Scan