We consider the reconstruction of the Robin impedance coefficient of a heat conduction system in a two-dimensional spatial domain from the time-average measurement specified on the boundary. By applying the potential representation of a solution, this nonlinear inverse problem is transformed into an ill-posed integral system coupling the density function for potential and the unknown boundary impedance. The uniqueness as well as the conditional stability of this inverse problem is established from the integral system. Then we propose to find the boundary impedance by solving a non-convex regularizing optimization problem. The well-posedness of this optimization problem together with the convergence property of the minimizer is analyzed. Finally, based on the singularity decomposition of the potential representation of the solution, two iteration schemes with their numerical realizations are proposed to solve this optimization problem

We present a mathematical analysis of the asymptotic preserving scheme proposed in [M. Lemou and L. Mieussens, SIAM J. Sci. Comput., 31, pp. 334-368, 2008] for linear transport equations in kinetic and diffusive regimes. We prove that the scheme is uniformly stable and accurate with respect to the mean free path of the particles. This property is satisfied under an explicitly given CFL condition. This condition tends to a parabolic CFL condition for small mean free paths, and is close to a convection CFL condition for large mean free paths. Ou r analysis is based on very simple energy estimates.

In this paper, we illustrate a new concept regarding unitary elements defined on Lorentz cone, and establish some basic properties under the so-called unitary transformation associated with Lorentz cone. As an application of unitary transformation, we achieve a weaker version of the triangle inequality and several (weak) majorizations defined on Lorentz cone.

The numerical solution of the one-dimensional KleinGordon equation on an unbounded domain is analyzed in this paper. Two artificial boundary conditions are obtained to reduce the original problem to an initial boundary value problem on a bounded computational domain, which is discretized by an explicit difference scheme. The stability and convergence of the scheme are analyzed by the energy method. A fast algorithm is obtained to reduce the computational cost and a discrete artificial boundary condition (DABC) is derived by the <i>Z</i>-transform approach. Finally, we illustrate the efficiency of the proposed method by several numerical examples.

Convergence of a second-order shock-capturing scheme for the system of isentropic gas dynamics with $ {L^\infty }$ initial data is established by analyzing the entropy dissipation measures. This scheme is modified from the classical MUSCL scheme to treat the vacuum problem in gas fluids and to capture local entropy near shock waves. Convergence of this scheme for the piston problem is also discussed.