Abstract:Stability of numerical solutions to stochastic differential equations (SDEs) has received an increasing attention from researchers in applied mathematics and engineering areas, but there has been so far little work on the stability analysis of numerical solutions to highly nonlinear stochastic functional differential equations (SFDEs). The aim of this paper is to study the almost sure exponential stability of the backward Euler scheme for highly nonlinear SFDEs. Firstly, a stability criterion is established for the almost sure exponential stability of the underlying nonlinear SFDE under an extended polynomial growth condition, the global existence of the solutions of the underlying equation is simultaneously shown with a new technique, the Fatou’s Lemma. Secondly, the almost sure exponential stability of the backward Euler scheme is investigated by contrast. The stability criterion shows that the numerical scheme preserves the almost sure exponential stability of the analytic solution under the same growth condition, which improves some related result in literature as a corollary by way. To describe the scheme conveniently, a concept, the interpolation segment, is formally proposed in the paper, which provides a way for constructing a discretized approximation to a continuous function applied in the scheme. To achieve the required results, the classical nonnegative semi-martingale convergence theorem is reformed to a practical version, namely the so called practical nonnegative semi-martingale boundedness lemma in the paper. At the end of the paper, a numerical example is proposed to illustrate the adaption of the growth condition assumed in the paper.

Modified generalized second derivative extended backward differentiation formulas for highly stiff and stiffly oscillatory systems of ODEs

Adaptive second derivative multistep methods for solving stiff chemical problems

A CLASS OF STIFFLY STABLE K-STEP SECOND DERIVATIVE METHODS OF ORDER 2K+1

High-Order Schemes of Exponential Time Differencing for Stiff Systems with Nondiagonal Linear Part

A systematic approach to obtain the analytical solution for coupled linear second-order ordinary differential equations: Part II

Steady State and Sign Preserving Semi-Implicit Runge-Kutta Methods for ODEs with Stiff Damping Term.

Stability-Optimized High Order Methods and Stiffness Detection for Pathwise Stiff Stochastic Differential Equations

Performance Evaluation of Single-step Explicit Exponential Integration Methods on Stiff Ordinary Differential Equations

An Efficient Backward Euler Time-Integration Method for Nonlinear Dynamic Analysis of Structures

Solution of Regular Second- and Fourth-Order Sturm–Liouville Problems by Exact Dynamic Stiffness Method Analogy

High Order Numerical Schemes for Second-Order FBSDEs with Applications to Stochastic Optimal Control

Almost Sure Exponential Stability of Implicit Numerical Solution for Stochastic Functional Differential Equation with Extended Polynomial Growth Condition.

A Second-Order Stabilization Method for Linearizing and Decoupling Nonlinear Parabolic Systems

A stable higher-order numerical method for solving a system of third-order singular Emden-Fowler type equations

A Family of Conditionally Explicit Methods for Second-Order ODEs and DAEs: Application in Multibody Dynamics

Decoupling multistep schemes for elliptic-parabolic problems

Numerical solution of highly oscillatory ordinary differential equations

The Vector Form Of A Sixth-Order A-Stable Explicit One-Step Method For Stiff Problems

Explicit strong stability preserving second derivative multistep methods for the Euler and Navier–Stokes equations

Explicit Stabilized Multirate Method for Stiff Stochastic Differential Equations

Error estimation for numerical approximations of ODEs via composition techniques. Part I: One-step methods