[论文解读] On small breathers of nonlinear Klein-Gordon equations via exponentially small homoclinic splitting

Otávio M. L. Gomide, Marcel Guàrdia+2 more|arXiv (Cornell University)|Jul 30, 2021

Nonlinear Waves and Solitons参考文献 63被引用 4

一句话总结

该论文严格证明了在具有解析奇非线性项的半线性 Klein-Gordon 方程中，存在指数级小的同宿分岔，识别出 Stokes 常数为小振子存在性的主导障碍。论文证明，对于典型的解析奇非线性项，不存在小振子——通过空间动力系统中的奇异摄动与复分析技术，证实了 Kruskal 与 Segur 长期以来的启发式猜想。

ABSTRACT

Breathers are nontrivial time-periodic and spatially localized solutions of nonlinear dispersive partial differential equations (PDEs). Families of breathers have been found for certain integrable PDEs but are believed to be rare in non-integrable ones such as nonlinear Klein-Gordon equations. In this paper we show that small amplitude breathers of \emph{any} temporal frequency do not exist for semilinear Klein-Gordon equations with generic analytic odd nonlinearities. A breather with small amplitude exists only when its temporal frequency is close to be resonant with the linear Klein-Gordon dispersion relation. Our main result is that, for such frequencies, we rigorously identify the leading order term in the exponentially small (with respect to the small amplitude) obstruction to the existence of small breathers in terms of the so-called \emph{Stokes constant}, which depends on the nonlinearity analytically, but is independent of the frequency. This gives a rigorous justification of a formal asymptotic argument by Kruskal and Segur \cite{KS87} in the analysis of small breathers. We rely on the spatial dynamics approach where breathers can be seen as homoclinic orbits. The birth of such small homoclinics is analyzed via a singular perturbation setting where a Bogdanov-Takens type bifurcation is coupled to infinitely many rapidly oscillatory directions. The leading order term of the exponentially small splitting between the stable/unstable invariant manifolds is obtained through a careful analysis of the analytic continuation of their parameterizations. This requires the study of another limit equation in the complexified evolution variable, the so-called \emph{inner equation}.

研究动机与目标

• 解决长期存在的猜想：在非可积非线性 Klein-Gordon 方程中，小振子在一般情况下不存在。
• 在奇异摄动框架下，识别同宿轨道形成过程中指数级小障碍的来源。
• 通过空间动力系统框架，将 Kruskal 与 Segur 的形式渐近分析严格联系起来。
• 通过 Stokes 常数表征稳定与不稳定流形分裂的主导项，且该常数与频率无关。
• 证明 Stokes 常数在一般情况下非零，从而表明对于典型的解析奇非线性项，小振子不存在。

提出的方法

• 在空间动力系统框架下将振子表述为同宿轨道，将问题简化为不变流形的分裂。
• 采用奇异摄动方法，其中 Bogdanov-Takens 分岔与无穷多个快速振荡方向耦合。
• 通过不变流形参数化的解析延拓，计算指数级小的分裂距离。
• 在复化演化变量中引入并求解“内方程”，以捕捉指数级小的项。
• 利用外解与内解之间的复匹配估计，控制不同区域中分裂距离的大小。
• 在巴拿赫空间中采用不动点论证，严格估计不变流形及其分离距离。

实验结果

研究问题

• RQ1 在半线性 Klein-Gordon 方程中，小同宿轨道的稳定与不稳定流形的指数级小分裂的主导项是什么？
• RQ2 仅依赖于非线性项的 Stokes 常数如何决定振子存在的障碍？
• RQ3 对于哪些类别的解析奇非线性项，小振子会不存在？原因是什么？
• RQ4 Kruskal 与 Segur 关于指数级小分裂的形式渐近预测能否在此背景下严格成立？
• RQ5 对于解析奇非线性项，Stokes 常数是否在一般情况下非零，从而意味着小振子不存在？

主要发现

• 不变流形指数级小分裂的主导项由 Stokes 常数决定，该常数依赖于非线性项但与时间频率无关。
• 对于典型的解析奇非线性项，Stokes 常数非零，意味着即使频率接近共振，也不存在小振子。
• 论文证明了 Kruskal 与 Segur 关于指数级小分裂的形式渐近预测在此背景下严格成立。
• 通过巴拿赫空间中解析函数类上的不动点论证求解了内方程，从而精确控制了指数级小项。
• 外解与内解之间的复匹配估计给出了分裂距离的精确渐近表达式，其指数衰减由振幅的倒数决定。
• 通过非线性参数的摄动论证，一般性地证明了 Stokes 常数非零，从而确认了小振子的普遍不存在性。