Diffusion Approximation for Slow-Fast SDEs with State-Dependent Switching
Xiaobin Sun, Jue Wang, Yingchao Xie
TL;DR
We analyze diffusion approximation for slow-fast SDEs with state-dependent switching, showing the slow component $X^{\varepsilon}$ converges weakly to an averaged diffusion $\bar{X}$ as $\varepsilon\to0$, with coefficients derived via a Poisson equation tied to the fast Markov chain. The approach combines Poisson-equation techniques with martingale problem arguments to prove the limit is the unique solution of $d\bar{X}_t=\bar{B}(\bar{X}_t)dt+\bar{\Sigma}^{1/2}(\bar{X}_t)d\bar{W}_t$, and establishes a weak convergence rate of $O(\varepsilon^{1/2})$ for smooth test functions, with a 1D example showing optimality. The work also provides a priori moment bounds and demonstrates well-posedness for the averaged equation, along with tightness and martingale-problem-based proofs for convergence in the path space. Altogether, it clarifies how state-dependent switching interacts with homogenization to modify drift and diffusion in the diffusion-approximation limit, advancing multi-scale analysis for Markov-switching systems.
Abstract
In this paper, we study the diffusion approximation for slow-fast stochastic differential equations with state-dependent switching, where the slow component $X^{\varepsilon}$ is the solution of a stochastic differential equation with additional homogenization term, while the fast component $α^{\varepsilon}$ is a switching process. We first prove the weak convergence of $\{X^\varepsilon\}_{0<\varepsilon\leq 1}$ to $\bar{X}$ in the space of continuous functions, as $\varepsilon\rightarrow 0$. Using the martingale problem approach and Poisson equation associated with a Markov chain, we identify this weak limiting process as the unique solution $\bar{X}$ of a new stochastic differential equation, which has new drift and diffusion terms that differ from those in the original equation. Next, we prove the order $1/2$ of weak convergence of $X^{\varepsilon}_t$ to $\bar{X}_t$ by applying suitable test functions $φ$, for any $t\in [0, T]$. Additionally, we provide an example to illustrate that the order we achieve is optimal.
