IDÉRIVÊES ET D1FFERENTIELI.ES DE DIVERS ORDRES

31. — La dérivée d’une fonction étant elle -même une fonction, on est naturellement amené à considérer la dérivée de celle dérivée, et à la rattacher à la fonction primitive. On la nomme dérivée seconde de la fonction primitive. De même la dérivée de la dérivée seconde forme la dérivée troisième , etc., etc. Lu général, la dérivée d’un cci tain ordre est la dérivée de la dérivée de l’ordre précédent. Elles sont distinguées, dans les formules, par des accents en nombre égal à celui qui marque l’ordre de la dérivation. Ainsi f" (.*), f" (.r), . . . représentent respectivement les dérivées seconde, troisième, etc.

Les différentielles sont l’objet d’une succession analogue. On a des différentielles seconde , troisième, etc. , qui

CALCUL INFINITÉSIMAL

Kîi

sont, chacune, la différentiel h 1 de la différentielle précédente. La différentielle n' ■' désigne la différentielle de la différentielle n — l' 0 " 1 *. On les distingue dans les formules en inscrivant à droite de la caractéristique d le numéro d’ordre de la différentiation. Ainsi d 2 y, d 3 y, etc., représentent les divers ordres de différentielles de la fonction primitive.

La définition de la différentielle première (simplement nommée différentielle) entraîne la relation

dy = f'(x)('x ;

.ou plutôt cette relation n’est que l’expression même de la définition (n° 19).

La définition des différentielles seconde, troisième, etc., n’entraîne, immédiatement, aucune relation analogue. En effet, la différentielle seconde, par exemple, n’est point définie le produit de la dérivée seconde par l'accroissement de la variable *, mais bien la différentielle de la différentielle première ; ce qui est tout différent. Pour

1 Evidemment rien n’empécherait de considérer des différentielles ainsi définies, et d’appeler différentielle du n®” 1 * ordre le produit de la dérivée n'"’" par l'accroissement de la \ ariablc indépendante. Tonte définition est , de sa nature, arbitraire ; il suffi I, une fois qu’on l’a établie, d’y rester fidèle par la suite., Mais celte condition, dont se contente la pure logique, ne suffit point pour les sciences. Il faut encore que les objets définis soient utiles à considérer, c’ist-à-dirc qu'ils correspondent à des réalités phénoménales. Sans cela l’élude des objets définis serait sans application possible. C’est à ce rôle stérile que seraient réduites les différentielles des

divers ordres, définies comme nous venons de le dire. Tandis qu’au eon- »

