[論文レビュー] Travelling waves for the cane toads equation with bounded traits

Émeric Bouin, Vincent Cálvez|Sep 18, 2013

Mathematical and Theoretical Epidemiology and Ecology Models被引用数 12

ひとこと要約

本稿は、オーストラリアにおけるカエルトビカエルの侵入を記述する非局所的反応拡散変異モデルに対して、移動能（特性）が空間的拡散に影響を与える場合に、移動波解の存在を確立する。スカウダー位相的次数論的議論と特性変数におけるスペクトル解析を用いて、最小波速 $c^*$ の存在を証明し、非局所性および不均一な拡散係数の下でも一様 $L^∞$ 界が得られる解の形状を構成する。

ABSTRACT

In this paper, we study propagation in a nonlocal reaction-diffusion-mutation model describing the invasion of cane toads in Australia. The population of toads is structured by a space variable and a phenotypical trait and the space-diffusivity depends on the trait. We use a Schauder topological degree argument for the construction of some travelling wave solutions of the model. The speed $c^*$ of the wave is obtained after solving a suitable spectral problem in the trait variable. An eigenvector arising from this eigenvalue problem gives the flavor of the profile at the edge of the front. The major difficulty is to obtain uniform $L^\infty$ bounds despite the combination of non local terms and an heterogeneous diffusivity.

研究の動機と目的

• 非局所的反応拡散変異モデルとしてのカエルトビカエル侵入の、有界な表現型特性を有する移動波解を厳密に構成すること。
• 非局所項および特性依存拡散の影響により生じる、人口密度に対する一様 $L^\infty$ 界を取得するという主要な課題を解決すること。
• 特性変数におけるスペクトル問題を用いて最小波速 $c^*$ を特定し、波の先端における形状を特徴づけること。
• 無限遠でゼロに減少し、先端部でゼロから離れた正の非自明な形状が存在することを確立すること。
• 形式的に以前に発表された結果を完全に証明し、侵入集団における空間-特性共進化の理論的理解の空白を埋めること。

提案手法

• 空間 $x \in \mathbb{R}^n$ と有界な特性 $\theta \in (\theta_{\text{min}}, \theta_{\text{max}})$ を持つ構造化集団モデルを定式化し、拡散係数を $\theta$ に依存させる。
• 移動波解 $n(t,x,\theta) = \mu(x\cdot e - ct, \theta)$ の形をとる解の構成に、スカウダー位相的次数論的議論を適用する。
• 最小波速 $c^*$ を決定するため、特性変数におけるスペクトル固有値問題を解き、関連固有ベクトルが波の先端における形状の性質を記述する。
• ハーナック不等式を用いて、解 $\mu$ の下界を制御し、先端領域における一様正の性質を確立する。
• 下位解 $\psi_\eta(\xi,\theta) = m(1 + \eta\xi)Q^*(\theta)$ との比較議論を用いて、$\mu(\xi,\theta) \geq mQ^*(\theta)$ for $\xi \leq 0$ を証明し、一様下界を保証する。
• 反証法を用いて $L^\infty$ 界を確立し、反応項の構造と解の正規化を活用する。

実験結果

リサーチクエスチョン

• RQ1 特性依存拡散と有界な特性を有する非局所的反応拡散変異モデルに対して、移動波解が存在しうるか？
• RQ2 侵入波の最小波速 $c^*$ は何か？ そしてそれは特性変数におけるスペクトル特性によってどのように特定されるか？
• RQ3 非局所項および不均一な拡散係数の下で、人口密度に対する一様 $L^\infty$ 界をどのように確立できるか？
• RQ4 波形の先端における漸近的挙動および無限遠における挙動は何か？
• RQ5 特性変数におけるスペクトル問題の主固有ベクトルと、波の先端における形状とはどのように関係するか？

主な発見

• スカウダー次数論的議論を用いて、波速 $c^*$ を持つ移動波解の存在が厳密に証明された。
• 最小波速 $c^*$ は、特性変数 $\theta$ におけるスペクトル固有値問題を解くことによって決定される。
• 形状 $\mu(\xi,\theta)$ は、すべての $\xi \leq 0$ に対して $\mu(\xi,\theta) \geq mQ^*(\theta)$ を満たし、$m > 0$ かつ $Q^*$ が主固有ベクトルであるため、先端部で一様に正であることが保証される。
• 解は $\xi \to +\infty$ のときゼロに減少する、すなわち $\lim_{\xi \to +\infty} \mu(\xi, \cdot) = 0$ であり、波の先端構造が確認される。
• $L^\infty$ 界は、下位解 $\psi_\eta$ を用いた反証法により確立され、形状が一様に下界および上界で有界であることが証明される。
• 補題15の証明における矛盾は、$\nu(\xi) \geq \delta > 0$ を満たす列 $\xi_n \to +\infty$ が存在する場合に生じるため、正規化 $\varepsilon = \nu(0)$ を用いることで、無限遠での減少が確認される。