# Dirichlet variational problem

The problem of finding the minimum of the Dirichlet integral under specified boundary conditions , where the function is defined on the boundary of the -dimensional region . The solution of this problem is also the solution of the first boundary value problem for the Laplace equation: Dirichlet's variational problem is the first problem concerning minimization of a functional to which the solution of a boundary value problem for a partial differential equation has been reduced.

It is natural to consider Dirichlet's variational problem in the class of functions with generalized first square-summable derivatives. If the region is bounded, this set of functions coincides with the Sobolev space , and is therefore complete in the appropriate metric. Moreover, each function in this space has boundary values on in the sense of almost-everywhere convergence which, if the boundary is sufficiently smooth, coincides with the boundary values in the sense of convergence in the mean or in the sense of the limit of the boundary values of functions continuous in the closed region which approximate the given function in the metric of the space . If is a bounded region and if there exists at least one function for which and (such functions are known as permissible), the solution of Dirichlet's variational problem exists and is unique. This solution is a harmonic function in (cf. Dirichlet principle). If the boundary of is smooth, then, for the class of permissible functions to be non-empty it is necessary and sufficient that . The solution of Dirichlet's variational problem can be found by a direct variational method. These results are generalized to both the case of quadratic elliptic functionals containing higher-order derivatives and the case of unbounded regions.

How to Cite This Entry:
Dirichlet variational problem. L.D. Kudryavtsev (originator), Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Dirichlet_variational_problem&oldid=15937
This text originally appeared in Encyclopedia of Mathematics - ISBN 1402006098