[論文レビュー] Well-posedness and exponential equilibration of a volume-surface reaction-diffusion system with nonlinear boundary coupling

Tang Quoc Bao, Klemens Fellner+1 more|arXiv (Cornell University)|Apr 10, 2014

Advanced Mathematical Modeling in Engineering参考文献 24被引用数 8

ひとこと要約

本稿は、体積拡散物質と表面拡散物質の間で質量保存型の反応をモデル化する、非線形な体積-表面反応拡散系に、逆転可能なロビン型境界結合を組み込んだ場合の弱解のグローバル存在および一意性を確立する。反復的上界・下界解法とエントロピー・エントロピー散逸法を用い、明示的な指数的収束率を伴う平衡状態への収束を証明する。この結果は、非線形リン酸化動態を伴う非対称幹細胞分裂のモデルなどに適用可能である。

ABSTRACT

We consider a model system consisting of two reaction-diffusion equations, where one species diffuses in a volume while the other species diffuses on the surface which surrounds the volume. The two equations are coupled via a nonlinear reversible Robin-type boundary condition for the volume species and a matching reversible source term for the boundary species. As a consequence of the coupling, the total mass of the two species is conserved. The considered system is motivated for instance by models for asymmetric stem cell division. Firstly we prove the existence of a unique weak solution via an iterative method of converging upper and lower solutions to overcome the difficulties of the nonlinear boundary terms. Secondly, our main result shows explicit exponential convergence to equilibrium via an entropy method after deriving a suitable entropy entropy-dissipation estimate for the considered nonlinear volume-surface reaction-diffusion system.

研究の動機と目的

• 非線形な体積-表面反応拡散系に、逆転可能な非線形境界結合を組み込んだ場合の弱解のグローバル存在および一意性を確立すること。
• エントロピー・エントロピー散逸推定を用いて、その系の指数的平衡化を証明すること。
• 非線形リン酸化動態を伴う非対称幹細胞分裂のような生物学的に関連するプロセスをモデル化すること。
• 境界における任意のべき乗則非線形性に起因する解析的困難を、新規の反復的上界・下界解フレームワークを用いて克服すること。
• 体積領域および表面領域における質量保存を有する系のための厳密な数学的基盤を提供すること。

提案手法

• 非線形系における比較原理を活用し、上界解と下界解の収束を示す反復的解法を用いて、弱解の存在を証明する。
• 反応拡散系は、体積成分 $ u $ を非線形ロビン型境界条件で、表面成分 $ v $ を $ \Gamma = \partial\Omega $ 上の可逆反応源項で結合する。
• リャプノフ型エントロピー汎関数を構築し、エントロピー・エントロピー散逸推定を得ることで、指数的収束の証明を可能にする。
• エントロピー法を完全な非線形系に適用し、全質量 $ M = \beta\int_\Omega u\,dx + \alpha\int_\Gamma v\,dS $ の保存を用いる。
• エネルギー推定における境界項を制御するため、修正されたトレース不等式を用い、ソボレフ空間内での一様有界性を保証する。
• 2つの解の差に対する微分不等式を導出し、グローバルの不等式を用いて一意性を確立する。

実験結果

リサーチクエスチョン

• RQ1 逆転可能な境界結合を有する非線形体積-表面反応拡散系に対して、一意な弱解が存在するか？
• RQ2 任意のべき乗則非線形性を有するこのような系について、指数的平衡化が証明可能か？
• RQ3 エントロピー法は、体積および表面ダイナミクスが結合された系および非線形境界反応を有する系にどのように適用可能か？
• RQ4 質量保存は、系の長期的挙動にどのような役割を果たすか？
• RQ5 比較原理は、非線形境界項を有する体積-表面系に拡張可能か？

主な発見

• 反応速度 $ k_u, k_v $ に関する適切な仮定の下で、系 (1.1) に対して一意なグローバル弱解が存在する。これは反復的上界・下界解スキームにより証明された。
• 解はすべての時間において非負であり、これは比較原理および $ (0,0) $ が下界解であるという事実に起因する。
• 系は明示的な指数的収束を示し、収束率はエントロピー・エントロピー散逸推定によって決定される。
• 全質量 $ M $ はすべての時間 $ t \geq 0 $ で保存され、式 (1.2) で示された。
• 収束率はエントロピー・エントロピー散逸不等式によって定量的に制御され、非線形反応項の構造を用いて導出された。
• 解の一意性は微分不等式とグローバルの不等式を用いて確立され、解の有界性およびべき関数の平均値定理に依存する。