离散系统的渐近稳定性

先讨论吋变离散系统 (1) x(τ+1)=f(τ,x(τ),τ=t_0+k,k=0,1,2,…,t_0≥0。其中f:[0,∞)×D→R~n,D是R~n中包含原点的开集,f(τ,0)≡0。对每个t_0≥0和每个x_0∈D,保证(1)有唯一的解x(τ)=x(τ,t_0,x_0),具有x(t_0,t_0,x_0)=x_0。对于连续的时变系统来说,只有Liapunov函数V(t,x)正定和它关于系统的导数V(t,x)负定性是不能保证零解的渐近稳定性的,通常附加V具有无穷小上界,或限定方程右端函数F(t,x)对有界的|x|有界,或限定V(t,x)→∞,当t→∞,x≠0时才能推出零解的渐近