In der Mathematik ist eine schwache Lösung einer gewöhnlichen oder partiellen Differentialgleichung, auch verallgemeinerte Lösung genannt, eine Funktion, für die zwar möglicherweise nicht alle Ableitungen existieren, die aber dennoch in einem präzisen Sinn als Lösung der Gleichung angesehen werden kann. Es gibt viele verschiedene Definitionen schwacher Lösungen, die jeweils für verschiedene Klassen von Gleichungen geeignet sind, eine der wichtigsten baut auf dem Begriff der Distribution auf.
Um die Sprache der Distributionen zu vermeiden, schreibt man eine Differentialgleichung derart um, dass keine Ableitungen der Lösungsfunktion mehr vorkommen. Diese neue Form der Gleichung nennt man die schwache Formulierung und ihre Lösungen heißen schwache Lösungen. Überraschenderweise kann eine Differentialgleichung auf diese Weise eine nicht-differenzierbare Lösung haben, mittels der schwachen Formulierung können diese gefunden werden.
Schwache Lösungen sind wichtig, weil Modellierungen von Problemen der realen Welt oft zu Differentialgleichungen ohne hinreichend glatte Lösungen führen, der einzige Lösungsansatz besteht dann in der schwachen Formulierung. Selbst in Situationen, in denen eine Gleichung differenzierbare Lösungen besitzt, ist es oft vorteilhaft zunächst die Existenz schwacher Lösungen zu beweisen und dann zu einem späteren Zeitpunkt zu zeigen, dass die Lösungen ausreichend glatt sind.
Ein konkretes Beispiel Bearbeiten
Zur Veranschaulichung betrachten wir folgende Wellengleichung erster Ordnung
(siehe Partielle Ableitung für die verwendete Bezeichnung), wobei eine Funktion von zwei reellen Variablen ist. Nimmt man nun an, dass in der euklidischen Ebene stetig differenzierbar ist, multipliziert die Gleichung (1) mit einer glatten Funktion mit kompaktem Träger und integriert, so erhält man
Mit dem Satz von Fubini, der es erlaubt, die Integrationsreihenfolge zu ändern, und mittels partieller Integration (bzgl. im ersten Term und bzgl. im zweiten Term) erhält man daraus
Hinweis: Beachte, dass, obwohl die Integration von nach geht, die Integration eigentlich nur über einem endlichen Rechteck verläuft, da einen kompakten Träger hat, und dass aus diesem Grunde die partielle Integration auch keine Randterme liefert.
Wir haben gezeigt, dass Gleichung (2) aus Gleichung (1) folgt, wenn stetig differenzierbar ist. Die Idee der schwachen Lösung besteht nun darin, dass es Funktionen gibt, die Gleichung (2) für jedes erfüllen, die aber nicht differenzierbar sind und daher nicht Gleichung (1) lösen können. Ein einfaches Beispiel einer solchen Funktion ist . (Dass tatsächlich Gleichung (2) erfüllt, zeigt man leicht durch partielle Integration, jeweils in den Gebieten unter- und oberhalb der Geraden ). Eine Lösung der Gleichung (2) heißt schwache Lösung der Gleichung (1).
Der allgemeine Fall Bearbeiten
Die allgemeine Idee besteht wie in obigem Beispiel darin, die zu lösende Differentialgleichung mit gesuchter Funktion mit sogenannten Testfunktionen zu multiplizieren und sämtliche auftretenden Ableitungen von mittels partieller Integration auf überzuwälzen. Die so erhaltene Gleichung kann dann auch nicht-differenzierbare Lösungen haben.
Der oben skizzierte Ansatz funktioniert auch für allgemeinere Gleichungen. Betrachte dazu den linearen Differentialoperator
auf einer offenen Teilmenge , wobei ein Multiindex ist, und die Koeffizientenfunktionen hinreichend glatt seien. Zudem bezeichnet die „-te partielle Ableitung von .“
Die Differentialgleichung kann nun nach Multiplikation mit einer glatten Testfunktion mit kompaktem Träger in und nach partieller Integration in eine Gleichung
überführt werden, wobei der Differentialoperator wie folgt definiert ist:
Der Faktor tritt hier auf, da für das Hinüberwälzen aller partiellen Ableitung von insgesamt partielle Integrationen benötigt werden, was jedes Mal eine Multiplikation mit −1 zur Folge hat. Der Differentialoperator heißt der formal adjungierte Operator zu .
Zusammenfassend besteht das ursprüngliche (starke) Problem darin, eine auf definierte -mal differenzierbare Funktion mit
zu finden, eine sogenannte starke Lösung. Stattdessen sucht man nun nach einer integrierbaren Funktion , die
für jede glatte Funktion mit kompaktem Träger in erfüllt, eine sogenannte schwache Lösung.
Distributionslösungen Bearbeiten
Eine wesentliche Erweiterung erfährt der schwache Lösungsbegriff durch die Beobachtung, dass die schwache Formulierung linear von den Funktionen abhängt, was letztlich an der Linearität des Integrals liegt. Ist eine integrierbare Funktion auf und ist der Vektorraum aller Testfunktionen, das heißt unendlich oft differenzierbarer Funktionen mit kompaktem Träger in , so hängt linear von ab, das heißt kann als ein lineares Funktional
auf dem Vektorraum aufgefasst werden.
Wir wollen den Raum der möglichen Lösungen auf alle linearen Funktionale auf ausdehnen. Dazu müssen wir solche Funktionale ableiten und mit Funktionen multiplizieren können, denn das haben wir ja auch mit getan. Die Idee besteht darin, die gewünschten Operationen wieder auf die Testfunktionen hinüberzuwälzen. Betrachten wir eine Ableitung , so ist
Daher definieren wir die partielle Ableitung eines durch die Formel
Das ist zunächst wohldefiniert, da wieder eine Testfunktion ist, das heißt die rechte Seite obiger Definition kann gebildet werden, und die vorangegangene Rechnung zeigt , so dass es sich wegen des der partiellen Integration geschuldeten Minuszeichens tatsächlich um eine Erweiterung des Ableitungsbegriffs für Funktionen handelt.
Ganz analog definieren wir, wie mit einer beliebig oft differenzierbaren Funktion zu multiplizieren ist. Hier ist die Situation viel einfacher, wir setzen
und bemerken zur Wohldefiniertheit, dass wieder eine Testfunktion ist.
Gehen wir mit diesen Definitionen in obige Formel für den formal adjungierten Operator , so erhalten wir
Daher liegt es nahe, nach linearen Funktionalen zu suchen, die
für alle erfüllen. Eine nähere Betrachtung zeigt, dass man sich auf solche Funktionale beschränken sollte, die einer gewissen Stetigkeitsbedingung genügen. Solche Funktionale nennt man dann Distributionen und eine Distribution, die obige Gleichung erfüllt, heißt Distributionslösung oder schwache Lösung der Differentialgleichung.
Es ist nun möglich, eine Lösungstheorie für schwache Lösungen aufzustellen. Diese wird dann von Sätzen flankiert, die Bedingungen dafür angeben, wann schwache Lösungen Distributionen sind, die von starken Lösungen herkommen. Das führt schließlich zu den ursprünglich gesuchten Lösungen der Differentialgleichung.
Andere Typen schwacher Lösungen Bearbeiten
Der auf Distributionen basierende Begriff der schwachen Lösung ist nicht immer zufriedenstellend. Im Falle hyperbolischer Systeme fehlen Eindeutigkeitsaussagen. Es ist daher nötig, die Problemstellung durch Entropiebedingungen oder andere Auswahlkriterien zu ergänzen. Bei nicht-linearen partiellen Differentialgleichungen wie der Hamilton-Jacobi-Differentialgleichung gibt es einen etwas anderen Begriff der schwachen Lösung, die sogenannte Viskositätslösung.
Literatur Bearbeiten
- L.C. Evans, Partial Differential Equations, American Mathematical Society, Providence, 1998. ISBN 0-8218-0772-2
Einzelnachweise Bearbeiten
- G. Folland: Introduction to Partial Differential Equations, Princeton University Press (1976), Kapitel 1 A: Basic Concepts
- Christof Eck, Harald Garcke, Peter Knabner: Mathematische Modellierung, Springer-Verlag (2011), ISBN 978-3-540-74967-7, Kapitel 6.3, Seite 396