Theorem 2.
If the optimal control problem is invariant under 11 , in the sense of Definition 1 , then
$${\int}_{a}^{b}[\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)]\dot{\theta}\left(t\right)dt=0$$
(
$\theta (\cdot )$
is an arbitrary
${W}_{1,1}\left(\right[a,b];\mathbb{R})$
function satisfying
$\theta \left(a\right)=\theta \left(b\right)=0$
) holds along all the minimizers
$\left(x\right(\cdot ),u(\cdot ),\psi (\cdot \left)\right)\in {W}_{1,1}\times {L}_{1}\times {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(t,x,u,\psi )\theta \left(t\right),& {\frac{d}{ds}{h}_{x}\left(t,x,u,\psi ,s\theta \left(t\right)\right)}_{s=0}& =X(t,x,u,\psi )\theta \left(t\right),& {\frac{d}{ds}{h}_{u}\left(t,x,u,\psi ,s\theta \left(t\right)\right)}_{s=0}& =U(t,x,u,\psi )\theta \left(t\right),& {\frac{d}{ds}{h}_{\psi}\left(t,x,u,\psi ,s\theta \left(t\right)\right)}_{s=0}& =\Psi (t,x,u,\psi )\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 \dot{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)\dot{\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(\frac{\partial H}{\partial x}\cdot X+\frac{\partial H}{\partial u}\cdot U+\frac{\partial H}{\partial \psi}\cdot \Psi \Psi \cdot \dot{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)\dot{\theta}\left(t\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}TH\frac{dT}{dt}\right)\theta \left(t\right)\left(\psi \left(t\right)\cdot X\right)\dot{\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)\dot{\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)\dot{\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 [11]. This is sometimes called “the second Noether theorem”. We refer the reader to [16] for an extension of the second Noether theorem to optimal control problems which are semiinvariant 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 EulerLagrange differential equations.
Such fact may be useful to identify more general classes of welland badbehaved problems in the calculus of variations and optimal control, e.g., to synthesize a broad class of invariant problems exhibiting the Lavrentiev phenomenon [6].
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

[1]
J. M. Ball, Minimizers and the EulerLagrange equations, Trends and applications of pure mathematics to mechanics (Palaiseau, 1983), 1984, pp. 1–4. [MR 755716 (86e:49022)] [Zbl 0547.73013]

[2]
J. M. Ball and V. J. Mizel, Onedimensional variational problems whose minimizers do not satisfy the EulerLagrange equation, Arch. Rational Mech. Anal. 90 (1985), no. 4, 325–388.
[MR 801585 (86k:49002)] [Zbl 0585.49002]

[3]
Lamberto Cesari, Optimization—theory and applications, Applications of Mathematics (New York), vol. 17, SpringerVerlag, New York, 1983. Problems with ordinary differential equations. [MR 688142 (85c:49001)] [Zbl 0506.49001]

[4]
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]

[5]
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]

[6]
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]

[7]
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]

[8]
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.

[9]
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.

[10]
Antonio Leitão, Cálculo variacional e controle ótimo, Publicaçõ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]

[11]
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]

[12]
Pablo Pedregal, Introduction to optimization, Texts in Applied Mathematics, vol. 46, SpringerVerlag, New York, 2004. [MR 2014219 (2004j:90002)] [Zbl 1036.90002]

[13]
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]

[14]
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]

[15]
, Lipschitzian regularity of the minimizing trajectories for nonlinear optimal control problems, Math. Control Signals Systems 16 (2003), no. 23, 158–174. [MR 2006825 (2004i:49047)] [Zbl 1041.93023]

[16]
, Gauge symmetries and Noether currents in optimal control, Appl. Math. ENotes 3 (2003), 49–57 (electronic). [MR 1980565 (2004g:49038)] [Zbl pre01925174]

[17]
, Quasiinvariant optimal control problems, Port. Math. (N.S.) 61 (2004), no. 1, 97–114. [MR 2040245] [Zbl 1042.49015]

[18]
Bruce van Brunt, The calculus of variations, Universitext, SpringerVerlag, New York, 2004. [MR 2004181 (2004m:49001)] [Zbl 1039.49001]

[19]
Richard Vinter, Optimal control, Systems & Control: Foundations & Applications, Birkhäuser Boston Inc., Boston, MA, 2000. [MR 1756410 (2001c:49001)] [Zbl 0952.49001]