[論文レビュー] Persistent Homoclinic Orbits for Nonlinear Schroedinger Equation Under Singular Perturbation

Yanguang Charles Li|ArXiv.org|Jun 22, 2001

Advanced Mathematical Physics Problems参考文献 3被引用数 19

ひとこと要約

本稿は、特異的摂動を受ける三次非線形シュレーディンガー方程式における持続的ホモクリニクス軌道の存在を、Melnikov解析と不変多様体理論を組み合わせることで確立する。先行研究における欠陥を正すために、正準形変換を用い、$ \epsilon = 0 $ における半群 $ e^{\epsilon t \partial_x^2} $ の正則性を分析することで、$ \epsilon > 0 $ が十分に小さい場合、パrameter space $ (\alpha, \beta, \omega) $ のcodimension-one表面において、鞍点解 $ Q_\epsilon $ に漸近するホモクリニクス軌道が存在することを証明する。条件は $ \alpha\omega < \beta $ を満たす。この結果は、スペクトルギャップが破壊される特異的場合にまで、従来の正則摂動結果を拡張するものである。

ABSTRACT

Existence of homoclinic orbits in the cubic nonlinear Schrödinger equation under singular perturbations is proved. Emphasis is placed upon the regularity of the semigroup $e^{\e t \pa_x^2}$ at $\e = 0$. This article is a substantial generalization of \cite{LMSW96}, and motivated by the effort of Dr. Zeng \cite{Zen00a} \cite{Zen00b}. The mistake of Zeng in \cite{Zen00b} is corrected with a normal form transform approach. Both one and two unstable modes cases are investigated.

研究の動機と目的

• 特異的摂動においてスペクトルギャップが破壊されるため、標準的な不変多様体理論が失敗する三次非線形シュレーディンガー方程式におけるホモクリニクス軌道の存在を解明すること。
• Dr. Zengの先行研究[8]における誤りを、摂動項 $ \epsilon \partial_x^2 q $ を取り扱う正準形変換を用いることで是正すること。
• 半群 $ e^{\epsilon t \partial_x^2} $ の $ \epsilon = 0 $ における正則性を確立し、特異極限における不変多様体の正則性を制御すること。
• Melnikov積分と2次距離関数の計算を通じて、Melnikov法を特異摂動領域に拡張し、ホモクリニクス軌道の検出を可能にすること。
• ホモクリニクス軌道が $ \epsilon > 0 $ が小さい場合に持続するパラメータ $ (\alpha, \beta, \omega) $ の集合を特定し、これがパラメータ空間内にcodimension-one表面を形成することを示すこと。

提案手法

• 2段階の手法を用いる：まず鞍点 $ Q_\epsilon $ の近傍で局所的不変多様体理論を適用し、その後グローバルなMelnikov解析を実施。
• 局所理論では、動的系を2次元系に簡略化するため、座標変換 $ q = \sqrt{I} e^{i\theta} $ を用い、不安定な繊維と中心安定多様体の解析を可能にする。
• 円周 $ S_\omega $ 近傍の共振動的系を取り扱うために正準形変換を適用し、Zengの手法におけるスペクトル不一致を是正する。
• 可積分極限におけるMelnikovベクトルを計算し、$ \epsilon $ に関する漸近展開により高次補正項を導出する。
• 安定多様体と不安定多様体の横断的交差を検出するための第二測定値 $ \tilde{d} $ を評価し、1モードおよび2モード不安定状態の場合の明示的式を導出する。
• 主結果は、方程式系 $ M_k = 0 $ と $ \tilde{d} = 0 $ に対して陰関数定理を適用することで得られ、$ (\alpha, \beta, \omega) $-空間内にcodimension-one表面が得られる。

実験結果

リサーチクエスチョン

• RQ1 スペクトルギャップが破壊される特異的摂動を受ける三次非線形シュレーディンガー方程式において、ホモクリニクス軌道は持続的に存在するか？
• RQ2 Zengの[8]における特異的摂動NLS解析の誤りをどのように是正すれば、不変多様体構成の有効性を保証できるか？
• RQ3 $ \epsilon = 0 $ における半群 $ e^{\epsilon t \partial_x^2} $ の正則性が、ホモクリニクス軌道の持続性に果たす役割は何か？
• RQ4 摂動項 $ \epsilon \partial_x^2 $ が低次の補正項でない特異的摂動領域において、Melnikov法をどのように拡張できるか？
• RQ5 ホモクリニクス軌道が存在するパラメータ集合 $ (\alpha, \beta, \omega) $ の正確な幾何的・解析的構造は何か？

主な発見

• 任意の $ \epsilon \in (0, \epsilon_0) $ に対して、パラメータ空間 $ (\alpha, \beta, \omega) \in \mathbb{R}^+ \times \mathbb{R}^+ \times \mathbb{R}^+ $ 内に、ホモクリニクス軌道が存在するcodimension-one表面が存在する。
• ホモクリニクス軌道は、鞍点解 $ Q_\epsilon $ に漸近する。$ Q_\epsilon $ は $ I = \omega^2 - \epsilon \frac{1}{2\omega} \sqrt{\beta^2 - \alpha^2 \omega^2} + \cdots $、$ \theta \in (0, \pi/2) $ に位置する。
• codimension-one表面は、方程式系 $ M_k = 0 $ と $ \tilde{d} = 0 $ によって暗黙的に定義され、1モードおよび2モード不安定状態の場合の明示的表現が得られている。
• 1ペアの場合、表面は $ \alpha = 1 / \kappa(\omega) $ で定義され、ここで $ \kappa(\omega) $ は非摂動解およびその微分の積分に依存する。
• 2ペアの場合、表面は $ \alpha = 1 / \tilde{\chi}(\omega, \Delta\rho) $ および $ \beta = \beta(\omega, \Delta\rho) $ で定義され、$ \tilde{\chi} $ および $ \beta $ はMelnikov積分および位相差の関数として表現される。
• 解析により、特異的摂動項 $ \epsilon \partial_x^2 q $ がホモクリニクス軌道の持続性を妨げないことが確認された。条件は $ \alpha\omega < \beta $ および $ \omega \in (1/2, 3/2)/S $ を満たす必要がある。