[论文解读] Local controllability of reaction-diffusion systems around nonnegative stationary states

Kévin Le Balc’h|arXiv (Cornell University)|Sep 14, 2018

Stability and Controllability of Differential Equations参考文献 32被引用 10

一句话总结

本文建立了对一个非线性 n×n 反应-扩散系统（模拟可逆化学反应）在任意 T > 0 时间内，对非负常数稳态解的局部精确可控性，使用 m < n 个局部化控制。该方法结合了变量变换以解耦系统、一种新颖的 L∞-适应源项法，以及反函数映射定理，利用谱不等式和有限维子系统的可观测性估计，克服了动力学中不变量带来的障碍，从而实现可控性。

ABSTRACT

We consider a $n \ imes n$ nonlinear reaction-diffusion system posed on a smooth bounded domain $\\Omega$ of $\\mathbb{R}^N$. This system models reversible chemical reactions. We act on the system through $m$ controls ($1 \\leq m &lt; n$), localized in some arbitrary nonempty open subset $\\omega$ of the domain $\\Omega$. We prove the local exact controllability to nonnegative (constant) stationary states in any time $T &gt;0$. A specificity of this control system is the existence of some invariant quantities in the nonlinear dynamics that prevents controllability from happening in the whole space $L^\\infty(\\Omega)^n$. The proof relies on several ingredients. First, an adequate affine change of variables transforms the system into a cascade system with second order coupling terms. Secondly, we establish a new null-controllability result for the linearized system thanks to a spectral inequality for finite sums of eigenfunctions of the Neumann Laplacian operator, due to David Jerison, Gilles Lebeau and Luc Robbiano and precise observability inequalities for a family of finite dimensional systems. Thirdly, the source term method, introduced by Yuning Liu, Tak\\'eo Takahashi and Marius Tucsnak, is revisited in a $L^{\\infty}$-context. Finally, an appropriate inverse mapping theorem enables to go back to the nonlinear reaction-diffusion system.

研究动机与目标

• 解决反应-扩散系统在可逆化学动力学下对非负稳态解的局部精确可控性这一开放问题。
• 克服非线性动力学中不变量带来的障碍，这些不变量会阻碍全空间可控性。
• 在任意 T > 0 时间内，仅使用 m < n 个位于非空开集 ω ⊂ Ω 内的局部化控制，实现可控性。
• 将源项法从 L² 框架扩展至 L∞-框架，用于非线性框架下的控制构造。
• 在适当的函数空间中应用反函数映射定理，从线性化情形恢复非线性系统的可控性。

提出的方法

• 通过仿射变量变换，将原始反应-扩散系统转化为具有二阶耦合项的级联系统。
• 利用 Jerison、Lebeau 和 Robbiano 提出的诺伊曼拉普拉斯算子特征函数有限和的谱不等式，证明线性化系统的零可控性。
• 利用 Lebeau-Robbiano 方法和能量估计，为有限维子系统建立精确的可观测性不等式。
• 重新审视并适应 Liu、Takahashi 和 Tucsnak 的源项法，使其适用于 L∞-设定，以在非线性框架中构造控制。
• 在适当的函数空间中应用反函数映射定理，将线性可控性结果提升至完整的非线性系统。
• 采用带惩罚的希尔伯特唯一性方法（HUM），通过求解一系列具有指数衰减的时间局部控制问题，构造 L∞-控制。

实验结果

研究问题

• RQ1 能否使用少于状态变量数的控制，对模拟可逆化学反应的反应-扩散系统实现对非负常数稳态解的局部精确可控性？
• RQ2 非线性动力学中存在不变量的情况下，如何调和其与局部精确可控性之间的关系？
• RQ3 是否可以将源项法从 L² 框架扩展至 L∞-框架，以用于半线性抛物系统的控制构造？
• RQ4 诺伊曼拉普拉斯算子的谱性质在实现系统有限维投影的可观测性与可控性方面起到什么作用？
• RQ5 是否可在 L∞-型空间中应用反函数映射定理，从线性近似恢复非线性可控性？

主要发现

• 在任意 T > 0 时间内，对 n×n 反应-扩散系统，使用 m < n 个局部化控制，成功实现了对非负常数稳态解的局部精确可控性。
• 系统中由可逆反应中质量守恒引起的不变量，在限制于非负稳态解时，并不阻碍可控性。
• 通过诺伊曼特征函数有限和的谱不等式，建立了一个新的线性化系统零可控性结果，其代价估计形式为 Ce^{C/T}。
• 成功将源项法适应至 L∞-设定，通过带惩罚的 HUM 方法和时间区间的拼接，实现了 L∞-控制的构造。
• 在合适的 L∞-框架中应用反函数映射定理，将线性可控性结果提升至完整的非线性系统，确保了局部精确可控性。
• 该方法无需全局经典解的存在性，仅依赖于局部适定性与 L∞ 中的能量估计。