[论文解读] A Short Course on One-Dimensional Random Schrödinger Operators

David Damanik|arXiv (Cornell University)|Jul 6, 2011

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

一句话总结

本文對一維隨機薛定諤算符提供了全面的介紹，聚焦於透過兩種主要方法實現局域化現象：Fürstenberg 定理（用於李雅普諾夫指數）與 Kunz-Souillard 方法。在一般 i.i.d. 隨機勢下，本文對離散與連續模型均建立了譜局域化與動力局域化，證明了本徵函數的指數衰減與時間演化在適當勢分佈條件下的均勻局域化。

ABSTRACT

We discuss various approaches to localization results for one-dimensional random Schrödinger operators, both discrete and continuum. We focus in particular on the approach based on Fürstenberg's Theorem and the Kunz-Souillard method. These notes are based on a series of five one-hour lectures given at University College London in June/July 2011.

研究动机与目标

• 提供一個自包含的、針對研究生水平的一維隨機薛定諤算符譜局域化與動力局域化的介紹。
• 介紹並比較兩種主要分析方法：Fürstenberg 定理（用於李雅普諾夫指數）與 Kunz-Souillard 方法（用於局域化）。
• 建立隨機薛定諤算符呈現純點譜且本徵函數指數衰減的條件。
• 推導動力局域化結果，顯示所有時間下量子演化的均勻空間局域化。
• 彌補一維情形中可及性論述的不足，此情形較高維度設定而言較少被覆蓋。

提出的方法

• 利用 Fürstenberg 定理證明在離散與連續設定下，轉移矩陣的正李雅普諾夫指數存在。
• 應用 Oseledec-Ruelle 定理，透過勢的機率空間上的遍歷理論，建立李雅普諾夫指數的存在性。
• 採用譜平均技術，將隨機算符的譜測度與自由算符的譜測度聯繫起來，進而實現局域化證明。
• 運用 Kunz-Souillard 方法，透過轉移矩陣的範數與積分核，對時間演化算符的矩陣元素進行有界。
• 應用 RAGE 定理與函數演算，從動力局域化估計推導譜局域化。
• 建立轉移矩陣乘積的算子範數的均勻有界性，顯示在緊緻譜集上與能量無關的衰減速率。

实验结果

研究问题

• RQ1 在何種條件下，一維隨機薛定諤算符會呈現譜局域化且本徵函數指數衰減？
• RQ2 如何利用 Fürstenberg 定理嚴謹地建立隨機薛定諤算符的正李雅普諾夫指數？
• RQ3 能否使用 Kunz-Souillard 方法證明離散與連續模型的動力局域化？
• RQ4 在一維隨機系統中，動力局域化與譜局域化之間的關係為何？
• RQ5 譜與動力性質如何依賴於隨機勢的分佈，特別是針對奇異或緊支集分佈？

主要发现

• 對於具有緊支集分佈的 i.i.d. 隨機勢，李雅普諾夫指數幾乎必然為正，確保在一維設定下實現局域化。
• Kunz-Souillard 方法對時間演化算符的矩陣元素產生均勻有界性，進而導致以空間指數衰減形式呈現的動力局域化。
• 轉移矩陣乘積的平方的算子範數在緊緻譜集上嚴格小於一，進而能實現指數衰減估計。
• 透過 RAGE 定理與函數演算，從動力局域化推導出具有指數衰減本徵函數的譜局域化。
• 對於勢的幾乎所有實現，薛定諤算符具有純點譜，且本徵函數以 $ e^{-(\gamma-\varepsilon)|n|} $ 形式衰減，其中任意 $ \varepsilon > 0 $。
• 結果在離散與連續模型之間均一致成立，兩者均適用相同的基礎機制。