[論文レビュー] Uniform hyperbolicity and its relation with spectral analysis of 1D discrete Schrödinger Operators

Zhenghe Zhang|arXiv (Cornell University)|May 18, 2013

Mathematical Analysis and Transform Methods参考文献 17被引用数 10

ひとこと要約

本稿は、一様双曲的SL(2,R)-値列の4つの記述の同値性について、自己完結的で明快な証明を提供し、1次元離散シュレーディンガー作用素のスペクトル解析におけるその中心的役割を確立する。一様双曲性がスペクトルギャップを生じることの証明を2通り提示する。1つはジョーンソンの元来の手法に基づくもので、もう1つはコームブス＝トーマス型の推移的減衰推定に基づくものである。また、一様双曲性を用いてアバランチ・プリンシプルを精緻化する。

ABSTRACT

This paper intends to provide new, simple, and self-contained proofs of the equivalence of various different descriptions of the uniformly hyperbolic $\mathrm{SL}(2,\mathbb R)$ sequences. While in the scenario of the Schrödinger cocyles, they may in turn be applied to give new and simple proofs of theorems regarding their relation with the spectral analysis of one-dimensional discrete Schrödinger operators. Concretely, this paper gives four different descriptions of uniformly hyperbolic sequences together with the detailed proofs of their equivalence. It provides concise and self-contained proof of the Johnson's Theorem [Jo], both for sequence and dynamically defined potentials. In particular, we give two different proofs of the direction `uniform hyperbolicity away from the spectrum', of which one is the standard argument in the spirit of Russell Johnson's original proof and the other involves Combes-Thomas type of estimate [CT]. Finally, the relation between the Avalanche Principle, discovered by Goldstein-Schlag [GS], and the uniformly hyperbolic sequence is explored which yields a simple proof and a better version of the Avalanche Principle. Many ingredients of the proofs in this paper are new, in particular the use of asymptotic stable and unstable directions, are of independent interest and have been applied to many other related problems.

研究の動機と目的

• 一様双曲的SL(2,R)列の4つの異なる特徴づけの同値性を、自己完結的かつアクセス可能な形で確立すること。
• 1次元離散シュレーディンガー作用素の文脈において、系列型および力学的定義のポテンシャルに対するジョーンソンの定理の簡略化および新規証明を提供すること。
• アバランチ・プリンシプルと一様双曲性との関係を検討し、より強力で明快な形の原理を得ること。
• 漸近的安定・不安定方向を導入し、シュレーディンガー作用素のスペクトル解析における強力な新規ツールとして用いること。

提案手法

• 本稿は、一様双曲的SL(2,R)列の4つの同等な記述を導入する。これには、移行行列の成長条件や安定・不安定方向の角度分離が含まれる。
• 恒等式 $ \log\|A_n(j)\| = \sum_{k=0}^{n-1} \log\|A(j+k)\| + \sum_{k=1}^{n-1} \log\frac{\|A(j+k)A_k(j)\|}{\|A(j+k)\|\|A_k(j)\|} $ を用いた移行行列の再帰的分解により、正確なノルム推定が可能になる。
• 一様双曲性がスペクトルギャップを導く証明には2通りのアプローチを採用する。1つはラッセル・ジョーンソンの元来の議論に従うもので、もう1つはコームブス＝トーマス型の指数的減衰推定に基づくものである。
• 漸近的安定・不安定方向を定義し、角度分離を制御することで、$ \|A_n(j)\| > c(\sqrt{\lambda})^n $ を用いた一様な下界が得られる。
• 一様双曲性を活用することで、アバランチ・プリンシプルを再導出し、強化する。具体的には、$ \left| \log\|A_n(j)\| - \sum_{k=0}^{n-1} \log\|A(j+k)\| \right| \leq Cn/\lambda $ が $ \lambda $ が十分に大きいとき成り立つことを示す。
• 角度分離の推定と、$ |\sin[s(j+k) - u(j+k)]| $ を含む三角不等式に依拠し、$ C\lambda^{-1/2} $ の境界で制御される。

実験結果

リサーチクエスチョン

• RQ1 一様双曲的SL(2,R)列の4つの同等な特徴づけは何か。それらを自己完結的に同値性を示すにはどうすればよいか？
• RQ2 シュレーディンガーコアキューブの一分離性がリゾルベント集合におけるスペクトルの不在をどのように導くのか。この含意を示す2通りの証明は何か？
• RQ3 アバランチ・プリンシプルは、一様双曲的列の構造からどのように精緻化されたり、導出されたりするのか？
• RQ4 漸近的安定・不安定方向は、1次元離散シュレーディンガー作用素のスペクトル解析にどのように寄与するのか？

主な発見

• 本稿は、ノルム成長、角度分離、スペクトルギャップ条件を含む、一様双曲的SL(2,R)列の4つの記述の同値性を確立する。
• 系列型ポテンシャルに対するジョーンソンの定理の新証明を提供し、コアキューブの一様双曲性が $ E \notin \sigma(H_v) $ を導くことを示す。また、コームブス＝トーマス推定の精緻化版を提示する。
• 「一様双曲性がスペクトルギャップを導く」という含意は、2通りの方法で証明される。1つはジョーンソンの手法、もう1つはコームブス＝トーマス型推定に基づくもので、両者とも $ \lambda > 1 $ のとき $ \|A_n(j)\| > c(\sqrt{\lambda})^n $ を得る。
• 漸近的安定・不安定方向は、$ |u_k(j+k) - u(j+k)| \leq C\lambda^{-3/2} $ を満たすことが示され、行列ノルムと角度分離の精密な制御が可能になる。
• アバランチ・プリンシプルは再導出され、強化され、対数ノルムのずれが $ Cn/\lambda $ で有界であることが示される。これは元来の定式化を改善する。
• 本稿は、一様双曲性を直接的に関連させることで、アバランチ・プリンシプルのより良い形を得ており、移行行列ノルムの推定をより鋭くしている。