Waveform relaxation method for stochastic differential equations with constant delay

This paper extends the waveform relaxation method to stochastic differential equations with constant delay terms, gives sufficient conditions for the mean square convergence of the method. A lot of attention is paid to the rate of convergence of the method. The conditions of the superlinear convergence for a special case, which bases on the special splitting functions, are given. The theory is applied to a one-dimensional model problem and checked against results obtained by numerical experiments.     

Discrete time waveform relaxation method for stochastic delay differential equations

We propose in this paper the discrete time waveform relaxation method for the stochastic delay differential equations and prove that it is convergent in the mean square sense. In addition, the results obtained are supported by numerical experiments.     

非线性刚性微分-代数系统的波形松弛离散法

研究基于Runge-Kutta方法的波形松弛离散过程,得到新的刚性微分-代数系统的收敛理论,及该类系统解的存在性和惟一性,并用具体算例测试该理论的有效实用性.     

Fourth-order diagonally implicit schemes for evolution equations

New fourth-order methods are proposed for solving both ordinary and partial differential equations. The derivation of the methods is based on the form of diagonally implicit schemes applied to stiff ordinary differential equations. The methods are absolutely and unconditionally stable. Test computations are presented.     

Stein implicit Runge-Kutta methods with high stage order for large-scale ordinary differential equations

The Runge-Kutta method is one of the most popular implicit methods for the solution of stiff ordinary differential equations. For large problems, the main drawback of such methods is the cost required at each integration step for computing the solution of a nonlinear system of equations. In this paper, we propose to reduce the cost of the computation by transforming the linear systems arising in the application of Newton's method to Stein matrix equations. We propose an iterative projection method onto block Krylov subspaces for solving numerically such Stein matrix equations. Numerical examples are given to illustrate the performance of our proposed method.     

非线性中立型泛函微分方程Runge-Kutta 法的稳定性和收敛性

本文涉及Runge-Kutta 法变步长求解非线性中立型泛函微分方程(NFDEs) 的稳定性和收敛性.为此, 基于Volterra 泛函微分方程Runge-Kutta 方法的B- 理论, 引入了中立型泛函微分方程Runge-Kutta 方法的EB (expanded B-theory)-稳定性和EB-收敛性概念. 之后获得了Runge-Kutta 方法变步长求解此类方程的EB - 稳定性和EB- 收敛性. 这些结果对中立型延迟微分方程和中立型延迟积分微分方程也是新的.     

Dissipativity of Runge-Kutta methods for Volterra functional differential equations

This paper is concerned with the numerical dissipativity of nonlinear Volterra functional differential equations (VFDEs). We give some dissipativity results of Runge-Kutta methods when they are applied to VFDEs. These results provide unified theoretical foundation for the numerical dissipativity analysis of systems in ordinary differential equations (ODEs), delay differential equations (DDEs), integro-differential equations (IDEs), Volterra delay integro-differential equations (VDIDEs) and VFDEs of other type which appear in practice. Numerical examples are given to confirm our theoretical results.     

Parallel linear system solvers for Runge-Kutta methods

If the nonlinear systems arising in implicit Runge-Kutta methods like the Radau IIA methods are iterated by (modified) Newton, then we have to solve linear systems whose matrix of coefficients is of the form I-A hJ with A the Runge-Kutta matrix and J an approximation to the Jacobian of the righthand side function of the system of differential equations. For larger systems of differential equations, the solution of these linear systems by a direct linear solver is very costly, mainly because of the LU-decompositions. We try to reduce these costs by solving the linear systems by a second (inner) iteration process. This inner iteration process is such that each inner iteration again requires the solution of a linear system. However, the matrix of coefficients in these new linear systems is of the form I - B hJ where B is similar to a diagonal matrix with positive diagonal entries. Hence, after performing a similarity transformation, the linear systems are decoupled into s subsystems, so that the costs of the LU-decomposition are reduced to the costs of s LU-decompositions of dimension d. Since these LU-decompositions can be computed in parallel, the effective LU-costs on a parallel computer system are reduced by a factor s ³ . It will be shown that matrices B can be constructed such that the inner iterations converge whenever A and J have their eigenvalues in the positive and nonpositive halfplane, respectively. The theoretical results will be illustrated by a few numerical examples. A parallel implementation on the four-processor Cray-C98/4256 shows a speed-up ranging from at least 2.4 until at least 3.1 with respect to RADAU5 applied in one-processor mode.     

