[论文解读] Dynamics of Riemann waves with sharp measure-controlled damping

Marcelo M. Cavalcanti, To Fu+2 more|arXiv (Cornell University)|Aug 13, 2019

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

一句话总结

本文在具有边界的紧黎曼流形上提出了一种几何构造方法，用于构建$\varepsilon$-可控阻尼区域，使得其内部与边界测度之和可任意小。通过Carleman估计建立了可观测性与唯一延拓性，证明了具有临界Sobolev增长的半线性波动方程存在有限维全局吸引子，并表明这些区域满足几何控制条件（GCC），从而在精确测度控制下实现了稳定化结果。

ABSTRACT

This paper is concerned with locally damped semilinear wave equations defined on compact Riemannian manifolds with boundary. We present a construction of measure-controlled damping regions which are sharp in the sense that their summed interior and boundary measures are arbitrarily small. The construction of this class of open sets is purely geometric and allows us to prove a new observability inequality in terms of potential energy rather than the usual one with kinetic energy. A unique continuation property is also proved. Then, in three-dimension spaces, we establish the existence of finite dimensional smooth global attractors for a class of wave equations with nonlinear damping and forces with critical Sobolev growth. In addition, by means of an obstacle control condition, we show that our class of measure-controlled regions satisfies the well-known geometric control condition (GCC). Therefore, many of known results for the stabilization of wave equations hold true in the present context.

研究动机与目标

• 在具有边界的紧黎曼流形上构造开阻尼区域，使其内部与边界测度之和可任意小。
• 在这些区域上利用Carleman估计证明可观测性与唯一延拓不等式，能量以势能形式度量。
• 在三维空间中，针对具有临界Sobolev增长和$C^1$-力的半线性波动方程，建立有限维光滑全局吸引子的存在性。
• 证明所构造的$\varepsilon$-可控区域满足几何控制条件（GCC），从而将已知的稳定化结果推广至精确测度控制的设定。

提出的方法

• 在几何子集$V \subset M$上构造一个逃逸势函数$d$，使得$M \setminus V$的测度任意小，从而定义出$\varepsilon$-可控阻尼区域$\omega \supset \overline{M \setminus V}$。
• 将$\omega$分解为重叠的子区域，以支持Carleman估计在可观测性与唯一延拓性中的应用。
• 引入新的障碍控制条件（定义2.6），以证明$\varepsilon$-可控集满足几何控制条件（GCC）。
• 利用向量场与Carleman估计，结合Triggiani-Yao与Lasiecka-Tataru方法，推导出以势能形式表示的可观测性不等式。
• 针对具有局部阻尼的半线性波动方程，建立拟稳定性与梯度结构，从而导出有限维吸引子。
• 通过能量估计与修正的Lyapunov泛函实现指数衰减，证明渐近光滑性与吸引子的存在性。

实验结果

研究问题

• RQ1 是否可以在具有边界的紧黎曼流形上构造阻尼区域，使其内部与边界测度之和可任意小？
• RQ2 此类精确测度控制的阻尼区域是否仍满足几何控制条件（GCC）？
• RQ3 在这些设定下，是否可基于势能而非动能建立可观测性与唯一延拓性？
• RQ4 在精确测度控制的阻尼条件下，具有临界Sobolev非线性项与$C^1$-力的半线性波动方程是否具有有限维全局吸引子？
• RQ5 标准的在GCC条件下对波动方程的稳定化结果，能否推广至$\varepsilon$-可控阻尼区域的情形？

主要发现

• 通过纯几何方法构造出$\varepsilon$-可控阻尼区域$\omega$，满足$\text{meas}_M(\omega) + \text{meas}_{\partial M}(\omega \cap \partial M) < \varepsilon$，且该构造与具体波动方程无关。
• 所构造的区域满足几何控制条件（GCC），从而可将已知的稳定化结果推广至精确测度控制的设定。
• 基于$\omega$的重叠子区域上的Carleman估计，证明了一项新的以势能形式表示的可观测性不等式。
• 在相同的几何阻尼条件下，建立了波动方程解的唯一延拓性质。
• 在三维紧黎曼流形上，具有临界Sobolev增长与$C^1$-力的半线性波动方程存在有限维光滑全局吸引子。
• 由于拟稳定性，全局吸引子具有有限的分形维数，其正则性通过解及其时间导数的$H^2$-范数估计得以证明。