Runge-Kutta methods for dissipative and gradient dynamical systems
Runge-Kutta methods for dissipative and gradient dynamical systems
复制标题
DOI:
10.1137/0731075
复制
发表时间:
1994-10
影响因子:
2.9
通讯作者:
A. R. Humphries;A. Stuart
中科院分区:
文献类型:
--
作者:
A. R. Humphries;A. Stuart
The numerical approximation of dissipative initial value problems by fixed time-stepping Runge–Kutta methods is considered and the asymptotic features of the numerical and exact solutions are compared. A general class of ordinary differential equations, for which dissipativity is induced through an inner product, is studied throughout. This class arises naturally in many finite dimensional applications (such as the Lorenz equations) and also from the spatial discretization of a variety of partial differential equations arising in applied mathematics. It is shown that the numerical solution defined by an algebraically stable method has an absorbing set and is hence dissipative for any fixed step-size h > 0. The numerical solution is shown to define a dynamical system on the absorbing set if h is sufficiently small and hence a global attractor A_h exists; upper-semicontinuity of A_h at h = 0 is established, which shows that, for h small, every point on the numerical attractor is close to a point on the true global attractor A. Under the additional assumption that the problem is globally Lipschitz, it is shown that if h is sufficiently small any method with positive weights defines a dissipative dynamical system on the whole space and upper semicontinuity of A_h at h = 0 is again established. For gradient systems with globally Lipschitz vector fields it is shown that any Runge–Kutta method preserves the gradient structure for h sufficiently small. For general dissipative gradient systems it is shown that algebraically stable methods preserve the gradient structure within the absorbing set for h sufficiently small. Convergence of the numerical attractor is studied and, for a dissipative gradient system with hyperbolic equilibria, lower semicontinuity at h = 0 is established. Thus, for such a system, A_h converges to A in the Hausdorff metric as h → 0.