‹ Cours d'analyse de l'École polytechnique (volume 2)Chapitre 28 sur 112 · MSS^S" · texte numérisé non relu

MSS^S"

ÉQUATIONS DIFFÉRENTIELLES ORDINAIRES. qS

On obtiendrait la même limite pour le module de ba^y.

Soient enfin Xq + A, j'o 4- Ar, ^o -H ^ des points assez voisins de a?0) yoj ^0 pour que les droites qui les joignent à ces derniers points soient respectivement comprises dans Tintérieur des contours K, K', K^, et soient S, 8', S'^ les plus courtes dislances de ces droites à ces contours; on aura

|[/(-2^o-l-/^7oH-A% -0 -+- /) —/( J^o, Jo, -o)]|

Xq -f- hêy jo -H kt, Zq -h It) dl

82. Ces préliminaires posés, cherchons à déterminer des fonctions j^, z qui satisfassent aux équations données

^'^ ^ dz V

et qui, pour x = x^^ se réduisent respectivement à ^0 + ^ et à 2o + /, A: et / désignant des constantes très petites. Nous poserons, à cet effet,

^ [y-yo = k+^c^,{x-x,)-^k^f\^ ^^^^ ^j

Substituons ces valeurs dans les équations (3), développons le second membre suivant les puissances de x — x^, kj l, et égalons les coefficients du terme général; il viendra

gô TROISlftMB PARTIS. — CHAPITRE I.

F et 0 étant des polynômes à coefficients positifs, formés avec ceux des coefficients a, 6, c, d^ où la somme des indices ne surpasse pas X 4- [x 4- v.

Les équations précédentes déterminent, successivement et sans ambiguïté, les coefficients c et d\ ils seront donnés par des expressions de la forme

FxuLv et ^|i.v étant des polynômes à coefficients positifs, formés avec les quantités a, b.

Les expressions (4); où les coefficients c, d seront déterminés par les équations (5), satisfont évidemment aux conditions du problème. Si Ton y groupe ensemble les termes afi*ectés des mêmes puissances de k et de /, on obtiendra un résultat de la forme

S|Lv et T|jiv étant des séries qui procèdent suivant les puissances de ^ — wCo«

En supprimant dans les expressions précédentes les termes qui dépendent de k et de /, il viendra

et il est clair : i^que ces équations donnent un système d^intégrales qui se réduisent à ^o> -^o pour x = Xq\ 2** qu'on aura

- > 1 av =

^^~ v.\ vl dy^J:^^ ^^~ jxl vl dy^.dz]

83. La méthode que nous venons de suivre suppose évidemment que les séries sur lesquelles nous opérons sont absolument convergentes. Nous allons vérifier qu^'l en est ainsi tant que /:, /, x — Xq seront suffisamment petits.

ÉQUATIONS DIFFÉRENTIELLES ORDINAIIIBS. 97

Remplaçons, en effet, dans les séries (4) chacun des coef-

ficients ««py, iapy par la quantité ^^p^ > limite supérieure

de son module, et les quantités A:, / par une même quantité positive m, au moins égale à |Ar| et à |/|. Nous obtiendrons de nouvelles séries, à coefficients positifs, et dont chaque terme aura un module au moins égal à celui du terme correspondant des séries primitives. Celles-ci seront donc absolument convergentes si les nouvelles séries le sont.

Mais ces séries sont évidemment celles que Ton obtiendrait si Ton cherchait à déterminer des fonctions Y, Z, qui se réduisent à yo H- m, z^-^- m pour x = Xo, et qui satisfassent aux équations différentielles

dL N

Or on peut intégrer directement ces équations et s'assurer que ces fonctions Y, Z existent, et sont développables en séries convergentes quand m eix — x^ sont suffisamment petits.

On en déduit, en effet,

et, en intégrant de x^ à x^

Substituant dans la première équation, il vient

dY N

dx^[r-^(x^ x,)\{r - (Y -jo)?

J — Cours, m. 7

OU, en séparant les variables et intégrant de Xq à or,

i[/--(Y-ro)?-i(/— /nr = Nlog(i-^=l^):

et enfin

(7) Y-y.= r-^(r-m)» + 3Nlog^i-^-p^V

La fonction de m et de a: — Xq ainsi définie n'a évidemment de points critiques que ceux pour lesquels on aurait

X — Xt

ou

- r= O, d'où X — Xq=i r

(,.~m)3-H3NIog/^i-^-^^ = o, d'où

MMB I ■ llll ■

X — XQ^=r — re ^^

Si donc- on assujettit metx — Xq aux conditions suivantes (où q désigne une quantité positive •< /)

ni = q,

\x — Xo\< r — re" ^^ ,

Y — yo restant raonodrome et continu pour tous les systèmes de valeurs considérés, sera développable en une série procédant suivant les puissances de m et de j? — Xo et convergente dans les limites ci-dessus.

Cette série se déduirait d'ailleurs de la série (4)i qui donne y — yo, en remplaçant k, l par m et les coefficients OjjLv par une limite supérieure de leurs modules. On obtiendra une limite supérieure de la somme des modules de ses termes, et a fortiori une limite supérieure du module de^ — j^o> en remplaçant m par y, et x — x^^ par son module dans la série, ou dans l'expression équivalente (7).

ÉQCÀTI0M8 DIFPfiRBMTIELLBS OKDINAIRBS. 99

Donc

-y.l</--\/('--7)'-(-3Nlog[.-i^^lj

el l'on obtiendra la même limite pour le module de -2 — Zq. Si nous supposons maintenant que q tende vers zéro, la limite du module de x — Xq^ en deçà de laquelle la convergence est assurée, tendra vers la quantité fixe

/• — re

que nous désignerons par p. Et, si |.r — Xo\ est assujetti à rester <; o — 8, 8 étant une quantité positive quelconque, \y — yo\ et \z — Zo\ resteront constamment moindres que r — e, e étant une quantité positive, déterminée par la relation

y/r»-h3Nlog(i-

Nous obtenons donc, comme conséquence de toute cette analyse, le théorème suivant :

Les équations (i) admettent un système d'intégrales y, z qui se réduisent àyoy ^o^ pour x = x^. Ces intégrales et leurs dérivées successives par rapport aux paramètres yoi Zoy sont développables suivant les puissances entières et positives de x — Xq^ en séries convergentes, tant que le module de x — Xo sera moindre que la quantité ^xe

p:-=zr\i — e •^^J.

Enfin, si ce module reste inférieur à p — 8, les modules de y — y^et de z — Zq resteront inférieurs à r — s, e étant une quantité positive, dépendante de 8.

84. Les séries j^, 2, que nous venons de déterminer, constituent le seul système de solutions des équations différentielles qui se réduisent à j^oj ^o pour x = Xq.

lOO THOlSlfcnE PARTIE. — CHAPITRE I.

Pour le montrer, considérons une ligne rectifiable quelconque L partant du point Xq et supposons j: astreint à parcourir cette ligne. Soient Y, Z deux fonctions définies le long de cette ligne, lesquelles satisfassent aux équations différentielles, et se réduisent à^o> ^o pour a: = Xo- Nous allons établir que dans toute la partie de L o\i\x — ^o| -< p — yiy 7) étant une quantité fixe quelconque, on aura nécessairement Y =y, Z = s.

On a, en effet, dans toute cette portion de L

\y — jo| < /• — s, I- — 5o| < ^ — s,

0 désignant une quantité fixe qui dépend de 7^.

Les fonctions Y — y, Z — z admettent, par hypothèse, les dérivées

Elles ne peuvent donc varier que d'une façon continue, et leurs modules, nuls au point Xq, origine de L, ne pourront atteindre ou dépasser un nombre e (que nous supposerons infiniment petit) sans avoir franchi toutes les valeurs intermédiaires.

Or tant que ces modules seront <C e, on aura

f [f{x,Y,Z)-f{x,y,z)'\dx

JY-j| + |Z-*| N

s désignant l'arc de L compris entre Xq et x.

Si nous prenons e < -> cette expression sera moindre que

iÔeN

ËQUATI0N8 DIPFÉRBNTIBLLBS OEDINÀlEBS. 101

et si l'arc s est moindre que la quantité finie 0— jy 9 elle sera

moindre que -•

Donc sur cet arc Gni s^ | Y — j\ (et aussi |Z — :; |) ne pourront prendre aucune des valeurs comprises entre - et e. Ils

ne pourront donc atteindre ni dépasser la valeur e; celle-ci étant arbitraire, ils seront nécessairement nuls.

On verra de même que |Y — y\ et [Z — z\ seront nuls le long d'un second arc de même longueur que le précédent et lui faisant suite; ils seront donc nuls tant que \x — Xo\ sera <;|p — 7)[, et enfin, r, étant arbitraire, tant que \x — Xo\ sera < p.

85. Nous avons établi, par ce qui précède, qu'il existe un sjstème unique d'intégrales y, z satisfaisant aux conditions du problème. Elles sont données sous forme de séries, dont la convergence est assurée dans un cercle C de ra^ron p décrit autour du point x^.

Si la variable x sort de ce cercle, on pourra déterminer leur valeur de proche en proche par le procédé déjà employé au Tome I pour suivre la marche d'une fonction analytique.

Supposons que x décrive une ligne L issue du point ^Tq ; soient x^ un point de cette ligne, encore situé à l'intérieur de C; ^1, Zx les valeurs correspondantes de y^ z. On aura IjTi— a:o|<r,|jKi— J^o|<'',|^i— ^ol<'*.Lepoint(x«,j^,,j5,) sera donc un point ordinaire pour /, /i et les équations différentielles admettront un système de solutions se réduisant à jKi, Zi pour Xrs^x^. Ces solutions seront des séries de puissances de x — x^', soit C| leur cercle de convergence certaine; pi son rajon.

Ces éléments de fonction analytique ayant pour centre x^ seront contigus à ceux qui avaient pour centre Xq et permettront de déterminer les valeurs de j^, ^, de.ri à :r2, x^ étant un point choisi à volonté sur L, au delà de x^ , mais encore à l'intérieur de C|.

Au delà de ^2, l'intégrale sera. représentée par de nouveaux éléments de fonctions analj'tiques ayant leur centre en ^2.

En continuant ainsi, on finira par arriver jusqu'à l'extrémité de la ligne L, à moins que les rayons des cercles successifs p, pi, P2, .-. ne forment une suite convergente; auquel cas il pourrait arriver que le procédé ne permette de suivre la marche des intégrales que jusqu'à un point déterminé x^ de la ligne L.

Lorsque x se rapprochera de x^ en suivant la ligne L, diverses circonstances pouvant se présenter :

i** L'une au moins des deux quantités^, z ne tendra vers aucune limite, ou tendra vers l'infini;

2® Elles tendront toutes deux vers des limites finies j^', 5'. Dans ce cas (^, j^, J) sera un point critique pour l'une au moins des deux fonctions /, f\ . En effet, si ce point était ordinaire, il lui correspondrait un certain rayon de convergence p'. Pour un point j;/2 infiniment voisin de od ^ pris sur la ligne L, y^ s prendraient des valeurs jK/o ^/u infiniment voisines de y, z\ et le rayon de convergence p^, correspondant au point (a:«, yny ^/i), serait infiniment voisin de p', au lieu d'être Infiniment petit. On pourrait donc, au moyeu du cercle C;,, déterminer les valeurs de y^ z au delà du point x\

Le procédé indiqué ci-dessus pour suivre la marche des intégrales est peu satisfaisant au point de vue pratique. En effet, chacune des valeurs successivesj/|, -5|,j^2)'52, . .- exige, pour sa détermination, un développement en série, puis la sommation de cette série, opération compliquée et dont le résultat ne peut en général s'obtenir exactement. Or chaque erreur commise influe sur toute la suite des calculs. Il faudra donc opérer avec une très grande approximation, sous peine d'altérer beaucoup le résultat final.

86. La méthode dite des quadratures^ que nous allons exposer, est sujette à ce même inconvénient, mais donne

ÉQUATIONS DIFPÉRBlfTIELLES 0RDIN1IRE8. Io3

lieu à des calculs plus faciles. Voici en quoi elle consiste.

Marquons sur la ligne Lune série de points j?!, x^^, • • •; x,n intermédiaires entre Xç^ et X, et suffisamment voisins les uns des autres; puis, déterminons deux séries de quantités yi^fi^ ' ' ^ymi Y'eï J3',, -s;,, . . ., z'„^, U par les relations

^ ^ni^^f\\^my ymt ^tn)\^ — ^m ) î

Y' et U seront des valeurs approchées de Y, Z, et l'erreur commise tendra vers zéro à mesure que Ton multipliera les points intermédiaires.

87. Nous justifierons cette méthode en cherchant une limite supérieure du module de l'erreur commise.

Soient \ un point quelconque de la ligne L; t^, Ç les valeurs coi4*espondantes des intégrales.

On peut déterminer par hypothèse une quantité r, telle que f et y*i soient développables suivant les puissances de X — X-i y — */\î - — Ç tant que les modules de ces quantités ne surpassent pas /*. Ce nombre r est une fonction de ç.

Si \ se déplace sur L d'une manière continue, t^, X^ variant aussi d'une manière continue, il en sera évidemment de même de r, lequel admettra un minimum différent de zéro. Soit R un nombre inférieur à ce minimum.

Si le point (^, y^ z) se déplace, de telle sorte qu'on ait constamment sur la ligne L un point (i, ir|, ^) fixe ou variable pour lequel on ait

le point (t, jKî -2) décrira un ensemble borné et parfait où les fonctions/ et /i restent finies et continues. Leur module ne pourra donc surpasser un nombre fixe |jl.

D'ailleurs, si \x — Ç|, \y — 7||, \z — Ç| sont <R — 8,

I04 TROISlfeMB PARTIE. — GHAPITRB l.

8 désignant un nombre fixe, on aura

Néuniépu!^.

Cela poséy supposons les intervalles j^o^i ? • • • ? ^a^a+i y • < • > tous -< X et cherchons une limite supérieure des modules des différences entre les valeurs j^«, -i, • • • >^A) ^h • • • î Y, Z des intégrales aux points j?i, . . . , Xk^ X et les valeurs approchées y\ , s', , . . . , Y', Ta. On a

yk■^-\ — yk— f /(^, r, - ) <3?a7,

fi^kyfky z'k)dx, d'où

ïk^i— yk-t-i= /k— yk-^ J [/(^,7> -)— /(^A»7i, -l)]c^^.

ri

Si nous supposons \y\ — J^a|» I^a — ^a| moindres que R — S, le module de la quantité entre parenthèses ne pourra surpasser

{\x — x/(\ étant •< 5^); on aura donc

N -+-[^-+-i7i — J*|-+-|-A— -A-U 3ikA+i — J?a|.

On a une inégalité semblable pour z'^^^^ — 5^..

Ajoutons ces deux relations, et posons pour abréger

|yA-7A|-+-I-i-^A|4-X=:UA.

Nous obtiendrons la relation

s désignant la longueur de la ligne L.

ÉQUATIOXS DIFFÉRBNTIBLLBS 0RDDIAIRB8. Io5

D^aîlleurs, au point 2:07 on a^^ = ^o> ZQ = Zo,d'oii\jQ='k.

Chacune des quantités Ua et a fortiori chacune des quantités 1^; — ^a|, \zm—zm\ et enQn |Y'— Y|, |Z'— Z| seront donc moindres que

si les précédentes sont moindres que B — 8.

Cette condition sera satisfaite, si l'on prend X assez petit pour satisfaire à l'inégalité

La limite d'erreur ainsi trouvée tend bien vers zéro avec X, comme nous voulions l'établir. La formule montre toutefois r imperfection de la méthode, car l'arc s figure sous une exponentielle dans l'expression de Terreur à craindre. Pour peu que le champ d'intégration soit étendu, il sera difficile de multiplier assez les points de division pour obtenir une approximation suffisante.

88. On a souvent avantage à transformer les équations diflTérentielles proposées par un changement de variables, avant de recourir aux quadratures. Ce procédé constitue la méthode de la variation des constantes, dont nous allons indiquer le principe.

Soient

(8) ^=:M-f-aN, ^zzzM'+aN'

' dx dx

deux équations différentielles simultanées, où M, M', N, N^ sont des fonctions de Xy y, z et a une constante très petite. Proposons-nous de trouver un système d'intégrales y, z se réduisant à j^o> z^ pour x = x^.

Si l'on négligeait les termes en a, les équations se réduiraient à

I06 TROISIÈME PARTIJB. ~ CHAPITRE I.

Supposons qu'on puisse déterminer, par un procédé quelconque une intégrale générale de ces deux équations, représentée par deux équations

(lo) 7=/(^,c,c'), z = <f{x,c,c').

Le système d'intégrales particulières des équations (9) qui, pour x = x^y se réduisent à^o? ^0 sera fourni par ces équations, en y donnant à c, c' les valeurs Co, c^ qui se déduisent des équations

Le système des intégrales particulières des équations (8) qu'on demande de trouver pourra de même être représenté par les équations (10), à la condition d'y considérer c, c' non plus comme des constantes, mais comme de nouvelles inconnues à déterminer en fonction de x. Ces nouvelles variables devront : i** se réduire à Cq, c^ pour x = Xq] 2° satisfaire aux équations diiférentielles qu'on obtient en substituant dans les

équations (8), à la place dey, z, -j^y -r^» leurs valeurs

dy__d£ àfdc^ ÈL^ dx dx de dx de' dx '

dz do do de do de' dx dx de dx de' dx

Les équations ainsi obtenues, résolues par rapport à -r-y

(ÂrtjC

dcf

-j-> prendront la forme suivante

où P, Q, P', Q' sont des fonctions de x, c, &,

Mais, si a était nul, c et c' seraient constants et leurs dérivées -7-) -î— se réduiraient à zéro. Donc P et P' sont nuls, et dx dx '

les équations précédentes se réduisent à la forme plus simple

de ^ dd ^,

On en déduit

^Co — ctf Qdfj7, c'—c'^=.af Q'

dx.

Les fonctions Q et Q' contiennent, outre la variable d'intégration Xy les fonctions inconnues c, c'. Mais les dérivées -T-> -T-^i contenant en facteur la quantité a supposée

très petite, sont elles-mêmes très petites; donc c, c varient lentement, et, si le champ d'intégration n'est pas trop étendu, on pourra, sans altérer sensiblement les fonctions Q, Q'y y remplacer les variables c, & par leurs valeurs initiales Cq^ c'q. On n'aura plus alors qu'à intégrer une fonction de x seul, ce qui est facile.

Si le résultat obtenu n'est pas jugé assez exact, on pourra remplacer c et (/ dans les fonctions Q et Q' par les valeurs fournies par cette première approximation, et recommencer l'intégration, et ainsi de suite.

89. Nous ne nous sommes occupé jusqu'à présent que de calculer les valeurs numériques des fonctions y, z pour une valeur donnée de la variable. Il nous reste à tirer les conséquences des résultats trouvés au point de vue des propriétés analytiques de ces fonctions intégrales.

Leurs valeurs finales Y, Z en un point quelconque X dépendent, d'après notre mode de procéder, non seulement de la position de ce point, mais de la ligne L par laquelle la variable x se rend de x^ à X. Toutefois, si cette ligne est telle que la valeur x de la variable indépendante en chacun de ses points, associée aux valeurs correspondantes y^ z des fonctions intégrales, donne un point ordinaire des fonctions/ et/*!, on pourra lui faire subir une déformation infiniment petite quelconque sans altérer les valeurs finales Y et Z,

I08 TROISIÈMB PARTIE. — CHAPITRE I.

En effet, chacun de ces points x est le centre d'un cercle dans rintérieur duquel y et z sont des fonctions monodromes de x. Le rayon R de ce cercle, variant d'une manière continue quand x se déplace sur L et n'étant jamais nul, ne pourra s'abaisser au-dessous d'un minimum fixe R'. Si l'on trace autour de chacun des points de L un cercle de rayon R', ces cercles recouvriront une région du plan dans l'intérieur de laquelle j" et z seront évidemment monodromes. On n'altérera donc pas leurs valeurs finales Y, Z, si l'on remplace la ligne d'intégration L par une autre ligne quelconque U ne sortant pas de cette région.

On pourra ainsi, sans altérer Y, Z, déformer la ligne L d'une façon continue, aussi longtemps que les valeurs simultanées de x^ y^ z correspondant à chacun de ses points seront un point ordinaire de /et de/i .Mais, si L prend dans le cours des déformations une forme telle qu'en un de ses points Xy y y z soient un système de valeurs critique pour l'une au moins des deux fonctions /et/i, le raisonnement se trouvera en défaut et il pourra même arriver que dans cette position de la ligne d'intégration Y, Z ne puissent plus être calculés par nos procédés.

Les points pour lesquels les valeurs simultanées de x^y^ z forment un système critique pour /ou/, pourront donc être (et seront le plus souvent) des points critiques pour les fonctions intégrales^, z,

90. Pour obtenir les éléments nécessaires à l'étude approfondie des fonctions intégrales, il resterait : i° à déterminer la position de leurs points critiques; 2^ à étudier les variations de ces fonctions aux environs de ces points critiques.

Le premier de ces deux problèmes est malheureusement inabordable dans la plupart des cas; car^ et z figurant, ainsi que x^ dans la définition de ces points, on n'a, en général, aucune méthode pour fixer leur position a priori. On ne pourra les connaître qu'après avoir achevé l'élude des inté* grales, qu'ils auraient dû servir à faciliter. Il y a là un cercle

▼icieax, qui constitue la principale difficulté du problème de rintégration.

Suivant les circonstances, ces points seront isolés ou non ; ils pourront même constituer des lignes entières, auquel cas les fonctions ^, z n^auraient une existence définie que dans la région du plan que Ton peut atteindre, en partant du point initial x^^ sans traverser ces lignes critiques.

91. Il existe toutefois un cas extrêmement important, où Ton peut déterminer d'avance la position des points critiques : c^est celui où les seconds membres des équations difierenlielles sont linéaires par rapport aux fonctions inconnues.

Considérons, pour fixer les idées, un système de deux équations de ce genre

où A, B, . . . , C sont des fonctions de x. Soit x^ un point ordinaire de ces fonctions; on aura, tant que le module de X — Xi^ne surpasse pas une quantité fixe r, des développements convergents

les coeflBcients a^j ba, .•. ayant pour limite supérieure de leurs modules une expression de la forme — • Cherchons un système d'intégrales

qui, pour a: = ^0) se réduisent à jko> ^o* O^ï déterminera les coefficients c/, e en substituant ces valeurs dans les équations

110 TROISIÈME PARTIE. — GDAPITRB I.

différentielles. Il viendra, en égalant les coefficients des termes

en (^ — ^o)^)

(X -h i)dx^i=: aQdx -h «i^x-j -4-. . .-+- o,\-\dx -+- b^ey^-\-. •• (X -h l)ex+.j = a'o ûfx + . . . 4- «x-i^i -*- ^'o^X -4- . . .

Ces formules récurrentes donneront, pour les coeflicients d^ e, des expressions de la forme

d\ = Fx, e\ — *x,

011 Fx et ^x sont des polynômes linéaires et homogènes par rapport à ^o» ^ù ^^ a"^ coefficients c, d ^ les coefficients de chacune de ces quantités étant des polynômes à coefficients positifs, formés avec les a, 6, a', b'.

Nous obtenons ainsi cet important résultat, que les intégrales cherchées y ^ z dépendent linéairement de y^^ Zq»

92. Cherchons le rayon de convergence certaine de ces séries. Le cas le plus défavorable est évidemment celui où les coefficients a, 6, c, a', fr', c' sont remplacés par les limites supérieures de leurs modules, et^'o, Zq par une limite supérieure m de leur module. Dans cette hypothèse, les équations diflerenlielles se réduisent à

dz dy M ,

-— = -^ := (y |x;-hi).

ax dx X — Xq "

On en déduit

dy M , ,

r et en intégrant, après séparation des variables,

j Iqct : ^z^ — M /• loff ( I

-iMr

Cette fonction n'a qn'un point critique, x^x^-^r. La convergence est donc assurée dans tout le cercle de rayon r.

Donc, quels que soient ^o»^o» les intégrales ^, ^ seront continues et monodromes dans toute région du plan où les fonctions A, B, C, Â', B', G' sont elles-mêmes continues et monodromes, et ne pourront avoir d'aulres points critiques que ceux de ces fonctions. Encore n'est-il pas certain que ces derniers points soient critiques pour j^ et ^.

93. Les exemples suivants, que nous empruntons à firiot et Bouquet, montrent comment on peut effectuer l'étude des intégrales, aux environs de leurs points critiques.

Soit l'équation différentielle

dY 1

dx J\œ, y)

f{x^y) s'annulant pour a? = o,^ = o et admettant ces valeurs comme point ordinaire.

Cherchons celles de ses intégrales qui s'annulent pour r = o.

Si nous considérons x comme fonction de^, il viendra

Cette équation admet une seule intégrale monodrome Xy s'annulant pour jk = o. Sa dérivée s'annulant également, elle sera développable en une série de la forme

Supposons que a,,, soit le premier coefficient de la série qui ne s'annule pas. L'équation précédente, résolue par rapport à^, donnera un résultat de la forme

y = Xia:'"-h liX'"-\-

Celle fonction a m valeurs correspondantes aux diverses

112 TROISIÈSB PARTIB. — CHAPITRE I.

déterminations du radical x^ ; elles se permutent les unes dans les autres lorsqu'on tourne autour du point x = o, qui sera un point critique algébrique.

Le cas où tous les coefficients aa s'annuleraient à la fois échappe à l'analyse précédente. Il faut et il suffit, pour cela, que X = o soit une solution de l'équation (i3) et, par suite, que f{oc,y) contienne x en facteur. Dans ce cas l'équation X = o, ne contenant pas ^, ne permettra pas de tirer la valeur Aey en fonction de x. L'équation (12) n'admettra donc aucune intégrale qui s'annule avec x.

Page 1