Égalité 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 ℝⁿ. 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=1. 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 donc 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 en 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>1 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 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}$

$\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) = 0\text{ et }\frac{\partial^2 f}{\partial y \partial x} (0,0) = 1$

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 des mathématiques

Ce document provient de « Th%C3%A9or%C3%A8me de Schwarz ».

Catégories : Analyse à plusieurs variables | Théorème de mathématiques

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Égalité de Schwartz de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать реферат

Regardez d'autres dictionnaires:

Bertrand Schwartz — Pour les articles homonymes, voir Schwartz. Bertrand Schwartz, 2006 Bertrand Schwartz, ancien élève de l École polytechnique et ingénieur au corps des Mines est né le … Wikipédia en Français
Transformée de Fourier — Joseph Fourier En analyse, la transformation de Fourier est un analogue de la théorie des séries de Fourier pour les fonctions non périodiques, et permet de leur associer un spectre en fréquences. On cherche ensuite à obtenir l expression de la… … Wikipédia en Français
Mouvement de protestation universitaire en France en 2007-2008 — Mouvements universitaires de 2007 2009 en France Les mouvements universitaires de 2007 2009 en France sont un ensemble de protestations contre la Loi relative aux libertés et responsabilités des universités (loi LRU ou loi Pécresse , du nom de la … Wikipédia en Français
Mouvement des enseignants-chercheurs de 2009 — Mouvements universitaires de 2007 2009 en France Les mouvements universitaires de 2007 2009 en France sont un ensemble de protestations contre la Loi relative aux libertés et responsabilités des universités (loi LRU ou loi Pécresse , du nom de la … Wikipédia en Français
Mouvement des enseignants-chercheurs en France — Mouvements universitaires de 2007 2009 en France Les mouvements universitaires de 2007 2009 en France sont un ensemble de protestations contre la Loi relative aux libertés et responsabilités des universités (loi LRU ou loi Pécresse , du nom de la … Wikipédia en Français
Mouvement universitaire de 2009 en France — Mouvements universitaires de 2007 2009 en France Les mouvements universitaires de 2007 2009 en France sont un ensemble de protestations contre la Loi relative aux libertés et responsabilités des universités (loi LRU ou loi Pécresse , du nom de la … Wikipédia en Français
Mouvement universitaire en France de 2007-2009 — Mouvements universitaires de 2007 2009 en France Les mouvements universitaires de 2007 2009 en France sont un ensemble de protestations contre la Loi relative aux libertés et responsabilités des universités (loi LRU ou loi Pécresse , du nom de la … Wikipédia en Français
Mouvements universitaires de 2007-2009 — en France Les mouvements universitaires de 2007 2009 en France sont un ensemble de protestations contre la Loi relative aux libertés et responsabilités des universités (loi LRU ou loi Pécresse , du nom de la ministre de la recherc … Wikipédia en Français
Mouvements universitaires de 2007-2009 en France — Les mouvements universitaires de 2007 2009 en France sont un ensemble de protestations contre la Loi relative aux libertés et responsabilités des universités (loi LRU ou loi Pécresse , du nom de la ministre de la recherche du gouvernement Fillon… … Wikipédia en Français
Mouvements universitaires de 2008-2009 en France — Mouvements universitaires de 2007 2009 en France Les mouvements universitaires de 2007 2009 en France sont un ensemble de protestations contre la Loi relative aux libertés et responsabilités des universités (loi LRU ou loi Pécresse , du nom de la … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Égalité de Schwartz

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

Égalité de Schwartz

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