An experimental study of interface relaxation methods for composite elliptic differential equations

The recently proposed simulation framework of interface relaxation for developing multi-domain multi-physics simulation engines is considered. An experimental study of the behavior of two representative interface relaxation methods is presented. Three linear and one non-linear elliptic two-dimensional PDE problems are considered and they are coupled with both cartesian and general decompositions. The characteristics and the effectiveness of the proposed collaborative PDE solving framework in general, and of the two interface relaxation methods in particular are shown.     

B-Theory of Runge-Kutta methods for stiff Volterra functional differential equations

B-stability and B-convergence theories of Runge-Kutta methods for nonlinear stiff Volterra func-tional differential equations(VFDEs)are established which provide unified theoretical foundation for the studyof Runge-Kutta methods when applied to nonlinear stiff initial value problems(IVPs)in ordinary differentialequations(ODEs),delay differential equations(DDEs),integro-differential equatioons(IDEs)and VFDEs of     

A stability property of A-stable collocation-based Runge-Kutta methods for neutral delay differential equations

We consider a linear homogeneous system of neutral delay differential equations with a constant delay whose zero solution is asymptotically stable independent of the value of the delay, and discuss the stability of collocation-based Runge-Kutta methods for the system. We show that anA-stable method preserves the asymptotic stability of the analytical solutions of the system whenever a constant step-size of a special form is used.     

Iterative operator-splitting methods with higher-order time integration methods and applications for parabolic partial differential equations

In this paper we design higher-order time integrators for systems of stiff ordinary differential equations. We combine implicit Runge–Kutta and BDF methods with iterative operator-splitting methods to obtain higher-order methods. The idea of decoupling each complicated operator in simpler operators with an adapted time scale allows to solve the problems more efficiently. We compare our new methods with the higher-order fractional-stepping Runge–Kutta methods, developed for stiff ordinary differential equations. The benefit is the individual handling of each operator with adapted standard higher-order time integrators. The methods are applied to equations for convection–diffusion reactions and we obtain higher-order results. Finally we discuss the applications of the iterative operator-splitting methods to multi-dimensional and multi-physical problems.     

On the iterative solution of the algebraic equations in fully implicit Runge-Kutta methods

This paper deals with the iterative solution of stage equations which arise when some fully implicit Runge-Kutta methods, in particular those based on Gauss, Radau and Lobatto points, are applied to stiff ordinary differential equations. The error behaviour in the iterates generated by Newton-type and, particularly, by single-Newton schemes which are proposed for the solution of stage equations is studied. We consider stiff systems y'(t) = f(t,y(t)) which are dissipative with respect to a scalar product and satisfy a condition on the relative variation of the Jacobian of f(t,y) with respect to y, similar to the condition considered by van Dorsselaer and Spijker in [7] and [17]. We prove new convergence results for the single-Newton iteration and derive estimates of the iteration error that are independent of the stiffness. Finally, some numerical experiments which confirm the theoretical results are presented. This revised version was published online in June 2006 with corrections to the Cover Date.     

Preconditioning in implicit initial-value problem methods on parallel computers

