Différentielle de

Posons

Delà

et, par différentiation,

-^^dY^=:XdX-\'dX,JC.

Opérant par — Y[ ) F et remplaçant Y par -— ^ >

Si JT est un vecteur x, la différentielle se réduit à l'expression réelle

Diiférentiations successives.

83. La notion des différentielles des divers ordres s'introduit ici aussi naturellement que dans l'analyse

— lia —

ordinaire et ne saurait donner lieu à des difficultés nouvelles, puisqu'il suffit d'appliquer les mêmes procédés de calcul aux différentielles obtenues déjà, pour obtenir les différentielles d'ordres supérieurs.

Comme exemple, prenons la fonction V = X^. Nous avons

et de là

d^Y = XiPX-h2(ilX]*-\-a^X.X.

Si X était un vecteur x, on aurait

Bien entendu, si l'on donne à la variable indépendante un accroissement dX qui soit constant, il faudra faire d^X=-d^ X =., , . = o dans tous les calculs, qui se simplifieront beaucoup par cela même.

Cas des variables réelles.

84. Nous avons déjà vu que, si la variable indépendante est réelle, on obtient une dérivée tout comme dans l'Algèbre ordinaire. Supposons que la fonction, dans ce cas, soit un vecteur y =f[x]. Alors le Heu du point T sera bien évidemment une certaine courbe. La différentielle rfv représente la corde infiniment petite qui unit deux points de cette courbe infiniment rappro-

dr chés, et la dérivée -j- est un vecteur fini parallèle à la

tangente.

Si un vecteur y était donné en fonction de deux variables réelles indépendantes, sous la forme y =/(j:, z)^ le lieu du point y serait généralement une surface, puis-

— ii3 —

qu'en attribuant à l'une des variables une valeur quelconque on obtient une courbe. La différentielle de y pourra alors se mettre sous la forme ordinaire

. (Iy =: --- dx -h -r- ^2* ax dz

— =y^(j:, z) et — =/'^(x, z) sont ici deux vecteurs

tangents à deux courbes tracées sur la surface. Ils déterminent donc le plan tangent.

Nous nous bornons ici à ces rapides indications géométriques, qui n'ont d'autre objet que d'éclaircir les notions de la différentiation dans des cas particuliers, mais dont l'usage est très fréquent.

Fonctioiis réelles.

85. Soit tout d'abord une fonction réelle/ [X) d'une seule variable indépendante X. Si nous remplaçons le quaternion X par son expression développée

et si nous faisons varier séparément 3rQyX^, x-y, x^y nous aurons (79)

d/z= d^f-\- dJ-\- d^f-^ d^f.

MaiS; dans cette relation, tous les éléments sont réels.

Les dérivées -^5 -7— '••• sont donc bien déterminées, et nous pouvons poser

d^f__ dj dj dj

p^tpijP^i P^ étant des fonctions de X, mais non de dX,