A new algorithm for proving global asymptotic stability of rational difference equations

DOI10.1080/10236198.2011.599804MaRDI QIDQ4899080zbMATH OpenOpenAlexFDO

Authors Emilie Hogan, Doron Zeilberger

Publication date 4 January 2013

Published in Journal of Difference Equations and Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1106.0932

zbMATH Keywords

algorithmglobal asymptotic stabilityrational difference equationslocally asymptotic stabilitypolynomial positivitylinearized stability theorem

Mathematics Subject Classification ID

Stability theory for smooth dynamical systems (37C75) Stability theory for difference equations (39A30) Inequalities for trigonometric functions and polynomials (26D05) Multiplicative and other generalized difference equations (39A20) Numerical methods for difference equations (65Q10)

Abstract: Global asymptotic stability of rational difference equations is an area of research that has been well studied. In contrast to the many current methods for proving global asymptotic stability, we propose an algorithmic approach. The algorithm we summarize here employs the idea of contractions. Given a particular rational difference equation, defined by a function $Q$ which maps the $k+1$ dimensional real numbers to itself, we attempt to find an integer, $K$, for which $Q^K$ shrinks distances to the difference equation's equilibrium point. We state some general results that our algorithm has been able to prove, and also mention the implementation of our algorithm using Maple.

Recommendations

• Global asymptotic stability of a general higher order difference equation
• Global Asymptotic Stability in a Rational Equation*
• Global asymptotic stability of a rational system
• Global asymptotical stability in a rational difference equation
• Global asymptotic stability in a rational recursive sequence

Cites work

• scientific article; zbMATH DE number 430502 (Why is no real title available?)
• Cylindrical Algebraic Decomposition I: The Basic Algorithm
• Dynamics of third-order rational difference equations with open problems and conjectures
• Global asymptotic stability in some discrete dynamical systems
• Testing positiveness of polynomials

Cited in

(2)

• Global asymptotic stability of a generalization of the Pielou difference equation
• Experimenting with discrete dynamical systems

Describes a project that uses

Uses Software

• GAS
• Maple

This page was built for publication: A new algorithm for proving global asymptotic stability of rational difference equations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4899080)