Delay-dependent stability of high order Runge–Kutta methods

This paper is concerned with the study of the delay-dependent stability of Runge–Kutta methods for delay differential equations. First, a new sufficient and necessary condition is given for the asymptotic stability of analytical solution. Then, based on this condition, we establish a relationship between τ(0)-stability and the boundary locus of the stability region of numerical methods for ordinary differential equations. Consequently, a class of high order Runge–Kutta methods are proved to be τ(0)-stable. In particular, the τ(0)-stability of the Radau IIA methods is proved.     

广义中立型系统的渐近稳定性及数值分析

１．引 言 考察如下广义中立型系统：其中,Ｌ,Ｍ,Ｎ ∈ Ｃｄ×ｄ为已知矩阵,　　　为已知向量值函数,　　　　　　　　　　当ｔ＞０时为未知函数,　　　　　　　　　　　　　　　　　　　　　　　　　为常数延时量． 对于　　　　　　　　　　　　　　　　　,１９６７年,Ｂｒａｙｔｏｎ［１］基于Ｌ,Ｍ,Ｎ为实对称矩阵,以及Ｉ± Ｎ和－Ｌ± Ｍ为正定矩阵时,讨论了（１）渐近稳定的充分条件;１９８４年,Ｊａｃｋｉｅｗｉｃｚ［２］基于 Ｌ,Ｍ,Ｎ为复系数时,研究了理论解的渐近稳定性及单步方法的数值稳定性;１９８８年,Ｂ…     

Dissipativity and asymptotic stability of nonlinear neutral delay integro-differential equations

This paper is concerned with the dissipativity and asymptotic stability of the theoretical solutions of a class of nonlinear neutral delay integro-differential equations (NDIDEs). We first give a generalization of the Halanay inequality which plays an important role in the study of dissipativity and stability of differential equations. Then, we apply the generalization of the Halanay inequality to NDIDEs and the dissipativity and the asymptotic stability results of the theoretical solution of NDIDEs are obtained. From a numerical point of view, it is important to study the potential of numerical methods in preserving the qualitative behavior of the analytical solutions. Therefore, the results, presented in this paper, provide the theoretical foundation for analyzing the dissipativity and the asymptotic stability of the numerical methods when they are applied to these systems.     

Localization of limit sets and stability of systems of the neutral type with nonmonotone Lyapunov functionals

We suggest new approaches to the study of the asymptotic stability of equilibria for equations of the neutral type. Nonmonotone indefinite Lyapunov functionals are used. We investigate the localization of solutions with respect to the level surfaces of a Lyapunov functional and a functional estimating the derivative of the Lyapunov functional along the solutions. By using solution localization tests, we obtain new conditions for the asymptotic stability of equilibria for equations of the neutral type with bounded right-hand side. We present asymptotic stability tests that do not impose any a priori stability condition on the difference operator. A generalization of the Barbashin–Krasovskii theorem for nonmonotone indefinite Lyapunov functionals is proved for autonomous equations.     

求解广义中立型系统的线性多步方法的NGP_G-稳定性

建立了广义中立型延迟系统理论解渐近稳定的充分条件 ,分析了用线性多步方法求解广义中立型延迟系统数值解的稳定性 ,在一定的Lagrange插值条件下 ,证明了数值求解广义中立型系统的线性多步方法NGPG_稳定的充分必要条件是线性多步方法是A_稳定的·     

逐段常变量微分方程组概周期型解存在唯一性

通过差分方程指数二分法,我们研究了一类具有变系数逐段常变量微分方程组概周期与伪概周期解的存在唯一性与渐近稳定性,改进了已有文献的结果,并且得到了差分方程满足指数二分性的一个充分条件．     

Asymptotic stability of exact and discrete solutions for neutral multidelay-integro-differential equations

This paper concerns the long-time behavior of the exact and discrete solutions to a class of nonlinear neutral integro-differential equations with multiple delays. Using a generalized Halanay inequality, we give two sufficient conditions for the asymptotic stability of the exact solution to this class of equations. Runge–Kutta methods with compound quadrature rule are considered to discretize this class of equations with commensurate delays. Nonlinear stability conditions for the presented methods are derived. It is found that, under suitable conditions, this class of numerical methods retain the asymptotic stability of the underlying system. Some numerical examples that illustrate the theoretical results are given.     

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.     

Convergence and asymptotic stability of Galerkin methods for a partial differential equation with piecewise constant argument

The paper deals with the convergence and asymptotic stability of Galerkin methods for a partial differential equation with piecewise constant argument. The optimal convergence orders are obtained for the semidiscrete and full discrete (backward Euler) methods respectively. Both the discrete solutions are proved to be asymptotically stable under the condition that the analytical solution is asymptotically stable.     

非线性随机延迟微分方程Euler-Maruyama方法的均方稳定性

本文首先将数值方法的均方稳定性的概念MS-稳定与GMS-稳定从线性试验方程推广到一般非线性的情形,然后针对一维情形下的非线性随机延迟微分方程初值问题,证明了如果问题本身满足零解是均方渐近稳定的充分条件,那么当漂移项满足一定的限制条件时,Euler- Maruyama方法是MS-稳定的与带线性插值的Euler-Maruyama方法是GMS-稳定的理论结果．     

