A METHOD FOR SOLVING THE INVERSE SCATTERING PROBLEM FOR SHAPE AND IMPEDANCE

The inverse problem considered in this paper is to determine the shape and the impedance of an obstacle from a knowledge of the time-harmonic incident field and the phase and amplitude of the far field pattern of the scattered wave in two-dimension. Single-layer potential is used to approach the scattered waves. An approximation method is presented and the convergence of the proposed method is established. Numerical examples are given to show that this method is both accurate and easy to use.     

ERROR ESTIMATES FOR THE RECURSIVE LINEARIZATION OF INVERSE MEDIUM PROBLEMS

This paper is devoted to the mathematical analysis of a general recursive linearization algorithm for solving inverse medium problems with multi-frequency measurements. Under some reasonable assumptions, it is shown that the algorithm is convergent with error estimates. The work is motivated by our effort to analyze recent significant numerical results for solving inverse medium problems. Based on the uncertainty principle, the recursive linearization allows the nonlinear inverse problems to be reduced to a set of linear problems and be solved recursively in a proper order according to the measurements. As an application, the convergence of the recursive linearization algorithm [Chen, Inverse Problems 13（1997）, pp.253-282] is established for solving the acoustic inverse scattering problem.     

ON THE OPTIMAL CONVERGENCE RATE OF A ROBIN-ROBIN DOMAIN DECOMPOSITION METHOD

In this work, we solve a long-standing open problem： Is it true that the convergence rate of the Lions＇ Robin-Robin nonoverlapping domain decomposition （DD） method can be constant, independent of the mesh size h？ We closed this old problem with a positive answer. Our theory is also verified by numerical tests.     

CONVERGENCE RATES FOR DIFFERENCE SCHEMES FOR POLYHEDRAL NONLINEAR PARABOLIC EQUATIONS

We build finite difference schemes for a class of fully nonlinear parabolic equations. The schemes are polyhedral and grid aligned. While this is a restrictive class of schemes, a wide class of equations are well approximated by equations from this class. For regular （C2,α） solutions of uniformly parabolic equations, we also establish of convergence rate of O（α）. A case study along with supporting numerical results is included.     

NUMERICAL RECONSTRUCTION OF SMALL PERTURBATIONS IN THE ELECTROMAGNETIC COEFFICIENTS OF A DIELECTRIC MATERIAL

The aim of this paper is to solve numerically the inverse problem of reconstructing small amplitude perturbations in the magnetic permeability of a dielectric material from partial or total dynamic boundary measurements. Our numerical algorithm is based on the resolution of the time-dependent Maxwell equations, an exact controllability method and Fourier inversion for localizing the perturbations. Two-dimensional numerical experiments illustrate the performance of the reconstruction method for different configurations even in the case of limited-view data.     

RESERVOIR DESCRIPTION BY USING A PIECEWISE CONSTANT LEVEL SET METHOD

We consider the permeability estimation problem in two-phase porous media flow. We try to identify the permeability field by utilizing both the production data from wells as well as inverted seismic data. The permeability field is assumed to be piecewise constant, or can be approximated well by a piecewise constant function. A variant of the level set method, called Piecewise Constant Level Set Method is used to represent the interfaces between the regions with different permeability levels. The inverse problem is solved by minimizing a functional, and TV norm regularization is used to deal with the ill-posedness. We also use the operator-splitting technique to decompose the constraint term from the fidelity term. This gives us more flexibility to deal with the constraint and helps to stabilize the algorithm.     

ENERGY ESTIMATES FOR DELAY DIFFUSION-REACTION EQUATIONS

In this paper we consider nonlinear delay diffusion-reaction equations with initial and Dirichlet boundary conditions. The behaviour and the stability of the solution of such initial boundary value problems （IBVPs） are studied using the energy method. Simple numerical methods are considered for the computation of numerical approximations to the solution of the nonlinear IBVPs. Using the discrete energy method we study the stability and convergence of the numerical approximations. Numerical experiments are carried out to illustrate our theoretical results.     

CONVERGENCE OF GRADIENT METHOD WITH MOMENTUM FOR BACK-PROPAGATION NEURAL NETWORKS

In this work, a gradient method with momentum for BP neural networks is considered. The momentum coefficient is chosen in an adaptive manner to accelerate and stabilize the learning procedure of the network weights. Corresponding convergence results are proved.     

BIOLUMINESCENCE TOMOGRAPHY： BIOMEDICAL BACKGROUND,MATHEMATICAL THEORY,AND NUMERICAL APPROXIMATION

