Masaru Ikehata
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
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.
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 source problem for the heat equation is considered. Extraction formulae for information about the time and location when and where the unknown source of the equation firstly appeared are given from a single lateral boundary measurement. New roles of the plane progressive wave solutions or their complex versions for the backward heat equation are given.
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.
The enclosure method using a single point on the graph of the response operator for the Stokes system
本文针对时域Stokes系统的反障碍物问题，利用最新时域包络法，仅基于边界上有限时间内的速度与Cauchy应力数据，提出了两类提取未知障碍物几何信息的公式。
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 equations with discontinuous coefficients. 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. …
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…
On finding a penetrable obstacle using a single electromagnetic wave in the time domain
本文针对时域 Maxwell 方程组的可穿透障碍反演问题，建立基于单组有限时间解的时域包围法理论，并在均匀各向同性背景介质中加以实现。
This paper studies a prototype of inverse initial boundary value problems whose governing equation is the heat equation in three dimensions. An unknown discontinuity embedded in a three-dimensional heat conductive body is considered. A {\it single} set of the temperature and heat flux on the lateral boundary for a fixed observation time is given as an observation datum. It is shown that this datum yields the minimum length of broken paths that start at a given point outside the body, go to a point on the boundary of the unknown discontinuity and return to a point on the boundary of the body un…
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.
This paper shows how the enclosure method which was originally introduced for elliptic equations can be applied to inverse initial boundary value problems for parabolic equations. For the purpose a prototype of inverse initial boundary value problems whose governing equation is the heat equation is considered. An explicit method to extract an approximation of the value of the support function at a given direction of unknown discontinuity embedded in a heat conductive body from the temperature for a suitable heat flux on the lateral boundary for a fixed observation time is given.
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…
The shortest lengths and the enclosure method for time dependent problems
本文研究了非分层或两层介质中包含体反问题，探讨了最短距离在时间依赖包围方法中的作用，并放宽了边界正则性假设。
The enclosure method was originally introduced for inverse problems of concerning non-destructive evaluation governed by elliptic equations. It was developed as one of useful approaches in inverse problems and applied for various equations. In this paper, an application of the enclosure method to an inverse initial boundary value problem for a parabolic equation with a discontinuous coefficient is given. A simple method to extract the depth of unknown inclusions in a heat conductive body from a single set of the temperature and heat flux on the boundary observed over a finite time interval is …
Reconstructing unknown inclusions for the biharmonic equation
本文研究利用包围法和Dirichlet-to-Neumann映射检测双调和方程中未知可穿透障碍物的反问题，通过具有对数相位的复几何光学解重构障碍物的非凸部分。
It is proved that if the scattering amplitudes at a fixed wavenumber for two obstacles from a certain large class of obstacles differ a little, than the obstacles differ a little. Error estimate is given. It is proved that there is an inversion formula for finding the obstacle from a fixed-energy scattering data.
Asymptotic behavior of the indicator function in the inverse problem of the wave equation for media with multiple types of cavities
本文研究多种类型空腔介质中波动方程反问题，针对包络法指示函数符号不确定及符号抵消导致信息丢失的问题，通过分析高阶项证明仍可求得最短距离。
Learned enclosure method for experimental EIT data
本文针对EIT逆问题，提出将Ikehata包络法与神经网络结合，从边界测量估计夹杂物凸包，并在模拟和实验数据上验证其优于经典最小二乘包络法。
An inverse problem of finding an obstacle and the boundary condition on its surface from the fixed-energy scattering data is studied. A new method is developed for a proof of the uniqueness results. The method does not use the discreteness of the spectrum of the corresponding Laplacian in a bounded domain. Proof of the uniqueness results is based on the fact that the Hilbert space of square integrable functions is separable.
It is proved that a connected polygonal obstacle coated by thin layers together with its surface impedance function can be determined uniquely from the far field pattern of a single incident plane wave. Our proof is based on the Schwarz reflection principle for the Helmholtz equation satisfying the impedance boundary condition on a flat boundary.
In this paper, we give a positive answer to a challenging open problem for recovering unknown obstacle (which is usually referred to as a scatterer) by acoustic wave probe associated to the Helmholtz equation. We show that the acoustic scattering amplitude $A(β, α_0, k_0)$, known for all $β\in {\mathbb S}^2$, where ${\mathbb {S}}^2$ is the unit sphere in ${\mathbb{R}}^3$, ${α}_0\in {\mathbb{S}}^2$ is fixed, $k_0>0$ is fixed, determines the obstacle $D$ and the boundary condition on $\partial D$ uniquely (The boundary condition on $\partial D$ is either the Dirichlet, or Neumann, or the impedan…
We consider an inverse boundary value problem for the equation $\nabla\cdot(σ-iωε)\nabla u=0$ in a given bounded domain $Ω$ at a fixed $ω>0$. $σ$ and $ε$ denote the conductivity and permittivity of the material forming $Ω$, respectively. We give some formulae for extracting information about the location of the discontinuity surface of $(σ,ε)$ from the Dirichlet-to-Neumann map. In order to obtain results we make use of two methods. The first is the enclosure method which is based on a new role of the exponentially growing solutions of the equation for the background material. The second is a g…
This paper is concerned with the study of inverse transmission problems for magnetic Schrödinger operators on bounded domains and in all of the Euclidean space, in the self-adjoint case. Assuming that the magnetic and electric potentials are known outside of a transparent obstacle, in the bounded domain case, we show that the obstacle, the transmission coefficients, as well as the magnetic field and electric potential inside the obstacle are uniquely determined from the knowledge of the set of the Cauchy data for the transmission problem, given on an open subset of the boundary of the domain. …
An inverse hyperbolic obstacle problem
该研究聚焦双曲型反障碍问题，建立了其Hölder稳定性，探究利用障碍物外围区域边界的两次测量值重构障碍物边界未知函数的问题。
An inverse obstacle problem for the magnetic Schrödinger equation
本文研究磁薛定谔方程的反障碍物问题，利用边界上的两次测量重构障碍物边界上的未知函数，并证明了该反问题在时间局部具有Lipschitz稳定性、在时间全局具有对数稳定性。
Effective medium theory for embedded sound-soft obstacles in an anisotropic inhomogeneous medium with applications
针对含多个声软障碍物的各向异性非均匀介质时谐声散射问题，提出将障碍物等效为带指定参数的各向同性有耗介质的理论框架，建立严格估计并示例验证，可用于逆散射中障碍物定位与介质恢复。
An inverse problem for inhomogeneous Signorini obstacle
本文研究通过边界测量确定一般Signorini障碍的逆问题，证明从边界任意开子集的测量中可唯一确定障碍形状和函数，适用于标量和弹性版本的问题。
Elastic scattering problems by penetrable obstacles with embedded objects
本文研究了具有嵌入物体的穿透障碍的弹性散射问题，通过积分方程方法证明了传输问题的适定性，并展示了在固定频率下远场模式可唯一确定非均匀穿透障碍物。
We consider the time-harmonic elastic wave scattering from a general (possibly anisotropic) inhomogeneous medium with an embedded impenetrable obstacle. We show that the impenetrable obstacle can be effectively approximated by an isotropic elastic medium with a particular choice of material parameters. We derive sharp estimates to rigorously verify such an effective approximation. Our study is strongly motivated by the related studies of two challenging inverse elastic problems including the inverse boundary problem with partial data and the inverse scattering problem of recovering mediums wit…
We study an inverse scattering problem at fixed energy for radial magnetic Schr{ö}dinger operators on R^2 \ B(0, r\_0), where r\_0 is a positive and arbitrarily small radius. We assume that the magnetic potential A satisfies a gauge condition and we consider the class C of smooth, radial and compactly supported electric potentials and magnetic fields denoted by V and B respectively. If (V, B) and (\tilde{V} , \tilde{B}) are two couples belonging to C, we then show that if the corresponding phase shifts $δ$\_l and \tilde{$δ$}\_l (i.e. the scattering data at fixed energy) coincide for all l $\in…
In this paper, we give a positive answer to a longstanding open problem for determining the shape of an obstacle from the knowledge of the far field pattern for the scattering of time-harmonic elastic wave. We show that the elastic far field pattern by an incoming plane wave with a fixed frequency, a fixed incident direction and a fixed polarization determines the obstacle $D$ and the boundary condition on $\partial D$ uniquely. The boundary condition on $\partial D$ is either the Dirichlet, or the Neumann, or the Robin one.
It is proved that a general polyhedral perfect conducting obstacle in $\mathbb{R}^3$, possibly consisting of finitely many solid polyhedra, is uniquely determined by the far-field pattern corresponding to a single incident wave. This improves earlier results in the literature to the formally determined case.
An inverse Signorini obstacle problem
该研究针对各向同性弹性系统的逆Signorini障碍问题，证明通过单次边界测量可唯一确定障碍，并发展了适用于一般微分不等式逆问题的技术。
Consider an exterior problem of the three-dimensional elastic wave equation, which models the scattering of a time-harmonic plane wave by a rigid obstacle. The scattering problem is reformulated into a boundary value problem by introducing a transparent boundary condition. Given the incident field, the direct problem is to determine the displacement of the wave field from the known obstacle; the inverse problem is to determine the obstacle's surface from the measurement of the displacement on an artificial boundary enclosing the obstacle. In this paper, we consider both the direct and inverse …
We introduced in [arXiv:1106.3204] a method to locate discontinuities of a wave speed in dimension two from acoustic boundary measuments modelled by the hyperbolic Neumann-to-Dirichlet operator. Here we extend the method for sound hard obstacles in arbitrary dimension. We present numerical experiments with simulated noisy data suggesting that the method is robust against measurement noise.
The primary objective of this research is to investigate an inverse problem of parameter identification in nonlinear mixed quasi-variational inequalities posed in a Banach space setting. By using a fixed point theorem, we explore properties of the solution set of the considered quasi-variational inequality. We develop a general regularization framework to give an existence result for the inverse problem. Finally, we apply the abstract framework to a concrete inverse problem of identifying the material parameter in an implicit obstacle problem given by an operator of $p$-Laplacian type.
Uniqueness in inverse elastic scattering from traction-free polygonal obstacles with a single incoming wave
本文针对二维有界无牵引力障碍物的时谐弹性散射逆问题，利用Navier方程反射原理与弹性场唯一延拓性，证明单个入射平面波下连通多边形障碍物可由远场模式唯一确定。
An inverse obstacle problem with a single pair of Cauchy data: Laplace's equation case
本文研究Laplace方程的逆障碍问题，提出基于factorization method的domain-defined sampling method与迭代混合策略，从单对柯西数据中恢复常数电导率系数和Dirichlet多边形障碍物，并证明了唯一性与高效性。
This paper is concerned with analysis of electromagnetic wave scattering by an obstacle which is embedded in a two-layered lossy medium separated by an unbounded rough surface. Given a dipole point source, the direct problem is to determine the electromagnetic wave field for the given obstacle and unbounded rough surface; the inverse problem is to reconstruct simultaneously the obstacle and unbounded rough surface from the electromagnetic field measured on a plane surface above the obstacle. For the direct problem, a new boundary integral equation is proposed and its well-posedness is establis…
Passive inverse obstacle scattering problems for the Helmholtz equation
本文研究$\mathbb{R}^d$中由Helmholtz方程支配的被动逆障碍散射问题，利用高斯随机过程建模随机源，建立了从近场相关测量中确定源强度或障碍物形状与位置的唯一性结果，并提出了数值重构的高效方法。
This paper is concerned with the inverse problem of determining an obstacle and the corresponding incident point sources in the Helmholtz equation from near-field scattering data. An optimization method is proposed to simultaneously recover both the obstacle and source locations. Moreover, a two-step sampling scheme with novel indicator functions is proposed to produce a good initial guess for solving the optimization problem. Theoretically, we analyze the convergence properties of the optimization method and the indicating behaviors of the indicator functions. Several numerical examples are p…
We study the inverse boundary value problems for the Schrödinger equations with Yang-Mills potentials in a bounded domain $Ω_0\subset\R^n$ containing finite number of smooth obstacles $Ω_j,1\leq j \leq r$. We prove that the Dirichlet-to-Neumann operator on $\partialΩ_0$ determines the gauge equivalence class of the Yang-Mills potentials. We also prove that the metric tensor can be recovered up to a diffeomorphism that is identity on $\partialΩ_0$.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。