Analytical and numerical methods for the stability analysis of linear fractional delay differential equations

In this paper, several analytical and numerical approaches are presented for the stability analysis of linear fractional-order delay differential equations. The main focus of interest is asymptotic stability, but bounded-input bounded-output (BIBO) stability is also discussed. The applicability of the Laplace transform method for stability analysis is first investigated, jointly with the corresponding characteristic equation, which is broadly used in BIBO stability analysis. Moreover, it is shown that a different characteristic equation, involving the one-parameter Mittag-Leffler function, may be obtained using the well-known method of steps, which provides a necessary condition for asymptotic stability. Stability criteria based on the Argument Principle are also obtained. The stability regions obtained using the two methods are evaluated numerically and comparison results are presented. Several key problems are highlighted.     

Lyapunov's second method in problems of the stability of solutions of systems with impulse effect

A system of ordinary differential equations with impulse effect at fixed moments of time is considered. The system is assumed to have the zero solution. It is shown that the existence of a corresponding Lyapunov function is a necessary and sufficient condition for the uniform asymptotic stability of the zero solution. Restrictions on perturbations of the right-hand sides of differential equations and impulse effects are obtained under which the uniform asymptotic stability of the zero solution of the ‘unperturbed’ system implies the uniform asymptotic stability of the zero solution of the ‘perturbed’ system. (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Backward Euler-Maruyama method applied to nonlinear hybrid stochastic differential equations with time-variable delay

In this paper, we consider strong convergence and almost sure exponential stability of the backward Euler-Maruyama method for nonlinear hybrid stochastic differential equations with time-variable delay. Under the local Lipschitz condition and polynomial growth condition, it is proved that the backward Euler-Maruyama method is strongly convergent. Additionally, the moment estimates and almost sure exponential stability for the analytical solution are proved. Also, under the appropriate condition, we show that the numerical solutions for the backward Euler-Maruyama methods are almost surely exponentially stable. A numerical experiment is given to illustrate the computational effectiveness and the theoretical results of the method.     

无限时滞随机泛函微分方程的Razumikhin型定理

在无限时滞的随机泛函微分方程整体解存在的前提下,建立了一般衰减稳定性的Razumikhin型定理.在此基础上,基于局部Lipschitz条件和多项式增长条件,得到了无限时滞随机泛函微分方程整体解的存在唯一性,以及具有一般衰减速率的p阶矩和几乎必然渐近稳定性定理.     

广义时滞微分方程的渐近稳定性和数值分析

考虑了广义时滞微分方程的初值问题，分析了用线性多步法求解一类广义滞后型微分系统数值解的稳定性，在一定的Lagrange插值条件下，给出并证明了求解广义滞后型微分系统的线性多步法数值稳定的充分必要条件。     

A review of theoretical and numerical analysis for nonlinear stiff Volterra functional differential equations

In this review, we present the recent work of the author in comparison with various related results obtained by other authors in literature. We first recall the stability, contractivity and asymptotic stability results of the true solution to nonlinear stiff Volterra functional differential equations (VFDEs), then a series of stability, contractivity, asymptotic stability and B-convergence results of Runge-Kutta methods for VFDEs is presented in detail. This work provides a unified theoretical foundation for the theoretical and numerical analysis of nonlinear stiff problems in delay differential equations (DDEs), integro-differential equations (IDEs), delayintegro-differential equations (DIDEs) and VFDEs of other type which appear in practice.      

Asymptotic mean-square stability of linear multi-step methods for SODEs

In this article we present results of a linear stability analysis of stochastic linear multi-step methods for stochastic ordinary differential equations. As in deterministic numerical analysis we use a linear time-invariant test equation and study when the numerical approximation shares asymptotic properties in the mean-square sense of the exact solution of that test equation. Sufficient conditions for asymptotic mean-square stability of stochastic linear two-step-Maruyama methods are obtained with the aide of Lyapunov-type functionals. In particular we study the asymptotic mean-square stability of stochastic counterparts of two-step Adams-Bashforth- and Adams-Moulton-methods and the BDF method. (© 2006 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Global Stability of an Autonomous Stochastic Delay Differential Equation with Discontinuous Coefficients

We study the stability and asymptotic stability of the zero solution of autonomous stochastic delay differential equations with discontinuous coefficients by the Lyapunov second method. For the equations under study, we obtain analogs of the Lyapunov stability theorem and the Barbashin–Krasovskii and Zubov asymptotic stability theorems for the zero solution.     

Quasi-neutral and zero-viscosity limits of Navier–Stokes–Poisson equations in the half-space

The present paper is concerned with the quasi-neutral and zero-viscosity limits of Navier–Stokes–Poisson equations in the half-space. We consider the Navier-slip boundary condition for velocity and Dirichlet boundary condition for electric potential. By means of asymptotic analysis with multiple scales, we construct an approximate solution of the Navier–Stokes–Poisson equations involving two different kinds of boundary layer, and establish the linear stability of the boundary layer approximations by conormal energy estimate.     

非线性变延迟微分方程隐式Euler法的渐近稳定性

本讨论非线性变延迟微分方程隐式Euler法的渐近稳定性。我们证明，在方程真解渐近稳定的条件下，隐式Euler法也是渐近稳定的。