Strong diffusion approximation in averaging with dynamical systems fast motion

preprint2022arXivOpen access

Abstract

The paper deals with the fast-slow motions setups in the continuous time dX(t)dt=1εB(Xε(t),ξ(t/ε2))+b(Xε(t), ξ(t/ε2)), t∈[0,T]\frac {dX^(t)}{dt}=\frac 1\varepsilon B(X^\varepsilon(t),ξ(t/\varepsilon^2))+b(X^\varepsilon(t),\,ξ(t/\varepsilon^2)),\, t\in [0,T] and the discrete time Xε((n+1)ε2)=Xε(nε2)+εB(Xε(nε2),ξ(n))+ε2b(Xε(nε2),ξ(n))X^\varepsilon((n+1)\varepsilon^2)=X^\varepsilon(n\varepsilon^2)+\varepsilon B(X^\varepsilon(n\varepsilon^2),ξ(n)) +\varepsilon^2 b(X^\varepsilon(n\varepsilon^2),ξ(n)), n=0,1,...,[T/ε2]n=0,1,...,[T/\varepsilon^2] where ΣΣ and bb are smooth vector functions and ξξ is a stationary vector stochastic process such that Eξ(0)=0Eξ(0)=0 for all x∈Rdx\in\mathbb{R}^d. Unlike \cite{Ki20} the assumptions imposed on the process ξξ allow applications to a wide class of observables gg in the dynamical systems setup so that ξξ can be taken in the form ξ(t)=g(Ftξ(0))ξ(t)=g(F^tξ(0)) or ξ(n)=g(Fnξ(0))ξ(n)=g(F^nξ(0)) where FF is either a flow or a diffeomorphism with some hyperbolicity and gg is a vector function. In this paper we show that both XεX^\varepsilon and a family of diffusions ΞεΞ^\varepsilon can be redefined on a common sufficiently rich probability space so that Esup⁡0≤t≤T∣Xε(t)−Ξε(t)∣p≤Cεδ, p≥1E\sup_{0\leq t\leq T}|X^\varepsilon(t)-Ξ^\varepsilon(t)|^{p}\leq C\varepsilon^δ,\, p\geq 1 for some C,δ>0C,δ>0 and all ε>0\varepsilon>0, where all Ξε, ε>0Ξ^\varepsilon,\, \varepsilon>0 have the same diffusion coefficients but underlying Brownian motions may change with ε\varepsilon.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.