進化ゲームと微分方程式 第１５章 ｎ種の群集の安定性

Presentation on theme: "進化ゲームと微分方程式 第１５章 ｎ種の群集の安定性"— Presentation transcript:

1 進化ゲームと微分方程式 第１５章 ｎ種の群集の安定性
進化ゲームと微分方程式 第１５章　ｎ種の群集の安定性 北陸先端科学技術大学院大学 知識科学研究科　知識システム基礎学専攻 遺伝子知識システム論講座　佐藤研究室 亀谷　聡 北陸先端科学技術大学院大学 知識科学研究科　知識システム基礎学専攻 遺伝子知識システム論講座　佐藤研究室 亀谷　聡

2 ロトカ・ヴォルテラ方程式とは 捕食者と被食者の相互作用による個体群数のダイナミクスを記述する方程式 （15.1） ：個体群密度
（15.1） ：個体群密度 ：ｎ種類の種内種間の相互作用を無視した場合のｉの成長率 。 ：一単位の種ｊが種ｉの個体数成長率に与える影響 この方程式は、種ｉの増加率(　/　)を表しており、内的増加率(　)と種ｊの影響からなる

3 (定理15.1.1) 全ての に対して を満たす(15.1)を考える。これが内部休止 点 を持つと仮定する。この時次の性質は同値といえる
(定理15.1.1) 全ての　　 に対して　　　 を満たす(15.1)を考える。これが内部休止 点 を持つと仮定する。この時次の性質は同値といえる (M1) 　 内の全ての軌道は　　　 の時一様有界である (M2) 行列Aが安定である(Aの全ての固有値が負の実部を持つ) (M3) Aの主座小行列式の符号が で与えられる (M4) 全ての 　　　に対して　　　 が存在し を満たす (M5) 　　　 が存在し　　　　 を満たす (M6) 休止点は　 は大域的漸近安定であり、全ての(境界上の)軌道は　　　　 の時一様有界である (M7)　 は大域的に安定である (M8) (15.1)はパーマネンスである (M9) 全ての内部軌道は　　　　 の時一様有界である (M10) 　 が存在し、その成分は全て非正である (M11) 全ての　　　 (ただし、　　　)に対して,　　　　　 となるｉが存在する

4 (定理15.2.1) 行列Aに対して次の条件は同値である
(B1) 全ての　　　　に対して、ロトカ･ヴォルテラ方程式(１)の解は 　　　　 の時一様有界である (B2)　　における の解に対して、原点０は大域的に漸近安定である (B3) ある　　　 (ただし、　　　)に対して、 が成り立つ時、　　　 である 　  同値な条件(B1)～(B3)行列のどれかが成り立つ時、AはB行列と呼ばれる

5 (定理15.2.4)行列AがB行列であることと次の条件は同値である
小行列も同じ性質を持つ (B6) 全ての非負の対角行列　　　 について、A－D は の方向に０固有値を持たず、Aの全ての主小行列 も同じ性質を持つ (B7) 　　　　 を満たす　　　 が存在し、全ての主小行列も同じ性質を持つ (B8) ある 　　 　 に対して、ロトカ・ヴォルテラ方程式 (15.1) は　　　　 で全ての軌道が有界となり、この性質 は の小さな摂動に対してロバストである ⇒この条件は生物学的には、全ての状態　　　 において、少なくとも1つの種ｉの成長率が種の相互 作用によって減らされることを意味する (B9) 全ての　　　 に対して、(15.1)は、飽和休止点を持ち、同様な性質が全てのサブシステムに対して 成り立つ (B10) 全ての　　 　に対して、(15.1)は唯一の飽和休止点、即ち、０を持つ (定理 )Aの全ての真主小行列はB行列であり,det(-A)>0であるならば、A自身がB行列である

6 ヴォルテラ・リアプノフ安定(VL安定) (定理15.3.1) AがVL安定ならば、全ての に対してロトカ・ヴォルテラ方程式は大域的
(全ての　　　　 ) が成り立つような正の数 　 が存在する時、Aはヴォルテラ・リアプノフ安定と呼ぶ (定理15.3.1) AがVL安定ならば、全ての　　　 に対してロトカ・ヴォルテラ方程式は大域的 に安定な不動点を持つ

7 (定理15.4.1) P行列の以下の性質は全て同値である
行列Aは、すべての主小行列式が正である時、P行列と呼ばれる (定理15.4.1) P行列の以下の性質は全て同値である (P1) AがP行列である (P2) 全ての対角行列D　0に対して、A＋DはP行列である (P3) 全ての　　　 に対して、　　　　　 を満たすｉが存在する (P4) 全ての　　　 に対して、　　　　　　　　　　　　 を満たす対角行列D＞０が存在する (P5) Aの主小行列の全ての実固定値は正である 。 (定理15.4.5)ロトカ･ヴォルテラ方程式が全ての　　　 に対して一意な飽和休止点を持つ ための必要十分条件は、－AがP行列となることである

8 (定理15.5.1) Ａが長さ3以上のサイクルを持たないとする。この時、ＡがＶＬ安定と ための必要十分条件は－ＡがＰ行列となることである
Aを(1)でモデル化される生態系の相互作用行列とする。 または の時、ｉとｊを辺で結ぶことによ り無向グラフ が得られ、 の時、矢印ｊ→ｉを引くことにより有向グラフ が得られる。 相異なる添え字の組み合わせ に対して積 が零とならないものをＡのサイクルと呼 ぶ。このサイクルの長さはｋである。 (定理15.5.1) Ａが長さ3以上のサイクルを持たないとする。この時、ＡがＶＬ安定と ための必要十分条件は－ＡがＰ行列となることである (定理15.5.3) 　　 　が長さ3以上のサイクルを持たず、　　　かつ全ての　　　に対して 　　　　　を満たすと仮定する。この時ＡはＶＬ安定である 　　　　　　→この定理の特殊な例が食物連鎖である。相互作用の係数　 の符号(＋､0､－) のみがわかっている場合に安定性が保証される 。 (定理15.5.8) Ａが、 と長さが2以上のＡの全てのサイクルが正であるという条件を満たす 時、ＡがＶＬ安定であるための必要十分条件は、－ＡがＰ行列となることである

9 Ｄ安定性と全安定性 (定理15.6.5) Ａが全安定であるための必要十分条件は、各ｒに対して、(15.1)が飽和不動点を唯一
　 をロトカ・ヴォルテラ方程式(15.1)の内部不動点とする。　 におけるヤコビアンは　　　 で与えられ るので、成長率　 に依存する。 が常に漸近安定であることを保証するには、相互作用行列ＡがＤ安定、 すなわち、全ての対角行列 に対してＤＡが安定であればよい。 Ｄ安定性という概念は非常に難しいものであり，ロトカ・ヴォルテラ方程式に対して－驚くべきことに－あ る種の大域的意味を持っている。  (定理15.6.5) Ａが全安定であるための必要十分条件は、各ｒに対して、(15.1)が飽和不動点を唯一 　　　　　　つだけ持ち、かつ、この点がその辺内で漸近安定となることである