LettreHenri Poincaré à Gösta Mittag-Leffler - 29 juin 1881

Caen, le 29 juin 18811

Cher Monsieur,

Je vous remercie infiniment de votre excellente lettre et de votre photographie qui m’a fait le plus grand plaisir. Je vous envoie la mienne,2 avec empressement, car la demande que vous m’en faites me flatte et m’honore extrêmement, en même temps qu’elle me cause une grande joie en me montrant que vous avez quelque sympathie pour moi.

Je n’irai probablement pas en Suède d’ici à quelque temps, mes occupations ne me le permettront pas ; et je le regrette beaucoup, car outre le plaisir que j’aurais à vous y voir, j’ai conservé les meilleurs souvenirs d’un voyage que j’ai fait dans votre patrie en 1878.3

Je vous félicite en tout cas de votre nouvelle situation à Stockholm ; j’ai trouvé cette ville extrêmement agréable, et si elle l’est pour un étranger, elle doit l’être bien davantage encore pour un Suédois. Si vous avez l’occasion d’y rencontrer des amis que j’y ai laissés, M. Mathis et M. Thiébaut, chancelier de la Légation de France, soyez assez bon pour leur faire mes amitiés et même vous recommander de moi auprès d’eux si vous le jugez convenable.

Je suis vraiment confus de toutes les choses flatteuses que vous me dites dans votre lettre et que je sens imméritées.

Il y a en effet une erreur dans l’exemple que je vous ai envoyé.4 La seule intégrale holomorphe de l’équation serait évidemment : \(z = u_1 \times \text{constante}\).

Je vais prendre un exemple différent et faire tout le calcul pour éviter toute erreur nouvelle.

Soit \[u_1 \left( {1 - u_1 - u_2 - u_2 u_3 } \right)\frac{{dz}} {{du_1 }} + \lambda _2 u_2 \frac{{dz}} {{du_2 }} + \lambda _3 u_3 \frac{{dz}} {{du_3 }} = z\]

S’il y a une intégrale holomorphe, on obtiendra le coefficient de \(u_1^{m_1 } u_2^{m_2 } u_3^{m_3 }\) en différentiant \(m_1\) fois par rapport à \(u_1\), \(m_2\) fois par rapport à \(u_2\), puis \(m_3\) fois par rapport à \(u_3\) et faisant : \[u_1 = u_2 = u_3 = 0.\]5

Je pose pour abréger : \[\begin{array}{ccccc} \frac{dz}{du_1} = p_1,& \frac{dz}{du_2} = p_2,& \frac{dz}{du_3} = p_3;& D_1 U = \frac{d^{m_1}U}{du^{m_1 }};& D_2 U = \frac{d^{m_2}U}{du^{m_2 }}; \end{array}\]

\[\begin{array}{cc} D_3 U = \frac{d^{m_3}U}{du^{m_3 }};& D = D_1 D_2 D_3 z. \end{array}\]

Je différencie d’abord \(m_2\) fois par rapport à \(u_2\) il vient : \[\begin{gathered} u_1 \left( {1 - u_1 - u_2 - u_2 u_3 } \right)D_2 p_1 + \lambda_2 u_2 D_2 p_2 + \lambda _3 u_3 D_2 p_3\\ - m_2 u_1 \left( {1 + u_3 } \right)\frac{{d^{m_2 - 1} p_1 }}{{du_2^{m_2 - 1} }} + m_2 \lambda _2 D_2 z = D_2 z\end{gathered}\]

