l 1-error estimates on the immersed interface upwind scheme for linear convection equations with piecewise constant coefficients: A simple proof

Abstract A linear convection equation with discontinuous coefcients arises in wave propagation through interfaces.An interface condition is needed at the interface to select a unique solution.An upwind scheme that builds this interface condition into its numerical flux is called the immersed interface upwind scheme.An l1-error estimate of such a scheme was frst established by Wen et al.(2008).In this paper,we provide a simple analysis on the l1-error estimate.The main idea is to formulate the solution to the underline initial-value problem into the sum of solutions to two convection equations with constant coefcients,which can then be estimated using classical methods for the initial or boundary value problems.     

CONVERGENCE OF AN IMMERSED INTERFACE UPWIND SCHEME FOR LINEAR ADVECTION EQUATIONS WITH PIECEWISE CONSTANT COEFFICIENTS Ⅱ: SOME RELATED BINOMIAL COEFFICIENT INEQUALITIES

In this paper we give proof of three binomial coefficient inequalities. These inequalities are key ingredients in [Wen and Jin, J. Comput. Math. 26, （2008）, 1-22] to establish the L^1-error estimates for the upwind difference scheme to the linear advection equations with a piecewise constant wave speed and a general interface condition, which were further used to establish the L^1-error estimates for a Hamiltonian-preserving scheme developed in [Jin and Wen, Commun. Math. Sci. 3, （2005）, 285-315] to the Liouville equation with piecewise constant potentials [Wen and Jin, SIAM J. Numer. Anal. 46, （2008）, 2688-2714].     

Convergence of a finite difference method for combustion model problems

We study a finite difference scheme for a combustion model problem. A projection scheme near the combustion wave, and the standard upwind finite difference scheme away from the combustion wave are applied. Convergence to weak solutions with a combustion wave is proved under the normal Courant-Friedrichs-Lewy condition. Some con-     

LEAST SQUARES ESTIMATOR FOR PATH-DEPENDENT MCKEAN-VLASOV SDES VIA DISCRETE-TIME OBSERVATIONS

In this article, we are interested in least squares estimator for a class of pathdependent McK ean-Vlasov stochastic differential equations(SDEs). More precisely, we investigate the consistency and asymptotic distribution of the least squares estimator for the unknown parameters involved by establishing an appropriate contrast function. Comparing to the existing results in the literature, the innovations of this article lie in three aspects:(i) We adopt a tamed Euler-Maruyama algorithm to establish the contrast function under the monotone condition, under which the Euler-Maruyama scheme no longer works;(ii) We take the advantage of linear interpolation with respect to the discrete-time observations to approximate the functional solution;(iii) Our model is more applicable and practice as we are dealing with SDEs with irregular coefficients(for example, H¨older continuous) and pathdistribution dependent.     

THE l~1-STABILITY OF A HAMILTONIAN-PRESERVING SCHEME FOR THE LIOUVILLE EQUATION WITH DISCONTINUOUS POTENTIALS

We study the l^1-stability of a Haxniltonian-preserving scheme, developed in [Jin and Wen, Comm. Math. Sci., 3 （2005）, 285-315], for the Liouville equation with a discontinuous potential in one space dimension. We prove that, for suitable initial data, the scheme is stable in the l^1-norm under a hyperbolic CFL condition which is in consistent with the l^1-convergence results established in [Wen and Jin, SIAM J. Numer. Anal., 46 （2008）, 2688-2714] for the same scheme. The stability constant is shown to be independent of the computational time. We also provide a counter example to show that for other initial data, in particular, the measure-valued initial data, the numerical solution may become l^1-unstable.     

A COMPACT UPWIND SECOND ORDER SCHEME FOR THE EIKONAL EQUATION

