Title:The framework of the enclosure method with dynamical data and its applications

Abstract:The aim of this paper is to establish the framework of the enclosure method for some class of inverse problems whose governing equations are given by parabolic and hyperbolic equations with discontinuous coefficients.
In the framework the original inverse problems are reduced to inverse problems whose governing equations have a large parameter. A list of requirements which enables one to apply the enclosure method to those reduced inverse problems is given. The framework is given by considering a concrete inverse initial boundary value problem for a parabolic equation with discontinuous coefficients. The problem is to extract information about the location and shape of unknown inclusions embedded in a known isotropic heat conductive body from a set of the input heat flux across the boundary of the body and output temperature on the same boundary.
Two new results which can be considered as the application of the framework are given. In the first result the background conductive body is assumed to be homogeneous and a family of explicit complex exponential solutions are employed. Second an application of the framework to inclusions in an isotropic inhomogeneous heat conductive body is given. The main problem is the construction of the special solution of the governing equation with a large parameter for the background inhomogeneous body required by the framework. It is shown that, introducing another parameter which is called the virtual slowness and making it sufficiently large, one can construct the required solution which yields an extraction formula of the convex hull of unknown inclusions in a known isotropic inhomogeneous conductive body.
The framework works also for a similar problem governed by hyperbolic equations. An example of the application and a discussion on an open problem are also given.