Gleichungen, die eine Funktion mehrerer Veränderlicher mit ihren partiellen Ableitungen in Verbindung setzen, heißen partielle Differentialgleichungen (kurz: PDE für “partial differential equation”). Lösung einer PDE ist also eine Funktion.
Zusammenhänge und Gesetzmäßigkeiten großer Teile der Physik und anderer Naturwissenschaften, aber der Wirtschaftswissenschaften können durch partielle PDEs ausgedrückt werden. Sie sind somit eines der wichtigsten Modellierungswerkzeuge.
Ist nur eine Funktion einer Veränderlichen gesucht, so spricht man von gewöhnlichen Differentialgleichungen (kurz: ODE für “ordinary differential equation”). Diese sind ebenfalls ein weit verbreitetes Werkzeug zur Modellierung von naturwissenschaftlichen, technischen und ökonomischen Zusammenhängen, sind aber deutlich einfacher zu handhaben und deswegen hier nicht explizit Thema. ODEs lassen sich meist mit relativ einfachen Standardverfahren lösen, welche fertig implementiert in Software-Bibliotheken verfügbar sind.
Wir beschränken uns hier auf wichtige, oft auftretende PDE-Typen. Insbesondere werden wir nur lineare PDEs betrachten, also solche, in denen die gesuchte Funktion und deren partielle Ableitungen nur in Linearkombinationen miteinander verknüpft werden.
Das Lösen von PDEs erfolgt heute ausschließlich numerisch. Analytisches Lösen ist nur in wenigen Spezialfällen möglich. Schon die Frage, ob überhaupt eine Lösung existiert und diese eindeutig ist, ist oft nur mit erheblichem mathematischem Aufwand zu beantworten.
Zusätzlich können noch Anfangs- oder Randbedingungen gegeben sein. Anfangsbedingungen geben die gesuchte Funktion zu einem Zeitpunkt vor, sofern eine der Variablen der Zeit entspricht. Randbedinungen geben die gesuchte Funktion auf dem Rand ∂B von B vor. Kombinationen (Anfangsrandbedinung) und weitere Arten von Randbedingungen (z.B. Vorgabe der Richtungsableitungen senkrecht zur Randlinie) sind in vielfältiger Weise möglich und üblich.
Modellieren die Ausbreitung eines Ölteppichs auf einer Wasseroberfläche unter Strömungseinfluss.
Sei v(x1,x2,t)∈R2 der Strömungsvektor (Richtung und Geschwindigkeit) einer Wasserobfläche (R2) am Punkt (x1,x2) zur Zeit t.
Die Öldichte (Masse pro Fläche) sei durch ϱ(x1,x2,t) beschrieben.
Ist
gegeben, so interessiert uns die Veränderung der Öldichte im Laufe der Zeit.
Offensichtliche Lösungen:
Falls v≡0 (keine Strömung), so muss zu jeder Zeit ϱ≡ϱ0 gelten.
Ist v unabhängig von Ort und Zeit immer gleich (gleichmäßige Strömung in eine feste Richtung), so entsteht ϱ zur Zeit t durch Verschieben von ϱ0. Dabei ist die Länge der Verschiebungsstrecke proportional zu t.
für (x1,x2)∈R2 und t∈[0,∞) erfüllen. Diese erhält man durch Vergleich der Ölmasse in einem beliebig Gebiet mit dem Ölzufluss und -abfluss über den Rand des Gebiets und Grenzübergang zu beliebig kleinen Gebieten (IDVID 610).
Poisson-Gleichungen sind elliptische PDE. Sie tauchen in zahlreichen physikalischen Zusammenhängen auf (Elektrostatik, Wärmeleitung, Strömungsmechanik,...).
Die gegebene Funktion f modelliert dabei das Vorhandensein von Quellen und Senken, in der Elektrostatik also z.B. die Ladungsverteilung im Gebiet. ∇y ist dann der daraus resultierende Stromfluss und Δy=div∇y liefert die Quellen und Senken in diesem Fluss.
Die Potentialgleichung Δy=0 modelliert ein Erhaltungsgesetz, welches für viele physikalische Prozesse gilt: “Was rein fließt, muss auch wieder raus fließen”.
Für die Potentialgleichung auf B=R2∖{0} ohne Randbedingungen ist bekannt, dass stets radialsymmetrische Lösungen existieren, also Lösungen, die nicht direkt von x, sondern nur von r:=x12+⋯+xn2 abhängen. Setzen wir u(r):=y(x) so hat u die Form
Alle Vielfachen davon sind ebenfalls Lösungen (IDVID 620).
Auch zu einem anderen “Mittelpunkt” verschobene Varianten dieser Funktionen sind wieder Lösungen und Summen von Lösungen sind wieder Lösungen.
Bei gegebenen Randbedingungen sehen die Lösungen zwangsläufig anders aus.
Bei Dirichlet-Randbedingungen ist die Lösung eindeutig, falls sie existiert. Bei Neumann-Randbedingungen unterscheiden sich alle Lösungen nur um eine additive Konstante.
Wollen die Wärmeverteilung im Laufe der Zeit in einem Körper B⊆Rn bei gegebenen Anfangs- und Randbedingungen modellieren.
Analog zur Massenbilanz beim Ölteppichbeispiel führt hier eine Energiebilanz zur PDE
u(x,t) die Temperatur des Körpers am Punkt x zur Teit t,
ϱ die Dichte des Materials (überall gleich),
c die spezifische Wärmekapazität des Materials (überall gleich),
λ die spezifische Wärmeleitfähigkeit des Materials (überall gleich).
Um die Temperatur zu einer Zeit t berechnen zu können, muss einerseits die Temperaturverteilung zu einem früheren Zeitpunkt bekannt sein (Anfangsbedingung); andererseits muss der Wärmezufluss oder -abfluss über den Rand des Gebietes im Laufe der Zeit bekannt sein.
Betrachten ein einfaches 1D-Beispiel um eine Idee vom Verhalten der Lösungen der Wärmeleitungsgleichung zu bekommen.
(IDVID 650). Dabei ist ϱ>0 die Dichte der Saite (Masse pro Länge) und σ>0 ist Zugspannung in der Saite im Zustand minimaler Spannung.
Bei gegebener Anfangsauslenkung, gegebener Anfangsgeschwindigkeit und geeigneten Randbedinungen beschreibt diese PDE den zeitlichen Verlauf der Auslenkung.
Allgemeiner gilt:
Lösungen der Wellengleichungen beschreiben die Auslenkung u(x,t) eines Mediums (Saite, Membran, Luft,...) an einer Stelle x∈Rn zur Zeit t>0. Die Konstante c ist die Ausbreitungsgeschwindigkeit der Wellen (Lichtgeschwindigkeit bei elektromagnetischen Wellen, Schallgeschwindigkeit bei Schallwellen,...).
Die Struktur der Lösungen hängt stark von der Raumdimension ab.
Je nach Gleichungstyp (elliptisch, parabolisch, hyperbolisch) und Randbedingungen kommen verschiedene analytische Lösungsansätze in Frage. Diese sind allerdings fast immer extrem aufwendig und erfordern tiefere mathematische Kenntnisse (Umgang mit Funktionenreihen,...). Teilweise lassen sich PDEs auf gewöhnliche Differentialgleichungen oder System gewöhnlicher Differentialgleichungen zurückführen, welche dann ebenfalls mit recht hohem Aufwand zu lösen sind.
Für den pratkischen Einsatz erfolgt das Lösen von PDE 2. Ordnung ausschließlich numerisch.