Recovering a potential in damped wave equation from Neumann-to-Dirichlet operator

• Published in: Inverse problems Vol. 36; no. 11; pp. 115011 - 115040
• Main Authors: Romanov, Vladimir, Hasanov, Alemdar
• Format: Journal Article
• Language: English
• Published: IOP Publishing 01.11.2020
• Subjects: damped wave equation; existence of a quasi-solution; Fr\'{e}chet gradient; Neumann-to-Dirichlet operator; recovering a potential; uniqueness of the inverse problem solution
• ISSN: 0266-5611; 1361-6420
• DOI: 10.1088/1361-6420/abb8e8

The inverse coefficient problem of recovering the potential q(x) in the damped wave equation m(x)utt+μ(x)ut=r(x)uxx+q(x)u, (x, t) ∈ ΩT ≔  (0, ℓ) × (0, T) subject to the boundary conditions r(0)ux(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 z=∫0h(z)m(x)/r(x)dx, T*=2∫0ℓm(x)/r(x)dx. Moreover, the global uniqueness theorem is proved. Compactness, invertibility and Lipschitz continuity of the Neumann-to-Dirichlet operator Φf[⋅]:Q⊂C(0,ℓ)↦L2(0,T), Φ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 J(q)≔(1/2)||Φf[⋅]−ν||L2(0,T)2 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.