The spectral distribution exp( ), where {} are the eigenvalues of the negative Laplacian -△=- in the (x^1,x^2)-plane, is studied for a variety of domains, where -∞< t <∞ and i=(1/2)(-1) . The dependence of (...The spectral distribution exp( ), where {} are the eigenvalues of the negative Laplacian -△=- in the (x^1,x^2)-plane, is studied for a variety of domains, where -∞< t <∞ and i=(1/2)(-1) . The dependence of (t)on the connectivity of a domain and the boundary conditions are analyzed. Particular attention is given to a general bounded domain Ω in R^2 with a smooth boundary Ω, where a finite number of piecewise smooth Dirichlet, Neumann and Robin boundary conditions on the piecewise smooth parts Γj(j = 1,……,n) of Ω are considered such that Some geometrical properties of Ω(e.g., the area of Ω, the total lengths of the boundary, the curvature of its boundary, etc.) are determined, from the asymptotic expansions of (t) for |t| → 0.展开更多
We introduce a multi-cost-functional method for solving inverse problems of wave equations. This method has its simplicity, efficiency and good physical interpretation. It has the advantage of being programmed for two...We introduce a multi-cost-functional method for solving inverse problems of wave equations. This method has its simplicity, efficiency and good physical interpretation. It has the advantage of being programmed for two- or three- (space) dimensional problems as well as for one-dimensional problems.展开更多
In this paper, the medium parameters of the elastic wave equation in inhomogeneous medium are rewritten by introducing the referential variables and the perturbational variables, and the wave equation whose sources ar...In this paper, the medium parameters of the elastic wave equation in inhomogeneous medium are rewritten by introducing the referential variables and the perturbational variables, and the wave equation whose sources are the medium parameter perturbational term in homogeneous medium is obtained. By using the Green function theory, the integral equation of the perturbational parameters is obtained. Then the displacement field in homogeneous medium is considered the result of the first iteration, and the displacement field is solved by this integral equation. When the perturbations of medium parameters are about 50 percent, this method can solve the displacement field effectively. from the analysis of the numerical results, the characteristics of wave field in inhomogeneous medium are obtained. The results conform with the local principles of wave function in inhomogeneous medium.展开更多
The inverse problem for harmonic waves and wave packets was studied based on a full dispersive wave equation. First, a full dispersive wave equation which describes wave propagation in nondissipative microstructured l...The inverse problem for harmonic waves and wave packets was studied based on a full dispersive wave equation. First, a full dispersive wave equation which describes wave propagation in nondissipative microstructured linear solids is established based on the Mindlin theory, and the dispersion characteristics are discussed. Second, based on the full dispersive wave equation, an inverse problem for determining the four unknown coefficients of wave equa- tion is posed in terms of the frequencies and corresponding wave numbers of four different harmonic waves, and the inverse problem is demonstrated with rigorous mathematical theory. Research proves that the coefficients of wave equation related to material properties can be uniquely determined in cases of normal and anomalous dispersions by measuring the frequen- cies and corresponding wave numbers of four different harmonic waves which propagate in a nondissipative microstructured linear solids.展开更多
The inverse problem for the 1-dimensional acoustic wave equation is discussed to deter-mine propagation velocity from impulse response. A relation between the propagation velocityand the wavefield can be established f...The inverse problem for the 1-dimensional acoustic wave equation is discussed to deter-mine propagation velocity from impulse response. A relation between the propagation velocityand the wavefield can be established from the analysis of propagation of discontinuities forhyperbolic equations. As a result, the inverse problem discussed in this paper is reduced to aparticular initial value problem of a semilinear system of P. D. E.. The Picard iteration forsolving this initial value problem is constructed and the convergence of iteration is proved.The main results are the following: (i) the propagation velocity can always be recovered fromthe impulse response, unless the inverse problem contains a singular point, where the propa-gation velocity is infinite or zero, or its total variation in the neighborhood of the singularpoint is infinite; (ii) the stability behaviour of the solutions of this inverse problem is es-sentially dependent on the total variation of logarithm of propagation velocity.展开更多
A numerical iterative model was derived from the difference method and a perturbation assumption to calculate the coefficient function of a wave equation. The method was used to solve the disaccord problem of numerica...A numerical iterative model was derived from the difference method and a perturbation assumption to calculate the coefficient function of a wave equation. The method was used to solve the disaccord problem of numerical precision between the direct problem model and inverse problem model, and its serial problems using the old method. Numerical simulation calculation shows that the method is feasible and effective.展开更多
An inverse problem for identification of the coefficient in heat-conduction equation is considered. After reducing the problem to a nonlinear ill-posed operator equation, Newton type iterative methods are considered. ...An inverse problem for identification of the coefficient in heat-conduction equation is considered. After reducing the problem to a nonlinear ill-posed operator equation, Newton type iterative methods are considered. The implicit iterative method is applied to the linearized Newton equation, and the key step in the process is that a new reasonable a posteriori stopping rule for the inner iteration is presented. Numerical experiments for the new method as well as for Tikhonov method and Bakushikskii method are given, and these results show the obvious advantages of the new method over the other ones.展开更多
Direct and inverse scattering problems connected with the wave equation in non-homogeneous bounded domains constitute challenging actual subjects for both mathematicians and engineers. Among them one can mention, for ...Direct and inverse scattering problems connected with the wave equation in non-homogeneous bounded domains constitute challenging actual subjects for both mathematicians and engineers. Among them one can mention, for example, inverse source problems in seismology, nondestructive archeological probing, mine prospecting, inverse initial-value problems in acoustic tomography, etc. In spite of its crucial importance, almost all of the available rigorous investigations concern the case of unbounded simple domains such as layered planar or cylindrical or spherical structures. The main reason for the lack of the works related to non-homogeneous bounded structures is the extreme complexity of the explicit expressions of the Green’s functions. The aim of the present work consists in discovering some universal properties of the Green’s functions in question, which reduce enormously the difficulties arising in various applications. The universality mentioned here means that the properties are not depend on the geometrical and physical properties of the configuration. To this end one considers first the case when the domain is partially-homogeneous. Then the results are generalized to the most general case. To show the importance of the universal properties in question, they are applied to an inverse initial-value problem connected with photo-acoustic tomography.展开更多
Based on the embedding thought, a method of wide convergence region for solving the coefficient inverse problem of wave equations in the space-time variable domain is presented. The numerical simulation shows that the...Based on the embedding thought, a method of wide convergence region for solving the coefficient inverse problem of wave equations in the space-time variable domain is presented. The numerical simulation shows that the method is feasible and effective.展开更多
In this paper, the 1-D, 2-D and 3-D coefficient inverse problem of the acoustic waveequation is reduced to the nonlinear integral equation. In the 1-D case, the nonlinear integralequation belongs to the second kind, w...In this paper, the 1-D, 2-D and 3-D coefficient inverse problem of the acoustic waveequation is reduced to the nonlinear integral equation. In the 1-D case, the nonlinear integralequation belongs to the second kind, while in the 2-D and 3-D cases, the nonlinear integralequation is an interesting integral geometry problem. The iteration for solving the aboveintegral equation has been considered. The nonlinear integral equation and its iterationin this paper will be useful in the theoretical and numerical analysis and in application toscience and engineering of the above inversion.展开更多
The authors study the inverse problem of recovering damping coefficients for two coupled hyperbolic PDEs with Neumann boundary conditions by means of an additional measurement of Dirichlet boundary traces of the two s...The authors study the inverse problem of recovering damping coefficients for two coupled hyperbolic PDEs with Neumann boundary conditions by means of an additional measurement of Dirichlet boundary traces of the two solutions on a suitable, explicit subportion F1 of the boundary F, and over a computable time interval T 〉 0. Under sharp conditions on Г0= Г/Г1, T 〉 0, the uniqueness and stability of the damping coefficients are established. The proof uses critically the Carleman estimate due to Lasiecka et al. in 2000, together with a convenient tactical route "post-Carleman estimates" suggested by Isakov in 2006.展开更多
Thermochronometer data offer a powerful tool for quantifying a wide range of geologic processes,such as the deformation and erosion of mountain ranges,topographic evolution,and hydrocarbon maturation.With increasing i...Thermochronometer data offer a powerful tool for quantifying a wide range of geologic processes,such as the deformation and erosion of mountain ranges,topographic evolution,and hydrocarbon maturation.With increasing interest to quantify a wider range of complicated geologic processes,more sophisticated techniques are needed.This paper is concerned with an inverse problem method for interpreting the thermochronometer data quantitatively.Two novel models are proposed to simulate the crustal thermal fields and paleo mountain topography as a function of tectonic and surface processes.One is a heat transport model that describes the change of temperature of rocks;while the other is surface process model which explains the change of mountain topography.New computational algorithms are presented for solving the inverse problem of the coupled system of these two models.The model successfully provides a new tool for reconstructing the kinematic and the topographic history of mountains.展开更多
Although full waveform inversion in the frequency domain can overcome the local minima problem in the time direction, such problem still exists in the space direction because of the media subsurface complexity. Based ...Although full waveform inversion in the frequency domain can overcome the local minima problem in the time direction, such problem still exists in the space direction because of the media subsurface complexity. Based on the optimal steep descent methods, we present an algorithm which combines the preconditioned bi-conjugated gradient stable method and the multi-grid method to compute the wave propagation and the gradient space. The multiple scale prosperity of the waveform inversion and the multi-grid method can overcome the inverse problems local minima defect and accelerate convergence. The local inhomogeneous three-hole model simulated results and the Marmousi model certify the algorithm effectiveness.展开更多
Consider an inverse problem of reconstructing the coefficient in a linearwave equation on an inhomogeneous slab with density ρ(z) and wave velocity c(z). The inversioninput information is the reflection and transmiss...Consider an inverse problem of reconstructing the coefficient in a linearwave equation on an inhomogeneous slab with density ρ(z) and wave velocity c(z). The inversioninput information is the reflection and transmission data corresponding to a point source. Byapplying the characteristic theory for hyperbolic equations, we establish an integral system fromwhich ρ(z) and c(z) can be recovered simultaneously. In contrast to some known results, our inverseapproach is carried out for depth variable, rather than for travel-time variable. Thereforeinversion results in this paper are more appropriate for the physical interpretation of a mediumslab.展开更多
This paper is interested at the Cauchy problem for Laplace’s equation, which is to recover both Dirichlet and Neumann conditions on the inaccessible part of the boundary (inner part) of an annular domain from the ove...This paper is interested at the Cauchy problem for Laplace’s equation, which is to recover both Dirichlet and Neumann conditions on the inaccessible part of the boundary (inner part) of an annular domain from the over specified conditions on the accessible one (outer part). This work is an extension of the proposed algorithm for a unit circle [1] to annular domain, where, we describe an alternating formulation of the KMF algorithm proposed by Kozlov, Mazya and Fomin, and its relationship with the standard formulation. The new KMF algorithm ameliorates the accuracy of the solution and reduces the number of iterations required to achieve convergence. In the last part, the discussion of the error estimation of solution is presented and some numerical tests, using the software Freefem are given to show the efficiency of the proposed method.展开更多
A new iterative algorithm is proposed to solve inverse problems of time-dependent coefficient of two-dimensional linear wave equations, which is based on regularized metrtod and the minimization of functionals of the ...A new iterative algorithm is proposed to solve inverse problems of time-dependent coefficient of two-dimensional linear wave equations, which is based on regularized metrtod and the minimization of functionals of the differences between the observations and the numerical solutions of the two-dimensional wave equation to determine the time-dependent coefficients in time-domain which is demonstrated. It has the practical advantages of having the necessary data measured on a portion of the boundary and sampling time. Numerical simulations on the three examples are carried out to test the feasibility of the new algorithm.Subject classifications: 35R30, 35L05, 35A40展开更多
文摘The spectral distribution exp( ), where {} are the eigenvalues of the negative Laplacian -△=- in the (x^1,x^2)-plane, is studied for a variety of domains, where -∞< t <∞ and i=(1/2)(-1) . The dependence of (t)on the connectivity of a domain and the boundary conditions are analyzed. Particular attention is given to a general bounded domain Ω in R^2 with a smooth boundary Ω, where a finite number of piecewise smooth Dirichlet, Neumann and Robin boundary conditions on the piecewise smooth parts Γj(j = 1,……,n) of Ω are considered such that Some geometrical properties of Ω(e.g., the area of Ω, the total lengths of the boundary, the curvature of its boundary, etc.) are determined, from the asymptotic expansions of (t) for |t| → 0.
文摘We introduce a multi-cost-functional method for solving inverse problems of wave equations. This method has its simplicity, efficiency and good physical interpretation. It has the advantage of being programmed for two- or three- (space) dimensional problems as well as for one-dimensional problems.
文摘In this paper, the medium parameters of the elastic wave equation in inhomogeneous medium are rewritten by introducing the referential variables and the perturbational variables, and the wave equation whose sources are the medium parameter perturbational term in homogeneous medium is obtained. By using the Green function theory, the integral equation of the perturbational parameters is obtained. Then the displacement field in homogeneous medium is considered the result of the first iteration, and the displacement field is solved by this integral equation. When the perturbations of medium parameters are about 50 percent, this method can solve the displacement field effectively. from the analysis of the numerical results, the characteristics of wave field in inhomogeneous medium are obtained. The results conform with the local principles of wave function in inhomogeneous medium.
基金supported by the National Natural Science Foundation of China(10862003,40564001)the Innovative Research Team Building Programs of Inner Mongolia University for Nationalities
文摘The inverse problem for harmonic waves and wave packets was studied based on a full dispersive wave equation. First, a full dispersive wave equation which describes wave propagation in nondissipative microstructured linear solids is established based on the Mindlin theory, and the dispersion characteristics are discussed. Second, based on the full dispersive wave equation, an inverse problem for determining the four unknown coefficients of wave equa- tion is posed in terms of the frequencies and corresponding wave numbers of four different harmonic waves, and the inverse problem is demonstrated with rigorous mathematical theory. Research proves that the coefficients of wave equation related to material properties can be uniquely determined in cases of normal and anomalous dispersions by measuring the frequen- cies and corresponding wave numbers of four different harmonic waves which propagate in a nondissipative microstructured linear solids.
基金Project supported by National Natural Science Foundation of China.
文摘The inverse problem for the 1-dimensional acoustic wave equation is discussed to deter-mine propagation velocity from impulse response. A relation between the propagation velocityand the wavefield can be established from the analysis of propagation of discontinuities forhyperbolic equations. As a result, the inverse problem discussed in this paper is reduced to aparticular initial value problem of a semilinear system of P. D. E.. The Picard iteration forsolving this initial value problem is constructed and the convergence of iteration is proved.The main results are the following: (i) the propagation velocity can always be recovered fromthe impulse response, unless the inverse problem contains a singular point, where the propa-gation velocity is infinite or zero, or its total variation in the neighborhood of the singularpoint is infinite; (ii) the stability behaviour of the solutions of this inverse problem is es-sentially dependent on the total variation of logarithm of propagation velocity.
文摘A numerical iterative model was derived from the difference method and a perturbation assumption to calculate the coefficient function of a wave equation. The method was used to solve the disaccord problem of numerical precision between the direct problem model and inverse problem model, and its serial problems using the old method. Numerical simulation calculation shows that the method is feasible and effective.
文摘An inverse problem for identification of the coefficient in heat-conduction equation is considered. After reducing the problem to a nonlinear ill-posed operator equation, Newton type iterative methods are considered. The implicit iterative method is applied to the linearized Newton equation, and the key step in the process is that a new reasonable a posteriori stopping rule for the inner iteration is presented. Numerical experiments for the new method as well as for Tikhonov method and Bakushikskii method are given, and these results show the obvious advantages of the new method over the other ones.
文摘Direct and inverse scattering problems connected with the wave equation in non-homogeneous bounded domains constitute challenging actual subjects for both mathematicians and engineers. Among them one can mention, for example, inverse source problems in seismology, nondestructive archeological probing, mine prospecting, inverse initial-value problems in acoustic tomography, etc. In spite of its crucial importance, almost all of the available rigorous investigations concern the case of unbounded simple domains such as layered planar or cylindrical or spherical structures. The main reason for the lack of the works related to non-homogeneous bounded structures is the extreme complexity of the explicit expressions of the Green’s functions. The aim of the present work consists in discovering some universal properties of the Green’s functions in question, which reduce enormously the difficulties arising in various applications. The universality mentioned here means that the properties are not depend on the geometrical and physical properties of the configuration. To this end one considers first the case when the domain is partially-homogeneous. Then the results are generalized to the most general case. To show the importance of the universal properties in question, they are applied to an inverse initial-value problem connected with photo-acoustic tomography.
文摘Based on the embedding thought, a method of wide convergence region for solving the coefficient inverse problem of wave equations in the space-time variable domain is presented. The numerical simulation shows that the method is feasible and effective.
文摘In this paper, the 1-D, 2-D and 3-D coefficient inverse problem of the acoustic waveequation is reduced to the nonlinear integral equation. In the 1-D case, the nonlinear integralequation belongs to the second kind, while in the 2-D and 3-D cases, the nonlinear integralequation is an interesting integral geometry problem. The iteration for solving the aboveintegral equation has been considered. The nonlinear integral equation and its iterationin this paper will be useful in the theoretical and numerical analysis and in application toscience and engineering of the above inversion.
基金supported by the National Science Foundation (No. DMS-0104305)the Air Force Office ofScientific Research under Grant FA 9550-09-1-0459
文摘The authors study the inverse problem of recovering damping coefficients for two coupled hyperbolic PDEs with Neumann boundary conditions by means of an additional measurement of Dirichlet boundary traces of the two solutions on a suitable, explicit subportion F1 of the boundary F, and over a computable time interval T 〉 0. Under sharp conditions on Г0= Г/Г1, T 〉 0, the uniqueness and stability of the damping coefficients are established. The proof uses critically the Carleman estimate due to Lasiecka et al. in 2000, together with a convenient tactical route "post-Carleman estimates" suggested by Isakov in 2006.
基金The research of G.Bao,Y.Wang,and Z.Xu was supported in part by the NSF CMG grant EAR-0724527NSF grant EAR-0724656 to T.Ehlers and P.Li.
文摘Thermochronometer data offer a powerful tool for quantifying a wide range of geologic processes,such as the deformation and erosion of mountain ranges,topographic evolution,and hydrocarbon maturation.With increasing interest to quantify a wider range of complicated geologic processes,more sophisticated techniques are needed.This paper is concerned with an inverse problem method for interpreting the thermochronometer data quantitatively.Two novel models are proposed to simulate the crustal thermal fields and paleo mountain topography as a function of tectonic and surface processes.One is a heat transport model that describes the change of temperature of rocks;while the other is surface process model which explains the change of mountain topography.New computational algorithms are presented for solving the inverse problem of the coupled system of these two models.The model successfully provides a new tool for reconstructing the kinematic and the topographic history of mountains.
基金supported by the China State Key Science and Technology Project on Marine Carbonate Reservoir Characterization (No. 2011ZX05004-003)the Basic Research Programs of CNPC during the 12th Five-Year Plan Period (NO.2011A-3603)+1 种基金the Natural Science Foundation of China (No.41104066)the RIPED Young Professional Innovation Fund (NO.2010-13-16-02, 2010-A-26-02)
文摘Although full waveform inversion in the frequency domain can overcome the local minima problem in the time direction, such problem still exists in the space direction because of the media subsurface complexity. Based on the optimal steep descent methods, we present an algorithm which combines the preconditioned bi-conjugated gradient stable method and the multi-grid method to compute the wave propagation and the gradient space. The multiple scale prosperity of the waveform inversion and the multi-grid method can overcome the inverse problems local minima defect and accelerate convergence. The local inhomogeneous three-hole model simulated results and the Marmousi model certify the algorithm effectiveness.
文摘Consider an inverse problem of reconstructing the coefficient in a linearwave equation on an inhomogeneous slab with density ρ(z) and wave velocity c(z). The inversioninput information is the reflection and transmission data corresponding to a point source. Byapplying the characteristic theory for hyperbolic equations, we establish an integral system fromwhich ρ(z) and c(z) can be recovered simultaneously. In contrast to some known results, our inverseapproach is carried out for depth variable, rather than for travel-time variable. Thereforeinversion results in this paper are more appropriate for the physical interpretation of a mediumslab.
文摘This paper is interested at the Cauchy problem for Laplace’s equation, which is to recover both Dirichlet and Neumann conditions on the inaccessible part of the boundary (inner part) of an annular domain from the over specified conditions on the accessible one (outer part). This work is an extension of the proposed algorithm for a unit circle [1] to annular domain, where, we describe an alternating formulation of the KMF algorithm proposed by Kozlov, Mazya and Fomin, and its relationship with the standard formulation. The new KMF algorithm ameliorates the accuracy of the solution and reduces the number of iterations required to achieve convergence. In the last part, the discussion of the error estimation of solution is presented and some numerical tests, using the software Freefem are given to show the efficiency of the proposed method.
文摘A new iterative algorithm is proposed to solve inverse problems of time-dependent coefficient of two-dimensional linear wave equations, which is based on regularized metrtod and the minimization of functionals of the differences between the observations and the numerical solutions of the two-dimensional wave equation to determine the time-dependent coefficients in time-domain which is demonstrated. It has the practical advantages of having the necessary data measured on a portion of the boundary and sampling time. Numerical simulations on the three examples are carried out to test the feasibility of the new algorithm.Subject classifications: 35R30, 35L05, 35A40