Cela posé, cherchons à déterminer les arbitraires rf
198 TROISIËXB PARTIR. — CDAPITRE II.
r/o, . • ., /i, de telle sorte que dans chacune des fonctions Yi, Y2, ... les coefficients D<, D'^, D^ des termes en j',, y\^ y\ disparaissent. Nous obtiendrons ainsi une série d'équations linéaires par rapport aux arbitraires rf, , ^2, -.•,//•
Supposons d'abord que ces équations soient compatibles. Assignons à û^«, rfa^ •••>/*' "^ système de valeurs qui satisfasse à ces équations.
Les fonctions Y|, Yo, ... ne dépendant plus que des variables j'2, . . . , Va, y., . . , r'/,, yi, . . . , y^, :;, , . . . , w/ en nombre < /i, celles de ces fonctions Y<, . . . , Y^, qui restent encore linéairement distinctes seront en nombre <^/i. D'ailleurs les fonctions suivantes Y„t^i^ . . . s'exprimant linéairement au moyen de celles-là, toutes les fonctions de ^ pourront se mettre sous la forme
et, comme elles sont transformées les unes dans les autres par toutes les substitutions de F, ce groupe ne sera pas primaire.
161. Supposons, au contraire, que les équations soient incompatibles. Quelle que soit l'intégrale Y, qui a servi de point de départ, le faisceau <ï>, déduit de ses transformées, contiendra une intégrale
où l'un au moins des trois coefficients D|, D'^, D^^ n'est pas nul. Il contiendra sa transformée par la substitution S; cette transformée, que nous désignerons par SY, est de la forme
SY-=zDia(j, -h/,)-h...-hE|a(5,-i-2j)-t-...4-F, ô(w,H- Wi)-^...
Le faisceau * contiendra encore la fonction
Y- i--(SY~^Y),
OÙ les coeflicients de ^Vm Tu J'* ^^^ l^s mêmes valeurs que dans Y, mais où le coeffîcicnt de r/| s^annule. 11 contiendra de même la fonction
où D|, D', , D^ ont encore conservé leurs valeurs primitives, mais où le terme en 1/2 disparaîtra.
Continuant ainsi, on voit que ^ contiendra une fonction de la forme
Z = D,7, 4- D; j; 4- D\y\ -h s, )'j -f- . . . 4- £, Cl -f- . . . H- c/5/,
d^où les u ont entièrement disparu.
Il contiendra encore la fonction
d'où Xi, J^i 1 v'j ^1 ont disparu. Il contiendra de même la fonction
Z'= ^SZ'-Z'z= D,7,4- D'ij; -h D;j; -H. . .4- £ix;3-t-. . ..
Continuant ainsi, on voit que ^ contient la fonction
Donc, quelle que soit Tintégrale initiale Yi, il existe dans le faisceau <ï>, dérivé de ses transformées, une intégrale cp de la forme plus simple
(II) ?==^/A-+^'/A-4-rfVA.
Prenons pour point de départ celte nouvelle intégrale et formons le faisceau ^' dérivé de ses transformées, lequel fait évidemment partie du faisceau 4>.
Les fonctions qu'il contient seront de la forme
I^iji + Dî/î 4- ... 4- D\y^ 4- . . . + FiUi,
aOO TROISlfcMB PABTIB. — CHAPITRE II.
OÙ les coefficients D|, • . ., F/ sonl linéaires et homogènes en rf, d\ cP. D^ailleurs, de toute fonction de celle forme contenue dans ^' on déduira, comme on vient de le voir, une fonction correspondante
également contenue dans ^'.
Formons successivement les diverses fonctions de cette dernière sorte qui sont contenues dans $', en supprimant à mesure qu'on les oblient toutes celles qui ne sont pas linéairement distinctes des précédentes, même lorsque r/, rl\ (F restent indéterminés. Il restera un nombre limité de fonctions
dont toutes les autres sont des combinaisons linéaires.
Soit Ça l'une quelconque de ces fonctions. Les coefficients Da, Da, Da seront de la forme
de telle sorte qu'on aura Q^ désignant la substitution
^a= y'k ^'7A+x;7;tH-x;j; y\ yyk-^Ayk-^^\fk
Les opérations o- satisfont à Téquation sj^mbolique oii Coy . • •, Cjji sont des constantes.
ÉQUATIONS LIHtAIlBS. 301
En eOet, puisque de Texistence de la fonction f dans le faisceau ^ on déduit l'existence dans ce même faisceau des transformées o-^q et o'^f, on déduira de Texistence de cette dernière fonction celle de la fonction ^oL^fif- Cette fonction, ne dépendant d'ailleurs que des variables J^a, ^iî^'l» sera de la forme
162. Cela posé, considérons le groupe y dérivé des substitutions o"o, . . ., (Tu. entre les trois variables j^*, y\^ r'^. H est clair que le faisceau résultant de la combinaison des fonctions o, 91, . . ., (ppb se confondra avec le faisceau déduit des transformées de ^ par les diverses substitutions de y.
Le groupe y contenant moins de variables que le groupe F primitivement considéré, nous pouvons évidemment supposer que nous sachions reconnaître s'il est ou non primaire.
1** Si Y n*est pas primaire, nous pouvons assigner aux coefficients rf, rf', cP de la fonction ç un système de valeurs tel que le nombre des fonctions ç, 0|. . . ., ^^ qui restent encore distinctes dans cette hypothèse soit moindre que celui des varîables^;^, j^']^, j>'^. Dans ce cas Y ne sera pas primaire. En effet, supposons, par exemple, qu'il reste deux fonctions distinctes; soient
Considérons le faisceau <ï>' dérivé des transfornices de o par les diverses substitutions de F. Soit
Di7i -+- d; /, -I- D';y; -^ d, 7,+ . . . 4- f,^/,
une quelconque des fonctions qu'il contient. No.is avons vu que ce faisceau contenait Ja fonction
laquelle doit être une combinaison linéaire de (f et de o«. On
tlOa TROISlkXB PARTIE. — CnAPlTRB II.
aura donc
0, Ci étant des constantes.
Les intégrales jk< , y\ , y\ ne figurant dans ^' que par les deux combinaisons 'f O'i, v',,y,) et ^\(yi,y\,y\), le nombre des fonctions linéairement distinctes dont 4>' dépend sera moindre que n. Donc F n'est pas primaire.
2° Si le groupe y est primaire, de quelque manière qu'on choisisse d, cf, cf, la suite (p, cp,, . .., ro^ contiendra toujours trois fonctions distinctes, cp, ^,, ^3; et chacune des intégrales j>, y^, y\ dont elles dépendent, yk par exemple, pourra s'exprimer linéairement en fonction de <p, <pi, Oa- Elle appartiendra donc au faisceau <!>'.
Formons maintenant les transformées successives de Vk par les diverses substitutions de F.
Cette intégrale étant entièrement déterminée, il n'y aura aucune difficulté à reconnaître combien le faisceau ^^^ dérivé de ses transformées, contient de fonctions distinctes; si ce nombre est inférieur à /?, F ne sera pas primaire; dans le cas contraire il sera primaire.
Soient, en effet,
V=:c,Y,-i-...-4-cv,Y
un faisceau quelconque d'intégrales que les substitutions de F transforment les unes dans les autres; Y< Tune de ces intégrales. Le faisceau V contiendra le faisceau ^ déduit des transformées 'de Y, ; dans celui-ci existe une intégrale cp de la forme (11), dont la combinaison avec ses transformées donne Tintégrale j^a- Donc V contient cette intégrale et ses transformées, parmi lesquelles il y en a n linéairement distinctes.
163. Une seconde application de la notion du groupe nous sera fournie par la recherche des intégrales algébriques que peut offrir une équation linéaire.
Soît F =: o une équation d'ordre n^ admettant des intégrales algébriques. 11 est clair que, si t décrit un contour iermé quelconque, ces intégrales, restant toujours algébriques, se transformeront les unes dans les autres. Soient doncoTi, ..., Xm celles de ces intégrales qui sont linéairement distinctes; les intégrales algébriques cherchées auront pour forme générale
CjXi
et seront les solutions d\me évjuation linéaire d^ordre m
' dx
cU
ci"^x
à coefncicnls uniformes, après division par le coefficient du
d"^ X terme en .... » Si donc F est une équation irréductible,
dt
on aura m = /i, et les équations F = o, G ---- o se confondront.
164. Étudions les équations, telles que G, à coefficients uniformes, et dont toutes les intégrales sont algébriques. Leurs coefficients, étant des fonctions algébriques et uniformes, seront des fonctions rationnelles.
D^ailleurs, aux environs de chaque point critique, les intégrales seront régulières. Considérons, en efiet, un point
critique quelconque a. Une intégrale quelconque Xq sera
développable suivant les puissances croissantes de (/ — ay^
p étant un entier convenable.
Soit
ce développement. Groupons ensemble tous les termes dont
ao4 TROISlftMB PJkRTlB. — CHAPITRE II.
les exposants ne diflTèrent que de nombres entiers; on pourra
écrire
Xo:= (t — ay Un-h {l — ay it^-\-, , .y
liaf ^pi • • • étant des séries qui procèdent suivant les puissances entières de / — a.
Si Ton fait décrire à / un lacet autour du point a une fois, deux fois, etc., on obtiendra de nouvelles intégrales
en posant, pour abréger,
îTCi
Résolvant ces équations par rapport à
on voit que ces quantités s'expriment linéairement en x©, ^1, ... : ce sont donc des intégrales; d^ailleurs elles sont manifestement régulières.
On voit de même que les intégrales seront régulières pour
16o. Ce premier résultat nous donne déjà quelque lumière sur la forme des équations cberchées. En effet, d'après le n"^ 146, chacun des points critiques /|, ..., /j^ devant être un pôle d'ordre k tout au plus pour le coelTi-
cientde , ^^^\ > l'équation aura nécessairement la forme
T désignant le produit (t — /,)... (^ — l^^) et M|, M2, . . . étant des fonctions entières.
fiQUATiONS LiNÉAims. ao5
îl reste encore à exprimer que les intégrales sont régulières aux environs de t = <x>. A cet effet, posons
on a
dx ^dx dt du
d*oii d£=.— —Tj
d^x . d / ^d.r\ .d^x ^dx
et généralement
— aYIii"
du^'
dl^-
-H ak,k-iU
ik
dt^-'
«A,*i, âfA,*2î • • • étant des entiers, dont le premier est égal k k{k — \)\ car on voit sans peine que celte formule, étant
supposée vraie pour —r-j^y sera encore vraie pour la dérivée
suivante.
Substituant ces valeurs des dérivées dans Téquation proposée, et divisant par ( — i)'"w^'", on aura Téquation transformé e
d"^x du"'
du
/;i-l,/n-f rp- j
du'"-^
OÙ il ne restera plus qu*à substituer t = -dansT, M|, M2, .... Le point u = o doit être un pôle d'ordre 1 , 2, ... au plus pour les coefficients des dérivées ^,,,n\y \i..fn-\ > * * • ' I' f*"^
du'"-^ du"'
et il suffit pour cela que -?p-> Tpf» ••• soient développables
ao6 TROlSlIîME PARTIE. — CHAPITRE II.
suivant les puissances croissantes de u et commencent rcs< peclivcment par des termes de degrés i, 2, .... Mais on a
On devra donc avoir
Donc, Ml, ..., M^, ... sont des polynômes entiers en /, de degrés au plus égaux à [x — i , . . ., A"([jl — 1), ....
166. Il est aisé d^établir que la somme des racines des équations déterminantes relatives aux points critiques /| , . . . ,
/ji, 00 est égale a ( [x — i ) — ^^ -' .
En effet, Téquation déterminante relative au point ti sera évidemment
Mj(^/) , V , OV
■^ frr^,''ir - i). . .{r - m -^^ 3) -{-. , .^ o
et la somme de ses racines sera
D'autre part, l'équation déterminante relative au point / = 00 sera
-i' {^m,m-i — cil) r{r — i) . , .{r -^ m + 2) -r. . . = o,
tQUÀTIOIfS LINÉAIRES. Q07
et la somme de ses racines sera
m(m — i) m(m — i) . a^ „j -4- rtj = h di .
La somme totale des racines de ces équations sera donc
car on a, d'après une formule connue de la décomposition des fonctions rationnelles,
M,(ti) I M,(n.
T'(/V) t-ti- T(lj' d'où, en mulliplianl par / et posant t =00,
167. Nous venons d'obtenir la forme générale des équations dont les intégrales sont partout régulières \ mais il s'en faut de beaucoup que toutes les équations de ce genre aient leurs intégrales algébriques. Pour qu'il en soit ainsi, un second caractère est nécessaire : il iaut que le groupe de 1 équation ne contienne qu'un nombre fini de substitutions.
En effet, chacune des substitutions du groupe est définie par le système des fonctions dans lesquelles elle transforme les intégrales indépendantes x^j ..., Xm] mais chacune de ces intégrales, étant algébrique, n'a qu'un nombre fîni de transformées distinctes; le nombre des substitutions distinctes est donc fini.
Réciproquement, toute équation à intégrales régulières, dont le groupe ne contient qu'un nombre fini de substitutions, a toutes ses intégrales algébriques.
En effet, soient x^ une quelconque de ces intégrales, X2^ . . . ses transformées par les substitutions du groupe. Toute fonction symétrique de ces transformées étant évi-
demment uniforme, Xi sera racine de Téquation
(»3) (j: — ^,)(a: — ar,) ... ==0,
dont les coefficients sont uniformes
Considérons d^ailleurs un point critique quelconque /|. On aura aux environs de ce point un système d'intégrales distinctes dont les développements auront la forme
Uq^ . . ., Uf( étant monodromes aux environs de t^.
Mais, pour qu'une expression de ce genre n'admette qu'un nombre limité de transformées distinctes lorsqu'on tourne autour de ^i, il faut évidemment : i° que les logarithmes disparaissent, 2° que r soit rationnel. On aura donc un système d'intégrales distinctes
îi = (^-^i)'*'"oi, 5,r=(/-^J^M
Oi)
où Ti, r^, ... sont des fractions rsitionnelles.
Soit p le plus petit multiple de leurs dénominateurs. Les intégrales Ç{, Ç^, ... seront développables suivant les puis-
sances entières et croissantes de {t — ^i)''; et il en sera de même de x^^ x^j ... qui s'expriment linéairement en Ç,,
^j, Le point t^ sera donc un point critique algébrique
pour chacune des intégrales x^^ X2y ... et, par suite, pour les coefficients de Téquation (i3). Mais ces coefficients sont uniformes; donc t^ sera un pôle (ou un point ordinaire) pour chacun d'eux.
On verra de même que oo est un pôle ou un point ordinaire pour ces coefficients.
Les coefficients de l'équation (i3) élant uniformes et n'ayant d'autres points critiques que des pôles, même à l'infini, seront des fractions rationnelles, et j:<, Xa, . . . seront des fonctions alg('?briques.
Si donc on savait déterminer tous les groupes formes d'un nombre fini de substitutions entre m variables, on con-
ÉQUATIONS LINÉAIRES. aCK)
naîtrait par là même les divers types possibles d'équations linéaires d'ordre m à intégrales algébriques, et il suffirait, pour reconnaître si une équation donnée appartient à cette catégorie, de chercher à identifier son groupe avec l'un de ceux dont on aurait dressé le tableau.
Le problème arithmétique de la construction des groupes d\in nombre fini de substitutions, auquel la question se trouve ainsi ramenée, n'est résolu d'une manière complète que pour m =r 2 ou 3. On a toutefois démontré que, pour une valeur quelconque de m, le nombre de ces groupes est limité, et l'on en a déduit ce théorème :
Si V équation G = o, d'ordre /n, a toutes ses intégrales algébriques^ elle admettra un système d'intégrales distinctes Xi^ . . . , Xm de la forme
p étant un entier et Uj, U2, . . . étant des fonctions rationnelles de t et d'une irrationnelle u définie par une
équation
dont le degré est limité en fonction de m.
Nous nous bornerons à énoncer ce résultat, dont la démonstration exigerait une exposition détaillée des principes de la théorie des substitutions.
168. Le cas où l'intégrale générale de l'équation G ^= o est non seulement algébrique, mais rationnelle, mérite une attention particulière. Il est aisé de le reconnaître.
En effet, les intégrales devant n'avoir d'autres points critiques que des pôles, l'équation déterminante relative à Tun quelconque des points critiques de G n'aura que des racines entières, et les développements des intégrales régulières ne contiendront point de logarithmes.
Pour que cette dernière condition soit remplie, il faudra ï. — Cours, îll. i4
dIO TROISIEME PARTIS. — CHAPITRI II.
tout d'abord qu'aucune des équations déterminantes n'ait de racines multiples (151).
Supposons qu'il en soit ainsi; soit F(r) = o l'équation déterminante relative au point /«, et soient a, a^, a", ... ses racines, rangées par ordre de grandeur croissante. L'intégrale générale aux environs du point /| sera de la forme
Z L ^ cW(iL(^ - t, r^\^ log«(^ - /, ) -f-. . . J ■
ct| en substituant cette valeur dans l'équation diflTérentielle, comme au n** 1 19, on obtiendra une série d'équations linéaires et homogènes qui détermineront par voie récurrente tous les coefficients c, c', c", ... en fonction des m coefficients Ca, Ca^ Ca//, . . . qui restent arbitraires. On voit d'ailleurs sans difficulté que tous les coefficients c', c", ... qui multiplient des termes logarithmiques s'expriment en fonction des m — I coefficients c\t^ c'a», . . . , et que ceux-ci ont des expressions de la forme
Donc, pour que les logarithmes disparaissent, il faut et il
p,. , . , hi (m — i) , . j ...
sullit qu on ait les — ^ équations de condition
169. Réciproquement, si l'ensemble des conditions qui précèdent est rempli, l'intégrale générale sera rationnelle. En effet, elle n'a poui points singuliers à distance finie que des ])ôlcs. Elle est donc uniforme.
Formons d'ailleurs l'équation déterminante pour r = oo et groupons ses racines en classes en réunissant celles dont les difi'érences mutuelles sont entières. Soient p, p', ... les plus petites racines de chaque classe; [jl, |ji', ... le nombre des racines contenues dans leurs classes respectives. Pour des valeurs suffisamment grandes de /, on aura, pour l'inté-
grale générale, un développement de la forme ^7 [? + ?i log i -h . . . -h (pp,t log»*-» jj
les expressions f, (pi, . . ., (p', ... étant des séries procédant suivant les puissances entières et croissantes de -•
Mais, puisque cette expression est uniforme, les logarithmes disparaîtront nécessairement et les exposants p, pS ••• seront entiers. L'ntégrale générale aura donc un simple pôle à Tin-
fini; ce sera donc une fonction rationnelle tt«
On pourra d'ailleurs la déterminer par des opérations purement algébriques. En effet, on connaît, par ce qui précède, la situation des pôles à distance finie et Tordre de multiplicité de chacun d'eux. On pourra donc former le dénominateur Q. L'ordre de multiplicité du pôle ^ = 00 étant également connu par le développement obtenu suivant les
puissances de -> le degré du numérateur P sera déterminé. Pour déterminer ses coefficients, il suffira d'identifier le développement de j=r suivant les puissances de - à celui qu'a fourni l'équation difl'érentielle.
170. Considérons plus généralement, avec M. Halphen, les équations dont les intégrales sont partout régulières et sont monodromes dans toute région du plan qui ne contient pas le point t^. Les autres points critiques ^o, . . . , /|x des coefficients de l'équation ne pouvant être que des pôles pour l'intégrale, les équations déterminantes qui leur correspondent n'auront que des racines entières, et les logarithmes disparaîtront des développements correspondants, ce qui
donnera (jx — i) — ^^ équations de condition, dont
l'existence sera à vérifier.
212 TROISIÈME PARTIE. — CHAPITRE If.
Lorsque Tensemble des conditions précédentes est rempli, on peut trouver l'intégrale générale. En effet, d'après l'analyse du n° 1 4o, on peut déterminer un système d'intégrales particulières formant une ou plusieurs séries, et telles qu'aux
environs du point t^ les intégrales j^o» •••>^A d'une même série soient de la forme
/A=(^— ^i)'*(0*Wo-4-6^-i"i-H...+ ttifc),
Uo, . . .j lifç étant des fonctions monodroraes aux environs du point ti , r désignant une racine de l'équation caractéristique qui correspond à ce point et les 0 étant définis par les relations
