Almost sure diffusion approximation in averaging: Direct proofs with rough paths flavors

We consider again the fast–slow motions setups in the continuous time (Formula presented) and the discrete time X_N((n + 1)/N) = X_N(n/N) + N⁻¹/²σ(X_N(n/N))ξ(n) + N⁻¹b(X_N(n/N)), n = 0, 1, . . ., [TN] where σ and b are smooth matrix and vector functions, respectively, ξ is a centered vector stationary stochastic process with weak dependence in time and N is a big parameter. We obtain estimates for the almost sure approximations of the process X_N by certain diffusion process Σ. In [P. K. Friz and Yu. Kifer, Almost sure diffusion approximation in averaging via rough paths theory, Electron. J. Probab. 29 (2024) 1–56] and in other recent papers concerning similar setups the results were obtained relying fully on the rough paths theory. Here we derive our probabilistic results as corollaries of quite general deterministic estimates which are obtained with all details provided following somewhat ideology of the rough paths theory but not relying on this theory per se which should allow a more general readership to follow complete arguments.