Zum Inhalt springen

Kurs:Funktionentheorie/Flächenintegrale über Kreisscheiben

Aus Wikiversity

Einleitung

[Bearbeiten]

Wegintegrale über einen Kreisrand wurden bei der Cauchy-Integralformel verwendet, um eine holomorphe Funktion im Inneren eine Kreisscheibe über ein Integral über den Kreisrand darzustellen, d.h. für alle gilt:

In dieser Lerneinheit werden keine Wegintergale über Kreisränder, sondern Flächenintegrale über Kreisscheiben als orientierte Flächen im Vergleich zu Doppelintegralen über Real- und Imaginärteil behandelt.

Aufgabe für Studierende

[Bearbeiten]

Analysieren Sie die folgende Flächenintegrale über eine Kreisscheibe als orientierte Fläche.

  • Was ist der Grund dafür, dass mache Flächenintegrale bzw. Doppelintegral einen von 0 verschiedenen Wert aufweisen?
  • Kann man ein Doppelintegral über Real- und Imaginärfall über Kreisscheiben als Spezialfall der Integration über orientierte Flächen auffassen?

Stellen Sie ausgewählte Teilaspekte dieser Lerneinheit in den Übungen vor!

Extremalpunkte eines Kreise

[Bearbeiten]

Man könnte nach den bisherigen Ergebnissen für Dreiecke und Rechtecke annehmen, dass der Wert eines Flächenintegral über den Wert an den Extremalpunkten der Fläche festgelegt ist. Die Extremalpunkte eines Kreises sind im Gegensatz zu Polygonen (Vielecken) aber nicht endlich. Extremalpunkte einer Kreisschreibe als konvexe Menge besteht aus dem Kreisrand (also der Spur des Integrationsweges im Cauchy-Integralsatz). Tatsächlich hängt das Flächenintegral von Kreisscheiben aber nur von den Bildpunkten mit als orientierte Fläche ab.

Doppelintegral über Kreisscheiben

[Bearbeiten]

Mit einem Doppelintegral über den Realteil und den Imaginärteil mit für die holomorphe Funktion auf dem Definitionsbereich betrachtet man eigentlich zwei separate Integrale von für und die dann zusammengefasst eine Wert des Integrals in liefert. Eine orientierte Fläche berücksichtigt dagegen die geometrische Struktur, die sich aus dem algebraischen Zusammenhang zwischen Realteil und Imaginärteil ergeben, wie z.B. bei der Multiplikation als Drehstreckung in .

Beispiel - Doppelintegral über Kreisscheiben

[Bearbeiten]

Bevor allgemein über orientierte Kreisscheiben integriert wird, berechnet das folgende Beispiel für eine Kreissscheibe das Doppelintegral über Real- und Imaginärteil für die holomorphe Funktion mit . Integriert wird über die abgeschlossene Kreisscheibe mit Mittelpunkt und Radius . Über die Anwendung der Transformationsformel wird der Wert des Integral mit dem Mittelpunkt der Kreisscheibe und dem Radius berechnet.

Berechnung des Doppelintegrals

[Bearbeiten]

Hinweise zur Berechnung

[Bearbeiten]

ist eine Konstante bezüglich der Integrationsvariable . Die Stammfunktion von ist daher

Transformationsformel

[Bearbeiten]

Das obige Integral zeigt mit der Anwendung der Transformationsformel in Polarkoordinaten, dass das Doppelintegral nicht verschwindet. Der Wert des Integrals hängt quadratisch vom Zentrum der Kreisschreibe und vom Radius ab.

Rechteck und Kreisscheibe

[Bearbeiten]

Bei einer orientierten Fläche wird mit

Ein Rechteck auf die abgeschlossene Kreisscheibe mit Radius und bijektiv abgebildet.

Animation der orientierten Fläche

[Bearbeiten]

Das Argument ist in der Animation monoton wachsend und das Argument oszilliert zwischen 0 und 1 über Anwendung einer trigonometrische Funktion.

