‹ Œuvres de Henri Poincaré : (volume 3)Chapitre 83 sur 119 · BLÈME · texte numérisé non relu

BLÈME

Posons

ensuite

dS„ dr\

:rfS,

dy,

dS.

dSo dy.

:dS,

dy.

dS.

''dy..

ilZLl^c £

■dS

'If-i.

dr. '

T) sera une fonction di'j,, de y -2 et de pt. définie par l'équation

Il est aisé de voir que Ço est entièrement déterminé, puisque nous connaissons maintenant complètement So, S,, . . ., Sp). On pourra donc tirer yj de l'équation (lo) sous la forme suivante :

■n = 'lo + i^" -^i -I- iJ-m + • ■ • ,

les Yji étant des fonctions périodiques de /i et de j'a, de période 27: par rapport à )'i et 47^ par rapport à yn.

De plus on aura

dy-i d}x ' dy.

Nous n'avons besoin que de rio ', or on voit tout de suite que yji, est donnée par l'équation suivante :

(11) /ii-rio= 2 AS/,i-f- K;,,

qui ne diffère de l'équation (5) que parce que l'inconnue y est désignée par r)o. Celte équation montre que rj,, est une fonction périodique de >i ; il faut chercher la valeur moyenne de cette fonction. Si l'on se reporte à la signification de l'équalion (9), on verra qu'elle exprime que la partie moyenne du

second membre de ( 1 1) est a cos — '• On a donc

[•lo] = — COS — • «1 2

Ço est susceptible de deux valeurs difî'érenles qui se permutent l'une dans

l'autre, soit quand on change y p. en — y/'pî, soit quand on change j'o en y-2-\- 2t:.

J'appellerai o.j la plus grande des deux valeurs de Ç-. et J^^ la plus petite.

De même Ç, est susceptible de deux valeurs; j'appellerai cfi celle qui correspond à cp3 et ■il, celle qui correspond à '^lo-

Enfin 7} est susceptible de deux valeurs; j'appellerai r/ celle qui correspond à 92 et r," celle qui correspond à ij;.;; 'Oi est susceptible de deux valeurs que j'appellerai de même r/, et ri" .

La fouclion cp^ est piViodique de période -ir. par rapport À yr, en eilet, quand on augmente yo de 2 7r, les deux valeurs de Ç- se permutent entre elles; donc 9^ qui est toujours égale à la plus grande de ces deux valeurs ne change pas.

