Kapitel 8: Gewöhnliche Differentialgleichungen 8.1 Definition, Existenz, Eindeutigkeit von Lösungen (enthalten Ableitungen der gesuchten Funktionen) Motivation: z.B. Newton 2. Gesetz: Ort: Geschwindigkeit: Kraft Beschleunigung: Typische Problemstellung: für orts - und/oder zeitabhängige Kraft, bestimme die Trajektorie ! Das führt zu einer "Differentialgleichung" (DGL): Beispiel: Harmonischer Oszillator in einer Dimension: "Rückstellkraft" "Antriebskraft" Beispiele: wichtige Differentialgleichungen in der Physik: Mechanik: Newton 2: (gewöhnliche DGL 2. Ordnung): Elektrodynamik: Maxwell-Gleichungen (gekoppelte partielle DGL 1. Ordnung) Quantenmechanik: Schrödinger-Gleichung: (partielle DGL 2. Ordnung) Hydrodynamik: Navier-Stokes-Gleichung: (nicht-lineare partielle DGL 2. Ordnung) Ort Magnetfeld Elektrisches Feld Wellenfunktion Geschwindigkeitsfeld einer Flüssigkeit AllgemeinerTrick: durch Einführen neuer Variablen lassen sich höhere Ableitungen eliminieren; der Preis ist ein System von mehreren DGL. Beispiel: Newton 2: Im Folgenden betrachten wir folglich nur DGL, die nur erste Ableitungen enthalten. Definition: Sei auf einem Gebiet eine stetige Funktion gegeben, d.h. ein stetiges (zeitabhängiges) Vektorfeld. Die Gleichung wird eine "explizite, gewöhnliche Differentialgleichung (DGL) erster Ordnung" genannt. (gesuchte Funktion hängt nur von einer Variable ab, partiellen Ableitungen kommen nicht vor) (keine höheren Ableitungen) Gesucht wird nach Lösung(en) auf einem Intervall, also eine differenzierbare Funktion mit den Eigenschaften: und Visualisierung der Fragestellung für n = 2: Zeit Raum Gegeben: Kraft als Funktion von Ort und Zeit: Kraft Raum Gesucht: Trajektorie "Anfangswertproblem": Finde Lösungen mit "Anfangsbedingungen" so, dass Beispiel 1 : Radioaktiver Zerfall Zerfallsrate Zahl der radioaktiven Atome (proportional zur Zahl der Atome!) Anfangswert: Aufgabe: finde Atome zum Zeitpunkt ! Zerfallskonstante [Dimension: 1/Zeit] . Grafische Analyse: Lösung: Schlau geraten: welche Funktion ist proportional zu ihrer Ableitung? Exponentialfunktion! Steigung negativ Steigung weniger negativ kleines Also Ansatz: größeres (3) in (1): Anfangswert: Gesuchte Lösung: Existenz und Eindeutigkeit von Lösungen einer DGL? Ist in der Physik immer gewährleistet, falls Problem physikalisch sinnvoll gestellt ist! Mathematisch gibt es für gewöhnliche DGL erster Ordnung mehrere denkbare Möglichkeiten (abhängend von der Form der Gleichung, d.h. der Form von - es gibt gar keine Lösung, ): die die angegebene Anfangsbedingung erfüllt - es gibt eine und genau eine Lösung, ("eine eindeutige") - es gibt mehrere Lösungen, erfüllen - oder: es gibt zwar eine Lösung, aber nur in einer hinreichend kleinen Umgebung des Anfangswertes ("lokale Existenz") - oder: es existiert eine Lösung für alle ("globale" Lösung) Theorie der Existenz v. Lösungen einer gegebenen DGL ist i.A. ein schwieriges mathematisches Problem! Satz (Picard & Lindelöf): Falls Lipshitz-stetig in und ist, existiert eindeutig eine lokale Lösung des stetig differenzierbar in Anfangswertproblems. "Stetig differenzierbar": Ableitung ist stetig, d.h., Funktion hat "keine Zacken": "Lipshitz-stetig": Steigung zwischen zwei beliebigen Punkte auf der Kurve ist begrenzt, d.h., Funktion hat "keine Sprünge": Steigung unendlich: Steigung endlich: Bemerkungen zur physikalischen Anwendung: (i) Satz (1) gewährleistet Determinismus a la Newton: Spezifikation von Anfangsort und - Geschwindigkeit [in Gl. (2.1), (2.2)] legt weitere Bewegung eindeutig fest! (ii) Allgemeiner: DGL sind für sinnvolle Beschreibung physikalischer Prozesse geeignet. 8.2 Lösungstrategien im Eindimensionalen Im Folgenden: stetig differenzierbar a) Trivialfall: rechte Seite unabhängig von x Integration: Lösung: b) "Autonome" DGL: rechte Seite hat keine explizite Abhängigkeit von t Umstellen: Sei die Stammfunktion von also: Substitution: Kettenregel Dann: Integration: Auflösen nach x(t): Umkehrfunktion v. H Kurzfassung dieser Rechnung: "Trennung (oder Separation) der Variablen" x nach links, t nach rechts: Integrieren: Fläche = letzter Schritt: Auflösen nach x(t)... Beispiel 2: mit Anfangsbedingung: Grafische Analyse: Steigung = 1 je größer , je größer die Steigung! je größer , je größer die Steigung! Beispiel 2 explizit gerechnet, mittels "Trennung der Variablen" (Gl. 10.1 - 4): Trennung der Variablen: Integration: Einsetzen der Anfangsbedingung: Umkehrfunktion: (4) aufgelöst nach x(t): Die Lösung gilt nur im dann c) "Separable DGL" (lösbar durch Trennung oder "Separation" der Variablen) [analog zu (8.4), aber mit extra g(t)] Umstellen: Stammfunktion: also Substitution: Kettenregel Differenzieren: Integrieren: (6) Einsetzen: Stammfunktion: letzter Schritt: auflösen nach x(t) Kurzfassung: Lösungschema für separable DGL: WICHTIG! Trennen: Integrieren: Ausgedrückt durch Stammfunktionen: gemeint ist: Umkehrfunktion: Beispiel 3: mit Trennen: Integrieren: Grafische Analyse Bereich: Steigung divergiert wie verschwindet wie Anfangsbedingung (2): Umkehrfunktion = gesuchte Lösung: Lösung existiert nur für: Steigung 8.3 Autonome DGL in zwei Dimensionen Betrachte DGL mit stetig differenzierbaren "Autonom": rechte Seite ist zeitunabhängig: Gesucht sind Lösungen Direkte Lösung ist oft schwierig. Trick: Überführung in 1-dimensionale DGL ! Interpretiere die gesuchte Lösung als eine durch parametrisierte Bahnkurve; entlang dieser ist eine von abhängige Variable: Kettenregel Wir erhalten eine 1-dimensionale DGL für Man merke sich (5) mit der Eselsbrücke: Beispiel 4: Newton 2: (m = Masse, p = Impuls) (= Kraftfeld) Bahnkurve: DGL (15.7) für Bahnkurve: Eselsbrücke (15.7)! Trennen der Variablen: Stammfunktion für : Integrieren: Fazit: Energie-Erhaltung! (Vorzeichen per Konvention) Beispiel 5: Feldlinien in 2 Dimensionen sei ein Vektorfeld. Zeichne die Feldlinien! Strategie: Finde Raumkurve mit Dann ist Vektorfeld ist tangential an Raumkurve (verschiedene Anfangsbedingungen liefern verschiedene Raumkurven) In 2d: Feldlinie: DGL für Feldlinie: Eselsbrücke (15.7)! Beispiel: DGL für Feldlinie: Trennen, Initegrieren: Umgestellt: Feldlinien bilden Kreise! Konstante unabhängig von x und y