II. — FONCTIONS DE PLUSIISURS VARIABLES. l

/jxj fy*' O" définira de même les dérivées partielles du troisième ordre, du quatrième ordre, etc.; d'une manière géiiirale, étant donnée une fonction d'un nombre quelconque de variables indépendantes w =y*(a?,^, 5, . . ., /), une dérivée partielle d'ordre n est le résultat de n dérivations successives eflfectuées sur cette fonction / dans un certain ordre, par rapport à quelques-unes des variables qui y figurent. Nous allons établir que ce résultat ne dépend pas de l'ordre dans lequel on effectue ces dérivations. Nous démontrerons d'abord le lemme suivant :

Soit oj T= f(^x, y) une fonction des deux variables x, y; on

^ /'jcx=/]'x'i B2IéDi^ ?"^ ^^* deux dérivées partielles soient continues.

Nous allons, pour cela, mettre sous deux formes différentes l'expression

U =/(x -+- Aa7, ^ -f- ^y) —/{Xy y -h A^) —f{x ^ Aa:, y) ^f{x,y),

oii Ton suppose que .r, y, A^:, Ay aient des valeurs déterminées. Si Ton pose, en désignant par i^ une variable auxiliaire,

on peut en effet écrire

l'application du théorème des accroissements finis à la fonction C9((') nous donne

u = Aj'-ç;.(^-+-eA^), où o<ô<i.

Remplaçons ©' par sa valeur; il vient encore

U = Ar [/j(^ -X- Aa:, ^ -4- e A7) -fy(x, 7 -h 0 A/)].

Une nouvelle application de la formule des accroissements finis à lafonclîon/^(w,^ + 8 Aj^), en y regardant maintenant 2^ comme la variable indépendante, nous donne

U = Aa?A7/;^(a7-H0'Aa?,y-+-eAj^), o<G'<i. D'après la symétrie de l'expression U en x, y^ Aa:, Hy^ on trou-

iC CHAPITRE I. — DÉRIVÉES ET DIFFÉRENTIELLES.

verait de même, en échangeanl le rôle des variables x ely,

U = Ay Hx/^yix 4- O; \x, ^ + 0, Aj^),

B| et 0', désignant encore des facteurs positifs infërieurs à un. Égalons ces deux valeurs de U; en divisant par ùix ùiy, il reste

les dérivées y^^ et f étant supposées continues, si Ton fait tendre ûix et \y vers zéro, les deux membres de l'égalité précédente tendent respectivement vers /[^^ et y^^., et l'on parvient à l'égalité qu'il s'agissait de démontrer.

Il est à remarquer que la démonstration précédente ne suppose rien sur les autres dérivées du second ordre /^« ct/^., ; elle s'applique aussi au cas où la fonction y( a;, y) dépend d'autres variables indépendantes que x et jk, en nombre quelconque, puisque ces variables doivent être traitées comme des constantes dans les dérivations précédentes.

Cela posé, soit w =y(a:, jk, 3, ..., /) une fonction d'un nombre quelconque de variables indépendantes et û une dérivée partielle d'ordre n de cette fonction. Toute permutation, dans l'ordre des dérivations qui conduisent à û, peut être obtenue par une suite d'échanges entre deux dérivations consécutives et, comme ces opérations ne changent pas le résultat, d'après ce que nous venons de voir, il en sera de même de la permutation considérée. Il suit de là que, pour avoir une notation qui désigne sans ambiguïté une dérivée partielle d'ordre /i, il suffira d'indiquer le nombre de dérivations qui sont eflectuées par rapport à chacune des variables indépendantes. Ainsi les dérivées partielles d'une fonction de trois variables w =y( jj, y, z) seront représentées par l'une ou l'autre des deux notations

où p -i- q -{- r = n. L'une ou l'autre de ces deux notations représente le résultat que l'on obtient en dérivant successivement/) fois par rapport k x^ q fois par rapport ày, r fois par rapport à 5, ces opérations étant effectuées dans un ordre arbitraire. Il y a trois dérivées partielles du premier ordre, /^, /l? /^i six dérivées partielles du second ordre, fU fy-., Z^, A, fU, fr., ....