Poincaré à Mittag-Leffler

Caen, le 29 juin 1881

^{1}

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

constante.

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

Soit

u_{1} (1 - u_{1} - u_{2} - u_{2} u_{3}) \frac{dz}{{du}_{1}} + λ_{2} u_{2} \frac{dz}{{du}_{2}} + λ_{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 :

\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}}};

D_{3} U = \frac{d^{m_{3}} U}{{du}^{m_{3}}}; D = D_{1} D_{2} D_{3} z .

Je différencie d'abord

m_{2}

fois par rapport à

u_{2}

il vient :

\begin{matrix} u_{1} (1 - u_{1} - u_{2} - u_{2} u_{3}) D_{2} p_{1} + λ_{2} u_{2} D_{2} p_{2} + λ_{3} u_{3} D_{2} p_{3} - m_{2} u_{1} (1 + u_{3}) \frac{d^{m_{2} - 1} p_{1}}{{du}_{2}^{m_{2} - 1}} + m_{2} λ_{2} D_{2} z = D_{2} z \end{matrix}

Je fais

u_{2} = 0

et je différentie

m_{1}

fois par rapport à

u_{1}

, il vient :

u_{1} (1 - u_{1}) D_{1} D_{2} p_{1} + [m_{1} (1 - u_{1}) - m_{1} u_{1}] D_{1} D_{2} z + λ_{3} u_{3} D_{1} D_{2} p_{3} - m_{2} u_{1} (1 + u_{3}) D_{1} \frac{d^{m_{2} - 1} p_{1}}{{du}_{2}^{m_{2} - 1}}

- m_{1} m_{2} (1 + u_{3}) D_{1} \frac{d^{m_{2} - 1} z}{{du}_{2}^{m_{2} - 1}} + m_{2} λ_{2} D_{1} D_{2} z - m_{1} (m_{1} - 1) D_{2} \frac{d^{m_{1} - 1} z}{{du}_{1}^{m_{1} - 1}} = D_{1} D_{2} z

Je fais

u_{1} = 0

m_{1} D_{1} D_{2} z + λ_{3} u_{3} D_{1} D_{2} p_{3} - m_{1} m_{2} (1 + u_{3}) D_{1} \frac{d^{m_{2} - 1} z}{{du}_{2}^{m_{2} - 1}} + m_{2} λ_{2} D_{1} D_{2} z

= D_{1} D_{2} z + m_{1} (m_{1} - 1) 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 :

(m_{1} + λ_{2} m_{2} - 1) Dz + λ_{3} u_{3} {Dp}_{3} - m_{1} m_{2} (1 + u_{3}) D_{1} D_{3} \frac{d^{m_{2} - 1} z}{{du}_{2}^{m_{2} - 1}}

+ m_{3} λ_{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} (m_{1} - 1) D_{2} D_{3} \frac{d^{m_{1} - 1} z}{{du}_{1}^{m_{1} - 1}}

/ J'appelle :

\frac{(m_{1}, m_{2}, m_{3})}{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{matrix} (m_{1}, m_{2}, m_{3}) (m_{1} + m_{2} λ_{2} + m_{3} λ_{3} - 1) = m_{1} m_{2} (m_{1}, m_{2} - 1, m_{3}) + m_{1} m_{2} m_{3} (m_{1}, m_{2} - 1, m_{3} - 1) + m_{1} (m_{1} - 1) (m_{1} - 1, m_{2}, m_{3}) \end{matrix}

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 :

(1, 1, 0) (1 + λ_{2} - 1) = 1

Soit

m_{1} = 1, m_{2} = 1, m_{3} = 1

; on a :

(1, 1, 1) (λ_{2} + λ_{3}) = (1, 0, 1) + (1, 0, 0)

(1, 0, 1) λ_{3} = 0 (1, 1, 1) = \frac{1}{λ_{2} + λ_{3}}

(1, 2, 1) (2 λ_{2} + λ_{3}) = 2 (1, 1, 1) + 2 (1, 1, 0)

(1, 2, 1) = \frac{1}{(λ_{2} + λ_{3}) (2 λ_{2} + λ_{3})} + \frac{2}{λ_{2} (2 λ_{2} + λ_{3})}

(2, 0, 0) = 2 (1, 0, 0) = 2

(2, 1, 0) (1 + λ_{2}) = 2 (1, 0, 0) + 2 (1, 1, 0) = 4 + \frac{1}{1 + λ_{2} - 1}

etc.

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

Poincaré

ALS 4p. Mittag-Leffler Archives, Djursholm.

Notes:

^{1}

[IML Poincaré 3] Caen-30 juin - Dalarö-2 juillet. Cette lettre a été publiée en partie dans les Acta mathematica 38, p. 149-151.

^{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, p. 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 la mittag-leffler2 est analogue à celle étudiée à la fin de son article sur les fonctions à espace lacunaire. 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}} + \dots + u_{n} F_{n} \frac{dz}{{du}_{n}} = z

où

F_{1}, F_{2}, \dots, 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 - α_{1}, x - α_{2}, \dots, x - α_{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

α_{1}, α_{2}, \dots, α_{n}

, il existe une intégrale de l'équation qui est holomorphe en

u_{1}, u_{2}, \dots, 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. [Poincaré 1881b]

Dans la version définitive de son article, Poincaré suppose que les fonctions

F_{1}, F_{2}, \dots, F_{n}

«se réduisent respectivement à

1, \frac{x - α_{2}}{x - α_{1}}, \dots, \frac{x - α_{n}}{x - α_{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

α_{i}

, autrement dit que l'origine 0 n'appartient pas au polygone convexe déterminé par les

x - α_{i}

.
Dans l'exemple proposé par Poincaré dans la mittag-leffler2, 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 - α_{2}, \dots, x - α_{n}

(voir le croquis de la mittag-leffler8). 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.

Archives Henri Poincaré (CNRS, UMR 7117)