LEÇON SEIZIÈME.
Équations dérivées qui ont des équations primitives singulières données. Analyse d’une classe d’équations de tous les ordres qui ont toujours nécessairement des équations primitives singulières.
Si les équations primitives singulières ont moins d’étendue que les équations primitives proprement dites, parce qu’elles ne renferment aucune constante arbitraire, on peut les regarder, sous un autre point de vue, comme plus générales que celles-ci, parce qu’une même équation primitive singulière peut répondre à une infinité d’équations dérivées ; et c’est un problème indéterminé de trouver une équation dérivée qui ait une équation primitive singulière donnée. Comme ce problème est curieux, et qu’il peut être utile dans plusieurs occasions, nous allons en donner ici une solution, pour servir de complément à notre théorie des équations primitives singulières.
Représentons par
![{\displaystyle \operatorname {F} (x,y,a,b)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6aecdbd06bc6d4889921d552fc8fd9d58e395089)
une équation primitive entre
et deux constantes
et
dont l’une soit une fonction quelconque de l’autre, ou qui dépendent, en général, l’une de l’autre par l’équation
![{\displaystyle \Phi (a,b)=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c8421ac1300c52a838754cd74cd86dec523b3777)
On aura l’équation dérivée qui en résulte, en éliminant ces deux constantes au moyen des trois équations
![{\displaystyle \operatorname {F} (x,y,a,b)=0,\quad \operatorname {F} '(x,y)=0,\quad \Phi (a,b)=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0040cd7ab1c542e6e7087dce16f6ebe39e02b68f)
Donc, si l’on tire des deux premières les valeurs de
et
en fonctions de
et qu’on désigne ces valeurs par
![{\displaystyle \varphi (x,y,y')\quad {\text{et}}\quad \psi (x,y,y'),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a97a863a34a49a289513e4eaa6c4736170c2d7ff)
on aura l’équation dérivée en substituant ces fonctions à la place de
et
dans l’équation de condition
![{\displaystyle \Phi (a,b)=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c8421ac1300c52a838754cd74cd86dec523b3777)
Ainsi, en mettant simplement
et
pour les fonctions dont il s’agit, l’équation dérivée sera
![{\displaystyle \Phi (\varphi ,\psi )=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5067010daf4d01ffc1386821c693118324f571c4)
Donc, réciproquement, toute équation dérivée de cette forme aura pour équation primitive
![{\displaystyle \operatorname {F} (x,y,a,b)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/de5ce52f0c77745f80310332571847c7050f879e)
les deux constantes
et
étant liées par l’équation
![{\displaystyle \Phi (a,b)=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b0aa0ee277fe87391ffb7caba6ae1ca1085e06a)
et l’on aura en même temps les deux équations
![{\displaystyle \varphi (x,y,y')=a,\quad \psi (x,y,y')=b.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/266d6fa93806e7e2ca8c2814df3386f8ea810459)
Donc toute valeur de
en
qui satisfera à la même équation
![{\displaystyle \Phi (\varphi ,\psi )=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a94fbf9180b28e59669aa667491a8396486485df)
et qui ne rendra pas les fonctions
et
constantes, ne pourra pas être comprise dans l’équation primitive générale, et sera par conséquent une valeur singulière.
Soit
![{\displaystyle y=\Sigma (x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab96d0add6822725783e3e081fb37e54270753a1)
cette valeur singulière,
étant une fonction donnée de
en substituant
et
au lieu de
et
dans les fonctions et, elles deviendront de simples fonctions de
et, éliminant
entre elles, on aura une équation
et
qu’on prendra pour l’équation
![{\displaystyle \Phi (\varphi ,\psi )=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1dd6614c979276056edd534cc7e94a30feac3eea)
ainsi l’équation
![{\displaystyle y=\Sigma (x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab96d0add6822725783e3e081fb37e54270753a1)
satisfera à l’équation
![{\displaystyle \Phi (\varphi ,\psi )=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1dd6614c979276056edd534cc7e94a30feac3eea)
mais, ne rendant pas les fonctions
et
constantes, elle ne sera pas comprise dans l’équation primitive générale, et ne sera, par conséquent, qu’une équation primitive singulière.
La solution se réduit donc à ceci : soit
![{\displaystyle y=\Sigma (x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab96d0add6822725783e3e081fb37e54270753a1)
la valeur singulière donmée de
en fonction de
Ayant pris une équation quelconque
![{\displaystyle \operatorname {F} (x,y,a,b)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6aecdbd06bc6d4889921d552fc8fd9d58e395089)
en
et deux constantes
et
de cette équation et de son équation dérivée
![{\displaystyle \operatorname {F} '(x,y)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b697c3d9b895aeb027a06c261151c8896570dc32)
on tirera les valeurs de
et
en fonctions de
on substituera dans ces valeurs
et
à la place de
et
on aura deux équations qui, par l’élimination de
en donneront une en
et
que je représente par
![{\displaystyle \Phi (a,b)=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c8421ac1300c52a838754cd74cd86dec523b3777)
Si maintenant on substitue dans cette équation à la place de
et
leurs premières valeurs en fonctions de
on aura l’équation dérivée dont
![{\displaystyle y=\Sigma (x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab96d0add6822725783e3e081fb37e54270753a1)
sera l’équation primitive singulière, et dont
![{\displaystyle \operatorname {F} (x,y,a,b)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6aecdbd06bc6d4889921d552fc8fd9d58e395089)
sera l’équation primitive ordinaire, les constantes
et
étant l’une fonction de l’autre déterminée par l’équation
![{\displaystyle \Phi (a,b)=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c8421ac1300c52a838754cd74cd86dec523b3777)
Prenons, par exemple, l’équation
![{\displaystyle y^{2}-ax^{2}-b=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/22c5845a29e7b2fc82128fac2df4c7f8ecd8e183)
son équation dérivée sera
![{\displaystyle yy'-ax=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f31c787f8290cb166095277647f7272e7971c92)
et l’on tire de ces deux équations
![{\displaystyle a={\frac {yy'}{x}},\quad b=y^{2}-xyy'.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9722192771bad449fdf2432cca735992701b9336)
Supposons maintenant que l’on ait l’équation primitive singulière
![{\displaystyle y-\mathrm {A} x-\mathrm {B} =0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f73dbe1b40af0e243fd3ad9850c7685792d402d8)
elle donne
![{\displaystyle y=\mathrm {A} x+\mathrm {B} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fef31a4af734534fddbc402b6162d04f55c765c0)
donc
![{\displaystyle y^{2}=\mathrm {A} ^{2}x^{2}+2\mathrm {AB} x+\mathrm {B} ^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f07f69fd36f0af6fc11b91dfb465f1fee87b946)
et
![{\displaystyle yy'=\mathrm {A} ^{2}x+\mathrm {AB} \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/914cba167359eac0e0611ebad269221a69d999c8)
de sorte que, par ces substitutions, les valeurs de
et
deviendront
![{\displaystyle a=\mathrm {A} ^{2}+{\frac {\mathrm {AB} }{x}},\quad b=\mathrm {AB} x+\mathrm {B} ^{2}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8bc35bc6d6015e2795ece1f6961d370161460b4f)
d’où l’on tire, en éliminant
cette équation en
et ![{\displaystyle b,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bdb96677ba71b937617ca8751955f884f6306b64)
![{\displaystyle \left(a-\mathrm {A} ^{2}\right)\left(b-\mathrm {B} ^{2}\right)-\mathrm {A^{2}B^{2}} =0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab47f9695cb7c770e597a69a179de33f90a420fe)
savoir,
![{\displaystyle ab-\mathrm {B} ^{2}a-\mathrm {A} ^{2}b=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c0d1a5a90f2d326786087f2eb75b52e36ab0f9b9)
Donc, substituant ici les premières valeurs de
et
en
on aura l’équation du premier ordre
![{\displaystyle {\frac {yy'}{x}}\left(y^{2}-xyy'\right)-\mathrm {B} ^{2}{\frac {yy'}{x}}-\mathrm {A} ^{2}\left(y^{2}-xyy'\right)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d9fccbfc288dc16920d36694f48e133dc93a0a0)
dont celle-ci
![{\displaystyle y-\mathrm {A} x-\mathrm {B} =0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d327439a1b9cbacd4717298469f6001fb94a0bc7)
sera l’équation primitive singulière.
Son équation primitive ordinaire sera
![{\displaystyle y^{2}-ax^{2}-b=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/67a87673e80fad22415d9eaba69ff655113941b1)
en supposant entre
![{\displaystyle a}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)
et
![{\displaystyle b}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f11423fbb2e967f986e36804a8ae4271734917c3)
l’équation ci-dessus
![{\displaystyle ab-\mathrm {B} ^{2}a-\mathrm {A} ^{2}b=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/33843b9bbddad049e530ec09fad5b39aca832faa)
de sorte que, comme cette équation donne
![{\displaystyle b={\frac {\mathrm {B} ^{2}a}{a-\mathrm {A} ^{2}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0294bb70fcfc99cea1067e92d4df62b37e6f79d7)
l’équation primitive sera
![{\displaystyle y^{2}-ax^{2}-{\frac {\mathrm {B} ^{2}a}{a-\mathrm {A} ^{2}}}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2172940b530eb69f3adea700ed22cf6085136f51)
étant la constante arbitraire.
En effet, si l’on cherche l’équation primitive singulière d’après celle-ci, on aura, en prenant les fonctions dérivées par rapport à
![{\displaystyle -x^{2}+{\frac {\mathrm {B^{2}A^{2}} }{\left(a-\mathrm {A} ^{2}\right)^{2}}}=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/42b5bd969afa358b71b6c8cb872d06ef3f569a92)
d’où l’on tire
![{\displaystyle a=\mathrm {A} ^{2}\pm {\frac {\mathrm {BA} }{x}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c16bc692b36f447f709e711543aa4312e883042e)
Substituant cette valeur dans la même équation, on aura
![{\displaystyle y^{2}-\mathrm {A} ^{2}x^{2}\mp 2\mathrm {AB} x-\mathrm {B} ^{2}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/08df919bc72df6ff58533d7cfcb26367bb65eddc)
ce qui donne
![{\displaystyle y=\pm \mathrm {A} x\pm \mathrm {B} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/44fb3b053862f1b9df24ad6618802b397895845a)
où les signes ambigus sont à volonté.
En général, il est facile de voir qu’on aura le même résultat
![{\displaystyle \Phi (a,b)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f639df19038c3872f1a61011361e278de795f83)
en substituant d’abord, dans l’équation supposée
![{\displaystyle \operatorname {F} (x,y,a,b)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/de5ce52f0c77745f80310332571847c7050f879e)
la valeur donnée
![{\displaystyle y=\Sigma (x),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/abd6afa1823376ad54df9c395fb17a96f1b44135)
et éliminant ensuite
par le moyen de son équation prime, relative à ![{\displaystyle x.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d07e9f568a88785ae48006ac3c4b951020f1699a)
Or si l’équation
![{\displaystyle \Phi (a,b)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6eb76e61f925bb901681dcc2aa972cea6ecf865a)
donne
![{\displaystyle b=\psi (a),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ec280589fb70977e68bfda5224287c012d5c2ef)
et qu’on substitue cette valeur à la place de
il s’ensuivra que l’équation
![{\displaystyle \operatorname {F} \left[x,\Sigma (x),a,\psi (a)\right]=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/24092633b29d1b16be996dad5fbcc06bfeb4c1df)
aura lieu en même temps que son équation prime relative à
Mais,
étant alors une fonction de
l’équation prime relative à
et
doit avoir lieu ; donc la partie relative à
aura lieu aussi en particulier ; ce qui est le caractère de l’équation primitive singulière.
Ainsi, ayant pris une équation primitive quelconque en
et
il n’y aura qu’à éliminery au moyen de l’équation primitive singulière donnée, ensuite éliminer
par celle-ci et par son équation prime relative à
on aura sur-le-champ une équation en
et
qui sera l’équation de condition
![{\displaystyle \Phi (a,b)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f639df19038c3872f1a61011361e278de795f83)
par laquelle il faudra déterminer l’une des deux constantes
ou
par l’autre. Ensuite on pourra, d’après la même équation primitive, chercher, si l’on veut, l’équation dérivée par l’élimination de la constante arbitraire.
Dans l’exemple précédent, en substituant
pour
dans l’équation
![{\displaystyle y^{2}-ax^{2}-b=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/67a87673e80fad22415d9eaba69ff655113941b1)
on a
![{\displaystyle \left(\mathrm {A} ^{2}-a\right)x^{2}+2\mathrm {AB} x+\mathrm {B} ^{2}-b=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bcb3ab94f9ca959f4bbbf46b815f42308288f762)
dont l’équation prime est
![{\displaystyle \left(\mathrm {A} ^{2}-a\right)x+\mathrm {AB} =0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7b1b60031a371952803b2cda0c4c1f47a7a8f5d2)
celle-ci donne
![{\displaystyle x=-{\frac {\mathrm {AB} }{\mathrm {A} ^{2}-a}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d0cf962fcccaa593add0202a74b5e58918e830ed)
et cette valeur, substituée dans la première, donne sur-le-champ l’équation de condition
![{\displaystyle \left(\mathrm {A} ^{2}-a\right)\left(\mathrm {B} ^{2}-b\right)-\mathrm {A^{2}B^{2}} =0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c48081ab0126c724381c2dc052025faa8047207b)
comme plus haut.
En prenant d’autres équations en
et opérant de la même manière, on trouvera autant d’équations du premier ordre qu’on voudra, dont la même équation
![{\displaystyle y-\mathrm {A} x-\mathrm {B} =0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d327439a1b9cbacd4717298469f6001fb94a0bc7)
sera l’équation primitive singulière.
On voit aussi que la même équation en
et
pourra donner telle équation primitive singulière qu’on voudra, suivant la relation qu’on établira entre les constantes
et
Enfin on voit que, par ce problème, on peut toujours trouver la relation entre deux constantes
d’une équation donnée en
et
pour que cette équation soit l’équation primitive ordinaire et complète, répondant à une équation primitive singulière donnée.
On peut appliquer la même méthode à la recherche des équations du second ordre ou des ordres supérieurs dont l’équation primitive singulière sera donnée.
Supposons que cette équation soit du premier ordre et représentée par
![{\displaystyle y'+f(x,y)=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d7ac17fa1b84dbb9651d3c6d043d54a36cc421c3)
On prendra une équation quelconque en
et trois constantes arbitraires
On tirera de cette équation et de ses équations prime et seconde les valeurs de
en fonctions de
et
On substituera dans ces fonctions les valeurs de
et
en
et
tirées de l’équation primitive donnée, c’est-à-dire
à la place de
et
à la place de
on aura
exprimées en fonctions de
et
ce qui donnera trois équations, d’où, éliminant
et
il résultera une équation en
que je représenterai par
![{\displaystyle \Phi (a,b,c)=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aab52d7418492d690ba53fd47f6836a0d8d50708)
Cette équation, en y substituant les premières valeurs de
en fonctions de
sera l’équation du second ordre dont la proposée
![{\displaystyle y'+f(x,y)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/efb3634c2b6dea03c1dd67276bf5d484485469e5)
sera l’équation primitive singulière, et l’équation en
![{\displaystyle x,y,a,b,c}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d7e76295ec09fe2e1fd34b93fc37007efed2158)
en sera l’équation primitive en
![{\displaystyle x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
et
![{\displaystyle y,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/99bd9829c9ef4adcb0f9f5d53b27463a873a8e88)
en supposant entre les trois constantes
![{\displaystyle a,b,c}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f13f068df656c1b1911ae9f81628c49a6181194d)
la relation donnée par l’équation
![{\displaystyle \Phi (a,b,c)=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aab52d7418492d690ba53fd47f6836a0d8d50708)
Si l’équation singulière donnée était du second ordre, on prendrait une équation en
et
et quatre constantes
et ainsi de suite.
Supposons que l’équation primitive singulière soit
![{\displaystyle y'=\mathrm {A} y,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0b9effe3feff2a5d0f72a26392c5a1bb077d3d0f)
et prenons l’équation
![{\displaystyle y-{\frac {a}{2}}x^{2}-bx-c=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5307c0bc024717b1e06a823d93ab0d351e1d93ce)
d’où l’on tire les deux dérivées, prime et seconde,
![{\displaystyle y'-ax-b=0,\quad y''-a=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f1df3c73b9a26d66c13eb9a886fba787ef59290)
ces trois équations donnent
![{\displaystyle a=y'',\quad b=y'-xy'',\quad c=y-xy'+{\frac {x^{2}}{2}}-y''.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b7bb297e8397fdf31a6b9ce03ef196a1749f5314)
Mais la proposée donne
![{\displaystyle y'=\mathrm {A} y,\quad y''=\mathrm {A} y'=\mathrm {A} ^{2}y\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2282030f6a8ac61a6b56d4c4fc08274160083c13)
donc, substituant ces valeurs, on aura
![{\displaystyle a=\mathrm {A} ^{2}y,\quad b=\mathrm {A} y(1-\mathrm {A} x),\quad c=y\left(1-\mathrm {A} x+{\frac {\mathrm {A} ^{2}}{2}}x^{2}\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e84a1e59d00eeba14a18c03d0d9753d37fef06aa)
Éliminant
et
on trouve l’équation
![{\displaystyle a^{2}+\mathrm {A} ^{2}\left(b^{2}-2ac\right)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6b5e1572ab90c5623c93ce75c69e6ff46dc8967f)
dans laquelle, en substituant les premières valeurs de
il vient l’équation du second ordre
![{\displaystyle y'^{2}-2\mathrm {A} ^{2}yy''+\mathrm {A} ^{2}y'^{2}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0ed41046b486ba23ca369abdebb98f84048af9cd)
dont la proposée
sera l’équation primitive singulière, et
l’équation supposée
![{\displaystyle y-{\frac {a}{2}}x^{2}-bx-c=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca9b7a337f5f95d24e3bd60f28bac0ee28ec2011)
sera l’équation primitive en
et
en supposant l’équation
![{\displaystyle a^{2}+\mathrm {A} ^{2}\left(b^{2}-2ac\right)=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6776191115510158cf458b7c8e87b2d20607c991)
de sorte que, comme cette équation donne
![{\displaystyle c={\frac {a^{2}+\mathrm {A} ^{2}b^{2}}{2\mathrm {A} ^{2}a}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/395bbb501285d6daa0fa7c23b88b1255fdd5200c)
on aura
![{\displaystyle y-{\frac {a}{2}}x^{2}-bx-{\frac {a^{2}+\mathrm {A} ^{2}b^{2}}{2\mathrm {A} ^{2}a}}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/261c65ff18c121e56b2f78dc515c093db1b1cebc)
et
étant les deux constantes arbitraires.
Les équations de la forme
![{\displaystyle \Phi (a,b,c,\ldots )=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68b62d2c0a31e1423d4312fa73e22da421859479)
que nous venons de considérer, dans lesquelles les quantités
sont les valeurs en
des constantes
tirées d’une équation primitive
![{\displaystyle \operatorname {F} (x,y,a,b,c,\ldots )=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b263abbb0d97f4d0cde564c25ca28666b45dd27e)
et de ses dérivées
![{\displaystyle \operatorname {F} '(x,y)=0,\quad \operatorname {F} ''(x,y)=0,\quad \ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/14847b702eb3be9a4961e80da6ebb8d0ad43f0c2)
constituent une classe remarquable d’équations dérivées qui ont toujours une équation primitive singulière, parce que la dérivée d’une équation de cette classe a nécessairement un facteur du même ordre que l’équation.
Pour le démontrer, soit d’abord
![{\displaystyle \operatorname {F} (x,y,a,b)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6aecdbd06bc6d4889921d552fc8fd9d58e395089)
une équation quelconque en
et deux constantes
et ![{\displaystyle b.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aef051eb30c89e5493d672f6479566c673b0890a)
En regardant ces constantes comme arbitraires, l’équation dont il s’agit sera la primitive d’une équation du second ordre en
et
qui résultera de l’élimination de
et
au moyen des deux équations dérivées
![{\displaystyle \operatorname {F} '(x,y)=0,\quad \operatorname {F} ''(x,y)=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/076102bed4b416138bacce9d8b80ff004cb010a3)
et cette équation pourra toujours, comme nous l’avons vu, se mettre sous la forme
![{\displaystyle y''+f(x,y,y')=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2ea97a3eb3c0d8857b907659366b4321fd1eca72)
Maintenant, si l’on commence par tirer les valeurs de
et
des deux équations
![{\displaystyle \operatorname {F} (x,y,a,b)=0\quad {\text{et}}\quad \operatorname {F} '(x,y)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c82924eda45f61fa6722bf66d44695413b4c07f3)
et que ces valeurs soient représentées par les fonctions
![{\displaystyle \varphi (x,y,y')\quad {\text{et}}\quad \psi (x,y,y')\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e994ef9373db4bfa8be286ed42585b7e45d32f9b)
et il est clair que les deux équations
![{\displaystyle a=\varphi (x,y,y')\quad {\text{et}}\quad b=\psi (x,y,y'),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a83f2681402979f55661756e1caff2104f1a822)
où
et
sont des constantes arbitraires, seront les deux équations primitives du premier ordre de l’équation précédente
![{\displaystyle y''+f(x,y,y')=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7b4681403617e893f112de17c41278d5d4ed450d)
par conséquent, leurs dérivées
![{\displaystyle \varphi '(x,y,y')=0\quad {\text{et}}\quad \psi '(x,y,y')=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d6d2023e4c7da08e768978362f0769ec93a18c9e)
devront coïncider avec cette même équation, en donnant la même valeur de
en
et ![{\displaystyle y'.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/421ef86a37f3e826be46d6200a70f66b222fb198)
Or
![{\displaystyle \varphi '(x,y,y')=\varphi '(x,y)+y''\varphi '(y'),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/474fd90385f5b21520ac5797084499f953ad8482)
et
![{\displaystyle \psi '(x,y,y')=\psi '(x,y)+y''\psi '(y'),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f7dcd2ae2e13e9c14b003bc41eec94969f239b5)
suivant la notation abrégée que nous avons adoptée ; donc on aura
![{\displaystyle y''=-{\frac {\varphi '(x,y)}{\varphi '(y')}}=-{\frac {\psi '(x,y)}{\psi '(y')}}=-f(x,y,y'),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/66f80a667a2d206b786577c191face4b9ed72ecd)
expressions de
qui seront nécessairement identiques.
On aura donc
![{\displaystyle {\begin{aligned}\varphi '(x,y)=&\varphi '(y')f(x,y,y'),\\\psi '(x,y)=&\psi '(y')f(x,y,y')\,;\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7d66b4e228e89067728e87f98373acb21cd010b6)
par conséquent, si l’on substitue ces valeurs dans les expressions précédentes des fonctions dérivées
![{\displaystyle \varphi '(x,y,y'),\ \psi '(x,y,y'),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7551243ef4f75522d50cd3b794627a456702860f)
c’est-à-dire de
![{\displaystyle a'}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6cb64c0f02687512818f37839ce23ee049c37743)
et
![{\displaystyle b',}](https://wikimedia.org/api/rest_v1/media/math/render/svg/07157eaea1e9c4b66912f2ae6fa79e5b24853096)
et, regardant maintenant
![{\displaystyle a}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)
et
![{\displaystyle b}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f11423fbb2e967f986e36804a8ae4271734917c3)
comme fonctions de
![{\displaystyle x,y,y',}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b7d413195bfba4fc29cbf89f57bcee5c686f6ae)
on aura
![{\displaystyle {\begin{aligned}a'=&\varphi '(y')\left[y''+f(x,y,y')\right],\\b'=&\psi '(y')\left[y''+f(x,y,y')\right].\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f6d6ca38f4e41fad89791fb1a5efa07b48fe6581)
Cela posé, soit
une équation du premier ordre ; sa dérivée sera
![{\displaystyle a''\Phi '(a)+b'\Phi '(b)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/da82c33b982ee55425c1894091573ce0ee32d91d)
et, par la substitution des valeurs de
qu’on vient de trouver, elle deviendra
![{\displaystyle \left[\varphi '(y)\Phi '(a)+\psi '(y')\Phi '(b)\right]\left[y''+f(x,y,y')\right]=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1f7a70f431c9894caa33898fe9e1314466221889)
Cette équation a, comme l’on voit, deux facteurs, l’un qui n’est que du premier ordre, comme l’équation proposée ; l’autre qui contient
et qui donne proprement l’équation dérivée du second ordre.
Celui-ci donne l’équation
![{\displaystyle y''+f(x,y,y')=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/85e0c4a61e22e94c4d322987e1a83c9f07423744)
de laquelle résultent
![{\displaystyle a'=0,\quad b'=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f2be2481da1c3d5fd60aabf2a003e5663c744c0a)
par les formules trouvées plus liaut, de sorte que les fonctions
et
seront constantes.
Prenant donc
et
pour des constantes arbitraires, on aura ces deux équations primitives du premier ordre
![{\displaystyle \varphi (x,y,y')=a,\quad \psi (x,y,y')=b,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/61bc8a60c39fc9ac748c4a662a94b8b2b4dce4c4)
d’où, éliminant la fonction dérivée
on aura une équation en
et
qui sera l’équation primitive de la proposée, et qui sera évidemment la même que l’équation
![{\displaystyle \operatorname {F} (x,y,a,b)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/de5ce52f0c77745f80310332571847c7050f879e)
d’où l’on avait déduit les fonctions
et ![{\displaystyle \psi (x,y,y').}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d5cc86d346d9fba56618f7e19ed952ba4f67a9d3)
Mais il faudra que les constantes
et
de cette équation satisfassent à la condition
![{\displaystyle \Phi (a,b)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6eb76e61f925bb901681dcc2aa972cea6ecf865a)
donnée par l’équation proposée ; ce qui les réduira a une seule, qui sera par conséquent la constante arbitraire de l’équation primitive de la proposée.
Le facteur du premier ordre
![{\displaystyle \varphi '(y')\Phi '(a)+\psi '(y')\Phi '(b)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7675ffa4b08dec06db0ff246e116efe1556f4261)
donnera, de son côté, l’équation en
et ![{\displaystyle y',}](https://wikimedia.org/api/rest_v1/media/math/render/svg/33aad40b1beb229f0301be9a583679828dd1429e)
![{\displaystyle \varphi '(y')\Phi '(a)+\psi '(y')\Phi '(b)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0f338259108cdba804c1df62a5a138d34f96e25)
en supposant qu’on y mette pour
et
leurs valeurs
et
et cette équation, d’après la théorie exposée dans la Leçon précédente, donnera sur-le-champ l’équation primitive singulière de la même équation proposée, en éliminant
par le moyen de ces deux équations.
Or il est facile de voir que, si l’on représente par
![{\displaystyle \Psi (x,y,y')=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/de462813e4b81f1138f46016142f040c231da854)
la fonction donnée
dans laquelle
![{\displaystyle a=\varphi (x,y,y')}](https://wikimedia.org/api/rest_v1/media/math/render/svg/10a9bdbee4f459b85cd2907c15ca2b743ab74b40)
et
![{\displaystyle b=\psi (x,y,y'),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/21dfbdd4d890539fee2139abc1ec06b1c67dcebb)
le facteur dont il s’agit se réduira simplement à
puisque les expressions
et
ne sont que les fonctions dérivées de
et
prises par rapport à
seule.
Ainsi on aura la primitive singulière de l’équation
![{\displaystyle \Psi (x,y,y')=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/88c6c5c3b8a72a6267ab1275752b466c8e735886)
dans le cas où elle est réductible à la forme
![{\displaystyle \Phi (a,b)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f639df19038c3872f1a61011361e278de795f83)
en éliminant
![{\displaystyle y'}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a535de94a2183d7130731eab8a83531d7c35c6b)
de cette équation au moyen de sa dérivée, prise relativement à
![{\displaystyle y'}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a535de94a2183d7130731eab8a83531d7c35c6b)
seule.
En appliquant les mêmes principes aux équations des ordres supérieurs, on prouvera que, si l’on a une équation du second ordre, représentée par
![{\displaystyle \Psi (x,y,y',y'')=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/935a18b01e081e6b1e0953f4e9cd98e503b86275)
dont le premier membre puisse être une fonction quelconque
de trois fonctions
déterminées par une équation quelconque
![{\displaystyle \operatorname {F} (x,y,a,b,c)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f20b3d27ad28c3a0ed031005bfa3ec41ee276dec)
entre
et par ses deux équations dérivées
![{\displaystyle \operatorname {F} '(x,y)=0,\quad \operatorname {F} ''(x,y)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c9332d7b7b9900b5265b8f3e963ffbc2cd83d73)
prises en regardant
comme constantes, l’équation proposée aura nécessairement une primitive singulière du premier ordre, qui sera le résultat de l’élimination de
au moyen de son équation dérivée
![{\displaystyle \psi '(y'')=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2e90fec3e6abc63c44ca40d3ca6100928dd490cd)
relative à ![{\displaystyle y''.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/30ed36301a6153888755cbf70bf6c1108b556c3c)
Et l’on aura l’équation primitive en
et
par l’équation même
![{\displaystyle \operatorname {F} (x,y,a,b,c)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7a4f8706cbad48034c938c22423341e0c6523243)
en prenant les constantes
de manière qu’elles satisfassent à l’équation donnée
![{\displaystyle \Phi (a,b,c)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2308fd1c349017c7e62b2313a490f16f172ee4b9)
de sorte qu’il en restera deux d’arbitraires.
Et de même pour les équations des ordres supérieurs.
Prenons l’équation
![{\displaystyle x^{2}-2ay-a^{2}-b=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/44a8068d6e6662514ca585ef8c6b5c1085e5c01c)
sa dérivée sera
![{\displaystyle x-ay'=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/deb93c2d24afa222a07ca33f1f89d8ab582d7a5a)
de ces deux équations on tire
![{\displaystyle a={\frac {x}{y'}},\quad b=x^{2}-{\frac {2xy}{y'}}-{\frac {x^{2}}{y'^{2}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dbd3b131c7bea420abbe4c10c787069f0c6cf744)
Si maintenant on prend, pour l’équation
celle-ci,
à une constante, on aura l’équation du premier ordre
![{\displaystyle x^{2}-{\frac {2xy}{y'}}-{\frac {x^{2}}{y'^{2}}}-b=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9096386caf1a0ad0d9c9ea3e3a8308bf36aea186)
où
est une constante quelconque.
Ainsi on aura tout de suite sa primitive singulière, en éliminant
au moyen de l’équation dérivée prise relativement à
laquelle sera
![{\displaystyle {\frac {2xy}{y'^{2}}}+{\frac {2x^{2}}{y'^{3}}}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/830520087daba8f0352e52240c98581358bca8e6)
d’où l’on tire
![{\displaystyle y'=-{\frac {x}{y}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/faf715e2b3ffb083e34f7dd6ce8c920d9c1c7942)
en substituant cette valeur de
on a
![{\displaystyle x^{2}+y^{2}-b=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e77a0a7dc8b8d1bc920b3462b360cedbd43a536)
comme on l’a déjà trouvé par d’autres voies.
Prenons encore l’équation
![{\displaystyle y-{\frac {a}{2}}x^{2}-bx-c=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc7cb2412a6b18518ecc8a8c147e401e2b3d2dac)
on aura les deux dérivées
![{\displaystyle y'-ax-b=0,\quad y''-a=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c90f1fb799ede562e2782f201f5d58654ec590a)
d’où l’on tire
![{\displaystyle a=y'',\quad b=y'-xy'',\quad c=y-xy'+{\frac {x^{2}}{2}}y''.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/735fe1ddf6779c237447d9b8de21eeeab16ef98b)
Soit, par exemple,
![{\displaystyle \Phi (a,b,c)s=c-b^{2}-a^{2}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7101fc19a2d94d6b22c63cbc7e429ecbc80f2001)
on aura l’équation du second ordre
![{\displaystyle y-xy'+{\frac {x^{2}}{2}}y''-(y'-xy'')^{2}-y''^{2}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a6ecf620ce265dbe1e7f630f2c8475887bafb349)
dont la primitive singulière résultera de l’élimination de
au moyen
de sa dérivée relative à
![{\displaystyle y'',}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8172ec5a6b1f8aa18ec8442dac39d61552a70d22)
savoir,
![{\displaystyle {\frac {x^{2}}{2}}+2x(y'-xy'')-2y''=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/162bda3cff467ce1168e723dde24d5cc097177e6)
ce qui revient à ce que nous avons déjà trouvé.
Lorsqu’on connaît l’équation primitive
![{\displaystyle \operatorname {F} (x,y,a,b,\ldots )=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2719024894911744e94aeeb871a3f85fa8d949e7)
avec l’équation
![{\displaystyle \Phi (a,b,\ldots )=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/254136c5c4da2da58e6d9f647628baa3060fd967)
qui donne la relation entre les quantités
on peut trouver directement l’équation primitive singulière sans connaître les valeurs de ces quantités en fonctions de
car, ayant réduit les quantités
à une de moins par le moyen de l’équation de condition
![{\displaystyle \Phi (a,b,\ldots )=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/254136c5c4da2da58e6d9f647628baa3060fd967)
il n’y aura qu’à appliquer à l’équation primitive
![{\displaystyle \operatorname {F} (x,y,a,b,\ldots )=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/728db4928d796b16762c7e55dffb8989358dbbbb)
la méthode générale exposée dans la Leçon quinzième.
Mais la difficulté consiste à reconnaître a posteriori si des fonctions données, dont une équation proposée est composée, dépendent d’une même équation primitive, de manière qu’elles puissent représenter les valeurs des constantes tirées de cette équation et de ses dérivées.
Pour la résoudre, j’observe que la propriété caractéristique de ces sortes de fonctions est que leurs dérivées ont entre elles des rapports exprimés par des fonctions du même ordre que les fonctions dont il s’agit. En effet, relativement aux fonctions du premier ordre, nous avons déjà vu plus haut que les fonctions
et
qui représentent les valeurs des constantes
et
tirées de l’équation générale
![{\displaystyle \operatorname {F} (x,y,a,b)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/de5ce52f0c77745f80310332571847c7050f879e)
et de sa dérivée
![{\displaystyle \operatorname {F} '(x,y)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6fbe4d4cdc3ee99041e28bb5d4fef98f00e773a3)
sont telles que leurs dérivées
![{\displaystyle \varphi '(x,y,y')}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ba2fdc95a7c995874ca4ca812b0c0889c5c13578)
et
![{\displaystyle \psi '(x,y,y'),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/74ceb1d30064dd0010e592b5d16f71842791c20a)
que nous avons désignées par
![{\displaystyle a'}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6cb64c0f02687512818f37839ce23ee049c37743)
et
![{\displaystyle b',}](https://wikimedia.org/api/rest_v1/media/math/render/svg/07157eaea1e9c4b66912f2ae6fa79e5b24853096)
ont la forme suivante :
![{\displaystyle {\begin{aligned}\varphi '(x,y,y')=&\varphi '(y')\left[y''+f(x,y,y')\right],\\\psi '(x,y,y')=&\psi '(y')\left[y''+f(x,y,y')\right]\,;\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/47f0d33e6a8ab2b91c2947650fb233211a00ab05)
de sorte que l’on a simplement
![{\displaystyle {\frac {\varphi '(x,y,y')}{\psi '(x,y,y')}}={\frac {\varphi '(y')}{\psi '(y')}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c221a99e4f3762786a176353d0570ebb2ae71b3c)
où l’on voit que les fonctions dont il s’agit ont la propriété que la fonction seconde
disparaît du rapport de leurs dérivées, et que ce rapport est le même que si l’on prenait ces dérivées relativement à la variable
seule.
Soit, par exemple, l’équation à la ligne droite
![{\displaystyle y+ax+b=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/632e495dd2ec85d0f4dd63beff4da9001649dd0c)
sa dérivée sera
![{\displaystyle y'+a=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/65a5bfbc7c3a1cce5999ec43810078e6178eebd8)
ainsi on aura
![{\displaystyle a=-y',\quad b=xy'-y.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b7f657584046e05dcbf8da0f9df58265e235b56d)
On aura donc, en dénotant simplement par
et
ces expressions de
et
![{\displaystyle \varphi =-y',\quad \psi =xy'-y\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dbc4f7bfc5d33722544b46099225b0962472a90e)
prenant les fonctions dérivées, il viendra
![{\displaystyle \varphi '=-y'',\quad \psi '=xy''\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8894278059a4d16facdeb43f60d13112b76a9ed4)
donc
![{\displaystyle {\frac {\varphi '}{\psi '}}=-{\frac {1}{x}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a07eaaab944d58e6e7dd209853c44a4881ffb34d)
Si l’on ne prenait
et
que relativement à
on aurait
![{\displaystyle \varphi '=-1,\quad \psi '=x\quad {\text{et}}\quad {\frac {\varphi '}{\psi '}}=-{\frac {1}{x}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/67f84cf2f6cf3c7d9b08781e1dc95e2186a9a864)
comme précédemment.
Soit encore l’équation
![{\displaystyle y^{2}+x^{2}-2ax+a^{2}-b^{2}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/77dc752ae186363532058077090f7bc27642364f)
qui est à un cercle dont le rayon
et dont le centre est dans l’axe des abscisses à la distance
de leur origine.
La dérivée sera
![{\displaystyle yy'+x-a=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/edc48fd9f9fa18cfb9a46deb813c834c8c4f9b18)
d’où l’on tire
![{\displaystyle a=x+yy'=\varphi \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f0061c20860011270a671d32638d32d795b86960)
de là on aura, par les substitutions,
![{\displaystyle b=y{\sqrt {1+y'^{2}}}=\psi .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7cbb2a549f82099b3bdc7cd1ae879605a1287f56)
Si maintenant on prend les dérivées de
et
on aura
![{\displaystyle \varphi '=1+y'^{2}+yy'',\quad \psi '=y'{\sqrt {1+y'^{2}}}+{\frac {yy'y''}{\sqrt {1+y'^{2}}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/46ff6cc74ebd1ac4cb9b6e7b5dffa2717dc9ff42)
et de là
![{\displaystyle {\frac {\varphi '}{\psi '}}={\frac {\sqrt {1+y'^{2}}}{y'}}={\frac {\psi }{\varphi -x}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/85383cef9df10339ea2251ab549cb1d5c57b29ba)
Si l’on ne prenait les dérivées
et
que relativement à
on aurait
![{\displaystyle \varphi '=y,\quad \psi '={\frac {yy'}{\sqrt {1+y'^{2}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/03db89b9a51159771cda0030d9060af0cffd76f2)
donc
![{\displaystyle {\frac {\varphi '}{\psi '}}={\frac {\sqrt {1+y'^{2}}}{y'}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5445057f88e004872028371d5c135c322e31c706)
comme ci-dessus.
On pourrait prouver, par une analyse semblable, que les fonctions de
et
qui expriment les valeurs des quantités
tirées d’une équation
![{\displaystyle \operatorname {F} (x,y,a,b,c)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f20b3d27ad28c3a0ed031005bfa3ec41ee276dec)
et de ses deux dérivées
![{\displaystyle \operatorname {F} '(x,y)=0,\quad \operatorname {F} ''(x,y)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c9332d7b7b9900b5265b8f3e963ffbc2cd83d73)
dans lesquelles ces quantités sont traitées comme constantes, ont des dérivées dont les rapports sont indépendants de la fonction tierce ![{\displaystyle y''',}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b0ce644a8c70aa33ba78f88506c6739f1fbe67da)
et qui sont les mêmes que si l’on ne prenait ces dérivées que relativement à la fonction seconde
![{\displaystyle y'',}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8172ec5a6b1f8aa18ec8442dac39d61552a70d22)
parce qu’en désignant ces fonctions par
![{\displaystyle \varphi (x,y,y',y''),\quad \psi (x,y,y',y''),\quad \xi (x,y,y',y''),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c94af822340067f8e0a5f43b3fc16678db941aff)
les trois équations
![{\displaystyle \varphi (x,y,y',y'')=a,\quad \psi (x,y,y',y'')=b,\quad \xi (x,y,y',y'')=c,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1de297d8d9f60acaca5b4e59fbd0349b5de2f967)
où
seraient des constantes arbitraires, seront les trois primitives d’une même équation du troisième ordre, telle que
![{\displaystyle y'''+f(x,y,y',y'')=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/58d6e0efcf142df2f03522068247f0924631b4ea)
à laquelle les dérivées de ces équations devront par conséquent satisfaire et de même pour les fonctions du même genre des ordres supérieurs. Mais on peut s’en convaincre encore d’une manière plus directe que voici :
En dénotant simplement par
et
les fonctions
qui expriment les valeurs des constantes
et
tirées de l’équation
![{\displaystyle \operatorname {F} (x,y,a,b)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6aecdbd06bc6d4889921d552fc8fd9d58e395089)
et de sa dérivée
![{\displaystyle \operatorname {F} '(x,y)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6fbe4d4cdc3ee99041e28bb5d4fef98f00e773a3)
il est clair que l’équation
![{\displaystyle \operatorname {F} (x,y,\varphi ,\psi )=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c1c6b8a9f411c14b30a3f5d036a837f8da1151a9)
sera identique ; que, par conséquent, sa dérivée
![{\displaystyle \operatorname {F} '(x,y)+\varphi '\operatorname {F} '(\varphi )+\psi '\operatorname {F} '(\psi )=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b7bb33fdb2eb2306fdd6d34db2302d5be4f49dc0)
aura lieu d’elle-même ; mais on a déjà
![{\displaystyle \operatorname {F} '(x,y)=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/de2ad650195626d3f988a05830e8bf918c499d62)
donc on aura séparément l’équation
![{\displaystyle \varphi '\operatorname {F} '(\varphi )+\psi '\operatorname {F} '(\psi )=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/36724487b032a949090b7fbd98bfc71065fe90b8)
laquelle donne
![{\displaystyle {\frac {\varphi '}{\psi '}}=-{\frac {\operatorname {F} '(\psi )}{\operatorname {F} '(\varphi )}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/93a26340a6e983587546a53b190c048480f5cb7f)
Or, comme
et
ne contiennent que
et
il est visible que la valeur de
ne sera qu’une fonction du premier ordre.
Ainsi, dans le dernier exemple, où
![{\displaystyle \operatorname {F} (x,y,a,b)=y^{2}+x^{2}-2ax+a^{2}-b^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a258d1245a5613b0cc8dd4ee3704fedd88edf64f)
si l’on change
en
et
en
on aura
![{\displaystyle \operatorname {F} (x,y,\varphi ,\psi )=y^{2}+x^{2}-2x\varphi +\varphi ^{2}-\psi ^{2}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7692c6288e89bafc3e143898d9a0b52de8cfb626)
donc
![{\displaystyle \operatorname {F} '(\varphi )=2(\varphi -x),\quad \operatorname {F} '(\psi )=-2\psi \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a7147fd575bce0755fabc74da455312e35bccb1e)
par conséquent
![{\displaystyle {\frac {\varphi '}{\psi '}}={\frac {\psi }{\varphi -x}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eb4b93d03c4682705fd2949b8c9db0296f0fa6fa)
comme nous l’avons trouvé par une autre voie.
De même, si
sont les fonctions de
et
qui expriment les valeurs des constantes
tirées de l’équation
![{\displaystyle \operatorname {F} (x,y,a,b,c)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f20b3d27ad28c3a0ed031005bfa3ec41ee276dec)
et de ses deux dérivées
![{\displaystyle \operatorname {F} '(x,y)=0,\quad \operatorname {F} ''(x,y)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c9332d7b7b9900b5265b8f3e963ffbc2cd83d73)
en substituant ces fonctions à la place de
on aura des équations identiques, dont, par conséquent, les dérivées auront lieu aussi.
On aura donc, en premier lieu,
![{\displaystyle \operatorname {F} (x,y,\varphi ,\psi ,\xi )=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe5ef27d5633fa461447977666412e7d82ac2c6e)
et, par conséquent aussi,
![{\displaystyle \operatorname {F} '(x,y)+\varphi '\operatorname {F} '(\varphi )+\psi '\operatorname {F} '(\psi )+\xi '\operatorname {F} '(\xi )=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9cd56a2bfd94b766b4b8a1689baca3cf514ef5f9)
mais on a déjà
![{\displaystyle \operatorname {F} '(x,y)=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/de2ad650195626d3f988a05830e8bf918c499d62)
donc on aura l’équation
![{\displaystyle \varphi '\operatorname {F} '(\varphi )+\psi '\operatorname {F} '(\psi )+\xi '\operatorname {F} '(\xi )=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cc12e04aa9ecf4c99519e9162c7f314b24b87f29)
Ensuite, comme l’équation
![{\displaystyle \operatorname {F} (x,y)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5fd9a9049eea70f09dd4c2d700b387bcd4a74592)
contient, outre les quantités
les trois fonctions
si on la dénote par
on aura l’équation identique
![{\displaystyle f(x,y,y',\varphi ,\psi ,\xi )=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2ce5e0a7fa718b14fe61ff2f828f57efc59a19fd)
et, par conséquent, la dérivée
![{\displaystyle f'(x,y,y')+\varphi 'f'(\varphi )+\psi 'f'(\psi )+\xi 'f'(\xi )=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/04841bd5d8b7ee826a418b9015a29cd8b4715754)
mais on a déjà
![{\displaystyle f'(x,y,y')=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d82e39631ccd7aa43a19d62f6cd87559430a3a8d)
puisqu’il est visible que
est la même chose que
donc on aura aussi l’équation
![{\displaystyle \varphi 'f'(\varphi )+\psi 'f'(\psi )+\xi 'f'(\xi )=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/200b108bdf0f073b457d1c771a19aeba8bc7bf7e)
Si l’on combine cette équation avec la précédente, il est clair que, puisque les quantités
n’y sont qu’à la première dimension, et en multiplient tous les termes, il est clair, dis-je, qu’on en tirera les valeurs de
et de
en fonctions des quantités
et
de sorte que ces fonctions ne passeront pas le second ordre, et ainsi de suite.
Si les fonctions
et
exprimaient les valeurs des constantes
et
tirées de l’équation du premier ordre
![{\displaystyle \operatorname {F} (x,y,y',a,b)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab965dd9141eff15820f3e2ac21b3492a8b92b32)
et de sa dérivée
![{\displaystyle \operatorname {F} '(x,y,y')=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9624a27194da3937db31c6e797af551d11fc8147)
ces fonctions seraient alors du second ordre ; et l’on trouverait, par le même raisonnement, que le rapport
de leurs dérivées serait exprimé également par
de sorte que ce rapport serait une fonction du second ordre, et, par conséquent, du même ordre que les fonctions
et ![{\displaystyle \psi .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b6cc915d2bfd7c18ac9ff227c29ca47c4382890c)
En général, il résulte de l’analyse précédente que, si
sont des fonctions d’un ordre quelconque, qui expriment les valeurs des constantes
tirées d’une équation en
et de ses dérivées successives, les dérivées de ces fonctions auront toujours entre elles des rapports du même ordre que les fonctions elles-mêmes.
Je dis maintenant que, si des fonctions quelconques de
sont telles que leurs dérivées aient entre elles des rapports du même ordre que les fonctions elles-mêmes, c’est-à-dire, dans lesquels il n’entre que des fonctions dérivées de
du même ordre, ces fonctions pourront toujours exprimer les valeurs d’autant de constantes tirées d’une équation primitive et de ses dérivées successives ; et il sera alors facile de retrouver cette équation primitive génératrice.
Car, si l’on désigne par
les fonctions dont il s’agit, et que
soient les valeurs des rapports des dérivées
à la dérivée
ces valeurs étant, par l’hypothèse, des fonctions du même ordre que les fonctions données
on aura donc les équations
![{\displaystyle \psi '=\mathrm {M} \varphi ',\quad \xi '=\mathrm {N} \varphi ',\quad \ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca72f96ebd7e27ba5bfb2db691c1e94dba9098c4)
Supposons
![{\displaystyle \varphi '=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8c18c69420ebc15fcd5789db34c1f39ad53939de)
on aura donc aussi
![{\displaystyle \psi '=0,\quad \xi '=0,\quad \ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7cb081815c90b89cde8d1a34531a2e33d95981f4)
donc
![{\displaystyle \varphi =a,\quad \psi =b,\quad \xi =c,\quad \ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d62a3a85194e1de5d2ad85b66722d935f9982f92)
étant des constantes.
Ces différentes équations seront donc autant d’équations primitives de la même équation
![{\displaystyle \varphi '=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8c18c69420ebc15fcd5789db34c1f39ad53939de)
puisqu’elles ont lieu en même temps qu’elle ; par conséquent ; en éliminant de ces mêmes équations
![{\displaystyle \varphi =a,\quad \psi =b,\quad \xi =c,\quad \ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d62a3a85194e1de5d2ad85b66722d935f9982f92)
les plus hautes fonctions dérivées de la variable
on aura une équa-
tion primitive d’un ordre inférieur, qui contiendra les constantes
![{\displaystyle a,b,c,\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9341052b91111aa6c4a084ddf1501d21cea2786e)
et qui sera l’équation primitive génératrice de la forme
![{\displaystyle \operatorname {F} (x,y,y',y'',\ldots ,a,b,c,\ldots )=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/632b4ed727185eb667db04fd2e78714a30efaaed)
d’où résultent les fonctions
en les prenant pour les valeurs des constantes
tirées de cette équation et de ses dérivées successives
![{\displaystyle \operatorname {F} '(x,y,y',y'',\ldots )=0,\quad \operatorname {F} ''(x,y,y',y'',\ldots )=0,\quad \ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4ab86ffc7599ff52fd6ba5c3d3c21dc26db5847)
Ainsi, si l’on avait entre ces fonctions une équation quelconque
![{\displaystyle \Phi (\varphi ,\psi ,\xi ,\ldots )=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/da4d90e0f311a12f4a549034717b447b3755693d)
et que l’on reconnût que leurs dérivées
ont entre elles des rapports du même ordre que ces fonctions, on aurait tout de suite les équations primitives
![{\displaystyle \varphi =a,\quad \psi =b,\quad \xi =c,\quad \ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d62a3a85194e1de5d2ad85b66722d935f9982f92)
et de là l’équation primitive principale
![{\displaystyle \operatorname {F} (x,y,y',y'',\ldots ,a,b,c,\ldots )=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/632b4ed727185eb667db04fd2e78714a30efaaed)
dans laquelle les constantes
seraient arbitraires, hors une, qui devrait être déterminée par l’équation donnée, laquelle se réduit alors à
![{\displaystyle \Phi (a,b,c,\ldots )=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/25ab0f80c041e6305c8081d67fab415f01adb80d)
On aurait ensuite l’équation primitive singulière par les méthodes exposées plus haut.
Par exemple, si l’on proposait l’équation du premier ordre
![{\displaystyle \Phi \left(x+yy',y{\sqrt {1+y'^{2}}}\right)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/343221b72cd9083a78154b0883f039c098b8641c)
sans qu’on sût que les deux quantités qui sont sous la fonction peuvent exprimer les constantes tirées d’une équation primitive et de sa dérivée, on examinerait d’abord leurs dérivées, qui sont
![{\displaystyle 1+y'^{2}+yy''\quad {\text{et}}\quad y'{\sqrt {1+y'^{2}}}+{\frac {yy'y''}{\sqrt {1+y'^{2}}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c713cb506e72bf454692d565639bbc6a34e57d6e)
comme celle-ci se réduit à
![{\displaystyle {\frac {y'+y'^{3}+yy'y''}{\sqrt {1+y'^{2}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/365ab5be47c6c85de07de552362943c54c5c5a26)
on voit d’abord que son rapport à la première sera exprimé simplement par
![{\displaystyle {\frac {y'}{\sqrt {1+y'^{2}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea704c1205e0efe14a7f3d974a937414ac4ce07a)
sans que la fonction seconde
![{\displaystyle y''}](https://wikimedia.org/api/rest_v1/media/math/render/svg/147ec60507e44a6d376237c0a16132cf7461cd62)
puisse y entrer. On est donc assuré par là que les deux fonctions
![{\displaystyle x+yy'}](https://wikimedia.org/api/rest_v1/media/math/render/svg/11e429cfac713a8a3c16ff8c4e9751837b67ec2a)
et
![{\displaystyle y{\sqrt {1+y'^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/58b796812b2da2c14fabfe7dcd7db27ea3dfaa90)
peuvent provenir d’une équation primitive qu’on trouvera en faisant les deux équations
![{\displaystyle x+yy'=a,\quad y{\sqrt {1+y'^{2}}}=b,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a8ed4ba57cc4a9527c44b8f07f77b2b8e8102ae3)
et éliminant
ce qui donne celle-ci
![{\displaystyle y^{2}+(a-x)^{2}=b^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d36d1ad52756627c5f643e602af57d59ec978e74)
laquelle coïncide avec celle d’où nous avions déduit les expressions de
et
dans le dernier exemple.
Maintenant l’équation proposée deviendra simplement
![{\displaystyle \Phi (a,b)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f639df19038c3872f1a61011361e278de795f83)
par laquelle on déterminera
en
de sorte que l’équation précédente ne contiendra plus que la constante arbitraire
et sera alors la primitive complète de la proposée.
On pourra tirer de là la primitive singulière, en éliminant
au moyen de la dérivée prise par rapport à
seul, suivant la méthode de la Leçon quinzième, ou bien il n’y aura qu’à éliminer
de la proposée, au moyen de sa dérivée prise par rapport à
seule, comme nous l’avons vu plus haut relativement aux équations de ce genre.