Dirichlet's Principle (Harmonic Functions)

From ProofWiki
Jump to navigation Jump to search

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:

$\displaystyle 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


Also known as

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 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$.