LEÇON QUATORZIÈME.
Des valeurs singulières qui satisfont aux équations dérivées et qui ne sont pas comprises dans les équations primitives. Théorie des équations primitives singulières.
La théorie des équations dérivées, exposée dans la Leçon XII, porte naturellement à conclure que toute valeur qui peut satisfaire à une équation dérivée donnée doit être renfermée dans son équation primitive, pourvu que celle-ci ait toute la généralité dont elle est susceptible par les constantes arbitraires qui doivent y entrer. Il y a néanmoins des équations dérivées auxquelles satisfont les valeurs que j’appelle singulières, parce qu’elles ne sont pas comprises dans leurs équations primitives. Ces sortes de valeurs se sont présentées aux géomètres presque dès la naissance du Calcul différentiel ; mais, comme la théorie des constantes arbitraires n’était guère connue alors, on n’a pas d’abord regardé ces valeurs comme formant une exception aux règles générales du Calcul différentiel. Euler est le premier qui les ait envisagées sous ce point de vue et qui ait donné des règles pour les distinguer des intégrales ordinaires.
Depuis, on a reconnu qu’elles dépendent de la théorie générale des équations différentielles ou dérivées, et qu’elles servent à la compléter c’est ce que nous allons développer avec toute l’étendue qu’exige l’importance de la matière.
Considérons une équation quelconque du premier ordre, représentée par
![{\displaystyle f(x,y,y')=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f70497a4f931fc363ed8b7ba5dc8d18898e7fc94)
et supposons qu’elle soit dérivée de l’équation primitive
![{\displaystyle \operatorname {F} (x,y,a)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3be4a300683eff5f4cba34a98a5f8a2af74c2268)
étant la constante arbitraire.
Suivant la théorie générale, cette équation
![{\displaystyle \operatorname {F} (x,y,a)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a614a44d12dd63c43f58ce1f21ffb0200adde338)
donnera l’équation dérivée
![{\displaystyle \operatorname {F} '(x,y,a)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/519dff445e1aea5b62e76d10de6683878f33b5b9)
qui se réduit à la forme
![{\displaystyle \operatorname {F} '(x)+y'\operatorname {F} '(y)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f07b4754b3166bcf0c1d743809bde7f2f514b8d5)
conformément à la notation que nous avons employée jusqu’ici ; et ces deux équations, étant combinées ensemble de manière que la constante
disparaisse, produiront la suivante
![{\displaystyle f(x,y,y')=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/242fbcca4a4e794648fa8ed4b3981695e9ca8949)
Maintenant il est clair que le résultat de l’élimination de
sera le même, quelle que soit la quantité
soit constante ou variable, pourvu que les deux équations
![{\displaystyle \operatorname {F} (x,y,a)=0,\quad \operatorname {F} '(x)+y'\operatorname {F} '(y)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5d0c043ae39e97ddd0f0f2605177201570bd0a7e)
soient les mêmes. Donc aussi la même équation
![{\displaystyle f(x,y,y')=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bfe941c9757cea0ef04d9baef73b1c87eb646618)
pourra résulter de l’équation
![{\displaystyle \operatorname {F} (x,y,a)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3be4a300683eff5f4cba34a98a5f8a2af74c2268)
en supposant
variable et fonction de
pourvu que l’équation dérivée
![{\displaystyle \operatorname {F} '(x,y,a)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5a8877dd7ff7cb238bbbe9803cc08571a096560)
soit également
![{\displaystyle \operatorname {F} '(x)+y'\operatorname {F} '(y)=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/beaa8d2c3085c9daf0d3b202d374ada69ff4454b)
Mais, en regardant
comme une fonction de
on a
![{\displaystyle \operatorname {F} '(x,y,a)=\operatorname {F} '(x)+y'\operatorname {F} '(y)+a'\operatorname {F} '(a)\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/351b0144e56b04c6869f9bcb3820dc3c85182ebf)
ainsi la condition dont il s’agit aura lieu si le terme
![{\displaystyle a'\operatorname {F} '(a)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/69de65e79a9c475540c0afde1068a888b13617ae)
disparaît ; d’où il suit que la valeur de
![{\displaystyle y,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/99bd9829c9ef4adcb0f9f5d53b27463a873a8e88)
tirée de l’équation primitive
![{\displaystyle \operatorname {F} (x,y,a)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3be4a300683eff5f4cba34a98a5f8a2af74c2268)
satisfera également à l’équation du premier ordre
![{\displaystyle f(x,y,y')=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f70497a4f931fc363ed8b7ba5dc8d18898e7fc94)
en prenant pour
une fonction de
déterminée par l’équation
![{\displaystyle a'\operatorname {F} '(a)=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/807a18a291383e0ef14243d516f48f3d3afeb59e)
Cette équation donne ou
![{\displaystyle a'=0,\quad {\text{ou}}\quad \operatorname {F} '(a)=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c2591d87d3e51c6538c1c2535fb624e7cd87153a)
L’équation
donne
égal à une constante quelconque ; c’est le cas de l’équation primitive ordinaire, dans lequel
est la constante arbitraire.
Mais l’autre équation
![{\displaystyle \operatorname {F} '(a)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d28dad4cbd1c0f0628ea3c721bff102e41f5c43e)
dans laquelle
est une fonction de
et
donnera, par la résolution, la valeur de
en
et
et, cette valeur étant substituée dans l’équation primitive
![{\displaystyle \operatorname {F} (x,y,a)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3be4a300683eff5f4cba34a98a5f8a2af74c2268)
on aura une nouvelle équation en
et
sans constante arbitraire, qui conduira également à la même équation dérivée, et qui sera nécessairement différente de l’équation primitive ordinaire, puisque dans celle-ci la quantité
est une constante arbitraire, et que dans l’autre elle devient une fonction de
et ![{\displaystyle y.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/83f72471aff7c6fbb27df0f971283a068efe091f)
Donc, en général, si l’on élimine
des deux équations
![{\displaystyle \operatorname {F} (x,y,a)=0,\quad \operatorname {F} '(a)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/40b18a2bf8c6353d79660d2037a2c74cd8d4c4e7)
on aura l’équation qui renfermera les valeurs singulières de
qui peuvent satisfaire à l’équation dérivée
![{\displaystyle f(x,y,y')=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f70497a4f931fc363ed8b7ba5dc8d18898e7fc94)
dont
![{\displaystyle \operatorname {F} (x,y,a)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a614a44d12dd63c43f58ce1f21ffb0200adde338)
est l’équation primitive ordinaire.
Nous appellerons cette équation équation primitive singulière, pour la distinguer de l’équation primitive ordinaire, que nous appellerons aussi équation primitive complète.
Il faut seulement remarquer que, comme l’essence de cette équation consiste en ce que la valeur de
est une fonction variable, si l’équation
![{\displaystyle \operatorname {F} '(a)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d28dad4cbd1c0f0628ea3c721bff102e41f5c43e)
par laquelle on doit déterminer
donnait pour
une quantité constante, ou bien une telle fonction de
et
qui devînt égale à une constante en vertu de l’équation
![{\displaystyle \operatorname {F} (x,y,a)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3be4a300683eff5f4cba34a98a5f8a2af74c2268)
dans laquelle on doit substituer cette valeur de
ou qui, dans cette substitution, donnât le même résultat qu’on aurait par une valeur constante de
alors cette équation cesserait d’être une équation primitive singulière, et ne serait plus qu’un cas particulier de l’équation primitive ordinaire.
Nous avons trouvé (Leçon XII) que l’équation du premier ordre
![{\displaystyle y'{\sqrt {x^{2}+y^{2}-b}}-yy'-x=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b6d12faedd1bb1e778adcf39498221e12b242e82)
a pour équation primitive
![{\displaystyle x^{2}-2ay-a^{2}-b=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/57adb7d4508600589d949baf7fb441f91adcf61a)
où
est la constante arbitraire. Faisant donc
![{\displaystyle \operatorname {F} (x,y,a)=x^{2}-2ay-a^{2}-b,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4c1783b5d457400af783a0dbc7cd444cc3210853)
et prenant les fonctions dérivées de tous les termes relativement à
seul, on aura
![{\displaystyle \operatorname {F} '(a)=-2y-2a\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c15bba4d1ca57ba136e65e212af60287c33816f8)
donc l’équation
![{\displaystyle \operatorname {F} '(a)=0\quad {\text{donnera}}\quad a=-y,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0b438b22877e7d1abe9a268ff694e20fcc5b8555)
valeur qui, étant substituée dans l’équation primitive, donne
![{\displaystyle x^{2}+y^{2}-b=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e77a0a7dc8b8d1bc920b3462b360cedbd43a536)
équation qui satisfait également à l’équation du premier ordre.
En effet, cette équation donne
![{\displaystyle y^{2}=b-x^{2}\quad {\text{et}}\quad yy'=-x\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cf08aa9499b0320caec2a3158106f624144726fa)
ces valeurs substituées dans l’équation
![{\displaystyle y'{\sqrt {x^{2}+y^{2}-b}}-yy'-x=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b6d12faedd1bb1e778adcf39498221e12b242e82)
la rendent identique.
Comme on sait, par la théorie des équations, que l’équation dérivée
![{\displaystyle \operatorname {F} '(a)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d28dad4cbd1c0f0628ea3c721bff102e41f5c43e)
relative à
contient la condition qui rend égales deux des racines de l’équation
![{\displaystyle \operatorname {F} (x,y,a)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3be4a300683eff5f4cba34a98a5f8a2af74c2268)
ordonnée par rapport à
il s’ensuit que la valeur singulière de
dans cette équation, a la propriété de donner à l’équation en
une racine double.
On voit, en effet, que l’équation
![{\displaystyle a^{2}+2ay-x^{2}+b=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1472463744308fe06cde6c5adc60d9a8a622de80)
acquiert une racine double, en faisant
![{\displaystyle y^{2}=b-x^{2}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e14160761b9d587521053286af8707ec7e1148e0)
Si l’équation primitive était
![{\displaystyle \left(x^{2}+y^{2}-b\right)\left(y^{2}-2ay\right)+\left(x^{2}-b\right)a^{2}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fbc2ab9162cda042a671c76905a69d6012c09a5f)
étant la constante arbitraire, l’équation dérivée relative à
serait
![{\displaystyle -y\left(x^{2}+y^{2}-b\right)+\left(x^{2}-b\right)a=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/73cc8b6b7d1fe3c29d839239792782fe8f14b535)
d’où l’on tire
![{\displaystyle a={\frac {y\left(x^{2}+y^{2}-b\right)}{x^{2}-b}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6249346bf9b6e313debd97494580982cae8d960d)
valeur qui, étant substituée dans la proposée, donne
![{\displaystyle {\frac {y^{4}\left(x^{2}+y^{2}-b\right)}{x^{2}-b}}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b28f8a2cd0245f2c8ba6ee66ff6974dcb2439c3)
et, par conséquent,
![{\displaystyle x^{2}+y^{2}-b=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/527f0ebd9a3d6927f6cc84a925961c8b4f6f68a3)
pour l’équation primitive singulière.
Mais, de ce que cette équation rend la valeur même de
nulle, il suit qu’elle ne sera qu’un cas particulier de l’équation primitive ; en effet elle résulte de celle-ci, en y faisant
On peut appliquer aux équations des ordres supérieurs au premier la théorie que nous venons de donner sur les équations dérivées de cet ordre.
En effet, si
![{\displaystyle \operatorname {F} \left(x,y,y',y'',\ldots ,y^{(n-1)},a\right)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/472a8268ab3477d627c1231f63d38e394918b14b)
est l’équation primitive de l’équation de l’ordre ![{\displaystyle n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![{\displaystyle f\left(x,y,y',y'',\ldots ,y^{(n)}\right)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cb930ee4616c7023eb9cd4dba78e2a8957a699a3)
étant la constante arbitraire, celle-ci doit résulter de l’élimination de
entre l’équation primitive et son équation dérivée ; et il est évident que le résultat de cette élimination sera le même, soit que la quantité
soit constante ou variable, pourvu que les deux équations soient de la même forme.
Or l’équation primitive
![{\displaystyle \operatorname {F} \left(x,y,y',\ldots ,y^{(n-1)},a\right)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/74322340553ed757d775df2962b2a266be42fbca)
est la même dans l’un et dans l’autre cas son équation dérivée est, dans le cas de
constante,
![{\displaystyle \operatorname {F} '\left(x,y,y',\ldots ,y^{(n-1)}\right)=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c5411ecdd32800280c9b63e39a1fb2fa631fe60)
et, dans le cas où
![{\displaystyle a}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)
serait une fonction quelconque de
![{\displaystyle x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/feff4d40084c7351bf57b11ba2427f6331f5bdbe)
elle sera
![{\displaystyle \operatorname {F} '\left(x,y,y',\ldots ,y^{(n-1)}\right)+a'\operatorname {F} '(a)=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e91cb829f4d03f8ef8f07ed4c9eeebcc8fb657cf)
donc les deux équations deviendront identiques si l’on détermine
de manière que le terme
disparaisse.
Faisant donc
![{\displaystyle a'\operatorname {F} '(a)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/52737ea805e1fb5ee1700516d04bf337b68af4de)
on a ou
![{\displaystyle a'=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e9f4c61a7d7732ea9bede51e93b95357759664a8)
et par conséquent
égal à une constante, ce qui est le cas ordinaire ; ou
![{\displaystyle \operatorname {F} '(a)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d28dad4cbd1c0f0628ea3c721bff102e41f5c43e)
ce qui donnera une valeur de
en
et
laquelle, étant substituée dans l’équation primitive
![{\displaystyle \operatorname {F} \left(x,y,y',\ldots ,y^{(n-1)},a\right)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4296c947e403542ba5adabbe72114a3deabd5887)
donnera une équation du même ordre, qui satisfera également à l’équation
![{\displaystyle f\left(x,y,y',\ldots ,y^{(n)}\right)=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/43340b22fcf545cf190b30387fb358daf4829e74)
elle pourra donc être regardée aussi comme une équation primitive singulière sans constante arbitraire.
L’équation du second ordre
![{\displaystyle y''^{2}-{\frac {2y'y''}{x}}+1=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3392ca82ec5bcec2cfd4494b01379812f3fe0709)
a pour équation primitive du premier ordre
![{\displaystyle x^{2}-2ay'+a^{2}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/56cb771e96b8b9f1b3b4bbde305a4dc2452344ed)
comme on peut s’en assurer en éliminant
au moyen de son équation dérivée
![{\displaystyle x-ay''=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bcf00e83ed30721ab0612097d8bba72bd8ddea02)
Si l’on prend l’équation dérivée relativement à
on a
![{\displaystyle -y'+a=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/539970cdf5065e9d5e0b7663f7af9252904f2bb3)
d’où l’on tire
![{\displaystyle a=y',}](https://wikimedia.org/api/rest_v1/media/math/render/svg/189e51043f645507b0240d6ea3adb235b05a418e)
valeur qui, étant substituée dans la même équation, donne celle-ci
![{\displaystyle x^{2}-y'^{2}=0,\quad \mathrm {d'o{\grave {u}}} \quad y'=\pm x.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb02fd5aa52e170c091440e4571bc48075bf78ac)
Cette valeur de
satisfait aussi à l’équation proposée ; màis c’est une valeur singulière, puisqu’elle n’est pas contenue dans l’équation primitive.
Si l’on cherche l’équation primitive de l’équation du premier ordre
![{\displaystyle x^{2}-2ay'+a^{2}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/56cb771e96b8b9f1b3b4bbde305a4dc2452344ed)
il est facile de trouver celle-ci
![{\displaystyle {\frac {x^{3}}{3}}-2ay+a^{2}x+b=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e572943a2263e6f7a1ae0c25f9b3fea2f709517b)
où
est la nouvelle constante arbitraire.
Si maintenant on élimine
de ces deux équations, on aura la suivante
![{\displaystyle 4x^{2}(y-xy')^{2}-4\left(b-{\frac {2x^{3}}{3}}\right)(y-xy')y'+\left(b-{\frac {2x^{3}}{3}}\right)^{2}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ac950c1adf17e88a238aeb5fc33b805e855065b1)
qui sera par conséquent l’autre équation primitive du premier ordre de la proposée.
On peut donc aussi chercher une équation primitive singulière d’après cette équation-ci, en prenant son équation dérivée relativement à
et l’on trouvera
![{\displaystyle -4(y-xy')y'+2\left(b-{\frac {2x^{3}}{3}}\right)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d22a5bccaf911273f18a13b04bb5f94926b4799f)
d’où l’on tire
![{\displaystyle b={\frac {2x^{3}}{3}}+2(y-xy')y'.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bde9e2caffeac9beda3367855267ce7f515e0e6f)
Substituant cette valeur dans l’équation précédente, elle devient
![{\displaystyle 4(y-xy')^{2}\left(x^{2}-y'^{2}\right)=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3df8a4fd2885c895fc7bfd8e5b6c5b84e3bbba24)
Cette équation donne ces deux-ci
![{\displaystyle y-xy'=0\quad {\text{et}}\quad x^{2}-y'^{2}=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d560c643cf59334df2a92b85525e6be38e6eaf28)
La première ne satisfait pas à la proposée, car elle donne c’est la même que nous avons trouvée ci-dessus.
![{\displaystyle y'={\frac {y}{x}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b0130318126712e5c2d6ccb19a352f1aba7da14d)
et, de là,
![{\displaystyle y''={\frac {y'}{x}}-{\frac {y}{x^{2}}}={\frac {y}{x^{2}}}-{\frac {y}{x^{2}}}=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/36140045b5b012ea40c2864bb7d8b8d5a8262e54)
La seconde donne
![{\displaystyle y'=\pm x\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/14db9327156e5d6c242c3a6fc77a5466388e59cd)
c’est la même que nous avons trouvée ci-dessus.
Ainsi les deux équations primitives du premier ordre ne donnent que la même équation singulière.
Il serait cependant naturel de penser que des équations primitives différentes devraient donner aussi différentes valeurs singulières ; mais nous allons démontrer, a priori, que l’on a toujours la même équation primitive singulière, de quelque équation primitive qu’on la déduise ; ce qu’on ne savait pas jusqu’ici.
Considérons une équation du second ordre ; représentée en général par
![{\displaystyle f(x,y,y',y'')=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c8b92fb99a92e583eb2260df95a4ce85ff2ec35)
et dont l’équation primitive entre
et
soit
![{\displaystyle \operatorname {F} (x,y,a,b)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/de5ce52f0c77745f80310332571847c7050f879e)
et
étant les deux constantes arbitraires.
Par la théorie générale, on aura ses deux équations primitives du premier ordre, en éliminant
ou
par le moyen de cette même équation et de sa première équation dérivée
![{\displaystyle \operatorname {F} '(x,y)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6fbe4d4cdc3ee99041e28bb5d4fef98f00e773a3)
et
étant ici regardées comme constantes.
Comme la fonction dérivée
renferme, outre les constantes
et
la fonction
désignons-la par
Ainsi on aura les deux constantes primitives du premier ordre, en substituant alternativement, dans la même équation
![{\displaystyle \varphi (x,y,y',a,b)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f27c1ecc62be45cffba16e3d1e24b9da7c4df0f6)
la valeur de
en
et la valeur de
en
et
tirées de la même équation
![{\displaystyle \operatorname {F} (x,y,a,b)=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f2780369d3174b43839a7c0f315c010096e2954)
Ensuite on aura les équations primitives singulières, en éliminant
de la première par le moyen de son équation dérivée, prise relativement à
et en éliminant
de la seconde par le moyen de son équation dérivée, prise relativement à
Considérons d’abord, dans l’équation
![{\displaystyle \varphi (x,y,y',a,b)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f27c1ecc62be45cffba16e3d1e24b9da7c4df0f6)
la quantité
comme une fonction de
déterminée par l’équation
![{\displaystyle \operatorname {F} (x,y,a,b)=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d35b0f1162008cf4b84dadf8aee412597d38e55b)
son équation dérivée, prise relativement à
sera
![{\displaystyle \varphi '(a)+b'\varphi '(b)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/99a84f941e9fc3bad344360e471b8d317ab136bd)
en supposant que
soit la fonction dérivée de
prise relativement à
or, comme
est une fonction de
déterminée par l’équation,
![{\displaystyle \operatorname {F} (x,y,a,b)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/de5ce52f0c77745f80310332571847c7050f879e)
on aura la valeur de
en prenant la dérivée de cette équation par rapport à
opération qui donne
![{\displaystyle \operatorname {F} '(a)+b'\operatorname {F} '(b)=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b6058a65d868f976c9a3b87ab7454a8a18ab36ac)
Si maintenant on élimine
de ces deux équations, on a
![{\displaystyle \varphi '(a)\operatorname {F} '(b)-\varphi '(b)\operatorname {F} '(a)=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a8a07af9db34a2e0400c3e7791e68c5adff8889)
Cette équation, étant combinée avec les deux
![{\displaystyle \operatorname {F} (x,y,a,b)=0\quad {\text{et}}\quad \varphi (x,y,y',a,b)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/63f4dbbc7e22fac4f56f9de7a045d85dff028da4)
donnera, par l’élimination de
![{\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/bdb96677ba71b937617ca8751955f884f6306b64)
l’équation singulière résultant de l’équation dérivée relative à
En regardant de même
comme fonction de
dans l’équation
![{\displaystyle \varphi (x,y,y',a,b)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f27c1ecc62be45cffba16e3d1e24b9da7c4df0f6)
on aura également l’équation dérivée relative à ![{\displaystyle b}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f11423fbb2e967f986e36804a8ae4271734917c3)
![{\displaystyle a'\varphi '(a)+\varphi '(b)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b7b56b63cff918c98d2766d4bc106a58515bafbd)
et la valeur de
dépendra alors de l’équation dérivée relativement à ![{\displaystyle b,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bdb96677ba71b937617ca8751955f884f6306b64)
![{\displaystyle a'\operatorname {F} '(a)+\operatorname {F} '(b)=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/edc36e917398020f247456016eb78e917b3beaab)
de sorte que, par l’élimination de
on aura pareillement
![{\displaystyle \varphi '(a)\operatorname {F} '(b)-\varphi '(b)\operatorname {F} '(a)=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a8a07af9db34a2e0400c3e7791e68c5adff8889)
Ainsi l’équation primitive singulière, déduite de l’équation dérivée relative à
sera encore le résultat de l’élimination de
et
par le moyen de l’équation précédente et des équations
![{\displaystyle \operatorname {F} (x,y,a,b)=0,\quad \varphi (x,y,y',a,b)=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5b1139cb634b07f7e1c03fb8dd0dd98844059acd)
Donc ce résultat sera le même dans les deux cas, puisque les équations sont les mêmes.
Il suit de là qu’on peut trouver directement l’équation primitive singulière d’une équation du second ordre, au moyen de son équation primitive complète, sans connaître en particulier les deux équations primitives du premier ordre ; car, soit
![{\displaystyle \operatorname {F} (x,y,a,b)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6aecdbd06bc6d4889921d552fc8fd9d58e395089)
cette équation, où
et
sont les deux constantes arbitraires ; il n’y aura qu’à éliminer
et
au moyen des quatre équations
![{\displaystyle {\begin{alignedat}{2}\operatorname {F} (x,y,a,b)=&0,&\varphi (x,y,y',a,b)=&0,\\\operatorname {F} '(a)+b'\operatorname {F} '(b)=&0,\qquad &\varphi '(a)+b'\varphi '(b)=&0,\end{alignedat}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b135c21f5ef078a81f260d31021bb7137f724ad4)
en supposant
![{\displaystyle \varphi (x,y,y',a,b)=\operatorname {F} '(x,y).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cfe81c59768d1d17f9b3b85935c5c742751751a9)
On peut appliquer le même raisonnement aux équations des ordres supérieurs, et en tirer des conclusions semblables. Ainsi, si
![{\displaystyle \operatorname {F} (x,y,a,b,c)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f20b3d27ad28c3a0ed031005bfa3ec41ee276dec)
est supposée l’équation primitive entre
et
et les trois constantes arbitraires
d’une équation dérivée du troisième ordre, les trois équations primitives du second ordre donneront une même équation primitive singulière de ce même ordre, qui ne sera que le résultat de l’élimination de
et de
au moyen de ces six équations
![{\displaystyle {\begin{aligned}\operatorname {F} (x,y,a,b,c)=&0,\\\varphi (x,y,y',a,b,c)=&0,\\\psi (x,y,y',y'',a,b,c)=&0,\\\operatorname {F} '(a)+b'\operatorname {F} '(b)+c'\operatorname {F} '(c)=&0,\\\varphi '(a)+b'\ \varphi '(b)+c'\varphi '(c)=&0,\\\psi '(a)+b'\ \psi '(b)+c'\psi '(c)=&0,\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/623a018b6932100ea5b9995218abf1fc02d3e606)
en supposant
![{\displaystyle {\begin{aligned}\varphi (x,y,y',a,b,c)=&\operatorname {F} '\,(x,y),\\\psi (x,y,y',y'',a,b,c)=&\operatorname {F} ''(x,y)\,;\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/55c6ed098e58e5ad541e48213ff499dd9f73f7d3)
et ainsi de suite.
Ainsi l’équation du second ordre
![{\displaystyle y''^{2}-{\frac {2y'y''}{x}}+1=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3392ca82ec5bcec2cfd4494b01379812f3fe0709)
ayant, comme on l’a vu ci-dessus, pour équation primitive entre
et
l’équation
![{\displaystyle {\frac {x^{3}}{3}}-2ay+a^{2}x+b=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e572943a2263e6f7a1ae0c25f9b3fea2f709517b)
où
et
sont les constantes arbitraires, on aura tout de suite l’équation primitive singulière du premier ordre, en combinant cette équation avec son équation dérivée ordinaire, et avec les deux dérivées de celles-ci, prises par rapport à
et en regardant
comme fonction de
et
de manière que les quantités
et
disparaissent.
Pour donner plus de généralité à cet exemple, en conservant la constante
dans l’équation dérivée, je donnerai d’abord à l’équation primitive la forme
![{\displaystyle x^{2}+3a^{2}+{\frac {3b-6ay}{x}}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a7bac8705db937481c2268098e7e404a8feda21)
et j’aurai pour sa dérivée
![{\displaystyle 2x-{\frac {6ay'}{x}}-{\frac {3b-6ay}{x^{2}}}=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae62f51e0f669f6a3d69845227b0451aa0212451)
Prenant maintenant les dérivées de l’une et de l’autre relativement à
il viendra
![{\displaystyle {\begin{aligned}6a-{\frac {6y}{x}}\ -{\frac {3b'}{x}}\ =&0,\\{\frac {6y}{x^{2}}}-{\frac {6y'}{x}}-{\frac {3b'}{x^{2}}}=&0,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/63e7d7a217fdb54b34c0324a022b97854f24b8a7)
étant supposé fonction de
En éliminant d’abord
on a
![{\displaystyle {\frac {6(a-y')}{x}}=0,\quad \mathrm {d'o{\grave {u}}} \quad a=y'\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e041a73edb8fc841723b9a8d2905bef45633602f)
les deux premières donnent ensuite, en éliminant ![{\displaystyle b,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bdb96677ba71b937617ca8751955f884f6306b64)
![{\displaystyle 3x+{\frac {3a^{2}-6ay'}{x}}=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc1a875477a634a9a0411c85ed20e3062ac67d25)
substituant la valeur de
il vient
![{\displaystyle 3x-{\frac {3y'^{2}}{x}}=0,\quad {\text{ou}}\quad y'^{2}-x^{2}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92bcf2794dfcf6c581a76b094345edd75a18dfde)
comme plus haut.
Soit encore 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 l’équation primitive en
et
est
![{\displaystyle y-{\frac {a}{2}}x^{2}-bx-a^{2}-b^{2}=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eaa2059cedde1d11e862a0db9118a09d18fb0afe)
Si l’on élimine tour à tour
et
de cette équation, au moyen de son équation dérivée
![{\displaystyle y'-ax-b=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c9dc0ea354544547a39bdcf7c4662e5e24f9ff49)
on a ces deux-ci
![{\displaystyle y+\left({\frac {a}{2}}-a^{2}\right)x^{2}-(1-2a)xy'-a^{2}-y'^{2}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/71cc8c1084a5e46fdc0b36571b0b610d5fe81f44)
![{\displaystyle y-{\frac {(b+y')x}{2}}-{\frac {(b-y')^{2}}{x^{2}}}-b^{2}=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a98d687e87ecf281dc9fae4a4d2894e69335bc0)
En prenant l’équation dérivée de la première relativement à
on trouve
![{\displaystyle \left({\frac {1}{2}}-2a\right)x^{2}+2xy'-2a=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/82acad6d7a573339f3bbb6dc38e7e9789c9dfbf3)
d’où résulte
![{\displaystyle a={\frac {x^{2}+4xy'}{4\left(1+x^{2}\right)}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d97bef7dda5f046d0bbe1d67970920420f23fd1e)
valeur qui, étant substituée dans la même équation, donne
![{\displaystyle y-xy'-y'^{2}+{\frac {\left(4xy'+x^{2}\right)^{2}}{16\left(1+x^{2}\right)}}=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9bb1d261f606bf228c9ed255e17884f5cf39e72e)
De même l’équation dérivée de la seconde, relativement à
sera
![{\displaystyle {\frac {x}{2}}+{\frac {2(b-y')}{x^{2}}}+2b=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1711633078a03f237ead85e8a4bb697673930f3d)
d’où l’on tire
![{\displaystyle b={\frac {4y'-x^{3}}{4\left(1+x^{2}\right)}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8098d306458bc0de528ab48584f1a034608d0b4a)
et la substitution de cette valeur donnera
![{\displaystyle y-{\frac {xy'}{2}}-{\frac {y'^{2}}{x^{2}}}+{\frac {\left(4y'-x^{3}\right)^{2}}{16x^{2}\left(1+x^{2}\right)}}=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/31e10e6fc210b62459f8606e8ee5009c34763bbb)
ces deux équations reviennent au même, car elles se réduisent l’une et l’autre à celle-ci
![{\displaystyle \left(1+x^{2}\right)y-\left(x+{\frac {x^{2}}{2}}\right)y'-y'^{2}+{\frac {x^{4}}{16}}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/44025883c71163e8ec83167eb1702f7c3eabf3ff)
qui est, par conséquent, l’équation primitive singulière de la proposée du second ordre.
On aura le même résultat en éliminant immédiatement
et
au moyen de l’équation primitive
![{\displaystyle y-{\frac {a}{2}}x^{2}-bx-a^{2}-b^{2}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ac44f78009446ba868eeffeb3707ef9dc3123fdb)
de sa première dérivée
![{\displaystyle y'-ax-b=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/df6d0d3fb7e9417a9a316046fc980c711d6037fa)
et de leurs deux dérivées par rapport à ![{\displaystyle a,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f059f053fcf9f421b7c74362cf3bd5ed024e19d1)
![{\displaystyle {\frac {x^{2}}{2}}+2a+(x+2b)b'=0,\quad x+b'=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dd1d455c3a34a62989234c2f77123effad963c3d)
Ces deux-ei donnent, en éliminant
![{\displaystyle {\frac {x^{2}}{2}}+2a-(x+2b)x=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/668864b49c4ec0cf4385a655a82c2d67faf7f089)
En combinant celle-ci avec la seconde, on trouve
![{\displaystyle a={\frac {x^{2}+4xy'}{4\left(1+x^{2}\right)}},\quad b={\frac {4y'-x^{3}}{4\left(1+x^{2}\right)}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/af5496f243ff54915118b2be7dd922f64945ce59)
et, ces valeurs étant substituées dans la première, il vient
![{\displaystyle y\left(1+x^{2}\right)+{\frac {x^{4}}{16}}-\left({\frac {x^{3}}{2}}+x\right)y'-y'^{2}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d7381b0ecd128ef15774472589e0037440f81efb)
comme ci-dessus.
Si de l’équation primitive
![{\displaystyle \operatorname {F} \left(x,y,y',\ldots ,y^{(n-1)},a\right)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/74322340553ed757d775df2962b2a266be42fbca)
on tire la valeur de
en fonction de
![{\displaystyle x,y,y',\ldots ,y^{(n-1)},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0f3c30a4d4f6bb76c214255a2e53fe53d5f3d27d)
et qu’on la désigne par
![{\displaystyle \Phi \left(x,y,y',\ldots ,y^{(n-1)}\right),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/00543d506306dbd55a2ad75471edac1232ccc42b)
il est clair qu’en substituant cette fonction à la place de
dans la
même équation, elle deviendra nécessairement identique par conséquent ses équations dérivées, relatives à
![{\displaystyle x,y,y',\ldots ,y^{(n-1)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/29b0ff51f66de3fbd5690eaea226cd7d9b6d2bd2)
en particulier, auront lieu aussi.
On aura donc
![{\displaystyle {\begin{aligned}&\operatorname {F} '(x\,)+\operatorname {F} '(a)\Phi '(x\,)=0,\\&\operatorname {F} '(y\ )+\operatorname {F} '(a)\Phi '(y\,)=0,\\&\operatorname {F} '(y')+\operatorname {F} '(a)\Phi '(y')=0,\\&\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots ,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/46ee42de52d9dbf45a2f1140d4ac56a2d1b2e2cb)
où j’ai conservé, sous le signe
la lettre
à la place de sa valeur
![{\displaystyle \Phi \left(x,y,y',\ldots ,y^{(n-1)}\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1b22e29185afc5c133c094b9d1792c7c261c259b)
De là on déduira
![{\displaystyle {\begin{aligned}&\Phi '(x\,)=-{\frac {\operatorname {F} '(x)}{\operatorname {F} '(a)}},\\&\Phi '(y\,)=-{\frac {\operatorname {F} '(y)}{\operatorname {F} '(a)}},\\&\Phi '(y')=-{\frac {\operatorname {F} '(y')}{\operatorname {F} '(a)}},\\&\ldots \ldots \ldots \ldots \ldots ..\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b28ab7e976e182a8f69ff96f7abfbee889c31bd)
Donc, puisque la quantité
devient nulle dans le cas de l’équation primitive singulière, il s’ensuit que, dans ce même cas, les valeurs de
![{\displaystyle \Phi '(x),\ \ \Phi '(y),\ \ \Phi '(y'),\ \ \ldots ,\ \ \Phi '\left(y^{(n-1)}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d6dbef52451d41f7b4f0ddc9a2e4abe0470bcf1)
deviendront chacune infinie.
Ce caractère fournit aussi un moyen général de trouver l’équation primitive singulière ; et ce moyen est surtout utile, lorsque l’équation primitive est sous la forme
![{\displaystyle \Phi \left(x,y,y',y'',\ldots ,y^{(n-1)}\right)=a,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/641261a10367a579f3c4fa4dae8d0de50a09ca27)
laquelle paraît échapper à la règle générale établie ci-dessus, car on aurait ici
![{\displaystyle \operatorname {F} \left(x,y,y',\ldots ,y^{(n-1)}\right)=\Phi \left(x,y,y',\ldots ,y^{(n-1)}\right)-a}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f1f80e6b99ae8b27135a4c18b367aa454b68acc3)
et, de là,
![{\displaystyle \operatorname {F} '(a)=-1,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6e558b720fd3a5bc924754dd62f450dcdcdc9425)
d’où l’on ne pourrait rien conclure relativement à l’équation primitive singulière.
Il faut néanmoins observer que, quoiqu’il soit vrai que l’équation primitive singulière rend les fonctions
![{\displaystyle \Phi '(x),\ \ \Phi '(y),\ \ \Phi '(y'),\ \ \ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/cbdd5bf22952c460fed627fa51411dfd5c8c16f9)
infinies, on n’en doit pas conclure que toute équation qui rendra ces quantités infinies sera une équation primitive singulière ; il faudra, de plus, que cette équation ne rende pas la fonction
![{\displaystyle \Phi (x,y,y',\ldots )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75bcc38d9e435cb20f58be43b6cefdae1fe84c21)
égale à une constante, car on n’aurait alors qu’un cas particulier de l’équation primitive générale.
Par exemple, si
![{\displaystyle \Phi (x,y)=(y-x)^{m},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/40370000a34bb136f41c2762a7f93031512a03ab)
on aura
![{\displaystyle \Phi '(x)=-m(y-x)^{m-1},\quad \Phi '(y)=m(y-x)^{m-1}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e990423dcc43b412e59220c2c0f6af4fd5974c6b)
l’une et l’autre de ces quantités deviennent infinies, en faisant
pourvu que ![{\displaystyle m<1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/df1de09d4e4717311916a99827eeca4dc7ed543a)
Mais cette équation
![{\displaystyle y-x=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a1438a6b64c3facdfdfb4070aac1bed165720520)
rend la valeur de
égale à zéro ou à l’infini, suivant que
est positif ou négatif ; donc elle ne peut pas être une équation primitive singulière.
Prenons l’équation du premier exemple
![{\displaystyle x^{2}-2ay+a^{2}-b=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f7e74b3202885834f6c40f1c9bbd7a1d0e027cdc)
elle donne
![{\displaystyle a=-y+{\sqrt {x^{2}+y^{2}-b}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b2d67b65a13c77fd61427ccdd0a71525e00e0fe8)
donc
![{\displaystyle \Phi (x,y)=-y+{\sqrt {x^{2}+y^{2}-b}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5b6f25948f87ab7c6090f11587fde2f4b409e794)
et, de là,
![{\displaystyle {\begin{aligned}\Phi '(x)=&{\frac {x}{\sqrt {x^{2}+y^{2}-b}}},\\\Phi '(y)=&-1+{\frac {y}{\sqrt {x^{2}+y^{2}-b}}},\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dd22be1456f92e54aa583ec4bc88b9d8739543e8)
où l’on voit que ces deux fonctions deviennent infinies par l’équation primitive singulière
![{\displaystyle x^{2}+y^{2}-b=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0623379a803bbc783c7f477b59afc8d962420e49)
Nous avons trouvé plus haut cette équation du premier ordre
![{\displaystyle y\left(1+x^{2}\right)+{\frac {x^{4}}{16}}-\left({\frac {x^{3}}{2}}+x\right)y'-y'^{2}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d7381b0ecd128ef15774472589e0037440f81efb)
pour l’équation primitive singulière de 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/7b92b1113c1bc355cc4e7a930d492b8ef4f3f29c)
en dégageant la fonction
on a
![{\displaystyle y'+{\frac {2x+x^{3}}{4}}-{\frac {{\sqrt {1+x^{2}}}{\sqrt {16y+4x^{2}+x^{4}}}}{4}}=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6748ad1c3361657980633aad39146acd5ec4695d)
et, divisant par
on obtient
![{\displaystyle {\frac {8y'+4x+2x^{3}}{\sqrt {16y+4x^{2}+x^{4}}}}=2{\sqrt {1+x^{2}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c064da9ba18d81d5308ef66f6c033f60f5101750)
équation dont les deux membres sont des fonctions dérivées exactes.
En prenant leurs fonctions primitives, et ajoutant la constante arbitraire
on aura l’équation primitive
![{\displaystyle {\sqrt {16y+4x^{2}+x^{4}}}=x{\sqrt {1+x^{2}}}+l\left({\sqrt {1+x^{2}}}+x\right)+k,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/83552718ff51515c71df3282ca13b182b3ca4641)
comme il est facile de s’en assurer en prenant les fonctions dérivées de ses deux membres.
Cette équation est, comme l’on voit, bien différente de l’équations primitive complète
![{\displaystyle y-{\frac {a}{2}}x^{2}-bx-a^{2}-b^{2}=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/745a16cfb792f188e0ca0d820dee0e18f972f114)
mais elle satisfait également à l’équation proposée du second ordre, parce qu’elle satisfait, en général, à l’équation du premier ordre, qui satisfait à celle du second ordre, comme primitive singulière.
Mais cette équation du premier ordre peut avoir elle-même une primitive singulière qu’il est bon de chercher.
Comme la constante
est débarrassée des variables
et
on a immédiatement
![{\displaystyle k={\sqrt {16y+4x^{2}+x^{4}}}-x{\sqrt {1+x^{2}}}-l\left({\sqrt {1+x^{2}}}+x\right),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c55e676a60cdc50c5183129e55d4760f6fa5530a)
de sorte que, en désignant cette fonction par
et prenant les fonctions dérivées relatives à
ou
on aura sur-le-champ
![{\displaystyle \Phi '(y)={\frac {8}{\sqrt {16y+4x^{2}+x^{4}}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/66934d796bc7ecda95195663fc087b0f12dca124)
donc, supposant cette quantité infinie, on aura l’équation
![{\displaystyle 16y+4x^{2}+x^{4}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4974e521018074c93f10a19c1848cb4d2a8f7367)
pour l’équation primitive singulière de l’équation du premier ordre, qui est déjà elle-même une primitive singulière de la proposée du second ordre.
Elle satisfait, en effet, comme on peut s’en assurer, à l’équation du premier ordre ; mais elle ne satisfait plus à celle du second ordre.
On aurait pu aussi déduire immédiatement cette même équation singulière de l’équation primitive entre
et
![{\displaystyle y-{\frac {a}{2}}x^{2}-bx-a^{2}-b^{2}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ac44f78009446ba868eeffeb3707ef9dc3123fdb)
en déterminant
et
par ses deux équations dérivées relatives à
et ![{\displaystyle b.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aef051eb30c89e5493d672f6479566c673b0890a)
On aura ainsi
![{\displaystyle {\frac {1}{2}}x^{2}+2a=0,\quad x+2b=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3ac9f3cdf448ca3913f02cee24dc4dcaf504433a)
d’où l’on tire
![{\displaystyle a=-{\frac {x^{2}}{4}},\quad b=-{\frac {x}{2}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8cc7b67bcb28c3c212e2d3213b9b5beab37a1401)
substituant ces valeurs dans l’équation précédente, elle deviendrait
![{\displaystyle y+{\frac {x^{4}}{16}}+{\frac {x^{2}}{4}}=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9778dfb2fd3263689d6930266be8e25ee44dee62)
Il n’est pas difficile, en effet, de démontrer, par la théorie générale des équations primitives singulières, que ces sortes d’équations primitives singulières doubles résultent de l’équation primitive
![{\displaystyle \operatorname {F} (x,y,a,b)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/de5ce52f0c77745f80310332571847c7050f879e)
en éliminant les deux constantes
et
par les deux équations particulières
![{\displaystyle \operatorname {F} '(a)=0,\quad {\text{et}}\quad \operatorname {F} '(b)=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3ba028b1f2f5482fa7e705b6b95e62dce88b06cf)
Et par là il est aisé de voir la raison pourquoi elles ne satisfont pas, en général, à l’équation du second ordre, dont
![{\displaystyle \operatorname {F} (x,y,a,b)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6aecdbd06bc6d4889921d552fc8fd9d58e395089)
est l’équation primitive complète avec les deux constantes arbitraires
et ![{\displaystyle b.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aef051eb30c89e5493d672f6479566c673b0890a)
Car soit
![{\displaystyle f(x,y,y',y'')=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c6f1000c971af68805d73dfdac00eca1b1563925)
cette équation du second ordre ; elle résulte, comme nous l’avons vu, de l’élimination de
et
regardées comme constantes, au moyen des trois équations
![{\displaystyle \operatorname {F} (x,y,a,b)=0,\quad \operatorname {F} '(x,y)=0,\quad \operatorname {F} ''(x,y)=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/54d19bdd6c419a0fe55a03c6e71e2bd3918d7a2a)
Mais, lorsqu’on regarde
et
comme des fonctions de
et
l’équation dérivée de
![{\displaystyle \operatorname {F} (x,y,a,b)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6aecdbd06bc6d4889921d552fc8fd9d58e395089)
n’est plus simplement
![{\displaystyle \operatorname {F} '(x,y)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6fbe4d4cdc3ee99041e28bb5d4fef98f00e773a3)
mais elle devient
![{\displaystyle \operatorname {F} '(x,y)+a'\operatorname {F} '(a)+b'\operatorname {F} '(b)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c92c7036b6caafc66ad90ca0d02bc2cba556b39a)
laquelle se réduit cependant à
![{\displaystyle \operatorname {F} '(x,y)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6fbe4d4cdc3ee99041e28bb5d4fef98f00e773a3)
en déterminant
![{\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)
par les deux conditions
![{\displaystyle \operatorname {F} '(a)=0,\quad {\text{et}}\quad \operatorname {F} '(b)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd7cf4720b23fae69971771c209e0114b7779213)
qui sont celles de l’équation primitive singulière double.
Comme la fonction dérivée
étant développée, renferme les variables
et les deux constantes
et
désignons-la par
il est clair que la troisième équation
![{\displaystyle \operatorname {F} ''(x,y)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75d120f61cd2f8e2b02fdfd45ece4a6ca9597e36)
où
et
sont regardées comme constantes, sera représentée par
![{\displaystyle \varphi '(x,y,y')=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8460fbb56dbcb87f66ef692883c931d5f419e01)
mais, dans le cas où ces quantités sont variables, elle deviendra
![{\displaystyle \varphi '(x,y,y')+a'\varphi '(a)+b'\varphi '(b)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/07ca4c87afe1198070ec150a00d9462ebf642a77)
qui ne se réduit plus à
![{\displaystyle \varphi '(x,y,y')=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0075966323ed1dc3a01d4caf9b61c3131c64f012)
parce que les deux fonctions
et
ne sont pas nulles.
Ainsi il est impossible que l’équation
![{\displaystyle \operatorname {F} (x,y,a,b)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/de5ce52f0c77745f80310332571847c7050f879e)
dans laquelle
et
sont des fonctions de
et
déterminées par les conditions
![{\displaystyle \operatorname {F} '(a)=0,\quad \operatorname {F} '(b)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e6e110ddde0c45a2aea33808d3def402ac9c74f7)
satisfasse généralement à l’équation du second ordre qui résulte de la même équation par l’élimination des quantités
et
au moyen de ses deux dérivées, première et seconde, prises en regardant
et
comme constantes.
On peut étendre cette théorie aux équations primitives des équations des ordres supérieurs.
Ainsi, si l’on a l’équation primitive
![{\displaystyle \operatorname {F} (x,y,a,b,c)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7a4f8706cbad48034c938c22423341e0c6523243)
où
![{\displaystyle a,b,c,\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9341052b91111aa6c4a084ddf1501d21cea2786e)
sont trois constantes arbitraires, et qu’on détermine ces trois quantités par les trois conditions
![{\displaystyle \operatorname {F} '(a)=0,\quad \operatorname {F} '(b)=0,\quad \operatorname {F} '(c)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/79b6bf11762dfa535d07f272133b5abe3055ea76)
on aura une équation primitive singulière triple, qui sera, par conséquent, la primitive singulière d’une équation du premier ordre, qui sera elle-même la primitive singulière d’une autre du second ordre, laquelle sera enfin la primitive singulière de l’équation du troisième ordre, dont la même équation
![{\displaystyle \operatorname {F} (x,y,a,b,c)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f20b3d27ad28c3a0ed031005bfa3ec41ee276dec)
sera la primitive ordinaire complète avec les trois constantes arbitraires
mais cette équation primitive singulière triple ne satisfera ni à l’équation du troisième ordre, ni même à sa primitive singulière du second ordre.
Nous avons démontré plus haut que les fonctions
ont des valeurs infinies dans le cas de l’équation primitive singulière de la dérivée, dont
![{\displaystyle \Phi \left(x,y,y',y'',\ldots ,y^{(n-1)}\right)=a}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6cb20aa583e7128c1a92ce937369c432b239be70)
est la primitive ordinaire, avec la constante arbitraire ![{\displaystyle a.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6b803da9c45c1186883bde55107e9ccb102c92c6)
On peut conclure de là, tout de suite, que tout multiplicateur qui rendra une équation de l’ordre quelconque
telle que
![{\displaystyle y^{(n)}+f\left(x,y,y',\ldots ,y^{(n-1)}\right)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/181cea2431c691fc907e56ea61e462756220ecd8)
une dérivée exacte d’une équation de l’ordre inférieur
deviendra nécessairement infini en vertu de l’équation primitive singulière de la même équation.
Car soit
ce multiplicateur on aura donc, par l’hypothèse,
![{\displaystyle \mathrm {M} \left[y^{(n)}+f\left(x,y,y',\ldots ,y^{(n-1)}\right)\right]=\Phi '\left(x,y,y',\ldots ,y^{(n-1)}\right)\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5a3572f41863e1844c45dfd7c88604391cc49fc4)
et l’équation primitive sera
![{\displaystyle \Phi \left(x,y,y',\ldots ,y^{(n-1)}\right)=a.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c1e8d21b33e2776ce1426ea3995c0487f3741c53)
Or,
![{\displaystyle \Phi '\left(x,y,y',\ldots ,y^{(n-1)}\right)=y^{(n)}\Phi '\left(y^{(n-1)}\right)+\Phi '\left(x,y,y',\ldots ,y^{(n-2)}\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2ab76946c864a34d177a59ad928501f0a07583f9)
Donc
![{\displaystyle \mathrm {M} =\Phi '\left(y^{(n-1)}\right)\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/10f0060d5afd24769cac9b779eb40d846de4c6e6)
par conséquent la quantité
deviendra infinie par la substitution de la valeur de
donnée par l’équation primitive singulière.
Cette conclusion suit aussi directement de la forme même des multiplicateurs, que nous avons donnée dans la Leçon XIII. En effet, si l’équation est du premier ordre, comme
![{\displaystyle y'+f(x,y)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d29f67ab864fae3b6652519d208cb26ec65db50d)
elle n’aura qu’une équation primitive, telle que
![{\displaystyle \operatorname {F} (x,y,a)=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/32626954e612205d9891c3a9c8c2a80e4b1545b6)
et tous les multiplicateurs de cette équation sont nécessairement renfermés dans la formule
étant une fonction quelconque de
en supposant qu’on substitue pour
sa valeur tirée de la même équation
![{\displaystyle \operatorname {F} (x,y,a)=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/32626954e612205d9891c3a9c8c2a80e4b1545b6)
donc, puisque l’équation primitive singulière rend la fonction
nulle, tous les multiplicateurs deviendront aussi infinis.
Si l’équation dérivée est du second ordre, comme
![{\displaystyle y''+f(x,y,y')=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/85e0c4a61e22e94c4d322987e1a83c9f07423744)
elle peut avoir deux équations primitives différentes, chacune du premier ordre, telles que
![{\displaystyle \operatorname {F} (x,y,y',a)=0\quad {\text{et}}\quad \operatorname {\overline {F}} (x,y,y',b)=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/af918a7c3dde5e35dcadddc7a99bac3fe210d8a0)
et la formule générale des multiplicateurs sera
![{\displaystyle {\frac {\Phi '(a)\operatorname {F} '(y')}{\operatorname {F} '(a)}}+{\frac {\Phi '(b)\operatorname {\overline {F'}} (y')}{\operatorname {\overline {F'}} (a)}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f0a561097c7f1136bb6b4693ae197f05989a36a8)
![{\displaystyle \Phi (a,b)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4dc77daf9e2c7f9af282af06d33a31552bd4a6bf)
étant une fonction quelconque de
![{\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/bdb96677ba71b937617ca8751955f884f6306b64)
c’est-à-dire de leurs valeurs déterminées par les équations précédentes.
Or l’équation primitive singulière rend nulle chacune des deux fonctions dérivées
donc tous les multiplicateurs deviendront infinis dans le cas de cette équation, et ainsi de suite.
Par exemple, l’équation
![{\displaystyle y'-{\frac {x}{{\sqrt {x^{2}+y^{2}-b}}-y}}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1e73398a41afed41cb45faa7ef1fa642cf6b1b51)
qui est la même que celle qu’on a considérée ci-dessus,
pour l’un de ses multiplicateurs, la quantité
![{\displaystyle {\frac {{\sqrt {x^{2}+y^{2}-b}}-y}{\sqrt {x^{2}+y^{2}-b}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/14f420a1c6dc0415605bc75f6a39e78584ae4499)
En supposant ce multiplicateur infini, on a
![{\displaystyle x^{2}+y^{2}-b=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/527f0ebd9a3d6927f6cc84a925961c8b4f6f68a3)
pour son équation primitive singulière ; ce qui s’accorde avec ce qu’on a déjà trouvé.
On a donc ainsi un nouveau moyen de trouver les équations primitives singulières par les multiplicateurs.
Mais, quoiqu’il soit prouvé que tout multiplicateur doit devenir infini par l’équation primitive singulière, on ne peut pas dire, réciproquement, que toute équation qui rendra un multiplicateur infini sera une équation singulière. En effet, la formule générale des multiplicateurs étant pour le premier ordre
il est évident que sa valeur peut devenir infinie sans que l’on ait
![{\displaystyle \operatorname {F} '(a)=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a47af3ab02eea81e9ffc642b8976d227ac69566)
car pour cela il suffit que l’une ou l’autre des fonctions
reçoive une valeur infinie.
Au reste, on peut se convaincre aussi, par ce raisonnement fort simple, que l’équation primitive singulière doit rendre infini tout multiplicateur d’une équation d’un ordre quelconque
de la forme
![{\displaystyle y^{(n)}+f\left(x,y,y',\ldots ,y^{(n-1)}\right)=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0fd82e42d44a7f69a325fc1b914ecc2f41870fc5)
Car,
étant un multiplicateurde cette équation, on aura
![{\displaystyle \mathrm {M} \left[y^{(n)}+f\left(x,y,y',\ldots ,y^{(n-1)}\right)\right]=\Phi '\left(x,y,y',\ldots ,y^{(n-1)}\right)\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5a3572f41863e1844c45dfd7c88604391cc49fc4)
et l’équation deviendra
![{\displaystyle \Phi '\left(x,y,y',\ldots ,y^{(n-1)}\right)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/58cbb617508266fe6bf98f4c1dceaf4642053622)
dont la primitive sera
![{\displaystyle \Phi \left(x,y,y',\ldots ,y^{(n-1)}\right)=a,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9fdea4453a17463ae22e939de2a55edb90fa9695)
étant une constante arbitraire.
Maintenant l’équation primitive singulière doit satisfaire à la proposée
![{\displaystyle y^{(n)}+f\left(x,y,y',\ldots ,y^{(n-1)}\right)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/181cea2431c691fc907e56ea61e462756220ecd8)
et ne doit pas être comprise dans sa primitive complète
![{\displaystyle \Phi \left(x,y,y',\ldots ,y^{(n-1)}\right)=a.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c1e8d21b33e2776ce1426ea3995c0487f3741c53)
Donc la valeur de
tirée de la primitive singulière, étant substituée dans la fonction
ne doit pas la rendre égale à une constante ; par conséquent elle ne devra pas rendre nulle sa dérivée
Donc cette valeur doit rendre nulle la quantité
![{\displaystyle y^{(n)}+f\left(x,y,y',\ldots ,y^{(n-1)}\right),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d457d763393c379bdf9eaa0d341f08c4cbaacfbf)
et ne doit pas rendre nulle la quantité
![{\displaystyle \mathrm {M} \left[y^{(n)}+f\left(x,y,y',\ldots ,y^{(n-1)}\right)\right],}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf9a6d572c2d07998410a93b520d10a0b65495c2)
ce qui ne peut avoir lieu qu’autant qu’elle rendra la quantité
infinie.
C’est à peu près de cette manière que Laplace a démontré le premier cette proposition importante, que d’autres géomètres avaient entrevue, mais dont on n’avait pas encore donné une démonstration rigoureuse. Voir son Mémoire sur les Solutions particulières, parmi ceux de l’Académie des Sciences de 1772.