[论文解读] A non-linear Egorov theorem and Poincaré-Birkhoff normal forms for quasi-linear pdes on the circle

Roberto Feola, Felice Iandoli|arXiv (Cornell University)|Feb 27, 2020

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

一句话总结

本文为圆周上的拟线性拟微分方程建立了非线性 Egorov 定理，证明了存在一种坐标变换，可将此类方程共轭为常系数形式，仅含光滑余项。对于哈密顿系统，进一步实现了 Poincaré-Birkhoff 正则形式约化，从而首次在初始数据无对称性假设的前提下，实现了具有超线性色散的拟线性 PDE 的长时间存在性结果。

ABSTRACT

In this paper we consider an abstract class of quasi-linear para-differential equations on the circle. For each equation in the class we prove the existence of a change of coordinates which conjugates the equation to a diagonal and constant coefficient para-differential equation. In the case of Hamiltonian equations we also put the system in Poincaré-Birkhoff normal forms. We apply this transformation to quasi-linear perturbations of the Schrödinger and Beam equations, obtaining a long time existence result without requiring any symmetry on the initial data. We also provide the local in time well-posedness for quasi-linear perturbations of the Benjamin-Ono equation.

研究动机与目标

• 开发一种非线性 Egorov 型变换，将圆周上一类拟线性拟微分方程共轭为常系数形式，仅含光滑余项。
• 将该变换扩展至哈密顿系统，在非共振条件下实现 Poincaré-Birkhoff 正则形式约化。
• 将该方法应用于具体拟线性 PDE，包括薛定谔方程和梁方程的扰动形式，以及 Benjamin-Ono 方程。
• 在不假设初始数据对称性的前提下，建立具有超线性色散的拟线性 PDE 的长时间解存在性。
• 通过拟微分正则形式构建长时间稳定性的框架，克服拟线性情形下的导数损失问题。

提出的方法

• 利用 Bony 的拟线性化公式，将原始拟线性 PDE 简化为结构更易处理的拟微分方程。
• 通过拟微分坐标变换实现共轭过程，将方程转化为对角化常系数形式，仅含光滑余项。
• 采用辛共轭以在变换过程中保持哈密顿结构，从而实现正则形式约化。
• 在拟微分算子背景下实施类似 Nash-Moser 的迭代方案，以处理拟线性问题中的导数损失。
• 结合 Bony 拟微分演算与 Birkhoff 正则形式过程，系统性地消除哈密顿展开中的非共振项。
• 通过显式符号展开与正则性估计，将该理论应用于具体方程，包括薛定谔方程、梁方程和 Benjamin-Ono 方程。

实验结果

研究问题

• RQ1 能否为圆周上的拟线性拟微分方程建立非线性 Egorov 定理，使其转化为常系数形式？
• RQ2 在何种条件下，可通过拟微分共轭将哈密顿型拟线性 PDE 约化为 Poincaré-Birkhoff 正则形式？
• RQ3 能否在不假设初始数据对称性的前提下，证明具有超线性色散的拟线性 PDE 的长时间存在性？
• RQ4 如何利用拟微分技术与正则形式约化克服拟线性系统中的导数损失问题？
• RQ5 Bony 拟线性化公式在实现变换及后续正则形式构造中起到何种作用？

主要发现

• 本文证明了存在一种坐标变换，可将圆周上一类广义拟线性拟微分方程共轭为常系数拟微分方程，仅含光滑余项。
• 对于哈密顿系统，该方法在非共振条件下实现了 Poincaré-Birkhoff 正则形式约化，从而支持长时间稳定性的分析。
• 作者首次建立了在圆周上具有超线性色散律的拟线性 PDE 的长时间存在性结果，且无需对初始数据施加对称性假设。
• 该方法适用于薛定谔方程和梁方程的拟线性扰动形式，在足够大的 Sobolev 空间 $ H^s $ 中实现长时间存在性。
• 该变换保持哈密顿结构，并可通过修正的能量估计控制 $ H^s $-范数，从而得到 $ rac{d}{dt} orm{w}_{H^s}^2 riangleq orm{w}_{H^s}^{N+2} $，暗示长时间控制。
• 该结果被推广至 Benjamin-Ono 方程，通过相同的拟微分共轭框架，证明了拟线性扰动的局部时间存在性。