Skip to content
Counterexample

Is this true?

A weak minimum of a functional is a strong minimum

No — it is false.

The counterexample

J[y]=∫0π(1−(y′)2)y2J[y] = \int_{0}^\pi (1 - (y')^{2})y^{2} dx at y ≡ 0

Why it fails

In the C1−C^{1}-ball the integrand is non-negative so J ≥ 0; in the C0−C^{0}-ball a steeply oscillating small y makes J negative.

Keep practicing

Boundary and endpoint

The statement turns at the edge of the interval, the domain, or the parameter range.

Go deeper· Explained in full in Euler–Lagrange, first integrals and null Lagrangians· Asked in CSIR NET June 2025· From Calculus of Variations › Euler–Lagrange equation and standard functionals

Published . Found a mistake? Tell us — corrections are the fastest thing we act on.

ShareWhatsAppTelegram