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 12:57, 18 September 2008 editYecril (talk | contribs)Extended confirmed users965 edits dubious← Previous edit Revision as of 22:43, 23 September 2008 edit undoThumperward (talk | contribs)Administrators122,782 edits per MoSNext edit →
Line 1: Line 1:
{{distinguish|Pigeonhole principle}} {{distinguish|Pigeonhole principle}}
In ], '''Dirichlet&rsquo;s principle''' in ] states that, if the function <math>u(x)</math> is the solution to Poisson&rsquo;s equation In ], '''Dirichlet's principle''' in ] states that, if the function <math>u(x)</math> is the solution to Poisson's equation


:<math>\Delta u + f = 0</math> :<math>\Delta u + f = 0</math>
Line 8: Line 8:
:<math>u=g</math> on <math>\partial\Omega</math>, :<math>u=g</math> on <math>\partial\Omega</math>,


then <math>u</math> can be obtained as the minimizer of the ] then <math>u</math> can be obtained as the minimizer of the ]


:<math>E = \int_\Omega \left(\frac{1}{2}|\nabla v|^2 - vf\right)\mathrm{d}x</math> :<math>E = \int_\Omega \left(\frac{1}{2}|\nabla v|^2 - vf\right)\mathrm{d}x</math>


amongst all twice differentiable functions <math>v</math> such that <math>v=g</math> on <math>\partial\Omega</math>, provided only that there exists one such function making the Dirichlet&rsquo;s integral finite. This concept is named after the German mathematician ]. amongst all twice differentiable functions <math>v</math> such that <math>v=g</math> on <math>\partial\Omega</math>, provided only that there exists one such function making the Dirichlet's integral finite. This concept is named after the German mathematician ].


Since the Dirichlet&rsquo;s integral is nonnegative{{dubious}}, the existence of an ] is guaranteed. That this infimum is attained was taken for granted by ] (who coined the term ''Dirichlet&rsquo;s principle'') and others until ] gave an example of a functional that does not Since the Dirichlet's integral is nonnegative{{dubious}}, the existence of an ] is guaranteed. That this infimum is attained was taken for granted by ] (who coined the term ''Dirichlet's principle'') and others until ] gave an example of a functional that does not
attain its minimum. ] later justified Riemann&rsquo;s use of Dirichlet&rsquo;s principle. attain its minimum. ] later justified Riemann's use of Dirichlet's principle.


==See also== ==See also==
* ] * ]
* ] * ]


==References== ==References==

Revision as of 22:43, 23 September 2008

Not to be confused with Pigeonhole principle.

In mathematics, Dirichlet's principle in potential theory 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 {\displaystyle u=g} on ∂ Ω {\displaystyle \partial \Omega } ,

then u {\displaystyle 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 only that there exists one such function making the Dirichlet's integral finite. This concept is named after the German mathematician Lejeune Dirichlet.

Since the Dirichlet's integral is nonnegative, 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 Weierstraß 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: