Reconstruction of penetrable inclusions in elastic waves by boundary measurements (Q652490)

This article provides a mathematical proof justifying the use of Ikehata's method [\textit{M. Ikehata} and \textit{H. Itou}, Inverse Probl. 24, No. 2, Article ID 025005, 21 p. (2008; Zbl 1151.74020)] based on boundary measurements to reconstruct an unknown penetrable inclusion in a plane elastic body. The boundary measurements give many values of the Dirichlet-to-Neumann map defined on the exterior boundary of the elastic body where the Dirichlet values are the trace of specific testing solutions. Those solutions are called complex geometrical optics solutions after Uhlmann [\textit{G. Uhlmann} and \textit{J.-N. Wang}, SIAM J. Appl. Math. 68, No. 4, 1026--1044 (2008; Zbl 1146.35097)] since they involve complex valued phases with a parameter \(h\) standing for the inverse of the frequency. The author brings a new stone by taking advantage of the asymptotic decrease in the high frequency regime of a functional involving the Dirichlet-to-Neumann map to deduce the regularity of the boundary of the inclusion.