1-1-7. H. Poincaré to Gösta Mittag-Leffler

Paris, le 26 Juillet 1881

Mon cher ami,

Je vous remercie beaucoup de votre lettre et des preuves d’amitié que vous voulez bien me donner.

Je ne comprends pas bien ce que vous me dites au sujet de l’équation :

$$u_1{F}_1\frac{dz}{d{u}_1}+u_2{F}_2\frac{dz}{d{u}_2}+\mathrm{\dots }+u_n{F}_n\frac{dz}{d{u}_n}=z.$$

Vous dites que l’intégrale est

$$z=C.u_1$$

Cela ne serait exact que si $F_1$ était identiquement égal à 1. Or, ce n’est pas cela que j’ai supposé ; j’ai supposé seulement que $F_1$ se réduit à 1 quand on annule tous les $u$. Il est vrai que dans le premier exemple que je vous avais envoyé, par suite d’une erreur que je vous prie de me pardonner j’avais pris $F_1=$ identiquement 1. Il n’en était pas de même du second.

Si vous voulez bien, je vais prendre un autre exemple très simple, et calculer seulement les premiers termes de l’intégrale.

Je prends deux variables seulement $u_1$ et $u_2$ ; Soit :

$$u_1(1+u_2)\frac{dz}{d{u}_1}+u_2{\lambda }_2\frac{dz}{d{u}_2}=z.$$

Je pose :

et j’obtiens par la méthode des coefficients indéterminés

${\alpha }_1$ $={\alpha }_1,$ ${\lambda }_2{\alpha }_2$ $={\alpha }_2,$ $2{\beta }_1$ $={\beta }_1,$

${\beta }_2(1+{\lambda }_2)+{\alpha }_1$ $={\beta }_2,$ $2{\beta }_3{\lambda }_2$ $={\beta }_3,$ $3{\gamma }_1$ $={\gamma }_1,$

$2{\gamma }_2+2{\beta }_1+{\lambda }_2{\gamma }_2$ $={\gamma }_2$ ${\gamma }_3+{\beta }_2+2{\lambda }_2{\gamma }_3$ $={\gamma }_3,$ $3{\lambda }_2{\gamma }_4$ $={\gamma }_4,$

$4{\delta }_1$ $={\delta }_1,$ $3{\delta }_2+3{\gamma }_1+{\lambda }_2{\delta }_2$ $={\delta }_2,$ $2{\delta }_3+2{\gamma }_2+2{\lambda }_2{\delta }_3$ $={\delta }_3,$

${\delta }_4+{\gamma }_3+3{\lambda }_2{\delta }_4$ $={\delta }_4,$ $4{\lambda }_2{\delta }_5$ $={\delta }_5.$

d’où l’on tire, en supposant arbitrairement ${\alpha }_1=1$ ;

${\alpha }_2$ $=0$ ${\beta }_1$ $=0$ ${\beta }_2$ $=-{\displaystyle \frac{1}{{\lambda }_2}}$ ${\beta }_3$ $=0$ ${\gamma }_1$ $=0$ ${\gamma }_2$ $=0$

${\gamma }_3$ $={\displaystyle \frac{1}{2{\lambda }_2^2}}$ ${\gamma }_4$ $=0$ ${\delta }_1$ $=0$ ${\delta }_2$ $=0$ ${\delta }_3$ $=0$ ${\delta }_4$ $=-{\displaystyle \frac{1}{6{\lambda }_2^3}}$ ${\delta }_5$ $=0$

d’où:

$$z=u_1-\frac{u_1{u}_2}{{\lambda }_2}+\frac{u_1{u}_2^2}{2{\lambda }_2^2}-\frac{u_1{u}_2^3}{6{\lambda }_2^3}+\mathrm{\dots }.$$

On pourrait évidemment trouver l’intégrale de la façon suivante; posant $z=t{u}_1$ il vient :

$$t(1+u_2)+u_1(1+u_2)\frac{dt}{d{u}_1}+u_2{\lambda }_2\frac{dt}{d{u}_2}=t,$$

dont une intégrale s’obtient simplement en posant :

$$t+{\lambda }_2\frac{dt}{d{u}_2}=0,$$

d’où :

$$t=e^{-\frac{u_2}{{\lambda }_2}},$$

de sorte que l’intégrale holomorphe s’écrit :

$$z=u_1{e}^{-\frac{u_2}{{\lambda }_2}},$$

multiplié par une constante.

Dans cet exemple, en posant ensuite

$${\lambda }_2=x-{\alpha }_2$$

comme je le fais dans ma note, on n’aurait pas d’espace lacunaire. Cela n’arriverait que dans des cas plus compliqués. Mais ce qui précède suffira, je pense, pour vous faire comprendre comment il faudrait conduire le calcul dans tous les cas possibles.

Veuillez agréer, mon cher ami, l’expression de mon amitié sincère et de mon estime pour votre talent.

Poincaré

ALS 3p. IML 4, Mittag-Leffler Archives, Djursholm. Un extrait a été publié dans Acta mathematica 38, 152.

Time-stamp: "19.03.2015 01:53"