Soit f:ΩEF avec E,F des R-espaces vectoriels de dimensions finies.
Soit aΩ.

Méthode 1 : Etudier des applications différentiables

Définition :

Le développement limité de f en a à l'ordre 1 s'écrit :
f(a+h)=f(a)+l(h)+||h||ϵ(h)

Avec lL(E,F) : application linéaire tangente à f en a.
ϵ(h)0F quand h0E.
On note (h)=||h||ϵ(h).

Définition :

f est différentiable en a si f admet un développement limité à l'ordre 1 en a.
L'application linéaire tangente à f en a est également appelée différentielle de f en a notée df(a) avec df(a)h=[df(a)](h).
f(a+h)=f(a)+df(a)h+(h) quand h0E.

Théorème :

Si f est différentiable en a, alors f est continue en a.

Théorème :

Soit f:IRF et soit aI.

Les propositions suivantes sont équivalentes :

  • f est différentiable en a
  • f est dérivable en a.

df(a)(h)=hf(a).
En particulier : f(a)=df(a)1

Définition :

Une fonction f:ΩEF est différentiable si elle est différentiable en tout point aΩ.
df:ΩL(E,F) est la différentielle de f.

Théorème :

Les fonctions différentiables sont continues.

Théorème :

Soient f,g:ΩEF et α,βR.
Si f,g différentiables, alors αf+βg est différentiable et
d(αf+βg)=αdf+βdg.

Théorème :

Soient f:ΩEF et g:ΩFG avec f(Ω)Ω.
Si f et g sont différentiables, gf est différentiable et pour tout aΩ, d(gf)(a)=[dg(f(a))]df(a).

Méthode 2 : Etudier la dérivation

Définition :

Soient f:ΩEF et aΩ.
f est dérivable en a selon le vecteur v si la fonction tf(a+tv) est dérivable en 0.
Le vecteur dérivé de f en a selon le vecteur v est :

Dvf(a)=limt01t(f(a+tv)f(a))

Théorème :

Si f est différentiable en a, alors f est dérivable en a selon tout vecteur vE :

Dvf(a)=df(a)v

Définition :

Soient f:ΩEF et e=(e1,,en) une base de E. Soit aΩ.
Le vecteur dérivé de f en a selon le vecteur ei (ou dérivé partiel de dans la base ) est .

Théorème :

Si est différentiable, alors les dérivées partielles de dans la base de existent et pour tout :

Pour tout

Théorème :

Cas
Soit telle que .
Soit base canonique de .

Théorème :

Soit différentiable en avec et respectivement les bases de et .
La matrice jacobienne de en est la matrice de :

Avec les fonctions coordonnées de .
Le déterminant de la matrice est appelé Jacobien.

Théorème :

Soient et .
Si et admettent des dérivées partielles, alors est différentiable et .

Théorème :

Soient et avec .
Soient et les bases respectivement de et .
Soit et .
Si et sont différentiables alors :

Méthode 3 : Etudier la classe d'une fonction

Définition :

Soit .

est de classe

  • Si est différentiable sur et est continue sur .

Ou de façon équivalente :

  • Si les dérivées partielles de relativement à une base de existent en tout point de et sont continues sur .

Théorème :

Soit une application de classe .
Si est un arc de classe d'extrémités et alors .

Définition :

Soit .
est appelée dérivée partielle d'ordre de .
Pour , si elles existent, on appelle dérivées partielles de d'ordre les dérivées partielles des dérivées partielles d'ordre de .

Définition :

Soit .
est de classe si ses dérivées partielles d'ordre existent et sont continues.
est de classe si pour tout , est de classe .

Théorème :

Soient et .
Soit .
Si et sont de classe , est de classe .

Théorème :

Soit .

Les propriétés suivantes sont équivalentes :

  • est de classe
  • Les fonctions coordonnées de dans une base de sont de classe

Théorème :

Soient et avec .
Si et sont de classe alors est de classe .

Théorème de Schwarz :

Soit .
Si est de classe , pour tous ,

Méthode 4 : Applications en calcul différentiel

Définition :

Soit différentiable.
admet un point critique en si .

Théorème :

Si différentiable admet un extremum local en alors est un point critique de . La réciproque est fausse.

Remarque :

Soit .
admet un minimum local en s'il existe , tel que pour tout , .

En pratique, pour obtenir des extremums locaux, on commence par rechercher les points critiques (par exemple le point ) puis on étudie ceux-ci (par exemple avec le signe de ).

Théorème :

Les solutions de l'équation aux dérivées partielles d'ordre : sont les fonctions de classe , telles que avec ( et sont des intervalles de ouverts et non vides).

Théorème :

Les solutions de l'équation aux dérivées partielles d'ordre :
sont les fonctions de classe , telles que avec .

Théorème :

Les solutions de l'équation aux dérivées partielles d'ordre :
sont les fonctions de classe , telles que avec et .