[论文解读] Local large deviations principle for occupation measures of the damped nonlinear wave equation perturbed by a white noise

Davit Martirosyan, Vahagn Nersesyan|arXiv (Cornell University)|May 14, 2015

Advanced Mathematical Physics Problems参考文献 22被引用 3

一句话总结

本文為受空間-時間白噪音擾動的阻尼非線性波方程的職業測度建立了一個局部大偏差原理（LDP）。透過將拋物型PDE的耦合與遍歷性技術推廣至此類問題，證明了具有非平凡速率函數的1級LDP，該速率函數僅在不變測度上非零，從而表明在給定的噪音條件下，對不變測度的高濃度是不可能的。

ABSTRACT

We consider the damped nonlinear wave (NLW) equation driven by a spatially regular white noise. Assuming that the noise is non-degenerate in all Fourier modes, we establish a large deviations principle (LDP) for the occupation measures of the trajectories. The lower bound in the LDP is of a local type, which is related to the weakly dissipative nature of the equation and seems to be new in the context of randomly forced PDE's. The proof is based on an extension of methods developed in \cite{JNPS-2012} and \cite{JNPS-2014} in the case of kick forced dissipative PDE's with parabolic regularisation property such as, for example, the Navier-Stokes system and the complex Ginzburg-Landau equations. We also show that a high concentration towards the stationary measure is impossible, by proving that the rate function that governs the LDP cannot have the trivial form (i.e., vanish on the stationary measure and be infinite elsewhere).

研究动机与目标

• 為受非退化空間-時間白噪音擾動的阻尼非線性波（NLW）方程的職業測度建立大偏差原理（LDP）。
• 將踢動型拋物型PDE（如Navier–Stokes、複Ginzburg–Landau方程）的方法延伸至具有空間正則噪音的雙曲型、弱耗散方程。
• 證明LDP中的速率函數非平凡（即僅在不變測度上為零），暗示對不變測度的高濃度不可能發生。
• 證明局部LDP在不變測度期望值的鄰域內成立，而非在整個相空間上全局成立。

提出的方法

• 適應[JNPS, JNPS14]中的耦合方法，構造兩個軌道的聯合馬氏過程，確保其在分佈上收斂。
• 利用乘法遍歷定理，將LDP與相關馬氏半群的譜性質聯繫起來。
• 應用基佛定理的局部版本，從譜間隔存在性與一致不可約性推導LDP。
• 對噪音係數 $ b_j $ 強制條件，以確保所有傅立葉模態中的空間正則性與非退化性。
• 利用指數緊緻性與正則解的矩估計，控制職業測度的尾部行為。
• 建立一致Feller性質，並使用推廣的馬氏半群處理噪音所引發的非馬氏結構。

实验结果

研究问题

• RQ1 即使缺乏拋物型正則化，能否為受空間-時間白噪音擾動的阻尼非線性波方程的職業測度建立大偏差原理？
• RQ2 LDP中的速率函數是否非平凡？還是可能僅在不變測度上為零，暗示無限濃度？
• RQ3 在缺乏強正則化的弱耗散系統中，LDP的局部性質如何產生？
• RQ4 噪音係數 $ b_j $ 需滿足何種條件，才能確保LDP成立所需的混合性與不可約性？
• RQ5 用於拋物型PDE的耦合方法能否適應具有非退化噪音的雙曲型SPDE？

主要发现

• 為具有空間正則白噪音的阻尼NLW方程的職業測度建立了局部1級大偏差原理。
• 速率函數 $ I^ ho $ 是凸的且非平凡，表示其僅在不變測度上非零，從而排除對不變律的無限濃度。
• LDP在 $ H^{rak{s}+1}(D) \times H^{rak{s}}(D) $ 的有界集上一致成立，且 $ rak{s} > 0 $ 足夠小，確保初始資料的魯棒性。
• 證明依賴於將拋物型PDE中的耦合與遍歷性技術推廣至雙曲型、弱耗散設定。
• 透過能量型不等式與Sobolev嵌入，建立了正則解的指數緊緻性與矩估計。
• 所有傅立葉模態中噪音的非退化性（$ b_j > 0 $）對確保一致不可約性與LDP的有效性至關重要。