We present a compact upwind second order scheme for computing the viscosity solution of the Eikonal equation. This new scheme is based on： 1. the numerical observation that classical first order monotone upwind schemes for the Eikonal equation yield numerical upwind gradient which is also first order accurate up to singularities; 2. a remark that partial information on the second derivatives of the solution is known and given in the structure of the Eikonal equation and can be used to reduce the size of the stencil. We implement the second order scheme as a correction to the well known sweeping method but it should be applicable to any first order monotone upwind scheme. Care is needed to choose the appropriate stencils to avoid instabilities.     

AN ESTIMATE FOR THE MEAN CURVATURE OF SUBMANIFOLDS CONTAINED IN A HOROBALL

We obtain the Omori-Yau maximum principle on complete properly immersed submanifolds with the mean curvature satisfying certain condition in complete Riemannian manifolds whose radial sectional curvature satisfies some decay condition, which generalizes our previous results in [17]. Using this generalized maximum principle, we give an estimate on the mean curvature of properly immersed submanifolds in H^n × R^e with the image under the projection on H^n contained in a horoball and the corresponding situation in hyperbolic space. We also give other applications of the generalized maximum principle.     

DEPENDENCE OF QUALITATIVE BEHAVIOR OF THE NUMERICAL SOLUTIONS ON THE IGNITION TEMPERATURE FOR A COMBUSTION MODEL

We study the dependence of qualitative behavior of the numerical solutions （obtained by a projective and upwind finite difference scheme） on the ignition temperature for a combustion model problem with general initial condition. Convergence to weak solution is proved under the Courant-Friedrichs-Lewy condition. Some condition on the ignition temperature is given to guarantee the solution containing a strong detonation wave or a weak detonation wave. Finally, we give some numerical examples which show that a strong detonation wave can be transformed to a weak detonation wave under some well-chosen ignition temperature.     

PARTIAL REGULARITY RESULT OF SUPERQUADRATIC ELLIPTIC SYSTEMS WITH DINI CONTINUOUS COEFFICIENTS

We consider the partial regularity for weak solutions to superquadratic elliptic systems with controllable growth condition, under the assumption of Dini continuous coefficients. The proof relies upon an iteration scheme of a decay estimate for a new type of excess functional. To establish the decay estimate, we use the technique of A-harmonic approximation and obtain a general criterion for a weak solution to be regular in the neighborhood of a given point. In particular, the proof yields directly the optimal H¨older exponent for the derivative of the weak solutions on the regular set.     

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.     

CONSERVATION OF THREE—POINT COMPACT SCHEMES ON SINGLE AND MULTIBLOCK PATCHED GRIDS FOR HYPERBOLIC PROBLEMS

For nonlinear hyperbloic problems,Conservation of the numerical scheme is important for convergence to the correct weak solutions.In this paper the the conservation of the well-known compact scheme up to fourth order of accuracy on a single and uniform grid is studied,and a conservative interface treatment is derived for compact schemes on patched grids .For a pure initial value problem,the compact scheme is shown to be equivalent to a scheme in the usual conservative form .For the case of a mixed initial boundary value problem,the compact scheme is conservative only if the rounding errors are small enough.For a pactched grid interface,a conservative interface condition useful for mesh fefiement and for parallel computation is derived and its order of local accuracy is analyzed.     

Gradient estimates for parabolic equations in generalized weighted Morrey spaces

We consider the Cauchy–Dirichlet problem for linear divergence form parabolic operators in bounded Reifenberg flat domain.The coefficients supposed to be only measurable in one of the space variables and small BMO with respect to the others.We obtain Calderón–Zygmund type estimate for the gradient of the solution in generalized weighted Morrey spaces with Muckenhoupt weight.     

ON THE GROWTH OF THE SOLUTIONS FOR 1ST KIND OF HIGHER ORDER DIFFERENTIAL EQUATIONS IN THE UNIT DISC

In this paper, we study the growth of the solutions for 1st kind of differential equations of higher order in the unit disc. We give a sufficient condition for all solutions of second order linear differential equation to be inadmissible and a sufficient condition for all solutions of higher order linear differential equation to be of infinite order.     

