In mathematics, Dirichlet's principle in potential theory states that the harmonic function <math>u<math> on a domain <math>\Omega<math> with boundary condition

<math>u=g<math> on <math>\partial\Omega<math>

can be obtained as the minimizer of the Dirichlet integral

<math>\int_\Omega |\nabla v|^2<math>

amongst all 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 integral finite.

Since the Dirichlet 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.