X' cosX
et, prenant de nouveau les fonctions primes,
7"=X"cosX-X'2sinX;
donc, éliminant de ces trois (''([iiations sinX ot cosX, on aura celte équation dérivée du second ordre
xy-x'y 4-x'-',)-==o,
où il n'y a plus de transcendantes; on trouvera la même équation en faisant y = cosX.
Si l'on t'ait ici pour X et y les mêmes substitutions que ci-dessus (n*' 42), et qu'après avoir ordonné les termes suivant les puissances de aon égale à zéro la somme de tous ceux (jiii se trouveront multipliés par la même puissance de x, on aura autant d'équations particulières qui serviront à déterminer les coefficients indéterminés de l'expression supposée de y par les deux qui précèdent. A l'égard des deux premiers, ils demeureront indéterminés; mais il faudra les déterminer de manière que l'équation primitive et l'équation prime aient lieu en faisant ^==0. Or l'équation y =sinX devient alors A = sina, et l'équation y ' = X'cosX devient lî = bcosa.
M. Non-seulement l'équation dérivée du second ordre que nous venons de trouver peut servir à développer en série la valeur de sinX ou cosX; elle peut servir aussi à trouver une autre transformation de cette valeur au moyen des exponentielles.
Supposons, Jen effet, }'==e^, e étant le nombre dont le logarilbmc byperbolique est l'unité (n" 12) et V une fonction indéterminée de x. En prenant les fonctions primes et secondes, on aura
et, ces valeurs étant substituées dans l'équation dont il s'agit, on aura, après la division par la quantité e^ qui en multiplie tous les termes,
J'observe qu'on peut satisfaire à cette équation en faisant
\' = mX', IX. 12
m étant un coefficient constant, ce qui donne V"= mX"; car, substituant ces valeurs, l'équation se réduit à
(n-//i2)X'--'==o; donc
M-/?i-=^o ei m = si — '•
yVinsi Ion aura
et de là, en remontant à l'équation primitive,
a étant une constante arbitraire; donc
on élisant e" — X pour plus de simplicité. On aura donc
et, comme le radical \j—i peut être pris également en plus et en moins, on aura également
B étant une autre constante arbitraire; en effet, il est aisé de voir que cbacune de ces deux valeurs satisfait à l'équation
xy'-XY'+x'\r = o,
et l'on voit aussi facilement que leur somme y satisfait encore, parce que les quantités j, y', y" n'y sont que sous la forme linéaire, de sorte (ju'on aura, en général,
A et B étant de nouveau deux coclficients indéterminés comme cidessus.
Cette expression de j convient également à sinX et à cosX ; la diffé-
renoe consiste dans les constantes A et B, <|ui doivent se déterminer par la comparaison des valeurs de y et de y' pour une valeur quelconque de X. Ainsi, puisque sinX doit devenir nul lorsque X — o par la nature des sinus, il faudra que l'on ail
de plus,/' étant égal à X'cosX et l'expression précédente de j donnant
7'=X'(Ae^v'^Be-xv'-i)^Zrr,
on aura
cosX = (Ae^>'^— Be-^^^)v'^^.
Faisant X — o, on sait que cosX -- i ; donc
Ces deux équations donnent
A =—4= ei B = =;
donc enfin
sinX
d V - 1 on trouvera de la même manière
cosX
expressions connues et que nous avions déjà trouvées par une autre voie (n° 22).
45. Dans les exemples précédents, nous avons cherché l'équation dérivée et nous avons ensuite déterminé par cette équation la valeur de la fonction primitive j. Celte dernière opération est, comme l'on voit, l'inverse de celle par laquelle on descend de la fonction primitive aux fonctions dérivées; elle peut toujours s'exécuter par le moyen des séries, en employant, comme nous l'avons fait, une série avec des
coefficients indéterminés, et faisant dos équations séparées des termes alïectés de chaque puissance de a:-. De cette manière, on détermine les coefficients les uns par les autres, et l'on a souvent l'avantage d'apercevoir la loi générale qui règne entre ces coefficients.
Mais on peut aussi trouver immédiatement chaque coefficient par la méthode des n"^ 33 et suivants, car il n'y a qu'à chercher successivement les valeurs des fonctions dérivées, et, si l'on désigne par (y), {y'), {y"), ■•■ les valeurs der, y', j", ... lorsque ^ — o, oa a, en général,
jr--=.(j-)-)-^(/) + ^(r") -+-••■•
Cette formule a l'avantage de faire voir pourquoi il reste des coefficients indéterminés, comme nous l'avons trouvé ci-dessus. En effet, si l'on veut déterminer la valeur de y par une équation dérivée du premier ordre, cette équation donnera la valeur de y' en x et y, et de là on trouvera une équation du second ordre en y", y', y, x, une équation du troisième en y'", y", y', y, •^, et ainsi de suite, de sorte que, en substituant successivement dans ces équations les valeurs dey', y", . .. données par les équations précédentes, on aura en dernière analyse y', y", y'", . . . expiimés en .x et y. Donc, faisant a? — o, on aura [y'), [y"), {y'"), • .. exprimés en (y), qui demeurera indéterminé.
De même, si l'on ne fait dépendre la détermination de j que d'uni; équation dérivée du second ordre en a-, y, y' et y", on en tirera successivement une équation tierce entre x,y,y', y", y'", et ainsi de suite, et, par des substitutions successives, on aura en dernière analyse y", y'", ... donnés en x,y,y', de sorte que, en faisant ^r -= o, on aura les valeurs de (y"), (j"')» (.7'")» ••• exprimées en [y) et (/'), ces deux (juantités demeurant indéterminées, et ainsi de suite.
Ainsi, lorsqu'on part d'une équation dérivée du premier ordre il reste une indéterminée [y), lorsqu'on part d'une équation du second ordre il reste deux indéterminées [y] et {y'), et ainsi de suite, et l'on voit que ces indéterminées sont constantes, puisque ce sont les valeurs de j', y', y", . . . lorsque x= o.
40. Quoique la conclusion précédente soit fondée sur la théorie des séries, il n'est pas difTicile de se convaincre qu'elle doit avoir lieu généralement (|uelle ([ue soil l'expression de y, puisqu'on peut toujours regarder une expression en série comme le développement d'une expression linie. Mais, comme c'est là une propriété caractéristique des é(]ualions dérivées entre deux variables, il est important de l'établir sur la nature même de ces équations.
Considérons donc, en général, l'équation à deux variables ¥{x,y) = o, et désignons simplement par Y{x, y)' — o son équation prime, par ¥{x,y)"=:o l'équation seconde, et ainsi de suite, en regardant x cXy comme variables à la fois. Soient a, b,c, . . . des constantes quelconques contenues dans la fonction ¥{cc, y) ; ces constantes seront les mêmes dans les fonctions dérivées. Ainsi, puisque les équations Y{cc, y)^=o (t Y(x, y)' = o ont lieu en même temps, on pourra en éliminer une constante a, et l'équation résultante sera une équation du premier ordre entre oc, y et y', qui renfermera une constante de moins que l'équation primitive et qui aura par conséquent lieu en même temps que celle-ci. De même, les trois équations F(^,j) = o, F(^,j)'=o, Y[cc, y)"= o ayant lieu à la fois, on pourra en éliminer deux constantes a, h, et l'équation résultante sera une équation du second ordre entre x, y, y' et j", qui renfermera deux constantes de moins que l'équation primitive et qui aura lieu en même temps qu'elle; et ainsi de suite.
Donc, puisque dans les équations à deux variables une équation du premier ordre peut renfermer une constante de moins que l'équation primitive, une équation du second ordre peut renfermer deux constantes de moins que l'équation primitive, et ainsi de suite, il s'ensuit réciproquement que l'équation primitive doit contenir une constante de plus que l'équation dérivée du premier ordre, deux constantes de plus que l'équation dérivée du second ordre, et ainsi de suite, constantes qui seront par conséquent arbitraires, et il est visible en même temps qu'elles ne sauraient en contenir davantage, puisqu'on ne pourrait pas les faire disparaître toutes par le moyen des équations dérivées.
Donc, si l'on n'a pour la détermination d'une fonction qu'une équation du premier ordre, ou du second, ou etc., l'équation primitive, prise dans toute sa généralité, devra contenir une constante arbitraire, ou deux, etc., suivant l'ordre de l'équation donnée, et l'on déterminera ces constantes par des valeurs particulières données de la fonction ou de ses dérivées.
Si donc on trouve d'une manière quelconque une équation en x et v qui satisfasse à une équation donnée d'un ordre quelconque et qui renferme autant de constantes arbitraires qu'il y a d'unités dans l'indice de cet ordre, on en conclura que cette équation sera l'équation primitive de l'équation donnée et pourra, dans tous les cas, être employée à la place de celle-ci.
47. Au lieu d'éliminer à la fois les deux constantes a et b des trois équations F(.r, y) = o, F(^,j)' = o, Y{x, y)"— o, on peut n'éliminer d'abord que la constante ^ ou a des deux premières; on aura ainsi deux équations du premier ordre, dont l'une ne renfermera que la constante a et l'autre la constante b. Si maintenant on élimine de chacune de ces équations la constante a ou b par le moyen de son équation prime, on aura deux équations du second ordre sans a ni b, (jui devront coïncider avec l'équation résultante de l'élimination simultanée de ces constantes par le moyen des trois équations Y{x, y) = o, F{cc, y)' = o, F(^, y)" — o, parce que la valeur de y" que ces équations du second ordre donneront, et qui sera exprimée en a:, y et y', sans a ni b, ne peut qu'être la même, de quelque manière qu'elle soit déduite de l'équation primitive.
D'où l'on peut conclure qu'une équation du second ordre peut être dérivée de deux équations différentes du premier ordre renfermant chacune une constante arbitraire de plus.
El l'on prouvera de la même manière qu'une é(juation du troisième ordre pourra être dérivée de trois équations différentes du second ordre renfermant chacune une constante arbitraire, et ainsi de suite.
En même temps on voit que, si pour une équation donnée du second
ordre on on trouve deux du premier ordre qui satisfassent chacune à cette équation et qui renferment chacune une constante arbitraire a ou b, on en pourra déduire immédiatement l'équation primitive, car il sulïira de chasser de ces équations hi quantité y', et l'on aura une équation en x etj, avec deux constantes arbitraires a et h.
Il en sera de même pour les équations du troisième ordre, car, si Ton trouve trois équations du second ordre qui satisfassent chacune à une équation du troisième ordre et qui aient en même temps les constantes arbitraires a, h, c, on aura, en éliminant j' etj", une équation en X, y et a, b, c, qui sera par conséquent l'équation primitive de l'équation donnée, et ainsi de suite.
18. Mais, si pour une équation du second ordre on en trouve deux (lu premier ordre qui y satisfassent et dont une seule renferme une constante arbitraire, alors, en éliminant y', on aura une équation en oc et y qui ne renfermera qu'une constante arbitraire et qui ne sera pas l'équation primitive complète de la proposée du second ordre. Mais cette équation satisfera également aux deux du premier ordre, puisqu'elle satisfait à celle du second ordre, qui est également dérivée de ces deux-ci ; donc elle pourra être regardée comme l'équation primitive complète de l'équation du premier ordre qui ne renferme point de constante arbitraire. D'où je conclus qu'étant proposée une équation du premier ordre en ,v,y ely', si l'on en déduit d'une manière quelconque une équation du second, soit en éliminant une constante ou non et qu'ensuite on trouve une autre équation primitive du premier ordre, avec une constante arbitraire a, on aura, par l'élimination de j' entre celle-ci et la proposée, une équation en x et y qui contiendra la constante arbitraire a et qui sera par conséquent l'équation primitive complète de la proposée.
Un prouvera de la même manière que, si de la proposée du premier ordre on déduit une équation du troisième ordre, et qu'ensuite on trouve pour celle-ci une équation primitive du second avec une constante arbitraire dans laquelle la proposée ne soit pas renfermée, il
n'y aui'y qu'à éliininei' les v" el y' au moyen de la proposée, el l'on aura une équation en x et y qui renfermera une constante arbitraire et qui sera par conséquent l'équation primitive complète de la proposée; et ainsi de suite.
On peut appliquer le même raisonnement aux équations des ordres supérieurs au premier et en tirer des conclusions semblables.
Le sujet de ce Cbapitre est traité avec plus de détail dans les Leçons X, XI et XII du Calcul des fonctions {'), où le lecteur trouvera une analyse complète des sections angulaires.
(*) Œuvres de Lngrange, t. X.
