Oscillating minimizing sequence with no minimizer

ID: oscillating-minimizing-sequence-with-no-minimizer

A minimizing sequence can converge uniformly while its derivatives keep oscillating between distinct energy wells. For the functional , with zero endpoint values and Lipschitz admissible functions, the triangular waves displayed above have slopes almost everywhere and height . Direct integration gives . Nonnegativity therefore makes the infimum zero. Attainment would require both and almost everywhere, an impossibility. The uniform limit is zero but its energy is ; thus the energy fails to be lower semicontinuous for this convergence. The example explains why control of function values alone cannot replace suitable convexity in the derivative variable in the direct method in the calculus of variations.

New to topics? Read the docs here!