Over the last couple of years molecular imaging has been rapidly developed to study physiological and pathological processes in vivo at the cellular and molecular levels. Among molecular imaging modalities, optical imaging stands out for its unique advantages, especially performance and cost-effectiveness. Bioluminescence tomography （BLT） is an emerging optical imaging mode with promising biomedical advantages. In this survey paper, we explain the biomedical significance of BLT, summarize theoretical results on the analysis and numerical solution of a diffusion based BLT model, and comment on a few extensions for the study of BLT.     

FAST ACOUSTIC IMAGING FOR A 3D PENETRABLE OBJECT IMMERSED IN A SHALLOW WATER WAVEGUIDE＊

The paper is concerned with the inverse problem for reconstructing a 3D penetrable ob- ject in a shallow water waveguide from the far-field data of the scattered fields with many acoustic point source incidences. An indicator sampling method is analyzed and presented for fast imaging the size, shape and location of such a penetrable object. The method has the advantages that a priori knowledge is avoided for the geometrical and material proper- ties of the penetrable obstacle and the much complicated iterative techniques are avoided during the inversion. Numerical examples are given of successful shape reconstructions for several 3D penetrable obstacles having a variety of shapes. In particular, numerical results show that the proposed method is able to produce a good reconstruction of the size, shape and location of the penetrable target even for the case where the incident and observation points are restricted to some limited apertures.     

A PRIORI ERROR ESTIMATES OF A FINITE ELEMENT METHOD FOR DISTRIBUTED FLUX RECONSTRUCTION＊

This paper is concerned with a priori error estimates of a finite element method for numerical reconstruction of some unknown distributed flux in an inverse heat conduction problem. More precisely, some unknown distributed Neumann data are to be recovered on the interior inaccessible boundary using Dirichlet measurement data on the outer ac- cessible boundary. The main contribution in this work is to establish the some a priori error estimates in terms of the mesh size in the domain and on the accessible/inaccessible boundaries, respectively, for both the temperature u and the adjoint state p under the lowest regularity assumption. It is revealed that the lower bounds of the convergence rates depend on the geometry of the domain. These a priori error estimates are of immense interest by themselves and pave the way for proving the convergence analysis of adaptive techniques applied to a general classes of inverse heat conduction problems. Numerical experiments are presented to verify our theoretical prediction.     

THE GENERALIZED LOCAL HERMITIAN AND SKEW-HERMITIAN SPLITTING ITERATION METHODS FOR THE NON-HERMITIAN GENERALIZED SADDLE POINT PROBLEMS

For large and sparse saddle point problems, Zhu studied a class of generalized local Hermitian and skew-Hermitian splitting iteration methods for non-Hermitian saddle point problem [M.-Z. Zhu, Appl. Math. Comput. 218 （2012） 8816-8824 ]. In this paper, we further investigate the generalized local Hermitian and skew-Hermitian splitting （GLHSS） iteration methods for solving non-Hermitian generalized saddle point problems. With different choices of the parameter matrices, we derive conditions for guaranteeing the con- vergence of these iterative methods. Numerical experiments are presented to illustrate the effectiveness of our GLHSS iteration methods as well as the preconditioners.     

ON SPECTRAL METHODS FOR VOLTERRA INTEGRAL EQUATIONS AND THE CONVERGENCE ANALYSIS

The main purpose of this work is to provide a novel numerical approach for the Volterra integral equations based on a spectral approach. A Legendre-collocation method is proposed to solve the Volterra integral equations of the second kind. We provide a rigorous error analysis for the proposed method, which indicates that the numerical errors decay exponentially provided that the kernel function and the source function are sufficiently smooth. Numerical results confirm the theoretical prediction of the exponential rate of convergence. The result in this work seems to be the first successful spectral approach （with theoretical justification） for the Volterra type equations.     

ERROR REDUCTION IN ADAPTIVE FINITE ELEMENT APPROXIMATIONS OF ELLIPTIC OBSTACLE PROBLEMS

We consider an adaptive finite element method （AFEM） for obstacle problems associated with linear second order elliptic boundary value problems and prove a reduction in the energy norm of the discretization error which leads to R-linear convergence. This result is shown to hold up to a consistency error due to the extension of the discrete multipliers （point functionals） to H^-1 and a possible mismatch between the continuous and discrete coincidence and noncoincidence sets. The AFEM is based on a residual-type error estimator consisting of element and edge residuals. The a posteriori error analysis reveals that the significant difference to the unconstrained case lies in the fact that these residuals only have to be taken into account within the discrete noncoincidence set. The proof of the error reduction property uses the reliability and the discrete local efficiency of the estimator as well as a perturbed Galerkin orthogonality. Numerical results are given illustrating the performance of the AFEM.     

THE OPTIMAL CONVERGENCE ORDER OF THE DISCONTINUOUS FINITE ELEMENT METHODS FOR FIRST ORDER HYPERBOLIC SYSTEMS

