Namespaces
Variants
Actions

Difference between revisions of "Dirichlet variational problem"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
Line 1: Line 1:
 +
<!--
 +
d0329501.png
 +
$#A+1 = 21 n = 0
 +
$#C+1 = 21 : ~/encyclopedia/old_files/data/D032/D.0302950 Dirichlet variational problem
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
The problem of finding the minimum of the [[Dirichlet integral|Dirichlet integral]]
 
The problem of finding the minimum of the [[Dirichlet integral|Dirichlet integral]]
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032950/d0329501.png" /></td> </tr></table>
+
$$
 +
D ( u)  = \int\limits _ { G }  \sum _ { i= } 1 ^ { n }  \left (
 +
\frac{\partial  u }{\partial  x _ {i} }
 +
\right )  ^ {2}  dG ,\  u = u ( x _ {1} \dots x _ {n} ) ,
 +
$$
  
under specified boundary conditions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032950/d0329502.png" />, where the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032950/d0329503.png" /> is defined on the boundary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032950/d0329504.png" /> of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032950/d0329505.png" />-dimensional region <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032950/d0329506.png" />. The solution of this problem is also the solution of the first boundary value problem for the Laplace equation:
+
under specified boundary conditions $  u \mid  _ {\partial  G }  = \phi $,  
 +
where the function $  \phi $
 +
is defined on the boundary $  \partial  G $
 +
of the $  n $-
 +
dimensional region $  G $.  
 +
The solution of this problem is also the solution of the first boundary value problem for the Laplace equation:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032950/d0329507.png" /></td> </tr></table>
+
$$
 +
\Delta u  = 0 ,\  \left . u \right | _ {\partial  G }  = \phi .
 +
$$
  
 
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.
 
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|Sobolev space]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032950/d0329508.png" />, and is therefore complete in the appropriate metric. Moreover, each function in this space has boundary values on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032950/d0329509.png" /> 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032950/d03295010.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032950/d03295011.png" /> is a bounded region and if there exists at least one function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032950/d03295012.png" /> for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032950/d03295013.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032950/d03295014.png" /> (such functions are known as permissible), the solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032950/d03295015.png" /> of Dirichlet's variational problem exists and is unique. This solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032950/d03295016.png" /> is a harmonic function in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032950/d03295017.png" /> (cf. [[Dirichlet principle|Dirichlet principle]]). If the boundary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032950/d03295018.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032950/d03295019.png" /> is smooth, then, for the class of permissible functions to be non-empty it is necessary and sufficient that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032950/d03295020.png" />. The solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032950/d03295021.png" /> 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.
+
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|Sobolev space]] $  W _ {2}  ^ {1} ( G) $,  
 +
and is therefore complete in the appropriate metric. Moreover, each function in this space has boundary values on $  \partial  G $
 +
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 $  W _ {2}  ^ {1} ( G) $.  
 +
If $  G $
 +
is a bounded region and if there exists at least one function $  u $
 +
for which $  D ( u) < \infty $
 +
and $  u \mid  _ {\partial  G }  = \phi $(
 +
such functions are known as permissible), the solution $  u _ {0} $
 +
of Dirichlet's variational problem exists and is unique. This solution $  u _ {0} $
 +
is a harmonic function in $  G $(
 +
cf. [[Dirichlet principle|Dirichlet principle]]). If the boundary $  \partial  G $
 +
of $  G $
 +
is smooth, then, for the class of permissible functions to be non-empty it is necessary and sufficient that $  \phi \in B _ {2} ^ {1/2 } ( \partial  G) $.  
 +
The solution $  u _ {0} $
 +
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.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  R. Courant,  D. Hilbert,  "Methods of mathematical physics. Partial differential equations" , '''2''' , Interscience  (1965)  (Translated from German)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  S.L. Sobolev,  "Applications of functional analysis in mathematical physics" , Amer. Math. Soc.  (1963)  (Translated from Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  S.M. Nikol'skii,  "On Dirichlet's problem for the circle and half-space"  ''Mat. Sb.'' , '''35''' :  2  (1954)  pp. 247–266  (In Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  L.D. Kudryavtsev,  ''Trudy Mat. Inst. Steklov.'' , '''55'''  (1959)  pp. 1–181</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  R. Courant,  D. Hilbert,  "Methods of mathematical physics. Partial differential equations" , '''2''' , Interscience  (1965)  (Translated from German)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  S.L. Sobolev,  "Applications of functional analysis in mathematical physics" , Amer. Math. Soc.  (1963)  (Translated from Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  S.M. Nikol'skii,  "On Dirichlet's problem for the circle and half-space"  ''Mat. Sb.'' , '''35''' :  2  (1954)  pp. 247–266  (In Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  L.D. Kudryavtsev,  ''Trudy Mat. Inst. Steklov.'' , '''55'''  (1959)  pp. 1–181</TD></TR></table>

Revision as of 19:35, 5 June 2020


The problem of finding the minimum of the Dirichlet integral

$$ D ( u) = \int\limits _ { G } \sum _ { i= } 1 ^ { n } \left ( \frac{\partial u }{\partial x _ {i} } \right ) ^ {2} dG ,\ u = u ( x _ {1} \dots x _ {n} ) , $$

under specified boundary conditions $ u \mid _ {\partial G } = \phi $, where the function $ \phi $ is defined on the boundary $ \partial G $ of the $ n $- dimensional region $ G $. The solution of this problem is also the solution of the first boundary value problem for the Laplace equation:

$$ \Delta u = 0 ,\ \left . u \right | _ {\partial G } = \phi . $$

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 $ W _ {2} ^ {1} ( G) $, and is therefore complete in the appropriate metric. Moreover, each function in this space has boundary values on $ \partial G $ 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 $ W _ {2} ^ {1} ( G) $. If $ G $ is a bounded region and if there exists at least one function $ u $ for which $ D ( u) < \infty $ and $ u \mid _ {\partial G } = \phi $( such functions are known as permissible), the solution $ u _ {0} $ of Dirichlet's variational problem exists and is unique. This solution $ u _ {0} $ is a harmonic function in $ G $( cf. Dirichlet principle). If the boundary $ \partial G $ of $ G $ is smooth, then, for the class of permissible functions to be non-empty it is necessary and sufficient that $ \phi \in B _ {2} ^ {1/2 } ( \partial G) $. The solution $ u _ {0} $ 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.

References

[1] R. Courant, D. Hilbert, "Methods of mathematical physics. Partial differential equations" , 2 , Interscience (1965) (Translated from German)
[2] S.L. Sobolev, "Applications of functional analysis in mathematical physics" , Amer. Math. Soc. (1963) (Translated from Russian)
[3] S.M. Nikol'skii, "On Dirichlet's problem for the circle and half-space" Mat. Sb. , 35 : 2 (1954) pp. 247–266 (In Russian)
[4] L.D. Kudryavtsev, Trudy Mat. Inst. Steklov. , 55 (1959) pp. 1–181
How to Cite This Entry:
Dirichlet variational problem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Dirichlet_variational_problem&oldid=46725
This article was adapted from an original article by L.D. Kudryavtsev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article