ラサール不変原理の証明
📂動力学ラサール不変原理の証明
原理
ビルドアップ
空間 X と関数 f:X→X に関して、以下のようなベクトル場が微分方程式として与えられているとする。
x˙=f(x)
フロー ϕt(⋅) 下のコンパクトな不変集合を M⊂Rn と呼ぶ。
M で定義されたリャプノフ関数 V:M→R があるとき、以下の2つの集合を考える。
E:={x∈M:V′(x)=0}
これに対して次のように定義された集合 M を正不変部positively Invariant Partと呼ぶ。
M:={The union of all trajectories that start in E and remain in E for all t>0}
ラサール不変原理lasalle Invariance Principle
全ての x∈M に対して t→∞ のとき ϕt(x)→M である。
証明
戦略:主にリャプノフ関数の定義とオメガリミットセットの特性を使用する。
リャプノフ関数の定義: 空間 X と関数 f:X→X に関して、以下のようなベクトル場が微分方程式として与えられているとする。
x˙=f(x)
このような自律システムのある点 x0∈X が与えられたとき、x0 の近傍 N(x0) で定義されたスカラー関数 V∈C1(N(x0),R) が以下の条件を満たすとき、リャプノフ関数Liapunov functionと呼ばれる。
- (i): V(x0)=0 であり、x=x0 のとき V(x)>0
- (ii): x∈N(x0)∖{x0} で V′(x)≤0
オメガリミットセットの特性: 全体空間がユークリッド空間 X=Rn であり、フロー ϕt(⋅) 下のコンパクトな不変集合 M のある点 p∈M が与えられたとする:
- [1]: ω(p)=∅
- [2]: ω(p) は閉集合である。
- [3]: ω(p) はフローに不変である。つまり、ω(p) は軌道の合併である。
- [4]: ω(p) は連結空間である。
まず、オメガリミットセット ω(x) でV が定数関数 V=χ になることを示そう。
x∈ω(x)χ=V(x)
とすると、V はフロー ϕt に従って増加しない。言い換えると、ti≤t≤ti+1 に対して
V(ϕti(x))≥V(ϕt(x))≥V(ϕti+1(x))
であり、リャプノフ関数 V の連続性により、χ は {V(ϕt(x)):t≥0} の最小値、すなわちインフィマムになる。オメガリミットセット ω(x) はフローに不変であるため、ϕt(x) も ϕt(x) のオメガリミット点になる。χ は上記のように {V(ϕt(x)):t≥0} のインフィマムであったので、
V(ϕt(x))=χ
χ は定数であり、ω(x) でV’=0 であり、E の定義によりω(x)⊂E だ。一方で、ω(x) は不変集合であり、M の定義によりω(x)⊂M でもある。したがって、t→∞ のときϕt(x)→M である。
■