Abstract:The stochastic sewing lemma recently introduced by Le~(2020) allows to construct a unique limit process from a doubly indexed stochastic process that satisfies some regularity. This lemma is stated in a given probability space on which these processes are defined. The present paper develops a version of this lemma for probability measures: from a doubly indexed family of maps on the set of probability measures that have a suitable probabilistic representation, we are able to construct a limit flow of maps on the probability measures. This result complements and improves the existing result coming from the classical sewing lemma. It is applied to the case of law-dependent jump SDEs for which we obtain weak existence result as well as the uniqueness of the marginal laws.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: to develop the Stochastic Sewing Lemma in the Wasserstein space and use this lemma to construct a limit flow on the probability measure space. Specifically, the authors hope to start from a family of time - dependent mappings and, under certain regularity conditions, construct a limit flow, thereby providing proofs for the existence and uniqueness of weak solutions to the nonlinear jump - type McKean - Vlasov stochastic differential equations (SDEs).
### Problem Background
The traditional Sewing Lemma was introduced by Gubinelli et al. and is mainly used in rough path theory to construct global solutions by controlling local errors. Le [16] recently proposed the Stochastic Sewing Lemma, which allows for the construction of a unique limit process from double - indexed stochastic processes in a given probability space. However, most of these results are carried out in specific probability spaces, and the goal of this paper is to generalize this lemma to the probability measure space.
### Main Contributions
1. **Generalize the Stochastic Sewing Lemma**: The authors generalize the Stochastic Sewing Lemma in the Wasserstein space, allowing for the construction of a limit flow starting from a family of time - dependent probability measure mappings.
2. **Apply to Nonlinear SDEs**: Through this generalization, the authors are able to handle the distribution - dependent jump - type McKean - Vlasov SDEs and prove the existence of weak solutions and the uniqueness of marginal distributions for this type of equations.
### Formulas and Derivations
The main formulas and derivations involved in the paper include:
- **Wasserstein Distance**:
\[
W_p(\mu, \nu)=\inf_{\Pi \in Cpl(\mu, \nu)}\left(\int_{H\times H}|x - y|^p_H\,\Pi(dx, dy)\right)^{1 / p}
\]
where \(Cpl(\mu, \nu)\) is the set of all probability measures with joint distributions \(\mu\) and \(\nu\).
- **Key Estimate of the Stochastic Sewing Lemma**:
\[
W_p(\Theta^\pi_{s,t}(\mu), \Theta^{\pi'}_{s,t}(\nu))\leq C_TW_p(\mu, \nu)+C_T(1 + \|\mu\|_p+\|\nu\|_p)(t - s)^{1 / 2}|\pi|^\beta
\]
Here, \(\pi\) and \(\pi'\) are different time partitions, and \(\beta>0\) is a parameter representing the smoothness condition of the Sewing Lemma.
- **Construction of the Limit Flow**:
\[
\theta_{s,t}(\mu)=\lim_{n\rightarrow\infty}\Theta^n_{s,t}(\mu)
\]
where \(\Theta^n_{s,t}\) is an approximation scheme based on a binary time grid.
### Application Examples
As an application, the authors consider the jump - type McKean - Vlasov SDE in the following form:
\[
X_{s,t}=X+\int_s^t\int_H\int_E c(v, z, X_{s,r^-}, L(X_{s,r}))\tilde{N}_{L(X_{s,r})}(dv, dz, dr)+\cdots
\]
Through the above - generalized Stochastic Sewing Lemma, the authors prove the existence of weak solutions and the uniqueness of marginal distributions for this type of equations.
In summary, the main contribution of this paper lies in generalizing the Stochastic Sewing Lemma to the Wasserstein space and applying it to the study of nonlinear jump - type McKean - Vlasov SDEs, providing new theoretical tools and methods.