The unconditional stable and convergent difference methods with intrinsic parallelism for quasilinear parabolic systems

A kind of the general finite difference schemes with intrinsic parallelism forthe boundary value problem of the quasilinear parabolic system is studied without assum-ing heuristically that the original boundary value problem has the unique smooth vectorsolution. By the method of a priori estimation of the discrete solutions of the nonlineardifference systems, and the interpolation formulas of the various norms of the discretefunctions and the fixed-point technique in finite dimensional Euclidean space, the exis-tence and uniqueness of the discrete vector solutions of the nonlinear difference systemwith intrinsic parallelism are proved. Moreover the unconditional stability of the generalfinite difference schemes with intrinsic parallelism is justified in the sense of the continu-ous dependence of the discrete vector solution of the difference schemes on the discretedata of the original problems in the discrete w_2~(2,1) norms. Finally the convergence of thediscrete vector solutions of the certain differe     

UNCONDITIONAL STABLE DIFFERENCE METHODS WITH INTRINSIC PARALLELISM FOR SEMILINEAR PARABOLIC SYSTEMS OF DIVERGENCE TYPE

The general finite difference schemes with intrinsic parallelism for the boundary value problem of the semilinear parabolic system of divergence type with bounded measurable coefficients is studied. By the approach of the discrete functional analysis, the existence and uniqueness of the discrete vector solutions of the nonlinear difference system with intrinsic parallelism are proved. Moreover the unconditional stability of the general difference schemes with intrinsic parallelism justified in the sense of the continuous dependence of the discrete vector solution of the difference schemes on the discrete initial data of the original problems in the discrete W_2~(2,1) (Q△) norms. Finally the convergence of the discrete vector solutions of the certain difference schemes with intrinsic parallelism to the unique generalized solution of the original semilinear parabolic problem is proved.     

THE UNCONDITIONAL STABLE DIFFERENCE METHODS WITH INTRINSIC PARALLELISM FOR TWO DIMENSIONAL SEMILINEAR PARABOLIC SYSTEMS

In this paper we are going to discuss the difference schemes with intrinsic parallelism for the boundary value problem of the two dimesional semilinear parabolic systems.The unconditional stability of the general finite difference schemes with intrinsic parallelism is justified in the sense of the continuous dependence of the discrete vector solution of the difference schemes on the discrete data of the original problems in the discrete W2^(2,1) norms.Then the uniqueness of the discrete vector solution of this difference scheme follows as the consequence of the stability.     

Parallel difference schemes with interface extrapolation terms for quasi-linear parabolic systems

In this paper some new parallel difference schemes with interface extrapolation terms for a quasi-linear parabolic system of equations are constructed. Two types of time extrapolations are proposed to give the interface values on the interface of sub-domains or the values adjacent to the interface points, so that the unconditional stable parallel schemes with the second accuracy are formed. Without assuming heuristically that the original boundary value problem has the unique smooth vector solution, the existence and uniqueness of the discrete vector solutions of the parallel difference schemes constructed are proved. Moreover the unconditional stability of the parallel difference schemes is justified in the sense of the continuous dependence of the discrete vector solution of the schemes on the discrete known data of the original problems in the discrete W2(2,1) (Q△) norms. Finally the convergence of the discrete vector solutions of the parallel difference schemes with interface extrapolation terms to the unique generalized solution of the original quasi-linear parabolic problem is proved. Numerical results are presented to show the good performance of the parallel schemes, including the unconditional stability, the second accuracy and the high parallelism.     

THE UNCONDITIONAL CONVERGENT DIFFERENCE METHODS WITH INTRINSIC PARALLELISM FOR QUASILINEAR PARABOLIC SYSTEMS WITH TWO DIMENSIONS

In the present work we are going to solve the boundary value problem for the quasilinear parabolic systems of partial differential equations with two space dimensions by the finite difference method with intrinsic parallelism.Some fundamental behaviors of general finite difference schemes with intrinsic parallelism for the mentioned problems are studied.By the method of a priori estimation of the discrete solutions of the nonlinear difference systems,and the interpolation formulas of the various norms of the discrete functions and the fixed-point technique in finite dimensional Euclidean space,the existennce of the discrete vector solutions of the nonliear difference system with intrinsic parallelism are proved .Moreover the convergence of the discrete vector solutions of these difference schemes to the unique generalizd solution of the original quasilinear parabolic problem is proved.     

General difference schemes with intrinsic parallelism for nonlinear parabolic systems

