A Carleman estimate and an energy method for a first-order symmetric hyperbolic system

Abstract

For a symmetric hyperbolic system of the first order, we prove a Carleman estimate under some positivity condition concerning the coefficient matrices. Next, applying the Carleman estimate, we prove an observability $L^2$-estimate for initial values by boundary data.