oriented surface for mapping from square to disk - created with OpenSource Geogebra and exported to animated GIF
oriented surface for mapping from square to disk - created with OpenSource Geogebra and exported to animated GIF

Aufgabe zur Animation

[Bearbeiten]

Wie kann man die obige Animation in Abhängigkeit von dem monoton wachsenden Argument , sodass der Parameter in Abhängigkeit von oszilliert. Verwenden Sie dazu die Abbildung , sodass dann -fach zwischen 0 und 1 oszilliert. Bestimmen Sie dazu die Parameter .

Hilfen zur Aufgabe zur Animation

[Bearbeiten]

Nutzen Sie die folgenden Hilfen, um die Parameter zu bestimmen:

  • Die Funktion oszilliert zwischen 0 und 2,
  • Die Funktion erzeugt eine vollständige Kosinusschwingung, wenn von 0 bis 1 monoton wächst.


Abbildung der Ecken auf Kreisrand

[Bearbeiten]

Die Ecken des Rechtecks mit

werden nun auf unterschiedliche Randpunkt der abgeschlossenen Kreisscheibe als orientierte Fläche abgebildet.

Bezeichnung der Eckpunkte

[Bearbeiten]

Die Bildpunkte der orientierten Fläche der Ecken von (Rechteck) werden wie folgt bezeichnet mit :

  • ,
  • ,
  • ,
  • .

Bemerkung - Winkel und Eckpunkte

[Bearbeiten]

In diesem spezielle Fall wurden die Bildpunkte der Eckpunkte auf dem Kreisrand jeweils mit einer Winkeldifferenz von abgetragen. Damit bilden die Punkte die Eckpunkte eines Quadrates in . Im Allgemeinen können die Bildpunkte auf dem Kreisrand z.B. mit unterschiedlichen positiven oder unterschiedlichen negativen Winkeldifferenzen gewählt werden. Die Festlegung dieser Winkeldifferenz auf dem Kreisrand verändert allerdings den Wert des Flächenintegrals über die orientierte Fläche.

Veranschaulichung für die Wahl der Eckpunkte

[Bearbeiten]

Bildpunkt bewegt sich mit wie folgt über die inneren Punkte der abgeschlossenen Kreisscheibe .

Mapping of rectangle to a disk as oriented surface - Complex Analysis - Geogebra Export as GIF animation
Mapping of rectangle to a disk as oriented surface - Complex Analysis - Geogebra Export as GIF animation

Vereinfachter Definitionsbereich der orientierten Fläche

[Bearbeiten]

Im weiteren Verlauf der Lerneinheit vereinfacht man den Definitionsbereich der orientierten Fläche für die Kreisscheibe. Die orientierte Fläche hat dann statt nun das Einheitsquadrat als vereinfachter Parameterraum.

Definition der orientierten Kreisfläche

[Bearbeiten]

Die orientierte Kreisfläche wird dabei wie folgt über Randwege des Kreisrandes definiert:

Dabei sind Weg über den Rand von Kreissegmenten, die im folgenden definiert und veranschaulicht werden.

Randwege auf dem Kreisrand

[Bearbeiten]

Um die orientierte Fläche zu definieren benötigt man zunächst die folgenden Randwege auf dem Kreisrand von mit :

Dabei werden die Winkel , so gewählt, dass gilt. Die Punkte bzw. liegen auf dem Kreisrand von .

Aufgabe 1 - Randwege über Kreissegmente

[Bearbeiten]

Sind zwei Winkel, dann bewegt sich auf dem Kreisrand von von . Bestimmen Sie mit der folgenden Animation zeigt die Position der Punkte in Abhängigkeit von .

Veranschaulichung der Randwege 1

[Bearbeiten]

Der rot markierte Punkt in der Kreisfläche zeigt die Position des Punktes in Abhängigkeit von dem Argument an. Unten in der Animation wird die zugehörige Position des Arguments im Einheitsquadrat aus für angegeben.


