[論文レビュー] Response solutions for arbitrary quasi-periodic perturbations with Bryuno frequency vector

Livia Corsi, Guido Gentile|arXiv (Cornell University)|Nov 3, 2010

Quantum chaos and dynamical systems参考文献 32被引用数 12

ひとこと要約

本稿は、Bryuno周波数ベクトルを有する任意の小さな準周期的外力下での1次元回転子に対して、図式的自己エネルギー縮約群的手法を用いて、少なくとも1つの応答解の存在を確立する。この手法は、先行研究で一般的に仮定される非退化条件を回避し、フェ Feynman 的な図式間の恒等式を用いて摂動級数を再びまとめ、弱いディオファントス的条件の下で収束を証明する。

ABSTRACT

We study the problem of existence of response solutions for a real-analytic one-dimensional system, consisting of a rotator subjected to a small quasi-periodic forcing. We prove that at least one response solution always exists, without any assumption on the forcing besides smallness and analyticity. This strengthens the results available in the literature, where generic non-degeneracy conditions are assumed. The proof is based on a diagrammatic formalism and relies on renormalisation group techniques, which exploit the formal analogy with problems of quantum field theory; a crucial role is played by remarkable identities between classes of diagrams.

研究の動機と目的

• 1次元回転子に対する任意の小さな準周期的摂動下で、外力の周波数ベクトルと同一の周波数を持つ準周期的解（応答解）の存在を確立すること。
• KAM型定理において一般的に要求される、一般的な非退化条件を排除すること。
• 標準的なディオファントス的条件よりも弱いBryuno周波数ベクトルを有する系に対しても、応答解の存在が成り立つように適用範囲を拡張すること。
• 反復的スキーム（例：KAM）を避ける、自己エネルギー縮約群技法と図式的再まとめに基づく摂動的技法を開発すること。
• 動的系の場の理論的類似において、解が1点のシュヴィンガー関数として構成可能であることを示すこと。図式クラス間の恒等式を活用する。

提案手法

• 非摂動系が $ d $ 個の角座標で等時的である $ d+1 $ 個の自由度を持つハミルトニアン系として定式化し、摂動は実解析的かつ準周期的であると仮定する。
• 量子場理論にインspiredされた図式的形式主義を適用し、摂動級数をプロパゲーターと頂点を持つフェ Feynman 的な図式の和として扱う。
• 鋭いスケール分解ではなく滑らかなスケール分解を用いて、プロパゲーター $ \tilde{\rho}_n $, $ \tilde{\rho}_n^{(1)} $, および $ \tilde{\rho}_n^{(2)} $ を定義し、マルチスケール解析と小さな分母の制御を可能にする。
• 繰り返し微分を用いた再帰的構造を導入し、スケールを跨いで寄与を追跡するためのプロパゲーターおよび頂点関数の導関数を計算する。
• 特に式 (A.16)、(A.18)、(A.22) に現れる図式クラス間の重要な恒等式を確立し、発散項のキャンセルを可能にし、級数の収束を保証する。
• 周波数ベクトル $ \boldsymbol{\nu} $ におけるBryuno条件を用いて、得られる関数のノルムをバウンドすることで、摂動級数の収束を証明する。これにより、小さな分母が制御される。

実験結果

リサーチクエスチョン

• RQ1 非退化条件を課さない準周期的摂動下でも、回転子に対する応答解が存在するか？
• RQ2 標準的なディオファントス的条件よりも弱いBryuno条件を満たす周波数ベクトルに対して、そのような解の存在を証明できるか？
• RQ3 非退化性が欠如する状況下でも、自己エネルギー縮約群技法と図式的恒等式に基づく摂動的技法が、複雑に絡んだ小さな分母問題を克服できるか？
• RQ4 解析的でない摂動パラメータに対しても、解を場の理論的類似における1点のシュヴィンガー関数として構成可能か？
• RQ5 非退化性が欠如する状況下で、異なる図式クラス間の図式的恒等式が、摂動級数の収束にどのように寄与するか？

主な発見

• Bryuno周波数ベクトル $ \boldsymbol{\nu} $ を有する系 (1.1) に対して、準周期的摂動に非退化条件を課さずに、少なくとも1つの応答解が存在する。
• 非退化仮定が欠如しているにもかかわらず、解は摂動パラメータ $ \boldsymbol{\nu} $ に関して解析的である。これは、従来の結果とは対照的であり、その場合解析的でないことが示されていた。
• 証明は、図式クラス間の恒等式が小さな分母からの発散寄与をキャンセルすることを保証する、画期的な図式的自己エネルギー縮約群手法に依拠する。
• この手法は、Bryuno条件を用いて解成分のノルムをバウンドすることで、摂動級数の収束を確立する。Bryuno条件は標準的なディオファントス的条件よりも弱い。
• 解は、ユークリッド場の理論における1点のシュヴィンガー関数として解釈可能であり、動的系に対する場の理論的類似を提供する。
• 結果は実解析的摂動に対して成り立ち、非凸な非摂動ハミルトニアンを有する $ d+1 $ 自由度系へも拡張可能である。