Abstract:In this paper, we prove the existence and uniqueness of solutions as well as ergodicity for McKean-Vlasov SDEs under Lyapunov conditions, in which the Lyapunov functions are defined on $\mathbb R^d\times \mathcal P_2(\mathbb R^d)$, i.e. the Lyapunov functions depend not only on space variable but also on distribution variable. It is reasonable and natural to consider distribution-dependent Lyapunov functions since the coefficients depends on distribution variable. We apply the martingale representation theorem and a modified Yamada-Watanabe theorem to obtain the existence and uniqueness of solutions. Furthermore, the Krylov-Bogolioubov theorem is used to get ergodicity since it is valid by linearity of the corresponding Fokker-Planck equations on $\mathbb R^d\times \mathcal P_2(\mathbb R^d)$. In particular, if the Lyapunov function depends only on space variable, we obtain exponential ergodicity for semigroup $P_t^*$ under Wasserstein quasi-distance. Finally, we give some examples to illustrate our theoretical results.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove the existence, uniqueness and ergodicity of McKean - Vlasov stochastic differential equations (MVSDEs) under distribution - dependent Lyapunov conditions. Specifically:
1. **Existence and Uniqueness**: By introducing distribution - dependent Lyapunov functions, the authors prove the existence and uniqueness of solutions to MVSDEs under these conditions. This is different from the traditional space - dependent Lyapunov conditions because the Lyapunov functions here depend not only on the space variables but also on the distribution variables. To overcome this challenge, the authors adopt Khasminskii's method and utilize the Krylov - Bogolioubov theorem.
2. **Ergodicity**: The authors further study the ergodicity of MVSDEs under distribution - dependent Lyapunov conditions. They use the Krylov - Bogolioubov theorem to prove the existence of invariant measures. In particular, if the Lyapunov function depends only on the space variable, they also obtain the exponential ergodicity of the semigroup \(P_t^*\) under the Wasserstein pseudo - distance induced by the Lyapunov function.
### Main Results
1. **Existence and Uniqueness**:
- By introducing distribution - dependent Lyapunov conditions, the authors prove the existence and uniqueness of solutions to MVSDEs.
- Since the coefficients depend on the distribution variables, the classical truncation method on the space variable is no longer applicable. Therefore, truncation needs to be carried out on both the space and distribution variables simultaneously.
- Using the Skorokhod representation theorem and the martingale representation theorem, the authors obtain the existence of weak solutions.
- Applying the modified Yamada - Watanabe theorem, the uniqueness of solutions is further proved.
2. **Ergodicity**:
- Through the Krylov - Bogolioubov theorem, the authors prove the existence of invariant measures.
- In particular, if the Lyapunov function depends only on the space variable, the authors obtain the exponential ergodicity of the semigroup \(P_t^*\) under the Wasserstein pseudo - distance induced by the Lyapunov function.
### Methods and Techniques
- **Distribution - Dependent Lyapunov Function**: This is the key innovation point of this paper, enabling the handling of cases where the coefficients depend on the distribution variables.
- **Krylov - Bogolioubov Theorem**: Used to prove the existence of invariant measures.
- **Martingale Representation Theorem**: Used to prove the existence of weak solutions.
- **Modified Yamada - Watanabe Theorem**: Used to prove the uniqueness of solutions.
- **Coupled SDEs**: Used to define the semigroups \(P_t\) and \(P_t^*\) and prove the linearity of the Fokker - Planck equation.
### Conclusion
In this paper, by introducing distribution - dependent Lyapunov conditions, the problems of existence, uniqueness and ergodicity of MVSDEs are successfully solved. These results not only extend the existing theoretical framework but also provide a solid mathematical foundation for practical applications.