[論文レビュー] Almost reducibility and absolute continuity I

Artur Avila|arXiv (Cornell University)|Jun 3, 2010

Spectral Theory in Mathematical Physics参考文献 23被引用数 56

ひとこと要約

本稿は、指数的リウヴィル型周波数を持つ1周波数解析的SL(2,R)コホノロジーに対して、ほぼ還元可能性予想（Almost Reducibility Conjecture）を確立し、この範囲におけるすべての部分的臨界コホノロジーがほぼ還元可能であることを証明する。この結果と先行研究を組み合わせることで、周波数に依存せず、定数に近いすべてのコホノロジーがほぼ還元可能であることが示され、1周波数シュレーディンガー作用素の絶対連続スペクトルを解析する上で基盤的段階が得られる。

ABSTRACT

We consider one-frequency analytic SL(2,R) cocycles. Our main result establishes the Almost Reducibility Conjecture in the case of exponentially Liouville frequencies. Together with our earlier work, this implies that all cocycles close to constant are almost reducible, independent of the frequency. In our forthcoming work, we discuss applications to the analysis of the absolutely continuous spectrum of one-frequency Schrodinger operators.

研究の動機と目的

• 1周波数解析的SL(2,R)コホノロジーに対して、指数的リウヴィル周波数の下でAlmost Reducibility Conjecture (ARC) を確立すること。
• 指数的リウヴィル周波数において、部分的臨界性がほぼ還元可能性を意味することを示し、定数に近いコホノロジーの周辺における局所理論の適用範囲を拡張すること。
• 先行研究と組み合わせることで、周波数に依存せず、すべての定数に近いコホノロジーがほぼ還元可能であることを示す基盤的結果を提供すること。
• 部分的臨界性、超臨界性、臨界性による1周波数コホノロジーの分類という広範なプログラムを支援し、ほぼ還元可能性を主要な道具として用いること。

提案手法

• コホノロジー $ (\alpha, A) $ を、固定された帯域 $ \{ |\Im z| < \epsilon \} $ に一様に正則拡張を持つ解析的共役 $ B^{(n)} $ の系列により、定数行列に uniformly 収束する系列に変換する。
• 摂動の大きさと周期的系列の離散フーリエ変換におけるフーリエ係数の減衰を評価する、洗練されたKAM型反復スキームを適用する。
• 凸性および最大モジュラス原理を用いて、$ L^2 $-ノルムと帯域内での減衰を用いて解析関数の大きさを制御する、鍵となる補題（補題4.5）を用いる。
• 周期 $ q $ におけるモノドロミー行列 $ A_q $ を分析し、$ A_q $ が $ \pm \text{id} $ に近いかどうかに応じて場合分けを行う。行列 $ B $ の構成に際して、行列 $ W $ の行列式 $ w = \det W $ を用いる。
• コホノロジー方程式の手法を用い、近似解を構成し、$ \|A_q \mp \text{id}\|_{\epsilon_1} $ が小さい場合には、スペクトルギャップ推定と行列式の制御により共役が構成可能であることを用いる。
• パーサバルの定理を用いて、共役された行列の $ L^2 $-ノルムと $ \|A_s(x)\| $ の平均を関連付け、ある点でノルムが大きく保たれることを保証し、これが反復の過程で不可欠であることを示す。

実験結果

リサーチクエスチョン

• RQ1 指数的リウヴィル周波数を持つ1周波数解析的SL(2,R)コホノロジーにおいて、部分的臨界性はほぼ還元可能性を意味するか？
• RQ2 ディオファントス的または弱いディオファントス的周波数条件が成り立たない状況下でも、Almost Reducibility Conjecture を確立できるか？
• RQ3 定数に近いコホノロジーの周辺における局所理論は、どのようにしてグローバルな部分的臨界的領域へ拡張できるか？
• RQ4 周期 $ q $ におけるモノドロミー行列 $ A_q $ の振る舞いは、定数行列への共役可能性にどのように影響するか？

主な発見

• 任意の指数的リウヴィル周波数 $ \alpha $ に対して、すべての部分的臨界コホノロジー $ (\alpha, A) $ はほぼ還元可能である。これは、固定された帯域内で一様に収束する解析的 $ B^{(n)} $ を用いた共役により、定数行列に近づくことを意味する。
• この結果と先行研究（非指数的リウヴィル周波数）を組み合わせることで、コホノロジーが定数に近い場合、周波数に依存せずほぼ還元可能であることが示され、系理1.2で示される。
• ほぼ還元性は、空間 $ (\mathbb{R} \setminus \mathbb{Q}) \times C^{\omega}(\mathbb{R}/\mathbb{Z}, \mathrm{SL}(2,\mathbb{R})) $ において開集合であることが、系理1.3で示された。
• $ A_q $ が $ \pm \text{id} $ に近い場合、行列式 $ w = \det W $ を用いて共役行列 $ B $ を構成でき、$ \|w - \hat{w}_0\|_{\epsilon_1'} \leq e^{-C^{-1}C_0\delta_1 q} $ を満たす。この不等式により、共役の大きさが制御される。
• $ \|A_q \mp \text{id}\|_{\epsilon_1} \geq e^{-C_0\delta_1 q} $ である場合には、補題4.6を直接適用することで、指数的減衰推定を伴う所望の共役が得られる。
• 本手法により、共役列 $ B^{(n)} $ とそれによって生じる摂動の両方について一様な境界が得られ、$ \|B^{(n)}\|_{\epsilon} \leq e^{CC_4\delta_1 q} $ を満たす。この不等式により、帯域内で定数行列への収束が保証される。