Je fais \(u_2 = 0\) et je différentie \(m_1\) fois par rapport à \(u_1\), il vient : \[\begin{gathered} u_1 \left( {1 - u_1 } \right)D_1 D_2 p_1 + \left[ {m_1 \left( {1 - u_1 } \right) - m_1 u_1 } \right]D_1 D_2 z\\ + \lambda _3 u_3 D_1 D_2 p_3 - m_2 u_1 \left( {1 + u_3 } \right)D_1 \frac{{d^{m_2 - 1} p_1 }} {{du_2^{m_2 - 1} }}\\ - m_1 m_2 \left( {1 + u_3 } \right)D_1 \frac{{d^{m_2 - 1} z}}{{du_2^{m_2 - 1} }} + m_2 \lambda _2 D_1 D_2 z - m_1 \left( {m_1 - 1} \right)D_2 \frac{{d^{m_1 - 1} z}}{{du_1^{m_1 - 1} }} = D_1 D_2 z\end{gathered}\]

Je fais \(u_1 = 0\) \[m_1 D_1 D_2 z + \lambda _3 u_3 D_1 D_2 p_3 - m_1 m_2 \left( {1 + u_3 } \right)D_1 \frac{{d^{m_2 - 1} z}} {{du_2^{m_2 - 1} }} + m_2 \lambda _2 D_1 D_2 z\]

\[= D_1 D_2 z + m_1 \left( {m_1 - 1} \right)D_2 \frac{{d^{m_1 - 1} z}} {{du_1^{m_1 - 1} }}\]

Je différentie \(m_3\) fois par rapport à \(u_3\) ; il vient : \[\left( {m_1 + \lambda _2 m_2 - 1} \right)Dz + \lambda _3 u_3 Dp_3 - m_1 m_2 \left( {1 + u_3 } \right)D_1 D_3 \frac{{d^{m_2 - 1} z}} {{du_2^{m_2 - 1} }}\]

\[+ m_3 \lambda _3 Dz - m_1 m_2 m_3 D_1 \frac{{d^{m_3 - 1} d^{m_2 - 1} z}} {{du_3^{m_3 - 1} du_2^{m_2 - 1} }} = m_1 \left( {m_1 - 1} \right)D_2 D_3 \frac{{d^{m_1 - 1} z}} {{du_1^{m_1 - 1} }}\]

J’appelle : \[\frac{{\left( {m_1 ,\;m_2 ,\;m_3 } \right)}} {{m_1 !m_2 !m_3 !}}\] le coefficient de \[u_1^{m_1 } u_2^{m_2 } u_3^{m_3 }.\]

L’équation précédente me donne : \[\begin{gathered} \left( {m_1 ,\;m_2 ,\;m_3 } \right)\left( {m_1 + m_2 \lambda _2 + m_3 \lambda _3 - 1} \right) = m_1 m_2 \left( {m_1 ,\;m_2 - 1,\;m_3 } \right)\\ + m_1 m_2 m_3 \left( {m_1 ,\;m_2 - 1,\;m_3 - 1} \right) + m_1 \left( {m_1 - 1} \right)\left( {m_1 - 1,\;m_2 ,\;m_3 } \right)\end{gathered}\]

Cette équation montre comment on pourra calculer les coefficients de proche en proche.6 Soit d’abord \(m_1 = 1, m_2 = m_3 = 0\); l’équation est indéterminée ; on peut prendre un coefficient quelconque, prenons 1 ; soit maintenant \(m_1 = 1,\;m_2 = 1,\;m_3 = 0\), l’équation devient : \[\left( {1,\;1,\;0} \right)\left( {1 + \lambda _2 - 1} \right) = 1\]

Soit \(m_1 = 1,\;m_2 = 1,\;m_3 = 1\); on a : \[\left( {1,\;1,\;1} \right)\left( {\lambda _2 + \lambda _3 } \right) = \left( {1,\;0,\;1} \right) + \left( {1,\;0,\;0} \right)\]

\[\begin{matrix} (1,0,1)\lambda_3 = 0&\qquad \displaystyle (1,1,1) = \frac{1}{\lambda_2 + \lambda_3} \end{matrix}\]

\[\left( {1,\;2,\;1} \right)\left( {2\lambda _2 + \lambda _3 } \right) = 2\left( {1,\;1,\;1} \right) + 2\left( {1,\;1,\;0} \right)\]

