Dirichlet-Prinzip – Wikipedia
Das Dirichlet-Prinzip in der Potentialtheorie besagt, dass Funktionen in einem Gebiet (mit vorgegebenen stetigen Werten auf dem Rand von ) existieren, die das „Energiefunktional“ (Dirichlet-Integral)
minimieren, und die Laplace-Gleichung[1]
in erfüllen, also harmonische Funktionen sind.[2][3][4] Dabei wird vorausgesetzt, dass die Funktionen in und auf dem Rand von stetig sind und in stetig differenzierbar sind (, siehe für und Differentiationsklasse). Manchmal wird auch noch eine Eindeutigkeitsaussage für die Funktion (und das Minimum des Dirichletintegrals) hinzugefügt.[5]
Geschichte
[Bearbeiten | Quelltext bearbeiten]Es wurde von Georg Friedrich Bernhard Riemann zur Begründung seiner Theorie riemannscher Flächen verwendet (insbesondere für den Beweis der Existenz analytischer Funktionen auf diesen Flächen), der es nach seinem Lehrer Peter Gustav Lejeune Dirichlet benannte. Es taucht zwar nicht explizit in den Schriften von Dirichlet auf, wurde von ihm aber in seinen Vorlesungen verwendet, aus denen Riemann es kannte. Bei analytischen Funktionen erfüllen der Real- und Imaginärteil separat die Laplacegleichung. Durch die Kritik von Karl Weierstraß, der ein Beispiel eines ähnlichen Variationsproblems gab, bei dem keine Funktion existierte, die das Minimum annahm, war das Dirichlet-Prinzip im 19. Jahrhundert in Misskredit geraten. Erst insbesondere durch die Arbeiten von David Hilbert (1904), der sogenannte „direkte Methoden“ der Variationsrechnung verwendete, wurde es rehabilitiert und dann häufig z. B. von Richard Courant in der Theorie der konformen Abbildungen und in der Theorie der Minimalflächen verwendet.
Das Dirichlet-Prinzip liefert eine Methode für die Lösung des für die mathematische Physik fundamentalen „Dirichlet-Problems“, nämlich die Laplace-Gleichung in einem vorgegebenen Gebiet zu vorgegebenen Werten der Funktion auf dem Rand (Dirichlet-Randbedingung) zu lösen. Dieses Problem wird nämlich nun dadurch charakterisiert, einen Minimierer für ein geeignetes Funktional aufzufinden. Letztere Fragestellung gehört zum mathematischen Gebiet der Variationsrechnung.
Die Auffassung des Dirichlet-Integrals als potentielle Energie und dass die Funktionen, die das Dirichlet-Integral minimieren, den Gleichgewichtslagen eines Systems entsprechen, war Dirichlet bewusst.[6] Da das Dirichlet-Integral größer oder gleich Null ist, wurde die Existenz einer Minimallösung als evident betrachtet. Dirichlet hatte bei seinem Prinzip auch Vorläufer bei William Thomson und Carl Friedrich Gauß.[7]
Beweisskizze
[Bearbeiten | Quelltext bearbeiten]Sei eine beliebige stetig differenzierbare Funktion mit auf dem Rand von . Dann gilt für alle
Insbesondere existiert der Limes
Da das Funktional in ein Minimum annimmt, ist für und für . Also muss der Grenzwert 0 sein, d. h.
Die erste greensche Formel liefert
wobei auf dem Rand benutzt wurde.
Da bis auf die oben angegebenen Einschränkungen beliebig war, folgt aus dem Fundamentallemma der Variationsrechnung, dass die Laplace-Gleichung in erfüllen muss.
Vorsicht: Vorausgesetzt wurden hierbei, dass man a priori wusste, dass zweimal stetig differenzierbar ist und dass auf dem Gebiet der gaußsche Integralsatz gilt. Letzteres ist keine große Restriktion, hingegen ist die erste implizite Voraussetzung delikaterer Natur.
Literatur
[Bearbeiten | Quelltext bearbeiten]- Lars Gårding: The Dirichlet problem. In: Mathematical Intelligencer. 2, Nr. 1, 1979, ISSN 0343-6993, S. 42–52.
- Stefan Hildebrandt: Bemerkungen zum Dirichletschen Prinzip. In: Hermann Weyl: Die Idee der Riemannschen Fläche. Teubner, Leipzig u. a. 1913, S. 197 (Mathematische Vorlesungen an der Universität Göttingen 5, ZDB-ID 978485-8), (Nachdruck erweitert um einen Anhang. Herausgegeben von Reinhold Remmert. Teubner, Stuttgart u. a. 1997, ISBN 3-8154-2096-2 (Teubner-Archiv zur Mathematik. Supplement 5)).
- A. F. Monna: Dirichlet´s Principle. A mathematical comedy of errors and its influence on the development of analysis. Oosthoek, Scheltema & Holkema, Utrecht 1975, ISBN 90-313-0175-2.
- Richard Courant: Dirichlet's Principle, Conformal Mapping and Minimal Surfaces, Interscience 1950
Einzelnachweise und Anmerkungen
[Bearbeiten | Quelltext bearbeiten]- ↑ Das beinhaltet auch die Aussage, dass in zweimal stetig differenzierbar ist
- ↑ Courant, Dirichlet's principle, Conformal Mapping and Minimal Surfaces, 1950, S. 6
- ↑ Dirichlet's Principle, Mathworld
- ↑ Hildebrandt, Bemerkungen zum Dirichletschen Prinzip, in: Weyl, Die Idee der Riemannschen Fläche, Springer 1997, S. 197
- ↑ Hildebrandt, loc. cit., S. 197
- ↑ Hildebrandt, loc. cit., S. 199
- ↑ Courant, Dirichlet's principle, conformal mappings and minimal surfaces, 1905, S. 2