In this paper, a discontinuous finite element method for the positive and symmetric, first-order hyperbolic systems （steady and nonsteady state） is constructed and analyzed by using linear triangle elements, and the O（h^2）-order optimal error estimates are derived under the assumption of strongly regular triangulation and the Ha-regularity for the exact solutions. The convergence analysis is based on some superclose estimates of the interpolation approximation. Finally, we discuss the Maxwell equations in a two-dimensional domain, and numerical experiments are given to validate the theoretical results.     

A NEW DIRECT DISCONTINUOUS GALERKIN METHOD WITH SYMMETRIC STRUCTURE FOR NONLINEAR DIFFUSION EQUATIONS

In this paper we continue the study of discontinuous Galerkin finite element methods for nonlinear diffusion equations following the direct discontinuous Galerkin （DDG） meth- ods for diffusion problems [17] and the direct discontinuous Galerkin （DDG） methods for diffusion with interface corrections [18]. We introduce a numerical flux for the test func- tion, and obtain a new direct discontinuous Galerkin method with symmetric structure. Second order derivative jump terms are included in the numerical flux formula and explicit guidelines for choosing the numerical flux are given. The constructed scheme has a sym- metric property and an optimal L2 （L2） error estimate is obtained. Numerical examples are carried out to demonstrate the optimal （k ＋ 1）th order of accuracy for the method with pk polynomial approximations for both linear and nonlinear problems, under one-dimensional and two-dimensional settings.     

A VARIATIONAL EXPECTATION-MAXIMIZATION METHOD FOR THE INVERSE BLACK BODY RADIATION PROBLEM

The inverse black body radiation problem, which is to reconstruct the area temperature distribution from the measurement of power spectrum distribution, is a well-known ill-posed problem. In this paper, a variational expectation-maximization （EM） method is developed and its convergence is studied. Numerical experiments demonstrate that the variational EM method is more efficient and accurate than the traditional methods, including the Tikhonov regularization method, the Landweber method and the conjugate gradient method.     

ON SMOOTH LU DECOMPOSITIONS WITH APPLICATIONS TO SOLUTIONS OF NONLINEAR EIGENVALUE PROBLEMS

We study the smooth LU decomposition of a given analytic functional A-matrix A（A） and its block-analogue. Sufficient conditions for the existence of such matrix decompositions are given, some differentiability about certain elements arising from them are proved, and several explicit expressions for derivatives of the specified elements are provided. By using these smooth LU decompositions, we propose two numerical methods for computing multiple nonlinear eigenvalues of A（A）, and establish their locally quadratic convergence properties. Several numerical examples are provided to show the feasibility and effectiveness of these new methods.     

ON CONTRACTION AND SEMI-CONTRACTION FACTORS OF GSOR METHOD FOR AUGMENTED LINEAR SYSTEMS

The generalized successive overrelaxation （GSOR） method was presented and studied by Bai, Parlett and Wang [Numer. Math. 102（2005）, pp.1-38] for solving the augmented system of linear equations, and the optimal iteration parameters and the corresponding optimal convergence factor were exactly obtained. In this paper, we further estimate the contraction and the semi-contraction factors of the GSOR method. The motivation of the study is that the convergence speed of an iteration method is actually decided by the contraction factor but not by the spectral radius in finite-step iteration computations. For the nonsingular augmented linear system, under some restrictions we obtain the contraction domain of the parameters involved, which guarantees that the contraction factor of the GSOR method is less than one. For the singular but consistent augmented linear system, we also obtain the semi-contraction domain of the parameters in a similar fashion. Finally, we use two numerical examples to verify the theoretical results and the effectiveness of the GSOR method.     

ON NEWTON-HSS METHODS FOR SYSTEMS OF NONLINEAR EQUATIONS WITH POSITIVE-DEFINITE JACOBIAN MATRICES

The Hermitian and skew-Hermitian splitting （HSS） method is an unconditionally convergent iteration method for solving large sparse non-Hermitian positive definite system of linear equations. By making use of the HSS iteration as the inner solver for the Newton method, we establish a class of Newton-HSS methods for solving large sparse systems of nonlinear equations with positive definite Jacobian matrices at the solution points. For this class of inexact Newton methods, two types of local convergence theorems are proved under proper conditions, and numerical results are given to examine their feasibility and effectiveness. In addition, the advantages of the Newton-HSS methods over the Newton-USOR, the Newton-GMRES and the Newton-GCG methods are shown through solving systems of nonlinear equations arising from the finite difference discretization of a two-dimensional convection-diffusion equation perturbed by a nonlinear term. The numerical implemen- tations also show that as preconditioners for the Newton-GMRES and the Newton-GCG methods the HSS iteration outperforms the USOR iteration in both computing time and iteration step.