traire les différentielles, (elles qu'on les a adoptées, lorro-po eent, comme il sera facile de s'en convaincre, àd<s réalités Intéressantes, ou s'introduisent nnturellénfcnl dans les formules nnthcm.Uiq es de= | liénemènes.

SKCONDF. PARTIE.

déduire de là une relation quelconque , entre lu différentielle et la dérivée, il est nécessaire de savoir effectuer les opérations indiquées par la définition, c’est-à-dire de savoir trouver la différentielle d’une différentielle.

C'est à quoi nous réussirons aisément au moyen des propositions déjà démontrées.

Cherchons, par exemple, la différentielle de dy ou de / <» dx.

On sait, d’après la règle relative à la différentiation des produits de fonctions, que d [f'(x) x dx) est égal à

dx . d f'(x) + f‘{x) d dx .

Si nous supposons, ce qui est toujours permis, que les accroissements attribués à la variable indépendante x soient égaux, ou que dx soit constant, la différentielle de dx sera nulle, et par suite le second terme de la quantité ci-dessus disparaîtra. Quant à la différentielle de /'’(#), elle est égale, en vertu de la définition géuérale des ditlé-* reiiticlles premières, au produit de l’accroissement dx par la dérivée de f(jr) ou par / "(x), c’est-à dire à /'"(#) dx. On a donc :

d (dy) ou d 2 y —d[f' (x) dx] = f'(x) dx - .

On trouverait de même :

d l y=f"'(x)dx> ;

et en général

d n y — f {n \x)dx n . »

il îésulle de là que les différentielles des divers ordres

CALCUL INFINITÉSIMAL

sont respectivement égales au produit des dérivées par les puissances, du même ordre, de l’accroissement de fa variabie; ou que les dérivées des divers ordres sont respectivement égales au quotient des différentielles par les puissances correspondantes de l’accroissement.

32. — La délinition de la dérivée première c'est qu’elle est la limite du rapport de l’accroissement de la fonction à l’accroissement de la variable, lorsque ce dernier converge vers zéro.

La définition de la dérivée seconde c’est qu’elle est la dérivée de la dérivée première, ou la limite du rapport de l’accroissement de la dérivée première à l’accroissement de la variable. à

De cette définition il ne découle aucune relation immédiate entre la dérivée seconde et l’accroissement de la fonction primitive : car on ne découvre pas, à priori, de quelle manière l’accroissement de la fonction primitive peut être lié à l’accroissement de la dérivée première. Il existe cependant, entre l’accroissement d’une dérivée d’ordre quelconque et celui de la fonction primitive, une relation très-intéressante, que nous allons établir.

Supposons que dans la fonction donnée on attribue à x une série d’accroissements égaux (c’est ce que nous avons déjà admis pour rattacher entre elles les dérivées et les différentielles des divers ordres), la fonction prendra une série de valeurs correspondantes :

y . ;/t » y» . • • • yn •

Si je représente respectivement par \y, Ay„ Xy, . . . \y n

SECONDE PARTIE

les accroissements successifs de la fonction, entre ces diverses valeurs, on aura :

Aÿ = y* — y. Ay, = }h — • Ay„ — Un+i — y» ■

Représentons par A- y la différence entre deux accroissements consécutifs Ay, A y„ c’est-à-dire l’accroissement de l'accroissement Ay lorsqu’on passe de l’intervalle y 2 — y à l’intervalle y 3 — y,. (Pour rester fidèle à la notation déjà adoptée, cet accroissement d’une nouvelle espèce doit, en effet, être désigné par A (Ay) ou plus simplement par A 2 y ; de même que pour les différentielles on désigne </ (r/y ) par d 2 y). Un aura par définition :

A ! y = Ay 4 — Ay=ry 3 — y, — (y& — y) , et par suite :

y» — Vi ’it — y

y y A.r Aa:

A.r 2 Aa;

Acluellcment, faisons décroître A.r indéliujjncul, et voyons vers quelle limite converge le second membre. J.a

quantité • , qui représente le rapport de l’accroissement de y, à l’accroissement A x, aura pour limite la dérivée de y,, c'est-à-dire la dérivée de y + Ay, ou enlin / '(■ r + A a 1 ), puisque y -|- Ay = f(x Ax). De même, la

fraction a pour li mil# /”(#). En sorte que la li-

mite du second membre est celle de — — ‘ — — 1 - ■

Aa?

Mais cette fraction n’est autre que lu rapport de l’accrois-

CALCUL INFINITÉSIMAL

sèment de lu ibuclion f’(x) ù l'accroissement \x. Elle a donc pour limite la dérivée de f (a?) ou f"(x). Finalement nous trouvons :

tJ = rw •

En prenant la dilîérence entre A 2 y et A 2 y,, et désignant par A 5 y cet accroissement de troisième espèce, on verrait,

par un raisonnement analogue, que la limite de csl égale à / (.r). U'iiue manière générale on conclurait :

lim ^ .

Pour donner un énoncé simple à cette relation remarquable, ou convient d'appeler

Différences premières, les accroissements Ay, Ay.,,

Ay 3 ... ;

Différences secondes, les différences des différences premières, c’est-à-dire les quantités A 2 y, A’y*, A ’y 3 . . . ;

Différences «**""*, les différences des différences n — c’est-à-dire les quantités A " y, A n y ,, A ’*y t . . .

D’après ces définitions, le théorème que nous venons de démontrer s’énonce ainsi :

Ea dérivée d’un ordre quelconque est égale à la limite du rapport de la différence du même ordre à la puissance correspondante de l’accroissement de la variable.

Ainsi se trouve établie une analogie complète entre la dérivée première et toutes les autres dérivées, puisque la dérivée première marque précisément la limite du rapport

SECONDE PARTIE

de la différence première à la puissance simple de l’accroissement de la variable.

La relation générale

lim — f : " ] \x n '

(x) ou — |

dx"

fournit des conséquences analogues à celles que nous avons obtenues, au n" 19 pour la dérivée première.

On en déduit immédiatement :

a étant une quantité qui converge vers zéro en même temps que àx. De là résulte :

. et lim ^ - = \ ,

On peut dire aussi que la différence du n'""" ordre est égale à la différentielle du même ordre, sauf un infiniment petit de l’ordre n t|- 1 .

II est bien remarquable que les dérivées, supérieures à la première, étant définies sans se préoccuper des accroissements de la fonction primitive; et, d’autre part, les différences, supérieures à la première, de la fonction primitive, étant définies sans se préoccuper des dérivées, on trouve entre ces quantités une relation aussi simple et aussi harmonique que celle qui constitue la définition même de la dérivée du premier ordre. Celle circonstance établit,

CALCUL INFINITÉSIMAL

dans la génération des dérivées successives, un enchaînement encore plus étroit que celui qui résulte de leur propre définition. Aussi, quelques auteurs, partant de la relation dont nous parlons, ont défini à ce point de vue les dérivées des divers ordres. Si l’on adopte une telle définition, il faut ensuite démontrer que la dérivée » iiTO , conçue comme la limite du rapport de la différence «'" m à la puissance correspoudaule de l’accroissement, est en même temps la dérivée première de la dérivée » — l li0, ‘. Cette marche nous semble moins directe et surtout moins naturelle, en ce que la conception de la dérivée première ne suffit plus pour la définition des dérivées supérieures.