[论文解读] A topological obstruction to the controllability of nonlinear wave equations with bilinear control term

Thomas Chambrion, Laurent Thomann|arXiv (Cornell University)|Sep 19, 2018

Advanced Mathematical Physics Problems参考文献 5被引用 11

一句话总结

本文通过将 Ball-Marsden-Slemrod 框架扩展至非线性动力系统，建立了非线性波动方程在 L1 双线性控制下可控制性的拓扑障碍。利用 Dyson 级数展开和 Sobolev 空间中的紧致性论证，证明可达集位于可数个紧致子集的并集中，因此在能量空间中具有空内部——从而在自然函数空间设定下阻碍了精确可控制性。

ABSTRACT

In this paper we prove that the Ball-Marsden-Slemrod controllability obstruction also holds for nonlinear equations, with integrable bilinear controls. We first show an abstract result and then we apply it to nonlinear wave equations. The first application to the Sine-Gordon equation directly follows from the abstract result, and the second application concerns the cubic wave/Klein-Gordon equation and needs some additional work.

研究动机与目标

• 将 Ball-Marsden-Slemrod 障碍从线性系统扩展至具有 L1 控制的非线性波动方程。
• 证明非线性项在自然能量空间中无法克服可控制性的拓扑障碍。
• 在 Baire 紧度量意义下，建立具有双线性控制的非线性系统可达集的稀疏性。
• 为 Sine-Gordon 方程和立方 Klein-Gordon 方程等方程提供可推广的一般性框架，基于 Dyson 展开。
• 通过 Sobolev 嵌入与能量估计，证明非线性项的利普希茨条件可在紧致性论证中放宽。

提出的方法

• 利用 Duhamel 积分公式将非线性波动方程表述为弱解形式。
• 应用 Dyson 展开，将解表示为控制函数幂级数的形式。
• 通过算子有界性与连续性，证明部分和的统一收敛性与连续性。
• 通过 Sobolev 空间 H1 × L2 中的序列收敛性，建立可达集的紧致性。
• 利用 Sobolev 嵌入定理控制正则性，确保解算子的连续性。
• 通过时间区间的归纳法，将局部紧致性推广至全局可达集。

实验结果

研究问题

• RQ1 能否将线性系统中 L1 控制下的 Ball-Marsden-Slemrod 障碍扩展至非线性波动方程？
• RQ2 非线性项（如立方项或 Sine-Gordon 项）的存在是否能克服可控制性的拓扑障碍？
• RQ3 具有 L1 控制的非线性波动方程的可达集在能量空间中是否为稀疏集？
• RQ4 在紧致性论证中，非线性项的利普希茨条件是否可被放宽？
• RQ5 Sobolev 嵌入在确保解流正则性与紧致性方面起何种作用？

主要发现

• 具有 L1 控制的非线性波动方程的可达集包含于 H1(M) × L2(M) 中可数个紧致子集的并集中。
• 对于 Sine-Gordon 方程，由于框架中假设条件匹配，该抽象结果可直接适用。
• 对于三维立方 Klein-Gordon 方程，非线性项非利普希茨，但 Duhamel 公式中正则性增益保证了解的全局存在性。
• Dyson 展开收敛的时间区间仅依赖于初始能量，而不依赖于初始数据本身。
• 在适当的能量界下，对任意 T > 0 和 L > 0，可达集 VT,L(ψ0, ψ1) 在 H1(M) × L2(M) 中相对紧致。
• 该结果意味着由于 Baire 紧度定理，自然能量空间中的精确可控制性不可能实现。