Explicit Observability Inequalities for the Wave Equation with Lower Order Terms by Means of Carleman Inequalities

In this paper, by means of Carleman estimates and the usual energy estimate, we obtain directly two observability inequalities for the linear wave equation with time-variant nonsmooth lower order terms. We do not need any unique continuation property of the linear equation a priori, since this is actually one of the by-products of our analysis. Furthermore, the constant in the observability inequality is estimated by an explicit function of the norm of the involved coefficients in the equation. Also, we apply our observability estimates to exact controllability for wave equations.

[1]  Lop Fat Ho Observabilité frontière de l'équation des ondes , 1986 .

[2]  A. Ruiz Unique continuation for weak solutions of the wave equation plus a potential , 1992 .

[3]  R. Triggiani,et al.  Exact controllability for second-order hyperbolic equations with variable coefficient-principal part and first-order terms , 1997 .

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

[5]  Michael V. Klibanov,et al.  Stability estimates for ill-posed Cauchy problems involving hyperbolic equations and inequalities , 1993 .

[6]  Xu Zhang,et al.  Exact controllability of semilinear plate equations , 2001 .

[7]  Enrique Zuazua,et al.  Null controllability of the heat equation as singular limit of the exact controllability of dissipative wave equations , 2000 .

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

[9]  Daniel Tataru,et al.  Carleman estimates and unique continuation for solutions to boundary value problems , 1996 .

[10]  Lars Hr̲mander,et al.  The Analysis of Linear Partial Differential Operators III: Pseudo-Differential Operators , 1985 .

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

[12]  Xu Zhang,et al.  Explicit observability estimate for the wave equation with potential and its application , 2000, Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.

[13]  M. S. Baouendi,et al.  A non uniqueness result for operators of principal type , 1995 .

[14]  Tataru Daniel,et al.  Unique continuation for solutions to pde's; between hörmander's theorem and holmgren' theorem , 1995 .

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

[16]  Enrique Zuazua,et al.  Exact controllability for semilinear wave equations in one space dimension , 1993 .

[17]  Kangsheng Liu Locally Distributed Control and Damping for the Conservative Systems , 1997 .

[18]  Peng-Fei Yao,et al.  On The Observability Inequalities for Exact Controllability of Wave Equations With Variable Coefficients , 1999 .

[19]  Enrique Zuazua,et al.  Some Problems and Results on the Controllability of Partial Differential Equations , 1998 .

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

[21]  J. Lagnese The hilbert uniqueness method: A retrospective , 1991 .

[22]  D. Tataru,et al.  Boundary controllability for conservative PDEs , 1995 .

[23]  Jiongmin Yong,et al.  Optimal Control Theory for Infinite Dimensional Systems , 1994 .

[24]  Irena Lasiecka,et al.  Carleman Estimates and Exact Boundary Controllability for a System of Coupled, Nonconservative Second-Order Hyperbolic Equations , 1997 .