[论文解读] Controllability for a population equation with interior degeneracy

Genni Fragnelli|arXiv (Cornell University)|Feb 6, 2019

Stability and Controllability of Differential Equations参考文献 12被引用 5

一句话总结

本文通过柯尔曼不等式和截断函数，建立了具有内部退化扩散系数的种群模型的零可控性。证明了即使控制区域被退化点 $x_0$ 分割在两侧，也能在空间域内部实现零控制，从而完成了对 $T < A$ 或 $T > A$ 情况下退化种群方程的可控性研究。关键结果是控制范数在初始数据上的统一有界性，适用于弱退化和强退化两种情形。

ABSTRACT

We deal with a degenerate model in divergence form describing the dynamics of a population depending on time, on age and on space. We assume that the degeneracy occurs in the interior of the spatial domain and we focus on null controllability. To this aim, first we prove Carleman estimates for the associated adjoint problem, then, via cut off functions, we prove the existence of a null control function localized in the interior of the space domain. We consider two cases: either the control region contains the degeneracy point $x_0$, or the control region is the union of two intervals each of them lying on one side of $x_0$. This paper complement some previous results, concluding the study of the subject.

研究动机与目标

• 建立具有内部退化扩散系数 $k(x)$ 的种群模型的零可控性，其中存在某点 $x_0 \in (0,1)$ 使得 $k(x_0) = 0$。
• 通过允许控制区域为包含 $x_0$ 的单个区间或位于 $x_0$ 两侧的两个不相交区间，扩展先前关于退化种群方程的研究。
• 处理 $T < A$ 和 $T > A$ 两种情形，完成对该类模型可控性的研究。
• 通过柯尔曼不等式和截断函数建立统一框架，适用于弱退化和强退化两种情形。
• 消除对出生率 $\beta$ 的限制性假设以及对 $k$ 的正则性要求，改进了早期研究中要求 $C^2$ 正则性或边界退化的设定。

提出的方法

• 为与退化种群方程相关的伴随问题推导柯尔曼不等式，使用适配于内部退化的权函数。
• 构造截断函数以在空间域内部定位控制，确保控制仅作用于 $\omega \subset (0,1)$。
• 利用伴随问题的可观测性不等式，通过对偶性论证推导出零可控性。
• 通过验证 $k(x)$ 所需的结构条件（包括在 $[0,1]$ 上 a.e. 有 $(x - x_0)k' \leq Mk$），处理弱退化和强退化两种情形。
• 使用逼近论证，将可控性结果从光滑初始数据推广至 $L^2$ 初始数据。
• 通过能量估计和变量替换，将解的范数用控制和初始数据表示，确保控制范数的统一有界性。

实验结果

研究问题

• RQ1 对于具有内部退化扩散系数的种群方程，即使控制区域被退化点分割，是否仍能实现零可控性？
• RQ2 零可控性结果是否在 $T < A$ 和 $T > A$ 情形下均成立，而无需如早期研究中要求 $T \geq A$？
• RQ3 当退化点 $x_0$ 不在控制区域内时，是否仍可将控制定位在空间域内部？
• RQ4 是否能为弱退化和强退化情形均建立控制范数关于初始数据的统一有界性？
• RQ5 本文所用方法是否可推广至非散度型方程或边界退化情形，从而完成早期研究的成果？

主要发现

• 对于具有内部退化的种群方程，无论 $T < A$ 还是 $T > A$，均建立了零可控性。
• 存在控制函数 $f_\delta \in L^2(Q)$，使得对任意 $\delta \in (T, A)$（当 $T < A$ 时）或 $\delta \in (\bar{a}, A)$（当 $A < T$ 时），有 $y_\delta(T, \cdot, \cdot) = 0$ a.e. 在 $(\delta, A) \times (0,1)$ 上。
• 控制范数满足 $\|f_\delta\|_{L^2(Q)} \leq C(\delta)\|y_0\|_{L^2(Q_{A,1})}$，其中 $C(\delta)$ 仅依赖于 $\delta$，确保了统一稳定性。
• 该结果适用于满足各自 $k'$ 和 $k$ 结构条件的弱退化和强退化扩散系数 $k$。
• 使用柯尔曼不等式和截断函数的方法具有鲁棒性，可适应于非散度型方程和边界退化情形，从而完成了先前研究。
• 可观测性不等式 (4.46) 已证明，其常数 $C(\delta)$ 依赖于 $\delta$，纠正了早期文献中错误声称 $C$ 为绝对常数的笔误。