Veranschaulichung der Randwege 2

[Bearbeiten]
oriented surface for a disk - created with OpenSource Geogebra with GIF export
oriented surface for a disk - created with OpenSource Geogebra with GIF export

Bildpunkte der Ecken im Einheitsquadrat - Schritt 1

[Bearbeiten]

Für die Definition der orientierten Fläche wird der Punkt additiv darstellt. Dafür benötigt man die folgenden Hilfspunkte.

  • ,
  • ,
  • ,
  • .

Die Punkte auf dem Rand des Kreises sind auch die Anfangs- bzw. Endpunkte von 4 Randwegen auf dem Kreisrand.

Randweg auf dem Kreisrand - Schritt 2

[Bearbeiten]

Die 4 Randwegen auf dem Kreisrand:

  • ,
  • ,
  • ,
  • .

Definition der orientierten Fläche - Schritt 3

[Bearbeiten]

Die folgende Animation zeigt, wie rot markierte Punkt durch die beiden grün und blau markierten und orthogonal zueinander stehenden Vektoren zerlegt wurde.

oriented surface as mapping in complex analysis - created with OpenSource Geogebra4
oriented surface as mapping in complex analysis - created with OpenSource Geogebra4


Komplexkonjugation für Randwege - Schritt 4

[Bearbeiten]

Die Parametrisierung von den gegenüberliegenden Randwegen für die Summanden mit der Exponentialfunktion sind jeweils Komplexkonjugationen, denn es gilt mit der Periodizität von von und :

Bemerkung zu Schritt 4 - Verschobener Kreismittelpunkt

[Bearbeiten]

Durch den Punkt wird der Kreismittelpunkt lediglich verschoben. Für die algebraische Betrachtung wird daher in Schritt 4 allein der Rotationsanteil der Exponentialfunktion betrachtet und und verwendet.

Komplexkonjugation für Randwege - Schritt 5

[Bearbeiten]

Addiert man zu einer komplexen Zahl die komplex konjugiert Zahl erhält man . Wendet man das auf die Summe von an, so liefert das mit der Eulerschen Formel die Gleichung:

Parametrisierung Realteilrichtung - Schritt 6

[Bearbeiten]

Um den grün gekennzeichneten Vektor in Realteilrichtung zu erhalten, muss man diesen mit Werten zwischen und in Abhängigkeit von parametrisieren. Mit ist :

Einsetzen der Randwege in orientierte Kreisfläche - Schritt 4

[Bearbeiten]

Setzt man die obigen Wege in Definition der orientierten Kreisfläche ein, so summieren sich die skalaren Vielfachen von zu , denn es gilt:

Einsetzen der Randwege in orientierte Kreisfläche - Schritt 5

[Bearbeiten]

Einsetzen der Randwege in orientierte Kreisfläche - Schritt 8

[Bearbeiten]

Setzt man die obigen Wege in Definition der orientierten Kreisfläche ein, so summieren sich die skalaren Vielfachen von zu , denn es gilt: werden zunächst die gegenüberliegenden Wege zusammengefasst:

Einsetzen der Randwege in orientierte Kreisfläche - Schritt 9

[Bearbeiten]

Setzt man die obigen Wege in Definition der orientierten Kreisfläche ein, so erhält man:

Dabei sind Weg über den Rand von Kreissegmenten, die im folgenden definiert und veranschaulicht werden.

Bemerkung - orientierte Fläche - Schritt 10

[Bearbeiten]

In der obigen Animation wurde zugehörige aus dem Definitionsbereich für ebenfalls auf der linken Seite in dem Einheitsquadrat dargestellt.

Definition der orientierten Fläche - Schritt 11

[Bearbeiten]

Damit lässt sich der Punkt als Summe der folgenden 3 komplexen Zahlen beschreiben:

Da die blau bzw. grün markierten Vektoren von der Wahl von abhängen, werden diese als Funktion bzw. notiert.

Definition der orientierten Fläche - Schritt 12

