Convergence Rates for Semi-Discrete Splitting Approximations for Degenerate Parabolic Equations with Source Terms

We study a semi-discrete splitting method for computing approximate viscosity solutions of the initial value problem for a class of nonlinear degenerate parabolic equations with source terms. It is fairly standard to prove that the semi-discrete splitting approximations converge to the desired viscosity solution as the splitting step Δt tends to zero. The purpose of this paper is, however, to consider the more difficult problem of providing a precise estimate of the convergence rate. Using viscosity solution techniques we establish the L^∞ convergence rate for the approximate solutions, and this estimate is robust with respect to the regularity of the solutions. We also provide an extension of this result to weakly coupled systems of equations, and in the case of more regular solutions we recover the “classical” rate . Finally, we analyze in an example a fully discrete splitting method. AMS subject classification (2000) 65M15, 35K65, 35K55, 49L25.Received July 2004. Revised November 2004. Communicated by Per Lötstedt.K. H. Karlsen: This work is supported by the Norwegian Research Council via grant no. 121531/410 (ERJ), the BeMatA program (KHK), and an Outstanding Young Investigators Award (KHK), and the European network HYKE, funded by the EC as contract HPRN-CT-2002-00282 (KHK).     

非线性积分微分方程的稳定性

本文研究一类非线性积分微分方程的稳定性问题．给出了简洁、实用的稳定性新准则．文末例子说明了本文结果的优越性。     

Difference Schemes of Fully Nonlinear Parabolic Systems of Second Order

The general difference schemes for the first boundary problem of the fully nonlinear parabolic systems of second order f(x, t, u, u_x, u_{xx}, u_t) = 0 are considered in the rectangular domain Q_T = {0 ≤ x ≤ l, 0 ≤ t ≤ T}, where u(x, t) and f(x, t, u, p, r, q) are two m-dimensional vector functions with m ≥ 1 for (x, t) ∈ Q_T and u, p, r, q ∈ R^m. The existence and the estimates of solutions for the finite difference system are established by the fixed point technique. The absolute and relative stability and convergence of difference schemes are justified by means of a series of a priori estimates. In the present study, the existence of unique smooth solution of the original problem is assumed. The similar results for nonlinear and quasilinear parabolic systems are also obtained.     

Asymptotic Stability of Some Nonlinear Boltzmann-Type Equations

A generalized version of the Tjon-Wu equation is considered. It describes the evolution of the energy distribution in a model of gas in which simultaneous collisions of many particles are permitted. Using the technique of Zolotarev metrics we show that the stationary solution is exponentially stable.     

On Newton's Method for Solving Nonlinear Equations and Function Splitting

We provided in [14] and [15] a semilocal convergence analysis for Newton's method on a Banach space setting, by splitting the given operator. In this study, we improve the error bounds, order of convergence, and simplify the sufficient convergence conditions. Our results compare favorably with the Newton-Kantorovich theorem for solving equations.     

三维对流扩散方程的三种高精度分裂格式

在算子分裂法思想的基础上,将两种高精度的离散格式推广应用于三维对流扩散方程,同时对经典ADI格式的对流项做了改进,改进后的格式的对流项对空间具有4阶精度,而经典ADI格式对空间只有2阶精度,由此可见,提高了该格式的实用性．最后对两种典型的浓度场进行了数值模拟,将3种格式的计算结果与解析解以及其它传统差分格式的计算结果进行了对比,得出当Peclet数不大于5时,3种格式均获得了令人满意的数值结果,说明推广的这三种方法具有很高的准确性和可靠性．     

The Conservation and Convergence of Two Finite Difference Schemes for KdV Equations with Initial and Boundary Value Conditions

Korteweg-de Vries equation is a nonlinear evolutionary partial differential equation that is of third order in space. For the approximation to this equation with the initial and boundary value conditions using the finite difference method, the difficulty is how to construct matched finite difference schemes at all the inner grid points. In this paper, two finite difference schemes are constructed for the problem. The accuracy is second-order in time and first-order in space. The first scheme is a two-level nonlinear implicit finite difference scheme and the second one is a three-level linearized finite difference scheme. The Browder fixed point theorem is used to prove the existence of the nonlinear implicit finite difference scheme. The conservation, boundedness, stability, convergence of these schemes are discussed and analyzed by the energy method together with other techniques. The two-level nonlinear finite difference scheme is proved to be unconditionally convergent and the three-level linearized one is proved to be conditionally convergent. Some numerical examples illustrate the efficiency of the proposed finite difference schemes.     

非线性发展方程的Taylor展开方法

提出了积分非线性发展方程的新方法,即Taylor展开方法．标准的Galerkin方法可以看作0-阶Taylor展开方法,而非线性Galerkin方法可以看作1-阶修正Taylor展开方法A·D2此外,证明了数值解的存在性及其收敛性．结果表明,在关于严格解的一些正则性假设下,较高阶的Taylor展开方法具有较高阶的收敛速度．最后,给出了用Taylor展开方法求解二维具有非滑移边界条件Navier-Stokes方程的具体例子．     

