[论文解读] Null controllability for a degenerate population model in divergence form via Carleman estimates

Genni Fragnelli|arXiv (Cornell University)|Dec 29, 2018

Stability and Controllability of Differential Equations参考文献 21被引用 4

一句话总结

该论文通过使用Carleman估计，建立了具有年龄、时间和空间变量的退化种群模型在散度形式下的零可控性，处理了扩散系数在空间区域两端退化的情形。关键贡献在于在对出生率 $ \beta $ 的正则性假设最小化的前提下，证明了对任意最终时间 $ T $ 的零可控性，即使 $ T < A $ 时也成立，克服了先前研究中要求 $ T \geq A $ 或更强光滑性条件的局限。

ABSTRACT

In this paper we consider a degenerate population equation in divergence form depending on time, on age and on space and we prove a related null controllability result via Carleman estimates.

研究动机与目标

• 建立具有时间、年龄和空间变量的退化种群模型在散度形式下的零可控性。
• 解决先前结果中要求 $ T \geq A $ 的局限性，该假设对较大的最大年龄 $ A $ 不现实。
• 将先前的零可控性结果推广到扩散系数 $ k(x) $ 在空间区域 $[0,1]$ 的两个端点均退化的情形。
• 放宽对出生率 $ \beta $ 的正则性假设，仅要求连续性，而非早期工作中所需的 $ C^2 $ 光滑性。
• 通过使用Carleman估计和截断函数，提供一种简化且更稳健的证明，避免使用不动点方法和多值理论。

提出的方法

• 为扩散系数 $ k(x) $ 在 $ x=0 $ 和 $ x=1 $ 均退化的退化种群方程的伴随问题推导Carleman估计。
• 应用正向方程可控性与伴随方程可观测性之间的对偶方法。
• 使用截断函数技术局部化控制区域，并处理两个边界处的退化现象。
• 通过加权能量估计和分部积分法控制Carleman不等式中的退化项。
• 对 $ k(x) $ 施加结构条件，如 $ xk'(x) \leq M_1 k(x) $ 和 $ (x-1)k'(x) \leq M_2 k(x) $，以确保估计的有效性。
• 依赖于从Carleman估计导出的可观测性不等式，推导出零可控性。

实验结果

研究问题

• RQ1 当最终时间 $ T $ 小于最大年龄 $ A $ 时，是否可以实现退化种群模型在散度形式下的零可控性？
• RQ2 退化扩散系数 $ k(x) $ 需要满足何种条件，才能通过Carleman估计确保零可控性？
• RQ3 如何通过避免不动点方法和对 $ \beta $ 的强正则性假设，使证明更简化且更稳健？
• RQ4 是否可以将零可控性结果推广到 $ k(x) $ 在空间区域两端均退化的情形？
• RQ5 在Carleman估计中，为处理两端退化现象，权函数的最优结构是什么？

主要发现

• 即使 $ T < A $，也建立了退化种群模型在散度形式下的零可控性，消除了早期研究中的限制性假设。
• 该结果在弱正则性假设下成立：$ \beta $ 仅需连续，而无需如先前研究中要求的 $ C^2 $ 光滑性。
• 证明避免使用Leray-Schauder不动点定理和多值分析，完全依赖于Carleman估计和截断函数。
• 推导出一种新的加权能量估计，表明 $ \int_0^1 \frac{k(x)}{(1-x)^2} w^2(x) dx \leq C \int_0^1 k(x) |w'(x)|^2 dx $，该估计对 $ \beta = \frac{\theta+1}{2} $ 是最优的。
• 该方法可推广至非散度形式情形，以更高精度推广了 [13, 定理 4.8]。
• 通过精细分析Carleman估计，证明了可观测性不等式，利用 $ k(x)/(1-x)^\theta $ 的单调性精确控制了退化项。