如果微分方程的解既是穩定的又是吸引的，則稱該解是漸近穩定的。
設微分方程 d x d t = f ( t , x ) , x ( t 0 ) = x 0 {\displaystyle {\frac {\mathrm {d} x}{\mathrm {d} t}}=f(t,x),x(t_{0})=x^{0}}
滿足解的存在唯一性定理的條件，其解 x ( t ) = x ( t , t 0 , x 0 ) {\displaystyle x(t)=x(t,t_{0},x^{0})} 的存在區間是 ( − ∞ , ∞ ) {\displaystyle (-\infty ,\infty )} 。
f ( t , x ) {\displaystyle f(t,x)} 還滿足 f ( t , 0 ) = 0 {\displaystyle f(t,0)=0} ,保證 x ( t ) = 0 {\displaystyle x(t)=0} 是方程的解。
若 ∀ ϵ > 0 , ∃ δ = δ ( ϵ , t 0 ) , ∀ ‖ x 0 ‖ < δ , ‖ x ( t , t 0 , x 0 ) ‖ < ϵ {\displaystyle \forall \epsilon >0,\exists \delta =\delta (\epsilon ,t_{0}),\forall \lVert x^{0}\rVert <\delta ,\lVert x(t,t_{0},x^{0})\rVert <\epsilon } 則稱零解是穩定的。
若 ∃ δ , ∀ x 0 ∈ S ( 0 , δ ) {\displaystyle \exists \delta ,\forall x^{0}\in S(0,\delta )} 和 ∀ ϵ > 0 , ∃ T = T ( ϵ , t 0 , x 0 ) {\displaystyle \forall \epsilon >0,\exists T=T(\epsilon ,t_{0},x^{0})} 並且當 t > t 0 + T {\displaystyle t>t_{0}+T} 時， ‖ x ( t , t 0 , x 0 ) ‖ < ϵ {\displaystyle \lVert x(t,t_{0},x^{0})\rVert <\epsilon } 則稱零解是吸引的。
的存在區間是
。
還滿足
,保證
是方程的解。
則稱零解是穩定的。
和
並且當
時，
則稱零解是吸引的。
