[論文レビュー] Singular Hamilton-Jacobi equation for the tail problem

Sepideh Mirrahimi, Guy Barles+2 more|arXiv (Cornell University)|Jul 16, 2010

Mathematical and Theoretical Epidemiology and Ecology Models参考文献 17被引用数 7

ひとこと要約

本稿は、種の生物学的生存閾値をモデル化する特異な平方根反応項を有する反応拡散方程式の長時間・長距離における漸近的挙動を調査する。双曲的スケーリングとWKB型解析を用いて、解に依存する障害を有する特異なハミルトニアン・ジャコビ方程式を導出し、特定の条件下で極限の存在と一意性を証明するとともに、死亡率項の正確な形態が漸近的には無関係であることを示している。

ABSTRACT

In this paper we study the long time-long range behavior of reaction diffusion equations with negative square root -type reaction terms. In particular we investigate the exponential behavior of the solutions after a standard hyperbolic scaling. This leads to a Hamilton-Jacobi variational inequality with an obstacle that depends on the solution itself and defines the open set where the limiting solution does not vanish. Counter-examples show a nontrivial lack of uniqueness for the variational inequality depending on the conditions imposed on the boundary of this open set. Both Dirichlet and state constraints boundary conditions play a role. When the competition term does not change sign, we can identify the limit, while, in general, we find lower and upper bounds for the limit. Although models of this type are rather old and extinction phenomena are as important as blow-up, our motivation comes from the so-called "tail problem" in population biology. One way to avoid meaningless exponential tails, is to impose extra-mortality below a given survival threshold. Our study shows that the precise form of this extra-mortality term is asymptotically irrelevant and that, in the survival zone, the population profile is impacted by the survival threshold (except in the very particular case when the competition term is non-positive).

研究の動機と目的

• 生存閾値をモデル化する特異な平方根反応項を有する反応拡散方程式の長時間および長距離挙動を理解すること。
• 空間と時間が小さなパラメータ ε でスケーリングされる双曲的スケーリングの下で、このような方程式の漸近的極限を調査すること。
• 生存領域における極限的集団プロファイルを特徴づけること、特にそれが生存閾値および競争項にどのように依存するかを明らかにすること。
• 閾値以下の特異的死亡率が与える影響を厳密に分析することで、種の生物学におけるいわゆる「テイル問題」を解消すること。
• 元の反応拡散方程式と、解に依存する自由境界を有する準変分的ハミルトニアン・ジャコビ方程式との間の関係を確立すること。

提案手法

• 反応拡散方程式に双曲的スケーリング (x,t) ↦ (x/ε, t/ε) を適用し、長時間・長距離の動的挙動を研究する。
• 解のWKB型指数変換を用いて、ε → 0 の極限においてハミルトニアン・ジャコビ方程式を導出する。
• 解そのものに依存する自由境界を含む準変分不等式を定式化し、これが生存領域を表す。
• 解の台によって暗黙的に定義される障害を有する、結果として得られる特異なハミルトニアン・ジャコビ方程式を分析する。
• 粘性解理論と比較原理を用いて、極限の存在、一意性、および比較結果を確立する。
• 反復的構成とテスト関数法を用いて収束を証明し、極限解のバインディングを導出する。

実験結果

リサーチクエスチョン

• RQ1 平方根型の特異的死亡率項の導入が、反応拡散方程式の長時間・長距離挙動にどのように影響を与えるか。
• RQ2 漸近的状態において生存領域を記述する、正確な極限ハミルトニアン・ジャコビ方程式の形態は何か。
• RQ3 準変分不等式における解に依存する障害が、極限の解の一意性および構造にどのように影響を与えるか。
• RQ4 極限解が一意に決定される条件は何か。また、その場合、上界と下界のみが得られるのはどのような状況か。
• RQ5 なぜ特異的死亡率項の特定の形態（n^{1/2}）が他の非線形形態と比較して漸近的に無関係となるのか。

主な発見

• スケーリングされた反応拡散方程式の極限は、解に依存する障害を有する特異なハミルトニアン・ジャコビ方程式によって支配される。この方程式は生存領域を表す。
• 競争項 R が符号を変化させない限り、極限解は一意に特徴づけられる。そうでない場合には、上界と下界のみが得られる。
• 反例により、境界条件および自由境界の挙動に依存して、変分不等式における非自明な一意性の欠如が示された。
• 特異的死亡率項の正確な形態（n^{1/2}）は漸近的に無関係である。極限挙動は生存閾値および R の符号にのみ依存する。
• 生存領域は、解の構造に従って進化する自由境界によって決定され、極限解は状態制約を伴う準変分不等式を満たす。
• 解析により、生存閾値機構が、人口モデルにおける意味のない指数的テイルを効果的に排除することを確認し、「テイル問題」を解決した。