Inverse/Observability Estimates for Second-Order Hyperbolic Equations with Variable Coefficients
We consider a general second-order hyperbolic equation defined on an open bounded domain Ω⊂Rn with variable coefficients in both the elliptic principal part and in the first-order terms as well. At first, no boundary conditions (B.C.) are imposed. Our main result (Theorem 3.5) is a reconstruction, or inverse, estimate for solutions w: under checkable conditions on the coefficients of the principal part, the H1(Ω)×L2(Ω)-energy at time t=T, or at time t=0, is dominated by the L2(Σ)-norms of the boundary traces ∂w/∂νA and wt, modulo an interior lower-order term. Once homogeneous B.C. are imposed, our results yield - under a uniqueness theorem, needed to absorb the lower-order term - continuous observability estimates for both the Dirichlet and Neumann case, with an explicit, sharp observability time; hence, by duality, exact controllability results. Moreover, no artificial geometrical conditions are imposed on the controlled part of the boundary in the Neumann case. In contrast with existing literature, the first step of our method employs a Riemann geometry approach to reduce the original variable coefficient principal part problem in Ω⊂Rn to a problem on an appropriate Riemann manifold (determined by the coefficients of the principal part), where the principal part is the Laplacian. In our second step, we employ explicit Carleman estimates at the differential level to take care of the variable first-order (energy level) terms. In our third step, we employ micro-local analysis yielding a sharp trace estimate, to remove artificial geometrical conditions on the controlled part of the boundary, in the Neumann case. © 1999 Academic Press.
Journal of Mathematical Analysis and Applications
Lasiecka, I., Triggiani, R., & Yao, P. (1999). Inverse/Observability Estimates for Second-Order Hyperbolic Equations with Variable Coefficients. Journal of Mathematical Analysis and Applications, 235 (1), 13-57. https://doi.org/10.1006/jmaa.1999.6348