[论文解读] 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

一句话总结

本论文通过证明当控制作用于化学组分时，抛物-椭圆型Keller-Segel系统的抛物型逼近在常数平衡态附近具有局部一致可控性，建立了该系统的统一可控性。关键结果依赖于一种针对伴随系统的新Carleman不等式，其中包含涉及$\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.

研究动机与目标

• 研究趋化模型背景下抛物-椭圆型Keller-Segel系统的可控性。
• 建立Keller-Segel系统抛物型逼近相对于小参数$\epsilon$的统一可控性。
• 证明当控制作用于化学浓度时，系统可通过控制均匀地驱动至常数平衡解。
• 为包含$\Delta\varphi$-耦合项的伴随系统开发一种定制化的Carleman不等式，这对于处理非局部结构至关重要。
• 应用隐函数定理，将线性化系统的局部零可控性推广至非线性系统的全局可控性。

提出的方法

• 采用小参数$\epsilon$控制化学浓度动力学的Keller-Segel系统抛物-椭圆型逼近。
• 围绕常数平衡态$(M_1, M_2)$对系统进行线性化，以分析局部可控性。
• 推导涉及$\Delta\varphi$耦合项的伴随系统的全局Carleman不等式，包含加权$L^2$范数与局域化控制项。
• 采用改进的Carleman估计，将$\Delta\varphi$与$\xi$的全局范数以$\xi$与强迫项的局域$L^2$范数形式有界。
• 应用隐函数定理，将线性化系统的零可控性推广至非线性系统。
• 在加权Sobolev空间中使用能量估计与分部积分法，控制Carleman不等式中的边界与内部项。

实验结果

研究问题

• RQ1 抛物-椭圆型Keller-Segel系统能否相对于小参数$\epsilon$实现统一可控性？
• RQ2 当控制作用于化学组分时，Keller-Segel系统的抛物型逼近在常数平衡态附近是否具有局部一致可控性？
• RQ3 当耦合项涉及$\Delta\varphi$而非$\varphi$时，能否为伴随系统构造Carleman不等式？
• RQ4 线性化系统的零可控性是否可通过隐函数论证推广至完整非线性系统的可控性？
• RQ5 为确保统一可控性，强迫项的最小正则性与衰减条件是什么？

主要发现

• 当控制作用于化学浓度时，抛物-椭圆型Keller-Segel系统在常数平衡态附近具有局部一致可控性。
• 为伴随系统建立了一种新的Carleman不等式，其特征是：$\Delta\varphi$与$\xi$的全局加权$L^2$范数被局域化积分形式的$\xi$与强迫项的全局范数所控制。
• 将系统引导至平衡态所需的控制$g$在$\epsilon \to 0$时保持有界，从而确保了$\epsilon$的统一性。
• 证明依赖于一种改进的Carleman估计，该估计考虑了非标准且技术上具有挑战性的$\Delta\varphi$耦合项。
• 成功应用了隐函数定理，将线性化系统的零可控性推广至非线性系统。
• 在控制支撑集$\omega$包含一个子区域$\omega'$且满足$\chi \equiv 1$的假设下，该结果成立，从而确保可观测性。