Template:Unreferenced 如果微分方程的解既是稳定的又是吸引的,则称该解是渐近稳定的。
设微分方程dxdt=f(t,x),x(t0)=x0
满足解的存在唯一性定理的条件,其解x(t)=x(t,t0,x0)的存在区间是(−∞,∞)。
f(t,x)还满足f(t,0)=0,保证x(t)=0是方程的解。
若∀ϵ>0,∃δ=δ(ϵ,t0),∀‖x0‖<δ,‖x(t,t0,x0)‖<ϵ则称零解是稳定的。
若∃δ,∀x0∈S(0,δ)和∀ϵ>0,∃T=T(ϵ,t0,x0)并且当t>t0+T时,‖x(t,t0,x0)‖<ϵ则称零解是吸引的。