The boundary value problem for nonlinear parabolic system is solved by the finite difference method with intrinsic parallelism. The existence of the discrete vector solution for the general finite difference schemes with intrinsic parallelism is proved by the fixed-point technique in finite-dimensional Euclidean space. The convergence and stability theorems of the discrete vector solutions of the nonlinear difference system with intrinsic parallelism are proved. The limitation vector function is just the unique generalized solution of the original problem for the parabolic system.     

完全非线性伪抛物组的非均匀网格差分格式

完全非线性伪抛物组的非均匀网格差分格式韩永前，袁光伟，周毓麟（北京应用物理与计算数学研究所）ＤＩＦＦＥＲＥＮＣＥＳＣＨＥＭＥＳＷＩＴＨＮＯＮＵＮＩＦＯＲＭＭＥＳＨＥＳＦＯＲＦＵＬＬＹＮＯＮＬＩＮＥＡＲＰＳＥＵＤＯ－ＰＡＲＡＢＯＬＩＣＳＹＳＴＥＭＳ￥Ｈ...     

Finite Difference Method with Nonuniform Meshes for Quasilinear Parabolic Systems

1.lnthestudyoftheprobleminphysics,mechanics,chemicalreactions,biologyandotherpracticalsciences,thelinearandnonlinearparabolicequationsandsystemsareappearedveryfrequently.Manynumericalinvestigationsinscientificandengineeringproblemsespeciallyinthelargescalecomputationalproblemsoftencontainthenumer-icalsolutionsofparabolicequationsandsystems.ThemethodwithunequalmeshstePSisnotavoidableinthesecomputations.Manyunexpectedandselfcontradictoryphe-nomenonraisingfromtheuseofunequalmeshstepscallourgreata…     

Difference Schemes with Nonuniform Meshes for Nonlinear Parabolic System

1.Introduction1.Fromtheverybeginningofsixtiestothelateeighties,therearemanywerkscontributedtothestudiesoftheboundaryproblemsandinitialvalueproblemsfortheordinarydifferentialequationsbythemethodofdifferenceschemeswithnonuniform.eshesl1-4l.Butitisextremelyrareontheworksconcerningtotheanalysisoffinitedifferenceschemeswithnonuniformmeshesfortheproblemsofpartialdifferentialequations.Byusingofthedifferenceschemeswithnonuniformmeshesapprotimationfortheproblemsofpartialdifferentialequationsthereareman…     

Boundary value problems on weighted networks

We present here a systematic study of general boundary value problems on weighted networks that includes the variational formulation of such problems. In particular, we obtain the discrete version of the Dirichlet Principle and we apply it to the analysis of the inverse problem of identifying the conductivities of the network in a very general framework. Our approach is based on the development of an efficient vector calculus on weighted networks which mimetizes the calculus in the smooth case. The key tool is an adequate construction of the tangent space at each vertex. This allows us to consider discrete vector fields, inner products and general metrics. Then, we obtain discrete versions of derivative, gradient, divergence and Laplace-Beltrami operators, satisfying analogous properties to those verified by their continuous counterparts. On the other hand we develop the corresponding integral calculus that includes the discrete versions of the Integration by Parts technique and Green’s Identities. Finally, we apply our discrete vector calculus to analyze the consistency of difference schemes used to solve numerically a Robin boundary value problem in a square.     

Difference schemes on uniform grids performed by general discrete operators

Our aim is to set the foundations of a discrete vectorial calculus on uniform n-dimensional grids, that can be easily reformulated on general irregular grids. As a key tool we first introduce the notion of tangent space to any grid node. Then we define the concepts of vector field, field of matrices and inner products on the space of grid functions and on the space of vector fields, mimicking the continuous setting. This allows us to obtain the discrete analogous of the basic first order differential operators, gradient and divergence, whose composition define the fundamental second order difference operator. As an application, we show that all difference schemes, with constant coefficients, for first and second order differential operators with constant coefficients can be seen as difference operators of the form for suitable choices of q, and  . In addition, we characterize special properties of the difference scheme, such as consistency, symmetry and positivity in terms of q, and  .     

Basis difference method for orthogonal systems on a surface

The basis operator method intended for constructing systems of difference approximations to differential operators in vector and tensor analysis is extended to orthogonal systems on a surface. A class of completely conservative differential-difference schemes for continuum mechanics in Lagrangian variables is constructed. Basis operators are constructed using the finite volume equation, consistency conditions for discrete operators of the first derivative, and consistent projection operators for grid functions. A system of differential-difference continuum mechanics equations on a surface is obtained, which implies all conservation laws typical of the continuum case, including additional ones. A stability estimate is derived for discrete equations of an incompressible viscous fluid.     

