Abstract:A general framework for studying McKean-Vlasov SDEs via monotone dynamical systems is established in this paper. Under a cooperative condition, we show McKean-Vlasov SDEs admit a comparison principle with respect to the stochastic order, and generate monotone dynamical systems on the $2$-Wasserstein space. Our main results prove the existence of unstable invariant measures, total orderedness of invariant measures, and the existence of monotone connecting orbits between order-related invariant measures for general cooperative McKean-Vlasov SDEs. To achieve our goals, we adopt the theory of monotone dynamical systems, extend the connecting orbit theorem, and deduce a dichotomy structure of equilibria. This method is different from existing approaches, like propagation of chaos and Fokker-Planck equations. A wide range of classical examples are covered by our framework, such as granular media equations in double-well and multi-well confinement potentials with quadratic interaction, double-well landscapes with perturbation, and higher dimensional equations, even driven by multiplicative noises.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on studying the dynamic behaviors of cooperative McKean - Vlasov stochastic differential equations (SDEs), especially the existence of unstable invariant measures in these equations and the characteristics of connecting orbits. Specifically, by establishing the theoretical framework of monotone dynamical systems, the paper explores the following points:
1. **Existence of unstable invariant measures**: The paper proves that under certain cooperative conditions, cooperative McKean - Vlasov SDEs have unstable invariant measures. These invariant measures are arranged under certain order relations, and there are dynamically unstable behaviors near these measures.
2. **Existence of connecting orbits**: The paper further proves that there are monotone connecting orbits (i.e., paths from one invariant measure to another) between these invariant measures. These orbits can be increasing or decreasing, depending on the stochastic order.
3. **Generation of dynamical systems**: The paper shows how to generate a monotone dynamical system generated by McKean - Vlasov SDEs on the 2 - Wasserstein space. This involves the proof of the comparison principle and the monotonicity of the dynamical system under the stochastic order.
4. **Application of classical examples**: The paper also discusses the application of this framework in some classical examples, such as the granular media equations in double - well and multi - well potentials, and higher - dimensional cases. These examples not only verify the validity of the theoretical results but also provide specific parameter ranges and phase diagrams.
### Specific problem analysis
#### 1. Existence of unstable invariant measures
The paper assumes that McKean - Vlasov SDEs are cooperative and locally dissipative at some points. Through these assumptions, the paper proves that there exist at least \(2n - 1\) order - related invariant measures, where \(n\) are stable and \(n - 1\) are unstable. These invariant measures are arranged in a certain order, and each unstable invariant measure is located between two adjacent stable invariant measures.
#### 2. Existence of connecting orbits
For each unstable invariant measure \(\nu_i\), the paper proves that there are monotone connecting orbits from \(\nu_i\) to the adjacent stable invariant measures \(\mu_i\) and \(\mu_{i + 1}\). These orbits are respectively the decreasing - arranged orbit from \(\nu_i\) to \(\mu_i\) and the increasing - arranged orbit from \(\nu_i\) to \(\mu_{i + 1}\).
#### 3. Generation of dynamical systems
By extending the theory of monotone dynamical systems, the paper proves that McKean - Vlasov SDEs generate a monotone dynamical system on the 2 - Wasserstein space. This involves the proof of the comparison principle, that is, the path of the solution remains monotonic under the stochastic order.
#### 4. Application of classical examples
The paper verifies the above theoretical results through specific examples. For example, in the one - dimensional double - well and multi - well potentials, the paper gives specific parameter ranges and phase diagrams, showing the existence of unstable invariant measures and connecting orbits. In the two - dimensional case, the paper also provides a similar analysis.
### Conclusion
In general, by establishing the theoretical framework of monotone dynamical systems, this paper deeply studies the dynamic behaviors of cooperative McKean - Vlasov SDEs, especially the existence of unstable invariant measures and connecting orbits. These results not only enrich the theoretical basis of McKean - Vlasov SDEs but also provide an important reference for practical applications.