[论文解读] Null controllability for parabolic equations with dynamic boundary conditions of reactive-diffusive type

Lahcen Maniar, Martin Meyries+1 more|arXiv (Cornell University)|Nov 4, 2013

Stability and Controllability of Differential Equations参考文献 21被引用 8

一句话总结

该论文建立了具有反应-扩散型（表面扩散）动态边界条件的线性和半线性抛物方程的零可控性。通过为这些边界条件量身定制的新Carleman估计，作者证明了对于任意属于 $ L^2(\bar{\Omega}) $ 的初始数据，均可找到一个控制 $ v \in L^2((0,T)\times\omega) $，使得解在时间 $ T $ 处消失，从而将可控性结果扩展至文献中此前未被研究的一类问题。

ABSTRACT

We prove null controllability for linear and semilinear heat equations with dynamic boundary conditions of surface diffusion type. The results are based on a new Carleman estimate for this type of boundary conditions.

研究动机与目标

• 建立具有表面扩散型动态边界条件的线性和半线性抛物方程的零可控性。
• 为具有Wentzell型动态边界条件的抛物问题开发一种适用于此类边界的新型Carleman估计。
• 将现有可控性结果——此前仅限于Dirichlet或Neumann条件——扩展至更复杂的动态边界情形。
• 证明可通过内部控制独立控制区域和边界上的初始数据。

提出的方法

• 为线性化系统伴随问题的动态边界条件，推导一种新型Carleman估计，其中包含表面扩散项。
• 利用Carleman估计证明伴随系统的可观测性不等式，将终态与子区域 $ \omega \Subset \Omega $ 上的观测联系起来。
• 应用对偶性论证，将可观测性估计转化为原始系统零可控性的结果。
• 建立具有动态边界条件的底层抛物系统强解、温和解和分布解的存在性与正则性。
• 利用Schauder不动点定理与线性化控制技术，将结果推广至具有全局Lipschitz非线性项的半线性问题。
• 采用在 $ t=0 $ 和 $ t=T $ 处趋于零的指数权 $ L^2 $-范数，以处理Carleman估计在端点附近的退化性。

实验结果

研究问题

• RQ1 能否实现具有反应-扩散型动态边界条件的抛物方程的零可控性？
• RQ2 是否存在适用于包含表面扩散的Wentzell型边界条件的抛物问题的Carleman估计？
• RQ3 即使边界上的初始数据独立，是否仍能通过仅作用于内部子区域 $ \omega \Subset \Omega $ 的控制，使解在时间 $ T $ 处归零？
• RQ4 边界上表面扩散的平滑效应如何影响Carleman估计中边界项的控制？
• RQ5 能否将零可控性结果推广至具有全局Lipschitz非线性项的半线性抛物系统（在区域和边界上）？

主要发现

• 当控制作用于任意非空开子集 $ \omega \Subset \Omega $ 时，具有表面扩散型动态边界条件的线性抛物方程满足零可控性。
• 为伴随问题建立了一种新型Carleman估计，该估计考虑了边界处的表面扩散与法向通量的耦合。
• 可观测性不等式确保终态由内部控制区域 $ \omega $ 上的观测所决定，从而通过对偶性实现可控性。
• 该结果可推广至具有全局Lipschitz非线性项 $ F $ 和 $ G $ 且满足 $ F(0)=G(0)=0 $ 与线性增长的半线性问题。
• 对所有初始数据 $ y_0 \in L^2(\Omega) $、$ y_{0,\Gamma} \in L^2(\Gamma) $，均存在控制 $ v \in L^2((0,T)\times\omega) $，即使二者相互独立。
• 证明依赖于 $ \mathbb{E}_1 $ 到 $ L^2(0,T;\mathbb{L}^2) $ 的紧嵌入及解映射的连续性，从而在半线性情形下可应用Schauder不动点定理。