## Weak Conservation Laws for Minimizers which are not Pontryagin Extremals$\text{}*\text{}$$\text{}*\text{}$Research report CM05/I-11. Accepted for presentation (Paper No: 113) at the 2nd International Conference “Physics and Control” (PhysCon 2005), August 24-26, 2005, Saint Petersburg, Russia. To appear in the respective Conference Proceedings.

### Department of Mathematics University of Aveiro 3810-193 Aveiro, Portugal

Abstract
We prove a Noether-type symmetry theorem for invariant optimal control problems with unrestricted controls. The result establishes weak conservation laws along all the minimizers of the problems, including those minimizers which do not satisfy the Pontryagin Maximum Principle. Mathematics Subject Classification 2000: 49K15, 70H33, 37J15.
Keywords. Noether's symmetry theorem, invariant optimal control problems, gap between optimality and existence, weak conservation laws.

1 Introduction

Emmy Noether's first theorem  is one of the most beautiful and fundamental results of the calculus of variations. The result comprises a universal principle, connecting the existence of a family of transformations under which the functional to be minimized is invariant (the existence of variational symmetries) with the existence of conservation laws (first integrals of the Euler-Lagrange differential equations). Conservation laws can then be used to simplify the problem of finding the minimizers. They have played an important role, both in mathematics and physics, since the birth of the calculus of variations in the eighteen century, having been extensively used by giants like the Bernoulli brothers, Newton, Leibniz, Euler, Lagrange, and Legendre. Conservation laws, obtained from Noether's theorem, have a profound effect on a vast number of disciplines, ranging from classical mechanics, where they find important interpretations such as conservation of energy, conservation of momentum, or conservation of angular momentum, to engineering, economics, control theory and their applications .
The first extension of Noether's theorem to the more general context of optimal control was published in 1973 . Since then, many Noether-like theorems have been obtained in the context of optimal control – see  and references therein. We recall that all such versions of Noether's theorem assume the Pontryagin maximum principle  to be satisfied, and use its conditions, including the adjoint system, in their proofs.
Optimal control with unbounded controls is an area of strong current activity, because of numerous applications involving modern technology such as “smart materials” . When there are no restrictions on the values of the control variables, as in the calculus of variations, it is well known that optimal control problems may present solutions for which the Pontryagin Maximum Principle fails to be satisfied (see e.g. [19, §11.1]). This is due to the fact that the hypotheses of the existence theory need to be complemented with additional regularity conditions in order to proceed with the arguments which lead to the maximum principle : unboundedness of the controls “propagates” through the dynamical control system, often causing a lack of regularity for the solutions.
In spite of the gap between the hypotheses of necessary optimality conditions and existence theorems, J. Ball proved  that, for time-invariant problems, the conservation of the Hamiltonian (conservation of energy) is still valid for minimizers which might not satisfy the Euler-Lagrange necessary condition.
More recently, in 2002, G. Francfort and J. Sivaloganathan proposed a generalization of Ball's result, giving some applications to hyper-elasticity .
In this note we extend the previous results  from the calculus of variations framework to the optimal control setting. We obtain weak conservation laws for minimizers which do not necessarily satisfy the Pontryagin maximum principle.

2 Bad Behavior in Optimal Control

The optimal control problem consists to minimize a cost functional $I\left[x\left(\cdot \right),u\left(\cdot \right)\right]={\int }_{a}^{b}L\left(t,x\left(t\right),u\left(t\right)\right)dt$  subject to a control system described by ordinary differential equations
 $\begin{array}{c}\stackrel{˙}{x}\left(t\right)=\phi \left(t,x\left(t\right),u\left(t\right)\right)\end{array}$ (1)
