With fixed endpoint values on a finite interval, the displayed derivative coercivity makes a finite-energy strong local minimizer of a variational integral also a local minimizer in . Otherwise choose better competitors converging in . The upper energy bound controls their derivatives in , and a common endpoint controls their function norms. Compact Sobolev embedding gives a uniformly convergent subsequence; its limit is the limit. This contradicts strong local minimality. Convexity of the integrand is unnecessary for this neighborhood-transfer argument.
Articles by others on the same topic
There are currently no matching articles.