$L^{\infty }$-norm minimal control of the wave equation : on the weakness of the bang-bang principle

Leugering, Gunter; Gugat, Martin

ESAIM: Control, Optimisation and Calculus of Variations, Tome 14 (2008) no. 2, pp. 254-283.

For optimal control problems with ordinary differential equations where the $L^{\infty }$-norm of the control is minimized, often bang-bang principles hold. For systems that are governed by a hyperbolic partial differential equation, the situation is different: even if a weak form of the bang-bang principle still holds for the wave equation, it implies no restriction on the form of the optimal control. To illustrate that for the Dirichlet boundary control of the wave equation in general not even feasible controls of bang-bang type exist, we examine the states that can be reached by bang-bang-off controls, that is controls that are allowed to attain only three values: Their maximum and minimum values and the value zero. We show that for certain control times, the difference between the initial and the terminal state can only attain a finite number of values. For the problems of optimal exact and approximate boundary control of the wave equation where the $L^{\infty }$-norm of the control is minimized, we introduce dual problems and present the weak form of a bang-bang principle, that states that the values of $L^{\infty }$-norm minimal controls are constrained by the sign of the dual solutions. Since these dual solutions are in general given as measures, this is no restriction on the form of the control function: the dual solution may have a finite support, and when the dual solution vanishes, the control is allowed to attain all values from the interval between the two extremal control values.

[1] A. Barvinok, A course in convexity. AMS, Providence, Rhode Island (2002). | Zbl

[2] J.K. Bennighof and R.L. Boucher, Exact minimum-time control of a distributed system using a traveling wave formulation. J. Optim. Theory Appl 73 (1992) 149-167. | MR | Zbl

[3] F.H. Clarke, Optimization and Nonsmooth Analysis. John Wiley, New York (1983). | MR | Zbl

[4] A. Dovretzki, On Liapunov's convexity theorem. Proc. Natl. Acad. Sci 91 (1994) 2145. | MR | Zbl

[5] V. Drobot, An infinte-dimensional version of Liapunov's convexity theorem. Michigan Math. J 17 (1970) 405-408. | MR | Zbl

[6] C. Fabre, J.-P. Puel and E. Zuazua, Contrôlabilité approchée de l’équation de la chaleur linéaire avec des contrôles de norme $l^{\infty }$ minimale. (Approximate controllability for the linear heat equation with controls of minimal $l^{\infty }$ norm). C. R. Acad. Sci., Paris, Sér. I 316 (1993) 679-684. | MR | Zbl

[7] C. Fabre, J.-P. Puel and E. Zuazua, Approximate controllability of the semilinear heat equation. Proc. R. Soc. Edinb., Sect. A 125 (1995) 31-61. | MR | Zbl

[8] M. Gugat, Time-parametric control: Uniform convergence of the optimal value functions of discretized problems. Contr. Cybern 28 (1999) 7-33. | MR | Zbl

[9] M. Gugat and G. Leugering, Regularization of $l^{\infty }$-optimal control problems for distributed parameter systems. Comput. Optim. Appl 22 (2002) 151-192. | MR | Zbl

[10] M. Gugat, G. Leugering and G. Sklyar, $l^p$-optimal boundary control for the wave equation. SIAM J. Control Optim 44 (2005) 49-74. | MR | Zbl

[11] H. Hermes and J. Lasalle. Functional analysis and time optimal control. Academic Press (1969). | MR | Zbl

[12] T. Kato, Linear evolution equations of hyperbolic type. Univ. Tokyo Sec. I 17 (1970) 241-258. | MR | Zbl

[13] T. Kato, Perturbation theory for linear operators, Corr. printing of the 2nd edn. Springer (1980). | MR | Zbl

[14] W. Krabs, On moment theory and controllability of one-dimensional vibrating systems and heating processes, Lecture Notes in Control and Information Science 173. Springer-Verlag, Heidelberg (1992). | MR | Zbl

[15] W. Krabs, Optimal Control of Undamped Linear Vibrations. Heldermann Verlag, Lemgo, Germany (1995). | MR | Zbl

[16] C.M. Lee and F.D.K. Roberts, A comparison of algorithms for rational $l_{\infty }$ approximation. Math. Comp 27 (1973) 111-121. | MR | Zbl

[17] E.B. Lee and L. Markus, Foundations of Optimal Control Theory. Wiley, New York (1968). | MR | Zbl

[18] J.-L. Lions, Exact controllability, stabilization and perturbations of distributed systems. SIAM Rev 30 (1988) 1-68. | MR | Zbl

[19] A. Lyapunov, Sur les fonctions-vecteurs complètement additives. Bull. Acad. Sci. URSS, Sér. Math 4 (1940) 465-478. | JFM | MR | Zbl

[20] J. Macki and A. Strauss, Introduction to Optimal Control Theory. Springer-Verlag, New York (1982). | MR | Zbl

[21] V.J. Mizel and T.I. Seidman, An abstract bang-bang principle and time-optimal boundary control of the heat equation. SIAM J. Control Optim 35 (1997) 1204-1216. | MR | Zbl

[22] N. Papageorgiu, Measurable multifunctions and their applications to convex integral functionals. Internat. J. Math. Math. Sciences 12 (1989) 175-192. | MR | Zbl

[23] G.K. Pedersen, Analysis Now. Springer-Verlag, New York (1989). | MR | Zbl

[24] R.T. Rockafellar, Convex Analysis. Princeton University Press (1970). | MR | Zbl

[25] K. Yosida, Functional Analysis. Springer, Berlin (1965).

[26] E. Zuazua, Optimal and approximate control of finite-difference approximation schemes for the 1d wave equation. Rend. Mat. Appl 24 (2004) 201-237. | MR | Zbl

[27] E. Zuazua, Propagation, observation. and control of waves approximated by finite difference methods. SIAM Rev 47 (2005) 197-243. | MR | Zbl

[28] E. Zuazua, Controllability of partial differential equations: Some results and open problems, in Handbook of Differential Equations: Evolutionary Differential Equations, C. Dafermos and E. Feireisl Eds., Elsevier Science (2006).