The inverse coefficient problem of recovering the potential q(x) in the damped wave equation , (x, t) ∈ Ω T ≔ (0, ℓ) × (0, T) subject to the boundary conditions r(0)u x (0, t) = f(t), u(ℓ, t) = 0, from the Dirichlet boundary measured output ν(t) ≔ u(0, t), t ∈ (0, T] is studied. A detailed microlocal analysis of regularity of the direct problem solution in the subdomains defined by the characteristics as well as along these characteristics is provided. Based on this analysis, necessary regularity results and energy estimates are derived. It is proved that the Dirichlet boundary measured output uniquely determines the potential q(x) in the interval [0, h(T/2)] and this solution belongs to C(0, h(T/2)) with T < T*, where h(z) is the root of the equation , . Moreover, the global uniqueness theorem is proved. Compactness, invertibility and Lipschitz continuity of the Neumann-to-Dirichlet operator , Φ f [q](t) ≔ u(0, t; q) is proved. This allows us to prove an existence of a quasi-solution of the inverse problem defined as a minimum of the Tikhonov functional as well as its Fréchet differentiability. An explicit formula for the Fréchet gradient is derived by making use of the unique solution to corresponding adjoint problem. The proposed approach is leads to very effective gradient based computational identification algorithm.
Read full abstract