[論文レビュー] Applications of Perron-Frobenius Theory to Population Dynamics

Chi-Kwong Li, Hans Schneider|ArXiv.org|Sep 2, 2001

Mathematical and Theoretical Epidemiology and Ecology Models参考文献 12被引用数 4

ひとこと要約

この論文は、人口動態における行列モデルにPerron-Frobenius理論を適用し、人口統計学の基本定理の簡潔な証明を提示するとともに、CushingとYicangのネット出生率 $ R_0 $ に関する定理を精緻化している。$ q(s) $ による繁殖行列のスケーリングにより、任意の所望の成長率 $ s $ を達成できることを確立し、$ s = 1 $ のとき $ R_0 = 1 $ が人口の安定性に対応することを示している。また、次世代行列のスペクトル性質を通じて $ R_0 $ が長期的人口行動をどのように支配するかを明らかにしている。

ABSTRACT

By the use of Perron-Frobenius theory, simple proofs are given of the Fundamental Theorem of Demography and of a theorem of Cushing and Yicang on the net reproductive rate occurring in matrix models of population dynamics. The latter result is further refined with some additional nonnegative matrix theory. When the fertility matrix is scaled by the net reproductive rate, the growth rate of the model is 1. More generally, we show how to achieve a given growth rate for the model by scaling the fertility matrix. Demographic interpretations of the results are given.

研究の動機と目的

• Perron-Frobenius理論を用いて、人口動態における主要な結果の簡潔で厳密な証明を提供すること。
• 非負行列理論を用いて、CushingとYicangのネット出生率 $ R_0 $ に関する定理を精緻化・一般化すること。
• 任意の指定された成長率 $ s $ を達成するために繁殖行列をスケーリングする関数的関係 $ q(s) $ を確立すること。
• $ R_0 $、$ q(s) $、および射影行列 $ P $ のスペクトル性質の人口統計的解釈を明確にすること。
• $ R_0 = 1 $ がゼロ成長率および人口の定常状態に対応することを示すこと（適切な条件下で）

提案手法

• 不可約非負行列に対するPerron-Frobenius定理を用いて、射影行列 $ P = T + F $ のスペクトル性質を分析する。
• 次世代行列 $ Q = F(I - T)^{-1} $ を定義し、そのスペクトル半径 $ \rho(Q) = R_0 $ をネット出生率とする。
• 成長率 $ s $ を達成するために $ F $ を $ q(s) $ でスケーリングする関数 $ q(s) $ を導出する。$ q(s) = \text{leading entry of } F(I - T/s)^{-1}/s $ を用いる。
• 不可約行列に対するPerron-Frobenius理論のグラフ理論的拡張を用いて、結果を精緻化する。
• 条件 $ \rho(T) < 1 $ の下で、$ (I - T)^{-1} = \sum_{k=0}^\infty T^k $ という解の恒等式を用い、$ Q $ を生存および繁殖イベントの無限級数として表現する。
• 固有値方程式 $ q(r) = 1 $ を分析し、$ r $ が $ s^{-1} $ の多項式の正の根であることを示す。

実験結果

リサーチクエスチョン

• RQ1 Perron-Frobenius理論を用いて、原始的射影行列に対する人口統計学の基本定理をどのように証明できるか？
• RQ2 ネット出生率 $ R_0 $ が長期的人口成長または安定性を決定づける役割は、どのように特定できるか？
• RQ3 繁殖行列をどのようにスケーリングすれば、所望の人口成長率 $ s $ を達成できるか？ また、必要なスケーリング係数 $ q(s) $ の関数的形は何か？
• RQ4 $ R_0 = 1 $ の人口統計的解釈は何か？ また、これは人口の定常状態とどのように関係するか？
• RQ5 射影行列 $ P $ が不可約ではあるが非原始的である場合、$ Q $ と $ P $ のスペクトル性質はどのように関係するか？ これには世代的安定性にどのような意味があるか？

主な発見

• ネット出生率 $ R_0 = \rho(Q) $ は、次世代行列 $ Q = F(I - T)^{-1} $ のスペクトル半径であり、生涯にわたる新生児の期待子孫数を表す。
• $ R_0 = 1 $ のとき、人口成長率 $ r = 1 $ となり、原始的射影行列の下で人口の定常状態が成立する。
• 任意の $ s > 0 $ に対して、繁殖行列 $ F $ を $ q(s) $ でスケーリングすることで、成長率 $ s $ を達成するモデルが得られる。$ q(s) $ は $ F(I - T/s)^{-1}/s $ の先頭成分として導出される。
• Leslie行列の場合、$ q(s) = f_1 s^{-1} + f_2 t_1 s^{-2} + \cdots + f_n (t_{n-1} \cdots t_1) s^{-n} $ となり、$ s^{-1} $ の多項式となる。成長率 $ r $ は $ q(r) = 1 $ を満たす。
• 例として、$ \rho(T) = 0 $ となるように $ T $ と $ F $ をスケーリングした場合、スケーリング関数は $ q(s) = (1 + 2s^2)/(8s^4) $ であり、対応する $ R_0(s) = 3s^4 / (1 + 2s^2) $ となる。
• たとえ $ \rho(P) = 1 $ であっても、正規化された人口は無限に振動し続け得るため、世代的安定性が人口分布の収束を意味するとは限らない。