[論文レビュー] A uniform controllability result for the Keller-Segel system

Felipe W. Chaves-Silva, Sergio Guerrero|arXiv (Cornell University)|Dec 2, 2013

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

ひとこと要約

本稿では、制御が化学成分に作用する場合、定数平衡状態のまわりで、放物型・楕円型ケラー-セゲル系の局所的均一可制御性を示す。そのために、系の放物型近似が、小パラメータ $\epsilon$ に依存しない均一可制御性を有することを証明する。主な結果は、$\Delta\varphi$ を含む結合項を持つ双対系に対する新しいカルレマン不等式に依拠しており、逆写像定理を用いることで、零可制御性を達成する。

ABSTRACT

In this paper we study the controllability of the Keller-Segel system approximating its parabolic-elliptic version. We show that this parabolic system is locally uniform controllable around a constant solution of the parabolic-elliptic system when the control is acting on the component of the chemical.

研究の動機と目的

• キマイオタクシスモデルの文脈において、放物型・楕円型ケラー-セゲル系の可制御性を調査すること。
• 小パラメータ $\epsilon$ に依存しない、ケラー-セゲル系の放物型近似の均一可制御性を確立すること。
• 制御が化学濃度に作用する場合、系を定数平衡解に一様に制御できることを証明すること。
• 非局所構造を扱うために不可欠な、$\Delta\varphi$-結合項を有する双対系に特化したカルレマン不等式を構築すること。
• 線形化系の局所的零可制御性を、非線形系のグローバル可制御性へと拡張するために、逆関数定理を適用すること。

提案手法

• 化学濃度のダイナミクスを制御する小パラメータ $\epsilon$ を有する、ケラー-セゲル系の放物型・楕円型近似の使用。
• 定数平衡状態 $(M_1, M_2)$ のまわりでの線形化により、局所的可制御性を分析する。
• $\Delta\varphi$ 結合項を含む双対系に対する、重み付き $L^2$ ノルムと局所化された制御項を有するグローバルカルレマン不等式の導出。
• グローバルノルム $\Delta\varphi$ と $\xi$ を、$\xi$ と強制項の局所的 $L^2$ ノルムで有界化する、修正されたカルレマン推定の採用。
• 線形化系の零可制御性を非線形系へと拡張するために、逆写像定理の適用。
• 重み付きソボレフ空間におけるエネルギー推定と部分積分を用いて、カルレマン不等式における境界項と内部項を制御する。

実験結果

リサーチクエスチョン

• RQ1 小パラメータ $\epsilon$ に依存しない、放物型・楕円型ケラー-セゲル系の均一可制御性は達成可能か？
• RQ2 制御が化学成分に作用する場合、ケラー-セゲル系の放物型近似は、定数平衡状態のまわりで局所的に均一可制御性を有するか？
• RQ3 結合項が $\varphi$ ではなく $\Delta\varphi$ である場合、双対系に対してカルレマン不等式を構築可能か？
• RQ4 線形化系の零可制御性は、逆関数法的議論により、非線形系の可制御性を示すか？
• RQ5 均一可制御性を保証するために、強制項に必要な最小限の正則性および減衰条件は何か？

主な発見

• 制御が化学濃度に作用する場合、放物型・楕円型ケラー-セゲル系は、定数平衡状態のまわりで局所的に均一可制御性を有する。
• グローバル $L^2$-重み付きノルムとしての $\Delta\varphi$ と $\xi$ が、$\xi$ の局所的積分と強制項のグローバルノルムで有界化される、双対系に対する新しいカルレマン不等式が確立された。
• 系を平衡状態に誘導するための制御 $g$ は、$\epsilon \to 0$ のときにも有界のままであり、$\epsilon$ に依存しない一様性が保証された。
• 証明は、非標準的で技術的に困難な $\Delta\varphi$ 結合項を考慮した、洗練されたカルレマン推定に依拠している。
• 逆関数定理が、線形化系の零可制御性を非線形系へと持ち上げるために、効果的に適用された。
• 制御支持 $\omega$ が、$\chi \equiv 1$ となるより小さな部分領域 $\omega'$ を含むという仮定のもと、結果は成り立つ。