Nonattainment under an initial derivative constraint

ID: nonattainment-under-an-initial-derivative-constraint

A pointwise constraint on the initial derivative need not be closed in the norm controlling the value and first-derivative square integrals. For example, minimize with , and . The attained minimum is , uniquely achieved by , with natural condition . Adding excludes this minimizer but leaves the same infimum. Multiplying by and rescaling to restore the integral gives smooth admissible approximations converging in energy. The formal quadratic from the interior Euler-Lagrange equation and two initial conditions alone is therefore not a true minimizer.

New to topics? Read the docs here!