[Bearbeiten]

Die grün markierte Vektor wird als Funktionen dabei wie folgt definiert.

Definition der orientierten Fläche - Schritt 13

[Bearbeiten]

Die blau markierte Vektor wird als Funktionen analog mit vertauschten Rollen von und definiert.

Bemerkung - Wegintegral über geschlossene Wege

[Bearbeiten]

In diesem Zusammenhang ist es wesentlich zu bemerken, dass man das Doppelintegral über den Real- und Imaginärteil bzgl. Kreisscheiben von dem Wegintegral über den Kreisrand in konvexen bzw. einfach zusammenhängende Gebieten wesentlich verschieden ist, da in das Wegintegral in der Funktionentheorie die Ableitung eingeht und beim Doppelintegral nicht. Das Wegintegral über den Kreisrand ist nach dem Cauchy-Integralsatz für holomorphe Funktionen immer 0. Wenn man dann über den Radius integriert bleibt das Integral 0. Dies zeigt auch das Flächenintegral mit der zugehörigen orientierten Fläche.

Geschlossenes Wegintergal und orientierte Fläche

[Bearbeiten]

Sei der Radius des Kreises mit Mittelpunkt . Dann definiert Standardkreisscheibe mit dem Bild über

mit dem Gradienten .

Animation - orientierte Kreisscheibe

[Bearbeiten]
Disk and oriented surface with animated gradient - create as GIF export from Geogebra
Disk and oriented surface with animated gradient - create as GIF export from Geogebra

Geschlossenes Wegintegral - Integraldarstellung

[Bearbeiten]

Das Flächenintegral hat folgende Darstellung:

Geschlossenes Wegintegral - Integralgrenzen der orientierte Fläche

[Bearbeiten]

Setzt man die Integralgrenzen der orientierten Fläche in die Flächenstammfunktion ein, erhält man:

Integraldarstellung der orientierten Fläche - Flächenstammfunktion

[Bearbeiten]

Das Flächenintegral hat folgende Darstellung:

Integralgrenzen der orientierte Fläche

[Bearbeiten]

Setzt man die Integralgrenzen der orientierten Fläche in die Flächenstammfunktion ein, erhält man:

Kreisscheibe als orientierte Fläche

[Bearbeiten]

Behandelt man Kreisscheiben als orientierte Fläche über ein einzelnes transformiertes Rechteck als Bild von über und nicht über eine Approximation von eingeschriebenen Vielecken (so wie bei der Kreisflächenapproximation durch Vielecke in der der ebenen Geometrie) , so ist auch in diesem Fall das Integral 0. Dies liegt daran, dass sich die Auswertungen der Flächenstammfunktion bei einem Rechteck und der Bildpunkt und von oberern und unteren Integralgrenzen identisch sind. Dies wurde in den obigen Berechnungen gezeigt, wobei auch die zugehörige orientierte Fläche von durch eine Animation veranschaulicht wurde.

Bemerkung zu Übungen

[Bearbeiten]

Die folgenden Berechnungen dienen als Übungen im Umgang mit als Integrationsweg.

Orientierte Fläche als Rechtecktransformation

[Bearbeiten]

Sei der Radius des Kreises mit Mittelpunkt . Dann definiert orientierte Fläche als Rechtecktransformation mit dem Bild über

mit dem Gradienten .

Bemerkung 1 - Wegdefinition

[Bearbeiten]

Der orientierte Weg ist eine Konvexkombination von zwei Wegen und auf :

  • Der Weg startet bei und läuft mit über die obere Hälfte des Kreisrandes von bis . ist der rote Punkt auf dem oberen Halbkreis.
  • Der Weg startet ebenfalls bei und läuft mit über die untere Hälfte des Kreisrandes bis . ist der rote Punkt auf dem unterem Halbkreis.

Trigonometrische Funktionen und Gradient

[Bearbeiten]

Die Berechnung des Gradienten liefert zunächst einmal:

Für die trigonometrischen Funktionen gilt über die Eulersche Formel :

  • mit
  • mit

Partielle Ableitungen - Umformungen 1

[Bearbeiten]

Für gilt daher mit folgenden trigonometrischen Umformungen:

Partielle Ableitungen - Umformungen 2

[Bearbeiten]

Für erhält man analog durch Ersetzung mit der Sinusfunktion:

Gradient der orientierten Fläche

[Bearbeiten]

Damit ergibt sich der obige Gradient:

.

Wahl der orientierten Fläche

[Bearbeiten]

Die obige Darstellung der Kreisfläche über eine orientierte Fläche führt analog zu Wegintegralen über Rechtecke dazu, dass der Wert des Integrals über die orientierte Fläche nur von der Flächenstammfunktion von und den Bilder von in den Eckpunkten abhängt, d.h. das Integral ist durch , , und bereits festgelegt.

Approximation durch Polygone

[Bearbeiten]

Nach dem Lemma für Rechteckintegrale kann man das Rechintegral als alternierende Summe der Flächenstammfunktion über die Eckpunkte beschreiben. Mit dem Eckenreduktionssatz für Polygonintegrale kann das orientierte Flächenintegral über Polygone auf das alternierende Randwegintegral über Teilmenge einer geraden Anzahl von Ecken eines Polygons auszudrücken.

Approximation durch Rechtecke

[Bearbeiten]

Nach dem Approximationssatz für Dreiecke wurde das orientierte Flächenintegral im Dreieck über ein immer feiner werden Zerlegung in eine Summe von Rechteckintegralen approximiert. Dies wird nun analog mit einem eingeschriebene Vieleck in einem Kreis analog zur euklischen Geometrie durchgeführt, bei der der Flächeninhalt der Kreises durch ein regelmäßiges n-Eck approximiert wurde.

Translationsinvarianz nicht gegeben

[Bearbeiten]

Im Gegensatz zu euklidischen Geometrie, in der kongruente Dreieck den gleichen Flächeninhalt besitzen, gilt die Translationsinvarianz in der komplexen Analysis i.d.R. nicht, da die holomorphe Funktion nicht notwendigerweise konstant ist.

Definition - Flächenintegral über Kreisscheibe

[Bearbeiten]

Sei eine holomorphe Funktion, der Radius des Kreises mit Mittelpunkt mit . Dann definiert mit dem Bild und dem Entwicklungspunkt der Flächenstammfunktion . Sei eine Folge von Rechtecken, dessen paarweise Schnitte Nullmengen sind und alle inneren Punkte der offenen Kreisscheibe mit überdecken. Das Integral über die Kreisscheibe ist dann über Summe der Integrale über als zugehörige orientierte Flächen defininert:

Veranschaulichung - Rechteckapproximation

[Bearbeiten]
Approximation of a disk by rectangles - created with Geogebra with SVG export
Approximation of a disk by rectangles - created with Geogebra with SVG export

Bemerkung - Nullmengen-Sigma-Additivität

[Bearbeiten]

In der Definition wird verlangt, dass Schnitte der Rechtecke mit Nullmengen sind. Diese Voraussetzung ist wesentlich, um die orientierte Fläche der Kreisscheibe über die Nullmengen--Additivität als Summe der orientierten Flächenintegrale über die Rechtecke schreiben zu können. Diese Abschächung der -Additivität erlaubt z.B., dass der Schnitt zweier Rechtecke aus eine Rechteckseite besteht.

Aufgabe 1 - alternierende Randwege

[Bearbeiten]

Ergänzen Sie in der obigen Abbildung die alternierenden Randwege für das Rechteckintegrallemma über Stammfunktionen und das Darstellungslemma für Rechteckintergrale über Wegintegral. Betrachtet Sie dann, die sich annulierenden Teil auf den Randwegen (siehe auch alternierender Randweg). Erläutern Sie mit der folgenden Abbildung, warum die alternierenden Randwegintegrale bei der orientierten Fläche übrig bleiben.

Veranschaulichung - alternierende Randweg

[Bearbeiten]

Die Abbildung zeigt den alternierenden Randweg zur Berechnung des orientierten Flächenintegrals:

alternating line integral for disk approximation - created with Geogebra and exported as SVG
alternating line integral for disk approximation - created with Geogebra and exported as SVG

Aufgabe 2 - Flächenergänzung zu einem Randintegral

[Bearbeiten]

Ergänzen Sie analog zum Darstellungslemma für Dreiecksintegrale nun unregelmäßige Viereck, um die Rechtecke zu einem Polygon zu ergänzen, sodass mehr innere Punkte der Kreisscheibe durch die Vereinigung der Vielecke abgedeckt werden und Integrationswege im Inneren des Polygons sich durch die Ergänzung der Rechteckflächen sollen weitere Eigenschaft erhalten bleiben.

Eigenschaften bei der Ergänzung eines Vierecks

[Bearbeiten]
  • entweder einen inneren Punkt in der Kreischeibe auf dem Kreisrand liegt bzw.
  • wenn beide Seiten bereits auf dem Kreisrand liegen ein unregelmäßiges Viereck ergänzt wird, wobei die zusätzlich eingefügten Ecken beide auf dem Kreisrand liegen und
  • sich innere Teilwege der hinzugefügten Rechteckfläche sich mit existierende Randwegen annulieren.

Insgesamt soll wieder ein alternierender Randweg entstehen, bei dem alle Randpunkte auf dem Kreisrand liegen.

Approximation der Kreisscheibe über n-Ecke

[Bearbeiten]

Sei eine holomorphe Funktion, der Radius des Kreises mit Mittelpunkt mit . Dann definiert mit dem Bild und dem Entwicklungspunkt der Flächenstammfunktion . Sei ein regelmäßiges -Eck mit Ecken, das mit Eckpunkten auf dem Kreisrand als alternierender Randweg über beschrieben werden kann. Das Integral über die Kreisscheibe ist dann defininert:


Beweisidee

[Bearbeiten]

Für erhält man ein Rechteck mit 4 Ecken, wobei die Ecken gegen den Uhrzeigersinn (positive Orientierung) bezeichnet wurden. Dann zerlegt man mit jedem Iterationsschritt von auf mit zwei weiteren Punkten auf dem Rand ein -Eck in ein -Eck (also für in eine 12-Eck). Die Ergänzung von zwei Punkten pro Seite ist notwendig, damit die Vorzeichen der Flächenstammfunktionen von in den bereits existierenden Eckpunkten im Dreieck erhalten bleiben. Dies ist bei der Verfeinerung von einem -Eck in ein -Eck nicht möglich.

Anzahl der Ecken

[Bearbeiten]

Um die Vorzeichen der Flächenstammfunktionen in den Ecken zu erhalten, entsteht die zunächst ungewöhnlich wirkende Eckenzahl pro Verfeinung von -Eck zum -Eck der Verfeinerung, da pro Seite immer 2 weitere Eckpunkte ergänzt werden.

Additives Flächenintegral

[Bearbeiten]

Das Flächenintegral ist additiv, wenn sich die andockende Fläche des unregelmäßigen Vierecks mit 3 gleichlangen Seiten für und einer Seiten von dem ergänzten Viereck, das mit umkehrter Orientierung mit einer Seite des regelmäßigen Polygons zur Deckung gebracht wird. Durch die umgekehrte Orientierung entsteht wieder ein alternierender Randweg über .

Siehe auch

[Bearbeiten]

Seiteninformation

[Bearbeiten]

Diese Lernresource können Sie als Wiki2Reveal-Foliensatz darstellen.

Wiki2Reveal

[Bearbeiten]

Dieser Wiki2Reveal Foliensatz wurde für den Lerneinheit Kurs:Funktionentheorie' erstellt der Link für die Wiki2Reveal-Folien wurde mit dem Wiki2Reveal-Linkgenerator erstellt.