[论文解读] Deterministic homogenization under optimal moment assumptions for fast-slow systems. Part 2

Ilya Chevyrev, Peter K. Friz+3 more|Edinburgh Research Explorer|Mar 25, 2019

Mathematical Dynamics and Fractals参考文献 22被引用 8

一句话总结

该论文利用p-变分粗糙路径理论，为离散时间快慢系统确定了最优矩假设，证明了慢过程弱收敛于伊tô扩散过程，且漂移和扩散系数可显式计算。该研究将先前的连续时间结果扩展至离散时间，并通过精细的粗糙路径技术，将所需矩从6+ε降低至2+ε，实现了最优矩条件。

ABSTRACT

We consider deterministic homogenization for discrete-time fast-slow systems of the form $$ X_{k+1} = X_k + n^{-1}a_n(X_k,Y_k) + n^{-1/2}b_n(X_k,Y_k)\;, \quad Y_{k+1} = T_nY_k\;$$ and give conditions under which the dynamics of the slow equations converge weakly to an Itô diffusion $X$ as $n o\infty$. The drift and diffusion coefficients of the limiting stochastic differential equation satisfied by $X$ are given explicitly. This extends the results of [Kelly-Melbourne, J. Funct. Anal. 272 (2017) 4063--4102] from the continuous-time case to the discrete-time case. Moreover, our methods (càdlàg $p$-variation rough paths) work under optimal moment assumptions. Combined with parallel developments on martingale approximations for families of nonuniformly expanding maps in Part 1 by Korepanov, Kosloff & Melbourne, we obtain optimal homogenization results when $T_n$ is such a family of maps.

研究动机与目标

• 在最小矩假设下，建立离散时间快慢系统弱收敛于伊tô扩散过程的充分条件。
• 将确定性同伦化结果从连续时间扩展至离散时间动力系统，克服先前对漂移和扩散系数形式的限制。
• 通过采用p-变分粗糙路径理论而非α-霍尔德拓扑，实现最优矩条件（仅需2+ε矩）。
• 将快动态族T_n与初始测度λ_n纳入框架，使方法适用于非一致双曲系统。
• 提供同伦化SDE极限漂移与扩散系数的显式公式。

提出的方法

• 利用p-变分粗糙路径拓扑处理离散时间快慢系统中的不规则路径，实现在最优矩界下的收敛性。
• 将粗糙路径理论应用于右连左极路径，并结合Friz & Hairer（2011）的方法，将其推广至巴拿赫空间中的二级粗糙路径。
• 对快动态T_n应用弱不变性原理，其在第一部分中已针对非一致膨胀映射得到验证。
• 利用向前（伊tô）粗糙微分方程在带跳情况下的稳定性结果，并将其推广至巴拿赫空间值路径。
• 应用Garsia–Rodemich–Rumsey引理，控制粗糙路径提升中迭代积分的霍尔德型范数。
• 通过归纳法与霍尔德正则性与p-变分正则性之间的插值，建立对迭代积分p-变分的控制。

实验结果

研究问题

• RQ1 在最优矩假设下，能否严格建立离散时间快慢系统确定性同伦化的收敛性？
• RQ2 当快动态为非一致双曲系统时，p-变分粗糙路径理论是否允许收敛于漂移和扩散系数显式可算的伊tô扩散过程？
• RQ3 在同伦化框架中，能否将中心极限定理的矩要求从6+ε降低至2+ε？
• RQ4 如何将快动态族T_n与初始测度λ_n纳入同伦化框架？
• RQ5 极限SDE的漂移与扩散系数在原始系统系数与不变测度下的精确形式为何？

主要发现

• 慢过程x_n(t) = X_{⌊nt⌋}^n在最优矩假设下依分布收敛于伊tôSDE dX = ã(X)dt + σ(X)dB的解。
• 极限漂移ã(x)与扩散σ(x)显式计算为快动态不变测度上的时间平均。
• 该方法实现了最优矩条件：仅需2+ε矩，优于先前要求6+ε矩的结果。
• 收敛性对一般系数函数a_n与b_n成立，不局限于a(x)或b(x)v(y)等可分形式。
• 该框架适用于非一致双曲系统族，如间歇映射（当γ < 1/2时），在弱不变性原理得到验证的前提下成立。
• 采用p-变分粗糙路径拓扑可在弱于α-霍尔德正则性的条件下实现收敛，与经典多斯克型标度极限一致。