More than ten years ago Ikehata discovered two mathematical methods for the purpose of extracting information about the location and shape of unknown discontinuity embedded in a known background medium from observation data. The methods are called the probe and enclosure methods. This paper presents their past and recent applications to inverse obstacle scattering problems of acoustic wave.
The aim of this chapter is to make a review of the recent results using the Enclosure Method on inverse obstacle problems governed by the wave equation and the Maxwell system in time domain. We also describe some of unsolved problems related to further possibility of the Enclosure Method itself.
This paper gives a note on an application of the enclosure method to an inverse obstacle scattering problem governed by the Helmholtz equation in two dimensions. It is shown that one can uniquely determine the convex hull of an unknown sound-hard polygonal obstacle from the trace of the total wave that was exerted by a single point source onto a known circle surrounding the obstacle provided the source is sufficiently far from the obstacle. The result contains a formula that extracts the value of the support function of the obstacle at a generic direction. Some other applications to thin obsta…
A simple method for some class of inverse obstacle scattering problems is introduced. The observation data are given by a wave field measured on a known surface surrounding unknown obstacles over a finite time interval. The wave is generated by an initial data with compact support outside the surface. The method yields the distance from a given point outside the surface to obstacles and thus more than the convex hull.
In this paper a wave is generated by an initial data whose support is localized at the outside of unknown obstacles and observed in a limited time on a known closed surface or the same position as the support of the initial data. The observed data in the latter process are nothing but the back-scattering data. Two types of obstacles are considered. One is obstacles with a dissipative boundary condition which is a generalization of the sound-hard obstacles; another is obstacles with a finite refractive index, so-called, transparent obstacles. For each type of obstacles two formulae which yield …
This paper gives a remark on the Enclosure Method by considering inverse obstacle scattering problems with a single incident wave whose governing equation is given by the Helmholtz equation in two dimensions. It is concerned with the indicator function in the Enclosure Method. The previous indicator function is essentially real-valued since only its absolute value is used. In this paper, another method for the use of the indicator function is introduced. The method employs the logarithmic differential with respect to the independent variable of the indicator function and yields directly the co…
In this paper, a time domain enclosure method for an inverse obstacle scattering problem of electromagnetic wave is introduced. The wave as a solution of Maxwell's equations is generated by an applied volumetric current having an {\it orientation} and supported outside an unknown obstacle and observed on the same support over a finite time interval. It is assumed that the obstacle is a perfect conductor. Two types of analytical formulae which employ a {\it single} observed wave and explicitly contain information about the geometry of the obstacle are given. In particular, an effect of the orie…
This paper considers an inverse problem for the classical wave equation in an exterior domain. It is a mathematical interpretation of an inverse obstacle problem which employs the dynamical scattering data of acoustic wave over a finite time interval. It is assumed that the wave satisfies a Robin type boundary condition with an unknown variable coefficient. The wave is generated by the initial data localized outside the obstacle and observed over a finite time interval at the same place as the support of the initial data. It is already known that, using the enclosure method, one can extract th…
We present a reconstruction algorithm for recovering both "magnetic-hard" and "magnetic-soft" obstacles in a background domain with known isotropic medium from the boundary impedance map. We use in our algorithm complex geometric optics solutions constructed for Maxwell's equation.
An inverse obstacle scattering problem for the wave governed by the Maxwell system in the time domain, in particular, over a finite time interval is considered. It is assumed that the electric field $\mbox{\boldmath $E$}$ and magnetic field $\mbox{\boldmath $H$}$ which are solutions of the Maxwell system are generated only by a current density at the initial time located not far a way from an unknown obstacle. The obstacle is embedded in a medium like air which has constant electric permittivity $ε$ and magnetic permeability $μ$. It is assumed that the fields on the surface of the obstacle sat…
An inverse obstacle problem for the wave equation in a two layered medium is considered. It is assumed that the unknown obstacle is penetrable and embedded in the lower half-space. The wave as a solution of the wave equation is generated by an initial data whose support is in the upper half-space and observed at the same place as the support over a finite time interval. From the observed wave an indicator function in the time domain enclosure method is constructed. It is shown that, one can find some information about the geometry of the obstacle together with the qualitative property in the a…
The wave equation is time-reversal invariant. The enclosure method using a Neumann data generated by this invariance is introduced. The method yields the minimum ball that is centered at a given arbitrary point and encloses an unknown obstacle embedded in a known bounded domain from a single point on the graph of the so-called response operator on the boundary of the domain over a finite time interval. The occurrence of the lacuna in the solution of the free space wave equation is positively used.
A mathematical method for through-wall imaging via wave phenomena in the time domain is introduced. The method makes use of a single reflected wave over a finite time interval and gives us a criterion whether a penetrable obstacle exists or not in a general rough background medium. Moreover, if the obstacle exists, the lower and upper estimates of the distance between the obstacle and the center point of the support of the initial data are given. As an evidence of the potential of the method two applications are also given.
The characterization problem of the existence of an unknown obstacle behind a known obstacle is considered by using a singe observed wave at a place where the wave is generated. The unknown obstacle is invisible from the place by using visible ray. A mathematical formulation of the problem using the classical wave equation is given. The main result consists of two parts: (i) one can make a decision whether the unknown obstacle exists or not behind a known impenetrable obstacle by using a single wave over a finite time interval under some a-priori information on the position of the unknown obst…
This paper is concerned with reconstruction issue of inverse obstacle problems governed by partial differential equations and consists of two parts. (i) The first part considers the foundation of the probe and enclosure methods for an impenetrable obstacle embedded in a medium governed by the stationary Schrödinger equation. Under a general framework, some natural estimates for a quantity computed from a pair of the Dirichlet and Neumann data on the outer surface of the body occupied by the medium are given. The estimates enables us to derive almost immediately the necessary asymptotic behavio…
Now a final and maybe simplest formulation of the enclosure method applied to inverse obstacle problems governed by partial differential equations in a {\it spacial domain with an outer boundary} over a finite time interval is fixed. The method employs only a single pair of a quite natural Neumann data prescribed on the outer boundary and the corresponding Dirichlet data on the same boundary of the solution of the governing equation over a finite time interval, that is a single point on the graph of the so-called {\it response operator}. It is shown that the methods enables us to extract the d…
This paper is concerned with an inverse obstacle problem which employs the dynamical scattering data of acoustic wave over a finite time interval. The unknown obstacle is assumed to be sound-soft one. The governing equation of the wave is given by the classical wave equation. The wave is generated by the initial data localized outside the obstacle and observed over a finite time interval at a place which is not necessary the same as the support of the initial data. The observed data are the so-called bistatic data. In this paper, an enclosure method which employs the bistatic data and is based…
An inverse obstacle problem for the wave governed by the wave equation in a two layered medium is considered under the framework of the time domain enclosure method. The wave is generated by an initial data supported on a closed ball in the upper half-space, and observed on the same ball over a finite time interval. The unknown obstacle is penetrable and embedded in the lower half-space. It is assumed that the propagation speed of the wave in the upper half-space is greater than that of the wave in the lower half-space, which is excluded in the previous study: Ikehata and Kawashita (2018) to a…
An inverse obstacle scattering problem for the electromagnetic wave governed by the Maxwell system over a finite time interval is considered. It is assumed that the wave satisfies the Leontovich boundary condition on the surface of an unknown obstacle. The condition is described by using an unknown positive function on the surface of the obstacle which is called the surface admittance. The wave is generated at the initial time by a volumetric current source supported on a very small ball placed outside the obstacle and only the electric component of the wave is observed on the same ball over a…
This paper is concerned with a new type of inverse obstacle problem governed by a variable-order time-fraction diffusion equation in a bounded domain. The unknown obstacle is a region where the space dependent variable-order of fractional time derivative of the governing equation deviates from a known homogeneous background one. The observation data is given by the Neumann data of the solution of the governing equation for a specially designed Dirichlet data. Under a suitable jump condition on the deviation, it is shown that the most recent version of the time domain enclosure method enables o…
A simple idea of finding a domain that encloses an unknown discontinuity embedded in a body is introduced by considering an inverse boundary value problem for the heat equation. The idea gives a design of a special heat flux on the surface of the body such that from the corresponding temperature field on the surface one can extract the smallest radius of the sphere centered at an arbitrary given point in the whole space and enclosing unknown inclusions. Unlike before, the designed flux is free from a large parameter. An application of the idea to a coupled system of the elastic wave and heat e…
An inverse problem for the wave equation outside an obstacle with a {\it dissipative boundary condition} is considered. The observed data are given by a single solution of the wave equation generated by an initial data supported on an open ball. An explicit analytical formula for the computation of the coefficient at a point on the surface of the obstacle which is nearest to the center of the support of the initial data is given.
This paper gives applications of the enclosure method introduced by the author to typical inverse obstacle and crack scattering problems in two dimensions. Explicit extraction formulae of the convex hull of unknown polygonal sound-hard obstacles and piecewise linear cracks from the far field pattern of the scattered field at a fixed wave number and at most two incident directions are given. The main new points of this paper are: a combination of the enclosure method and the Herglotz wave function; explicit construction of the density in the Herglotz wave function by using the idea of the Vekua…
We study the enclosure method for the p-Calderón problem, which is a nonlinear generalization of the inverse conductivity problem due to Calderón that involves the p-Laplace equation. The method allows one to reconstruct the convex hull of an inclusion in the nonlinear model by using exponentially growing solutions introduced by Wolff. We justify this method for the penetrable obstacle case, where the inclusion is modelled as a jump in the conductivity. The result is based on a monotonicity inequality and the properties of the Wolff solutions.
An inverse boundary value problem for the Helmholtz equation in a bounded domain is considered. The problem is to extract information about an unknown obstacle embedded in the domain with unknown impedance boundary condition (the Robin condition) from the associated Dirichlet-to-Neumann map. The main result is a characterization of the unknown obstacle via the sequences that are constructed by the Dirichlet-to-Neumann map, under smallness conditions on the wave number and the upper bound of the impedance. Moreover two alternative simple proofs of a previous result of Cheng-Liu-Nakamura which a…
We analyze the steady motion of a viscous incompressible fluid in a three-dimensional channel containing an obstacle through the Navier-Stokes equations with mixed boundary conditions: the inflow is given by a fairly general datum and the flow is assumed to satisfy a constant traction boundary condition on the outlet, together with the standard no-slip assumption on the obstacle and on the remaining walls of the domain. Explicit bounds on the inflow velocity guaranteeing existence and uniqueness of such steady motion are provided after estimating some Sobolev embedding constants and constructi…
Fluid flows around a symmetric obstacle generate vortices which may lead to symmetry breaking of the streamlines. We study this phenomenon for planar viscous flows governed by the stationary Navier-Stokes equations with constant inhomogeneous Dirichlet boundary data in a rectangular channel containing a circular obstacle. In such (symmetric) framework, symmetry breaking is strictly related to the appearance of multiple solutions. Symmetry breaking properties of some Sobolev minimizers are studied and explicit bounds on the boundary velocity (in terms of the length and height of the channel) en…
We show that a steady-state solution ${\bf U}$ to the system of equations of a Navier-Stokes flow past a rotating body is nonlinearly unstable if the associated linear operator $\cal L$ has a part of the spectrum in the half-plane $\{λ\in\mathbb C;\ {\rm Re}\, λ>0\}$. Our result does not follow from known methods, %on spectral instability, mainly because the basic nonlinear operator is not bounded in the same space in which the instability is studied. As an auxiliary result of independent interest, we also show that the uniform growth bound of the $C_0$--semigroup ${\rm e}^{{\cal L} t}$ is equ…
Consider the motion of a viscous incompressible fluid in a 3D exterior domain when a rigid body moves with prescribed time-dependent translational and angular velocities. For the linearized non-autonomous system, $L^q$-$L^r$ smoothing action near the initial time as well as generation of the evolution operator was shown by Hansel and Rhandi (J. Reine Angew. Math. 2014) under reasonable conditions. In this paper we develop the $L^q$-$L^r$ decay estimates of the evolution operator and then apply them to the Navier-Stokes initial value problem.
Regularity and singularity of the solutions according to the shape of domains is a challenging research theme in the Boltzmann theory (\cite{Kim11,GKTT1}). In this paper, we prove an Hölder regularity in $C^{0,\frac{1}{2}-}_{x,v}$ for the Boltzmann equation of the hard-sphere molecule, which undergoes the elastic reflection in the intermolecular collision and the contact with the boundary of a convex obstacle. In particular, this Hölder regularity result is a stark contrast to the case of other physical boundary conditions (such as the diffuse reflection boundary condition and in-flow boundary…
We deal with the problem of reconstructing interfaces using complex geometrical optics solutions for the Maxwell system. The contributions are twofold. First, we justify the enclosure method for the impenetrable obstacle case avoiding any assumption on the directions of the phases of the CGO's (or the curvature of obstacle's surface). In addition, we need only a Lipschitz regularity of this surface. The analysis is based on some fine properties of the corresponding layer potentials in appropriate Sobolev spaces. Second, we justify this method also for the penetrable case, where the interface i…
We consider a statistical limit of solutions to the compressible Navier--Stokes system in the high Reynolds number regime in a domain exterior to a rigid body. We investigate to what extent this highly turbulent regime can be modeled by an external stochastic perturbation, as suggested in the related physics literature. To this end, we interpret the statistical limit as a stochastic process on the associated trajectory space. We suppose that the limit process is statistically equivalent to a solution of the stochastic compressible Euler system. Then, necessarily, (i) the stochastic forcing is …
This paper is concerned with reconstruction issue of some typical inverse problems and consists of three parts. First a framework of the enclosure method for an inverse source problem governed by the Helmholtz equation at a fixed wave number in three dimensions is introduced. It is based on the nonvanishing of the coefficient of the leading profile of an oscillatory integral over a domain having a conical singularity. Second an explicit formula of the coefficient for a domain having a circular cone singularity and its implication under the framework are given. Third, an application under the f…
In this paper, we consider the initial-boundary value problem of three-dimensional isentropic compressible Navier-Stokes equations with rotating effect terms in an exterior domain with Navier-slip boundary condition and with far-field vacuum. This problem is related to the motion of the compressible viscous flow past a rotating obstacle. We establish the global existence and uniqueness of classical solutions, provided that the initial mass is small. The initial data and the angular velocity of the obstacle are allowed to have large oscillations.
We present a cut-cell method for the simulation of 2D incompressible flows past obstacles. It consists in using the MAC scheme on cartesian grids and imposing Dirchlet boundary conditions for the velocity field on the boundary of solid structures following the Shortley-Weller formulation. In order to ensure local conservation properties, viscous and convecting terms are discretized in a finite volume way. The scheme is second order implicit in time for the linear part, the linear systems are solved by the use of the capacitance matrix method for non-moving obstacles. Numerical results of flows…
Consider the Navier-Stokes flow past a rotating obstacle with a general time-dependent angular velocity and a time-dependent outflow condition at infinity -- sometimes called an Oseen condition. By a suitable change of coordinates the problem is transformed to an non-autonomous problem with unbounded drift terms on a fixed exterior domain $Ω\subset \R^d$. It is shown that the solution to the linearized problem is governed by a strongly continuous evolution system $\{T_Ω(t,s)\}_{t\geq s\geq0}$ on $L^p_σ(Ω)$ for $1<p<\infty$. Moreover, $L^p$-$L^q$ smoothing properties and gradient estimates of $…
In some problems of fluid mechanics, it is possible to be confronted with data that are not regular, that is why we are interested here in the search for the so-called very weak solutions for the stationary Stokes problem with Navier-type boundary conditions in a three-dimensional exterior domain. The problem describes the flow of a viscous and incompressible fluid past an obstacle where we assume that the fluid may slip on the boundary of the obstacle. Because the flow domain is unbounded, we set the problem in weighted Sobolev spaces in order to control the behavior at infinity of the soluti…
We study solutions to the obstacle problem for the stationary Navier--Stokes system in a~two dimensional exterior domain (flow past a prescribed body). We prove that the classical Leray solution to this problem is always nontrivial. No additional condition (on symmetry or smallness, etc.) is assumed. This is a complete extension of a~classical result of C.J. Amick (Acta Math. 1988) where nontriviality was proved under symmetry assumption.
