Voir la source de Différentielle

{{autre|différentiel en mécanique|Différentiel (mécanique)}}
{{confusion|texte = Ne pas confondre avec la notion de [[complexe différentiel|différentielle en algèbre homologique]].}}
{{sources|date=décembre 2019}}

En [[Analyse fonctionnelle (mathématiques)|analyse fonctionnelle]] et [[analyse vectorielle|vectorielle]], on appelle '''différentielle''' d'ordre 1 d'une [[Fonction (mathématiques)|fonction]] en un point <math>a</math> (ou [[dérivée]] de cette fonction au point <math>a</math>) la partie [[Application linéaire|linéaire]] de l'accroissement de cette fonction entre <math>a</math> et <math>a + h</math> lorsque <math>h</math> tend vers 0. Elle généralise aux fonctions de plusieurs variables la notion de nombre dérivé d'une fonction d'une variable réelle, et permet ainsi d'étendre celle de [[développement limité|développements limités]]. Cette différentielle n'existe pas toujours, et une fonction possédant une différentielle en un point est dite '''différentiable''' en ce point. On peut ensuite calculer des différentielles d'ordre supérieur à 1.

On utilise la notation différentielle avec beaucoup d'efficacité dans le cadre du calcul d'approximations et du calcul de dérivées. Elle facilite la formule de la [[théorème de dérivation des fonctions composées|dérivée de la composée]]. Elle se révèle très pratique dans le changement de variable en [[calcul intégral]].

Dans l'approche de [[Leibniz]], la différentielle d'une fonction est son « accroissement infinitésimal », qui s'écrit comme une combinaison des accroissements infinitésimaux des différentes variables. Ainsi pour une fonction <math>f</math> des variables <math>x</math> et <math>y</math>, l'accroissement infinitésimal <math>\mathrm{d} f</math> s'exprime sous la forme :

:<math>\mathrm{d} f = \frac{\partial f}{\partial x} \, \mathrm{d} x + \frac{\partial f}{\partial y} \, \mathrm{d} y = p \, \mathrm{d} x + q \, \mathrm{d} y</math>

où <math>\frac{\partial f}{\partial x}</math> et <math>\frac{\partial f}{\partial y}</math> sont les [[dérivée partielle|dérivées partielles]] de <math>f</math>.

Le calcul différentiel ainsi conçu, s'il était un outil de calcul efficace, manquait d'un fondement rigoureux, en particulier en ce qui concerne la notion de quantité infinitésimale<ref name="ANS" group=note/>. La notion moderne de différentielle est l'outil [[Algèbre|algébrique]] qui permet de passer des accroissements finis <math>\delta x</math>, <math>\delta y</math> des variables à l'accroissement <math>\delta f</math> de la fonction, en se limitant au premier ordre d'approximation. Mathématiquement, il n'est plus question de petite variation mais de calcul au premier ordre, dont la définition s'exprime sous forme d'une [[limite (mathématiques)|limite]].

Il convient cependant de ne pas négliger la puissance d'évocation et l'efficacité dans les calculs du point de vue original de Leibniz. C'est ce qui explique qu'il reste massivement utilisé, notamment par les physiciens ou les économistes. En introduisant la notion avancée de [[tenseur|calcul tensoriel]] sur les [[Variété différentielle|variétés]], les mathématiciens ont pu assurer un statut précis aux notations différentielles de tous ordres.

== Première approche ==
=== Fonction d'une seule variable ===

Le calcul différentiel, pour les fonctions d'une seule variable, se confond avec la [[dérivée|dérivation]]. Soit <math>f</math> une fonction d'une variable réelle, à valeurs réelles ; on notera <math>y=f(x)</math> le résultat de l'application de <math>f</math>. Elle est dite dérivable en <math>a</math> lorsqu'il existe un réel, noté <math>f'(a)</math>, tel que pour tout réel <math>h</math> on ait :

:<math>f(a + h) = f(a) + f'(a)\, h + h \, \varepsilon(h)</math>

où <math>\varepsilon</math> est une fonction ayant une limite nulle en 0. <math>f'(a)</math> est alors appelé nombre dérivé de <math>f</math> en <math>a</math>. On résume souvent cela par la notation (dite [[notation de Landau]]) :

:<math>f(a + h) = f(a) + f'(a) \, h + o(h).</math>

Intuitivement ce calcul de limite, qui porte le nom de [[développement limité]] à l'ordre 1 pour la fonction <math>f</math> en <math>a</math>, signifie qu'en première approximation, pour <math>h</math> proche de 0, la valeur de <math>f(a + h)</math> est peu différente de celle de <math>f(a) + f'(a) \cdot h</math>. Notamment parmi les expressions [[Fonction affine|affines]] (c'est-à-dire de la forme <math>\alpha + \beta \cdot h</math>), c'est celle-ci qui donne la meilleure approximation de <math>f(a + h)</math>.

==== Introduction intuitive des notations du calcul infinitésimal ====

Dans de nombreuses applications, des notations parlantes sont employées pour décrire cette situation. On convient de noter le nombre <math>h</math> par <math>\mathrm{d} x</math> pour indiquer qu'il représente une très petite variation de <math>x</math> par rapport à la valeur de référence <math>a</math>. On note <math>\mathrm{d}y</math> la variation de l'image par rapport à la valeur de référence :
 
:<math>\mathrm{d} y=f(a+h)-f(a) \simeq f'(a) \, \mathrm{d} x.</math>

Le point de vue couramment adopté (surtout en physique), abusif en toute rigueur<ref name="ANS" group=note>Il est cependant possible de réintroduire de manière rigoureuse la notion d’« infiniment petit » ; voir l'article [[Analyse non standard]].</ref>, est que pour des variations suffisamment petites, on peut écrire <math>\mathrm{d} y = f'(a) \, \mathrm{d} x</math>. Cette présentation escamote en effet la nécessité d'utiliser un calcul de limite, car même pour des variations très petites, le terme d'erreur noté <math>o(h)</math> ci-dessus n'a pas de raison d'être nul. Mathématiquement parlant, il serait plus juste de noter cela :

:<math>\delta y \simeq f'(a) \, \delta x</math>

car les mathématiciens prouvent la formule exacte <math>\mathrm{d} y = f'(a) \, \mathrm{d} x</math>, en donnant aux notations <math>\mathrm{d} x</math> et <math>\mathrm{d} y</math> un sens précis qui n'est pas celui de ''petites variations'' et qui sera détaillé plus bas.

=== Fonction de deux variables ===

Soit <math>f</math> une [[Fonction de plusieurs variables|fonction des deux variables]] <math>x</math> et <math>y</math> ; on notera <math>z = f(x,y)</math> le résultat de l'application de <math>f</math>.

==== Valeur attendue pour la différentielle ====

De nouveau, la question posée peut être formulée ainsi : lorsque, par rapport à des valeurs de référence <math>a</math> et <math>b</math>, on augmente les variables <math>x</math> et <math>y</math> des quantités <math>\mathrm{d} x</math> et <math>\mathrm{d} y</math>, quel est l'effet (au premier ordre) sur la variable <math>z</math> ?

Les [[dérivée partielle|dérivées partielles]] permettent de répondre à la question lorsqu'une des deux variations est nulle. Ainsi, parce que c'est un simple calcul de dérivée de fonction d'une variable, il est possible d'écrire :

:<math>\mathrm{d} z_{a, b} = \mathrm{d} f_{a, b} = \frac{\partial f}{\partial x} (a,b) \, \mathrm{d} x</math> lorsque <math>\mathrm{d} y=0</math>

et de même en inversant les rôles : si <math>\mathrm{d} x</math> est nul, <math>\mathrm{d} z</math> se calcule à l'aide de la deuxième dérivée partielle.

Il semblerait naturel que lorsqu'on augmente <math>x</math> et <math>y</math> respectivement des quantités infiniment petites <math>\mathrm{d} x</math> et <math>\mathrm{d} y</math>, l'augmentation totale soit obtenue en superposant les deux cas précédents :

:<math>\mathrm{d} z_{a, b}= \mathrm{d} f_{a, b} = \frac{\partial f}{\partial x} (a,b) \, \mathrm{d} x + \frac{\partial f}{\partial y} (a,b) \, \mathrm{d} y</math>

ce qu'en physique on énonce en général sous la forme : la différentielle « totale » est la somme des « différentielles partielles ».

On écrira par exemple : si <math>z = x^2 + xy</math> alors <math>\mathrm{d} z = \mathrm{d} f = (2x+y) \, \mathrm{d} x + x \, \mathrm{d} y</math>. De fait, cette formule sera vérifiée dans de très nombreux calculs explicites ; mais elle n'est pas vraie en toute généralité.

==== Le problème de la différentiabilité ====

Il faut détailler le raisonnement pour voir où il pèche. On peut faire subir d'abord une augmentation de <math>\mathrm{d} x</math> à la seule variable <math>x</math>, ce qui la fait passer de la valeur <math>a</math> à <math>a + \mathrm{d} x</math>, tandis que <math>y</math> reste égal à <math>b</math>. Puis, en maintenant <math>x = a + \mathrm{d} x</math> constant, on fait passer <math>y</math> de <math>b</math> à <math>b + \mathrm{d} y</math>. Les accroissements résultants de <math>z</math> sont donc plus précisément :

:<math>\mathrm{d} z_1 = \frac{\partial f}{\partial x} (a,b) \, \mathrm{d} x</math>
:et <math>\mathrm{d} z_2 = \frac{\partial f}{\partial y} (a + \mathrm{d} x,b) \, \mathrm{d} y </math>

et encore, si cette deuxième quantité existe effectivement.

L'existence de dérivées partielles au seul point <math>(a,b)</math> est ''a priori'' insuffisante pour écrire une formule générale de calcul de <math>\mathrm{d} z</math>. En revanche, si l'on suppose que les dérivées partielles sont définies et [[continue]]s sur un voisinage de <math>(a,b)</math>, on pourra effectivement affirmer que <math>\mathrm{d} z</math> a la valeur attendue.

== Définition de la différentielle ==

En termes généraux, la différentiabilité est l'existence d'un développement limité à l'ordre 1 en un point, et la différentielle est la partie d'ordre 1 (donc linéaire) exactement.

=== Pour une fonction réelle à deux variables ===

Étudions en premier lieu une fonction de deux variables, à valeurs réelles : on notera <math>z = f(x,y)</math>. Cette fonction sera dite '''différentiable''' au point <math>m</math> de coordonnées <math>(x,y)</math> s'il existe une formule de développement limité d'ordre 1 pour la fonction en ce point, c'est-à-dire :

:<math>f(x+h_1, y+h_2 ) = f(x, y) + \alpha \, h_1 + \beta \, h_2 + o\left(\sqrt{{h_1}^2+{h_2}^2}\right)</math>

avec <math>\alpha</math> et <math>\beta</math> des coefficients réels, ou encore :

:<math>\lim_{(h_1, h_2) \to (0, 0)} \frac{f(x + h_1,y + h_2) - f(x, y) - \alpha h_1 -\beta h_2}{\sqrt{{h_1}^2+{h_2}^2}} = 0</math>

La limite est à prendre au sens des limites de fonctions de deux variables.

Si la fonction est différentiable, on montre que les coefficients <math>\alpha</math> et <math>\beta</math> sont bien les dérivées partielles de <math>f</math>. On peut alors écrire :

:<math>f(x+h_1, y+h_2 ) = f(m+\vec{h}) = f(m)+L(\vec{h}) + o(\|\vec{h}\|)</math>

avec l'expression suivante qui est linéaire en <math>\vec{h} = (h_1,h_2)</math>

:<math>L(\vec{h}) = \frac{\partial f}{\partial x}(x,y) \, h_1 + \frac{\partial f}{\partial y}(x,y) \, h_2.</math>

L'application linéaire <math>L</math> est appelée ''différentielle de <math>f</math> au point <math>m</math> et peut se noter <math>\mathrm{d} f(m)</math> ou bien <math>\mathrm{d} f_{m}</math>''.

On peut reprendre l'interprétation intuitive de <math>L</math>. Si les variables subissent une petite modification <math>\delta \vec{\ell}</math>, l'effet sur la fonction est une modification <math>\delta f = L(\delta \vec{\ell})</math>, à condition de s'empresser d'ajouter : « du moins au premier ordre ».

=== Généralisations en dimension finie ===

Cette première notion se généralise aux fonctions de <math>\R^n</math> dans <math>\R</math>, en changeant simplement le nombre de variables, puis aux fonctions de <math>\R^n</math> dans <math>\R^p</math> en admettant des coefficients vectoriels pour le développement limité. Une fonction <math>\vec{f}</math> de <math>\R^n</math> dans <math>\R^p</math> sera dite différentiable en <math>a</math> s'il existe un développement de la forme :

:<math>\vec{f}(a_1+h_1, \dots, a_n + h_n )= \vec{f}(a_1, \dots, a_n ) + h_1 \, \vec{\alpha_1} + \dots + h_n \, \vec{\alpha_n} + o\left(\|\vec{h}\|\right)</math>

avec <math>\|\vec h\|</math> qui désigne la [[norme (mathématiques)|norme]] du vecteur de composantes <math>(h_1,...,h_n)</math>. Cette condition peut aussi s'écrire comme :

:<math>\lim_{\vec{h} \to \vec{0}} \frac{\vec{f}(a_1+h_1, \dots, a_n+h_n ) - \vec{f}(a_1, \dots, a_n ) - h_1\, \vec{\alpha_1} - \dots - h_n \, \vec{\alpha_n}}{\|\vec{h}\|} = \vec0</math>

La limite est à prendre au sens des limites de fonctions de <math>n</math> variables. De nouveau, si la fonction est différentiable, on montre que les coefficients <math>\{\vec{\alpha_i}\}_{i=1,\dots,n}</math> apparaissant dans ce développement sont les dérivées partielles de <math>\vec{f}</math>. On notera donc :

:<math>\mathrm{d} \vec{f}(a)(\vec{h}) = \frac{\partial\vec{f}}{\partial x_1}(a) \, h_1 + \dots + \frac{\partial\vec{f}}{\partial x_n}(a) \, h_n</math>

Pour effectuer ce calcul il est judicieux d'introduire des représentations matricielles pour le vecteur <math>\vec h</math> et l'application linéaire <math>\mathrm{d} \vec{f}(a)</math> : c'est ce que l'on appelle la [[matrice jacobienne]] de l'application. C'est une matrice de dimension <math>(p,n)</math>. Le calcul de <math>\mathrm{d} \vec{f}(a)(\vec h)</math> peut aussi être présenté comme un calcul de [[produit scalaire]] du vecteur <math>\vec h</math> avec le vecteur [[gradient]] de <math>f</math> au point <math>a</math>.

La différentiabilité de la fonction assure l'existence de dérivées partielles ; la réciproque est fausse : l'existence de dérivées partielles n'assure pas la différentiabilité de la fonction, ni même sa continuité.

Il existe cependant un résultat positif : si les dérivées partielles de <math>f</math> existent et sont continues, alors <math>f</math> est différentiable.

Si l'application <math>f</math> est linéaire, alors elle est différentiable en tout point <math>a</math> et <math>\mathrm{d} f(a) = f</math>. Ceci s'applique en particulier à chaque fonction coordonnée <math>\R^n \to \R</math>, <math>x \to x_k</math> — dont la dérivée en tout point <math>a</math>, <math>\mathrm{d} x_k(a)\, : \, h \to h_k</math>, est simplement notée <math>\mathrm{d} x_k</math> — et justifie la réécriture suivante de la différentielle de <math>\vec f</math> en <math>a</math> :

:<math>\mathrm{d} \vec{f}(a) = \frac{\partial\vec{f}}{\partial x_1}(a) \, \mathrm{d} x_1 + \dots + \frac{\partial\vec{f}}{\partial x_n}(a) \, \mathrm{d}x_n</math>


=== Applications au calcul infinitésimal ===

En calcul infinitésimal, l'habitude est de noter <math>\mathrm{d} f</math> des variations infinitésimales d'une fonction <math>f</math>. Ainsi, soient <math>f</math>, une fonction de <math>\vec x = ( x_1,\dots, x_n )</math> et <math>\mathrm{d} \vec x = (\mathrm{d} x_1,\dots,\mathrm{d} x_n )</math> où les <math>\mathrm{d} x_i</math> sont les composantes d'une variation [[asymptote|infinitésimale]] de <math>\vec x</math>, alors la différentielle de <math>f</math> au point <math>\vec x</math> définit les variations infinitésimales de <math>f</math> correspondant aux variations infinitésimales de <math>\vec x</math> et s'écrit :

:<math>\mathrm{d} f(\vec x) = \sum_i \frac{\partial f(\vec x)}{\partial x_i} \, \mathrm{d} x_i</math> 
ou, en notation tensorielle avec la [[convention de sommation d'Einstein]] :

:<math>\mathrm{d} f(\vec x) = \frac{\partial f(\vec x)}{\partial x_i} \, \mathrm{d} x_i</math>

Pour bien comprendre cette formule, il faut comprendre que l'accroissement infinitésimal <math>\partial f</math> est lié aux accroissements infinitésimaux <math>\partial x_i</math> par les [[Dérivée partielle|dérivées partielles]] qui sont indépendantes les unes des autres, et que par contre, on calcule la relation entre <math>\mathrm{d} f(\vec x)</math> et les <math>\mathrm{d} x_i</math> qui sont, eux, liés entre eux par la direction dans laquelle on fait varier <math>\vec x</math>.

=== Différentiabilité au sens de Fréchet ===

Plus généralement, il est possible de définir la notion de différentiabilité et de différentielle sans avoir recours à des bases.

Soient <math>E</math> un [[espace vectoriel normé]], <math>F</math> un [[espace vectoriel topologique]] [[Espace séparé|séparé]], <math>f</math> une application de <math>E</math> dans <math>F</math> et <math>a</math> un point de <math>E</math>. On abandonne la notation des vecteurs par des flèches dans ce paragraphe.

On dit que <math>f</math> est différentiable en <math>a</math> (au sens de [[Maurice Fréchet|Fréchet]]) s'il existe une [[application linéaire continue]] <math>L : E \to F</math> telle que :
:<math>\forall h \in E\quad f(a+h)=f(a)+L(h)+o\left(\|h\|\right)</math>
ou, de manière équivalente :
:<math>\lim_{h \to 0} \frac{f(a+h)-f(a)-L(h)}{\|h\|} = 0.</math> 

Une telle application linéaire <math>L</math> est alors unique<ref name=Wikiversite group=note>Pour une démonstration, voir par exemple le chapitre « Différentiabilité » de la leçon « Calcul différentiel » sur [[Wikiversité]] (lien en [[#Voir aussi|bas de page]]).</ref>. Elle est appelée '''différentielle''' de <math>f</math> en <math>a</math> et se note <math>L=\mathrm{d} f(a)</math>. De plus, sa continuité assure la continuité en <math>a</math> de <math>f</math>.

La différentiabilité dépend de la norme choisie sur <math>E</math> ; on retrouve, cela dit, la définition usuelle en dimension finie {{supra|Généralisations en dimension finie}} puisque toutes les normes y sont [[Norme équivalente|équivalentes]]. Notons que pour <math>h\in E</math> fixé, l'application <math>Df(.)(h):E\to F:a\mapsto\mathrm{d} f(a)(h)</math> n'a aucune raison d'être linéaire. Par exemple pour <math>E=F=\R</math>, <math>f=\sin</math> et <math>h=1</math>, on a <math>Df(.)(h)=\cos</math>.

On peut remarquer le changement sémantique entre la première définition, celle de [[Leibniz]] – un accroissement très petit –, et celle formalisée de nos jours – une application linéaire. Ce changement est l'aboutissement d'une évolution de plus de trois siècles entre une idée intuitive du calcul infinitésimal et sa formalisation.

== Différentielle d'une fonction composée ==
{{Voir|Théorème de dérivation des fonctions composées#Cas général{{!}}Différentielle d'une fonction composée}}

La différentielle d'une [[fonction composée]] est donnée (sous de bonnes hypothèses) par<ref name=Wikiversite group=note/>{{,}}<ref>{{Ouvrage|auteur=[[Jean Mawhin]]|titre=Analyse|sous-titre=Fondements, techniques, évolution|éditeur=De Boeck Université|lieu=Paris/Bruxelles|année=1997|pages totales=808|isbn=2-8041-2489-4|page={{p.|?}}{{refinc|date=octobre 2017}}}}.</ref> :

:<math>\mathrm{d} (g\circ f)(a) = \mathrm{d} g(f(a)) \circ \mathrm{d} f(a)</math>

== Différentielle d'ordre supérieur ==
=== Cas de la fonction réelle ===

Si <math>y = f(x)</math>, si <math>f</math> est [[dérivable]] sur <math>I</math>, alors <math>\mathrm{d} f = f'(x) \, \mathrm{d} x</math>. Si de plus, <math>f'</math> est dérivable, <math>\mathrm{d} f</math> est différentiable et :

:<math>\mathrm{d} ^2f = f''(x) \, \mathrm{d} x \, \mathrm{d} x</math>

Cette quantité s'appelle la différentielle d'{{nobr|ordre 2}} de <math>f</math>.

Plus généralement, si <math>f</math> est <math>n</math> fois dérivable sur <math>I</math>, on appelle différentielle d'ordre <math>n</math> sur <math>I</math>, l'expression :

:<math>\mathrm{d} ^n f = f^{(n)}(x)(\mathrm{d} x)^n</math>

=== Cas de la fonction réelle à deux variables ===

Si <math>f</math> est une fonction différentiable de <math>U</math> ([[Ouvert (topologie)|ouvert]] de <math>\R^2</math>) dans <math>\R</math>, alors <math>\mathrm{d} f = \tfrac{\partial f}{\partial x} \, \mathrm{d} x +\tfrac{\partial f}{\partial y} \, \mathrm{d} y</math>. Chacune des fonctions <math>\tfrac{\partial f}{\partial x}</math> et <math>\tfrac{\partial f}{\partial y}</math> est elle-même une fonction de <math>U</math> dans <math>\R</math>. Si elles sont de [[Classe de régularité|classe C{{1}}]] (c'est-à-dire différentiables de différentielle continue) alors <math>\mathrm{d} f</math> est aussi différentiable et :

:<math>\mathrm{d} ^2 f
 = \left(\frac{\partial ^2 f}{\partial x \partial x} \, \mathrm{d} x + \frac{\partial ^2 f}{\partial x \partial y} \, \mathrm{d} y \right) \, \mathrm{d} x
 + \left(\frac{\partial ^2 f}{\partial y \partial x} \, \mathrm{d} x + \frac{\partial ^2 f}{\partial y \partial y} \, \mathrm{d} y \right) \mathrm{d} y</math>

Comme les différentielles sont continues, le [[théorème de Schwarz]] permet de dire que :
:<math>\frac{\partial ^2 f}{\partial x\partial y} = \frac{\partial ^2 f}{\partial y\partial x}</math>

ce qui permet d'écrire la différentielle d'ordre 2 de <math>f</math> sous la forme suivante :

:<math>\mathrm{d} ^2f
 = \frac{\partial ^2 f}{\partial x \partial x} \, (\mathrm{d} x)^2
 + 2 \, \frac{\partial ^2 f}{\partial x \partial y} \, \mathrm{d} x \, \mathrm{d} y
 + \frac{\partial ^2 f}{\partial y \partial y} \, (\mathrm{d} y)^2
 = \left( \frac{\partial }{\partial x} \, \mathrm{d} x + \frac{\partial }{\partial y} \, \mathrm{d} y \right)^2 f</math>

où <math>\bigl(\tfrac{\partial }{\partial x} \, \mathrm{d} x + \tfrac{\partial }{\partial y} \, \mathrm{d} y \bigr)</math> devient un opérateur agissant sur <math>f</math>

Plus généralement, si <math>f</math> est de classe <math>C^n</math> alors (formellement, dans l'[[algèbre sur un corps|algèbre]] des [[opérateur différentiel|opérateurs]]) :

:<math>\mathrm{d} ^n f = \left(\frac{\partial }{\partial x} \, \mathrm{d} x + \frac{\partial }{\partial y} \, \mathrm{d} y\right)^n f</math>

=== Cas général ===

On considère deux espaces vectoriels normés <math>E</math> et <math>F</math>, <math>U</math> un ouvert de <math>E</math> et <math>f : U \to F</math>.

On dit que <math>f</math> est deux fois différentiable en <math>a \in U</math> si :
# <math>f</math> est différentiable sur <math>U</math> (de différentielle <math>f'(x) \in \mathcal{L}(E,F)</math> pour tout <math>x \in U</math>),
# l'application <math>f': U  \to\mathcal{L}(E,F)</math> est différentiable en <math>a</math> (au sens de la métrique induite sur <math>\mathcal{L}(E,F)</math>).

L'application [[dérivée seconde]] est donc une fonction <math>f'' : U \to\mathcal{L}(E,\mathcal{L}(E,F))</math> et la différentielle seconde en <math>a</math> est l'application <math>f''(a) \in \mathcal{L}(E,\mathcal{L}(E,F))</math>.

Mais intéressons-nous de plus près à <math>f ''(a)</math>. Il s'agit d'une [[Espace vectoriel normé#Opérateur borné|application linéaire continue]] <math>f''(a) : E \to \mathcal{L}(E,F) </math>. De même, une fois choisi <math>x \in E</math> l'application <math>f''(a)x : E \to F</math> est linéaire continue.

L'application <math>f''(a)</math> peut donc être interprétée comme l'[[application bilinéaire]] continue <math>f''(a) : E \times E\to F,\,(x,y)\mapsto ((f')'(a)x)y</math>. D'après le [[théorème de Schwarz]], elle est de plus symétrique.

De manière générale, on définit la différentielle d'ordre <math>n</math> de <math>f</math> en <math>a</math> comme l'[[Application multilinéaire#Symétrie et antisymétrie|application <math>n</math>-linéaire symétrique]] continue <math>f^{(n)}(a) : E^n \to F, \, (x_1,...,x_n) \mapsto (...((f^{(n)}(a)x_1)x_2)...)x_n</math>.

== Notes et références ==
=== Notes ===
{{références|groupe=note}}

=== Références ===
{{références}}

=== Bibliographie ===

* [[Henri Cartan]], ''Cours de calcul différentiel'', éditions Hermann, 1967 (plusieurs rééditions).

== Articles connexes ==
{{Autres projets
  | wiktionary = différentielle
|wikiversity=Calcul différentiel/Différentiabilité
|wikiversity titre=Différentiabilité
}}

* [[Dérivée directionnelle]]
* [[Dérivée extérieure]]
*[[Dérivée totale]]
* [[Différentiel généralisé]]
* [[Variété différentielle#Vecteurs tangents et différentielle d'une application|Différentielle d'une application entre variétés]]
* [[Fonction B-différentiable]]
* [[Fonction semi-lisse]]
* [[Forme différentielle]]
* [[Homologie et cohomologie]]
* [[Notations delta en sciences]]
*[[Règle du produit#Règle du produit dans des espaces vectoriels normés|Règle du produit dans des espaces vectoriels normés]]

{{portail|analyse}}

[[Catégorie:Analyse à plusieurs variables]]
[[Catégorie:Application différentiable|*]]