[論文レビュー] 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

ひとこと要約

本稿は、解析的奇非線形項を有する半線形クライン=ゴルドン方程式において、指数的微小なホモクライン分離が存在することを厳密に確立し、ストークス定数が小ブレザー存在の主要障害であることを特定する。一般の解析的奇非線形項に対して、小ブレザーは存在しないことを証明する。これは、クラインスタルとセーガーによる長年の直感的予想を、空間力学における特異摂動および複素解析的手法により裏付けたものである。

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}.

研究の動機と目的

• 非可積分な非線形クライン=ゴルドン方程式において、小ブレザーが一般に存在しないという長年の予想を解決すること。
• 特異摂動枠組みにおいて、ホモクライン軌道形成の指数的微小な障害を同定すること。
• 空間力学を用いた力学系枠組みに、クラインスタルとセーガーの形式的漸近解析を厳密に結びつけること。
• ストークス定数を用いて、安定・不安定多様体の分離の主要項を周波数に依存せずに特徴付けること。
• 一般の解析的奇非線形項に対してストークス定数が一般に消えないことを証明し、小ブレザーの非存在を示すこと。

提案手法

• ブレザーを空間力学的設定におけるホモクライン軌道として定式化し、不変多様体の分離問題に還元する。
• ボガダンフ・トーキング分岐と無限に多くの高速振動的自由度が結合された特異摂動アプローチを適用する。
• 不変多様体パラメータ化の解析的接続を分析し、指数的微小な分離距離を計算する。
• 指数的微小項を捉えるために、複素化された時間発展変数における「内部方程式」を導入し、それを解く。
• 外側解と内部解の間の複素マッチング推定を用いて、異なる領域における分離距離を制御する。
• バナッハ空間における固定点定理を用いて、不変多様体およびその分離を厳密に推定する。

実験結果

リサーチクエスチョン

• RQ1 半線形クライン=ゴルドン方程式における小ホモクライン軌道の安定・不安定多様体の指数的微小分離の主要項は何か？
• RQ2 非線形項にのみ依存するストークス定数は、ブレザー存在の障害をどのように決定するか？
• RQ3 どのような解析的奇非線形項のクラスに対して、小ブレザーは存在せず、その理由は何か？
• RQ4 クラインスタルとセーガーによる指数的微小分離に関する形式的漸近予測は、厳密に正当化可能か？
• RQ5 一般の解析的奇非線形項に対してストークス定数は一般に非ゼロか？その場合、小ブレザーの非存在が保証されるか？

主な発見

• 不変多様体の指数的微小分離の主要項はストークス定数によって決定され、これは非線形項に解析的に依存するが、時間周波数には依存しない。
• 一般の解析的奇非線形項に対してストークス定数は非ゼロであり、周波数が共鳴に近い場合でも、小ブレザーは存在しない。
• 本稿は、クラインスタルとセーガーによる指数的微小分離に関する形式的漸近予測が、この文脈において厳密に正当化されることを証明する。
• 内部方程式は、解析関数のバナッハ空間における固定点定理を用いて解かれる。これにより、指数的微小項の精密な制御が可能になる。
• 外側解と内部解の間の複素マッチング推定により、分離距離の明確な漸近的表現が得られ、その指数的減衰は振幅の逆数によって支配される。
• 非線形パrameterに関する摂動的議論を用いて、ストークス定数の一般非ゼロ性を確立し、小ブレザーの一般的非存在を確認する。