Implicit step-by-step methods for numerically solving the initial-value problem {y=f(y),y(0)=y ₀} usually lead to implicit relations of which the Jacobian can be approximated by a matrix of the special formK=I–hM J, whereM is a matrix characterizing the step-by-step method andJ is the Jacobian off. Similar implicit relations are encountered in discretizing initial-value problems for other types of functional equations such as VIEs, VIDEs and DDEs. Application of (modified) Newton iteration for solving these implicit relations requires the LU-decomposition ofK. Ifs andd are the dimensions ofM andJ, respectively, then this LU-decomposition is anO(s ³ d ³) process, which is extremely costly for large values ofsd. We shall discuss parallel iteration methods for solving the implicit relations that exploit the special form of Jacobian matrixK. Their main characteristic is that each processor is required to compute LU-decompositions of matrices of dimensiond, so that this part of the computational work is reduced by a factors ³. On the other hand, the number of iterations in these parallel iteration methods is usually much larger than in Newton iteration. In this contribution, we will try to reduce the number of iterations by improving the convergence of such parallel iteration methods by means of preconditioning.This paper is presented as an outcome of the LMS Durham Symposium convened by Professor C.T.H. Baker on 4–14 July 1992, with support from the SERC under grant reference number GR/H03964.     

New splitting methods for two-dimensional evolutionary equations

New second- and third-order splitting methods are proposed for evolutionary-type partial differential equations in a two-dimensional space. These methods are derived on the basis of diagonally implicit methods applied to the numerical analysis of stiff ordinary differential equations. The splitting methods are found to be absolutely unconditionally stable. Test calculations are presented.     

Convergence of multistep methods for retarded differential equations with parameters

A class of numerical methods for nonlinear boundary-value problems for retarded differential equations with a parameter is considered. Sufficient conditions for convergence and error estimates are given     

Some linear stability results for iterative schemes for implicit Runge-Kutta methods

This article examines stability properties of some linear iterative schemes that have been proposed for the solution of the nonlinear algebraic equations arising in the use of implicit Runge-Kutta methods to solve a differential systemx =f(x). Each iteration step requires the solution of a set of linear equations, with constant matrixI –hJ, whereJ is the Jacobian off evaluated at some fixed point. It is shown that the stability properties of a Runge-Kutta method can be preserved only if is an eigenvalue of the coefficient matrixA. SupposeA has minimal polynomial (x – ) ^m p(x),p() 0. Then stability can be preserved only if the order of the method is at mostm + 2 (at mostm + 1 except for one case).This work was partially supported by a grant from the Science and Engineering Research Council.     

Stochastic partitioned averaged vector field methods for stochastic differential equations with a conserved quantity

In this paper, stochastic differential equations in the Stratonovich sense with a conserved quantity are considered. A stochastic partitioned averaged vector field method is proposed and analyzed. We prove this numerical method is able to preserve the conserved quantity of the original system. Then the convergence analysis is carried out in detail and we derive the method is convergent with order $1$ in the mean-square sense. Finally some numerical examples are reported to verify the effectiveness and flexibility of the proposed method.     

Linearly implicit methods for nonlinear parabolic equations

We construct and analyze combinations of rational implicit and explicit multistep methods for nonlinear parabolic equations. The resulting schemes are linearly implicit and include as particular cases implicit-explicit multistep schemes as well as the combination of implicit Runge-Kutta schemes and extrapolation. An optimal condition for the stability constant is derived under which the schemes are locally stable. We establish optimal order error estimates.

     

Energy methods for stochastic differential equations

This article is devoted to the existence of strong solutions to stochastic differential equations (SDEs). Compared with Ito's theory, we relax the assumptions on the volatility term and replace the global Lipschitz continuity condition with a local Lipschitz continuity condition and a Hoelder continuity condition. In particular, our general SDE covers the Cox–Ingersoll–Ross SDE as a special case. We note that the general weak existence theory presumably extends to our general SDE (although the explicit time dependence of the drift term and the volatility term might require some extra considerations). However, avoiding weak existence theory we prove the existence of a strong solution directly using a priori estimates (the so-called energy estimates) derived from the SDE. The benefit of this approach is that the argument only requires some basic knowledge about stochastic and functional analysis. Moreover, the underlying principle has developed to become one of the cornerstones of the modern theory of partial differential equations (PDEs). In this sense, the general goal of this article is not just to establish the existence of a strong solution to the SDE under consideration but rather to introduce a new principle in the context of SDEs that has already proven to be successful in the context of PDEs.