[論文レビュー] Transition fronts in nonlocal Fisher-KPP equations in time heterogeneous media

Wenxian Shen, Zhongwei Shen|arXiv (Cornell University)|Jul 14, 2015

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

ひとこと要約

本稿は、時不変でない媒体における非局所 Fisher-KPP 方程式に対して、遷移フロントの構築を行い、正確な空間的減衰率と連続的微分可能性を証明する。また、漸近的安定性を確立する：初期データが無限大でフロントと同様に減衰し、マイナス無限大で下から有界である場合、空間的シフトを除いて、解は一様にフロントに収束する。

ABSTRACT

The present paper is devoted to the study of transition fronts of nonlocal Fisher-KPP equations in time heterogeneous media. We first construct transition fronts with prescribed interface location functions, which are natural generalizations of front location functions in homogeneous media. It it shown that these transition fronts have exact decaying rates as the space variable tends to infinity. Then, by the general results on space regularity of transition fronts of nonlocal evolution equations proven in the authors' earlier work (\cite{ShSh14-4}), these transition fronts are continuously differentiable in space. We show that their space partial derivatives have exact decaying rates as the space variable tends to infinity. Finally, we study the asymptotic stability of transition fronts. It is shown that transition fronts attract those solutions whose initial data decays as fast as transition fronts near infinity and essentially above zero near negative infinity.

研究の動機と目的

• 時変非線形性を有する非局所 Fisher-KPP 方程式における遷移フロントの存在を確立すること。
• x → ∞ における遷移フロントおよびその空間微分の正確な空間的減衰率を同定すること。
• 先行研究における一般正則性理論を用いて、空間に関して連続的微分可能であることを証明すること。
• 初期データに特定の減衰および下界の性質がある場合の遷移フロントの漸近的安定性を調査すること。
• 無限大でフロントの減衰と一致する初期データおよびマイナス無限大でゼロから離れている初期データを有する解が、空間的シフトを除いて一様にフロントに収束することを示すこと。

提案手法

• 時間に依存する指数関数的関数を用いて、フロントの位置と減衰を制御する下界および上界解を構築する。
• 先行研究（Shen & Shen, 2015）における一般正則性理論を適用し、遷移フロントが空間に関して連続的微分可能であることを証明する。
• 界面位置関数 X(t) を用いて解を再中心化し、時間に一様に減衰挙動を解析する。
• 比較原理と漸近的解析を用いて、解と構築されたフロントを比較し、収束を確立する。
• 非局所作用素 J ∗ u − u の構造と指数的バウンディングを用いて、フロントおよびその微分の減衰率を導出する。
• 解の比に基づく摂動論法を用いて、初期データの条件のもとでの収束を証明する。

実験結果

リサーチクエスチョン

• RQ1 時不変でない媒体における非局所 Fisher-KPP 方程式に対して、界面位置関数と正確な減衰率を指定した遷移フロントを構築できるか？
• RQ2 このような構築された遷移フロントは空間に関して連続的微分可能であり、その微分は正確にどの程度減衰するか？
• RQ3 初期データにどのような条件下で、解が長時間にわたり一様に遷移フロントに収束するか？
• RQ4 遷移フロントの漸近的安定性は、無限大における初期データの減衰率およびマイナス無限大における下界にどのように依存するか？
• RQ5 収束の極限における正確な空間的シフトは何か？ そして、これは初期データの漸近的挙動によってどのように決定されるか？

主な発見

• 非局所 Fisher-KPP 方程式の時不変でない媒体において、任意の κ ∈ (0, κ₀] に対して、x → ∞ における正確な空間的減衰率 e^{-κx} を有する遷移フロントが存在する。
• 構築された遷移フロントは空間に関して連続的微分可能であり、その空間微分は x → ∞ において正確に e^{-κx} のように減衰する。
• 初期データ u₀ が liminf_{x→-∞} u₀ > 0 および lim_{x→∞} u₀(x)/u^κ(t₀,x) = λ ∈ (0,∞) を満たす場合、t → ∞ のとき解はシフトされたフロント u^κ(t, x − (ln λ)/κ) に一様に収束する。
• 初期データが無限大で e^{-κx} のように減衰し、マイナス無限大で下から有界である場合、ある時刻 t₀ が存在し、t → ∞ のとき解はフロント u^κ(t,x) に一様に収束する。
• 収束は空間に関して一様であり、すべての κ ∈ (0, κ₀] に対して成り立つ。ここで κ₀ はフロント構築が有効である最大の κ である。
• 漸近的安定性の結果は鋭い：収束を保証するためには、初期データが無限大でフロントと同程度以上に速く減衰し、マイナス無限大で下から有界でなければならない。