The function has weak derivative and the required endpoint values, so it belongs to the admissible Sobolev space. Its fourth power is , and henceSince the integrand is nonnegative, zero is a global lower bound. Thus is a global minimizer. Its derivative does not belong to , since its power is proportional to ; positive regularization therefore needs different competitors.
Articles by others on the same topic
There are currently no matching articles.