Satz von Schwarz - LinkFang.de





Satz von Schwarz


Dieser Artikel ist über einen Satz der Mathematik in der Differentialrechnung mehrerer Variablen. Er sollte nicht mit dem Lemma von Schwarz aus der komplexen Analysis verwechselt werden.

Der Satz von Schwarz (nach Hermann Amandus Schwarz; wird auch Satz von Clairaut genannt; oder auch Young-Theorem) ist ein Satz der Mathematik in der Differentialrechnung mehrerer Variablen. Er besagt, dass bei mehrfach stetig differenzierbaren Funktionen mehrerer Variablen die Reihenfolge, in der die partiellen Differentiationen (Ableitungen) nach den einzelnen Variablen durchgeführt werden, nicht entscheidend für das Ergebnis ist.

Tatsächlich leitet er zusätzlich aus der Existenz der beispielsweise partiellen ersten Ableitungen und einer partiellen zweiten Ableitung die Existenz und den Wert einer weiteren partiellen zweiten Ableitung her.

Der Satz von Schwarz ist nicht zu verwechseln mit dem Schwarzschen Lemma.

Aussage

Sei [math]U \subseteq \mathbb{R}^n[/math] eine offene Menge sowie [math]f\colon U \to \mathbb{R}[/math] mindestens [math]p[/math]-mal partiell differenzierbar und sind alle [math]p[/math]-ten partiellen Ableitungen in [math]U[/math] zumindest noch stetig, so ist [math]f[/math] [math]p[/math]-mal total differenzierbar und insbesondere ist die Reihenfolge der Differentiation in allen [math]q[/math]-ten partiellen Ableitungen mit [math]q \le p[/math] unerheblich.[1]

Insbesondere für [math]n=2[/math] und [math]p \geq 2[/math] gilt also

[math] \frac{\partial}{\partial x}\left ( \frac{\partial }{\partial y} f(x,y) \right ) = \frac{\partial}{\partial y}\left ( \frac{\partial }{\partial x} f(x,y) \right ).[/math]

Der Satz gilt schon unter leicht schwächeren Voraussetzungen: Es genügt, dass die ersten partiellen Ableitungen im betrachteten Punkt total differenzierbar sind.[2]

Andere Schreibweisen

Mögliche Schreibweisen ohne Klammern sind

[math]\frac{\partial^2 f}{\partial x\partial y}(x,y) =\frac{\partial^2 f}{\partial y\partial x}(x,y)[/math] oder auch [math]{f_{xy}\;=\;f_{yx}}[/math].

Wenn man die partielle Differentiation selbst als Abbildung von [math]C^{2}(U,\mathbb{R})[/math] nach [math]C^{1}(U,\mathbb{R})[/math] und von [math]C^{1}(U,\mathbb{R})[/math] nach [math]C^{0}(U,\mathbb{R})[/math] auffasst, kann man noch kürzer schreiben:

[math]\frac{\partial^2}{\partial x\partial y}=\frac{\partial^2}{\partial y\partial x}[/math] oder auch [math]\partial_1 \partial_2 = \partial_2 \partial_1[/math].

Andere Formulierungen

Der Satz von Schwarz sagt auch aus, dass die Hesse-Matrix symmetrisch ist.

Fasst man [math]f \in C^2(U,\mathbb{R})[/math] als differenzierbare 0-Form auf und schreibt [math]d[/math] für die äußere Ableitung, so hat der Satz von Schwarz die Form [math]d(df)=0[/math] bzw. auch einfach nur [math]dd=0[/math].

Für [math]U \subseteq \R^3[/math] lässt sich das auch wie folgt formulieren: Die Rotation des Gradientenvektorfelds ist gleich null: [math] \operatorname{rot} (\operatorname{grad} f) = 0[/math], oder mit Nabla-Symbol geschrieben: [math]\vec\nabla \times \vec \nabla f = \vec 0[/math]. Das Gradientenvektorfeld ist also wirbelfrei.

Beispiel

Gegeben sei die Funktion [math]f: \mathbb R^2 \to \mathbb R[/math] durch [math]f(x,y)=e^{x^2} \sin{y}.[/math] Es ergibt sich für die ersten partiellen Ableitungen

[math] f_x=2x e^{x^2} \sin{y} \qquad f_y=e^{x^2} \cos{y}.[/math]

und für die beiden zweiten partiellen Ableitungen [math]f_{xy}[/math] und [math]f_{yx}[/math]

[math] f_{xy}=2x e^{x^2} \cos{y} \qquad f_{yx}=2x e^{x^2} \cos{y}.[/math]

Es ist zu erkennen, dass gilt [math]f_{xy}=f_{yx}.[/math]

Gegenbeispiel

Ohne die Stetigkeit der zweiten Ableitungen gilt der Satz im Allgemeinen tatsächlich nicht. Ein Gegenbeispiel, bei dem die Vertauschbarkeit nicht gilt, ist die Funktion [math]f \colon \R^2 \to \R[/math] mit [math]f(0,0) = 0[/math] und

[math]f(x,y) = \frac{x^3y - xy^3}{x^2+y^2}[/math] für [math](x,y) \neq (0,0)[/math].

Bei dieser Funktion existieren die zweiten partiellen Ableitungen auf ganz [math]\R^2[/math], aber es gilt[3]

[math]\frac{\partial^2}{\partial x \partial y} f(0,0) = 1[/math] und [math]\displaystyle \frac{\partial^2}{\partial y \partial x} f(0,0) = -1[/math].

Weblinks

Einzelnachweise

  1. Arens et al.: Mathematik. Spektrum Akademischer Verlag, 2008, S. 789
  2. Hans Grauert und Wolfgang Fischer, Differential- und Integralrechnung II., Springer Verlag 1978
  3. Herbert Amann, Joachim Escher: Analysis II. 2. Auflage. Birkhäuser, Basel/Boston/Berlin 2006, ISBN 3-7643-7105-6, S. 192–193.

Kategorien: Analysis | Satz (Mathematik)

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Satz von Schwarz (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.