[论文解读] Quasi-periodic solutions of forced Kirchoff equation

Riccardo Montalto|arXiv (Cornell University)|Feb 16, 2016

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

一句话总结

该论文通过在Sobolev空间中使用一种新颖的Nash-Moser方案，建立了1D受迫Kirchhoff方程在周期边界条件下小振幅准周期解的存在性及其线性稳定性。关键创新在于通过微分同胚、伪微分算子以及KAM可约化方案，将线性化算子共轭为2×2块对角形式，从而克服了拟线性性与双重共振的挑战。

ABSTRACT

In this paper we prove the existence and the stability of small-amplitude quasi-periodic solutions with Sobolev regularity, for the 1-dimensional forced Kirchoff equation with periodic boundary conditions. This is the first KAM result for a quasi-linear wave-type equation. The main difficulties are: $(i)$ the presence of the highest order derivative in the nonlinearity which does not allow to apply the classical KAM scheme, $(ii)$ the presence of double resonances, due to the double multiplicity of the eigenvalues of $- \partial_{xx}$. The proof is based on a Nash-Moser scheme in Sobolev class. The main point concerns the invertibility of the linearized operator at any approximate solution and the proof of tame estimates for its inverse in high Sobolev norm. To this aim, we conjugate the linearized operator to a $2 imes 2$, time independent, block-diagonal operator. This is achieved by using {\it changes of variables} induced by diffeomorphisms of the torus, {\it pseudo-differential} operators and a KAM {\it reducibility} scheme in Sobolev class.

研究动机与目标

• 证明1D受迫Kirchhoff方程在周期边界条件下，具有Sobolev正则性的小振幅准周期解的存在性。
• 在Sobolev类中建立这些解的线性稳定性。
• 克服拟线性性（非线性中最高阶导数存在）与Laplacian特征值重数导致的双重共振的双重挑战。
• 为拟线性PDE开发一种新型Nash-Moser方案，实现对线性化算子的逆算子在可控估计下的求逆。

提出的方法

• 在Sobolev空间中采用Nash-Moser迭代方案构造准周期解，对线性化算子的逆算子施加可控估计。
• 通过环面的微分同胚与伪微分算子，将线性化算子共轭为2×2块对角、时间不变的形式。
• 在Sobolev类中实施KAM可约化方案，通过迭代将线性化算子逐步约化为便于求逆的形式。
• 利用辛对称化与复变量变换，简化方程中最高阶项的结构。
• 应用下降法对线性化算子进行正则化，并在迭代过程中控制范数的增长。
• 利用块衰减范数量化迭代过程中误差项的大小与衰减特性。

实验结果

研究问题

• RQ1 尽管非线性中含有最高阶导数，1D受迫Kirchhoff方程是否仍可能存在具有Sobolev正则性的准周期解？
• RQ2 在KAM框架中，如何处理由$-\partial_{xx}$的特征值双重重数引起的双重共振结构？
• RQ3 当经典KAM方法因拟线性性而失效时，是否仍能在Sobolev空间中对近似解处的线性化算子实现求逆？
• RQ4 能否通过谱分析与能量估计保证所构造的准周期解的线性稳定性？

主要发现

• 论文证明了当强迫参数$\delta$较小时，对于具有渐近全Lebesgue测度的Cantor型频率集$\omega$，1D受迫Kirchhoff方程存在具有Sobolev正则性的准周期解。
• 通过将线性化算子共轭为块对角形式后，利用Sobolev范数中的能量估计，证明了解的线性稳定性。
• 线性化算子的逆算子在高阶Sobolev范数下满足可控估计，这对Nash-Moser迭代的收敛性至关重要。
• 通过微分同胚、伪微分算子与KAM型迭代的结合，成功将算子约化为2×2块对角形式，从而有效控制了小分母问题。
• 该方法成功克服了双重共振的障碍，并解决了拟线性情形下经典KAM可约化失效的问题。
• 解在时间和空间上均为零平均，这是由构造过程与零均值函数空间的使用所保证的。