together with certain appropriate endpoint conditions. The Lagrangian $L:\left[a,b\right]×{\mathbb{R}}^{n}×{\mathbb{R}}^{m}\to \mathbb{R}$  and the velocity vector $\phi :\left[a,b\right]×{\mathbb{R}}^{n}×{\mathbb{R}}^{m}\to {\mathbb{R}}^{n}$  are given, and assumed to be smooth: $L\left(\cdot ,\cdot ,\cdot \right)$  , $\phi \left(\cdot ,\cdot ,\cdot \right)$  $\in {C}^{1}$  . We are interested in the case where there are no restrictions on the control set: $u\left(t\right)\in {\mathbb{R}}^{m}$  .
We denote the problem by $\left(P\right)$  . In the particular case $\phi \left(t,x,u\right)=u$  , one obtains the fundamental problem of the calculus of variations, which covers all classical mechanics. The choice of the classes $\mathcal{X}$  and $\mathcal{U}$  , respectively of the state $x:\left[a,b\right]\to {\mathbb{R}}^{n}$  and control variables $u:\left[a,b\right]\to {\mathbb{R}}^{m}$  , play an important role in our discussion. In connection with the Pontryagin maximum principle, the optimal controls are typically assumed to be essentially bounded, $\mathcal{U}={L}_{\infty }$  ; while to guarantee existence, compactness arguments require a bigger class of measurable control functions, $\mathcal{U}={L}_{1}$  . Given an optimal control problem with unrestricted controls, it may happen that the Pontryagin maximum principle is valid, while existence of minimizers is not guaranteed; or it may happen that the minimizers predicted by the existence theory fail to be Pontryagin extremals. Conservation laws are obtained from Noether's theorem, assuming that the minimizers are Pontryagin extremals. In this work our objective is to prove weak conservation laws valid for bad-behaved problems with minimizers which are not Pontryagin extremals. We begin to explain why bad-behavior can occur.
The Pontryagin maximum principle is a necessary optimality condition which can be obtained from a general Lagrange multiplier theorem in spaces of infinite dimension (cf. e.g. [10, 12]). Introducing the Hamiltonian function
 $\begin{array}{c}H\left(t,x,u,\psi \right)=-L\left(t,x,u\right)+\psi \cdot \phi \left(t,x,u\right),\end{array}$ (2)
where ${\psi }_{i}$  , $i=1,\dots ,n$  , are the “Lagrange multipliers” or the “generalized momenta”, the multiplier theorem asserts that the optimal control problem is equivalent to the maximization of the augmented functional
 $\begin{array}{c}J\left[x\left(\cdot \right),u\left(\cdot \right),\psi \left(\cdot \right)\right]={\int }_{a}^{b}\left(H\left(t,x\left(t\right),u\left(t\right),\psi \left(t\right)\right)-\psi \left(t\right)\cdot \stackrel{˙}{x}\left(t\right)\right)dt.\end{array}$ (3)
Let us assume, for simplicity, $\mathcal{X}={C}^{1}\left(\left[a,b\right];{\mathbb{R}}^{n}\right)$  , $\mathcal{U}=C\left(\left[a,b\right];{\mathbb{R}}^{m}\right)$  . Let $\left(\stackrel{~}{x}\left(\cdot \right),\stackrel{~}{u}\left(\cdot \right),\stackrel{~}{\psi }\left(\cdot \right)\right)$  solve the problem, and consider arbitrary ${C}^{1}$  -functions ${h}_{1},{h}_{3}:\left[a,b\right]\to {\mathbb{R}}^{n}$  , ${h}_{1}\left(\cdot \right)$  vanishing at $a$  and $b$  ( ${h}_{1}\left(\cdot \right)\in {C}_{0}^{1}\left(\left[a,b\right]\right)$  ), and arbitrary continuous ${h}_{2}:\left[a,b\right]\to {\mathbb{R}}^{m}$  . Let $\varepsilon$  be a scalar. By definition of maximizer, we have $J\left[\left(\stackrel{~}{x}+\varepsilon {h}_{1}\right)\left(\cdot \right),\left(\stackrel{~}{u}+\varepsilon {h}_{2}\right)\left(\cdot \right),\left(\stackrel{~}{\psi }+\varepsilon {h}_{3}\right)\left(\cdot \right)\right]\le J\left[\stackrel{~}{x}\left(\cdot \right),\stackrel{~}{u}\left(\cdot \right),\stackrel{~}{\psi }\left(\cdot \right)\right],$  and one has the following necessary condition:
 $\begin{array}{c}\frac{d}{d\varepsilon }{J\left[\left(\stackrel{~}{x}+\varepsilon {h}_{1}\right)\left(\cdot \right),\left(\stackrel{~}{u}+\varepsilon {h}_{2}\right)\left(\cdot \right),\left(\stackrel{~}{\psi }+\varepsilon {h}_{3}\right)\left(\cdot \right)\right]|}_{\varepsilon =0}=0.\end{array}$ (4)
