Abstract: We consider the inverse coefficient problem of identifying the principal coefficient r(x) > 0 in the damped wave equation m(x)utt + μ(x)ut = (r(x)ux)x, subject to the boundary conditions u(0, t) = s(t), u(L, t) = 0, from the Neumann boundary output f (t): = r(0)ux(0,t), t \in (0, T]. We propose detailed microlocal analysis of the regularity of the solution of the wave equation in each subdomain defined by the characteristics of the wave equation. This analysis allows us to derive sufficient conditions for the regularity of the weak solution of the direct problem, especially along the characteristic lines, as well as to prove necessary energy estimates including also stability estimate for auxiliary hyperbolic problem. Based on this analysis we prove the compactness and Lipschitz continuity of the Dirichlet-to- Neumann operator [·] :R H2(0, T)  L2(0, T), [r](t) := r(0)ux(0, t; r) corresponding to the inverse problem. The last property allows us to prove an existence of a quasi-solution of the inverse problem defined as a minimum of the Tikhonov functional and also Fréchet differentiability of this functional. For the case when m(x) = 1 and μ(x) = 0, a uniqueness theorem is derived. An explicit formula for the Fréchet gradient of the Tikhonov functional and its justification are derived by making use of the unique solution to corresponding adjoint problem. The approach proposed in this paper is expected to lead to very effective computational identification algorithms.

Cite: Romanov V. , Hasanov A.
Recovering a potential in damped wave equation from Dirichlet-to-Neumann operator
Inverse Problems. 2020. V.36. N11. P.025003. DOI: 10.1088/1361-6420/abb8e8 WOS Scopus OpenAlex

Dates:

Submitted:	Jun 19, 2019
Accepted:	Oct 13, 2019

Identifiers:

Web of science:	WOS:000585726200001
Scopus:	2-s2.0-85096757173
OpenAlex:	W3095354691

Citing:

DB	Citing
Scopus	4
OpenAlex	4
Web of science	3

Altmetrics: