[論文レビュー] Uniform positivity of the Lyapunov exponent for monotone potentials generated by the doubling map

Zhenghe Zhang|arXiv (Cornell University)|Oct 7, 2016

Spectral Theory in Mathematical Physics参考文献 9被引用数 5

ひとこと要約

本稿は、倍加写像によって生成される $C^1$ 単調ポテンシャルを有するシュレーディンガー作用素に対して、リャプノフ指数の一様正性を確立する。大な結合定数 $\lambda$ に対して、すべての実エネルギー $E$ に対して $L(E;\lambda) > \log\lambda - C_0$ が成り立ち、これは強い動的局在性を示唆する。この結果は、倍加写像による強い混合性とポテンシャルの微分の一様下界に起因する双曲性に依存している。

ABSTRACT

We show that for any doubling map generated $C^1$ monotone potential with derivative uniformly bounded away from zero, the Lyapunov exponent of the associated Schrödinger operators is uniformly positive for all energies provided the coupling constant is large.

研究の動機と目的

• 倍加写像によって生成される $C^1$ 単調ポテンシャルを有するシュレーディンガー作用素に対して、リャプノフ指数の一様正性を確立すること。
• 結合定数 $\lambda$ が十分に大きいとき、すべてのエネルギーにおいてリャプノフ指数がゼロから一様に離れていることを示すこと。
• 独立同分布や準周期的系に比べて、道具が限られる中程度のランダムネスを有する系における動的局在性の理解を拡張すること。
• 倍加写像のエルゴード性および混合性の性質を用いて、非準周期的・非独立同分布な設定におけるリャプノフ指数の分析のための厳密な枠組みを提供すること。

提案手法

• シュレーディンガーのコーシー写像 $A^{(E-\lambda v)}(x) = \begin{pmatrix} E - \lambda v(x) & -1 \\ 1 & 0 \end{pmatrix}$ を形式化し、これはシュレーディンガー作用素の伝搬行列を支配する。
• 部分加法的エルゴード定理を用いて、リャプノフ指数を $L(E;\lambda) = \lim_{n \to \infty} \frac{1}{n} \int_{\mathbb{R}/\mathbb{Z}} \log \|A_n^{(E-\lambda v)}(x)\| \, dx$ として定義する。
• ベースの力学系として倍加写像 $T(x) = 2x$ を用い、その強い混合性と双曲性を活用して伝搬行列の成長を制御する。
• ポテンシャルに以下の条件を課す：$v \in C^1((0,1))$、$\|v\|_{C^1} < C$、および $\inf |v'(x)| > c > 0$ であり、これらは単調性と非退化性を保証する。
• 反復コーシー積のノルムに関する推定を用いて、リャプノフ指数の下界を一様に確立し、$L(E;\lambda) > \log\lambda - C_0$ を示す。
• $C^1$ パerturbationに対してこの議論が安定であることを利用し、$\lambda \to \infty$ における漸近的解析によって、極限的コーシーの振る舞いに帰着する。

実験結果

リサーチクエスチョン

• RQ1 大な結合定数における倍加写像下で、単調な $C^1$ ポテンシャルに対して、リャプノフ指数の一様正性を確立できるか？
• RQ2 倍加写像の強い混合性が、解析的でない系においてもシュレーディンガーコーシー写像における一様双曲性を保証するのに十分か？
• RQ3 一般の $C^1$ 単調ポテンシャルに対して、ヘルマンの部分超調和トリックが、三角多項式を超える範囲でなぜ失敗するのか？
• RQ4 非準周期的・非独立同分布な設定で、中程度のランダムネスを有する系において、リャプノフ指数がどの程度ゼロから一様に離れているか？
• RQ5 解析接続における虚部の拡大が、倍加写像のように作用する系において、一様正性を保証する強固なメカニズムが存在するか？

主な発見

• 任意の $\mathbb{R}/\mathbb{Z}$ 上の $C^1$ 単調ポテンシャル $v$ に対して、$|v'|$ の微分がゼロから一様に離れているとき、すべての $E \in \mathbb{R}$ およびすべての $\lambda > 0$ に対して $L(E;\lambda) > \log\lambda - C_0$ が成り立つ。
• 定数 $C_0 = C_0(v)$ は $C^1$ ノルムと $|v'|$ の下界にのみ依存し、エネルギーにわたる一様性を保証する。
• 結合定数 $\lambda$ が十分に大きいとき、すべてのエネルギーに対してリャプノフ指数の一様正性が同時に成立し、これは強い動的局在性を示唆する。
• 準周期的系や三角多項式のケースで用いられる部分超調和性の議論が崩壊するにもかかわらず、倍加写像の非保存的解析接続性のおかげで、この結果は成立する。
• この証明は $C^1$ パerturbationに対して安定であり、広範な単調 $C^1$ ポテンシャルのクラスに対して結果が頑健であることを示している。
• 倍加写像の強い混合性は、解析的でない系においても一様双曲性を実現可能にし、これにより準周期的系とは異なり、解析性や回転対称性に依存しない結果が得られる。