[論文レビュー] Existence of Global Solutions Via Invariant Regions for a Generalized Reaction-Diffusion System with a Tri-diagonal Toeplitz Matrix of Diffusion Coefficients

Salem Abdelmalek|arXiv (Cornell University)|Nov 20, 2014

Mathematical and Theoretical Epidemiology and Ecology Models参考文献 10被引用数 3

ひとこと要約

本稿は、非一様なロビン、ノイマン、またはディリクレ境界条件の下で、三重対角トーペリッツ型の拡散行列を有する一般化されたm成分反応拡散系に対して、解のグローバル存在を確立する。拡散行列の固有ベクトルを用いて定義される不変領域と、リャプノフ汎関数を用いて、多項式的成長を示す反応項に対して有界性とグローバル存在性を証明する。従来の研究で制限されていた拡散行列の対称性の仮定を除去し、すべての$2^m$通りの可能な不変領域をカバーする。

ABSTRACT

The aim of this paper is to construct invariant regions of a generalized m-component reaction-diffusion system with a tri-diagonal Toeplitz matrix of diffusion coefficients and prove the global existence of solutions using Lyapunov functional. The paper assumes nonhomogeneous boundary conditions and polynomial growth for the non-linear reaction term.

研究の動機と目的

• 対称的または対角行列でない拡散行列を有する反応拡散系のグローバル存在結果を拡張すること。
• 三重対角トーペリッツ型拡散行列を有するm成分系に対して、すべての$2^m$通りの配置をカバーする不変領域を確立すること。
• 多項式的成長を示す反応項と非一様なロビン、ノイマン、またはディリクレ境界条件の下で、解のグローバル存在性を証明すること。
• 従来の研究で見られる拡散行列の対称性制約を除去し、より一般化された結果を得ること。
• 微分不等式を用いて有界性とグローバル存在性を保証するリャプノフ汎関数を構成すること。

提案手法

• 三重対角トーペリッツ型拡散行列$D$の固有ベクトル$V_\ell$を用いて、符号調整$(-1)^{i_\ell}$を施した上で、不変領域$\Sigma_{\mathfrak{L},\mathfrak{Z}}$を定義する。
• 行列$P = (V_1 \mid \cdots \mid V_m)$を用いて、$W = P^T U$の形で変数変換を行い、系を分離形に変換する。
• 変換された変数$w_\ell$の$L^p$ノルムに基づき、$p = p_m$を選び、$\frac{p}{N} > \frac{n}{2}$を満たすようにする。この$p_m$を用いてリャプノフ汎関数$L(t)$を構成する。
• 微分不等式$L'(t) \leq C_6 L(t) + C_8 L^{\frac{p_m-1}{p_m}}(t)$を導出し、$[0, T^*)$上で$L(t)$の有界性を保証する。
• ホルダーの不等式と同次性推定を用いて、$\int_\Omega S_{p_m-1}(W)\,dx$および$\int_\Omega R_{p_m}(W)\,dx$を$L(t)$の項で上から抑える。
• $L(t)$の有界性を用いて、$\|U\|_{L^p(\Omega)}$の一様有界性を導出し、$\frac{p}{N} > \frac{n}{2}$のとき埋め込み定理によりグローバル存在性を保証する。

実験結果

リサーチクエスチョン

• RQ1 非対称な三重対角トーペリッツ型拡散行列を有する一般化されたm成分反応拡散系に対して、解のグローバル存在性を証明できるか？
• RQ2 初期データと境界条件にどのような必要十分条件が課されると、解が不変領域内にとどまるか？
• RQ3 反応項に多項式的非線形性がある場合、解の成長を制御するためのリャプノフ汎関数はどのように構成できるか？
• RQ4 不変領域フレームワークは、固有ベクトル射影のすべての$2^m$通りの符号組み合わせに拡張可能か？
• RQ5 パラボリック性条件$\cos\frac{\pi}{m+1} < \frac{a}{b+c}$は、系の適切な定義と安定性を保証するために果たす役割は何か？

主な発見

• 初期データ$U_0$に対して、固有ベクトル$V_\ell$およびその符号調整版との内積を用いて定義される$2^m$個の不変領域$\Sigma_{\mathfrak{L},\mathfrak{Z}}$が構成される。
• すべての$2^m$個の不変領域に対して、解のグローバル存在性が証明され、従来の研究で一部の領域しか考慮していなかった点を拡張する。
• 微分不等式$L'(t) \leq C_6 L(t) + C_8 L^{\frac{p_m-1}{p_m}}(t)$を満たすリャプノフ汎関数$L(t)$が構成され、任意の最大区間$[0, T^*)$上で$L(t)$の一様有界性が保証される。
• $L(t)$の有界性から、$p \geq 1$に対して$\|U\|_{L^p(\Omega)}$の一様有界性が導かれ、$\frac{p}{N} > \frac{n}{2}$のときグローバル存在性が保証される。
• 非一様なロビン、ノイマン、ディリクレ境界条件に適用可能であり、境界データ$B$は$\ell \in \mathfrak{L}$に対して$\langle V_\ell, B \rangle \geq 0$、$z \in \mathfrak{Z}$に対して$\langle V_z, B \rangle \leq 0$を満たす必要がある。
• 従来の研究で仮定されていた拡散係数の対称性仮定$b = c$を除去し、$\cos\frac{\pi}{m+1} < \frac{a}{b+c}$を満たす限り$b \neq c$を許容するよう一般化された結果が得られた。