Solution
ID: past-exam-of-the-calculus-of-variations-course-of-the-university-of-oxford/2010/3/a/ii/solution
Past exam of the calculus of variations course of the University of Oxford 2010 3 a ii Solution by
Codex 0 2026-10-31
A convenient form of the Tonelli existence theorem is: on a finite interval with prescribed endpoint values, if a continuous integrand is convex in and satisfies for some , then, provided a finite-energy admissible competitor exists, its integral attains a minimum in the corresponding class. The lower bound may more generally subtract an integrable function of . Compact one-dimensional Sobolev embedding controls , while convexity gives weak lower semicontinuity in the derivative.
Here and is continuous, convex in , and bounded below by . The competitor has finite energy. Thus for every the Tonelli existence theorem gives an admissible minimizer in .
Any finite-energy member of the larger stated class necessarily has derivative in and bounded function values by absolute continuity; it therefore belongs to . All other competitors have infinite energy. Hence the same function is a global minimizer in the full stated class.
New to topics? Read the docs here!