An approximation problem in inverse scattering theory

In [3] a new method was introduced for solving the inverse scattering problem for acoustic waves in an inhomogeneous medium. This method is based on the solution of a new class of boundary value problems for the reduced wave equation called interior transmission problems. In this paper it is shown that if there is absorption there exists at most one solution to the interior transmission problem and an approximate solution can be found such that the metaharmonic part is a Herglotz wave function. These results provide the necessary theoretical basis for the inverse scattering method introduced in [3]     

A mathematical model for the three-dimentional ocean sound propagation

A model is developed mathematically to represent sound propagation in a three-dimensional ocean. The complete development is based on characteristics of the physical environment, mathematical theory, and computational accuracy.While the two-dimentional underwater acoustic wave propagation problem is not yet solved completely for range-dependent environments,three-dimentional environmental effects, such as fronts and eddies, often cannot be neglected. To predict underwater sound propagation, one usually deals with the solution of the Helmholtz (reduced wave) equation. This elliptical equation, along with a set of boundary conditions including a wall condition at the maximum range, forms a well-posed problem, which is pure boundary-value problem. An existing approach to economically solve this three-dimensional range-dependent problem is by means of a two-dimensional parabolic partial differential equation. This parabolic approximation approach, within the limitation of mathematical and acoustical approximations, offers efficient solutions to a class of long-range propagation problems. The parabolic wave equation is much easier to solve than the elliptic equation; one major saving is the removal of the wall boundary condition at the maximum range. The application of the two-dimensional parabolic wave equation to a number of realistic problems has been successful.We discuss the extension of the parabolic equation approach to three-dimensional problems. This paper begins with general considerations of the three-dimensional elliptic wave equation and shows how to transform this equation into parabolic equations which are easier to solve. The development of this paper focuses on wide angle three-dimensional underwater acoustic propagation and accommodates as a special case prevoius developments by other authors. In the course of our development, the physical properties, mathematical validity, and computational accuracy are the primary factors considered. We describe how parabolic wave equations are derived and how wide angle propagation is taken into consideration. Then, a discussion of the limitations and the advantages of the parabolic equation approximation is highlighted. These provide the background for the mathematical formulation of three-dimensional underwater acoustic wave propagation models.Modelling the mathematical solution to three-dimensional underwater acoustic wave propagation involves difficulties both in describing the theoretical acoustics and in performing the large scale computations. We have used the mathematical and physical properties of the problem to simplify considerably. Simplications allow us to introduce a three-dimensional mathematical model for underwater acoustic propagation predictions. Our wide angle three-dimensional parabolic equation model is theoretically justifiable and computationally accurate. This model offers a variety of capabilities to handle a class of long-range propagation problems under acoustical environments with three-dimensional variations.     

Solvability,asymptotic analysis and regularity results for a mixed type interaction problem of acoustic waves and piezoelectric structures

In the paper, we investigate the mixed type transmission problem arising in the model of fluid–solid acoustic interaction when a piezoceramic elastic body (Ω⁺) is embedded in an unbounded fluid domain (Ω^?). The corresponding physical process is described by the boundary‐transmission problem for second‐order partial differential equations. In particular, in the bounded domain Ω⁺, we have a 4×4 dimensional matrix strongly elliptic second‐order partial differential equation, while in the unbounded complement domain Ω^?, we have a scalar Helmholtz equation describing acoustic wave propagation. The physical kinematic and dynamic relations mathematically are described by appropriate boundary and transmission conditions. With the help of the potential method and theory of pseudodifferential equations based on the Wiener–Hopf factorization method, the uniqueness and existence theorems are proved in Sobolev–Slobodetskii spaces. We derive asymptotic expansion of solutions, and on the basis of asymptotic analysis, we establish optimal Hölder smoothness results for solutions. Copyright © 2017 John Wiley & Sons, Ltd.     

The transmission of a plane acoustic wave through a non-uniform thermoelastic layer

The reflection and refraction of a plane acoustic wave by a thermoelastic plane layer, non-uniform in thickness, bounded by non-viscous heat-conducting liquids, generally different, is considered. The system of equations for small perturbations of the thermoelastic medium is reduced to a system of ordinary differential equations, the boundary-value problem for which is solved by two methods: the spline-collocation method and the power-series method. Analytic expressions are obtained which describe the wave fields outside the layer. The results of calculations of the intensity transmission coefficient of the acoustic wave are presented.     

An inverse medium problem for scanning acoustic microscopy

For nondestructive testing of materials, the scanning acoustic microscope is commonly used for the qualitative visualization of elastic properties. However, especially for medical applications, quantitative evaluation of the measured data is of considerable interest. Based on a mathematical model of the process of scanning acoustic microscopy, the problem of recovering elastomechanical parameters of human bone can be cast into the form of identifying the unknown space-dependent speed of sound in the three-dimensional acoustic wave equation. Specific methods have to be devised for this kind of inverse medium problem due to the reduced set of measured data available. Here, an optimal control approach is used. We discuss uniqueness and stability of the reconstruction and present a numerical example. (© 2005 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

粘弹性介质中波场重建方法

传统的波动方程波场重建基于完全弹性介质，不能获得满意的地震资料分辨率，本基于能描述大地吸收弹性介质中地震波传播的斯托克斯波动方程．提出了一种新的多尺度粘弹性波动方程波场重建的方法，根据地震波传播核函数的物理特性，研究了一种新的物理小波，提出了小波多尺度波场重建方法。达到对吸收信息的补偿，提高地震资料的分辨率。     

Theoretical and numerical aspects of nonlinear reflection–transmission phenomena in acoustics

Equations of nonlinear acoustic wave motion in a non-classical lossy medium are used to derive generalised formulas describing the phenomena of reflection and transmission. Integral, non-local operators that are caused by the nonlinear effects in wave propagation and occur in reflection and transmission formulas are given in a form in which classical linear reflection and transmission coefficients are explicitly separated. Numerical calculations are performed for a simplified, one-dimensional wave travelling in a lossless medium. These simplifications reveal the pure effect of the impact of nonlinearities on the reflection and transmission phenomena. We consider adjacent media with different properties to illustrate various aspects of the problem. In particular, even if two media have the same linear impedance and the same material modules of the third order, we observe an explicit effect of the nonlinearity on the reflection phenomenon. The theoretical predictions are confirmed qualitatively by numerical calculations based on the finite difference time domain method.     

Theoretical and numerical aspects of nonlinear reflection–transmission phenomena in acoustics

Equations of nonlinear acoustic wave motion in a non-classical lossy medium are used to derive generalised formulas describing the phenomena of reflection and transmission. Integral, non-local operators that are caused by the nonlinear effects in wave propagation and occur in reflection and transmission formulas are given in a form in which classical linear reflection and transmission coefficients are explicitly separated. Numerical calculations are performed for a simplified, one-dimensional wave travelling in a lossless medium. These simplifications reveal the pure effect of the impact of nonlinearities on the reflection and transmission phenomena. We consider adjacent media with different properties to illustrate various aspects of the problem. In particular, even if two media have the same linear impedance and the same material modules of the third order, we observe an explicit effect of the nonlinearity on the reflection phenomenon. The theoretical predictions are confirmed qualitatively by numerical calculations based on the finite difference time domain method.     

The limiting behaviour of solutions of the acoustic transmission problems

The boundary integral equations for the transmission problems for the scalar Helmholtz equation have the property that the dimension of the null spaces changes as the transmission parameter tends to zero in the case where the wave number is an interior eigenvalue. Therefore, the investigation of the continuous dependence of solutions of the transmission problems leads to a certain singular perturbation problem. In order to investigate this problem, we generalize a perturbation theorem for parameter dependent linear operator equations of the second kind in Banach spaces given by Kress [6, 7]. In our study we also introduce a new integral equation formulation for the transmission problem which is better situated for our purposes than the classical approach.     

An Inverse Problem in Elastostatics

This paper assembles a variety of methods which have been devisedfor acoustic and elastic wave propagation inverse problems andadapts them to the problem of determining the shear modulusprofile of an elastic half-space from a knowledge of the torsionaldeflection and shear stress distributions on the surface. Methodsinclude the reduction to a Gel'fand-Levitan integral equation,for which a fast numerical algorithm is presented; a methodbased on modelling the half-space as a layered medium; identificationof the medium as a member of a family for which a closed formsolution is possible; a Green's function approach for a mediumwith small variations from uniformity.     

A trace theorem for solutions of the wave equation,and the remote determination of acoustic sources

The determination of sources of acoustic wave motion in several dimensions from remote measurements is of considerable interest in many applications, and the underlying mathematical problem is quite ill-posed. We separate the source determination problem into a control problem for the wave equation and an inverse mixed initial-boundary value problem, and concentrate on the latter, in which the initial data for a solution of the wave equation are to be determined from its trace on a time-like hyperplane. Though the geometry of this problem is simple, it exhibits some of the central analytic difficulties of more complex problems. We prove a uniqueness theorem, give examples of instability, establish regularity properties of the trace, and locate noncompact classes of stable functionals. The existence of these noncompact classes shows that the problem is “partially well-posed”, i.e. that smoothing in all directions is not required to regularize the problem, and distinguishes it from most other ill-posed problems, such as backwards diffusion and analytic continuation.     

Numerical solution of integral equations of first and second kind in scalar and vector problems of diffraction on a cube

We consider the problem of numerical simulation of the scattering of acoustic and electromagnetic waves on a cube whose edge ha s length up to 8 wave lengths of the incident wave. We describe a scheme using a representation of the boundary integral equation in the form of an operator convolution equation on the symmetry group of the cube. We compare the results of numerical solution of integral equations of first and second kind for scalar and vector problems of diffraction of a plane wave on a cube. Translated fromProblemy Matematicheskoi Fiziki, 1998, pp. 36–45.     

Eine Integralgleichungsmethode für akustische Reflexionsprobleme an lokal gestörten Ebenen

In this paper we consider the reflection of acoustic waves at an unbounded surface which coincides with a plane outside a sufficiently large sphere. We prove uniqueness and existence theorems for the corresponding boundary value problems for the reduced wave equation with Dirichlet and Neumann data by employing integral equation methods.     

Finite difference on grids with nearly uniform cell area and line spacing for the wave equation on complex domains

A finite difference time-dependent numerical method for the wave equation, supported by recently derived novel elliptic grids, is analyzed. The method is successfully applied to single and multiple two-dimensional acoustic scattering problems including soft and hard obstacles with complexly shaped boundaries. The new grids have nearly uniform cell area (J-grids) and nearly uniform grid line spacing (αγ-grids). Numerical experiments reveal the positive impact of these two grid properties on the scattered field convergence to its harmonic steady state. The restriction imposed by stability conditions on the time step size is relaxed due to the near uniformity cell areas and grid line spacing. As a consequence, moderately large time steps can be used for relatively fine spatial grids resulting in greater accuracy at a lower computational cost. Also, numerical solutions for wave problems inside annular regions of complex shapes are obtained. The use of the new grids results in late time stability in contrast with other classical finite difference time-dependent methods.     

Uniform boundary stabilization of a wave equation with nonlinear acoustic boundary conditions and nonlinear boundary damping

We consider a wave equation with nonlinear acoustic boundary conditions. This is a nonlinearly coupled system of hyperbolic equations modeling an acoustic/structure interaction, with an additional boundary damping term to induce both existence of solutions as well as stability. Using the methods of Lasiecka and Tataru for a wave equation with nonlinear boundary damping, we demonstrate well-posedness and uniform decay rates for solutions in the finite energy space, with the results depending on the relationship between (i) the mass of the structure, (ii) the nonlinear coupling term, and (iii) the size of the nonlinear damping. We also show that solutions (in the linear case) depend continuously on the mass of the structure as it tends to zero, which provides rigorous justification for studying the case where the mass is equal to zero.     

Linearization Ill-Posedness for 2.5-D Ware Equation Inversion Model

Abstract For the weakly inhomogeneous acoustic medium in Ω={(x,y,z):z>0},we consider the inverse problemof determining the density function ρ(x,y).The inversion input for our inverse problem is the wave field givenon a line.We get an integral equation for the 2-D density perturbation from the linearization.By virtue of theintegral transform,we prove the uniqueness and the instability of the solution to the integral equation.Thedegree of ill-posedness for this problem is also given.     

Two approaches to the solution of coefficient inverse problems for wave equations

Two approaches to solving coefficient inverse problems for wave equations are compared. One approach is based on integral representations obtained with the help of the Green’s function for the wave equation. In the other approach, the gradient of the error functional is directly computed in terms of the solution of the adjoint problem for a partial differential equation. The methods developed are intended for finding inhomogeneities in homogeneous media and can be applied in medicine diagnostics, acoustic and seismic near surface exploration, engineering seismics, etc.     

Optimal control of a reflection boundary coefficient in an acoustic wave equation

We seek to optimally control a reflection boundary coefficient for an acoustic wave equation. The goal-quantified by an objective functional- is to drive the solution close to a target by adjusting this coefficient, which acts as a control. The problem is solved by finding the optimal control, which minimizes the objective functional. Then the optimal control is used as a an approximation for an inverse “ identification” problem.     

On the linearization of operators related to the full waveform inversion in seismology

In this work, we analyze the parameter‐to‐solution map of the acoustic wave equation with respect to its parameters wave speed and mass density. This map is a mathematical model for the seismic inverse problem where one wants to recover the parameters from measurements of the acoustic potential. We show its complete continuity and Fréchet differentiability. To this end, we provide necessary existence, stability, and regularity results. Moreover, we discuss various implications of our findings on the inverse problem and comment on the Born series. Copyright © 2013 John Wiley & Sons, Ltd.