Optimal control of the undamped linear wave equation with measure valued controls (Q2807331)

The authors study the optimal control problem \(\min_{u,y}J(y)+\alpha \left\| u\right\| _{\mathcal{M}(\Omega _{c},L^{2}(0,T))}\) subject to the undamped wave equation \(\partial _{tt}y-c^{2}\Delta y=u\) in \((0,T)\times \Omega \), \(y=0\) on \((0,T)\times \partial \Omega \) and \((y,\partial _{t}y)=(y_{0},y_{1})\) in \(\{0\}\times \Omega \). Here \(\Omega \) is a bounded domain in \(\mathbb{R}^{d}\), \(d=1,2,3\), with sufficiently smooth boundary, \( \Omega _{c}\) is a compact subset of \(\Omega \) and \(\mathcal{M}(\Omega _{c},L^{2}(0,T))\) is the space of vector measures. The cost functional \(J\) takes the form \(J(y)=\frac{1}{2}\{\nu _{1}\left\| y-z_{1}\right\| _{L^{2}((0,T)\times \Omega )}^{2}+\nu _{2}\left\| y(T)-z_{2}\right\| _{L^{2}(\Omega )}^{2}+\nu _{3}\left\| \partial _{t}y(T)-z_{3}\right\| _{H^{-1}(\Omega )}^{2}\}\).NEWLINENEWLINEThe main purpose of the paper is to prove the existence of an optimal control for this problem. The authors first gather the properties of the space \(\mathcal{M}(\Omega _{c},L^{2} (0,T))\). They recall some interpolation results for Sobolev spaces. They then prove existence and regularity results for the wave equation and for the dual wave equation. The proof of the existence result is essentially based on a compactness result. The authors then derive first-order optimality conditions for this solution. In the last part of their paper the authors present the results of numerical simulations they draw with the use of the finite element method and they study an inverse problem.