Bounded slope integrands force strong minima to be global

ID: bounded-slope-integrands-force-strong-minima-to-be-global

Suppose the Weierstrass necessary condition applies to a strong local minimum of this fixed-endpoint integral. It requires the tangent to at to lie below the entire graph for almost every . A line of nonzero slope is unbounded above in one direction, while is bounded; hence this supporting line has slope zero. Its contact value is then a global minimum of . The resulting function minimizes the integral globally, since its integrand is almost everywhere equal to the global lower bound. Thus for a bounded differentiable slope-only integrand a strong local minimum can exist only at global energy level. Weak local minima can behave differently because their competitors have nearby derivatives.

New to topics? Read the docs here!