Differentiating  4 gives
 $\begin{array}{c}0={\int }_{a}^{b}\left[\frac{\partial H}{\partial x}\left(t,\stackrel{~}{x}\left(t\right),\stackrel{~}{u}\left(t\right),\stackrel{~}{\psi }\left(t\right)\right)\cdot {h}_{1}\left(t\right)+\frac{\partial H}{\partial u}\left(t,\stackrel{~}{x}\left(t\right),\stackrel{~}{u}\left(t\right),\stackrel{~}{\psi }\left(t\right)\right)\cdot {h}_{2}\left(t\right)+\frac{\partial H}{\partial \psi }\left(t,\stackrel{~}{x}\left(t\right),\stackrel{~}{u}\left(t\right),\stackrel{~}{\psi }\left(t\right)\right)\cdot {h}_{3}\left(t\right)-{h}_{3}\left(t\right)\cdot \stackrel{˙}{\stackrel{~}{x}}\left(t\right)-\stackrel{~}{\psi }\left(t\right)\cdot {\stackrel{˙}{h}}_{1}\left(t\right)\right]dt.\end{array}$ (5)
Integrating the $\stackrel{~}{\psi }\left(t\right)\cdot {\stackrel{˙}{h}}_{1}\left(t\right)$  term by parts, and having in mind that ${h}_{1}\left(a\right)={h}_{1}\left(b\right)=0$  , one derives
 $\begin{array}{c}{\int }_{a}^{b}\left[\left(\frac{\partial H}{\partial x}\left(t,\stackrel{~}{x}\left(t\right),\stackrel{~}{u}\left(t\right),\stackrel{~}{\psi }\left(t\right)\right)+\stackrel{˙}{\stackrel{~}{\psi }}\left(t\right)\right)\cdot {h}_{1}\left(t\right)+\frac{\partial H}{\partial u}\left(t,\stackrel{~}{x}\left(t\right),\stackrel{~}{u}\left(t\right),\stackrel{~}{\psi }\left(t\right)\right)\cdot {h}_{2}\left(t\right)+\left(\frac{\partial H}{\partial \psi }\left(t,\stackrel{~}{x}\left(t\right),\stackrel{~}{u}\left(t\right),\stackrel{~}{\psi }\left(t\right)\right)-\stackrel{˙}{\stackrel{~}{x}}\left(t\right)\right)\cdot {h}_{3}\left(t\right)\right]dt=0.\end{array}$ (6)
Note that  6 was obtained for any variation ${h}_{1}\left(\cdot \right)$  , ${h}_{2}\left(\cdot \right)$  , and ${h}_{3}\left(\cdot \right)$  . Choosing ${h}_{1}\left(t\right)={h}_{2}\left(t\right)\equiv 0$  , and ${h}_{3}\left(\cdot \right)$  arbitrary, one obtains the control system  1 :
 $\begin{array}{c}\stackrel{˙}{\stackrel{~}{x}}\left(t\right)=\frac{\partial H}{\partial \psi }\left(t,\stackrel{~}{x}\left(t\right),\stackrel{~}{u}\left(t\right),\stackrel{~}{\psi }\left(t\right)\right),t\in \left[a,b\right].\end{array}$ (7)
With ${h}_{1}\left(\cdot \right)$  arbitrary, and ${h}_{2}\left(t\right)={h}_{3}\left(t\right)\equiv 0$  , we obtain the adjoint system :
 $\begin{array}{c}\stackrel{˙}{\stackrel{~}{\psi }}\left(t\right)=-\frac{\partial H}{\partial x}\left(t,\stackrel{~}{x}\left(t\right),\stackrel{~}{u}\left(t\right),\stackrel{~}{\psi }\left(t\right)\right),t\in \left[a,b\right].\end{array}$ (8)
