[论文解读] Borel Cantelli Lemmas and Extreme Value Theory for Geometric Lorenz Models

Zhang Li-cheng|arXiv (Cornell University)|Apr 7, 2014

Mathematical Dynamics and Fractals参考文献 11被引用 6

一句话总结

本文針對幾何洛倫茲映射及其相關流，建立強大數律與極值定律，利用混合度衰減與首次返回時間分析，證明收斂至類型 I 極值分佈。結果顯示，在洛倫茲動力系統支配的混沌系統中，稀有事件在適當歸一化下滿足統計極限定律。

ABSTRACT

We establish dynamical Borel-Cantelli lemmas for nested balls and rectangles centered at generic points in the setting of geometric Lorenz maps. We also establish extreme value statistics for observations maximized at generic points for geometric Lorenz maps and the associated flow.

研究动机与目标

• 將經典機率極限定律——特別是大數律與極值理論——推廣至幾何洛倫茲映射與流的確定性設定。
• 透過研究吸引子上一般點處觀測值的最大化，分析混沌系統中稀有事件的統計行為。
• 建立首次返回時間與觀測函數極值收斂至廣義極值分佈的條件。
• 證明幾何洛倫茲系統中，以一般點為中心的嵌套球與長方形滿足強大數律性質。
• 透過懸垂構造與不變測度，將離散映射的結果推廣至連續懸垂流。

提出的方法

• 透過線性流在 $ x=0 $ 處的不連續性，構造懸垂的皮亞諾首度返回映射 $ F: \Omega^* \to \Omega $，建立幾何洛倫茲模型。
• 利用楊塔樓結構與局部乘積結構分析系統的混合性與混合度衰減。
• 應用 Gal-Koksma 定理，控制首次返回時間上指示函數部分和的變異數，建立 (SP) 性質。
• 分析至截面 $ \Omega $ 的首次返回時間 $ h(p) $，其非可積，並在 $ \Omega^h $ 上構造懸垂流 $ \tilde{f}_t $，配備度量 $ d_{\Omega^h} $。
• 定義具有 $ x_0 $ 處對數奇異性的觀測函數 $ \varphi(x) = -\log d_{\Omega^h}(x, x_0) $，並研究其時間上的最大值。
• 在歸一化序列 $ a_n, b_n $ 的條件下，證明歸一化最大值 $ a_N(\Phi_N - b_N) \to e^{-e^{-v}} $ 收斂至類型 I 極值定律。

实验结果

研究问题

• RQ1 在幾何洛倫茲映射中，以一般點為中心的嵌套球與長方形在何種條件下滿足強大數律？
• RQ2 觀測函數在幾何洛倫茲映射及其相關流中於一般點處取最大值時，極值定律是否成立？
• RQ3 歸一化常數 $ a_n $ 與 $ b_n $ 如何漸近行為，以確保收斂至非退化極值分佈？
• RQ4 非可積的首次返回時間 $ h(p) $ 在連續流極值定律推導中扮演何種角色？
• RQ5 Gal-Koksma 定理能否應用於控制洛倫茲映射等非均勻雙曲系統中首次返回指示函數的變異數？

主要发现

• 以一般點為中心的幾何洛倫茲映射中，嵌套球與長方形滿足強大數律性質，證明依賴混合度衰減與 (SP) 條件。
• 對於離散洛倫茲映射 $ F $，觀測函數 $ \varphi $ 的最大值 $ \Phi_N $ 滿足類型 I 極值定律：在適當歸一化下 $ a_N(\Phi_N - b_N) \to e^{-e^{-v}} $。
• 透過懸垂構造，建立連續流 $ f_t $ 的極值定律，顯示 $ a_{\lfloor T/\bar{h}\rfloor}(\varphi_T - b_{\lfloor T/\bar{h}\rfloor}) \to e^{-e^{-v}} $。
• 歸一化序列 $ a_n $ 與 $ b_n $ 滿足 $ \lim_{\epsilon \to 0} \limsup_{n \to \infty} a_{[n+\epsilon n]} / a_n = 1 $ 與 $ |b_{[n+\epsilon n]} - b_n| \to 0 $，確保極限定律的穩定性。
• 證明依賴於首次返回時間 $ h $ 的非可積性，透過 [10, 子引理 4.18] 處理，並應用 Gal-Koksma 定理控制首次返回指示函數和的變異數。
• 關鍵技術步驟為控制共變異數和 $ \sum_{j=i+1}^{i+(\log i)^5} [\mu(A_i \cap F^{j-i}A_j) - \mu(A_i)\mu(A_j)] \leq \tilde{C}\mu(A_i) $，此式確認了 (SP) 性質。