Global Uniqueness and Stability in Determining the Damping Coefficient of an Inverse Hyperbolic Problem with Non-Homogeneous Neumann B.C. through an Additional Dirichlet Boundary Trace
We consider a second-order hyperbolic equation on an open bounded domain Ω in Rn for n≥2, with C2-boundary $Γ=\paΩ=\bar{Γ_0\cupΓ_1}$, Γ0∩Γ1=∅, subject to non-homogeneous Neumann boundary conditions on the entire boundary Γ. We then study the inverse problem of determining the interior damping coefficient of the equation by means of an additional measurement of the Dirichlet boundary trace of the solution, in a suitable, explicit sub-portion Γ1 of the boundary Γ, and over a computable time interval T>0. Under sharp conditions on the complementary part Γ0=Γ\Γ1, T>0, and under weak regularity requirements on the data, we establish the two canonical results in inverse problems: (i) uniqueness and (ii) stability (at the L2-level). The latter (ii) is the main result of the paper. Our proof relies on three main ingredients: (a) sharp Carleman estimates at the H1×L2-level for second-order hyperbolic equations \cite{L-T-Z.1}; (b) a correspondingly implied continuous observability inequality at the same energy level \cite{L-T-Z.1}; (c) sharp interior and boundary regularity theory for second-order hyperbolic equations with Neumann boundary data \cite{L-T.4}, \cite{L-T.5}, \cite{L-T.6}, \cite{Ta.3}. The proof of the linear uniqueness result (Section 4, step 5) also takes advantage of a convenient tactical route "post-Carleman estimates" suggested by V.Isakov in \cite[Thm.\,8.2.2, p.\,231]{Is.2}.