[論文レビュー] Stable spike clusters for the precursor Gierer-Meinhardt system in R2

Juncheng Wei, Matthias Winter+1 more|arXiv (Cornell University)|May 23, 2017

Nonlinear Dynamics and Pattern Formation参考文献 21被引用数 3

ひとこと要約

本稿は、活性化剤および抑制剤の拡散係数が小さく、前駆体の不均一性を有する ℝ² 上の Gierer-Meinhardt 反応拡散系において、安定なスパイククラスターを構築する。小さな抑制剤拡散係数に起因するスパイク間の反発的相互作用と、前駆体の局所的最小値への引力のバランスを取ることで、k 個のスパイクからなる線形安定クラスター（中心を持つ・持たない両方の正多角形）の存在を証明した。中心のないクラスターは最大3スパイクまで、中心を持つクラスターは最大6スパイクまで安定である。

ABSTRACT

We consider the Gierer-Meinhardt system with small inhibitor diffusivity, very small activator diffusivity and a precursor inhomogeneity. For any given positive integer k we construct a spike cluster consisting of $k$ spikes which all approach the same nondegenerate local minimum point of the precursor inhomogeneity. We show that this spike cluster can be linearly stable. In particular, we show the existence of spike clusters for spikes located at the vertices of a polygon with or without centre. Further, the cluster without centre is stable for up to three spikes, whereas the cluster with centre is stable for up to six spikes. The main idea underpinning these stable spike clusters is the following: due to the small inhibitor diffusivity the interaction between spikes is repulsive, and the spikes are attracted towards the local minimum point of the precursor inhomogeneity. Combining these two effects can lead to an equilibrium of spike positions within the cluster such that the cluster is linearly stable.

研究の動機と目的

• 2次元空間における前駆体の不均一性を有する Gierer-Meinhardt 系に安定なスパイククラスターが存在することを確立すること。
• 小さな抑制剤拡散係数に起因するスパイク間の反発的相互作用と、前駆体の局所的最小値への引力との間の相互作用を分析すること。
• 幾何的配置（中心スパイクを有するか否か）に応じて、線形安定クラスターを形成できるスパイクの最大数を特定すること。
• 前駆体関数の非退化な局所的最小値の周辺に、厳密に安定な k スパイククラスターを構築し、検証すること。

提案手法

• 前駆体不均一性の局所的最小値の周辺における多重スパイク解の構築に、一致漸近展開を用いる。
• 線形化作用素の核上への射影により、安定性解析のための簡略化された固有値問題を導出する。
• スパイク位置間の相互作用と前駆体の曲率を符号化する $2k \times 2k$ 行列 $M_\mu(\mathbf{q})$ を構築する。
• スパイク間の反発と前駆体への引力の寄与を含めた、行列 $M_\mu(\mathbf{q})$ の固有値を分析し、線形安定性を決定する。
• 単一スパイク解のプロファイル $w(z)$ を用いてスパイクの形状を近似し、漸近展開の先導項を導出する。
• 積分恒等式と摂動展開を用いて、抑制剤場 $H_\varepsilon$ 及びその勾配を安定性解析に組み込む。

実験結果

リサーチクエスチョン

• RQ1 抑制剤拡散係数が小さく、活性化剤拡散係数が無視できる場合に、ℝ² 上の Gierer-Meinhardt 系において k スパイクの安定クラスターが形成可能か？
• RQ2 スパイク間の反発と前駆体への引力の併存効果下で、正多角形（中心スパイクを有する・持たない）などの幾何的配置が線形安定か？
• RQ3 安定クラスターを形成できるスパイクの最大数は何か？ これはクラスターの対称性および最小点における前駆体の曲率にどのように依存するか？
• RQ4 前駆体関数の局所的最小点における曲率は、スパイククラスターの安定性にどのように影響するか？

主な発見

• 任意の正の整数 k に対して、非退化な前駆体不均一性の局所的最小値の周辺に、安定な k スパイククラスターが存在する。
• 中心スパイクを有さないクラスターは最大3スパイクまで線形安定であり、中心スパイクを有するクラスターは最大6スパイクまで安定である。
• 安定性は、小さな抑制剤拡散係数に起因する反発的相互作用と、前駆体最小値への引力とのバランスに起因する。
• クラスターの線形安定性は、スパイク間相互作用と前駆体曲率効果を統合した $2k \times 2k$ 行列 $M_\mu(\mathbf{q})$ の固有値によって決定される。
• 先導項の安定性条件は、最小点における前駆体関数 $\mu$ の2階微分と、定数 $c_1$ に符号化された反発強度に依存する。
• 解析により、前駆体不均一性と拡散係数パラメータを適切に調整すれば、スパイクが密に密集している場合でもクラスターが安定であることが確認された。