Pour la même raison, cpi, tj;!; 'j'^j ''/» '''') '"'i i "'i, seront des fonctions de période iT. par rapport à y.,.

Des définitions précédentes, il résulte que 91, 92, '|i et <]i-j. sont des fonctions continues, quoique les dérivées de ces fonctions, de même que r/ et rj", puissent être discontinues.

Nous sommes donc dans les conditions où notre Icmme est applicable et nous pourrons écrire

ou encore

-, dy\ dy « = o,

dv«

OU enfin

Cette relation devra avoir lieu quel que soit y..

Mais quand p. tend vers zéro, ri' — ■/)'„ et r" — r/,', tendent vers zéro.

Donc on aura

(12) // T- '■/rirt')2=o

pour

Transformons le premier membre de l'égalité (12). Je remarque d'abord que/; étant impair, r;„ est une fonction qui doit se changer en — r;o quand yn se change en y.j-\-2n. Il suffit pour s'en convaincre de se reporter à l'équation (i i). Nous avons donc

■n'o = — •iô = ±^o,

Il reste à voir pour quelles valeurs des y nous devons faire r/„ =^ + 00 et pour quelles valeurs des^j' nous devons faire r;', ^ — r),,. Si nous avons

dSi dSr. „dS-, df2 dy^ ^ dy^

dy-i

nous devrons prendre, d'après notre couvenlion : et

, r/So /-f/S, r/S.. ,-r/Sn V '/S„,

dy., (/v. dyi dyt ' f/y«

Si au contraire le premier membre de l'inégalilé (i3) est nég^ilif, nous devrons prendre

dy-, dy-, ' dfi

et

, ^/S„ ,-dS, V'/S,,,

rf) o dy-, dyi

Tout déjieud donc du signe de premier membre de l'inégalité ( i3). Égalons ce premier membre à zéro, nous obtiendrons une équation

dy-, dy^

Cette équation peut être regardée comme définissant j-j en fonction de j', et de fi.

On pourra résoudre cette équation et écrire

Observons seulement que 0 est une fonction ))ériodique de période n7r par rapport à^) et que celte fonction 0 s'annule identiquement quand on y fait |jl = n. Par conséquent quand yj variera de 0 à 0 + 2 7r, on aura

■'"l'o = -*- 'Oo

et quand y-, variera de 0 + 2 7t à 0 + /(Tr- on aura

Nos intégrales doivent être étendues à toutes les valeurs de y-i comprises entre zéro et 'it.. Mais comme r/f, est une fonction de période 27:, on aura

ou

Quand ;j. leiidra vers zéro, le premier membre devra tendre vers zéro el d'ailleurs 0 tendra vers zéro, on aura donc

■ dy, d'où

On a donc

Il résulte de là que si l'on annule les constantes >:/, d'indice impair et si l'on

donne des valeurs convenables aux consLantes 1.,, d'indice pair, les fonctions

d'il, d%„ f. .

-r-^ et -H- resteront unies.

dy\ dy«

On pourra donc les développer suivant les sinus et cosinus des multiples de

yi et de—; les multiples pairs de — entreront seuls dans le développement si p

est pair; si au contraire p est impair, les multiples impairs de — entreront seuls.

Nous aurons alors pour les équations approximatives de la surface asjmpto tique

Ces séries ainsi que nous l'avons vu sont divergentes, mais si l'on arrête comme nous le faisons dans les équations (i5) au «'*""' terme, l'erreur commise peut être très petite si \i. est très petit, ainsi que je l'ai exposé plus haut.

Nous avons vu que la quantité appelée plus haut a est toujours nulle. On peut donner de ce fiit essentiel une autre démonstration.

Posons

T = Si+ [xSaH- fJt.-Ss-4-. . .-f- [Jt - S/,2, E = Oo + W^'. + |Ji- -^i +

Je dis d'abord que T est une fonction périodique de j', et j'..,.

En clTel ses dérivées -; — el -; — sont des fonctions périodiques; on a donc

(3 et Y étant des constantes et T' étant une fonction périodique de j'i et j'o.

On en conclut (|ue

-r— et -; — élanl des séries iriffonomélriques dont le terme tout connu est nul.

Mais les fonctions Si, S.-,, . . . , Sp.., étant d'indice impair, leurs dérivées

changent de signe quand on change )•:; eny-,-{- 2 7r. Donc n — et -r— changent

de signe quand } :.. augmente de 2n. Donc les termes tout connus (3 et y sont nuls. Donc T = T' est une fonction périodique qui ne change pas quand y^ augmente de 271 et qui change de signe quand y-^ augmente de 2Tt. Gela posé, nous savons que Çi et Çj sont liées par l'équation

Il en résulte que, si les deux valeurs de 'Ç-, se confondent, les deux valeurs de Ç) se confondent également.

Ecrivons que les deux valeurs de ?•> se confondent, il vient

Celte équation (16) est d'ailleurs identique à l'équation (i4)- Ecrivons maintenant que les deux valeurs de Çi se confondent, il viendra

Les équations (16) et ( 17) devront être équivalentes. De plus elles devront être équivalentes à la suivante :

0 ajanl le même sens que plus haut. Supposons qu'on développe 0 suivant les puissances croissantes de ;a, il viendra

(18) J-2= |jiO, + |jlMJ,+ |ji3 0:.H-...,

'Ji, 'i-i, '^M ■ ■ ■ étant des fonctions périodiques de ji.

Supposons y 2 lié à ji par l'équation (18); quand ti augmentera de 2jt, jKj ne changera pas et T qui est périodique ne changera pas non plus; on aura donc

r''~'' ^ r''' I dT , d't , \

rfT dV

OU en remplaçant —, — et — par leurs valeurs tirées des équations ( 1 6 ) e( ( i 7

— v-'f ç <>'> = "• Si dans

ç = T.o + ;i'rr2 -H (.t- 'Il -I- ... ,

on remplace r-j par sa valeur ( (8), il viendra

? = Ç„-f-uE 1-1- ;j- 1-2-1-

^Oï ;i) $:i) etc. étant des fonctions périodiques de j'i. On devra avoir quel que soit p. :

et par conséquent

Il est clair que pour obtenir ^oj il suffit de faire J>'j= o dans rjo, or on a

Il vient donc

= 0 ou 2=0, C. Q. F. D.

Page 1