[论文解读] Carleman estimates and controllability results for fully-discrete approximations of 1-D parabolic equations

Víctor Hernández-Santamaría, Pedro González‐Casanova|arXiv (Cornell University)|Dec 3, 2020

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

一句话总结

本文为一维抛物方程的全离散逼近建立了一种新颖的Carleman估计，其中离散参数 $h$ 和 $Δ t$ 与大Carleman参数相关联。利用该估计，作者推导出一种松弛的可观测性不等式，从而实现对线性和半线性全离散系统的零控性，确保在适当的参数缩放下，即使在空间和时间的离散化下也能实现控制。

ABSTRACT

In this paper, we prove a Carleman estimate for fully-discrete approximations of parabolic operators in which the discrete parameters $h$ and $ riangle t$ are connected to the large Carleman parameter. We use this estimate to obtain relaxed observability inequalities which yield, by duality, controllability results for fully-discrete linear and semilinear parabolic equations.

研究动机与目标

• 为一维抛物方程的全离散逼近建立离散Carleman估计，同时考虑空间（$h$）和时间（$\Delta t$）离散化参数。
• 弥合连续控制理论与离散数值格式之间的差距，其中由于数值色散或不稳定，标准控制性可能丧失。
• 利用新的离散Carleman估计，建立全离散线性和半线性抛物系统的可观测性与零控性结果。
• 分析离散可观测性常数对网格参数 $h$ 和 $Δ t$ 的依赖关系，特别是在与Carleman参数相关的缩放条件下。
• 提供一个严格的框架，确保即使在标准离散方法因不稳定或色散而失效时，控制性在全离散化下仍能保持。

提出的方法

• 通过引入变量变换并应用离散微积分工具处理空间和时间算子，推导出一种新的全离散Carleman估计。
• 该方法涉及使用加权范数估计离散导数 $\partial_h$ 和 $\overline{D}_t$，并通过离散分部积分控制边界项和内部项。
• 关键步骤是引入一个依赖于Carleman参数的权函数 $\eta$，从而在估计中控制离散解的增长。
• 作者使用离散柯西-施瓦茨不等式和杨不等式来控制来自离散拉普拉斯算子 $\Delta_h$ 和时间导数 $\overline{D}_t$ 的交叉项，将其吸收进主要能量项。
• 通过结合空间离散和时间离散估计，并利用大Carleman参数仔细吸收低阶项，构建离散Carleman估计。
• 最终估计通过变量变换还原回原始变量，得到依赖于网格大小和时间步长的离散可观测性不等式。

实验结果

研究问题

• RQ1 能否为全离散逼近的一维抛物方程建立Carleman估计，使得离散参数 $h$ 和 $Δ t$ 与Carleman参数相关联？
• RQ2 所推导的离散Carleman估计是否能导出一种松弛的可观测性不等式，从而确保全离散线性抛物系统的零控性？
• RQ3 能否通过对偶性和不动点论证，将可观测性不等式推广到半线性抛物方程？
• RQ4 在离散设置下，可观测性常数对网格大小 $h$ 和时间步长 $Δ t$ 的依赖关系如何？
• RQ5 当标准数值格式因不稳定或色散而失效时，是否仍能在全离散化下保持零控性？

主要发现

• 为隐式欧拉格式和中心差分格式建立了一种新的全离散Carleman估计，该估计在 $h$ 和 $Δ t$ 与Carleman参数相关时成立。
• 离散Carleman估计导出一种形式为 $\|q^0\|_{L^2} \leq C_{obs} \left( \int\!\!\!\int_{\omega_h \times (0,T)} |q|^2 \right)^{1/2}$ 的松弛可观测性不等式，其中 $C_{obs}$ 在适当缩放下与 $h$ 和 $Δ t$ 无关。
• 证明了全离散线性抛物系统的零控性，当 $h$ 和 $Δ t$ 与Carleman参数缩放时，控制代价与网格大小无关。
• 对于半线性情形，通过基于离散可观测性不等式的不动点论证，证明了零控性，确保对小初值存在控制。
• 该方法表明，当离散参数与Carleman参数关联时，控制性与数值离散化可以协调一致，避免了标准格式中常见的控制性丧失问题。
• 分析表明，当满足条件 $h \sim \Delta t^{1/2}$ 时，离散可观测性常数保持有界，这在离散设置中保持控制性质至关重要。