[论文解读] A reducibility result for a class of linear wave equations on $\mathbb{T}^d$

Riccardo Montalto|arXiv (Cornell University)|Feb 22, 2017

Quantum chaos and dynamical systems参考文献 24被引用 4

一句话总结

该论文首次建立了在 $ℚ^d$ 环面上具有无界扰动的线性波动方程的约化结果，证明了当 $\varepsilon > 0$ 足够小时，且频率 $\omega$ 属于一个测度较大的 Borel 集时，方程 $\partial_{tt}v - \Delta v + \varepsilon \mathcal{P}(\omega t)[v] = 0$ 可通过准周期的辛变换转化为常系数系统。其关键贡献在于将一类具有时间依赖性、有限秩且二阶扰动的线性波动方程约化为具有常系数的块对角形式，从而实现长时间稳定性的分析。

ABSTRACT

We prove a reducibility result for a class of quasi-periodically forced linear wave equations on the $d$-dimensional torus $\mathbb{T}^d$ of the form $$ \partial_{tt} v - Δv + \varepsilon {\cal P}(ωt)[v] = 0 $$ where the perturbation ${\cal P}(ωt)$ is a second order operator of the form ${\cal P}(ωt) = - a(ωt) Δ- {\cal R}(ωt)$, the frequency $ω\in {\cal R}^ν$ is in some Borel set of large Lebesgue measure, the function $a : \mathbb{T}^ν o {\cal R}$ (independent of the space variable) is sufficiently smooth and ${\cal R}(ωt)$ is a time-dependent finite rank operator. This is the first reducibility result for linear wave equations with unbounded perturbations on the higher dimensional torus $\mathbb{T}^d$. As a corollary, we get that the linearized Kirchhoff equation at a smooth and sufficiently small quasi-periodic function is reducible.

研究动机与目标

• 证明在 $d$ 维环面 $\mathbb{T}^d$ 上具有无界扰动的线性拟周期强迫波动方程的约化性。
• 证明在小的、光滑的、拟周期解处线性化的 Kirchhoff 方程是可约化的。
• 发展一种 KAM 型迭代程序，将具有时间依赖性、有限秩且二阶扰动的波动方程约化为常系数形式。
• 构造一个辛的、拟周期的变换，将时间依赖性消除至谱参数 $|D|^{-M}$ 阶的余项。

提出的方法

• 该方法对向量场 $\mathcal{L}(\varphi)$ 实施正则化过程，包括对最高阶项进行辛对称化以及对时间进行拟周期重参数化。
• 采用块衰减范数来控制线性算子在频率和空间变量中傅里叶系数的增长。
• 该方法在复坐标下采用哈密顿形式，将系统表示为由依赖于 $\varphi$ 的哈密顿量控制的一阶演化方程。
• 核心技术是通过共轭实现迭代的块对角化，将算子约化为常系数形式，余项阶数为 $|D|^{-M}$。
• 利用非共振集 $\Omega_\varepsilon$ 进行测度估计，其勒贝格测度渐近趋于满测度，从而确保合适频率 $\omega$ 的存在性。
• 证明依赖于拉普拉斯算子的谱性质以及对集合 $\sigma_0(\sqrt{-\Delta})$ 的估计，以保证特征值的分离性及有限维子空间中算子的可逆性。

实验结果

研究问题

• RQ1 能否在 $\mathbb{T}^d$ 上，对具有无界、时间依赖性扰动的线性波动方程，通过拟周期变换将其约化为常系数系统，且对正测度频率集成立？
• RQ2 在小的、光滑的、拟周期解处线性化的 Kirchhoff 方程是否可约化，从而意味着解的长时间稳定性？
• RQ3 在高维情形下，扰动结构（如有限秩、二阶）需满足何种条件，才能实现 KAM 型约化？
• RQ4 在存在无界扰动的情况下，如何控制时间依赖算子傅里叶系数的增长？
• RQ5 约化成立的频率集合 $\omega$ 的测度大小如何？其与小分母问题有何关联？

主要发现

• 当 $\varepsilon$ 足够小时，且 $\omega$ 属于一个测度渐近趋于满勒贝格测度的 Borel 集 $\Omega_\varepsilon \subset \Omega$ 时，方程 $\partial_{tt}v - \Delta v + \varepsilon \mathcal{P}(\omega t)[v] = 0$ 是可约化的。
• 扰动项 $\mathcal{P}(\omega t)$ 的形式为 $-a(\omega t)\Delta - \mathcal{R}(\omega t)$，其中 $a \in \mathcal{C}^q(\mathbb{T}^\nu, \mathbb{R})$，且 $\mathcal{R}(\omega t)$ 是零平均空间分量的有限秩对称算子。
• 通过一个拟周期的、辛的变换，将系统共轭为块对角形式，其系数为常数，余项阶数为 $|D|^{-M}$。
• 对于 $s \in [1/2, \mathfrak{S}_q]$，解的范数 $\|(v(t,\cdot), \psi(t,\cdot))\|_{H^{s+1/2} \times H^{s-1/2}}$ 在时间上一致有界，表明具有长时间稳定性。
• 集合 $\Omega_\varepsilon$ 的测度满足 $\text{meas}(\Omega \setminus \Omega_\varepsilon) \lesssim \varepsilon^a$，其中 $0 < a < 1$，表明当 $\varepsilon \to 0$ 时，例外集逐渐缩小。
• 在光滑的小的、拟周期函数处线性化的 Kirchhoff 方程是可约化的，证实了此类解在小扰动下的稳定性。