GE

E désignant une fonction elliptique dépendant linéairement des constantes C|a) ...,Li;t, qui figurent dans la fonction elliptique IIu, et rationnellement des quantités !^a-f-6 = 6\ pa, p'a.

Les pôles de GE sont les points c^ d. . . , avec des ordres de multiplicité au plus égaux à y -^ /i, 3 -t- /i, . . . ; E peut admettre, en outre, le pôle simple — a, qui est un zéro de G. Le nombre total des pôles de E ne peut donc surpasser Y i- /i -j- ô -}- /i - - . . . -h I . Si donc nous exprimons que celle fonction a des zéros en nombre supérieur à ce chiffre, nous saurons qu'elle est identiquement nulle, et que j-^^^ e>l une intégrale.

Nous pourrons, par exemple, développer E suivant ks puissances croissantes de u, et égaler à zéro les coefficients des diverses puissances, jusqu'à celle d'ordre

tQUATIONS LINÉAIRES. 289

inclusivement. Les équations de condition ainsi obtenues forment un système surabondant; mais nous savons a priori qu'il a des solutions.

Ces équations sont linéaires et homogènes par rapport à (^J^., . . ., L|A, rationnelles par rapport à b\ pa, p'a. Ces dernières quantités seront donc déterminées par des équations algébriques, auxquelles on devra joindre Téquation connue

p'^a — ip^a — gtpa— g,.

Une fois pa^ p'aj b' déterminés, on en déduira, par les procédés connus, a, Ça, et enfin 6 =: 6' — Ça; enfin, les (]J^, . . ., L|A s'expriment en fonction linéaire et homogène •d'un ou plusieurs d'entre eux, qui resteront arbitraires.

Si Iç nombre total des solutions trouvées est égal à l'ordre n de l'équation, ce qui sera le cas le plus habituel, leur combinaison donnera l'intégrale générale; dans le cas contraire, il faudra déterminer de nouvelles intégrales.

228. Supposons que nous ayons construit toutes celles des intégrales ytk^ . . . , c//t, . . ., dont le premier indice est <[ X, et déterminé les fonctions linéaires correspondantes Y,;i, Yrt, • . . . Cherchons à déterminer les intégrales y\k (s'il en existe) et les fonctions correspondantes Y>a, Y)jfr.

On a

^x* = G{Hx*-+-2:Pl?H,,,), où tout est connu, sauf les coefficients indéterminés

Cx*', ...» Lxa>

dont dépend Hx;t, et les coefficients de Yx*, Y-^, dont les polynômes Px2* dépendent linéairement.

Substituons cette expression dans l'équation diff'érentielle. Le résultat sera de la forme GExa, Exa étant une fonction aisée à obtenir par la difi'érentiation et telle que la somme des ordres de multiplicité de ses pôles ne surpasse pas P4-/i + Y-l-^H-''--hi» D'ailleurs, cette fonction est elliptique. Eu efiet, changeons a en a + 2a>|. Il est évidera-

J. — Cours, III. 19

290 TROISIÈXB PARTIE. — CUAPITRB II.

ment indifierent de Taire cette opération sur j^jt avant de le substituer dans Téquation diflerenlielle ou de la faire dans le résultat de la substitution. Dans le premier cas, on change j^.^ en 5| {y\k -^ Yx*), et, comme Yxa est une fonction linéairf des intégrales déjà trouvées, le résultat de la substitution de cette nouvelle expression se réduira à s^ GExa- Donc GEx* se reproduit, multiplié par 5|, quand on change u en </ ~ 20)4; G jouissant de cette même propriété, Ex^t ne sera pas altéré. On verra de même qu'on ne Taltère pas en changeant u en

Il suffira donc, pour annuler Exa^ d'exprimer qu'elle adma plus de ^ — n--Y-i-/i-^.--t-i zéros. On obtient ainsi un système d^équations linéaires et homogènes pour déterminer les coefficients inconnus. Si ce système est compatible, on obtiendra des intégrales de l'espèce cherchée. Sinon, on sen assuré que la classe des intégrales v,a est entièrement épuisée, et l'on fera une recherche analogue sur les autres classes d'intégrales. On finira nécessairement par obtenir un système de n intégrales distinctes.

229. Parmi les équations qui rentrent dans le tvpe considéré ci-dessus se trouve l'équation de Lamé

où n est un entier positif.

L'intégration de cette équation par M. Hermite a été le point de départ de la théorie précédente.

Les intégrales n'ont aux périodes près qu'un point critique u = o, aux environs duquel elles sont régulières.

L'équation déterminante est

Ses deux racines, — /i et /i -{- 1 sont l'une paire et l'autre impaire. Soit r l'une d'elles ; on aura une solution de la forme

ÉQUATIONS UIfÉAIRES. QQl

Substituons ce développement de a:, ainsi que celui de pu

et égalons à zéro le coefficient du terme en u'^^^j nous aurons la formule récurrente

F( r -h 2 ji -h 2 )ajjt^., — Aa|A — /i (/i -h i) (Cj a|t, -h c,a,A-ï -h...) ~o,

dont l'application ne peut donner lieu à aucune difficulté, F(/--|- 2[x-i- 2) n'étant jamais nul.

Les deux intégrales particulières ainsi obtenues sont distinctes, car l'une est paire et l'autre impaire. L'intégrale générale résultant de leur combinaison sera uniforme et aura un pôle d'ordre n au point u = o.

Nous allons calculer cette intégrale dans le cas le plus simple, celui où n = i. Léquation se réduit à

Elle admet des intégrales périodiques de seconde espèce

La fonction H n'admet plus le pôle w = o, qui est déjà un pôle pour G, elle ne pourrait donc admettre que le seul pôle simple u = — a , mais cela est impossible ; elle se réduit donc à une constante et nous pouvons la supposer égale à l'unité.

Nous aurons donc au moins une intégrale de la forme

^ cr(w-f-a) .

•^ au

On

ff(M H-a)= aa-h ua'a-h-

QU m(H- û?, w*-4- . . .)

"lyA TROISlblE PABTIB. — CBAPITRB 11.

d'où le développement

V ^^. H Mo -r- M. M -r- M, «• -,- • . • ,

en posant, pour abréger,

M zrz aa, Mo=6Œa-hff'rt,

M, rrr ^ b^aa -h 6(j'a-4- -a'a, ....

fT-v 2M au- u^ (3n a enfin

2pu -\- h— —, -!- A -^ 2C, tt* H- . . .

Substituons ces valeurs dans l'équation.

Le résultat sera une fonction doublement périodique de seconde espèce qui ne peut avoir de pôle (aux périodes près que pour u ir= o. Si nous exprimons que les coefficients des puissances négatives de u et le terme constant s'annulent, la fonction, n'ayant plus de pôle, mais ayant un zéro, sera nulle.

On obtient ainsi les équations suivantes :

2 M — 2 M r= o, 2 Mo — o,

AM-r 2Mi = 0, 2M, — 2M, — /iMj^rziO,

qui se réduisent aux deux suivantes :

o -= Mo = b<5a -f- «j'a, o =3= AM -î- 2M1 T=ih<sa 4- ^- art -H 2 6 ci' a -h <r'a;

d'où

et

ou

<sa —

rj'^a