Reprenons la fonction à deux variables indé

pendantes

z=f{xyx).

Si nous désignons par A^z, AyZ les variations partielles que subit cette fonction quand on augmente a: de ^x sans toucher hj-^ ouj- de A/ sans toucher à x, nous aurons

Les variations que les deux membres de cette équation subissent, quand on y remplace^ par^-^A;^, doivent être exprimées par

AyAaJZ =y(^ + 1^, 7+ ^y)—f{x + Ar, y) — /(^> /+ V) +/(-^) /) • La symétrie du second membre de cette équation, par rapport aux variables Xj y^ exige que Ton ait Ay A^ J2 = A^ Aj, i; , que soient les accroissements A^r , A;^ : donc , à la

dy dgg z = djg dy z , (5)

et

dyd^z d^dyZ

dydx dxdy I^s une formule telle que celle-ci, on admet que la nature et Tordre des différentiations partielles sont indi-*

212 LIVRE m. -^ CHAPITRE f.

quës suffisamment par la présence et par l'ordre de succession des facteurs dx^ dy qui figurent aux dénominateurs. En conséquence, on écrit

ddz ddz

dydx dxdy ou plus simplement encore

dydx dxdy Le principe qui vient d'être établi s'applique à toute espèce de fonctions continues, et doit toujours se vérifier, numériquement ou algébriquement. Prenons , par exemple y

zzzi arc tang— :

on a

dz jr dz X

dx x'+f^ dy'^~ x^ +f^

dydx ~ 'dxdy~ {x" -^ff * Soit encore

il vient

dz aoj dz x^{i — y*)

d^z flPz ikx{i—y^)

dydx dxdy (1+7*)* L'identité des deux membres de l'équation (5) une fois établie, il en résulte que, dans une expression de la

forme

dggd^d^ Uj

on peut intervertir l'ordre de deux indices consécutifs quelconques, et, à l'aide d'une ou de plusieurs interversions semblables , faire dans l'ordre des indices ou des

DES FONCTIOirS DE .PLUSIEURS VABIABLES. 213

diiférentiations successives toutes les permutations possibles sans rien changer au résultat final. Le raisonne* ment est le même que celui qu'on emploie dans les éléments d'arithmétique pour prouver que Ton peut, sans changer la valeur d'un produit de plusieurs facteurs, intervertir de toutes les manières possibles Tordre des mnltiplications successives ; après qu'on a prouvé préa« lablement que le produit de deux facteurs ne change pas, quel que soit celui des deux facteurs que l'on considère comme multiplicande ou comme nïultiplicateur. 124. Au moyen du théorème qui fait l'objet du numéro précédent, on trouve sans difficulté l'expression des différentielles totales des divers ordres , pour les fonctions de plusieurs variables indépendantes. En dififérentiant par rapport aux deux variables j:,^ les deux membres de l'équation

X dz dz , ou j, ^ désignent des fonctions de ^ , /, et o\idx^dy

peuvent être traités comme des facteurs constants, puis- <|uex,j représentent des variables indépendantes, on a

dz , dz

dx , dx

dx-i

Le â^z du premier membre indique une différentielle totale du second ordre : les expressions d^'z d^z d^z dx* ^ dxdy » 1^

désignent les trois coefficients différentiels partiels , ou les trois dérivées partielles du second ordre , qui sont en général des fonctions déterminées des deux variables indépendantes Xjj-; mais qui peuvent accidentellement ne contenir qu'une de ces variables, ou se réduire à des constantes , ou même, pour certaines valeurs des variables Xy y y rester indéterminées , comme nous le verrons en son lieu.

En poursuivant ce calcul , on trouverait pour la différentielle totale de l'ordre n^ d'une fonction de deux variables indépendantes x yjr^

expression évidemment analogue à la formule du binôme , qui se démontrerait par induction de la même manière, et qu'on peut écrire sous la forme symbolique

On indiquerait de même la loi du développement de la différentielle totale de l'ordre /i, d'une fonction u des variables indépendantes x^ y y z, t y par l'équation symbolique

