Soit, par
exemple.
z = ax -h by.
on en déduit
dz dz ,
par conséquent
dz dz
Pour trouver d'autres solutions de l'équation (a), posons b = (p{a) et éliminons a entre l'équation
(3) z=ax-hx^{a) et sa déf ivée
(4) o = :r-f-jf (a).
On conclut de l'équation (4) que a est une fonction de —» et, par suite, l'élimination de a met l'équation (3) sous la forme
F étant une fonction dont la forme dépend de celle de ç) ; il est facile de vérifier, en effet, que, quelle que soit la fonction F, l'équation (5) satisfait à l'équation différentielle (2). On déduit, en effet, de l'équation (5)
dx \x J X \x I dy \x /
et par conséquent
dz dz
Les surfaces représentées par l'équation (i) sont ici des plans passant par l'origine. En établissant une relation entre les deux constantes, on obtient l'équation d'un plan mobile autour de l'origine suivant une loi arbitraire, et ce plan enveloppe un cône dont l'équation satisfait à l'équation différentielle de l'ensemble de ses plans tangents.
195. La solution précédente repose entièrement sur des considérations géométriques; mais on peut démontrer directement» sans faire intervenir la théorie des surfaces, que l'équation obtenue en éliminant a entre
et
donne, entre j- et j-> a:, y, z, la même relation que l'équation
pour éliminer en effet a entre les équations (i) et (a), il faut déduire de la seconde la valeur de a en fonction de x, y, z et la remettre dans la première. Cela
fait, si l'on veut calculer ^ et ^9 dans l'équation résultant de cette élimination, il
faudra différentier l'équation (i) par rapport à a? et par rapport à j, en ayant égard à ce que a, qui était constant, est devenu variable ; on aura ainsi
dx dz dx da dx '
rfF d^dz d¥d^ dy dz dy da dy *
d¥ mais l'expression de a est telle que l'on a, identiquement, ^ = o, et les équations
précédentes se réduisent par conséquent à
d^ d¥ dz
d¥ d¥ dz
dx dz dx
dy '3z dy
elles sont donc précisément les mêmes que lorsque a était constant. Or on pourra combiner ces deux équations de manière à éliminer entre elles et la proposée les deux quantités a et 9 (a) devenues variables. Les calculs seront absolument les mêmes que lorsque ces quantités étaient constantes et se nommaient a et b, et l'on aura le même résultat, comme on voulait le démontrer.
196. Les considérations précédentes peuvent être généralisées. Si Ton considère une fonction de n variables indépendantes, liée à ces n variables par une équation
contenant n constantes arbitraires, on pourra éliminer ces n constantes entre Téquation proposée et les dérivées du premier ordre prises par rapport aux n variables indépendantes; on formera ainsi une équation différentielle du premier ordre qui, quelles que soient les constantes, sera satisfaite par la fonction que définit l'équation proposée, et, en outre, par une infinité d'autres fonctions qui peuvent se déduire de celle-là.
Soit l'équation
(i) o = F(tt, j:„ j:,,. . ., j:,. Cl, Cj, . . ., C).
Supposons que, parmi les n constantes C^, C2,..., C„, on en choisisse un nombre arbitraire p et qu'on les considère comme des fonctions arbitraires de toutes les autres, de telle sorte que l'équation (On® contienne plus que n — p constantes; si l'on difierentie cette équation par rapport à ces n —p constantes, successivement, on pourra éliminer ces constantes entre l'équation proposée et les équations ainsi formées; le résultat de cette élimination sera une équation entre {/, x^, 072,..., oCn\ la fonction u définie par cette relation, dont la forme dépend des fonctions arbitraires que l'on a introduites, satisfera à la même équalion différentielle que la fonction primitivement donnée qui contenait les n constantes.
Regardons en effet, dans l'équation (1), C,, C,,..., C^ comme des fonctions arbitraires des autres constantes, et différentions-la par rapport aux constantes C^,, C^M-i»-..» C„; nous aurons ainsi n — /? équations. De ces équations déduisons C^+i, Cp^.3, . . . , C„, pour les substituer dans la proposée qui ne contiendra plus alors que Uy
Wt, x^,..., x„. Je dis que les dérivées ^^ t—v? t— et la fonction a, auront, pour
des valeurs données de a:,, iCa,..., ^b, absolument les mêmes expressions en fonction de a;,, iCa,..., x„, C,, Cj,..., C^ que lorsque les lettres €<, C2,..., C;, étaient constantes. En effet, après avoir remplacé, dans l'équation (1), Cp+,, C^+2>---» C„ par
leurs valeurs, si on la différentie pour obtenir ^— ? il faudra avoir égard à ce que
les lettres C,, C2,..., C;, ne désignent plus des constantes, mais des fonctions de Cp+i, Cp.,.2,..., C;,, qui elles-mêmes contiennent a?,-, jc„...,jr«,. L'équation obtenue par la différentiation par rapport à x^ sera alors
rfF rfF du d¥ rfC.^. rfF rfC,
dxi du dxx dCp^.t dx^ " ' ' rfC» dxt '
mais, par hypothèse, les expressions de Cp+,, Cp^.2,..., C„ donnent identiquement
rfF rfF rfF
et l'équation se réduit à
d¥ d¥ du^ dxx du dxi ~ '
absolument la même que lorsque C^ Ca,..., C« représentaient des constantes.
D'après cela, les relations entre u, x^j o^a,..., a?;,, t— ? n — v? -j— » C|, Co,..., Q,,
sont les mêmes que lorsque Cf , Cj,..., C„ étaient constants, et par suite, quoique C,» Cs,..., Cp soient devenus des fonctions de Cp+,, C^a»---» C,,, et que ces dernières quantités soient elles-mêmes des fonctions de a?^, a^j,..., x^^ on pourra les éliminer absolument de même dans les deux cas, car le résultat d'une élimination ne dépend pas de la signification de la lettre éliminée. On aura donc toujours la même relation entre la fonction m, les variables dont elle dépend, et ses dérivées par rapport à ces variables.
On donnera au résultat le plus grand degré de généralité possible, en supposant le nombre arbitraire/? égal à n — i .
Soit, par exemple, une fonction de trois variables
(0 « = C,Jr, -h CjJTj-f-CaXa;
on trouve, en éliminant les constantes entre cette équation et ses dérivées par
rapport à a?,, ^r^ et ^Pj,
, , du du du
Soient
C,= ?(C.), C3 = 4.(C.); si on élimine C, entre les équations
O = JT, H- Xi9' (C.) H- ^3>|''(C,),
on obtiendra une équation entre ^,, x^, x^ et m contenant deux fonctions arbitraires ç) et ^y et telle que la fonction u que l'on en déduit satisfasse à l'équation ii). Quelles que soient les fonctions tf et ij;, on tirera de ( 3)
et, par suite, u est une fonction homogène du premier degré de la forme
\x^ x^ I on vérifie aisément que cette fonction satisfait à l'équation (2).
Élimination des Jonctions arbitraires,
197. Les résultats précédents conduisent a penser que la différenliation permet non-seulement d'éliminer des constantes, mais encore de faire disparaître des fonctions arbitraires d'une équation qui en renferme. Nous allons prouver qu'en effet il en est ainsi, et présenter quelques remarques relatives à cette élimination.
Et d'abord il ne peut être question ici des fonctions d'une seule variable. La présence d'une fonction arbitraire dans l'équation qui définit une telle fonction la rendrait elle-même entièrement arbitraire, et il n'y aurait pas lieu par conséquent d'en faire l'objet d'une étude spéciale.
Considérons le cas où une fonction z dépend de deux variables indépendantes x et y. Les fonctions arbitraires renfermées dans l'équation qui lie x, y et z peuvent être de deux sortes. L'équation considérée peut renfermer, sous le signe d'une fonction arbitraire, une fonction donnée en x, y et z. C'est ce qui arrive, par exemple, dans l'équation
OÙ Q désigne une fonction arbitraire de la somme x^ + y^-^ z^. Dans d'autres cas, l'équation contient une ou plusieurs fonctions arbitraires de quantités dont l'expression en a?, 7, z varie avec la forme même des fonctions, parce qu'elles sont définies par d'autres équations où figurent les mêmes fonctions avec leurs dérivées. Ce second cas se présente dans le système
l'élimination de a donnera, entre x^y et z, une relation qui dépend évidemment de la forme choisie pour la fonction arbitraire <p (a), mais a ne peut être exprimé en fonction de x^yetz que si l'on se donne cette fonction ç. Si, par exemple, on suppose ip (a) = a, on trouve
et en prenant 9 (a) = -9 on en déduit
la fonction ç> porte donc, dans les deux cas, sur des expressions très-différenles. 11 est clair que si l'équation qui lie 2 a a? et à y contient n fonctions arbitraires
9,(a<), ^^(aa),..., (pn{(Xn)f ii faudra, pour qu'on puisse les éliminer, avoir, en même temps, n autres équations renfermant les mêmes fonctions qui pourront y être mêlées à leurs dérivées et aux variables «<, «a,..., a„ elles-mêmes. Par exemple, les trois équations
r=?'{«)-Hf(p),
établissent, entre a?, y et z, une relation qui dépend de la forme choisie pour chacune des deux fonctions désignées par f et ^.
198. Considérons d'abord le cas le plus simple, celui où la fonction arbitraire porte sur une fonction donnée de x^ y et z et où l'équation donnée est de la forme
V et u étant des fonctions données de Xy y et z, et (p une fonction arbitraire.
En prenant la dérivée de l'équation (i) par rapport à x, puis par rapport à v, on a
dv dv dz \(du dudz\
Tr^Tzd^-'^^''^\d^'^diTrr
et en divisant ces deux équations membre k membre
dv^ dv dz du du dz
dx dz dx dx dz dx
dj^ ,dvdz du du dz^
</r dz dy dy dz dy c'est-a-dire
dz^ldudv du^di^\ d^ f d\^du ^dvdu\ du dv du d^
dx \^ dz dz dyj dy \dx dz dz dx ) ~~ dx dy dy dx'
On voit que, quelles que soient les fonctions u et v, cette équation contient les dérivées partielles ^ et ^ au premier degré.
199. Considérons, en second lieu, le cas plus général où la fonction z est définie par un système de * -f- i équations entre x, y, z, et * fonctions arbitraires qui doivent être éliminées ainsi que les variables dont elles dépendent.
Soient y<(a, ), 9a(a2).- •» ?*(«*) ces k fonctions arbitraires qui peuvent figurer
ainsi que leurs dérivées, dans les A -f- i équations données; on commencera par calculer les dérivées partielles 3- ' j- ' 3-7' J~T"' "5^ ' ' " * ' ^^ fonction de a?, j, 2,
et des fonctions ç), («i), 9>a(«2)?---> fki^k] ^t de leurs dérivées. Pour cela, on différentiera d'abord toutes les équations par rapport à x\ puis par rapport à y, et Ton
formera ainsi 2(^-1-1) équations nouvelles, contenant, avec ^et^> les dérivées
par rapport k x et par rapport à j de «i, a-i,..., a*. On pourra donc éliminer ces
dérivées, et calculer ;r- et ^« Les dérivées du second ordre des k + i équations
proposées sont au nombre de 3 (A; -h i); elles contiennent, outre t— 5 -1—9 ^ , ? les dérivées du premier et du second ordre de «<, a,,..., a^. Si Ton y remplace les dérivées du premier ordre, ^'^-'^'-^t'"*' P^^* leurs valeurs déduites des équations précédentes, et que l'on élimine ensuite les 3^ dérivées du second ordre -T^y ^ , 77^'"'' ^' restera trois équations, desquelles on pourra déduire
-T-^5 -T-^ et T-|- En continuant a opérer de même, on pourra déterminer les dérivées de z de tel ordre que Ton voudra. Leurs expressions contiendront, avec x, j, z, les fonctions ç'<(aO» ?a(ûf2)f-> ?*(«*)♦ et les dérivées de ces diverses fonctions que la différentiation aura introduites. 11 est clair, en effet, que si une équation contient la fonction 9? (a), la dérivée de cette équation, par rapport à l'une ou l'autre des variables indépendantes a? et y, contiendra 9' (a); une seconde différentiation introduira 9" (a), et ainsi de suite. Les dérivées de jz, calculées comme il a été dit, jusqu'à celles d'ordre n inclusivement, contiendront donc, dans leur expression, les k fonctions 9< (a^), 92(^2 )»•••> ?*(«*) et leurs dérivées d'ordre inférieur àj/i -h I, ce qui fait en tout {n-h i)k fonctions que l'on doit éliminer pour obtenir la relation cherchée entre z et ses dérivées. Mais en réunissant z à ses dérivées,
jusqu'à celles d'ordre n, le nombre total de ces fonctions est ^^ — ^-^ et, quel que soit ky on peut choisir n assez grand pour que l'on ait
Le nombre des équations surpassant alors celui des quantités à éliminer, l'élimination sera toujours possible.
200. Lorsqu'une fonction 9 (a) figure dans une équation, la dérivée de cette
équation par rapport à a? ou par rapport à y contient toujours 9' (a). Il résulte de
là que, en général, chaque dérivée de z contiendra une dérivée de la fonction 9
qui ne figure pas dans l'expression des dérivées d'ordre inférieur. Mais dans cer-
tains cas exceptionnels cette fonction nouvelle introduite par la diiférentiation disparaît dans les éliminations et ne figure plus dans le résultat final. Soient, par exemple, les équations
On déduit de ces équations, en les différentiant par rapport à x, puis par rapport
dz -2Lr-y(a)]T'(a)'-y''(a)[r-T(«)]' rfa dx f(a)' dx'
rfa
^^ ' Ix ^ *
dx-
dy-
deux dernières
rf«
do.
et, en substituant dans les deux autres,
dz , ,
dz r— y(a)
La dérivée 9>"(a) figure donc dans les équations qui servent à déterminer les dérivées du premier ordre -r- et ^.) et disparait cependant de leur expression finale.
201 . Il est important de distinguer, comme nous venons de le faire, le cas particulier où le calcul des dérivées de z n'introduit pas de dérivées nouvelles des fonc-
lions arbitraires contenues dans les équations données. Pour faire comprendre quelles conséquences cette circonstance peut entraîner dans la théorie qui nous occupe, nous démontrerons le théorème suivant :
La fonction z étant définie par deux équations de la forme
où F, et Fa sont des fonctions données et 9 (a) une fonction arbitraire, si Télimi-
dz nation de la fonction ç)(a) est possible entre les dérivées du premier ordre -r- et
T-î l'équation entre x^y, z, -j-» j-, à laquelle elle conduit, est du premier degré
par rapport ^ 5" ^t t"' toutes les fois que les dérivées -zr ^^ -y- contiennent dans leur expressioQ la fonction <p"(a).
Posons, pour simplifier, -5- = /?, -^ = q, en ayant soin de bien distinguer la
dérivée /î de la dérivée partielle -j~% dans laquelle a est traité comme une constante, tandis que dans le calcul de p c'est j qui est regardé comme invariable.
Les équations (1), différentiées par rapport k a?, j étant regardé comme constant, donnent
rfF, rfF. doL dx rfa dx
rfF, rfF, rfa ^ dx doL dx^
-j^ et -r^ représentant les dérivées de F| et Fj par rapport à la lettre a considérée
comme variable partout où elle figure dans leur expression, c'est-à-dire aussi bien sous les signes 9 (a) et <p'(a) que dans les termes où elle est engagée seule.
d OL
En égalant les valeurs de la dérivée partielle -j- déduites des équations (2) ,
on a
rfF.
rfF, d¥, dx ^^ dx da ' rfF. '
en différentiant les équations ( i ) par rapport à y en laissant x constant, nous aurons
rfFi da doL 3f dF^doL ^ = 'd7Ty'
20i PREMIÈRE PARTIE. - CALCUL DIFFÉRENTIEL.
et par suite
da
En général, ces expressions de p et de q contiendront ç>" (a), car cette dérivée ligure nécessairement dans -^ et dans -^ : elle ne peut disparaître qu'en se trouvant accidentellement dans un facteur commun à ces deux dérivées. Or si
rfF\
cela n'a pas lieu, on ne peut éliminer ?"(a) qu'en éliminant la fraction ^ï
qui est seule à contenir cette dérivée, et le résultat de cette élimination est nécessairement
dF, rfF.
^ dx dx ^*
S'il existe une relation entre x,y, z, /?, y, c'est qu'il sera possible d'éliminer ensuite, a, 9 (a) et 9' (a) entre cette équation et les deux proposées qui ne contiennent ni p ni 9, en sorte que le résultat sera nécessairement linéaire par rapport à/? et à q.
Les équations
conduisent à la relation
z=pq,
qui n'est pas linéaire en p et y. 11 arrive en effet, comme l'exige le théorème précédent, que les dérivées j- et j- que l'on en déduit ne contiennent pas f" (a).
Équations aux dériifées partielles des dii^erses classes de surfaces.
202. Nous allons considérer successivement les grandes classes de surfaces étudiées par les géomètres. L'application des méthodes auxquelles ce chapitre est consacré permet d'éliminer les fonctions arbitraires qui figurent dans leur équation générale et d'obtenir ainsi l'équation différentielle qui caractérise chaque classe.
Surfaces cylindriques. — Une surface cylindrique est engendrée par une droite qui
se meut en restant parallèle k une droite fixe. Soient
jr = az -H a,
les équations de la droite mobile, a et b sont deux constantes et a, j3 deux variables liées par une équation, car, sans cela, la droite pourrait passer par tous les points de l'espace, et la loi de son mouvement ne serait pas définie. Supposons donc que Ton ait
la fonction 9 est d'ailleurs complètement arbitraire, et sa forme particulière distingue les unes des autres les diverses surfaces cylindriques. Si l'on élimine a et |S entre les équations (i) et (ii), on obtient
(3) jr—bz = if{x--az);
c'est l'équation générale des surfaces cylindriques.
En difierentiant cette équation par rapport à x^ puis par rapport a 7, on a
,dz , , .dz
et en éliminant la fonction arbitraire (p'(a?— ajs), on a, après une réduction évidente,
/ / V dz ,dz
c'est l'équation différentielle de toutes les surfaces cylindriques dont les génératrices sont parallèles à la droite donnée. Elle exprime, comme on s'en assure bien facilement, que le plan tangent en chaque point est parallèle à cette droite.
Si l'on voulait éliminer a et 6 et obtenir une propriété commune à toutes les surfaces cylindriques et indépendante de la direction des génératrices, il faudrait différentier l'équation (4) par rapport à œ, puis par rapport à y, et l'on obtiendrait
rf^^ , d'z d^z , rf»z
dx^ dxdy'^ ' dxdy* dy^ '
et par conséquent
/ d^z y (d^z\ (d'z\ [dxdy) "W) UrV'
cette équation convient à toutes les surfaces cylindriques, mais elle convient aussi, comme nous le verrons, à une infinité d'autres.
203. Surfaces coniques. —Une surface conique est une surface engendrée par une
droite mobile qui passe par un point fixe, a, |3, y étant les coordonnées de ce point, les équations de la droite mobile sont de la forme
les coefficients m et /i sont liés par une équation, car, sans cela, la droite pourrait passer par tous les points de l'espace et la loi de son mouvement ne serait pas définie. Supposons donc que Ton ait
la fonction ^ est d'ailleurs arbitraire et sa forme distingue les unes des autres les surfaces coniques. En éliminant m et /i entre les équations (i) et (a), on a l'équation générale des surfaces coniques
en différentiant cette équation par rapport à x, puis par rapport à^, on a
(2-7)' '^ U-7/ dx' [z-^y''
-i^--)Tr , Iy-J^ (^-7)-|.(r-P)
[z — tY '■' \z—ij (2-7)'
en éliminant 9' ( '^ ~ " ) ' °° trouve, après des réductions évidentes,
c'est l'équation aux dérivées partielles des surfaces coniques dont le sommet a pour coordonnées a, |3, 7; elle exprime, comme on s'en assure bien facilement, que les plans tangents passent tous par le sommet du cône.
Si l'on veut éliminer a, /3, 7 et obtenir une propriété commune à toutes les surfaces coniques et indépendante de la position du sommet, il faut différentiel' l'équation (4) par rapport à x, puis par rapport à y; on a ainsi
dz dz . ^. d^z , . d^z
dz dz , . d^z . -, d*z
En supprimant les termes communs et éliminant le rapport — -~ » on déduit de ces équations
\dxdy) ~ dx^ ' df'
c'est l'équation déjà trouvée pour les surfaces cylindriques.
204. Surfaces de révolution. — Les surfaces d€ révolution sont engendrées par une ligne qui tourne, sans changer de forme, autour d'une droite fixe, de telle sorte que chacun de ses points décrive un cercle ayant son plan perpendiculaire a cette droite et son centre situé sur elle.
Soient
x=::az^p, jrz=bz-hq,
les équations de la droite fixe qui sert d'axe à la surface. L'un quelconque des cercles peut être considéré comme l'intersection d'une sphère ayant son centre en un point arbitraire de la droite (par exemple, en celui dont les coordonnées sont a? = m, y = n, z= o), avec un plan perpendiculaire a la droite. Les équations de ce cercle sont donc de la forme
ax-hoy-h z = k;
il existe d'ailleurs une équation entre k et R, sans quoi le cercle pourrait passer par un point quelconque de l'espace, et il n'y aurait pas de surface engendrée. Supposons donc
l'élimination de * et de R entre les équations (i) et (2) donne
(3) . ax-^bx'hz = <f[{x — mY-h[x—nY-{-z'];
c'est l'équation générale des surfaces de révolution.
En différentiant cette équation par rapport à x, puis par rapport à y, on obtient
et en éliminant 9', il vient, après des réductions évidentes.
dz .
-j h [az — X -T- "t I -1-
dx ^ ' (h
a [y — n) — b [x ^ m) 4- (>* — n — bz) -j- H- [az —x-^- m) -^ = o,
c'est l'équation différentielle des surfaces de révolution; elle exprime que la normale rencontre Taxe. Si Ton suppose Taxe de la surface confondu avec Taxe des 2 , on a
et Téqualion différentielle devient
dz dz
Téquation sous forme finie est, dans ce cas,
205. Surfaces conoïdes. — Une surface conoide est la surface engendrée par une droite qui rencontre une droite donnée, et reste parallèle à un plan fixe.
Prenons pour plan des XY, celui auquel la génératrice doit rester parallèle, et soient x = mz, y =inz les équations de la droite qu'elle rencontre. La génératrice aura des équations de la forme
pour qu'elle rencontre la directrice, on doit avoir
en sorte que les équations de la génératrice sont de la forme
pour que le mouvement soit défini, il faut qu'il existe une équation entre a el y, soit
en éliminant a et 7 entre les équations (i), (a), on aura l'équation générale des
conoides
lr—nz\
en différentiant par rapport k a?, puis par rapport ay, on obtient
dz , . . I dz\
dz dx ^ ) \J } \^ (/jt-y , / r — nz \
dx [x — mz^^ * \x — /w<3/
dz \ , , dz
\x — mzj
/ "2 \ , . az ,
dy ' X — mz
et en éliminant <p\ on trouve, après des réductions évidentes,
c'est l'équation différentielle des conoides. Si Ton suppose que la directrice soit l'axe des z, on a /w=: o, n = o; l'équation sous forme finie devient
et l'équation différentielle
dz dz
dx dy
206. Les équations différentielles des surfaces considérées jusqu'ici sont du premier ordre ; celles qu'il nous reste à étudier ont des équations différentielles du second ou du troisième ordre; pour les écrire plus simplement, nous adopterons la notation suivante, qui est très-habituellement employée dans les questions relatives à la théorie des surfaces.
L'équation d'une surface étant
z = ^[x,y\ nous poserons
dz £(£ d\z ^ d^ z __ d^z __
di^P' rfjr""^' dP"'' IFâ^"^' 'dy"
et par conséquent
dz =^ p dx -\- q dy\ d^z=: rdx^-\- 2.sdxdy -{- tdjr^,
dx * dy dx ' dy^
207. Surface engendrée par une droite qui rencontre une droite fixe.
Prenons la droite fixe pour axe des z\ les équations de la génératrice sont de la forme
y^z^fXy z = ax-hb.
Pour que cette droite engendre une surface déterminée, il faut que a et 6 soient des fonctions données de 7; en posant
les équations de la génératrice sont
et l'élimination de 7 donne
âiO PREMIÈRE PARTIE. - CALCUL DIFFÉRENTIEL,
c'est Téquation générale des surfaces considérées; elle contient deux fonctions arbitraires. Pour éliminer les fonctions 9 et ^, on pourrait, conformément a la méthode exposée, former les dérivées de Téquation (a) par rapport à a; et par rapport à y; mais il est plus simple et plus élégant de différentier les équations (ij en y considérant X et j comme variables et 7 comme constant. Cela revient à considérer sur la surface deux points infiniment voisins situés sur une même génératrice; on obtient ainsi
(3) dy'=ydx, dz=^ (f(y)dx.
Remplaçons, dans cette dernière équation, dz^^v pdx + qdy, puis divisons par dx, en remarquant que, d'après les équations (3), on a y- = y = '^, on aura
(4) P^^i = ^iS)-
Pour que les deux fonctions/? -f- y- et- dépendent Tune de l'autre, il faut et il suffit (73) que leur déterminant soit nul, c'est-à-dire, 4)uisqu'il s'agit ici de deux fonctions de deux variables, que leurs dérivées soient proportionnelles; l'équation (/|) équivaut donc à
dx dx
dy dy
c'est-a-dire
r + s^-gZ. .
ou, en réduisant,
ty^ 4- 2sx:y -h rjc' = 0
c'est l'équation différentielle des surfaces considérées: r, s, /, y désignent les dérivées du second ordre définies plus haut.
208. Surfaces gauches à plan directeur. —On nomme surface gauche à plan directeur, la surface engendrée par une droite qui reste parallèle à un plan fixe.
Prenons pour plan des xy le plan fixe que l'on nomme plan directeur; les équations de la génératrice sont de la forme
a et /3 étant des fonctions de 7 dont la forme détermine la surface particulière. On peut donc poser
et Ton voit que Téquation générale des surfaces gauches à plans directeurs est
différentions cette équation en y laissant z constant, nous aurons
{2) dx=dxrf'[z),
d'ailleurs z étant constant, on a
o = pdx 4- qdyy
et par suite
rfr p
dx q
ce qui met l'équation ( 2 j sous la forme
p^qo'[z) = o.
D'après cette équation, le rapport ^ est fonction de z; il est nécessaire et suffisant pour cela, comme nous venons de le rappeler, que leurs dérivées soient proportionnelles : on a donc
dz
dx
Tz' dj^
dy
qr-sp
sq-tp
c'est-à-dire
ou, en chassant les dénominateurs,
pqi — . ipqs -+- ip^=zo ;
c'est l'équation différentielle des surfaces gauches à plan directeur.
209. Sur/aces développables. — Nous définirons les surfaces développables comme l'enveloppe des positions d'un plan mobile. Nous avons déjà trouvé (112) que l'équation d'une telle surface s'obtient en éliminant a entre deux équations de la forme suivante :
(2) O^X^' (a) -hrf (a) + F' (a).
212 PRExMIÈRE PARTIE. - CALCUL DIFFÉRENTIEL.
Pour éliminer les fonctions arbitraires, différentions la première par rapport à x, elle fournira, en ayant égard à la seconde,
en différentiant la même équation par rapport à y, orv trouve, en ayant égard a la relation (a),
^ et ^ étant fonctions d'une même variable a, on peut éliminer a entre les deux équations (3) et (4), et Ton obtiendra une relation de la forme
dx \"X/
c'est-à-dire, d'après notre notation habituelle,
Pour éliminer la fonction F, différentions l'équation ( 5 ) par rapport à x, puis par rapport à j, nous aurons
et par suite
c'est l'équation aux dérivées partielles des surfaces développables.
210. Toute surface développable est le lieu des tangentes à une courbe que l'on nomme son arête de rebroussement. En prenant cette propriété comme définition, on peut être conduit à la même équation différentielle.
La tangente à une courbe quelconque a en effet pour équations
dz
^'"-^ = rfï('-^)'
z eiy étant des fonctions de x définies par les équations de la courbe. La lettre x désignant ici un paramètre, remplaçons-la par a, et pour suivre l'analogie avec les problèmes précédents, remplaçons /, w, ç^, qui sont les coordonnées d'un point de la surface, par a?, y, 3, et^ et y parc (a) et tjf (a); nous aurons
entre lesquelles il faut éliminer a et les fonctions arbitraires 9 et i};.
En (lifférentiant les deux équations (a) par rapport a a;, on trouve
-+'We=*'<-)(-e)++''""-")e^
et en éliminant -r^ entre ces deux équations.
en sorte que -r- ne dépend que de a. On verra de même que j-^ ne dépend que de OL, On en conclura, comme (209), qu'il existe une relation de la forme
dx-^^ \dx!' de laquelle on déduira, comme on Ta déjà fait,
f d'z y /d'z\ id^\ \dxdyl '^\dx'-j \rf>^/'
211. L'équation précédente peut encore s'obtenir par une autre considération. Le plan tangent à une surface développable est le même tout le long d'une génératrice. Cherchons, en général, les conditions pour qu'un même plan tangent à une surface ait une infinité de points de contact.
L'équation du plan tangent au point dont les coordonnées sont x,y, z, est
(/ — z=/>(^~x)4-9(«— j); si X, j, z changent infiniment peu, pour que le plan reste le même, il faut que T- et T- ne changent pas, et que, par conséquent, leurs différentielles soient nulles; on aura donc en même temps
et en égalant les deux valeurs de -^5 il vient
l ] (Pz d^__ l d'z y
^'^ dx^' dy^ ~" \dxdr) '
Ainsi donc, si un plan tangent touche une surface suivant une ligne continue, l'équation précédente sera satisfaite en tous les points de cette ligne. Mais si la surface est le lieu d'une série de lignes le long desquelles le plan tangent soit le même, si elle est en un mot l'enveloppe des positions d'un plan mobile, l'équation (i)
flevra avoir Heu en un point quelconque de la surface dont elle est par conséquent
l'équation différentielle.
L'interprétation géométrique de Téquation ( i ) est d'ailleurs bien simple ; cette équation peut s'écrire, en effet,
r s c'est-à-dire
dp dq
dx dx
dp ^ dq ' dr dy
elle exprime par conséquent que les fonctions/? et q ont leurs dérivées proportionnelles, et par suite qu'elles dépendent Tune de l'autre : on a donc une relation de la forme
On voit par cette relation entre les deux coefficients de l'équation du plan tangent que, si l'on veut mener à une telle surface un plan tangent parallèle à un plan donné, le problème est généralement impossible.
212. Surfaces réglées. — L'équation la plus générale des surfaces engendrées par une droite mobile résulte évidemment de l'élimination du paramètre a entre deux équations de la forme
3==arf (a) -h a,
y=X'^{oi.) + o(a).
Différentions ces deux équations en laissant « constant; ^ous aurons
dz — ff{a.)dx ,
dy^ = '^{oL)dx.
Mais on a
(3 ) dz =z pdx -h q dy^ ;
la première de ces équations devient donc, en divisant par doo et remplaçant n-
par sa valeur ij^ (a),
(4) />H-^>Ka) = «p(a);
différentions de nouveau en laissant encore a constant, nous aurons
(5) dp'hdq^{(i) = o,
(6) rdx-\-sdy +-4* (a) [sdx -\' tdf) = o,
OU, en divisant par cir et remplaçant j'^par sa valeur,
différentions encore une fois en laissant toujours a constant, et remarquons que Ton a
^^'=rfr^.'^^-^ dy "^'^
il viendra
en remplaçant ^ par sa valeur v|; (a) et en éliminant ensuite ^ (a) entre les équations (7) et (8), on obtient l'équation différentielle des surfaces réglées qui est du troisième ordre.
213. Surfaces canaux. — On nomme surface canal la surface enveloppe des positions d'une sphère de rayon constant dont le centre parcourt une^courbe quelconque. On a vu (113) que Téquation d'une telle surface s'obtient en éliminant le paramètre a entre les deux équations
(2) 2^a + [r — ^(«)]y(a)-hfar — rKa)f {a)=o.
Pour éliminer les fonctions arbitraires 9 et ij;, différentions Téquation (1) par rapport à 07 en laissant/ constant, puis par rapport à j en laissant a; constant. Dans ces deu^ différentiations, les termes provenant de la variation de a disparaîtront à cause de l'équation (2).
Nous obtiendrons ainsi
(3) (2-a);^-^-:^-^Ka) = o,
on en conclut, en remarquant que y (a) est nécessairement une fonction de'i ( a ,,
F étant une nouvelle fonction arbitraire dont la forme dépend de colle de 9 «et de
celle de ^ (a). Mais les équations (3) et (4)» en ayant égard à (i), donnent
en sorte que ( 5 ) devient
— r 'Il ~\
Pour éliminer cette fonction F, il faut différentier l'équation précédente par rapport à a-, puis par rapport à/, et Ton trouve, en éliminant F' entre les deux équations obtenues, et adoptant les notations précédentes.
L'équation ( 6 j exprime une propriété géométrique de la surface qui est une conséquence immédiate de la définition; en effet, x
ap
^/i-hp'-hq'
y H- ^^ r? sont les coordonnées du point obtenu en portant sur la normale,
à partir de chaque point de la surface, une longueur égale à a. La relation établie entre ces deux coordonnées exprime que le lieu des points ainsi obtenus est une courbe et non une surface, comme cela aurait lieu si l'on faisait une telle construction sur une surface d'autre nature.
Introduction remarquable d'une équation différentielle dans un problème
d* arithmétique .
214. Considérons deux nombres quelconques m et n, formons-en deux autres m^ et /i, qui soient respectivement la moyenne arithmétique et la moyenne géométrique entre les deux premiers; en d'autres termes, posons
/i,= sjmn; opérons sur m, et n^ comme on l'a fait sur m et n, et posons
en continuant indéfiniment ces opérations, on formera une série dénombres//?,.
«3» /W4, /I4,..., qui, comme on s'en assure très-aisément, vont sans cesse en se rapprochant; on demande quelle est la limite vers laquelle on est conduit par de telles opérations indéfiniment répétées.
Ce problème curieux a été pour la première fois résolu par Gauss. Tout récemment, M. Borcliardt l'a rattaché élégamment à une équation différentielle à l'aide des considérations que nous allons faire connaître.
Soit w la limite cherchée ; w dépend évidemment de m et de n. Posons donc
il est clair, par la définition de co, que l'on a aussi
de plus, si m et n étaient multipliés par un même nombre A:, les nombres successivement déduits mi, ni, m^, n2,..., et par suite o) lui-même, seraient multipliés par A:; « est donc une fonction homogène du premier degré de m et de n, et l'on a par conséquent
•^ \m} ^ \mj
Posons — = a:, — = a?, , • . . » et désignons la fonction /[ — ) par '-'•^ / { — ) étant de même désigné par 4*' on a évidemment
a7| étant lié a a: par l'équation
f ^ ^ ^ 2 JX
( 2 ) Xi= >!— )
on déduit de l'équation (2)
dXi I X {Xt X^^){l'{'X)^
d^ ^ {î'^xf^x~' nix — x") et de (i)
dx (r-h^)'-^' [i -^ x)dx,'ïïx
Remplaçons ^' par sa valeur, et chassons le dénominateurs; — ^', nous aurons
. , rfr IX [x — I ) , , . dy\
on en déduit, en prenant les dérivées des deux membres par rapport à x,
dx^^^ i-^x ^ :tx{x^i)dr.dx, ^ ^ dy,
dx ' " dx i-f-x dxi dx ' dx^
D'après la valeur de -p on voit aisément que les deux termes qui contiennent -~
en facteur se détruisent, et que, en retranchant ocy aux deux membres, cette équation peut s'écrire
Si, dans cette équation, x se change en a?,, x^ se changera en x^^ puis x^ étanl remplacé par ^a» ^i le sera par a?,, et ainsi de suite; si donc on pose
-Ji ^r=-{r)>
on aura
or si n grandit sans limite, i — Xn tend évidemment vers zéro; on a donc
cj(j)=0,
et y satisfait, par conséquent, à l'équation différentielle
Sans pouvoir suivre ici les conséquences de ce résultat, nous avons pensé qu'une analvse aussi remarquable ne serait pas déplacée dans un chapitre consacré à la formation des équations différentielles.
Équations clifféreMielles totales.
215. Les équations difTérentielles auxquelles satisfont les fonctions de plusieurs variables indépendantes ont lieu entre les fonctions elles-mêmes et leurs dérivées partielles. On est quelquefois conduit à considérer une autre sorte d'équations qui ont lieu entre les différentielles des variables indépendantes et celle delà fonction qui en dépend. On a vu (57) que, z étant une fonction de x et de /, il existe une équa-
tioa du premier degré entre les différentielles dx, dy, dz dont deux restent arbitraires et déterminent la troisième ; une équation de celte forme
(i) * Vdx + Qdy-k'l^dz=zo,
où P, Q, R sont des fonctions données de x, j, z, se nomme une équation différentielle totale.
Il y a une différence manifeste entre l'équation différentielle (i) et une équation aux différentielles partielles. Dans l'équation (i), en effet, dx %i dy sont arbitraires, il est permis de les supposer successivement égaux à zéro, et l'on aura ainsi
dx" r' dy'^ R'
l'équation (i) fait donc connaître, a elle seule, les deux dérivées partielles^ et ^»
entre lesquelles une équation aux différentielles partielles établirait seulement une relation.
216. L'introduction des dérivées partielles du premier ordre d'une fonction de deux variables permet, comme on l'a vu (197), d'éliminer une fonction arbitraire; la recherche d'une équation entre les différentielles permet seulement l'élimination d'une constante.
Soit F (a?, j, z, C) = o une relation entre x, j, z et une constante arbitraire C. On en déduit, entre les différentielles dx, dy^ dzy la relation
rfF , rfF , rfF ^
qui est la seule à laquelle ces différentielles soient assujetties; le résultat de l'élimination de G entre cette équation et la proposée est une équation parfaitement déterminée de la forme
Vdx-^ Qdy 4- Rrfz = o.
