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 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.     

Difference schemes with intrinsic parallelism for quasi-linear parabolic systems

The boundary value problem for quasi-linear parabolic system is solved by the finite difference method with intrinsic parallelism. The existence and uniqueness and convergence theorems of the discrete vector solutions of the nonlinear difference system with intrinsic parallelism are proved. The limiting vector function is just the unique generalized solution of the original problem for the parabolic system. Project supported by the National Natural Science Foundation of China and the Foundation of Chinese Academy of Engineering Physics.     

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.     

Difference Method of General Schemes with Intrinsic Parallelism for One-dimensional Quasilinear Parabolic Systems with Bounded Measurable Coefficients

The difference method of the general finite difference schemes with intrinsic parallelism for the boundary value problem of the quasilinear parabolic system is studied without assuming heuristically that the original boundary value problem has the unique smooth vector solution.     

Difference Schemes with Nonuniform Meshes for Nonlinear Parabolic System

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

GENERAL DIFFERENCE SCHEMES WITH INTRINSIC PARALLELISM FOR SEMILINEAR PARABOLIC SYSTEMS OFDIVERGENCE TYPE

1.IntroductionIn[1]and[2]thegeneralfinitedifferenceschemeshavingtheintrinsiccharacterofparallelismfortheboundaryvalueproblemsofthenonlinearparabolicsystemofgeneralform(i.e.,non-divergencetype)arediscussedundertheassumptionthatthereisanuniquesmoothsol...     

Finite Difference Method with Nonuniform Meshes for Quasilinear Parabolic Systems

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

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.     

Unconditional stability of parallel alternating difference schemes for semilinear parabolic systems

The general alternating schemes with intrinsic parallelism for semilinear parabolic systems are studied. First we prove the a priori estimates in the discrete H¹ space of the difference solution for these schemes. Then the existence of the difference solution for these schemes follows from the fixed point principle. Finally the unconditional stability of the general alternating schemes is proved. The alternating group explicit scheme, the alternating segment explicit–implicit scheme and the alternating segment Crank–Nicolson scheme are the special cases of the general alternating schemes.     

STABILITY OF DIFFERENCE SCHEMES FOR NONLINEAR PARABOLIC SYSTEMS WITH THREE DIMENSIONS

1.Introduction1).Inthepresentworkwearegoingtostudythedeferenceschemesfortheboundaryvalueproblemofthenonlinearparabolicsystemsofpartialdifferentialequationswithtwoandthreespacedimensions.Inthecaseofthreespacedimension,thenonlinearparabolicsystemisoftheformat~A(x,y,z,t,u,aamactu.)(u.. aam u..) f(x,y,z,t,aliojac,u.),(1)whereu=(altuZI',urn)istheunknownm-dimensionalvectorfunction(m3l),A(x,yiitt,u,PI,pz,ps)isagivenmXmmatrixfunction,f(x,y,itt,utpl,p2,p3)isthegivenmdimensionalvectorfunctionandalso…     

一类三维抛物型方程有限差分逼近的长时间性态

1引言 抛物型方程是一类十分重要的方程,它出现在很多数学物理问题中,对这类方程的研究已有大量工作,如[10-12]等.随着无穷维动力系统研究的深入,人们越来越关心系统的长时间性态,而追踪系统长时间性态很大程度上依赖数值计算.     

非线性抛物型方程组离散向量解的收敛性

应用离散泛函分析方法证明了非线性抛物型方程组的隐格式离散向量解的收敛性，同时得到微分方程组弱解的存在性．     

Compact difference methods applied to initial-boundary value problems for mixed systems

Summary. An initial--boundary value problem to a system of nonlinear partial differential equations, which consists of a hyperbolic and a parabolic part, is taken into consideration. The problem is discretised by a compact finite difference method. An approximation of the numerical solution is constructed, at which the difference scheme is linearised. Nonlinear convergence is proved using the stability of the linearised scheme. Finally, a computational experiment for a noncompact scheme is presented. Received May 20, 1995     

带非线性边界条件的反应扩散方程的数值方法

１引言近年来关于非线性抛物型方程数值解法的研究取得了许多好的结果,其中以Ｃ．Ｖ．Ｐａｏ为主的研究者们利用上、下解方法对带线性边界条件的半线性抛物型方程的有限差分系统进行了广泛的研究,提出了一系列有效的迭代算法（见［１］、［２］、［３］、［４］）．但对带非线性边界条件的半线性抛物型方程初边值问题,作者至今尚未见到有研究者将上、下解方法用在相应的差分系统上,求得数值解．其主要原因是由于边界上函数的非线性,解在边界网格点上的值未知且无法用内部网格点上的值直接表示,相应的差分系统表示形式受到影响,边界网…     

拟线性抛物型方程奇异摄动问题的数值解法

本文讨论拟线性抛物型方程奇异摄动问题的差分解法,在非均匀网格上建立了线性三层差分格式,并证明了在离散的L₂范数意义下格式的一致收敛性,最后给出了一些数值例子.     

守恒型扩散方程非线性离散格式的性质分析和快速求解

对于守恒型扩散方程,研究其二阶时间精度非线性全隐有限差分离散格式的性质,证明了其解的存在唯一性.研究了二阶时间精度的Picard-Newton迭代格式,证明了迭代解对原问题真解的二阶时间和空间收敛性,以及对非线性离散解的二次收敛速度,实现了非线性问题的快速求解.本文中方法也适用于一阶时间精度格式的分析,并可推广至对流扩散问题.数值实验验证了二阶时间精度Picard-Newton迭代格式的高精度和高效率.     

Long Time Asymptotic Behavior of Solution of Difference Scheme for a Semilinear Parabolic Equation

In this paper we prove that the solution of implicit difference scheme for a semilinear parabolic equation converges to the solution of difference scheme for the corresponding nonlinear stationary problem as $t\rightarrow\infty$. For the discrete solution of nonlinear parabolic problem, we get its long time asymptotic behavior which is similar to that of the continuous solution. For simplicity, we consider one-dimensional problem.     

CONVERGENCE OF THE CRANK-NICOLSON/NEWTON SCHEME FOR NONLINEAR PARABOLIC PROBLEM

In this paper, the Crank-Nicolson/Newton scheme for solving numerically secondorder nonlinear parabolic problem is proposed. The standard Galerkin finite element method based on P2 conforming elements is used to the spatial discretization of the problem and the Crank-Nicolson/Newton scheme is applied to the time discretization of the resulted finite element equations. Moreover, assuming the appropriate regularity of the exact solution and the finite element solution, we obtain optimal error estimates of the fully discrete CrankNicolson/Newton scheme of nonlinear parabolic problem. Finally, numerical experiments are presented to show the efficient performance of the proposed scheme.