\[\left( {1,\;2,\;1} \right) = \frac{1} {{\left( {\lambda _2 + \lambda _3 } \right)\left( {2\lambda _2 + \lambda _3 } \right)}} + \frac{2} {{\lambda _2 \left( {2\lambda _2 + \lambda _3 } \right)}}\]

\[\left( {2,\;0,\;0} \right) = 2\left( {1,\;0,\;0} \right) = 2\]

\[\left( {2,\;1,\;0} \right)\left( {1 + \lambda _2 } \right) = 2\left( {1,\;0,\;0} \right) + 2\left( {1,\;1,\;0} \right) = 4 + \frac{1}{1 + \lambda_2 - 1}\]

etc.

Veuillez agréer, cher Monsieur, l’expression de ma respectueuse considération.

Poincaré


Apparat critique

  1. Caen-30 juin — Dalarö-2 juillet.

  2. Les enveloppes et les lettres de Poincaré ont été malencontreusement séparées à l’Institut Mittag-Leffler. On trouve dans le dossier Poincaré de l’Institut, une photographie de Poincaré âgé de 30 ans environ, signée Waléry (Paris).

  3. Dans le cadre de ses études à l’Ecole des Mines, Poincaré a fait en 1878, un voyage en Scandinavie :

    L’Ecole des Mines offrait à ses élèves l’occasion de missions à l’étranger. Pendant l’été 1877, Poincaré fit un voyage d’études en Autriche-Hongrie et remit deux mémoires, […], mémoires perdus comme ceux faits l’année suivante en Norvège. Bellivier (1956, 181)

    Le journal de voyage en Norvège et Suède en 1878 rédigé par Poincaré et Bonnefoy se trouve en fait aux archives de l’Ecole des mines de Paris (J 1878, 611). On peut y lire que leur voyage d’étude a duré 102 jours et que son itinéraire les conduisit à travers toute la Norvège et la Suède. On trouve aussi dans les mêmes archives les mémoires plus spécifiquement techniques que les élèves doivent rendre à l’issue de leur voyage d’étude. Le premier (M 1878, 989) s’intitule Sur la préparation mécanique et le traitement métallurgique des minerais d’argent à Konsberg (Norvège) et le second (M 1878, 990) Mémoire sur les sites de Pyrite de la Norvège.

  4. L’équation proposée par Poincaré dans sa lettre à Mittag-Leffler (lettre 2) est analogue à celle étudiée à la fin de son article sur les fonctions à espace lacunaire Poincaré (1883). Dans le manuscrit original de son article, Poincaré propose d’étudier l’équation aux dérivées partielles \[u_1 F_1 \frac{{dz}} {{du_1 }} + u_2 F_2 \frac{{dz}} {{du_2 }} + \ldots + u_n F_n \frac{{dz}} {{du_n }} = z\]\[F_1 ,\,F_2 ,\, \ldots \,,\,F_n\] sont des fonctions des \(n\) variables \(u_i\) et du paramètre \(x\), holomorphes au voisinage de 0 pour tout \(x\). Poincaré suppose de plus que ces fonctions “se réduisent respectivement à \[x - \alpha _1 ,\,x - \alpha _2 ,\, \ldots \,,\,x - \alpha _n\] quand on y annule tous les \(u\)”.

    En reprenant un résultat de sa thèse, Poincaré montre que sous certaines conditions qui s’expriment géométriquement, la solution de cette équation vue comme une fonction du paramètre \(x\) est une fonction à espace lacunaire.

    […], j’ai démontré que si le point \(x\) est extérieur au polygone convexe P circonscrit aux \(n\) points \[\alpha _1 ,\,\alpha _2 ,\, \ldots \,,\,\alpha _n,\] il existe une intégrale de l’équation qui est holomorphe en \[u_1 ,\,u_2 ,\, \ldots \,,\,u_n\] pourvu que les modules de ces variables soient assez petits.

    Les coefficients de cette série sont des fonctions rationnelles de \(x\), si on donne aux \(u\) des valeurs de module suffisamment petit et qu’on les considère comme des constantes, la somme de la série est une fonction de \(x\), et l’on peut voir […] qu’elle présente […] un espace lacunaire. (Version préliminaire de l’article Sur les fonctions à espaces lacunaires, conservée à l’Institut Mittag-Leffler.)

    Dans la version définitive de son article, Poincaré suppose que les fonctions \(F_1 ,\,F_2 ,\, \ldots \,,\,F_n\) “se réduisent respectivement à \[1, \frac{{x - \alpha _2 }} {{x - \alpha _1 }},\; \ldots \;, \frac{{x - \alpha _n }} {{x - \alpha _1 }}\] quand on y annule tous les \(u\)”. Les deux conditions sont équivalentes par simple changement de variables. L’existence de solutions holomorphes est conditionnée par le fait que \(x\) n’appartient pas à l’enveloppe convexe des \(\alpha_i\), autrement dit que l’origine 0 n’appartient pas au polygone convexe déterminé par les \(x - \alpha_i\).

    Dans l’exemple proposé par Poincaré dans sa lettre n°2), la fonction \(F_1\) est exactement égale à 1 et comme le reconnaît Poincaré, les seules intégrales holomorphes de l’équation différentielle sont les fonctions \(Cu_1\). En modifiant l’équation proposée par Poincaré de telle sorte que la fonction \(F_1\) est égale à 1 lorsque les variables \(u\) sont toutes nulles, l’existence de solutions holomorphes est alors conditionnée par le fait que l’origine 0 n’appartienne pas à l’enveloppe convexe de \(1\), \(x - \alpha_2\), …, \(x - \alpha_n\) (voir le croquis dans Poincaré à Mittag-Leffler, 01.08.1881, lettre n°8). Les exemples proposés par Poincaré dans cette lettre et les suivantes sont de ce type.

  5. Poincaré explique le calcul des coefficients du développement en série de Taylor de la solution de l’équation différentielle.

  6. Après avoir exprimé les coefficients de la série de Taylor de \(z\), Poincaré identifie terme à terme les coefficients de \(u_1^{m_1 } u_2^{m_2 } u_3^{m_3 }\) dans l’équation. Il obtient ainsi une relation de récurrence entre les coefficients.


