一种证明有理差分方程全局渐近稳定性的新算法

有理差分方程的全局渐近稳定性是一个已被深入研究的研究领域。与当前许多证明全局渐近稳定性的方法不同，我们提出一种算法途径。我们在此总结的算法采用了压缩的思想。给定一个由将 k+1 维实数映射到自身的函数 Q 定义的有理差分方程，我们试图找到一个整数 K，使得 Q^K 将距离收缩到该差分方程的平衡点。我们陈述了我们的算法能够证明的一些一般性结果，并提及了使用 Maple 实现该算法的情况。