[論文レビュー] Existence of traveling waves for a nonlocal monostable equation: an abstract approach

Hiroki Yagisita|arXiv (Cornell University)|Jul 23, 2008

Stability and Controllability of Differential Equations参考文献 23被引用数 11

ひとこと要約

本稿は、単調な半流に基づく抽象的枠組みを用いて、非局所的単安定方程式に対する移動波解の存在を確立する。$ c \geq c_* $ の場合、単調な移動波解が存在するが、$ c < c_* $ の場合、カーネルの可積分性条件および非線形性の単安定性のもとで、周期的移動波解は存在しない。この手法は、非コンパクトな半流に対してもワインバーガーの手法を拡張し、測度 $ \mu $ に関する特定の条件下で不連続な波形を持つ移動波解の存在を許容する。

ABSTRACT

We consider a nonlocal analogue of the Fisher-KPP equation. We do not assume that the Borel-measure for the convolution is absolutely continuous. In order to show the main result, we modify a recursive method for abstract monotone discrete dynamical systems by Weinberger. We note that the monotone semiflow generated by the equation does not have compactness with respect to the compact-open topology. At the end, we propose a discrete model that describes the measurement process.

研究の動機と目的

• 非局所的単安定方程式 $ u_t = \mu * u - u + f(u) $ に対して、畳み込み型非線形性を有する移動波解の存在を確立する。
• コンパクト・オープン位相におけるコンパクト性を欠く非コンパクトな設定に対し、単調半流のワインバーガーの抽象的手法を拡張する。
• 移動波解が $ c \geq c_* $ で存在し、$ c < c_* $ で存在しない最小波速 $ c_* $ を特徴づける。後者の場合、周期的解も存在しない。
• 波形が不連続となる条件を分析する。特に $ \int y\,d\mu(y) > 0 $ のとき、単調で不連続な波形の定常波が得られることを示す。
• 同じ数学的枠組みを応用し、有限区間上の独立同一分布の $ 2 \times 2 $ 行列を有する離散シュレーディンガー系を用いた量子測定のモデルを副次的な応用として提案する。

提案手法

• 非局所的単安定方程式 $ u_t = \mu * u - u + f(u) $ を形式化する。ここで $ \mu $ は $ \mathbb{R} $ 上のボレル測度で $ \mu(\mathbb{R}) = 1 $ を満たし、$ f $ はリプシッツ連続で単安定的であり、$ f(0) = f(1) = 0 $、$ f > 0 $ on $ (0,1) $ を満たす。
• 値が $[0,1]$ にとどまる有界で単調非減少かつ左連続な関数の空間 $ \mathcal{M} $ を定義し、不連続な波形を扱えるようにする。
• 離散写像 $ Q_0: \mathcal{M} \to \mathcal{M} $ に対する抽象的仮定を導入する：コンパクト集合上で一様収束に関して連続性、順序保存性、平行移動不変性、および単安定性。
• 上位解列 $ \{v_n\} $ を構成する抽象的存在定理を適用し、$ (Q_0[v_n])(x - c) \leq v_{n+1}(x) $ を満たし、$ \liminf v_n \not\equiv 0 $ かつ $ \limsup v_n \not\equiv 1 $ となるようにする。これにより移動波解の存在が保証される。
• 非局所方程式が生成する半流が抽象的仮定を満たすことを検証する。特に $ \int e^{\lambda |y|} d\mu(y) < \infty $ を満たす $ \lambda > 0 $ が存在する場合、最小速度 $ c_* $ の存在が保証される。
• 単調半流の理論と比較原理を用いて、$ c < c_* $ の場合に周期的移動波解が存在しないことを示す。これは波形の構造と非局所カーネルの性質に依存する。

実験結果

リサーチクエスチョン

• RQ1 非局所的単安定方程式 $ u_t = \mu * u - u + f(u) $ は、臨界速度 $ c_* $ より大きい任意の速度 $ c \geq c_* $ に対して、単調な波形と併せて移動波解を有するか？
• RQ2 ワインバーガーの抽象的手法は、コンパクト・オープン位相でコンパクト性を欠く非局所方程式が生成する非コンパクトな半流に対しても適応可能か？
• RQ3 測度 $ \mu $ に対してどのような条件下で、単調だが不連続な波形を有する定常波（すなわち $ c = 0 $）が存在するか？
• RQ4 周期的移動波解が $ c < c_* $ で存在しない閾値速度 $ c_* $ が存在するか？ ただし、$ c \geq c_* $ では単調解が存在するとする。
• RQ5 非局所的単安定方程式の数学的枠組みは、離散シュレーディンガー系を用いて量子測定プロセスをモデル化するために拡張可能か？

主な発見

• 最小速度 $ c_* $ が存在し、非局所的単安定方程式は $ c \geq c_* $ のとき単調な移動波解を有するが、$ c < c_* $ のときはそのような解は存在しない。
• $ c < c_* $ の場合、波形が有界かつ単調であっても、半流の構造と非局所カーネルの性質により、平均速度 $ c $ の周期的移動波解は存在しない。
• $ \int y\,d\mu(y) > 0 $ のとき、方程式は単調だが不連続な波形を有する定常波解（$ c = 0 $）を有する。これは非局所性が不連続な波フロントを生じうることを示している。
• 非局所方程式が生成する半流は、コンパクト・オープン位相におけるコンパクト性を欠いても、単調性、平行移動不変性、およびコンパクト集合上で一様収束に関して連続性という抽象的仮定を満たす。
• $ c \geq c_* $ に対する移動波解の存在は、$ \int e^{\lambda |y|} d\mu(y) < \infty $ を満たすある $ \lambda > 0 $ が存在する条件のもとで保証され、カーネルの尾部の十分な減衰を保証する。
• 量子測定プロセスを記述するための離散シュレーディンガー系のモデルが提案された。ここでハミルトニアンは有限区間上の独立同一分布の $ 2 \times 2 $ 行列であり、ユニタリ不変性を満たす。非局所波動ダイナミクスと量子系との間の関連性が示唆される。