Let be the space of continuously differentiable functions such that . On this space consider the functional
where and are given constants.
(a) Show that achieves a minimum at iff
for all
(b)Show that if is twice continuously differentiable and satisfies this optimality condition then satisfies the differential equation
(c)Conversely show that if is twice continuously differentiable, and satisfies the differential equation above, then satisfies the optimality condition of part (a)
.
Let , and let . The set is called the set of admissible functions (from which the function which will minimize the functional will be found), and is called the set of admissible directions. We require also that where is some small scalar.
Since this is an IFF, then we need to show the forward and the backward case. Start with the forwards case:
Given: show that
Consider
Where since and the other functions are squared. Hence this implies from the above that if then is a minimizer of . In other words
(This is because any change from along any of the admissible directions will result in a functional which is larger than it was at ).
Now to show the backward case:
Assume for some we have
Where .Hence we have
Now, no matter how large is, we can make small enough so that is smaller than the absolute value of . But since , then will be a negative quantity. Hence, since negative quantity is also negative quantity, then we conclude that
Hence is not a minimizer of . So no matter which we hope it is our minimum, we can find an admissible direction such that if move very slightly away from this in this admissible direction, we find that is smaller (this will always be the case if )
Given , and for all admissible directions . Show that satisfies the differential equation
Since , in other words. Then now we do integration by parts.
Since Now substitute the above back into and take as common factor, we obtain
Now we apply the fundamental theory of variational calculus (which Lemma 3.13 is special case) and argue that since is arbitrary admissible direction, then for the above to be zero for every , we must have
or
Given and show that
Let Now
But since at both ends. Hence the above becomes
But since satisfies the differential equation. Hence the above becomes
Which is the optimality condition (weak form) of part (a) we are asked to show.