df^uz=.{-j-.dX'\-'j'.dy-\'—.dz + ^c. J rf*M.

Nous avons déjà indiqué [43] la raison de ces analogies entre le développement des puissances, et celui des différences finies ou infiniment petites.

On appelle équations aux différentielles partielles , ou plus ordinairement [i 1 8] équations aux différences partielles , celles qui ont lieu entre des variables indépendantes , les fonctions qui en dépendent , et tes déri-

DES FONCTIOirS DE PLUSIEURS VARIABLES. 215

vées partielles, ou les coefficients difïérentiels partiels de ces mêmes fonctions. Par opposition y on nomme équa-^ tions différentielles ordinaires, ou simplement équadons différentielles celles dans lesquelles n'entrent que des coefficients différentiels, comme ceux dont il a été question dans la théorie des fonctions d'une seule variable. L'ordre d'une équation aux différences partielles est celui du coefficient différentiel de l'ordre le plus élevé , parmi ceux qui entrent dans la composition de réquation. La forme la plus générale d'une équation aux différences partielles du premier ordre y entre les <leux variables indépendantes Xyj- et la fonction z y est ./ dz dz\

celle d une équation aux différences partielles du second ordre entre les mêmes variables :

dz dz d* z d*z d^z\

d^'^^'dP'd^'df) ~^' et ainsi de suite.

On entend par Calcul des différences partielles la branche de la théorie des fonctions, où l'on traite des rapports entre les fonctions de plusieurs variables indépendantes et leurs coefficients différentiels ou dérivées partielles, et généralement des équations aux différences partielles des divers ordres.

Quand on se borne à considérer (comme cela a presque toujours lieu dans les applications à la géométrie ) deux variables indépendantes ^,^ et une fonction z de <%s deux variables y on trouve commode de désigner par une seule lettre chaque dérivée partielle des trois premiers ordres^ dont l'emploi revient souvent; et dans ce but uous adopterons y d'après Monge, la notation suivante:

f[a:yX,h

dz dz •

"— S5 ' "^ —'dbFdy''^~'d^-] ^~df' ou

dz = pdx +qdy y

d^z-=i rda^ + isdxdy'\'tdj* ^