Discrete shock profiles for systems of conservation laws

The existence of discrete shock profiles for difference schemes approximating a system of conservation laws is the major topic studied in this paper. The basic theorem established here applies to first-order accurate difference schemes; for weak shocks, this theorem provides necessary and sufficient conditions involving the truncation error of the linearized scheme which guarantee entropy satisfying or entropy violating discrete shock profiles. Several explicit difference schemes are used as examples illustrating the interplay between the entropy condition, monotonicity, and linearized stability. Entropy violating stationary shocks for second-order accurate Lax-Wendroff schemes approximating systems are also constructed. The only tools used in the proofs are local analysis and the center manifold theorem.     

高阶非线性波动方程的有限差分方法

本文研究一类广泛的高阶非线性波动方程组初边值问题的有限差分格式，用离散泛函分析方法和先验估计的技巧得到了有限差分格式的收敛性。     

Discrete artificial boundary conditions for nonlinear Schrödinger equations

In this work we construct and analyze discrete artificial boundary conditions (ABCs) for different finite difference schemes to solve nonlinear Schrödinger equations. These new discrete boundary conditions are motivated by the continuous ABCs recently obtained by the potential strategy of Szeftel. Since these new nonlinear ABCs are based on the discrete ABCs for the linear problem we first review the well-known results for the linear Schrödinger equation. We present our approach for a couple of finite difference schemes, including the Crank–Nicholson scheme, the Dùran–Sanz-Serna scheme, the DuFort–Frankel method and several split-step (fractional-step) methods such as the Lie splitting, the Strang splitting and the relaxation scheme of Besse. Finally, several numerical tests illustrate the accuracy and stability of our new discrete approach for the considered finite difference schemes.     

A new conservative finite difference scheme for Boussinesq paradigm equation

A family of nonlinear conservative finite difference schemes for the multidimensional Boussinesq Paradigm Equation is considered. A second order of convergence and a preservation of the discrete energy for this approach are proved. Existence and boundedness of the discrete solution on an appropriate time interval are established. The schemes have been numerically tested on the models of the propagation of a soliton and the interaction of two solitons. The numerical experiments demonstrate that the proposed family of schemes is about two times more accurate than the family of schemes studied in [Kolkovska N., Two families of finite difference schemes for multidimensional Boussinesq paradigm equation, In: Application of Mathematics in Technical and Natural Sciences, Sozopol, June 21–26, 2010, AIP Conf. Proc., 1301, American Institute of Physics, Melville, 2010, 395–403].     

A discrete solenoidal finite difference scheme for the numerical approximation of incompressible flows

Summary For a well known class of finite difference schemes for approximating incompressible flows it is shown that the condition of discrete incompressibility can be incorporated into the discrete space. This simplifies the structure of the linear or nonlinear discrete systems and reduces the number of unknowns.     

Some temporal second order difference schemes for fractional wave equations

In this article, motivated by Alikhanov's new work (Alikhanov, J Comput Phys 280 (2015), 424–438), some difference schemes are proposed for both one‐dimensional and two‐dimensional time‐fractional wave equations. The obtained schemes can achieve second‐order numerical accuracy both in time and in space. The unconditional convergence and stability of these schemes in the discrete H¹‐norm are proved by the discrete energy method. The spatial compact difference schemes with the results on the convergence and stability are also presented. In addition, the three‐dimensional problem is briefly mentioned. Numerical examples illustrate the efficiency of the proposed schemes. © 2015 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 32: 970–1001, 2016     

一维非线性Schrödinger 方程的两个无条件收敛的守恒紧致差分格式

本文对一维非线性 Schrödinger 方程给出两个紧致差分格式, 运用能量方法和两个新的分析技 巧证明格式关于离散质量和离散能量守恒, 而且在最大模意义下无条件收敛. 对非线性紧格式构造了 一个新的迭代算法, 证明了算法的收敛性, 并在此基础上给出一个新的线性化紧格式. 数值算例验证 了理论分析的正确性, 并通过外推进一步提高了数值解的精度.     

Conservative finite difference methods for fractional Schrödinger–Boussinesq equations and convergence analysis

In this paper, two conservative finite difference schemes for fractional Schrödinger–Boussinesq equations are formulated and investigated. The convergence of the nonlinear fully implicit scheme is established via discrete energy method, while the linear semi‐implicit scheme is analyzed by means of mathematical induction method. Our schemes are proved to preserve the total mass and energy in discrete level. The numerical results are given to confirm the theoretical analysis.