[论文解读] An extension of the characterization of the domain of attraction of an asymptotically stable fixed point in the case of a nonlinear discrete dynamical system

Éva Kaslik, A.M. Balint+2 more|ArXiv.org|Mar 2, 2004

Nonlinear Differential Equations Analysis参考文献 4被引用 4

一句话总结

本文通过证明当原点处线性化系统雅可比矩阵的谱半径小于1时，渐近稳定不动点的吸引域（DA）与唯一李雅普诺夫函数V的自然解析性域完全一致，从而扩展了非线性离散动力系统中吸引域（DA）的表征。该函数V被构造为系统迭代的平方和，并满足一个泛函方程，使得即使线性化范数不小于1，也能实现吸引域的精确估计。

ABSTRACT

The purpose of this paper is to show that if the spectral radius of the matrix of the linearized system of a nonlinear discrete dynamical system is less then one then the characterization theorem from \cite{KBBB1,KBGB2} holds.

研究动机与目标

• 将吸引域（DA）的表征从线性化范数小于1的情况扩展至更一般的情形。
• 证明当不动点处雅可比矩阵的谱半径小于1时，吸引域即为特定李雅普诺夫函数的自然解析性域。
• 利用完整非线性系统而非仅线性部分构造李雅普诺夫函数V，确保V在吸引域内为正，并在吸引域边界处发散。
• 证明该李雅普诺夫函数是满足涉及系统动力学的一阶泛函方程的唯一解。
• 为基于该泛函方程的数值方法提供逼近吸引域的理论基础。

提出的方法

• 将李雅普诺夫函数V(x)定义为无穷级数 ∑_{k=0}^∞ ||f^k(x)||²，该级数在吸引域内所有x处收敛。
• 在r(∂₀f) < 1条件下，利用格朗沃尔型不等式和谱半径估计证明级数的收敛性。
• 建立V满足泛函方程 V(f(x)) - V(x) = -||x||² 且 V(0) = 0。
• 证明V在吸引域上解析，并在x趋近于吸引域边界时趋于无穷。
• 利用泛函方程解的唯一性，证明V是吸引域上唯一满足该方程的函数。
• 利用V在迭代下的不变性，证明当x趋近于吸引域边界时，V(x) → ∞。

实验结果

研究问题

• RQ1 在何种条件下，渐近稳定不动点的吸引域与基于系统迭代构造的李雅普诺夫函数的自然解析性域一致？
• RQ2 吸引域的表征能否从线性化范数小于1的情况推广至谱半径小于1的更一般情形？
• RQ3 是否存在唯一的李雅普诺夫函数V，满足 V(f(x)) - V(x) = -||x||² 且 V(0) = 0，且定义在整个吸引域上？
• RQ4 V在吸引域边界附近的行为如何与系统动力学相关联？
• RQ5 该基于泛函方程的方法能否用于非线性离散系统中吸引域的数值估计？

主要发现

• 原点的吸引域DA(0)是一个开集，且与泛函方程 V(f(x)) - V(x) = -||x||² 的唯一解V的自然解析性域完全一致。
• 李雅普诺夫函数 V(x) = ∑_{k=0}^∞ ||f^k(x)||² 在DA(0)上定义良好、正定且解析，并精确满足该泛函方程。
• 对于DA(0)边界上的任意x₀，当x → x₀时，V(x) → ∞，这刻画了吸引域的边界。
• 当r(∂₀f) < 1时，通过格朗沃尔型估计，级数∑||f^k(x)||² 对所有x ∈ DA(0)均收敛。
• 在DA(0)上，泛函方程的解V是唯一的，因为任意其他解与V的差必须恒为零。
• 数值例子表明，即使||∂₀f|| = 1但r(∂₀f) < 1（如谱半径为零的情况），该方法依然适用。