d}zz=,ud3(^ -\- 3itf doc'dy-\-Zwdxdy^-\-vdy^.

Suivant cette notation , les équations aux différences partielles du premier et du second ordre , entre les trois variables x^y^ z, seraient désignées d'une manière générale par

125. D'après la conception ^e Descartes [i], dont l'extension à la géométrie dans l'espace est censée connue de nos lecteurs, la fonction z=f{x^jr)^ réputée continue, peut toujours représenter l'ordonnée d'une surface courbe, rapportée à trois axes que, pour plus de simplicité, il convient de prendre rectangulaires. Les valeurs des dérivées/?, q^ r^ s^t ont , avec la direction du plan tangent, et avec certains caractères géométriques de la surface, des rapports dont la discussion viendra lorsque nous traiterons spécialement de l'application de l'anal^rse différentielle à la géométrie aux trois dimensions. Quant à présent, nous cherchons au contraire de quelle utilité peuvent être les conceptions géométriques pour l'intelligence de la théorie des fonctions.

Or, soqs ce point de vue, il faut reconnaître que la représentation des fonctions de deux variables par des ordonnées de surfaces, est de peu d'utilité pratique : car, s'il est facile de tracer sur un plan une courbe dont

DES FONCTIOirS DE PLUSIEURS VARIABLES. 217

on conoait un nombre fini de points , suffisamment rapprochés, on manque de procédés commodes pour figurer dans l'espace une surface dont on ne connaît qu'un nombre fini de points, ou même une surface dont on connaît la loi de génération ; et cette difficulté a fait naître la branche de la géométrie à laquelle on donne le nom ïe géométrie descriptive y dont l'objet est de ramener les constructions qui devraient se faire dans l'espace, à des opérations graphiques sur un plan.

126. De tous les procédés de la géométrie descriptive pour la détermination des surfaces à l'aide de constructions planes, le plus général, et le seul dont nous ayons à nous occuper ici, à cause de sa liaison très-directe avec la théorie analytique des fonctions, consiste à couper la surface par une série de plans horizontaux, et à projeter sur le plan horizontal xy les courbes d'intersection que l'on appelle des lignes de é^eau , les courbes projetées et leurs projections devant être parfaitement superposables, à cause du parallélisme des plans.

Pour chaque ligne de niveau on aura z = c, c désignant une constante quelconque : par conséquent

iz:=zO^ OU

équation différentielle commune à toutes les projections des lignes de niveau, et d'où l'on tire

ce qui fait connaître, pour chaque point (.r, ^, la direction de la tangente à la projection d'une ligne de niveau, passant par ce point. • Ijorsqu'on va, du point de la surface dont les coor-

218 LIVRE ni. — CHAPITRE I.

données sont Xj jTj z, au point infiniment voisin qui a pour coordonnées x-hdx, /-f-rf^, z-hdzj on s'élève verticalement de la hauteur dz, et Ton décrit, parallèlement au plan horizontal y la ligne infiniment petite [y^dx^+d/^. La pente de la ligne décrite sur la surface, ou la tangente de l'angle qu'elle fait avec le plan horizontal , a donc pour mesure

dz p+qf

\/^dx^+dr i/i+j" ^^^

La grandeur de cette pente varie, en un même point de la surface, ou pour les mêmes valeurs de x, y^ p^ q^ avec le rapport arbitraire^'. Si l'on veut déterminer la direction de la ligne de plus grande pente^ on égalera à zéro la dérivée de l'expression précédente, considérée comme fonction de^; ce qui donnera

OU

qdx — pdy = o , pour l'équation différentielle commune à toutes les projections en xy des lignes de plus grande pente. D'après un théorème connu, la comparaison des équations (6) et (8) fait voir que le système des projections des lignes de niveau est coupé à angles droits par le système des projections des lignes de plus grande pente. Par conséquent, si l'on donne un certain nombre de courbes de l'un des systèmes, suffisamment rapprochées les unes des autres, on pourra tracer avec une approximation suffisante les courbes de l'autre système.

La substitution dans le second membre de l'équation (7), de la valeur de y tirée de l'équation (8),

donne pour Ja valeur de la pente maximunij

La mëlhode adoptée maintenant en France , dans les grands travaux topographiques, pour exprimer sur un plan supposé horizontal le relief d'un terrain, consiste en effet à tracer sur le plan la série des projections des lignes de niveau que l'on obtient en coupant la surface du terrain par des plans horizontaux équidistants, et surabondamment la série des projections des lignes de plus grande pente, qui viennent couper les courbes du premier système à angles droits.

127. Lorsque chaque ordonnée verticale ne rencontre la surface qu'en un point, et conserve toujours une valeur finie, les projections des lignes de niveau forment une série de lignes dont aucune ne coupe les autres^ et qui ne reviennent pas non plus sur elles-mêmes , après ({ue z a dépassé certaines valeurs. Ce cas mérite une attention particulière, parce que c'est celui qui se présente dans toutes les questions où la variable z désigne une grandeur physique, fonction de deux coordonnées d un point matériel. Soit^ pour fixer les idées, une plaque cii'culaire dont le centre est l'origine des coordonnées x,/, et qui a été primitivement échauffée d'une manière quelconque : on suppose l'épaisseur assez petite pour que la température de toutes les molécules situées sur une normale aux deux faces de la plaque soit sensiblement la même; alors^ z désignant en un instant quelconque la température des molécules ou des points matériels situés sur une même normale, deviendra une fonction des cordonnées x,^, du pied de la normale. Cette fonction pourra être positive ou négative, selon la place assignée au zéro des températures, mais elle

conservera toujours une valeur finie, et n'aura en général qu'une seule valeur pour chacjue système de valeurs des coordonnées Xy y. La loi de cette fonction sera rendue sensible si l'on trace sur le plan o^ une suite de lignes a, p, y, [Jig. 36) qui satisfont à l'équation différentielle

pdx^ qdy=LOy ou le long desquelles la température conserve la même valeur, et si l'on affecte chaque ligne d'une cote qui indique la valeur de la température pour les points situés sur cette ligne. On appelle lignes isothermes ces lignes d'égales températures dont le système est. propre à définir et à représenter graphiquement la loi de la fonction z,

La variable z pourrait désigner, non plus la température d'une particule matérielle, mais sa densité, sa dilatation ou sa contraction, la pression qu'elle éprouve, l'intensité de la lumière qui l'éclairé, celle des forces électriques ou magnétiques qui en émanent, etc. Les caractères généraux de la fonction, les seuls dont nous ayons à nous occuper dans cet ordre de recherches, resteraient les mêmes.

Par extension, et afin de ne pas innover dans les termes sans une nécessité absolue f'), nous continuerons d'appeler lignes de nii^eau celles le long desquelles la fonction z^=zf(^Xy y) conserve une valeur constante,

(') Autrement, il paraîtrait assez coDfenable de nommer lignes isomériques celles qui lient ensemble des particules matérielles qui se trouvent dans le même état physique, ou pour lesquelles la grandeur physique que Ton considère, z =y(a?,/), a la même valeur. Cette dénomination est analogue à celle de lignes isothermes, qui a déjà passé dans Tusage.

bien que la fooction z soit censée représenter une grandeur physique, et non plus l'ordonnée verticale d'une surface dont le point (j;, /, z) aurait pour projection horizontale le point (.r, /). La variation de la fonction z est nulle quand on passe d'un point au point contîgu sur la ligne de niveau : elle est la plus grande possible (pour un même déplacement infiniment petit)^ quand le déplacement s'opère perpendiculairement à la ligne de niveau [1^6]. On peut donc qualifier de lignes de variation maximum^ celles qui coupent à angles droits les lignes de niveau, et qui correspondent aux projections des lignes de plus grande pente dans la théorie des surfaces.

* 128. Les fonctions z dont il s'agit dans le numéro précédent , et qui peuvent comporter ou ne pas comporter d'expression mathématique, ne sauraient devenir infinies ; mais elles sont susceptibles d'éprouver des solutions de continuité du premier ordre, consistant dans le piàssage brusque d'une valeur finie à une autre. Ceci résulte, comme nous l'avons expliqué dans un cas analogue [38], de la règle même en vertu de laquelle nous pouvons concevoir qu'une grandeur physique z devient fonction des coordonnées d'un point mathématique [x^f)' Admettons, pour fixer les idées, que z désigne la densité de la plaque M {fig. 36) le long de la normale qui a pour pied le point {pc^jr). Afin d'attacher un sens physique à cette définition, il faut imaginer une courbe fermée, tracée arbiti*airement à la. surface de la plaque, ^t qui comprend le point {x^ y) dans l'aire (o limitée par son périmètre <r. L'aire (t> pourra être prise pour la base d'un cylindre droit dont la hauteur serait l'épaisseur de la plaque; et le rapport de la masse de

222 LIVRE lir. — CHAPITRE I.

ce cylindre à son volume sera un certain nombre D mesurant la densité moyenne du cylindre. Si maintenant on conçoit que l'aire co décroisse indéfiniment, sans cesser de contenir le point (^ , /) , la limite z vers laquelle convergera le rapport variable D, limite sus* ceptible de varier avec les coordonnées Xj j^ sera la fonction de x^y^ que l'on prend pour mesure de la densité de la plaque sur la normale élevée au point {xy y). On appliquerait à la mesure de la température ou de toute autre grandeur physique ce que nous venons de dire au sujet de la mesure de la densité.

En général , la limite z ne changera pas, quelles que soient la forme des courbes <t et la position du point {Xy jr) dans l'étendue de Taire co limitée par ces courbes* Elle ne chahgerait pas non plus^ en général, si l'on plaçait le point {x^ y) sur le périmètre même de l'aire cd : car on pourrait substituer à ce point un point infiniment voisin {x+dxyjr+dj), compris dans l'intérieur^ et pour lequel la valeur de la fonction z ne différerait de celle de la même fonction au point {xj j) que d'une quantité infiniment petite et partant négligeable. Mais néanmoins on conçoit que, pour certaines valeurs particulières de Xyjy la limite z peut changer, selon que l'aire infiniment petite ct> comprend tous les points qui avoisinent ( ^> /) , dans toutes les directions , ou ne comprend que les points renfermés entre certaines lignes menées par le point {x, y). Dans ce cas, la différence des valeurs de z^ pour deux points infiniment voisins, n'est plus infiniment petite; ou, en d'autres termes, la fonction z éprouve une solution de continuité du premier ordre, consistant dans le passage brusque d'une valeur finie à une autre.

On aura un exemple des solutions de continuité de cette nature, si l'on imagine la plaque M {Jig. 87), formée de deux métaux dijfférents, soudés suivant la ligne np. La densité de la plaque sera une fonction qui variera brusquement en passant par la ligne de soudure, et si l'on prend pour {pc^f) un point pi situé sur cette ligne, la fonction z aura deux valeurs distinctes, selon que Ion considérera ce point comme appartenant à la portion  ou à la portion B de la plaque. Soient z,, 2, ces deux valeurs de la fonction z : la limite dont il était question tout à l'heure sera égale à

le point pt. tombera dans l'intérieur de l'aire cd; elle aura pour valeur z„ lorsque le périmètre a passera par le point (x et sera situé à gauche de la tangente st; enfin elle aura pour valeur z^ lorsque le périmèti*e pas-^ sera encore par le point (x, mais sera situé à droite de la même tangente.

Nous appellerons lignes de rupture les lignes telles que np^ le long desquelles la fonction passe brusquement d'une valeur finie à une autre.

Plusieurs lignes de rupture np^ n'p\ n"p'\ etc* [fig. 38) peuvent avoir une intersection commune en |i. Par le point pi menons à ces lignes les tangentes st^ jV,/V, etc., et désignons par a,, a,, a,, etc., les arcs qui mesurent les angles

s\».s\ ^'j^y j-^'jx^, etc.

sur la circonférence du cercle dont le rayon est l'unité r la fonction z aura au point pi des valeurs distinctes 2,, hihj etc., selon que l'on considérera le point pi comme appartenant à l'un ou à l'autre des espaces angulaires «|A/i', /î'jjt/î", ^"[i^Pj ctc- («)

224 LIVRE m. CHAPITRE I.

La limite z, avec laquelle cette fonction coïncide en général , aura pour valeur

a, ^, -f- a. z, -+■ a, i. H- etc.

lorsque le point [jl tombera dans l'intérieur de Taire ta; et elle prendra les valeurs 2,, z,, 23, etc., lorsque le périmètre <r, étant assujetti à passer par le point (l, sera de plus entièrement compris dans l'un des espaces angulaires (a).

Les lignes de rupture, quand elles existent, empêchent les lignes de niveau d'être des courbes fermées. Ainsi, np {fig. 89) étant une ligne de rupture, une ligne de niveau partie du point (l, à gauche de la ligne de rupture, viendra en général aboutir à droite de la même ligne^ à un point v^ distinct de [jl.

Réciproquement, on peut considérer la ligne de rupture comme une ligne qui joint les points de rupture des lignes de niveau consécutives, lorsque ces lignes, et par suite la fonction 2, éprouvent des solutions de continuité du premier ordre.

Les solutions de continuité du second ordre, éprouvées par la fonction 2, sont caractérisées par l'existence de points saillants dans les lignes de niveau : si l'on joint les points saillants qui se correspondent 'dans les lignes de niveau consécutives, on tracera une autre ligne que l'on peut nommer ligne de rupture du second ordre ; et ainsi de suite.

129. Passons à ce qui concerne les fonctions de trois variables indépendantes .

quand on suppose que u désigne la valeur, au point (ct:,^, z) d'une certaine grandeur physique, telle qu'une

force attractive ou répulsive, une densité, une pression, une température , etc.

Si Ton pose

^/lf^Y ^/(^xr^^)v £i/W2i)7

OQ aura

du = JLdx -h Xdy-^Zdz ,

expression dans laquelle chacune des lettres X, Y^ Z, désigne en général une fonction des trois variables indépendantes :r, /, z. Comme on a d'ailleurs [ia3]

d^u d*u d'à rf»w d'à d^u

dxdy dydx^ dxdz dzdx^ dydz dzdy^ les fonctions X, Y, Z, devront vérifier les trois équations de condition

dX.dY dX.^ f(X^. (Q) dy rfx' dz fltr' dz dy ^ ^

En assignant à u une suite de valeurs constantes , on aura nue suite de surfaces qui toutes satisferont à l'équation différentielle

ILdx-^Xdy + Zdz = o , et qui ne devront point se couper; sans quoi la fonction serait susceptible de prendre, pour le même point matériel, plusieurs valeurs distinctes. Quand la fonction u désigne une température, elles prennent le nom de surfaces isothermes; en hydrostatique, où la fonction w désigne une pression, ou les appelle surfaces de ni" ^'eau; et par la raison déjà indiquée [127], nous retiendrons cette dernière expression, quelle que soit la signification physique de la fonction w (').

Les coordonnées j:, /, z, étant rectangulaires, la

(') On pourrait nommer aussi les surfaces dont il s'agit, surfaces ^^mériques. Voir la noie de la page 220.

.226 LIVKE III. CHAPITRE I.

distance du point {pCj y^ z) au point infiniment voisin {x'\rdXyX'\'djry ij+rfz)a pour mesure J/^'J^rf^a 4.^. et dans le passage d'un point à l'autre, la fonction u prend l'accroissement du; de sorte que le rapport de raccroissèment à la distance des points a pour valeur X flga: + Y rfr + Z flfe

ou

en posant, pour abréger,

dy dz ,

dx—^' lùi—^ • La grandeur de ce rapport varie, en un même point de l'espace, ou pour les mêmes valeurs des quantités X^ Y, Z, avec les rapports arbitraires /', 2', qui déterminent la direction suivant laquelle le déplacement a lieu. Quand on applique à la quantité (w), considérée comme fonction de / , z', la méthode qui sera indiquée plus loin, pour la détermination des maxima et ndnima des fonctions de plusieurs variables, on trouve que la valeur maximum du rapport {rri) est

l/X^4-Y^4-Z», et que les lignes de variation maximum rencontrent à angles droits les surfaces de niveau.

* 1 30. La théorie des solutions de continuité, pour les fonctions d'une ou de deux variables qui représentent des grandeurs physiques [38 et 128], s'étend sans difficulté aux fonctions de trois variables. Admettons, afin de fixer les idées, que u désigne la densité du corps M au point (^, y y z). Pour préciser le sens de cette dé finition, il faut imaginer une surface fermée w, mena

arbitrairement dans Tintërieur du corps, de manière seulement à entourer le point (jr, ^, z). Le rapport de la masse du volume v, enveloppé par la surface, à ce volume même , est un certain nombre D qui mesure la densité moyenne de v. Si maintenant on conçoit que, par la variation continuelle de la surface co, les dimensions du volume v décroissent indéfiniment, sans que le point (x^ jr, z) cesse de s'y trouver compris, la limite vers laquelle converge le rapport variable D est cette fonction u de x^ y^ 2, que Ton prend pour mesure de la densité du corps au point {x^ /, z). On appliquerait cette définition, mutatis mutandis, à la mesure de la température ou de toute autre grandeur physique.

D'après cela, il est aisé de concevoir comment la fonction m, continue en général, peut passer brusquement d'une valeur finie à une autre, pour les points situés sur de certaines surfaces, que nous appellerons pour cette raison surfaces de rupture. Soient }l un point situé sur une telle surface ; A et B les deux portions de M séparées par la surface; w„ w„ les valeurs de la limite u pour deux points infiniment voisins de [jl, l'un en A, l'autre en B : la valeur de la limite au point p.

sera

Si le point pi est l'intersection commune de plusieurs surfaces de rupture, on mènera les tangentes aux lignes d'intersection de ces surfaces au point (l; on imaginera une sphère décrite du point (jl comme centre avec le rayon i ; on joindra deux à deux par des arcs de grands cercles les points où les tangentes pénètrent la surface

228 LIVRE m. CHAPITRE I.

sphérique^ et Ton divisera ainsi cette surface en compartiments dont les aires t., t,, T3, etc., correspondront aux régions du corps M, pour lesquelles la limite u prend, dans le voisinage immédiat du point (x^ les valeurs u^, u^i Ui', etc. Cela posé, la valeur de cette fonction au point (a sera la moyenne

MiT, 4-«>T>4-»3T,+etC. u, T, + M.T> +K, T, + CtC.

T,+T. + T, +etc. 4^

On peut considérer la surface de rupture comme le lieu des lignes de rupture des surfaces de niveau, lorsque ces surfaces, et par suite la fonction Uj éprouvent des solutions de continuité du premier ordre.

Les solutions de continuité du second ordre^ éprouvées par la fonction u , correspondent à des arêtes ou à des lignes saillantes sur les surfaces de niveau : le lieu des arêtes qui se correspondent sur les surfaces de niveau consécutives, est une autre surface que Ton peut qualifier de surface de rupture du second ordre, et ainsi de suite.