Table of Contents
Fetching ...

Well-posedness and propagation of chaos for McKean-Vlasov stochastic variational inequalities

Ning Ning, Jing Wu

TL;DR

The paper addresses MVSVIs where both drift and diffusion depend on time, state, and law, and proves strong well-posedness under weak regularity conditions, including super-linear growth and local Hölder continuity. It introduces a two-pronged approach: first solving the SVI via Yosida–Moreau approximation and generalized Itô calculus, then solving the MVSVI using a Picard iteration framework and Wasserstein-space convergence, with uniqueness secured by the Yamada–Watanabe function and Osgood's lemma. A key contribution is the first propagation of chaos result for MVSVIs, showing that the empirical measure of the $N$-particle system converges to the MVSVI limit in the mean-field regime. The methods unify subdifferential analysis, fixed-point arguments, and Wasserstein-distance techniques to establish existence, uniqueness, a priori estimates, and mean-field limits for a broad class of non-Lipschitz, distribution-dependent stochastic systems with reflection. Overall, the work extends the MVSVI theory to weaker coefficient regularity and provides rigorous mean-field convergence results with potential implications for related stochastic optimization and mean-field games models.

Abstract

In this paper, we study a broad class of McKean-Vlasov stochastic variational inequalities (MVSVIs), where both the drift coefficient $b$ and the diffusion coefficient $σ$ depend on time $t$, the state $X_t$ and its distribution $μ_t$. We establish the strong well-posedness, when $b$ is superlinear growth and locally Lipschitz continuous, and $σ$ is locally Hölder continuous, both with respect to $X_t$ and $μ_t$. Additionally, we present the first propagation of chaos result for MVSVIs.

Well-posedness and propagation of chaos for McKean-Vlasov stochastic variational inequalities

TL;DR

The paper addresses MVSVIs where both drift and diffusion depend on time, state, and law, and proves strong well-posedness under weak regularity conditions, including super-linear growth and local Hölder continuity. It introduces a two-pronged approach: first solving the SVI via Yosida–Moreau approximation and generalized Itô calculus, then solving the MVSVI using a Picard iteration framework and Wasserstein-space convergence, with uniqueness secured by the Yamada–Watanabe function and Osgood's lemma. A key contribution is the first propagation of chaos result for MVSVIs, showing that the empirical measure of the -particle system converges to the MVSVI limit in the mean-field regime. The methods unify subdifferential analysis, fixed-point arguments, and Wasserstein-distance techniques to establish existence, uniqueness, a priori estimates, and mean-field limits for a broad class of non-Lipschitz, distribution-dependent stochastic systems with reflection. Overall, the work extends the MVSVI theory to weaker coefficient regularity and provides rigorous mean-field convergence results with potential implications for related stochastic optimization and mean-field games models.

Abstract

In this paper, we study a broad class of McKean-Vlasov stochastic variational inequalities (MVSVIs), where both the drift coefficient and the diffusion coefficient depend on time , the state and its distribution . We establish the strong well-posedness, when is superlinear growth and locally Lipschitz continuous, and is locally Hölder continuous, both with respect to and . Additionally, we present the first propagation of chaos result for MVSVIs.
Paper Structure (11 sections, 14 theorems, 216 equations)

This paper contains 11 sections, 14 theorems, 216 equations.

Key Result

Theorem 2.1

The subdifferential operator $\partial\psi(x)$ is monotone, that is, for any $x,x'\in \mathbb{R}^n$, $z\in \psi(x), z'\in \psi(x')$, we have The subdifferential operator is also maximally monotone, that is, if $x,z\in\mathbb{R}^n$ satisfy that then $z\in\partial\psi(x)$.

Theorems & Definitions (19)

  • Theorem 2.1: rockafellar1970maximal
  • Theorem 2.2: karatzas1991brownian
  • Theorem 2.3: barbu2010nonlinear
  • Theorem 2.4: yamada1971uniqueness
  • Theorem 2.5: cepa1998problame
  • Theorem 2.6: bahouri2011fourier
  • Definition 2.7: Weak convergence in $\mathcal{P}_p$
  • Theorem 2.8: villani2009optimal
  • Lemma 2.9: erny2022well
  • Definition 3.1
  • ...and 9 more