[論文レビュー] Asymptotic behaviour of global solutions to a model of cell invasion

Gabriela Liţcanu, Cristian Morales-Rodrigo|ArXiv.org|Jul 5, 2009

Mathematical Biology Tumor Growth参考文献 12被引用数 4

ひとこと要約

本稿は、腫瘍細胞侵襲をモデル化する三成分反応拡散系に対して、拡散、ハプトタキシス、増殖、プロテアーゼ媒介による細胞外マトリックス分解を組み込んだもとで、解の全域的存在および平衡状態への漸近的収束を確立する。主な結果は、非線形項にやや弱い仮定をおくだけで、解がL²ノルムにおいて定数平衡状態に収束することである。

ABSTRACT

In this paper we analyze a mathematical model focusing on key events of the cells invasion process. Global well-possedness and asymptotic behaviour of nonnegative solutions to the corresponding coupled system of three nonlinear partial differential equations are studied.

研究の動機と目的

• 腫瘍細胞侵襲をモデル化する三種の反応拡散方程式系に対する非負解の全域的適切性を確立すること。
• ハプトタキシスおよびプロテアーゼ生成の一般非線形性を想定したもとで、解の長期的漸近的挙動を分析すること。
• 時間t→∞のとき、解がL²ノルムにおいて定数平衡状態に収束することを証明すること。
• 従来の結果を拡張し、ハプトタキシス感受性χ(v)およびプロテアーゼ生成関数g(v)の関数形に対する制限を除去すること。

提案手法

• 侵襲的細胞密度（u）、細胞外マトリックス（v）、プロテアーゼ濃度（m）の3つの非線形PDEを連立させる。拡散、ハプトタキシス、増殖、分解、生成項を含む。
• 変数変換w = u zおよびz = exp(−∫₀^v χ(s) ds)を適用し、エネルギー推定に適した形にシステムを変換する。
• 重み付きL²エネルギー法を用いて事前推定を導出する。特に、∫₀^t ∫_Ω z⁻¹|∇w|²および∫₀^t ∫_Ω z⁻¹(w−1)²の有界性を示す。
• Gronwall型の議論とvおよびその時間微分の一様有界性を用いて、非線形項を制御する。
• 重み付きL²ノルム∫_Ω z⁻¹(w−1)²の衰減を用いて、一様可積分性および収束性を確立する。
• 変換およびエネルギー推定を活用し、t→∞のときuがL²(Ω)で定数状態に収束することを証明する。

実験結果

リサーチクエスチョン

• RQ1 一般非線形ハプトタキシスおよびプロテアーゼ生成を想定した細胞侵襲PDE系に対して、全域的かつ非負の解が存在する条件は何か？
• RQ2 解は時間とともにどのように漸近的に振る舞うか。特に、平衡状態への収束の性質は？
• RQ3 χ(v)やg(v)の具体的な関数形を仮定せずに、定数平衡状態への収束を証明できるか？
• RQ4 変換w = u zは、長時間挙動の解析をどのように簡素化するか？
• RQ5 初期データおよびパrameter設定が一般である場合でも、細胞密度のL²収束は頑健か？

主な発見

• χ(v)およびg(v)が非負で滑らかである一般関数であり、やや弱い正則性および有界性仮定のもとで、解の全域的存在および非負性が保証される。
• 解は時間t→∞のとき、L²(Ω)ノルムにおいて定数平衡状態に収束する。具体的には、lim_{t→∞} ‖u(·,t)−1‖_{L²(Ω)} = 0 が成り立つ。
• 収束は、重み付きL²ノルム∫_Ω z⁻¹(w−1)²の時間的衰減に起因し、t→∞のとき0に収束する。
• 時間経過にわたって∇wのL²ノルムおよび(w−1)のL²ノルムに対する一様有界性が確立され、安定性が保証される。
• 初期細胞密度の大きさに依存せず、初期データが有界かつ非負であれば、漸近的挙動は同一である。
• 増殖項（μ=1）が存在する場合でも成立し、増殖なし（μ=0）の場合にも拡張可能である。