A SYSTEMATIC METHOD FOR BUILDING SMOOTH CONTROLS FOR SMOOTH DATA

We prove a regularity result for an abstract control problem $z' =A z + Bv$ with initial datum $z(0) = z_0$ in which the goal is to determine a control $v$ such that $z(T)=0$. Under standard admissibility and observability assumptions on the adjoint system, when $A$ generates a $C^0$ group, we develop a method to compute algorithmically a control function $v$ that inherits the regularity of the initial datum to be controlled. In particular, the controlled equation is satisfied in a strong sense when the initial datum is smooth. In this way, the controlled trajectory is smooth as well. Our method applies mainly to time-reversible infinite-dimensional systems and, in particular, to the wave equation, but fails to be valid in the parabolic frame.

[1]  Sylvain Ervedoza,et al.  Spectral conditions for admissibility and observability of wave systems: applications to finite element schemes , 2009, Numerische Mathematik.

[2]  David L. Russell,et al.  A General Theory of Observation and Control , 1977 .

[3]  Scott W. Hansen,et al.  The operator Carleson measure criterion for admissibility of control operators for diagonal semigroups on 1 2 , 1991 .

[4]  J. Lions,et al.  Non homogeneous boundary value problems for second order hyperbolic operators , 1986 .

[5]  Xu Zhang,et al.  Explicit Observability Inequalities for the Wave Equation with Lower Order Terms by Means of Carleman Inequalities , 2000, SIAM J. Control. Optim..

[6]  Enrique Zuazua,et al.  Propagation, Observation, and Control of Waves Approximated by Finite Difference Methods , 2005, SIAM Rev..

[7]  Enrique Zuazua,et al.  Controllability and Observability of Partial Differential Equations: Some Results and Open Problems , 2007 .

[8]  José Manuel Urquiza.  Rapid Exponential Feedback Stabilization with Unbounded Control Operators , 2005, SIAM J. Control. Optim..

[9]  Gilles Lebeau,et al.  Analysis of the HUM Control Operator and Exact Controllability for Semilinear Waves in Uniform Time , 2009, SIAM J. Control. Optim..

[10]  Maëlle Nodet,et al.  Experimental Study of the HUM Control Operator for Linear Waves , 2009, Exp. Math..

[11]  C. Bardos,et al.  Sharp sufficient conditions for the observation, control, and stabilization of waves from the boundary , 1992 .

[12]  김정기,et al.  Propagation , 1994, Encyclopedia of Evolutionary Psychological Science.

[13]  C. SIAMJ..  RAPID BOUNDARY STABILIZATION OF LINEAR DISTRIBUTED SYSTEMS , 1997 .

[14]  Marius Tucsnak,et al.  A spectral approach for the exact observability of infinite dimensional systems with skew-adjoint generator. , 2005 .

[15]  Enrique Zuazua,et al.  Numerical approximation of null controls for the heat equation through transmutation , 2009 .

[16]  Xu Zhang,et al.  Exact Controllability for Multidimensional Semilinear Hyperbolic Equations , 2007, SIAM J. Control. Optim..

[17]  V. Komornik.  Exact Controllability and Stabilization: The Multiplier Method , 1995 .

[18]  D. Russell.  Controllability and Stabilizability Theory for Linear Partial Differential Equations: Recent Progress and Open Questions , 1978 .

[19]  J. Lions.  Exact controllability, stabilization and perturbations for distributed systems , 1988 .

[20]  G. Weiss,et al.  Observation and Control for Operator Semigroups , 2009 .

[21]  P. Gérard,et al.  Condition ncessaire et suffisante pour la contrlabilit exacte des ondes , 1997 .

[22]  H. Triebel.  Interpolation Theory, Function Spaces, Differential Operators , 1978 .

[23]  A. Haraux,et al.  Séries lacunaires et contrôle semi-interne des vibrations d'une plaque rectangulaire , 1989 .

[24]  Enrique Zuazua,et al.  Boundary observability for the space-discretizations of the 1 — d wave equation , 1998 .