[论文解读] Null-Controllability of Two Species Reaction-Diffusion System with Nonlinear Coupling: A New Duality Method

Kévin Le Balc’h|arXiv (Cornell University)|Feb 26, 2018

Stability and Controllability of Differential Equations参考文献 22被引用 7

一句话总结

本文通过一种名为反射唯一性法的新型对偶方法，建立了具有一个内部控制的两物种非线性反应-扩散系统的全局零可控性。通过将Carleman估计推广至 $L^p$ 空间（$p \geq 2$）并利用抛物正则性，作者构造出一个正则函数的奇次幂形式的控制，确保在初始数据较小时控制量也较小，从而克服了在零点处线性化系统不可控的问题。

ABSTRACT

We consider a $2 imes2$ nonlinear reaction-diffusion system posed on a smooth bounded domain$$Ω$ of R N (N $\ge$ 1$). The control input is in the source term of only one equation. It is localized in some arbitrary nonempty open subset $ω$ of the domain $Ω$. First, we prove a global null-controllability result when the coupling term in the second equation is an odd power. As the linearized system around zero is not null-controllable, the usual strategy consists in using the return method, introduced by Jean-Michel Coron, or the method of power series expansions. In this paper, we give a direct nonlinear proof, which relies on a new duality method that we call Reflexive Uniqueness Method. It is a variation in reflexive Banach spaces of the well-known Hilbert Uniqueness Method, introduced by Jacques-Louis Lions. It is based on Carleman estimates in $L^p$ ($2 \leq p < \infty$) obtained from the usual Carleman inequality in $L^2$ and parabolic regularity arguments. This strategy enables us to find a control of the heat equation, which is an odd power of a regular function. Another advantage of the method is to produce small controls for small initial data. Secondly, thanks to the return method, we also prove a null-controllability result for more general nonlinear reaction-diffusion systems, where the coupling term in the second equation behaves as an odd power at zero.

研究动机与目标

• 建立当耦合项为奇次幂时，具有一个内部控制的 2×2 非线性反应-扩散系统之全局零可控性。
• 克服在零点附近线性化系统不可控的问题，从而排除基于线性化方法的标准控制策略。
• 发展一种直接的非线性方法，避免使用返回法或幂级数展开，为非线性抛物系统提供新框架。
• 构造一个热方程的控制，该控制为一个正则函数的奇次幂形式，确保在初始数据较小时控制量也较小。
• 通过返回法将该方法推广至一般非线性系统，在零点附近耦合项表现出奇次幂行为时，证明其局部零可控性。

提出的方法

• 提出反射唯一性法，这是一种在反射巴拿赫空间 $L^p$（$2 \leq p < \infty$）中应用的对偶技术，作为希尔伯特唯一性法的一种变体。
• 通过抛物正则性和对偶性论证，从标准的 $L^2$ Carleman 不等式推导出 $L^p$ Carleman 估计。
• 将该方法应用于构造热方程的控制 $h$，使得 $h = \psi^{2k+1}$，其中 $\psi \in L^{2k+2}(Q_T)$，以确保可积性和正则性。
• 采用逐步提升（bootstrap）论证，将正则性从对偶问题传播至控制，确保 $h \in L^2(Q_T)$。
• 利用返回法将结果推广至一般非线性系统，其中耦合项在零点附近表现出奇次幂行为。
• 依赖于对偶问题解的唯一性以及在反射空间中的弱收敛性，以在逼近序列中取极限。

实验结果

研究问题

• RQ1 对于具有非线性耦合且仅有一个内部控制的两物种反应-扩散系统，即使其线性化系统不可控，是否仍可实现全局零可控性？
• RQ2 是否能够通过 $L^p$ 空间中的对偶方法，构造出一个正则函数的奇次幂形式的控制？
• RQ3 希尔伯特唯一性法能否推广至反射巴拿赫空间，以处理抛物系统中的非线性项？
• RQ4 所提出的对偶方法是否能产生小初始数据下的小控制量，从而优于现有非线性控制策略？
• RQ5 当非线性项在零点附近表现出奇次幂行为时，该方法是否可通过返回法推广至一般非线性系统？

主要发现

• 反射唯一性法成功证明了当第二个方程中耦合项为奇次幂时，'奇次幂系统'的全局零可控性，即使其线性化系统不可控。
• 该方法构造出热方程的控制 $h$，其为正则函数 $\psi$ 的奇次幂形式，且满足 $h \in L^2(Q_T)$，确保控制量定义良好且可积。
• 由于在反射空间中使用了 $L^p$ 估计和弱收敛性论证，控制量在初始数据较小时也保持较小。
• 通过抛物正则性和对偶性，从标准的 $L^2$ 不等式推导出 $L^p$ Carleman 估计，从而实现对 $p \geq 2$ 的推广。
• 该方法在 $L^{2k+2}(Q_T)$ 中产生对偶问题的唯一解，且在反射空间中的弱收敛性确保极限满足所需的估计。
• 返回法成功应用于证明一般非线性系统在耦合项于零点附近表现出奇次幂行为时的局部零可控性。