非线性系统【三】LaSalle不变原理
非線性系統【三】LaSalle不變原理
引理4.1
如果方程x˙=f(x)\dot{x}=f(x)x˙=f(x)的解x(t)x(t)x(t)有界,且當t≥0t\ge0t≥0時屬于DDD,那么其正極限集L+L^+L+是非空不變緊集,且當t→∞t\rightarrow \infint→∞時,x(t)x(t)x(t)趨近于L+L^+L+
定理4.4 LaSalle定理
設Ω?D\Omega\subset DΩ?D是方程的一個正不變緊集。設V:D→RV:D\rightarrow RV:D→R是連續可微函數,在Ω\OmegaΩ內滿足V˙(x)≤0\dot{V}(x)\le0V˙(x)≤0設EEE是Ω\OmegaΩ內所有點的集合,滿足V˙(x)=0\dot{V}(x)=0V˙(x)=0,MMM是EEE內的最大不變集。那么當t→∞t\rightarrow \infint→∞時,始于Ω\OmegaΩ內的每個解都趨近于MMM。
推論4.1
設x=0x=0x=0是方程的一個平衡點,V:D→RV:D\rightarrow RV:D→R是D上連續可微的正定函數,D包含原點x=0x=0x=0,且在DDD內滿足V˙(x)≤0\dot{V}(x)\le0V˙(x)≤0。設S={x∈D∣V˙(x)=0}S=\{x\in D|\dot{V}(x)=0 \}S={x∈D∣V˙(x)=0}。并假設除平凡解x≡0x\equiv0x≡0之外沒有其他解同樣保持在DDD內,那么原點是漸進穩定的。A.S.
推論4.2
設x=0x=0x=0是方程的一個平衡點,V:D→RV:D\rightarrow RV:D→R是D上連續可微且徑向無界的正定函數,對于所有的x∈Rnx\in R^nx∈Rn有V˙(x)≤0\dot{V}(x)\le0V˙(x)≤0。設S={X∈Rn∣V˙(x)=0}S=\{X\in R^n|\dot{V}(x)=0 \}S={X∈Rn∣V˙(x)=0}。并假設除平凡解x≡0x\equiv0x≡0之外沒有其他解同樣保持在DDD內,那么原點是全局漸進穩定的。G.A.S.
總結
以上是生活随笔為你收集整理的非线性系统【三】LaSalle不变原理的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: python-类的定制
- 下一篇: win10 Visio软件运行 闪退