Dirichlet's Principle for Harmonic Functions

Theorem

Let the function $\map u x$ be the particular solution to Poisson's equation:

$\Delta u + f = 0$

on a domain $\Omega$ of $\R^n$ with boundary condition:

$u = g$ on $\partial \Omega$

Then $u$ can be obtained as the minimizer of the Dirichlet's energy:

$\ds E \sqbrk {\map v x} = \int_\Omega \paren {\frac 1 2 \cmod {\nabla v}^2 - v f} \rd x$

amongst all twice differentiable functions $v$ such that $v = g$ on $\partial \Omega$ .

This result holds provided that there exists at least one function which makes the Dirichlet Integral finite.

Proof

This theorem requires a proof. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{ProofWanted}} from the code. If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page.

Also known as

Dirichlet's Principle for Harmonic Functions is also known just as Dirichlet's Principle.

However, there is more than one theorem named such, so its full name is recommended on $\mathsf{Pr} \infty \mathsf{fWiki}$.

Some sources give this as the Dirichlet Principle.

Source of Name

This entry was named for Johann Peter Gustav Lejeune Dirichlet.

Historical Note

Dirichlet's Principle for Harmonic Functions was based on work done by Carl Friedrich Gauss during the course of his investigations into electromagnetism.

Riemann used this principle to good effect, and it was he who named it for Dirichlet.

It was finally proved by David Hilbert in $1899$.