[論文レビュー] Global existence and uniform boundedness in a chemotaxis model with signal-dependent motility

Jie Jiang, Philippe Laurençot|arXiv (Cornell University)|Jan 26, 2021

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

ひとこと要約

本稿では、無限大における減衰が任意に遅い信号依存性移動関数 γ(v) を持つキモタクシスモデルに対して、古典解のグローバル存在および一様有界性を確立する。著者らは2段階の比較論法、エネルギー推定、およびモーザー反復を組み合わせ、k < N/(N−2)₊ において γ(s) ∼ s⁻ᵏ と漸近する条件下で一様有界性を証明し、従来の結果における許容可能な減衰率の範囲を拡張する。

ABSTRACT

Global existence is established for classical solutions to a chemotaxis model with signal-dependent motility for a general class of motility functions $γ$ which may in particular decay in an arbitrary way at infinity. Assuming further that $γ$ is non-increasing and decays sufficiently slowly at infinity, in the sense that $γ(s)\sim s^{-k}$ as $s o\infty$ for some $k\in (0,N/(N-2)_+)$, it is also shown that global solutions are uniformly bounded with respect to time. The admissible decay of $γ$ at infinity here is higher than in previous works.

研究の動機と目的

• 信号依存性移動関数 γ(v) を持つキモタクシスモデル (1.4) に対して、古典解のグローバル存在を確立すること。ここで γ(v) は無限大において任意に遅く減衰してもよい。
• 従来の仮定よりも弱い γ(v) の減衰条件の下で、グローバル解の一様有界性を証明すること。
• 特に高次元において、γ(v) の許容可能な減衰率の範囲を従来の研究を上回るように拡張すること。
• 準定常系 (1.4) の解の動的挙動を分析し、古典的ケラー＝セゲルモデルと比較すること。

提案手法

• v の成長を制御するため、2段階の比較論法を用い、v が時間に対して高々指数関数的に増大することを証明することで、有限時刻における退化を防ぐ。
• エネルギー推定と双対性技術を適用し、 Hölder 範囲およびソボレフノルムにおける v の時間に依存しない有界性を導出する。
• モーザー反復を用いて u および v の可積分性と正則性を向上させ、一様有界性を導出する。
• 線形化問題に時間に依存しない最大正則性理論のバージョンを適用し、時間に依存しない W^{2,p} 範囲における v の有界性を導出する。
• ブートストラップ論法により、u および v の正則性をそれぞれ L∞ および W^{1,∞} に向上させ、一様有界性を保証する。
• 解析は、ノイマン境界条件を満たす放物型・楕円型系 (1.4) の構造および γ(v) = e^{-φ(v)} による古典的ケラー＝セゲルモデルへの関係に依拠する。

実験結果

リサーチクエスチョン

• RQ1 移動関数 γ(v) がどのような条件下で、キモタクシス系 (1.4) にグローバル古典解をもたらすか。
• RQ2 γ(v) が無限大でゆっくり減衰する場合、解の一様有界性を従来の許容可能な減衰率を超えて確立できるか。
• RQ3 信号依存性移動関数 γ(v) は、解の長期的挙動および正則性にどのように影響を与えるか。
• RQ4 比較論法が v の成長を制御し、退化を防ぐために果たす役割は何か。
• RQ5 有界性の結果を任意の空間次元および一般の γ(v) にどの程度まで拡張できるか。

主な発見

• 任意に遅く減衰する正の減衰関数 γ(v) を持つ一般のクラスに対して、古典解のグローバル存在が確立される。
• k < N/(N−2)₊ において γ(s) ∼ s⁻ᵏ と漸近する条件下で、解の一様有界性が証明され、従来の結果で要求されたより速い減衰よりも改善される。
• γ(v) の許容可能な減衰率は、従来の研究を上回り、よりゆっくり減衰する移動関数の適用範囲が拡大される。
• 半群および強制項に対する時間に依存しない推定により、すべての p ∈ (N, ∞) に対して解の軌道が W^{2,p}(Ω) で一様に有界であることが保証される。
• ブートストラップ論法により、supₜ≥₀{‖u(t)‖∞ + ‖v(t)‖W^{1,∞}} ≤ C を満たす有限定数 C が存在することが確認され、一様有界性が保証される。
• 解析により、v → ∞ のとき γ(v) → 0 であっても、v の指数的成長制御のおかげで、有限時刻における退化は発生しないことが確認される。