S -TZ I " O
dx dx
Ces cinq équations différentielles forment un système manifestement équivalent aux deux équations primitives, mais où ne figurent plus que des dérivées du premier ordre.
3. Considérons donc un système simultané de m équations du premier ordre
„ / dv dz du \
/ dy dz du \
tQUAnONS DIFFÉUlfTIILLCB OKDmÀllIBS. 3
eotre la variable indépendante x et m fonctions inconnues^,
Si parmi ces équations il en figure une, F = o, qui ne con* tienne pas de dérivée, soit jy une des variables qu'elle contient, Téquation résolue par rapport à ^ donnera un résultat de la forme
(i) yz=:tf{x,z,Uy...).
On en déduit
dy 09 d^ dz d9 du
dx dx dz dx du dx
Substituant ces valeurs dans les équations
Fi = o, F,= o, ...,
on aura un système de m — i équations différentielles pour déterminer les m — i variables z, u, ... ; on calculera ensuite^ par l'équation (i).
Supposons, au contraire, que l'équation F = o contienne
dy an moins une dérivée, telle que -j- • Résolvant par rapport à
cette dérivée, il viendra
dy -/ dz du
. • • la
Substituons cette valeur dans les équations suivantes ; on obtiendra un système
(dz du \
équivalent au proposé.
Si Tune des équations cpi = o, ... ne contenait aucune dérivée, on pourrait s'en servir, comme il a été expliqué.
4 TROlSiftHB PAtTIB. ~ CHÀPITBB I.
pour éliminer une variable et ramener Tétude da système proposé à celle d^un système de m — i équations différenttielles seulement.
Si, au contraire, Téquation f i = o contient une dérivée -^ 9
on en déduira
dz ^ ( du \
et Ton substituera cette valeur dans les équations suivantes.
Continuant ainsi, on arrivera à mettre le système sous la
forme
dy f dz ^ du ^ ^
dx-^' d^--^'' dx-^^' •••'
/^ne contenant plus -r-y f\ ne contenant ni ^ ni ^,
Portant maintenant dans chaque équation les valeurs des dérivées fournies par les équations suivantes, on obtiendra un nouveau système d'équations, de la forme suivante :
Un système d'équations simultanées du premier ordre, ainsi résolu par rapport aux dérivées, est dit ramené à sa forme normale.
On voit, par ce qui précède, que Pélude d'un système quelconque d'équations différentielles simultanées peut être ramenée à celle d'un système normal. Le nombre des équations de ce système normal équivalent au proposé servira de dcfinition à Vordre de ce dernier.
En particulier, si Ton n'a qu'une équation différentielle
d'^'Y .( dy d'^-^y\
iQUÀnOnS DIlTtlIIfTIILLBS OBftDUlBIS.
elle sera équivalente au système normal
Soo ordre sera donc égal à m.
4. D'an système de m équations différentielles entre x et les m fonctions y^ Zy u^ . . ., on peut déduire, ainsi que nous allons le voir, une équation différenûelle où ne figurent que j:et^.
En général, le nombre des équations données n'est pas suffisant pour éliminer z, u, , , . et leurs dérivées. Mais, si nous prenons la dérivée de chacune des équations données, nous obtiendrons m équations nouvelles, en introduisant au plus m — I inconnues de plus, à savoir une dérivée nouvelle dp chacune des fonctions z, u, En rcpëlant cette opération, on arrivera évidemment à se procurer assez d'équations pour effectuer l'élimination.
Considérons, par exemple, un système de trois équations
entre x^y^ Zy u. Supposons que l'ordre de la plus haute dérivée de chaque variable, dans chacune de ces équations, soit donné par le Tableau suivant :
it
nti
ni
Pi
nif
Pt
Différentions les trois équations respectivement A, A,, A] fois. Nous obtiendrons ainsi un total de A -j- A| + A2 -H 3 équations, entre lesquelles on aura à éliminer z et ses B premières dérivées, u et ses C premières dérivées, B désignant
6 TR0I8IÈMK PÀRTn. — CHÀnT» I.
le plus grand des nombres A -+- n, A| -f- /Im Aj + n^^ et C le
plus grand des nombres A-h/>> A|-i-/>i, A^-^Pil soît en
tout B -+- C + a inconnues.
En thèse générale, rélimination ne pourra se faire que si
le nombre des équations surpasse celui des inconnues. On
devra donc avoir
AH-Aj-f-Aj^B + C
et, comme on a
on en déduit
B>Aj-h«i, C>A,4-/?,, BrA,-+-/î„ C5A,-^y9„
A^/iiH-/?,, A5/i,-h/>|.
On voit de même que A| est au moins égal au plus grand des deux nombres n-\- p2, n2-\-pj et As au moins égal au plus grand des nombres n -\- p^, /i| +/>.
Il est d'ailleurs aisé de voir qu'en prenant A, A| , A2 précisément égaux aux limites inférieures trouvées ci-dessus, on aura juste le nombre d'équations nécessaires pour Félimination.
Soit en eifet, pour fixer les idées,
A= /ïi-4-/?j>/ïî -+-/>!, B = A H- /i 5 Al 4- /Il 5 A, -h /i,.
On en déduira
A-i- /i = /H- «1 -!-/>, 7 Al -4- /11,
d'où
B=:A4-/i = Ai4-/ii;
et, d'autre part,
A-|-/>=i/?4- /Il -t- /?j < A., -4- /?,.
On trouvera de même
Ai4-/>i^A,-h/?t ou 5A-I-/?, suivant que A| sera égal à n -h/>a ou à /la + jo-
ÉQUATIONS mrFÉKBIlTIILLBS OtDINAltlS. 7
On aura donc, dans tous les cas,
C = A,-i-/?,5 A, -h/>, 5 A -+-/>, et, par suite,
B -f- C = A, H- /i, H- A, -+-/>!= A 4- Aj 4- Af.
En donnant à A, A|, A| les valeurs ci-dessus, on aura donc une équation de plus qu'il n'est nécessaire pour déterminer ^, u et leurs dérivées au moyen de y et de ses dérivées. Ces valeurs, substituées dans la dernière équation, donneront une équation finale ne contenant que y, et ses dérivées jusqu^à Tordre D, D désignant le plus grand des nombres A + ^^^ A| -«- /Wi, Aa-|- ni2'
Ce nombre D, qui représente l'ordre du système, sera évidemment égal au plus grand des nombres m + />i+/'i» mi 4- n-h pt7 ' "j qu'on obtient en associant ensemble trois nombres du Tableau (2) appartenant à la fois à des horizontales et à des verticales dififérentes.
5. Ce résultat, qu'on étendrait sans difficulté au cas d'un nombre quelconque d'équations, peut se trouver en défaut si Sj u et leurs dérivées figurent dans les équations proposées de telle sorte que l'élimination puisse se faire avant qu'on ait formé toutes les équations auxiliaires qui paraissent au premier abord nécessaires, d'après le nombre des quantités à éliminer.
On obtiendra, même dans ce cas, une équation finale en y de la forme
mais z, Uf au lieu d'être immédiatement donnés en fonction de^' et de ses dérivées, pourront être déterminés par de nouvelles équations différentielles, de la forme
d^x^"^ (.^'^'^'"•'^'"'•••'^^x^'Sii^;'
/ dy d>^-^z dV-'^u\
8 TEOISllnU PARTIE. — CHAPITBB I.
Éliminant u entre ces équations par la répétition du même procédé, on arrivera à faire dépendre l'étude du système primitif de celle d'un système de la forme suivante :
dPz / dP-*z\
dfu ( dt-^u\
■^ —fi \x,y,...,z^...,u, ..., ^^^, J
6. Considérons, en particulier, les fonctions déterminées par une équation différentielle
/ dv
i^'^' di
rf«v
algébrique par rapport à j:, ^', . . . , ^-^•
Toute solution d'une semblable équation satisfait évidemment à une infinité d'équations analogues résultant de la combinaison de F et de ses dérivées.
Réciproquement, soit y une fonction de x qui satisfasse à une série d'équations différentielles algébriques
F = o, Fj ==. o, ....
Toutes ces équations résulteront de la combinaison de Fune d'entre elles avec ses dérivées.
Considérons, en effet, parmi toutes les équations de ce genre auxquelles j^ satisfait, celles dont Tordre est minimum, et parmi celles-ci choisissons celle où la plus haute dérivée est élevée à la puissance minimum. Soient a et |jl cet ordre et ce degré, F = o Téquation correspondante; F| = o une autre équation quelconque du système.
De l'équation F = o et de ses dérivées on pourra déduire les
valeurs de , ^;^> • • • et des puissances de -r^ de degré ^ jx en fonction rationnelle dea:, j', -i-> • • •» j-^» • • •> (;r^)
êqoàtioiis MiriiniTULUs oimrâius. 9
Sobstitoant ces valeurs dans F|, on obtiendra une nouvelle
équation 4» = o, qui ne contiendra plus que x^ y^ -^ » • • • »
d^' •••» (^-i[) ' Mais, d'après notre hypothèse, y ne
satisfait à aucune équation de ce genre. Donc Téquation $ = 0 est une identité.
Nous dirons que la fonction y est une solution propre de l'équation F = o et une solution impropre des autres équations F| = o, ... ; et nous appellerons ordre de la fonction l'ordre de Téquation F = o.
D'après cette définition, les fonctions algébriques seront d'ordre zéro; les fonctions d'ordre >-o seront transcendantes.
Une équation dififérentielle algébrique F = o est dite irréductible, si elle n'admet que des solutions propres
7. Soient y, Zj ... des solutions des équations différentielles algébriques
/ dy d^,r\
(3) l^ / dz d^z\
de degrés pi, v, . . ., par rapport a ^-^, —g) • • • •
Soient, d'autre part, Y, Z, ... d'autres fonctions satisfaisant à des équations analogues
Supposons qu'il existe entre ces diverses fonctions et leurs dérivées une relation algébrique
Si nous éliminons Y, Z, ... entre cette équation et les équations (4)» nous obtiendrons une équation difi*érentielle
lO TROISlIUIE PARTIB. — CHAPITRE !•
G= o entre y^ z, . . . , qui représentera la condition nécessaire et suflisante pour que ces fonctions, associées à des solutions convenablement choisies des équations (4)» satisfassent à Téquation ^ = o.
Si donc Téquation G = o n^est qu'une conséquence des équations (3) et de leurs dérivées , tout système de solutions de (3), associé à un système convenable de solutions de (4)) satisfera encore à Péquation V = o.
Ce cas se présentera nécessairement s*il n'existe entre les solutions y, z^ . . . , primitivement données, aucune relation algébrique de la forme
ou ;t-^> — 09 ••• figurent avec des degrés respectivement
inférieurs à p., v, ....
En effet, au moyen des équations (3) et de leurs dérivées,
on peut éliminer de G les dérivées , ^^^y •••> ^ ^> •••
et les puissances {;y-^) > (^"ft) ' ^^ obtiendra ainsi
une équation de la forme (5), laquelle devra, par hypothèse, se réduire à une identité.
8. Gomme application des considérations qui précèdent, cherchons la forme la plus générale des relations algébriques qui peuvent exister entre des intégrales abéliennes^i, ..., y» définies par les équations différentielles algébriques
Soit
(6) V(^,ri» •••>/m) = 0
une semblable relation. Nous pouvons évidemment admettre
tQUATIONS DIFPÉIINTICLLBS OIDINAIIBS. Il
qu'il n'existe aucune relation de même nature entre les fonctions y^^ . . . , ym^s et la variable indépendante. L'équation (6), résolue par rapport ^ym^ pourra s'écrire
D'après le théorème précédent, cette équation subsistera si l'on j remplace ^'o -M^m-i pair des solutions quelconques des équations F|, ..., Fnt.i^ pourvu qu'on remplace en même temps y m par une solution convenable de Téquation Fj«. Mais il est clair que les solutions de chacune de ces équations s'obtiennent toutes en ajoutant à l'une d'elles une constante d'ailleurs arbitraire. On aura donc
^ti • • • 9 Cm-\ étant des constantes arbitraires, et Cm une autre constante, dépendant de celles-là.
Prenant la dérivée de cette équation par rapport à la constante Cl, il viendra
dcj^ — <^?(-^» Vi-^-g!> - ") __ ^<p(^,.yi-f-C|. .. .) de, ~" de, ■" dj,
et, en posant c, = . . . = Cm-\ = o,
ki désignant la valeur constante que prend dans cette hypothèse la dérivée *"
dci
Cette dernière équation doit se réduire à une identité, paisque nous supposons que x, y^j . . . , ym-\ ne sont liées par aucune relation algébrique. On aura de même identiquement
-7—- — /tj, ..., — «m-l»
Oyt 0/m^l
la TROisiÈu Partie. — châpitu i.
^2 y • • • y ^m-i étant des constantes. On en déduit
X étant une fonction algébrique de x. La relation cherchée sera donc de la forme
9. Ces préliminaires posés, il nous reste à indiquer les procédés par lesquels on peut intégrer une équation différentielle (ou un système de semblables équations), c'està-dire déterminer ses solutions.
Il est aisé de voir, par des exemples, que ce problème est indéterminé.
Considérons, en effet, une équation
entre la variable indépendante a?, la fonction j/* et la constante arbitraire c. On en déduit par différentiation
Tirons la valeur de c de l'équation (7) pour la substituer dans (8); il viendra, en représentant par des parenthèses le résultat de cette substitution.
w (si) ^ -(!)*=«•
Cette équation différentielle admet pour solution la fonction j', définie par l'équation (7), quelle que soit la constante c. A chaque valeur de cette constante répond une solution particulière. L'ensemble de ces solutions se nomme la solution générale.
Pour reconnaître s'il existe d'autres solutions, en dehors de celles que nous venons de déterminer, introduisons une
tQUàTlORB PIFTÉMUTilLLM OM0INÀI118. l3
variable auxiliaire c définie par l'équation (7). Cette équation dlffi&eutiée donne
oa, en substituant pour c sa valeur tirée de (7),
ott enfin, en tenant compte de l'équation (9),
On peut satisfaire à cette équation de deux manières : 1® En posant
de = o, d'où c = const. ;
la valeur correspondante de j^ étant donnée par l'équation (7), on retombe ainsi sur la solution générale; 2^ En posant
Cette équation détermine la valeur dey en fonction de x. Uinconnne auxiliaire c sera ensuite déterminée par Téquation (7).
La nouvelle solution ainsi obtenue se nomme la solution singulière de Téquation différentielle.
En considérant x, y comme les coordonnées d'un point, chaque solution particulière
où c est supposé constant, représente une courbe.
La solution générale représente l'ensemble de ces courbes. Enfin la solution singulière, définie par l'équation
l4 TROlSlftllB PARTIE. — CHAPITRE K
résultat de réliraination de c entre les équations
représentera l'enveloppe de ce système de courbes.
Il arrivera parfois que les deux équations (lo) soient incompatibles, auquel cas il n^y aura pas de solution singulière; ou que la valeur de c en fonction de a?, déduite de ces équations, se réduise à une constante; dans ce cas, la solution singulière se confondra avec Pune des solutions particulières contenues dans la solution générale.
10. Les considérations précédentes peuvent aisément s'étendre à des systèmes d'équations diiFérentielles sinjultanées. Soient, par exemple,
(il) ?i = o, ^t—O
deux équations entre la variable indépendante x^ les deux fonctions j^i , JK2 ^t deux constantes c^, Caj on en déduira, en différentiant et éliminant c^, Ca, les deux équations diilérentielles
dont les équations (i i) représentent la solution générale.
Pour obtenir les autres solutions s'il en existe, prenons pour inconnues auxiliaires les quantités C4, Ca définies par les équations (i 1).
La diffërentiation de ces équations donnera
ÉQUATIOKS diffébbutibllbs obdinaibbs. i5
ou, en éliminant C|, Ci et tenant compte des équations (12)}
On peut satisfaire à ces équations :
I® £n posant
dCi =■ O, dCf rz: O,
d'où
Cl = coDst. , Cf = const. ;
on retombe ainsi sur la solution générale ; 2*^ En posant
anqnel cas les équations (i3) se réduisent à une seule d'entre ellesy par exemple à
Cela posé, des trois équations
Ti=o> ?ï = o, Ar=o
on pourra déduire les valeurs de C|, C29 y^ en fonction de x et de^f . Substituant ces valeurs et leurs différentielles dans l'équation (i4)) ^U^ prendra la forme
Xdx -hY dyi = o,
où X, Y sont des fonctions de j: et de j^i .
Toute solution y^ de cette équation, combinée avec la valeur correspondante de j^2 tirée de A = o, donnera une solution singulière des équations différentielles (12;.
3® Enfin, si les équations
étaient satisfaites par un même système de valeurs de j^i,^a,
l6 TmOISlfcXB PàETIB* — CBAPITRE I.
elles fourDÎraient une nouvelle solution; mais le système de ces équations est généralement surabondant.
11. Le problème de l'intégration des équations difTérentielles (ou des systèmes d'équations différentielles) peut être envisagé sous deux points de vue différents.
On peut se proposer d'obtenir une solution générale. Celle-ci trouvée, les solutions singulières s'en déduiront immédiatement si l'on a affaire à une seule équation, ou s'il s'agit d'un système d'équations différentielles, par l'intégration d'un nouveau système d'ordre moindre que le proposé. On pourra ainsi former le tableau de toutes les solutions possibles.
Mais, dans les applications du Calcul intégral, la question de l'intégration se présente autrement. Les fonctions inconnues sont assujetties, non seulement à satisfaire aux équations différentielles données, mais à d'autres conditions accessoires qui achèvent de les préciser, de telle sorte que le problème ne présente plus rien d'indéterminé.
Considérons, par exemple, le mouvement d'un point dans l'espace. D'après les priocipes de la Mécanique, ce mouvement sera défini par les six équations suivantes :
^^/ iX-yi ^-z'
"^-di"^^ "^-dt"^' "^irt-^^
où m désigne la masse du point; x^y^ z ses coordonnées à l'époque t\ X, Y, Z les composantes de la force qui le sollicite.
Il est clair que la question ainsi posée est encore indéterminée. Mais on pourra achever de la préciser en se donnant, par exemple, la position du point, et les composantes de sa vitesse à l'instant initial ^o* Le problème deviendra, en général, déterminé, et pourra se formuler ainsi :
Trouver six fonctions x, /, 5, a/, y y z' de la variable f,
CQCAT10H8 DIFFtRnfTIELLIS ORDUCilUS. I7
qui satisfassent aux équations différentielles (i5), et qui prennent des valeurs données Xqj y^y z^, x\y y\y z\ pour
La question ainsi posée sera facile à résoudre si Ton peut déterminer la solution générale du système (i5). Cette solution sera, en effet, donnée par un système de six équations
?l = O, . . . , Çi = o
entrer, r, z, x'j y^ z\ t et six constantes arbitraires a%^ ..., ae. En exprimant que ces six équations sont satisfaites lorsqu'on y pose t = tfif x = Xo^ . . . , ^ == V^, on obtiendra six éqaations de condition pour déterminer les valeurs de ai , . . ., a^ correspondantes à la solution particulière que Ton cherche. Mais ce n^est que dans des cas très spéciaux qu'on sait obtenir la solution générale d'un système d'équations différentielles. On se trouvera donc réduit le plus souvent à étudier la solution particulière qui satisfait au problème déterminé que Ton a en vue. Il existe pour traiter cette nouvelle question des procédés d'approximation numérique que nous exposerons plus tard, et qui seraient inapplicables au problème plus étendu, mais plus vague, de la recherche de la solution générale.
n. — Équations dn premier ordre.
12. Considérons une équation différentielle du premier ordre ramenée à la forme normale
dx
ou
\\) dy — Xdx=^o.
Au lieu de cette équation, on peut considérer, avec Eulcr,
J. . Cours, III. a
l8 TROISIËMB PARTU. — CHAPITRE I.
la suivante
(a) \i.dy — jjlXûTîc^o,
où |x est une fonction de x^ y choisie à volonté.
L'équation (2) est, en effet, équivalente à (i), tant que |jl n^est ni nul ni infini. La seule différence est qu'elle pourra admettre la solution nouvelle |x:=o, ou perdre la solution
Supposons le facteur [x choisi de manière que le premier membre de Téquation (a) soit une différentielle exacte. On pourra déterminer, par de simples quadratures (t. II, n^ 161 ), une fonction cp, telle que Ton ait
df^^=i^dy — jjlX dx.
Lors même que ces quadratures ne pourraient s'effectuer exactement, il sera toujours possible de déterminer, avec telle approximation que l'on voudra, la valeur de f pour chaque s}^stème de valeurs de Xy y.
Cela posé, l'équation (2) se réduit à
et donne immédiatement
ç = const.
Le problème de l'intégration sera donc résolu dès qu'on aura déterminé, soit la fonction <p, soit le multiplicateur {x, d'où <p peut se déduire par quadrature.
