Théorème de Schwarz

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 ℝⁿ. Si les dérivées partielles existent à l'ordre $p$ et sont continues 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)$

Démonstration

Nous allons la faire dans le cas n=2 et p=2. Soit (x₀,y₀) dans U. pour t proche de zéro, on pose

F (t) = f (x 0 + t, y 0 + t) - f (x 0, y 0 + t) - f (x 0 + t, y 0) + f (x 0, y 0)

g (y) = f (x 0 + t, y) - f (x 0, y)

de sorte que

F (t) = g (y 0 + t) - g (y 0).

On différencie par rapport à y, ce qui donne

$g'(y) = \frac{\partial f}{\partial y}(x_{0}+t,y) - \frac{\partial f}{\partial y}(x_{0},y).$

On applique ensuite le théorème des accroissements finis à g entre y₀ et y₀+t : il existe a compris entre 0 et 1 tel que

$F(t)= t g'(y_{0}+a t) = t \left( \frac{\partial f}{\partial y}(x_{0}+t,y_{0}+a t) - \frac{\partial f}{\partial y}(x_{0},y_{0}+a t)\right).$

Et toujours en appliquant le théorème des accroissements finis à la fonction

$x \mapsto \frac{\partial f}{\partial y}(x,y_{0}+a t)$

entre x₀ et x₀+t, il existe a' compris entre 0 et 1 tel que

$F(t) = t^{2} \frac{\partial}{\partial x} \left( \frac{\partial f}{\partial y}\right)(x_{0}+a't, y_{0}+a t).$

Or les fonctions considérées ici sont continues, donc

$\frac{F(t)}{t^{2}} \underset{t \to 0}{\longrightarrow}= \frac{\partial}{\partial x}\left(\frac{\partial f}{\partial y}\right)(x_{0},y_{0}).$

En utilisant un argument symétrique en remplaçant g par h définie par

h (x) = f (x, y 0 + t) - f (x, y 0)

on montre que

$\frac{F(t)}{t^{2}} \underset{t \to 0}{\longrightarrow}= \frac{\partial}{\partial y} \left(\frac{\partial f}{\partial x}\right)(x_{0},y_{0}).$

Par unicité de la limite, on a bien

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

Les cas n>2 et p>2 sont analogues.

Un contre-exemple

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 partielles premières sont :

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

$\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}$

de sorte que

$\frac{\partial^2 f}{\partial x \partial y} (0,0) = 0\text{ tandis que }\frac{\partial^2 f}{\partial y \partial x} (0,0) = 1$ .

Accessoirement, on peut vérifier que pour $(x,y)\ne(0,0)$ ,

$\frac{\partial^2 f}{\partial x \partial y} (x,y) =y^2 \frac{(6x^2y^2-3x^4+y^4)}{( x^2 + y^2 )^3}= \frac{\partial^2 f}{\partial y \partial x} (x,y)$ .

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

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

$\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...)

Portail de l'analyse

Catégories :

Analyse à plusieurs variables
Théorème d'analyse

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorème de Schwarz de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

Theoreme de Schwarz — Théorème de Schwarz 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… … Wikipédia en Français
Théorème de schwarz — 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… … Wikipédia en Français
Theoreme de schwartz — Théorème de Schwarz 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… … Wikipédia en Français
Theoreme de Clairaut — Théorème de Clairaut Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Il existe trois théorèmes de Clairaut, du nom du mathématicien français Alexis Claude Clairaut : Le théorème de Clairaut, en… … Wikipédia en Français
Théorème de Clairault — Théorème de Clairaut Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Il existe trois théorèmes de Clairaut, du nom du mathématicien français Alexis Claude Clairaut : Le théorème de Clairaut, en… … Wikipédia en Français
Théorème de clairaut — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Il existe trois théorèmes de Clairaut, du nom du mathématicien français Alexis Claude Clairaut : Le théorème de Clairaut, en gravimétrie, qui relie… … Wikipédia en Français
Théorème de Pick — Pour les articles homonymes, voir Pick. Ne doit pas être confondu avec le théorème de Schwarz Pick (en) … Wikipédia en Français
Schwarz — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Schwarz », sur le Wiktionnaire (dictionnaire universel) Schwarz est un mot allemand qui veut dire… … Wikipédia en Français
Théorème de Clairaut — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Il existe trois théorèmes de Clairaut, du nom du mathématicien français Alexis Claude Clairaut : Le théorème de Clairaut, en gravimétrie, qui relie… … Wikipédia en Français
Theoreme de projection sur un convexe ferme — Théorème de projection sur un convexe fermé En mathématiques, le théorème de projection orthogonale sur un convexe est un résultat de minimisation de la distance qui généralise la projection orthogonale sur un espace vectoriel. Il remplace… … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Théorème de Schwarz

Un contre-exemple

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

Regardez d'autres dictionnaires:

Share the article and excerpts

Dictionnaires et Encyclopédies sur 'Academic'

Wikipédia en Français

Théorème de Schwarz

Un contre-exemple

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

Regardez d'autres dictionnaires:

Share the article and excerpts

Direct link