A Generalized Biproduct Theorem

We develop the Radford＇s biproduct theorem which plays an important role in giving a negative answer to a conjecture of I Kaplansky. Let B, H be two Hopf algebras with H acting weakly on B and α, β ： B → H H be two linear maps verifying suitable conditions. We consider in this paper a twisted Hopf crossed coproduct B ×βα H and derive a necessary and sufficient condition for B # ×βα H with a Hopf smash product structure to be a bialgebra which generalizes in [14, Theorem 1.1] and the well-known Radford biproduct theorem [10, Theorem 1] .     

REMARKS ON HYPERSURFACES WITH CONSTANT MEAN CURVATURE IN A HIGHER DIMENSIONAL PSEUDO-SPHERE

A necessary condition to be satisfied by the metric of an n-manlfold minimally immersed in an (n l)-pseudo-sphere is obtained, and a sufficient condition for a complete hypersurface in a pseudo-sphere with constant mean curvature to be totally umbilical is given.     

POISSON PRECONDITIONING FOR SELF-ADJOINT ELLIPTIC PROBLEMS

In this paper, we formulate interface problem and Neumann elliptic boundary value problem into a form of linear operator equations with self-adjoint positive definite op- erators. We prove that in the discrete level the condition number of these operators is independent of the mesh size. Therefore, given a prescribed error tolerance, the classical conjugate gradient algorithm converges within a fixed number of iterations. The main computation task at each iteration is to solve a Dirichlet Poisson boundary value problem in a rectangular domain, which can be furnished with fast Poisson solver. The overall computational complexity is essentially of linear scaling.     

A Simple Proof of Regularity for C~(1,α) Interface Transmission Problems

We give an alternative proof of a recent result in [1] by Caffarelli,Soria-Carro, and Stinga about the C~(1,α)regularity of weak solutions to transmission problems with C~(1,α)interfaces. Our proof does not use the mean value property or the maximum principle, and also works for more general elliptic systems with variable coefficients. This answers a question raised in [1]. Some extensions to C~(1,Dini) interfaces and to domains with multiple sub-domains are also discussed.     

THE SASA-SATSUMA EQUATION ON A NON-ZERO BACKGROUND: THE INVERSE SCATTERING TRANSFORM AND MULTI-SOLITON SOLUTIONS

We concentrate on the inverse scattering transformation for the Sasa-Satsuma equation with 3×3 matrix spectrum problem and a nonzero boundary condition. To circumvent the multi-value of eigenvalues, we introduce a suitable two-sheet Riemann surface to map the original spectral parameter k into a single-valued parameter z. The analyticity of the Jost eigenfunctions and scattering coefficients of the Lax pair for the Sasa-Satsuma equation are analyzed in detail. According to the analyticity of the...     

带无限时滞中立型随机泛函微分方程的解的存在唯一性

In this paper, we will make use of a new method to study the existence and uniqueness for the solution of neutral stochastic functional differential equations with infinite delay (INSFDEs for short) in the phase space BC((?∞,0];Rd). By constructing a new iterative scheme, the existence and uniqueness for the solution of INSFDEs can be directly obtained only under uniform Lipschitz condition, linear grown condition and contractive condition. Meanwhile, the moment estimate of the solution and the estimate for the error between the approximate solution and the accurate solution can be both given. Compared with the previous results, our method is partially different from the Picard iterative method and our results can complement the earlier publications in the existing literatures.     

Nodal Sets and Doubling Conditions in Elliptic Homogenization

This paper is concerned with uniform measure estimates for nodal sets of solutions in elliptic homogenization. We consider a family of second-order elliptic operators {L_ε} in divergence form with rapidly oscillating and periodic coefficients. We show that the(d-1)-dimensional Hausdorff measures of the nodal sets of solutions to L_ε(u_ε) = 0 in a ball in Rdare bounded uniformly in ε 0. The proof relies on a uniform doubling condition and approximation of u_ε by solutions of the homogenized equation.