[論文レビュー] Pulsating fronts for bistable on average reaction-diffusion equations in a time periodic environment

Benjamin Contri|arXiv (Cornell University)|Jul 22, 2015

Mathematical and Theoretical Epidemiology and Ecology Models参考文献 27被引用数 14

ひとこと要約

本稿は、時間周期的環境における平均的に二重安定な非線形性を有する反応拡散方程式に対して、脈動的前波（pulsating fronts）の存在、一意性、単調性、安定性を確立する。摂動法および放物型最大原理を用いて、時間周期 T が小さい場合、あるいは既知の前波解の小さな摂動の場合に、このような前波が存在することを証明し、非自励的で周期的に駆動される系へと古典的な二重安定前波理論を拡張する。

ABSTRACT

This paper is devoted to reaction-diffusion equations with bistable nonlinearities depending periodically on time. These equations admit two linearly stable states. However, the reaction terms may not be bistable at every time. These may well be a periodic combination of standard bistable and monostable nonlinearities. We are interested in a particular class of solutions, namely pulsating fronts. We prove the existence of such solutions in the case of small time periods of the nonlinearity and in the case of small perturbations of a nonlinearity for which we know there exist pulsating fronts. We also study uniqueness, monotonicity and stability of pulsating fronts.

研究の動機と目的

• 非線形性が各瞬間で二重安定ではない時間周期的反応拡散方程式へ、二重安定移動波の理論を拡張すること。
• 非自励的かつ周期的に駆動される設定において、空間時間的に周期的で単調な遷移プロファイルを有する脈動的前波—spatiotemporally periodic solutions—の存在を確立すること。
• 時間周期 T が小さい、または小さな摂動条件下での、これらの脈動的前波の一意性、単調性、安定性を分析すること。
• 均質な二重安定方程式における古典的結果を、時間平均でしか二重安定でない非線形性を有する場合にまで一般化すること。

提案手法

• u=0 および u=1 における時間平均導関数が負であることで、「平均的に二重安定」という概念を形式化する。
• 時間周期 T が小さい、または非線形性が既知の前波を生成する非線形性の小さな摂動である場合に、脈動的前波を構成するための摂動技法を適用する。
• Sobolev空間およびH"older空間における下界・上界解の方法に加え、放物型正則性およびコンパクト性の議論を用いる。
• 強い最大原理および放物型ハルナック不等式を用いて、退化解を除外し、前波プロファイルの厳密な単調性を確立する。
• 極限プロファイルの分析と比較関数の構成により、境界層解析における矛盾を導くことで、解の漸近的挙動を分析する。
• 前波プロファイル周りの線形化作用素のスペクトル解析を用いて、安定性および一意性を導出する。

実験結果

リサーチクエスチョン

• RQ1 時間周期的非線形性を有する反応拡散方程式に対して、非線形性が平均的に二重安定である場合、脈動的前波が存在する条件は何か？
• RQ2 脈動的前波の存在および性質は、非線形性の時間周期 T にどのように依存するか？
• RQ3 脈動的前波は平行移動を除いて一意に定まり、小さな摂動条件下で厳密に単調かつ安定的か？
• RQ4 非線形性が時間的に単安定と二重安定の間を振動する場合、前波プロファイルにはどのような影響が生じるか？
• RQ5 均質な二重安定方程式における平面的前波の古典的理論を、非自励的かつ時間周期的設定へと拡張できるか？

主な発見

• 時間周期的反応拡散方程式に対して、非線形性が平均的に二重安定である限り、時間周期 T が小さい、または既知の前波を生成する非線形性の小さな摂動の下では、脈動的前波が存在する。
• 構成された脈動的前波は、移動座標系において厳密に単調減少であり、lim_{ξ→-∞} U(t,ξ) = 1 および lim_{ξ→∞} U(t,ξ) = 0 が t に関して一様に成り立つ。
• 脈動的前波の空間的平行移動を除いて一意であり、適切な初期条件の下で、前波は大域的漸近安定である。
• 前波速度 c* は一意に定まり、時間周期的非線形性に対して連続的に依存し、平均的に二重安定な条件下では c* > 0 である。
• 証明は、強い最大原理による背理法に依拠しており、極限プロファイルが不安定状態 w₀(t) と恒等的に等しくなることは不可能であることが示され、結果として1から0への接続が強制される。
• 解析により、導関数と関数自体の比が有界であることが示され、これによりハルナック型推論およびスペクトル的議論を用いた矛盾の導出が可能になる。