1-1-35. Gösta Mittag-Leffler à H. Poincaré

Stockholm. 31 Octobre 1883

Mon cher ami,

Votre mémoire m’est arrivé et je vous prie d’agréer l’expression de ma vive reconnaissance.11endnote: 1 Poincaré 1884, 1916, 300–401. J’admire autant votre facilité à travailler comme la profondeur de vos idées. Vous avez déjà écrit assez pour être placé entre les plus grands géomètres de tous les époques et de tous les pays.

Cette fois-ci on ne tardera qu’une semaine à commencer avec votre mémoire. J’ai donné l’ordre de laisser tout autre à côté pour venir au but le plus tôt possible avec votre travail. Les corrections seront imprimées à la fin.22endnote: 2 Il s’agit des corrections des mémoires précédents; voir (§§ 1-1-32, 1-1-33).

J’ai commencé enfin d’imprimer mon mémoire “sur la constitution analytique des fonctions uniformes et monogènes d’une variable indépendante.33endnote: 3 Mittag-Leffler 1884. J’obtiens par des considérations entièrement élémentaires des formules assez générales. Soit P un ensemble44endnote: 4 [quelconque] rayé. qui fait la limite complète d’un continuum A composé d’une seule pièce, et qui peut être mis sous la forme Q+QQ+Q^{\prime}QQ est un ensemble isolé.55endnote: 5 Autrement dit, un ensemble discret. Soit ensuite α¯\bar{\alpha} le premier nombre entier ou symbole de Cantor pour lequel

P(α¯)=P(α¯+1)P^{\left({\bar{\alpha}}\right)}=P^{\left({\bar{\alpha}+1}\right)}

Mettez

P=P1+P(α).P=P_{1}+P^{\left(\alpha\right)}.

Les points qui, réunis ensemble forment l’ensemble P1P_{1} , peuvent toujours être arrangés en une série

a1a2ana_{1}a_{2}\cdots a_{n}\cdots\cdots

J’adjoins maintenant à chaque point aνa_{\nu} de cette série une fonction

Gν(1xaν)+gν(xaν)G_{\nu}\left({\frac{1}{{x-a_{\nu}}}}\right)+g_{\nu}\left({x-a_{\nu}}\right)

/ où GνG_{\nu} est une fonction entière algébrique ou transcendante de 1/(xaν)1/(x-a_{\nu}) et gνg_{\nu} une fonction entière algébrique de degré mνm_{\nu} de xaνx-a_{\nu} . On peut alors constituer une expression analytique

F(x)=ν=1Fν(x)F(x)=\sum\limits_{\nu=1}^{\infty}{F_{\nu}(x)}

qui a la qualité suivante. Cette expression représente au dedans de A une fonction monogène et uniforme qui se comporte partout d’une manière régulière. Dans le voisinage d’un point aν0a_{\nu_{0}} qui appartient à l’ensemble PPP-P^{\prime} vous pouvez toujours mettre

F(x)=G(1xaν0)+gν0(xaν0)+(xaν0)mν0(c0+c1(xaν)+).F\left(x\right)=G\left({\frac{1}{{x-a_{\nu_{0}}}}}\right)+g_{\nu_{0}}\left({x-% a_{\nu_{0}}}\right)+\left({x-a_{\nu_{0}}}\right)^{m_{\nu_{0}}}\left({c_{0}+c_{% 1}\left({x-a_{\nu}}\right)+\cdots}\right).

Si nous supprimons dans la série

ν=1Fν()\sum\limits_{\nu=1}^{\infty}{F_{\nu}(\cdot)}

tous les termes qui répondent aux points fermant l’ensemble

PP(α)P-P^{\left(\alpha\right)}

α\alpha est un nombre entier ou un symbole d’infini précédent α¯\bar{\alpha} vous obtenez encore une fonction uniforme et monogène qui se comporte d’une manière régulière partout en dedans de

A+PP(α)A+P-P^{\left(\alpha\right)}

et qui peut se mettre sous la forme

Gνα(1xaνα)+gνα(xaνα)+(xaνα)mνα(c0+c1(xaνα)+)G_{\nu_{\alpha}}\left({\frac{1}{{x-a_{\nu_{\alpha}}}}}\right)+g_{\nu_{\alpha}}% \left({x-a_{\nu_{\alpha}}}\right)+\left({x-a_{\nu_{\alpha}}}\right)^{m_{\nu_{% \alpha}}}\left({c_{0}+c_{1}\left({x-a_{\nu_{\alpha}}}\right)+\cdots}\right)

dans le voisinage d’un point aναa_{\nu_{\alpha}} appartenant à

P(α)P(α+1)P^{\left(\alpha\right)}-P^{\left({\alpha+1}\right)}

Chaque fonction uniforme et monogène dont les points singuliers forment un tel ensemble P dont je vous ai parlé peut aussi toujours être mise sous la forme

F(x)=νFν(x).F(x)=\sum\nolimits_{\nu}{F_{\nu}(x)}.

J’obtiens plusieurs autres théorèmes dans le même genre.66endnote: 6 Mittag-Leffler reprend ici pour l’essentiel le contenu de la note aux Comptes rendus du 3 avril 1882 (1882). Voir (§ 1-1-13).

Ma femme me prie de présenter ses hommages à Madame Poincaré et je vous prie d’agréer vous-même, mon cher ami, l’expression du profond dévouement et de l’admiration sincère de votre ami reconnaissant.

G. Mittag-Leffler

ALS 4p. Mittag-Leffler Archives, Djursholm.

Time-stamp: " 3.07.2022 09:40"

Notes

  • 1 Poincaré 1884, 1916, 300–401.
  • 2 Il s’agit des corrections des mémoires précédents; voir (§§ 1-1-32, 1-1-33).
  • 3 Mittag-Leffler 1884.
  • 4 [quelconque] rayé.
  • 5 Autrement dit, un ensemble discret.
  • 6 Mittag-Leffler reprend ici pour l’essentiel le contenu de la note aux Comptes rendus du 3 avril 1882 (1882). Voir (§ 1-1-13).

Références

  • G. Mittag-Leffler (1882) Sur la théorie des fonctions uniformes d’une variable . Comptes rendus hebdomadaires des séances de l’Académie des sciences de Paris 94, pp. 938–1165. link1 Cited by: endnote 6.
  • G. Mittag-Leffler (1884) Sur la représentation analytique des fonctions monogènes uniformes d’une variable indépendante. Acta Mathematica 4, pp. 1–79. link1 Cited by: endnote 3.
  • N. E. Nörlund and E. Lebon (Eds.) (1916) Œuvres d’Henri Poincaré, Volume 2. Gauthier-Villars, Paris. link1 Cited by: endnote 1.
  • H. Poincaré (1884) Sur les groupes des équations linéaires. Acta mathematica 4, pp. 201–311. link1 Cited by: endnote 1.