Ok

En poursuivant votre navigation sur ce site, vous acceptez l'utilisation de cookies. Ces derniers assurent le bon fonctionnement de nos services. En savoir plus.

19/11/2010

Théorème de Schwarz

Théorème de Schwarz

Cet article est une ébauche concernant l'analyse.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Le théorème de Schwarz, également appelé théorème de Clairaut, peut s'énoncer ainsi :

Théorème de Schwarz — Soit f, une fonction numérique de n variables, définie sur un ensemble ouvert U de ℝn. Si les dérivées partielles existent à l'ordre p et sontcontinues en un point x de U, alors le résultat d'une dérivation à l'ordre p ne dépend pas de l'ordre dans lequel se fait la dérivation par rapport aux p variables considérées.

Dans le cas particulier des fonctions de deux variables x et y, on obtient :

frac{partial}{partial x}left( frac{partial f}{partial y} right) = frac{partial}{partial y}left( frac{partial f}{partial x} right)

Un contre-exemple [modifier]

Le résultat ci-dessus peut tomber en défaut lorsque les hypothèses ne sont pas vérifiées.

Considérons la fonction :

f(x,y)= begin{cases} frac{x y^3}{x^2 + y^2} & text{si }  (x,y) neq (0,0) \ 0 & text{sinon} end{cases}

Les dérivées sont :

frac{partial f}{partial x}(x,y) = begin{cases} y^3 frac{y^2- x^2}{( x^2 + y^2 )^2} & text{si }  y neq 0 \ 0 & text{sinon} end{cases}

et

 frac{partial f}{partial y}(x,y) = begin{cases} x y^2 frac{3 x^2 + y^2}{( x^2 + y^2 )^2} & text{si }  (x,y) neq (0,0) \ 0 & text{sinon} end{cases}

Les dérivées partielles croisées d'ordre 2 en (0,0) sont

frac{partial^2 f}{partial x partial y} (0,0) = 0text{ et }frac{partial^2 f}{partial y partial x} (0,0) = 1

Application du théorème de Schwarz aux formes différentielles exactes [modifier]

Considérons la forme différentielle exacte suivante, où f est une fonction de classe C2 :

mathrm df = a(x,y),mathrm dx + b(x,y),mathrm dy

Nous savons alors que :

a(x,y) = frac{partial f}{partial x}  et b(x,y) = frac{partial f}{partial y}

En appliquant le théorème de Schwarz nous en déduisons immédiatement la relation :

frac{partial a(x,y)}{partial y} = frac{partial b(x,y)}{partial x}

(par dérivation et inversion de l'ordre de dérivation...)

22:26 Publié dans Théorème de Schwarz | Lien permanent | Commentaires (0) | |  del.icio.us | | Digg! Digg |  Facebook

Les commentaires sont fermés.