Finally, with ${h}_{2}\left(\cdot \right)$  arbitrary, and ${h}_{1}\left(t\right)={h}_{3}\left(t\right)\equiv 0$  , the maximality condition is obtained:
 $\begin{array}{c}\frac{\partial H}{\partial u}\left(t,\stackrel{~}{x}\left(t\right),\stackrel{~}{u}\left(t\right),\stackrel{~}{\psi }\left(t\right)\right)=0,t\in \left[a,b\right].\end{array}$ (9)
A necessary optimality condition for $\left(\stackrel{~}{x}\left(\cdot \right),\stackrel{~}{u}\left(\cdot \right)\right)$  to be a minimizer of problem $\left(P\right)$  is given by the Pontryagin maximum principle: there exists $\stackrel{~}{\psi }\left(\cdot \right)$  such that the 3-tuple $\left(\stackrel{~}{x}\left(\cdot \right),\stackrel{~}{u}\left(\cdot \right),\stackrel{~}{\psi }\left(\cdot \right)\right)$  satisfy all the conditions  7 ,  8 , and  9 . We recall that conditions  7 ,  8 , and  9 imply the equality
 $\begin{array}{c}\frac{d}{dt}H\left(t,\stackrel{~}{x}\left(t\right),\stackrel{~}{u}\left(t\right),\stackrel{~}{\psi }\left(t\right)\right)=\frac{\partial H}{\partial t}\left(t,\stackrel{~}{x}\left(t\right),\stackrel{~}{u}\left(t\right),\stackrel{~}{\psi }\left(t\right)\right).\end{array}$ (10)
For piecewise smooth state trajectories, $\mathcal{X}=P{C}^{1}\left(\left[a,b\right];{\mathbb{R}}^{n}\right)$  , and piecewise continuous controls, $\mathcal{U}=PC\left(\left[a,b\right];{\mathbb{R}}^{m}\right)$  , similar arguments than those used to derive conditions  7 ,  8 , and  9 continue to be justifiable. In fact, as already mentioned, the arguments can be carried out for essentially bounded controls, $\mathcal{U}={L}_{\infty }\left(\left[a,b\right];{\mathbb{R}}^{m}\right)$  , and Lipschitzian state variables, $\mathcal{X}={W}_{1,\infty }\left(\left[a,b\right];{\mathbb{R}}^{n}\right)$  .
But if one took $\mathcal{U}={L}_{1}\left(\left[a,b\right];{\mathbb{R}}^{m}\right)$  , and $\mathcal{X}={W}_{1,1}\left(\left[a,b\right];{\mathbb{R}}^{n}\right)$  , as required by the existence theory, integration by parts of $\stackrel{~}{\psi }\left(t\right)\cdot {\stackrel{˙}{h}}_{1}\left(t\right)$  in  5 can no longer be justified, and one can not conclude with the adjoint system  8 and equality  10 . This is more than a technical difficulty, and explains the possibility of bad-behavior illustrated by the Ball-Mizel example . In the Ball-Mizel problem one has $n=m=1$  , $L\left(t,x,u\right)=\left({x}^{3}-{t}^{2}{\right)}^{2}{u}^{14}+\epsilon {u}^{2}$  , and $\phi \left(t,x,u\right)=u$  :
${\int }_{0}^{1}\left[{\left({x}^{3}\left(t\right)-{t}^{2}\right)}^{2}u\left(t{\right)}^{14}+\epsilon u\left(t{\right)}^{2}\right]dt⟶min,\stackrel{˙}{x}\left(t\right)=u\left(t\right),x\left(0\right)=0,x\left(1\right)=k.$
For some values of the constants $\epsilon$  and $k$  there exists the unique optimal control $\stackrel{~}{u}\left(t\right)=\frac{2k}{3}{t}^{-1/3}$  , which belongs to ${L}_{1}$  but not to ${L}_{\infty }$  . The Pontryagin maximum principle is not satisfied since the adjoint system  8  $\stackrel{˙}{\stackrel{~}{\psi }}\left(t\right)=-\frac{\partial H}{\partial x}\left(t,\stackrel{~}{x}\left(t\right),\stackrel{~}{u}\left(t\right),\stackrel{~}{\psi }\left(t\right)\right)\sim ={t}^{-4/3}$  is not integrable. In this paper we obtain a new version of Noether's theorem, without using the adjoint system  8 and the property  10 . This makes Noether's principle valid both for welland bad-behaved optimal control problems.