连续Sylvester矩阵方程求解的分裂迭代算法

有效求解连续的Sylvester矩阵方程对于科学和工程计算有着重要的应用价值,因此该文提出了一种可行的分裂迭代算法.该算法的核心思想是外迭代将连续Sylvester矩阵方程的系数矩阵分裂为对称矩阵和反对称矩阵,内迭代求解复对称矩阵方程.相较于传统的分裂算法,该文所提出的分裂迭代算法有效地避免了最优迭代参数的选取,并利用了复对称方程组高效求解的特点,进而提高了算法的易实现性、易操作性.此外,从理论层面进一步证明了该分裂迭代算法的收敛性.最后,通过数值算例表明分裂迭代算法具有良好的收敛性和鲁棒性,同时也证实了分裂迭代算法的收敛性很大程度依赖于内迭代格式的选取.     

A Family of Fifth-Order Iterative Methods for Solving Nonlinear Equations

In this paper, we present and analyze a family of fifth-order iterative methods free from second derivative for solving nonlinear equations. It is established that the family of iterative methods has convergence order five. Numerical examples show that the new methods are comparable with the well known existing methods and give better results in many aspects.     

非线性波动方程的显式差分法

利用有界延拓法,研究了非线性波动方程周期初边值问题的显式差分解的收敛性与稳定性,避免了较难的先验估计,并放宽了非线性项的条件。     

解非线性方程的自动调节阻尼法

解非线性方程组的一般方法是将其线性化,形成各种形式的迭代程序进行数值近似计算.对于复杂强非线性问题,在迭代过程中往往不易收敛,甚至数值失稳而发散.不能满足工程要求.常规的牛顿法及改进的牛顿法均未彻底解决这一问题,因而使得复杂强非线性问题的数值模拟计算受到了限制.本文提出一种新的方法---自动调节阻尼法,是对带阻尼因子的牛顿法的进一步改进.引进阻尼因子向量,在迭代过程中,通过判断与调整,不断地自动调节阻尼因子向量,引用有效收敛系数与加速系数,改善对赋初值的要求,加速求解的迭代过程,保证了复杂强非线性方程求解的稳定性.采用这一新的方法,已成功地数值模拟了飞机中的一些复杂的传热问题,可进一步推广用于非线性流动、传热、结构动力响应等各种复杂强非线性的工程问题的数值模拟计算.     

一类四阶非线性微分方程解的有界性及稳定性

运用Liapunov函数方法,研究了一类四阶非线性微分方程解的有界性及稳定性,得到了解的有界性及零解的全局渐近稳定性的充分条件。     

求解非线性方程重根的平方收敛迭代法

研究了具有重根的非线性方程的迭代方法,对基于动力系统的新牛顿类方法作了修改,改进方法仍保持了牛顿方法的二阶收敛性.数值实验结果验证了方法的有效性.     

Convergence of Iterative Difference Schemes for Two and Three Dimensional Nonlinear Parabolic Systems

In this paper, we study the general difference schemes of the boundary value problem for the nonlinear parabolic systems with two and three space dimensions. To solve the nonlinear difference schemes, we construct an iterative sequence from the solutions or the linearized difference schemes. We shall prove the convergence of the difference solutions for the iterative difference schemes to the solution of the original boundary value problem or the nonlinear parabolic systems.     

广义非线性Sine-Gordon方程的两个隐式差分格式

本文对一类非线性Sine-Gordon方程的初边值问题提出了两个隐式差分格式．两个隐式差分格式的精度均为O(τ~2 h~2)．我们用离散泛函分析的方法证明了格式的收敛性和稳定性,并证明了求解格式的追赶迭代法的收敛性,最后给出了数值结果．结果表明本文的格式是有效的和可靠的．     

The Order of Convergence of Difference Schemes for Fractional Equations

In this paper, we continue our research on convergence of difference schemes for fractional differential equations. Using implicit difference scheme and explicit difference scheme, we have a deal with the full discretization of the solutions of fractional differential equations in time variables and get the order of convergence.     

Stokes方程的投影／方向分裂谱方法

我们提出和分析了一种求解Stokes方程的数值方法．新方法基于空间上的Legendre谱离散,时间上则采用投影／方向分裂格式．更确切地说,时间离散的出发点是旋度形式的压力校正投影法,在此基础上进一步应用方向分裂法,把速度和压力方程分裂为一系列一维的椭圆型子问题．然后生成的这些一维子问题用Legendre谱方法进行空间离散．另外,我们证明了全离散格式的稳定性．一些数值实验验证了收敛性和方法的有效性．     

一类非线性反应-扩散方程有限差分格式的稳定性研究

In the article,the fully discrete finite difference scheme for a type of nonlinear reaction-diffusion equation is established.Then the new function space is introduced and the stability problem for the finite difference scheme is discussed by means of variational approximation method in this function space.The approach used is of a simple characteristic in gaining the stability condition of the scheme.