Stell dir eine geschlossene Schleife irgendwo im Raum vor, etwa einen Drahtring, der schief im Wind hängt. Du willst die Arbeit eines Vektorfelds entlang dieser Schleife. Erste Idee: Wegintegral aus Kap. VI.7 ansetzen, also Schleife parametrisieren, Tangente bilden, Skalarprodukt, integrieren. Bei einer krummen Schleife im 3D oft mühsam.
Stokes dreht die Frage um. Spann irgendeine Fläche in die Schleife, wie eine Seifenhaut in einen Drahtring. Dann ist die Arbeit auf dem Rand gleich dem Fluss der Rotation durch diese Fläche. Krummes Wegintegral wird Flächenintegral, oder umgekehrt. Du suchst dir aus, welche der zwei Rechnungen einfacher ist.
Bevor wir die Formel hinschreiben, klären wir die Voraussetzungen. Die sind keine Beiwerk-Fussnote: sobald eine davon verletzt ist, gilt der Satz nicht mehr (Section 2). Vier Punkte:
(1) ist ein stetig differenzierbares Vektorfeld auf einem Definitionsbereich . Heisst: alle partiellen Ableitungen, die in stecken, existieren und sind stetig.
(2) ist eine beschränkte Fläche (zweidimensional, evtl. krumm im Raum) mit . Achtung: ganz muss im Definitionsbereich liegen, nicht nur ihr Rand.
(3) ist der Rand von , eine geschlossene Kurve (siehe Kap. VI.3). Bei einer Kreisscheibe etwa: der Kreisrand. Bei einer Halbkugelschale: der Äquator.
(4) ist der Normaleneinheitsvektor auf , orientiert nach Daumenregel der rechten Hand: Daumen zeigt in , die Finger krümmen sich in Durchlaufrichtung von .
In Worten: die Arbeit auf der Randkurve ist gleich dem Fluss der Rotation durch die Fläche . Linke Seite ist eine Rechnung auf einer 1D-Kurve, rechte Seite eine Rechnung auf einer 2D-Fläche. Welche der beiden leichter ist, hängt von der Aufgabe ab; die Sektionen 6 und 7 zeigen, wann welche Richtung lohnt.
Die Konvention im Satz steckt in einem Handzeichen. Stell dir die rechte Hand vor: Daumen zeigt in Richtung , die Finger krümmen sich in Durchlaufsinn von . Bei einer flachen Kreisscheibe in der -Ebene mit (nach oben): läuft im Gegenuhrzeigersinn (von oben gesehen). Drehst du die Normale um auf : dann läuft im Uhrzeigersinn.
Wer die Konvention vertauscht (Normale richtig, Durchlauf falsch oder umgekehrt), kriegt das Vorzeichen des Resultats geflippt. Die Aufgabentexte verstecken die Vorgabe gerne: „von oben gesehen“, „im Uhrzeigersinn“, „Normale mit positiver -Komponente“. Lies die Aufgabe zweimal und notiere und Durchlaufsinn explizit, bevor du integrierst.
Wann lohnt sich Stokes? Pragmatisch: immer dann, wenn eine der zwei Seiten der Identität deutlich einfacher ist als die andere. Drei dankbare Konstellationen:
(a) auf einer passenden Fläche . Flussintegral verschwindet, also ist auch die Arbeit null. Bekanntes Beispiel: alle Gradientenfelder erfüllen (Identität aus VI.2), das Coulombfeld ausserhalb des Ursprungs.
(b) konstant auf . Flussintegral ist Konstante mal Flächeninhalt, fertig in einer Zeile.
(c) einfach und in einer Koordinatenebene. Skalarprodukt pickt eine Komponente raus, Flächenintegral wird zum Doppelintegral in zwei Variablen.
Diese Voraussetzung ist die wichtigste und die am häufigsten verletzte. Wie beim Divergenzsatz reicht es nicht, dass auf der Randkurve wohldefiniert ist. Auch ein einziger Punkt im Inneren der Fläche , an dem nicht stetig differenzierbar ist, killt den Satz.
Klassisches Gegenbeispiel. Das Magnetfeld eines geraden Stromleiters lautet . Sein Definitionsbereich ist ohne die -Achse, denn auf der Achse explodiert der Nenner. Eine Kreisscheibe in der -Ebene um den Ursprung enthält den singulären Punkt; Stokes ist also nicht direkt anwendbar.
Die globale Aussage gilt trotzdem (siehe VI.7 Sec 6.4), aber im Distributionssinne, nicht über einen direkten Stokes-Tausch.
Der Satz braucht als Rand einer Fläche, also eine geschlossene Kurve. Eine offene Kurve mit zwei freien Enden (etwa ein Halbkreis-Bogen oder ein Spline-Stück) ist nicht der Rand einer Fläche und scheidet direkt aus.
Standard-Lösung. Ergänze ein Hilfsstück , sodass geschlossen wird. Wähle als Fläche mit , wende Stokes an, ziehe am Ende das Wegintegral über ab.
Die Daumenregel ist Konvention im Satz, kein Beiwerk. Wer falsch herum wählt oder in der falschen Richtung durchläuft, kriegt einen Vorzeichen-Flip im Resultat.
Aufgaben verstecken die Vorgabe gerne in der Formulierung: „von oben gesehen“, „im Uhrzeigersinn“, „Normalenvektor mit positiver -Komponente“, „äussere Normale“. Lies die Aufgabe zweimal, notiere und Durchlaufsinn explizit, bevor du parametrisierst. Diese 30 Sekunden sparen oft fünf Minuten Vorzeichen-Suchen am Ende.
Bisher hatten wir die Rotation aus Kap. VI.2 nur als Rechenrezept gesehen: , ein formales Kreuzprodukt. Was die Vektor-Grösse an einem Punkt eigentlich bedeutet, blieb undurchsichtig: drei Komponenten, jede eine Differenz von zwei partiellen Ableitungen, ohne klare geometrische Lesart.
Mit Stokes in der Hand bekommen wir eine zweite Lesart, die viel anschaulicher ist. Die Rotation an einem Punkt , projiziert auf eine Achse , ist die Zirkulation pro Flächeneinheit einer kleinen Schleife um , deren Fläche senkrecht zu steht. Wirbelarbeit pro Fläche, gemessen in einer Achse.
Wie kommen wir formal zur Limes-Definition? Sei ein fester Einheitsvektor, ein fester Punkt, und eine kleine Fläche um mit als Normale; ist die Randkurve. Aus dem Mittelwertsatz für Flächenintegrale folgt: es gibt einen Punkt mit
Anschaulich: ist der Punkt mit „durchschnittlicher Rotations-Komponente entlang “ über . Schrumpft jetzt die Fläche auf zu (also ), so wird auch erzwungen ( liegt in ). Aus der Stetigkeit von folgt .
Setze die Mittelwert-Identität zusammen mit Stokes auf . Aus wird mit dem Mittelwert eine Punkt-Aussage. Teile durch und schicke die Fläche auf null:
In Worten: die Komponente der Rotation entlang einer Achse ist der Limes der Zirkulation pro Fläche, gemessen auf einer schrumpfenden Schleife um den Punkt mit Achse . Damit hat das vorher abstrakte eine geometrische Bedeutung, die nicht von Koordinaten abhängt.
Aus der Limes-Formel folgt eine starke geometrische Aussage. ist ein Skalarprodukt: es wird maximal, wenn und parallel zeigen, und null, wenn sie senkrecht aufeinander stehen.
Geometrisch heisst das: die Achse, um die das Feld am stärksten wirbelt, ist genau die Richtung von selbst, und der Betrag ist die Wirbelstärke. Das ist die mathematische Begründung für das Paddel-Rad-Bild aus Kap. VI.2: die Achse, in die sich das Rad am stärksten dreht, zeigt in , und die Drehrate ist proportional zu .
Ein Vektorfeld heisst wirbelfrei auf einem Gebiet , wenn überall auf . Anschaulich: ein Paddel-Rad an irgendeiner Stelle in dreht sich nicht, egal wie du es ausrichtest.
Bekannte Beispiele aus VI.2: alle Gradientenfelder sind wirbelfrei (Identität ); das Coulombfeld ist wirbelfrei ausserhalb des Ursprungs; jedes homogene Feld ist wirbelfrei.
Was sagt Stokes, wenn auf ? Die rechte Seite verschwindet, weil der Integrand überall null ist. Also auch die linke:
Anschaulich: bei einem wirbelfreien Vektorfeld ist die Arbeit auf jedem geschlossenen Weg null, der Rand einer Fläche ist. Spart oft die ganze Rechnung. Voraussetzung ist allerdings, dass die Fläche ganz im Definitionsbereich von liegt; das schliesst Wege aus, die einen singulären Punkt umrunden.
Stell dir zwei verschiedene Flächen und vor mit demselben Rand . wölbt sich nach oben wie eine Halbkugelschale, ist flach wie ein Deckel; dazwischen liegt ein Volumen.
Wenn wirbelfrei auf einer einfach zusammenhängenden Region ist, die beide Flächen enthält, dann gilt . Beide Flächenintegrale messen dieselbe Wegintegral-Aussage über den gemeinsamen Rand. Die Wahl der Fläche ist also egal, nur ihr Rand zählt; das ist die topologische Tiefe des Stokes'schen Satzes.
Aus 4.2 folgt direkt die Wegunabhängigkeit der Arbeit in einem wirbelfreien Feld auf einer einfach zusammenhängenden Region. Für zwei beliebige Wege von nach im Gebiet gilt .
Begründung in zwei Sätzen: ist ein geschlossener Weg, also Rand einer Fläche im Gebiet, also Arbeit null nach 4.2. Daher heben sich Hinweg und Rückweg auf, und beide Hinweg-Arbeiten müssen gleich sein. Diese Charakterisierung führt direkt zum Begriff Potentialfeld in Kap. VI.10.
Wir beweisen Stokes für die einfachste Fläche: ein achsenparalleles Rechteck , also ein flaches Rechteck in einer Ebene parallel zur -Ebene. Aussennormale (nach oben), Rand im Gegenuhrzeigersinn von oben gesehen.
Der Beweis für allgemeine Flächen folgt durch Triangulierung der Fläche in viele kleine Rechteck-artige Stücke; auf jedem Stück gilt die hier gezeigte Aussage, und die Beiträge der inneren Trennlinien heben sich beim Aufsummieren auf. Das Skelett des Arguments ist hier; die volle Triangulierungs-Ausarbeitung steht in der Mitschrift.
Mit pickt das Skalarprodukt nur die -Komponente von raus:
Wir zeigen . Linke Seite zerlegen wir in die zwei Summanden und werten jeden mit dem Hauptsatz der Analysis I aus, einmal in , einmal in .
Die vier Randintegrale aus 5.3 entsprechen genau den vier Seiten des Rechtecks im Gegenuhrzeigersinn. Schreibe pro Seite die Tangentenrichtung und das Skalarprodukt explizit hin:
Rechte Seite: , läuft von nach , Tangente . Beitrag .
Obere Seite: , läuft von nach , Tangente . Beitrag .
Linke Seite: , läuft von nach , Tangente . Beitrag .
Untere Seite: , läuft von nach , Tangente . Beitrag .
Summe der vier Beiträge ist . Vergleich mit den Hauptsatz-Resultaten aus 5.3 zeigt: entspricht genau dieser Summe. ∎
In Klausur-Aufgaben mit Stokes tauchen immer wieder dieselben Standard-Flächen auf. Die Tabelle gibt einen Überblick auf einer Zeile pro Geometrie; die folgenden Subsections holen jede Fläche einzeln raus mit Parametrisierung, Bereich und Hinweis auf den Rand .
| Fläche | ||
|---|---|---|
| Kreisscheibe () | ||
| Halbkugelschale | ||
| Zylindermantel | ||
| Kegelmantel | schräg radial | |
| Graph |
Die einfachste berandete Fläche und der häufigste Stokes-Trick: Kreisscheibe mit Radius in der -Ebene. Spezialfall einer Graph-Fläche mit .
Obere Halbkugelschale mit Radius um den Ursprung: . Standard-Param mit Polarwinkel und Azimut .
Vorzeichen-Disziplin. zeigt für diese Param INNEN, also zum Ursprung hin. Für die Aussennormale braucht es ein zusätzliches Minus, wie in VI.4 Sec 5 für die Sphäre. Konvention im Satz: per Daumenregel zum Durchlaufsinn von .
Zylindermantel mit Radius und Höhe , Achse auf der -Achse, ohne obere und untere Kreisscheibe. Standard-Param mit Azimut und Höhe .
Stehender Kegelmantel mit Spitze unten und Radius am offenen oberen Ende der Höhe . Standard-Param mit Slant-Distanz und Azimut .
Allgemeinster Standardfall: Fläche als Graph einer Funktion über einem Bereich in der -Ebene. Die natürliche Parametrisierung ist , der Rand ist das Bild der Bereichs-Berandung unter .
Anschauliche Beispiele. Bei zentrierten Bereichen Kreisscheibe um den Ursprung mit Radius ist ein Kreis und die gehobene Kurve . Spezialfälle: ergibt die flache Kreisscheibe aus 6.2; ergibt einen flachgedrückten Kegel.
Wenn die Aufgabe ein Wegintegral über eine offene Kurve verlangt (zwei freie Enden), lässt sich Stokes nicht direkt anwenden. Standard-Trick: ergänze ein Hilfsstück , sodass geschlossen wird und Rand einer wählbaren Fläche ist.
Klassische Hilfsstücke. Geradenstück auf einer Koordinatenachse, Kreisbogen in einer Koordinatenebene, oder gerade Verbindung zwischen den zwei Endpunkten von . Wahl so, dass trivial wird: Standard-Param ist gerade, Skalarprodukt fällt einfach aus, oder steht senkrecht zur Tangente von (dann Beitrag null).
Für jede Aufgabe mit Stokes oder Wegintegral entlang einer geschlossenen Schleife läufst du diese Reihenfolge durch. Wer sie einhält, erreicht das Resultat oft in einer Zeile.
(1) Wirbelfreiheits-Check zuerst. Falls auf einer Fläche mit : Arbeit ist null, Punkt. Beispiel: alle Gradientenfelder, das Coulombfeld ausserhalb des Ursprungs. Spart die ganze Integration.
(2) Stokes-Tausch in die einfachere Richtung. Wegintegral kompliziert, Rotation einfach (Konstante, simple Funktion in einer Koord.-Ebene)? Tausch zu Flussintegral. Umgekehrt: Flussintegral mühsam, Wegintegral leichter? Tausch zu Wegintegral.
(3) Fläche klug wählen. Bei Vorgabe nur der Schleife ist frei wählbar. Nimm die Fläche, für die einfach wird. Standard-Wahl: flache Kreisscheibe in einer Koordinatenebene (Section 6.2), Halbkugel oder Kegel bei rotationssymmetrischer Schleife.
(4) Hilfsstück-Strategie für offene Wege. Schleife nicht geschlossen? Schliessungs-Stück ergänzen, Stokes auf , Hilfsstück-Integral abziehen (Section 6.7).
(5) Singularitäten ausschneiden. Falls in einem Punkt der Fläche singulär ist (z. B. Magnetfeld eines Stromleiters auf der Achse): kleine Scheibe um die Singularität rausschneiden, Stokes auf die Restfläche, Beitrag der Hilfsscheibe direkt rechnen. Vorgriff auf Kap. VI.9 (Faraday und Ampère).
Übungsaufgaben werden in Kürze ergänzt.
Die Aufgaben für dieses Kapitel werden in einer zukünftigen Version ergänzt.