2-10-1. H. Poincaré to Joseph Boussinesq

[Ca. 02.1882]

Monsieur et cher collègue,

La lecture de votre note m’a vivement intéressé, car vous avez contribué par le théorème que vous énoncez à éclaircir un des points les plus obscures du calcul intégral. Est-ce à dire que vous ayez dit le dernier mot et que cette question n’ait pas besoin d’être encore approfondie davantage et que votre théorème ne puisse être précisé ? Je ne le crois pas et sans doute vous ne le croyez pas non plus. Voici quelques points sur lesquels je vous demanderai la permission d’appeler votre attention.

Prenons d’abord la définition des intégrales asymptotes; nous allons voir surgir certaines difficultés. Vous prenez l’équation :

$$\frac{dx}{dt}=f(x,t)$$

dont l’int. gén. est $\phi (x,t)=C$. Qu’est-ce qu’une intégrale asympt. Pour une valeur de $t$ et pour les valeurs plus grandes, $x$ diffère aussi peu que l’on veut pour une inf. d’intégr. pour des valeurs de $C$ qui ne sont pas d’ailleurs infiniment voisines les unes des autres.

Ainsi si $AB$ est une intégrale asymptote, les autres intégrales $A^{\prime }{B}^{\prime }$, $A^{\prime \prime }{B}^{\prime \prime }$ se rapprochent asymptotiquement de $AB$ quand $t$ tend vers l’infini. Mais alors $A^{\prime }{B}^{\prime }$ et $A^{\prime \prime }{B}^{\prime \prime }$ se rapprochent asympt. l’une de l’autre. $A^{\prime }{B}^{\prime }$ rentrerait donc dans la définition des int. asympt.

A ce compte toutes les intégrales seraient asymptotes. Ainsi si on a les courbes

$$xy=\text{const.}$$

Toutes les hyperboles qu’elles représentent sont asymptotes les unes aux autres. Les véritables intégrales asymptotes n’ont-elles donc pas une propriété qui les définisse ? Évidemment oui; mais il faudrait la trouver. Ainsi dans certains cas, les vraies int. asympt. seront des courbes fermées; dans d’autres ce seront celles qui iront passer par certains points singuliers, etc. Cette incertitude dans la définition sera difficile à lever. Nous savons bien l’un et l’autre ce que nous entendons par intégr. asympt. mais il nous serait difficile de le dire. Cette incertitude se reflète dans la règle que vous donnez et que vos recherches ultérieures vous amèneront sans doute à préciser davantage.

Mettons l’éq. sous la forme générale

$$\frac{dx}{X}=\frac{dy}{Y}\mathit{\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}}\text{intégr. génér.}f(x,y)=C,$$

le facteur d’intégr. $z$ est donné par l’équation

$$X\frac{dz}{dx}+Y\frac{dz}{dy}+z\left(\frac{dX}{dx}+\frac{dY}{dy}\right)=0.$$ (1)

Mais cette équation a une infinité d’intégrales comprises dans la formule

$$z\mathrm{\Phi }(f)$$ (2)

$\mathrm{\Phi }$ étant une fonction arbitraire de $f(x,y)$.

Soit

$$\mathrm{\Phi }=\frac{1}{f(x,y)-\alpha }\mathit{\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}}(\alpha \text{étant quelconque})$$

En égalant (2) à l’infini, on trouvera $f(x,y)=\alpha$. C’est-à-dire une intégrale quelconque. Aussi quand on cherche les intégr. asympt. (les véritables) n’est-il pas indifférent de choisir telle ou telle des intégrales de l’équation (1). Voici comment je faisais dans les exemples dont vous avez bien voulu parler dans votre note :
Je suppose que $X$ et $Y$ soient entiers en $x$ et $y$ et que pour

$$x=y=0$$

on ait

$$X=Y=0.$$

J’ai démontré que l’équation (1) admet une intégrale qui se développe suivant les puissances croissantes de $x$ et de $y$ quand ces variables sont assez petites, et qu’elle n’en admet qu’une. C’est cette intégrale que j’égalais à l’infini pour obtenir les int. asympt. ou plutôt l’une d’entre elles.

Laissez-moi vous dire de nouveau combien votre note m’a intéressé et combien ce problème dont vous avez commencé la solution me paraît difficile et important.

Veuillez agréer, Monsieur et Cher Collègue, l’assurance de ma haute estime et de mes sentiments dévoués,

Poincaré

ALS 4p. MS 4229, 256, Bibliothèque de l’Institut de France. Transcrite par Dugac (1986, 83–85).

Time-stamp: "31.07.2014 23:33"