3 Conservation Laws in Optimal Control

In 1918 Emmy Noether established the key result to find conservation laws in the calculus of variations [11, 18]. We sketch here the standard argument used to derive Noether's theorem and conservation laws in the optimal control setting (cf. e.g. [5, 14]).
Let us consider a one-parameter group of ${C}^{1}$  -transformations of the form
 $\begin{array}{c}{h}^{s}\left(t,x,u,\psi \right)=\left({h}_{t}\left(t,x,u,\psi ,s\right),{h}_{x}\left(t,x,u,\psi ,s\right),{h}_{u}\left(t,x,u,\psi ,s\right),{h}_{\psi }\left(t,x,u,\psi ,s\right)\right),\end{array}$ (11)
where $s$  denote the independent parameter of the transformations. We require that to the parameter value $s=0$  there corresponds the identity transformation:
 $\begin{array}{c}\begin{array}{cccc}{h}^{0}\left(t,x,u,\psi \right)& =\left({h}_{t}\left(t,x,u,\psi ,0\right),{h}_{x}\left(t,x,u,\psi ,0\right),{h}_{u}\left(t,x,u,\psi ,0\right),{h}_{\psi }\left(t,x,u,\psi ,0\right)\right)& & =\left(t,x,u,\psi \right).\end{array}\end{array}$ (12)
Associated to the group of transformations  11 we consider the infinitesimal generators
 $\begin{array}{c}T\left(t,x,u,\psi \right)={\frac{d}{ds}{h}_{t}\left(t,x,u,\psi ,s\right)|}_{s=0},X\left(t,x,u,\psi \right)={\frac{d}{ds}{h}_{x}\left(t,x,u,\psi ,s\right)|}_{s=0},U\left(t,x,u,\psi \right)={\frac{d}{ds}{h}_{u}\left(t,x,u,\psi ,s\right)|}_{s=0},\Psi \left(t,x,u,\psi \right)={\frac{d}{ds}{h}_{\psi }\left(t,x,u,\psi ,s\right)|}_{s=0}.\end{array}$ (13)
Definition 1. The optimal control problem $\left(P\right)$  is said to be invariant under a one-parameter group of ${C}^{1}$  -transformations  11 if, and only if,
 $\begin{array}{c}\frac{d}{ds}\left\{\left[H\left({h}^{s}\left(t,x\left(t\right),u\left(t\right),\psi \left(t\right)\right)\right){-{h}_{\psi }\left(t,x\left(t\right),u\left(t\right),\psi \left(t\right),s\right)\cdot \frac{\frac{d{h}_{x}\left(t,x\left(t\right),u\left(t\right),\psi \left(t\right),s\right)}{dt}}{\frac{d{h}_{t}\left(t,x\left(t\right),u\left(t\right),\psi \left(t\right),s\right)}{dt}}\right]\frac{d{h}_{t}\left(t,x\left(t\right),u\left(t\right),\psi \left(t\right),s\right)}{dt}\right\}|}_{s=0}=0,\end{array}$ (14)
with $H$  the Hamiltonian  2 .
Having in mind  12 , condition  14 is equivalent to
 $\begin{array}{c}\frac{\partial H}{\partial t}T+\frac{\partial H}{\partial x}\cdot X+\frac{\partial H}{\partial u}\cdot U+\frac{\partial H}{\partial \psi }\cdot \Psi -\Psi \cdot \stackrel{˙}{x}\left(t\right)-\psi \left(t\right)\cdot \frac{d}{dt}X+H\frac{d}{dt}T=0,\end{array}$ (15)
