FORMATION DES ÉQUATIONS DIFFÉRENTIELLES

Définition des équations différentielles.

186. Lorsqu'une équation exprime une relation entre une fonction et ses dérivées, on la nomme équation différentielle. Nous avons eu déjà l'occasion (146j d'utiliser des équations différentielles pour la recherche des dérivées de certaines fonctions. L'étude des équations de ce genre est d'ailleurs un des sujets les plus importants que nous ayons à traiter.

Une fonction d'une variable étant donnée, l'équation différentielle à laquelle elle satisfait n'est pas déterminée. Si, en effet, on différentie l'équation y = (p (j?) pour

en déduife -^ = y' (a?), toute combinaison de ces deux équations fournira une relation entre a?, ^ et ^ ? c'est-k-dire une équation différentielle à laquelle satisfait j. Soit, par exemple, la fonction

et ces deux équations donnent les relations

auxquelles on pourrait évidemment en adjoindre une infinité d'autres. Si dans ces équations on considère y comme inconnue, elles admettent la solution commune y = e^^, mais chacune d'elles peut en avoir, et en a effectivement, une infinité d'autres.

187. On peut se proposer de combiner l'équation qui définit une fonction avec celle qui fait connaître la dérivée de cette même fonction, de manière à remplir une certaine condition que l'on aura en vue. On peut, par exemple, profiter de l'indétermination que comporte une sefnblable opération pour faire disparaître un radical, ou une exponentielle, ou un sinus, etc., qui figurent dans l'expression de la fonction et que l'on ne veut pas conserver dans l'équation différentielle.

J90 PREMIÈRE PARTIE. - CALCUL DIFFÉRExNTlEL.

Soit, par exemple, Téquation

on en déduit

Si Ton a, par exemple, on en déduira

où il n'y a plus de radical.

Soit encore

ant

dx m<f' {x)

y=sli — x\

dx X

r = sin(p(j:),

on en dçduit

et si Ton veut éliminer les lignes trigonométriques sin y {x) et cos 9 {x), on trouve

On pourrait donner un grand nombre d'exemples analogues, mais nous nous bornerons à répéter que Téquation différentielle à laquelle satisfait une fonction donnée est essentiellement indéterminée. C'est pour cette raison que l'on peut, comme on vient de le voir, lui imposer des conditions relatives à la forme qu'elle doit avoir.

Élimination des constantes.

188. Lorsqu'une fonction donnée contient dans son expression une constante arbitraire, on peut se proposer de former une équation différentielle à laquelle elle satisfasse, et dont cette constante ait disparu. Le problème est toujours possible et déterminé. Soit, en effet, une équation

UVBE PREMIER. - ÉTUDE DES DIFFÉRENTIELLES ET DES DÉRIVÉES. m

dans laquelle a désigne une constante arbitraire. On obtient, en la difTérentiant,

, , d¥ d¥dr

et en éliminant a entre les équations (i) et (2), on formera Téquation différentielle demandée. Cette équation pourrait être obtenue par un autre calcul. On pourrait, par exemple, résoudre l'équation (i) par rapport à a, et la différentier après lui avoir donné la forme

la constante se trouverait immédiatement éliminée et Ton obtiendrait l'équation

û[? rfj rfr dx dy dx

On peut, plus généralement, transformer d'une manière quelconque l'équation proposée avant de la différentier; l'élimination de la constante a pourra donner lieu à des calculs très-différents, mais le résultat final est le même dans tous les cas. Quand on a, en effet,

a étant arbitraire, il est permis de choisir à volonté une valeur de x et la valeur correspondante dej; mais, le choix une fois fait, l'équation ( 1 ) détermine a et il n'y

a plus rien d'arbitraire dans l'expression de y en x\ -^ est donc complètement

déterminé. ^ étant déterminé lorsque l'on se donne x et y, la relation qui lie x, y

et -^ est évidemment déterminée et doit restei: la même, quel que soit le moyen employé pour l'obtenir.

189. Lorsqu'une équation entre deux variables x eiy contient plusieurs constantes arbitraires, on peut les éliminer et former une équation différentielle dans laquelle elles ne figurent plus, mais il faut, pour cela, introduire des dérivées successives dey en nombre précisément égal à celui des constantes.

Soit l'équation

où C,, Cj, . . ., C„ désignent des constantes arbitraires. En la différentiant n fois de suite, on formera n équations nouvelles qui, réunies à la proposée, permettront d'éliminer les n constantes. Mais on peut procéder de bien des manières différentes pour atteindre le même but. On peut, en ef^et, transformer l'équation (1) avant' de la différentier; on peut aussi transformer d'une manière quelconque celles qui ré-

sultent (le la différentiation de (i) en substituant à Tune d'elles, avant de faire une différentiation nouvelle, le résultat de sa combinaison avec toutes les précédentes. Ou peut, par exemple, éliminer la constante C, entre Téquation (i) et sa dérivée, puis éliminer C2 entre Téquation différentielle ainsi obtenue et sa dérivée, et continuer ainsi jusqu'à l'élimination de toutes les constantes. Or il est bien digne de remarque que toutes ces méthodes donnant lieu à des calculs très-différents, conduisent cependant au même résultat final. L'équation (i) contenant en effet n constantes arbitraires distinctes, on peut se donner, arbitrairement, pour upe valeur donnée de a?, les valeurs correspondantes de j et de ses n — i premières dé-

dy d^v d*"^^ y

rivées :f , -rr'"' 1 — -,' Mais ces n conditions déterminent les n constantes, et y •dx dx* dx"-^ *^

d'^Y devient une fonction déterminée de a? ; -7-^ est par conséquent déterminée. Cette

•» dv /ï*~*' %'

^ieme dérivée étant déterminée lorsqu'on se donne 00, y, ^ ' " * ' T"^' l'équation

qui la lie à ces diverses quantités est déterminée et doit rester la même, quel que soit le moyen employé pour y parvenir.

190. Pour donner un exemple d'élimination des constantes, formons l'équation différentielle du troisième ordre à laquelle satisfait la fonction y définie par l'équation

représentant tous les cercles tracés dans un plan. En différentiant trois fois, on a

on déduit de ces deux dernières équations, par l'élimination de (y — b\

[-(£)■] g-41SV=».

c'est l'équation différentielle demandée.

Elimination des constantes dans une équation qui contient plusieurs

variables indépendantes.

191. La différentiation permet d'éliminer les constantes d'une équation dans laquelle figure une fonction de plusieurs variables, absolument comme dans le cas où il n'y a qu'une seule variable indépendante.

Soit Téquation

ff{x, X, a, b, z)=o,

qui définit z en fonction de x et de y, et de deux constantes arbitraires. En,

difPéreutiant par rapport à x, puis par rapport à y, on obtient deux équations qui,

réunies à la proposée, permettent d'éliminer a et b.

d^ z d^ z d* z En introduisant les dérivées du second ordre, ^-^^ ^-j- > -p^^ on pourra éliminer

cinq constantes; on en éliminerait neuf en introduisant les dérivées du troisième ordre, et ainsi de suite.

192. Il existe une différence importante entre les équations obtenues comme il vient d'être dit et celles qui résultent de l'élimination des constantes dans les équations à une seule variable indépendante. Dans ce dernier cas, en effet, l'équation obtenue a le même degré de généralité que. la proposée et peut la remplacer entièrement. De même qu'elle est déduite de la première, on pourrait, en la prenant pour point de départ, retrouver celle-ci. C'est là un théorème de calcul intégral dont nous ne pouvons donner ici la démonstration, mais qui sera établi plus tard ; or on peut voir, dès à présent, qu'il en est tout autrement dans le cas de deux ou plusieurs variables indépendantes : l'équation trouvée entre les dérivées partielles de la fonction est beaucoup plus générale que celle qui lui a donné naissance.

Considérons, en effet, une équation de la forme

(i) ff{x, X, a, b, z) = Q,

En prenant les dérivées successives par rapport à a? et à j^, on pourra former deux équations du premier ordre, trois du second, quatre du troisième, et ainsi de suite. Si donc on veut introduire les dérivées du second ordre, on aura

dz dz d^z d^z d^ z . ,,,,. . > ,

SIX équations entre x, y, z, j-, ^ ' ji » ^ ' , , -> qui, par 1 élimination des constantes a et 6, donneront quatre équations entre ces diverses quantités. L'équation différentielle entre a?, y^ ^^ -t-^-t- ^^ donnera au contraire que deux équations

du second ordre que l'on obtiendra en la différentiant par rapport à a: et par rapport à j. Ces deux équations, réunies à la proposée, en font trois seulement au lieu de quatre, et par suite, en considérant les dérivées de z jusqu'au second ordre inclusivement, on voit que l'équation (i) leur impose un plus grand nombre de conditions que l'équation différentielle qui s'en déduit. La différence augmente encore •si l'on considère les dérivées du troisième ordre. L'équation proposée, différentiée par rapport à a? et par rapport à y jusqu'au troisième ordre inclusivement, donnera L 25

iOi PREMIÈRE PARTIE. - CALCUL DIFFÉRENTIEL.

, ,,.,,. , dz d'z d'z d'z d'z d'z d'z d'z ^

en tout dix relations entre x, j, z, ^, ^, ^^, ^, ^, 5^^, ^^-, ^, et

les deux constantes; il y aura donc huit relations indépendantes des constantes entre x, y, z et les dérivées de z jusqu'à celles du troisième ordre inclusivement. Or, en prenant pour point de départ l'équation différentielle débarrassée des constantes, on en déduit deux équations du second ordre et trois du troisième, ce qui fait six relations, en tout, entre ces mêmes dérivées auxquelles l'équation primitive en impose huit. Ce seul rapprochement fait comprendre que l'équation différentielle laisse a la fonction z une plus grande latitude que l'équation primitive.

193. On peut démontrer d'une autre manière que l'équation obtenue en éliminant deux constantes a et b entre l'équation

et ses dérivées, admet ufle infinité de solutions non comprises dans l'équation qui lui a donné naissance. Soit, en effet,

cette équation différentielle, à laquelle satisfait, par hypothèse, la fonction z déduite de l'équation (i), quelles que soient les valeurs qu'on y attribue aux constantes a et b. Nous pouvons remarquer d'abord que les surfaces représentées par l'équation (1) ont une enveloppe que chacune d'elles touche en un point; l'équation de cette surface enveloppe, s'obtient en éliminant a et b entre l'équation (1)

et les dérivées de cette équation par rapport aux constantes a et b. Soit

le résultat de cette élimination. Cette équation (3) fournit pour z une expression en X ety qui satisfait à l'équation (2), car en chaque point de la surface enveloppe

les quantités x, y, z, -j-, -^ ont les mêmes valeurs que pour celle des surfaces

enveloppées qui est touchée en ce point, et par conséquent la relation (a), qui a lieu pour tous les points de toutes les surfaces enveloppées, a lieu aussi pour la surface enveloppe.

Mais on peut obtenir une infinité d'autres équations qui, pour une raison toute semblable, partagent la propriété reconnue à l'équation (3). Établissons, en effet, entre les constantes a et 6 une relation arbitraire b=f[a), l'équation (r) deviendra

et, ne contenant plus qu'un seul paramètre a, cette équation représente une série

de surfaces dont Tenveloppe touche chacune d'elles, non plus en un point, mais suivant une ligne. L'équation de cette enveloppe s'obtiendra en éliminant a entre l'équation (4) et sa dérivée par rapport à a, et il est évident que Ton obtiendra ainsi

l'équation d'une nouvelle surface pour tous les points de laquelle x, y, z^ -j--» -j-,

seront les mêmes que pour un point convenablement choisi de l'une des surfaces primitivement données; l'équation (a) sera par conséquent satisfaite par la fonctions déduite de cette nouvelle relation. Mais, cette fois, l'introduction de la (onction arbitraire/(a) permet d'obtenir un nombre infini de résultats différents, ce qui montre que, conformément à nos prévisions, l'équation (i) est bien loin d'être la solution générale de l'équation différentielle que l'on en déduit.