Let be a bounded open set with smooth boundary . Let be a smooth family of symmetric real matrices that are uniformly positive definite. Let and be smooth functions on . Define the functional
where is the scalar product on . Suppose that is a minimizer of this functional subject to the Dirichlet condition on , with continuous.
a) Show that satisfies the variational equation
for any .
b) What is the PDE satisfied by ?
c) Suppose . Show that is an admissible test function, and use this to conclude that . (Hint: You may use the fact a.e.)
d) Show that there can be only one minimizer of or, equivalently, only one solution of the corresponding PDE.
|
For , define . Then since minimizes the functional, . We can calculate (by exploiting the symmetry of ):
And so which proves the result.
We have
The boundary terms vanish since and we've obtained a weak form of the PDE. Thus, is a solution to the following PDE:
First we need to show that . Firstly, on , since we've assumed . Secondly, , hence , must be Lipschitz continuous since and is a bounded domain in (i.e. ) and so must achieve a (finite) maximum in , hence the derivative is bounded, hence is Lipschitz. Therefore, .
This gives
.
But notice that since is uniformly positive definite, then
Therefore, we have
a contradiction, unless , i.e. a.e.
Suppose are two distinct such solution. Let . Then is Lipschitz (since must both be) and on . Therefore, the variational equation gives
. Since is positive definite, this gives
, a contradiction unless a.e.