where here, and to the end of the paper, all functions are evaluated at $\left(t,x\left(t\right),u\left(t\right),\psi \left(t\right)\right)$  whenever not indicated. Along a Pontryagin extremal $\left(x\left(\cdot \right),u\left(\cdot \right),\psi \left(\cdot \right)\right)$  equalities  7 ,  8 ,  9 , and  10 are in force, and  15 reduces to $\frac{dH}{dt}T-\stackrel{˙}{\psi }\left(t\right)\cdot X-\psi \left(t\right)\cdot \frac{dX}{dt}+H\frac{dT}{dt}=0⇔\frac{d}{dt}\left(\psi \left(t\right)\cdot X-HT\right)=0.$  We have just proved Noether's theorem for optimal control problems.
Theorem 1 (Noether's Theorem). If the optimal control problem is invariant under  11 , in the sense of Definition  1 , then
 $\begin{array}{c}\psi \left(t\right)\cdot X\left(t,x\left(t\right),u\left(t\right),\psi \left(t\right)\right)-H\left(t,x\left(t\right),u\left(t\right),\psi \left(t\right)\right)T\left(t,x\left(t\right),u\left(t\right),\psi \left(t\right)\right)=c\end{array}$ (16)
( $c$  a constant; $t\in \left[a,b\right]$  ; $T$  and $X$  are given according to  13 ; $H$  is the Hamiltonian  2 ) is a conservation law, that is,  16 is valid along all the minimizers $\left(x\left(\cdot \right),u\left(\cdot \right)\right)$  of $\left(P\right)$  which are Pontryagin extremals.
All available versions of Noether's theorem found in the literature are valid only for well-behaved optimal control problems (conservation laws are, by definition, valid for minimizers which are Pontryagin extremals). In the next section we provide the first optimal control version of Noether's theorem valid in presence of bad behavior (valid also for minimizers which are not Pontryagin extremals).
For that we need a new notion of conservation law.

4 Weak Conservation Laws in Optimal Control

In 1879 Paul duBois-Reymond proved an important basic result. From duBois-Reymond lemma we know that ${\int }_{a}^{b}\left(\psi \left(t\right)\cdot X-HT\right)\stackrel{˙}{\theta }\left(t\right)dt=0,\forall \theta \left(\cdot \right)\in {C}_{0}^{1}\left(\left[a,b\right]\right),$  is a weak form of conservation law  16 . Follows the main result of the paper.
Theorem 2. If the optimal control problem is invariant under  11 , in the sense of Definition  1 , then
${\int }_{a}^{b}\left[\psi \left(t\right)\cdot X\left(t,x\left(t\right),u\left(t\right),\psi \left(t\right)\right)-H\left(t,x\left(t\right),u\left(t\right),\psi \left(t\right)\right)T\left(t,x\left(t\right),u\left(t\right),\psi \left(t\right)\right)\right]\stackrel{˙}{\theta }\left(t\right)dt=0$
( $\theta \left(\cdot \right)$  is an arbitrary ${W}_{1,1}\left(\left[a,b\right];\mathbb{R}\right)$  function satisfying $\theta \left(a\right)=\theta \left(b\right)=0$  ) holds along all the minimizers $\left(x\left(\cdot \right),u\left(\cdot \right),\psi \left(\cdot \right)\right)\in {W}_{1,1}×{L}_{1}×{W}_{1,1}$  of  3 .
• Proof. Replacing the parameter $s$  of the group  11 by function $s\theta \left(t\right)$  , the infinitesimal generators are then given by  $\begin{array}{cccccccc}{\frac{d}{ds}{h}_{t}\left(t,x,u,\psi ,s\theta \left(t\right)\right)|}_{s=0}& =T\left(t,x,u,\psi \right)\theta \left(t\right),& {\frac{d}{ds}{h}_{x}\left(t,x,u,\psi ,s\theta \left(t\right)\right)|}_{s=0}& =X\left(t,x,u,\psi \right)\theta \left(t\right),& {\frac{d}{ds}{h}_{u}\left(t,x,u,\psi ,s\theta \left(t\right)\right)|}_{s=0}& =U\left(t,x,u,\psi \right)\theta \left(t\right),& {\frac{d}{ds}{h}_{\psi }\left(t,x,u,\psi ,s\theta \left(t\right)\right)|}_{s=0}& =\Psi \left(t,x,u,\psi \right)\theta \left(t\right),\end{array}$
with $T$  , $X$  , $U$  , and $\Psi$  as in  13 , and the necessary and sufficient condition of invariance  15 takes the form
 $\begin{array}{c}\left(\frac{\partial H}{\partial t}T+\frac{\partial H}{\partial x}\cdot X+\frac{\partial H}{\partial u}\cdot U+\frac{\partial H}{\partial \psi }\cdot \Psi -\Psi \cdot \stackrel{˙}{x}\left(t\right)+H\frac{dT}{dt}-\psi \left(t\right)\cdot \frac{dX}{dt}\right)\theta \left(t\right)+\left(HT-\psi \left(t\right)\cdot X\right)\stackrel{˙}{\theta }\left(t\right)=0.\end{array}$ (17)
Condition  5 with ${h}_{1}\left(t\right)=X\theta \left(t\right)$  , ${h}_{2}\left(t\right)=U\theta \left(t\right)$  , and ${h}_{3}\left(t\right)=\Psi \theta \left(t\right)$  , gives
 $\begin{array}{c}{\int }_{a}^{b}\left[\left(\frac{\partial H}{\partial x}\cdot X+\frac{\partial H}{\partial u}\cdot U+\frac{\partial H}{\partial \psi }\cdot \Psi -\Psi \cdot \stackrel{˙}{x}\left(t\right)-\psi \left(t\right)\cdot \frac{dX}{dt}\right)\theta \left(t\right)-\left(\psi \left(t\right)\cdot X\right)\stackrel{˙}{\theta }\left(t\right)\right]dt=0.\end{array}$ (18)
Using  15 in  18 permits to write  $\begin{array}{c}{\int }_{a}^{b}\left[\left(-\frac{\partial H}{\partial t}T-H\frac{dT}{dt}\right)\theta \left(t\right)-\left(\psi \left(t\right)\cdot X\right)\stackrel{˙}{\theta }\left(t\right)\right]dt=0;\end{array}$ (19)
while, on the other hand, using  17 in  18 , one obtains  $\begin{array}{c}{\int }_{a}^{b}\left[\left(\frac{\partial H}{\partial t}T+H\frac{dT}{dt}\right)\theta \left(t\right)+\left(HT\right)\stackrel{˙}{\theta }\left(t\right)\right]dt=0.\end{array}$ (20)
The conclusion follows summing up  19 and  20 : ${\int }_{a}^{b}\left(HT-\psi \left(t\right)\cdot X\right)\stackrel{˙}{\theta }\left(t\right)dt=0.$
Invariance under an infinite continuous group of transformations, which rather than dependence on parameters depend upon arbitrary functions, is considered by Noether in the original paper . This is sometimes called “the second Noether theorem”. We refer the reader to  for an extension of the second Noether theorem to optimal control problems which are semi-invariant under symmetries depending upon $k$  arbitrary functions of the independent variable and their derivatives. Theorem  2 is easily formulated under more general notions of invariance.
Theorem  2 gives, from the invariance properties of the optimal control problems, weak conservation laws along all the minimizers, including those minimizers which does not satisfy the standard necessary optimality conditions like the Pontryagin Maximum Principle or the Euler-Lagrange differential equations.
Such fact may be useful to identify more general classes of welland bad-behaved problems in the calculus of variations and optimal control, e.g., to synthesize a broad class of invariant problems exhibiting the Lavrentiev phenomenon .
This possibility is under investigation and will be addressed elsewhere.
Acknowledgements This work was partially supported by the Portuguese Foundation for Science and Technology (FCT) through the Control Theory Group (cotg) of the Centre for Research in Optimization and Control (CEOC).
References
•  J. M. Ball, Minimizers and the Euler-Lagrange equations, Trends and applications of pure mathematics to mechanics (Palaiseau, 1983), 1984, pp. 1–4. [MR 755716 (86e:49022)] [Zbl 0547.73013]
•  J. M. Ball and V. J. Mizel, One-dimensional variational problems whose minimizers do not satisfy the Euler-Lagrange equation, Arch. Rational Mech. Anal. 90 (1985), no. 4, 325–388.
[MR 801585 (86k:49002)] [Zbl 0585.49002]
•  Lamberto Cesari, Optimization—theory and applications, Applications of Mathematics (New York), vol. 17, Springer-Verlag, New York, 1983. Problems with ordinary differential equations. [MR 688142 (85c:49001)] [Zbl 0506.49001]
•  Frank H. Clarke and R. B. Vinter, On the conditions under which the Euler equation or the maximum principle hold, Appl. Math. Optim. 12 (1984), no. 1, 73–79. [MR 756513 (85m:49051)] [Zbl 0559.49012]
•  D̄or d̄e S. D̄ukić, Noether's theorem for optimum control systems, Internat. J. Control (1) 18 (1973), 667–672. [MR 0341229 (49 #5979)] [Zbl 0281.49009]
•  M. Foss, Examples of the Lavrentiev phenomenon with continuous Sobolev exponent dependence, J. Convex Anal. 10 (2003), no. 2, 445–464. [MR 2043868 (2004m:49044)] [Zbl pre02066990]
•  G. Francfort and J. Sivaloganathan, On conservation laws and necessary conditions in the calculus of variations, Proc. Roy. Soc. Edinburgh Sect. A 132 (2002), no. 6, 1361–1371.
[MR 1950811 (2003j:49035)] [Zbl 1027.49015]
•  A. M. Gugushvili, O. G. Khutsishvili, V. K. Sesadze, G. N. Dalakishvili, N. A. Mchedlishvili, T. G. Khutsishvili, V. M. Kekenadze, and D. F. M. Torres, Symmetries and conservation laws in optimal control systems, Georgian Technical University, Tbilisi, 2003.
•  Irena Lasiecka, Optimal control problems and Riccati equations for systems with unbounded controls and partially analytic generators – applications to boundary and point control problems, Functional Analytic Methods for Evolution Equations, 2004, pp. 313–369.
•  Antonio Leitão, Cálculo variacional e controle ótimo, Publicações Matemáticas do IMPA. [IMPA Mathematical Publications], Instituto de Matemática Pura e Aplicada (IMPA), Rio de Janeiro, 2001 (Portuguese). 23 ${}^{o}$  Colóquio Brasileiro de Matemática. [23rd Brazilian Mathematics Colloquium]. [MR 1846384] [Zbl pre01659603]
•  Emmy Noether, Invariant variation problems, Transport Theory Statist. Phys. 1 (1971), no. 3, 186–207. Translated from the German (Nachr. Akad. Wiss. Göttingen Math.-Phys. Kl. II 1918, 235–257). [MR 0406752 (53 #10538)] [Zbl 0292.49008]
•  Pablo Pedregal, Introduction to optimization, Texts in Applied Mathematics, vol. 46, Springer-Verlag, New York, 2004. [MR 2014219 (2004j:90002)] [Zbl 1036.90002]
•  L. S. Pontryagin, V. G. Boltyanskiĭ, R. V. Gamkrelidze, and E. F. Mishchenko, Selected works. Vol. 4, Classics of Soviet Mathematics, Gordon & Breach Science Publishers, New York, 1986. The mathematical theory of optimal processes; Edited and with a preface by R. V. Gamkrelidze Translated from the Russian by K. N. Trirogoff Translation edited by L. W. Neustadt With a preface by L. W. Neustadt and K. N. Trirogoff Reprint of the 1962 English translation. [MR 898009 (90a:01108)] [Zbl 0882.01027]
•  Delfim F. M. Torres, Conservation laws in optimal control, Dynamics, bifurcations, and control (Kloster Irsee, 2001), 2002, pp. 287–296. [MR 1901565 (2003c:49037)] [Zbl pre01819752]
•  , Lipschitzian regularity of the minimizing trajectories for nonlinear optimal control problems, Math. Control Signals Systems 16 (2003), no. 2-3, 158–174. [MR 2006825 (2004i:49047)] [Zbl 1041.93023]
•  , Gauge symmetries and Noether currents in optimal control, Appl. Math. E-Notes 3 (2003), 49–57 (electronic). [MR 1980565 (2004g:49038)] [Zbl pre01925174]
•  , Quasi-invariant optimal control problems, Port. Math. (N.S.) 61 (2004), no. 1, 97–114. [MR 2040245] [Zbl 1042.49015]
•  Bruce van Brunt, The calculus of variations, Universitext, Springer-Verlag, New York, 2004. [MR 2004181 (2004m:49001)] [Zbl 1039.49001]
•  Richard Vinter, Optimal control, Systems & Control: Foundations & Applications, Birkhäuser Boston Inc., Boston, MA, 2000. [MR 1756410 (2001c:49001)] [Zbl 0952.49001]