積分差分方程式のソースを表示

[[数学]]の分野における'''積分差分方程式'''（せきぶんさぶんほうていしき、{{Lang-en-short|integrodifference equation}}）とは、ある[[関数空間]]上の[[漸化式]]で、次のような形状で表されるもののことをいう。

:<math> n_{t+1}(x) = \int_{\Omega} k(x, y)\, f(n_t(y))\, dy. </math>

ここで <math>\{n_t\}\,</math> はその関数空間上の関数列で、<math>\Omega\,</math> はそれらの定義域である。応用上の多くの場面では、任意の <math>y\in\Omega\,</math> に対して <math>k(x,y)\,</math> は <math>\Omega\,</math> 上の[[確率密度関数]]であるとされる。ここで上述の定義では、<math>n_t</math> はベクトル値となることもあり、その場合には <math>\{n_t\}</math> の各成分は対応するスカラー値の積分差分方程式となることに注意されたい。積分差分方程式は、[[数理生物学]]、とりわけ{{仮リンク|理論生態学|en|theoretical ecology}}の分野において、個体群の{{仮リンク|生物学的分散|label=分散|en|biological dispersal}}や成長をモデル化するために幅広く用いられている。そのような場合、<math>n_t(x)</math> は時間 <math>t</math> における位置 <math>x</math> での個体サイズあるいは密度を表し、<math>f(n_t(x))</math> は位置 <math>x</math> での局所的な個体群成長を表し、<math>k(x,y)</math> は点 <math>y</math> から点 <math>x</math> への移動確率で、しばしば分散核 (dispersal kernel) と呼ばれる。積分差分方程式は、多くの節足動物や一年生植物を含む{{仮リンク|化性|label=単化性|en|voltinism}}個体群をモデル化する際に最もよく用いられている。しかし、世代が重ならない機構を持つのであれば、多化性個体群をモデル化する際にも積分差分方程式を用いることができる<ref>Kean, John M., and Nigel D. Barlow. 2001. A Spatial Model for the Successful Biological Control of Sitona discoideus by Microctonus aethiopoides. The Journal of Applied Ecology. 38:1:162-169.</ref>。そのような場合、<math>t</math> の単位は年とは限らず、繁殖の間の時間増加を表すために用いられる。

== 合成核と侵入速度 ==
空間一次元において、分散核はしばしば出発点と目的地の間の距離にのみ依存するものとされ、そのような場合には <math>k(x-y)</math> と書かれる。このとき、f と k に対するいくつかの自然な条件の下で、コンパクトな初期条件から生成される侵入波の伝播速度は [[well-defined]] となる。そのような波の速度はしばしば、線形化方程式
:<math> n_{t+1} = \int_{-\infty}^{\infty} k(x-y) R n_t(y)\, dy </math>
を調べることによって計算される。ここで <math> R = df/dn(n=0)</math> であり、この式は畳み込み
:<math> n_{t+1} = f'(0) k * n_t </math>
として書き表すことができる。ここで[[積率母関数|積率母関数変換]]
:<math> M(s) := \int_{-\infty}^{\infty} e^{sx} n(x)\, dx </math>
を用いることで、臨界波速 (critical wave speed)
:<math> c^* := \min_{ w > 0 } \left[\frac{1}{w} \ln \left( R \int_{-\infty}^{\infty} k(s) e^{w s} \,ds \right) \right] </math>
が求められる。

空間内の個体群ダイナミクスをモデル化する上で用いられる他のタイプの方程式には、[[反応拡散方程式]]や[[メタ個体群|メタ個体群方程式]]などがある。しかし、拡散方程式は明示的な分散パターンを含むことができるほど簡単なものではなく、世代が重なるような個体群に対してのみ生物学的に正当なものとなる<ref>Kot, Mark and William M Schaffer. 1986. Discrete-Time Growth Dispersal Models. ''Mathematical Biosciences''. 80:109-136</ref>。また、メタ個体群方程式は連続的な土地ではなく離散的なパッチに個体群を細分するという点において、積分差分方程式とは異なるものとなる。

== 脚注 ==
{{reflist}}
{{refbegin}} 
{{refend}}

{{DEFAULTSORT:せきふんさふんほうていしき}}
[[Category:応用数学]]
[[Category:数学に関する記事]]
[[Category:数理生物学]]