[论文解读] Effective Diffusions with Intertwined Structures

Xue-Mei Li|arXiv (Cornell University)|Apr 15, 2012

Geometric Analysis and Curvature Flows参考文献 21被引用 9

一句话总结

本文研究了具有交织扩散结构的流形上随机微分方程的奇异摄动问题，重点关注当快速垂直扩散被缩放至无穷大时的均质化极限。研究证明，基流形上的慢速运动收敛于一个具有经平均纤维分布修正生成元的扩散过程，从而为通过霍普夫纤维丛构造球面上的布朗运动以及测地线流均质化提供了严格的理论框架。

ABSTRACT

Let p:N->M be a surjective map of smooth manifolds. We are concerned with singular perturbation problems associated to a pair of second order positive definite differential operators with no zero order terms, that are intertwined by p. We discuss the associated random perturbations of stochastic differential equations and present a number of examples including perturbation to geodesic flows and construction of a Brownian motion on S^2 through homogenisation of SDE's on the Hopf fibration.

研究动机与目标

• 分析流形上扩散过程的奇异摄动，其中存在一个满射映射 p:N→M，使得 N 和 M 上的扩散算子之间形成交织结构。
• 理解当缩放参数 ε→0 时，具有快速垂直分量的 SDE 解的渐近行为。
• 通过在 p 的纤维上取平均，推导出基流形 M 上的极限有效扩散。
• 构造显式例子，包括通过霍普夫纤维丛上均质化构造 S² 上的布朗运动。
• 建立慢过程收敛于 M 上扩散过程的结论，其生成元由水平提升和纤维上的不变测度决定。

提出的方法

• 使用扩散算子 B（在 N 上）与 A（在 M 上）之间的交织概念，满足对所有 f∈C²(M)，有 B(f∘p) = (Af)∘p。
• 通过一个唯一的光滑提升映射 h_u 定义基算子 A 到 N 上的水平提升 A^H，该映射尊重微分 T_u p。
• 采用分解 B = A^H + B^v，其中 B^v 是纤维 p⁻¹(x) 上的垂直扩散算子，并假设 B^v 是椭圆的。
• 在生成元 L^ε = (1/ε)B^v + A^H 中应用 ε→0 的缩放极限，以研究 M 上的慢速运动。
• 通过在每个纤维上对慢速运动系数进行不变测度平均，推导出 M 上的有效生成元，使用公式 a_{i,j}([u]) = ∫σ_k^i σ_k^j dμ_{P(u)}，并引入涉及李导数的校正漂移项。
• 将该理论应用于主丛和标架丛，特别是霍普夫纤维丛 S³→S²，以构造 S² 上的布朗运动作为 S³ 上 SDE 的均质化极限。

实验结果

研究问题

• RQ1 当纤维丛 N 上的扩散过程的垂直分量被加速至无穷大（ε→0）时，其极限行为是什么？
• RQ2 在何种条件下，基流形 M 上的慢速运动收敛于具有明确定义生成元的扩散过程？
• RQ3 如何从 N 上原始 SDE 的水平与垂直分量显式计算出 M 上的有效生成元？
• RQ4 S² 上的布朗运动能否作为霍普夫纤维丛 S³ 上 SDE 的均质化极限来构造？
• RQ5 全微分丛和纤维上的不变测度在决定 M 上有效动力学方面起什么作用？

主要发现

• 基流形 M 上的慢过程 [u_t^ε] 弱收敛于一个生成元为 L 的扩散过程，其中 Lf([u]) = ∑_{i,j≥n₀+1} a_{i,j}([u]) ∇df(A_j^*, A_i^*) + df(Z([u]))，a_{i,j} 为纤维上平均的二次变差。
• 有效漂移项 Z 通过一个涉及系数李导数的项进行校正，具体为 ∫(σ₀^j + ½∑_k dσ_k^j(Z_k)) dμ_{P(u)}。
• 对于霍普夫纤维丛 S³→S²，对 S³ 上具有快速垂直运动的 SDE 进行均质化，其极限为 S² 上的标准布朗运动。
• 通过紧致性与子序列收敛性建立收敛性，极限由 M 上的平均生成元唯一确定。
• 该理论适用于一般主丛和标架丛，表明 M 上的有效动力学仅依赖于水平提升和纤维上的不变测度。
• 在曲率为零的情况下（例如单连通基上的平凡联络），标架丛为积丛，此时均质化产生 M 上的标准扩散。