Références

Bellivier, André. 1956. Henri Poincaré ou la vocation souveraine. Paris: Gallimard.

Poincaré, Henri. 1883. “Sur les fonctions à espaces lacunaires.” Acta Societatis Scientiarum Fennicae 12: 343–50.

Titre (dcterms:title)

Henri Poincaré à Gösta Mittag-Leffler - 29 juin 1881

Incipit (ahpo:incipit)

Je vous remercie infiniment de votre excellente lettre et de votre photographie...

Date (ahpo:writingDate)

1881-06-29

Expéditeur (ahpo:sentBy)

Destinataire (ahpo:sentTo)

Lieu (ahpo:writtenAt)

Sujet (dcterms:subject)

Équations aux dérivées partielles et espaces lacunaires  ;
Voyage d'étude de Poincaré en Scandinavie-1878

Chapitre (ahpo:publishedIn)

Lieu d’archivage (ahpo:archivedAt)

Type (ahpo:documentType)

(fr) Lettre autographe signée

Section (dans le livre) (ahpo:sectionNumber)

5

Nombre de pages (ahpo:numberOfPages)

4

Noms cités (ahpo:citeName)

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

Langue (ahpo:language)

fr

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

CHP 1:5

Éditeur (dcterms:publisher)

Licence (dcterms:license)

« Henri Poincaré à Gösta Mittag-Leffler - 29 Juin 1881 ». 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 7 July 2020, http://henripoincare.fr/s/correspondance/item/5834

Scan