For nonsmooth Euler-Lagrange extremals, Noether's conservation laws cease to be valid. We show that Emmy Noether's theorem of the calculus of variations is still valid in the wider class of Lipschitz functions, as long as one restrict the Euler-Lagrange extremals to those which satisfy the DuBois-Reymond necessary condition. In the smooth case all Euler-Lagrange extremals are DuBois-Reymond extremals, and the result gives a proper extension of the classical Noether's theorem. This is in contrast with the recent developments of Noether's symmetry theorems to the optimal control setting, which give rise to non-proper extensions when specified for the problems of the calculus of variations.

Paper accepted for the invited session on "Optimal Control" of the 2nd IFAC Workshop on Lagrangian and Hamiltonian Methods in Nonlinear Control, Sevilla, Spain, April 3-5, 2003. See http://www.mat.ua.pt/delfim for other works