Soit f:Ω⊂E→F 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 l∈L(E,F) : application linéaire tangente à f en a.
ϵ(h)→0F quand h→0E.
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 h→0E.
Théorème :
Si f est différentiable en a, alors f est continue en a.
Théorème :
Soit f:I⊂R→F et soit a∈I.
Les propositions suivantes sont équivalentes :
- f est différentiable en a
- f est dérivable en a.
df(a)(h)=h⋅f′(a).
En particulier : f′(a)=df(a)⋅1
Définition :
Une fonction f:Ω⊂E→F 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:Ω⊂E→F et α,β∈R.
Si f,g différentiables, alors αf+βg est différentiable et
d(αf+βg)=αdf+βdg.
Théorème :
Soient f:Ω⊂E→F et g:Ω′⊂F→G avec f(Ω)⊂Ω′.
Si f et g sont différentiables, g∘f est différentiable et pour tout a∈Ω, d(g∘f)(a)=[dg(f(a))]∘df(a).
Méthode 2 : Etudier la dérivation
Définition :
Soient f:Ω⊂E→F et a∈Ω.
f est dérivable en a selon le vecteur v si la fonction t↦f(a+t⋅v) est dérivable en 0.
Le vecteur dérivé de f en a selon le vecteur v est :
Dvf(a)=limt→01t(f(a+t⋅v)−f(a))
Théorème :
Si f est différentiable en a, alors f est dérivable en a selon tout vecteur v∈E :
Dvf(a)=df(a)⋅v
Définition :
Soient f:Ω⊂E→F 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 .