[论文解读] Unique continuation and approximate controllability for a degenerate parabolic equation

Piermarco Cannarsa, Jacques Tort+1 more|arXiv (Cornell University)|Jul 16, 2011

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

一句话总结

本文在空间一维弱退化抛物方程中，于退化点处施加狄利克雷边界控制，建立了近似可控性。通过推导一种新型的具有空间递减权函数的局部卡莱曼估计，作者证明了伴随算子的唯一延拓性，从而表明在退化集上其解及其法向导数均消失的解必恒为零，因此可通过边界控制实现近似可控性。

ABSTRACT

This paper studies unique continuation for weakly degenerate parabolic equations in one space dimension. A new Carleman estimate of local type is obtained to deduce that all solutions that vanish on the degeneracy set, together with their conormal derivative, are identically equal to zero. An approximate controllability result for weakly degenerate parabolic equations under Dirichlet boundary condition is deduced.

研究动机与目标

• 建立在退化边界点处施加狄利克雷边界控制的弱退化抛物方程的近似可控性。
• 克服在边界控制下退化算子缺乏零可控性结果的问题，特别是当控制作用于边界退化部分时。
• 为具有空间递减权函数的弱退化抛物算子，开发一种新型的局部卡莱曼估计。
• 证明伴随方程解的唯一延拓性质，即在退化点处解及其法向导数均消失的解。
• 弥合退化抛物系统中局部分布控制与边界控制之间的差距，由于退化性，标准对偶技术在此失效。

提出的方法

• 为伴随算子 $ L u = u_t + (x^\beta u_x)_x $ 与 $ 0 \leq \alpha < 1 $ 推导一种新型局部卡莱曼估计，使用随空间递减的权函数。
• 利用卡莱曼估计证明：若伴随方程 $ Lu = 0 $ 的任意解 $ u $ 满足 $ u(0,t) = (x^\alpha u_x)(0,t) = 0 $，则其在区域中恒为零。
• 应用对偶论证：原算子 $ P $ 的近似可控性被归约为伴随算子 $ L $ 的唯一延拓性质。
• 定义控制到状态映射 $ B: g \mapsto u_g(T) $，并通过证明其正交补集平凡，证明其在 $ L^2(0,1) $ 中的像为稠密。
• 利用后向伴随问题的解 $ \hat{v} $，通过恒等式 $ (u_g(T), v)_{L^2} = \int_0^T (x^\alpha \hat{v}_x)(0,t) g(t) dt $ 将控制输入 $ g $ 与终态关联。
• 借助唯一延拓结果，证明若 $ (x^\alpha \hat{v}_x)(\cdot, 0) \equiv 0 $，则 $ \hat{v}(T) = 0 $，从而推出 $ \hat{v} = 0 $，故 $ B $ 的像为稠密。

实验结果

研究问题

• RQ1 当控制仅施加于退化边界点时，是否可实现弱退化抛物方程的近似可控性？
• RQ2 在退化点处施加狄利克雷型边界条件时，能否为弱退化抛物算子的伴随算子建立唯一延拓性质？
• RQ3 能否构造一种具有空间递减权函数的局部卡莱曼估计以处理边界退化？
• RQ4 标准对偶技术在退化算子上失效，是否意味着边界控制无法实现可控性？
• RQ5 在退化点处解及其法向导数满足何种条件，可保证解恒为零？

主要发现

• 为伴随算子 $ Lu = u_t + (x^\alpha u_x)_x $ 与 $ 0 \leq \alpha < 1 $ 推导出一种新型局部卡莱曼估计，使用空间递减的权函数。
• 证明了在区域 $ Q $ 中满足 $ u(0,t) = (x^\alpha u_x)(0,t) = 0 $ 的 $ Lu = 0 $ 的任意解 $ u $ 必在 $ Q $ 中恒为零，从而确立了强唯一延拓性质。
• 唯一延拓结果表明，在退化边界处解及其法向导数均消失的唯一解为零解。
• 通过在 $ x = 0 $ 处施加狄利克雷边界控制，建立了原退化抛物方程 $ Pu = u_t - (x^\alpha u_x)_x = 0 $ 的近似可控性。
• 控制到终态映射 $ B $ 在 $ L^2(0,1) $ 中的像为稠密，这等价于近似可控性，通过对偶性与唯一延拓性质得以证明。
• 该结果对所有 $ T > 0 $ 成立，控制可通过两阶段构造：先将初值演化至中间状态，再通过边界控制将系统推进至目标附近。