Search arXivSearch

arXiv · 2412.13430

Asymptotic limit of fully coupled multi-scale non-linear stochastic system: the non-autonomous approximation method

Abstract

In this paper, we develop a novel argument, the non-autonomous approximation method, to seek the asymptotic limits of the fully coupled multi-scale McKean-Vlasov stochastic systems with irregular coefficients, which, as summarized in [3,Section 7], remains an open problem in the field. We provide an explicit characterization for the averaged limit of the non-linear stochastic system, where both the choice of the frozen equation and the definition of the averaged coefficients are more or less unexpected since new integral terms with respect to the measure variable appear. More importantly, in contrast with the classical theory of multi-scale systems which focuses on the averaged limit of the slow process, we propose a new perspective that the asymptotic behavior of the entire system is actually governed by the limit of the fast motion. By studying the long-time estimates of the solution of the Kolmogorov equation in Wasserstein space, we identify the limiting distribution of the fast motion of the non-linear system, which, to the best of our knowledge, is new even for the classical multi-scale Itô SDEs. Furthermore, rates of convergence are also obtained, which are rather sharp and depend only on the regularity of the coefficients with respect to the slow variable. The innovation of our argument is to transform the non-linear system into a sequence of linear but non-autonomous systems, which is rather simple insofar as it avoids to involve the mean-field type PDEs associated with non-linear stochastic system, and at the same time, it turns out to be quite effective as it enables us to show that the strong convergence in the averaging principle of the non-linear stochastic system follows directly from the weak convergence, which significantly simplified the proof.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Yuewen Hou, Yun Li, Longjie Xie. 2024-12-18. Asymptotic limit of fully coupled multi-scale non-linear stochastic system: the non-autonomous approximation method. https://arxiv.org/abs/2412.13430

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Local well-posedness of general mean field game master equations

This paper presents a generic approach for establishing mean field game master equations, applicable whenever the mean field equilibrium can be characterized by a McKean-Vlasov forward-backward stochastic differential equation system. The core of our approach is a representation formula for the first-order Lions derivative of the decoupling field of this forward-backward SDE system. We then employ a bootstrap argument to recursively compute its higher-order derivatives. To demonstrate the method's versatility, we establish the local well-posedness for master equations in three distinct models: extended mean field games, mean field games with volatility control, and mean field games with a major player.

math.PR

Uniqueness for nonlinear Fokker-Planck equations with general diffusion terms and their associated nonlinear Markov processes

This work is concerned with the uniqueness of distributional solutions to nonlinear Fokker-Planck equations with non-diagonal diffusion terms of type \begin{equation} u_{t}-\sum_{i,j=1}^{d} D^{2}_{ij}(a_{ij}(x)β(x,u))+ \text{div}(b(x,u)u)=0 \quad \text{in}\; (0, \infty) \times \mathbb{R}^{d} ,\notag \end{equation} with initial condition $u(0,x)\equiv u_{0}(x)$, where $a_{ij}$, $β$, and $b$ are suitable functions. Under suitable assumptions, this equation generates a continuous contraction semigroup $S(t): L^{1}(\mathbb{R}^{d}) \rightarrow L^{1}(\mathbb{R}^{d})$, and $u(t)=S(t)u_{0}$ is a mild solution to the equation. Our main contribution is to prove that this mild solution is unique in the much larger class of distributional solutions. This extends previous uniqueness results for the diagonal (also called isotropic) diffusion case $a_{ij} \equiv δ_{ij}$. Another key analytical result of this paper is the uniqueness for distributional solutions of the associated linearized equation. As a main application, we prove weak uniqueness for the corresponding McKean-Vlasov SDEs. Moreover, we prove that, the probabilistically weak solution to the McKean-Vlasov SDEs is also the unique probabilistically strong solution. Furthermore, we establish a new $L^{\infty}$ estimate for mild solutions starting from data in $L^{1}\cap L^{\infty}$ and this estimate is used in the construction of nonlinear Markov processes. Finally, we prove that the path laws of the solutions to the McKean-Vlasov SDEs form a nonlinear Markov process in the sense of McKean.

math.PR

Small-time annealed large deviations principle for one-dimensional diffusions in a random environment

In this paper, we establish a small-time annealed path large deviation principle for one-dimensional diffusions in a random environment associated with the generator ${\mathcal L}_W f(x)=e^{-ρ(x,W)}(e^{a(x,W)}f'(x))'$. The coefficients $\{ρ(x,\cdot):x\in\mathbb R\}$ and $\{a(x,\cdot):x\in\mathbb R\}$ are random. We assume that for each fixed realization of the environment, $ρ$ and $a$ are continuous and locally exponentially integrable, and that the support of the associated intrinsic coordinates is compact and non-collapsing. This framework includes the extensively studied Brox diffusion $dX_t=dB_t-\frac12\dot W(X_t)\,dt$, where $B$ is a standard Brownian motion and $W$ is an independent two-sided Brownian motion representing the environment. The Itô--McKean representation of the diffusions and the estimates of the first exit probabilities derived via Moser iteration play a crucial role.

math.PR