Misplaced Pages

Dirichlet's principle: Difference between revisions

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Browse history interactively← Previous editNext edit →Content deleted Content addedVisualWikitext
Revision as of 22:09, 4 May 2016 editMark viking (talk | contribs)Extended confirmed users19,285 edits top: Added wl← Previous edit Revision as of 14:36, 15 July 2017 edit undoDeacon Vorbis (talk | contribs)Extended confirmed users, Rollbackers23,586 editsm Formal statement: LaTeX spacing clean up, replaced: \,</math> → </math> (2) using AWBNext edit →
Line 5: Line 5:
'''Dirichlet's principle''' states that, if the function <math> u ( x ) </math> is the solution to ] '''Dirichlet's principle''' states that, if the function <math> u ( x ) </math> is the solution to ]


:<math>\Delta u + f = 0\,</math> :<math>\Delta u + f = 0</math>


on a ] <math>\Omega</math> of <math>\mathbb{R}^n</math> with ] on a ] <math>\Omega</math> of <math>\mathbb{R}^n</math> with ]


:<math>u=g\text{ on }\partial\Omega,\,</math> :<math>u=g\text{ on }\partial\Omega,</math>


then ''u'' can be obtained as the minimizer of the ] then ''u'' can be obtained as the minimizer of the ]

Revision as of 14:36, 15 July 2017

Not to be confused with Pigeonhole principle.

In mathematics, and particularly in potential theory, Dirichlet's principle is the assumption that the minimizer of a certain energy functional is a solution to Poisson's equation.

Formal statement

Dirichlet's principle states that, if the function u ( x ) {\displaystyle u(x)} is the solution to Poisson's equation

Δ u + f = 0 {\displaystyle \Delta u+f=0}

on a domain Ω {\displaystyle \Omega } of R n {\displaystyle \mathbb {R} ^{n}} with boundary condition

u = g  on  Ω , {\displaystyle u=g{\text{ on }}\partial \Omega ,}

then u can be obtained as the minimizer of the Dirichlet's energy

E [ v ( x ) ] = Ω ( 1 2 | v | 2 v f ) d x {\displaystyle E=\int _{\Omega }\left({\frac {1}{2}}|\nabla v|^{2}-vf\right)\,\mathrm {d} x}

amongst all twice differentiable functions v {\displaystyle v} such that v = g {\displaystyle v=g} on Ω {\displaystyle \partial \Omega } (provided that there exists at least one function making the Dirichlet's integral finite). This concept is named after the German mathematician Peter Gustav Lejeune Dirichlet.

History

Since the Dirichlet's integral is bounded from below, the existence of an infimum is guaranteed. That this infimum is attained was taken for granted by Riemann (who coined the term Dirichlet's principle) and others until Weierstrass gave an example of a functional that does not attain its minimum. Hilbert later justified Riemann's use of Dirichlet's principle.

See also

References

Categories: