Search

This paper studies the rich dynamics of general one-dimensional McKean-Vlasov stochastic differential equations based on the preservation of stochastic order. The existing work is limited to the case of additive noises, while our framework allows multiplicative noises. When the equation has multiple invariant measures, we show basins of attraction of certain invariant measures contain unbounded open sets in the 2-Wasserstein space, which is vacant in previous research even for additive noises. Also, our main results target on total orderedness and finiteness of invariant measures, global convergence to order interval enclosed by two order-related invariant measures, alternating arrangement of invariant measures in terms of stability (locally attracting) and instability (connecting orbits). Our theorems cover a wide range of classical granular media equations, such as symmetric, flat-bottom and asymmetric double-well confinement potentials with quadratic interaction, multi-well landscapes, and double-well landscapes with perturbations. Specific values for the parameter ranges, explicit descriptions of attracting sets and phase diagrams are provided.

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., Comment: 56 pages, 2 figures

For strongly monotone dynamical systems on a Banach space, we show that the largest Lyapunov exponent $\lambda_{\max}>0$ holds on a shy set in the measure-theoretic sense. This exhibits that strongly monotone dynamical systems admit no observable chaos, the notion of which was formulated by L.S. Young. We further show that such phenomenon of no observable chaos is robust under the $C^1$-perturbation of the systems., Comment: arXiv admin note: text overlap with arXiv:2109.10487

We investigate the global dynamics from a measure-theoretic perspective for smooth flows with invariant cones of rank k. For such systems, it is shown that prevalent (or equivalently, almost all) orbits will be pseudo-ordered or convergent to equilibria. This reduces to Hirsch's prevalent convergence Theorem if the rank k=1; and implies an almost-sure Poincare-Bendixson Theorem for the case k=2. These results are then applied to obtain an almost sure Poincare-Bendixson theorem for high-dimensional differential equations., Comment: arXiv admin note: text overlap with arXiv:1905.06787

For strongly monotone dynamical systems, the dynamics alternative for smooth discrete-time systems turns out to be a perfect analogy of the celebrated Hirsch's limit-set dichotomy for continuous-time semiflows. In this paper, we first present a sharpened dynamics alternative for $C^1$-smooth strongly monotone discrete-time dissipative system $\{F_0^n\}_{n\in \mathbb{N}}$ (with an attractor $A$), which concludes that there is a positive integer $m$ such that any orbit is either manifestly unstable; or asymptotic to a linearly stable cycle whose minimal period is bounded by $m$. Furthermore, we show the $C^1$-robustness of the sharpened dynamics alternative, that is, for any $C^1$-perturbed system $\{F_\epsilon^n\}_{n\in \mathbb{N}}$ ($F_\epsilon$ not necessarily monotone), any orbit initiated nearby $A$ will admit the sharpened dynamics alternative with the same $m$. The improved generic convergence to cycles for the $C^1$-system $\{F_0^n\}_{n\in \mathbb{N}}$, as well as for the perturbed system $\{F_\epsilon^n\}_{n\in \mathbb{N}}$, is thus obtained as by-products of the sharpened dynamics alternative and its $C^1$-robustness. The results are applied to nonlocal $C^1$-perturbations of a time-periodic parabolic equations and give typical convergence to periodic solutions whose minimal periods are uniformly bounded.

For C1-smooth strongly monotone discrete-time dynamical systems, it is shown that ``convergence to linearly stable cycles" is a prevalent asymptotic behavior in the measuretheoretic sense. The results are then applied to classes of time-periodic parabolic equations and give new results on prevalence of convergence to periodic solutions. In particular, for equations with Neumann boundary conditions on convex domains, we show the prevalence of the set of initial conditions corresponding to the solutions that converge to spatiallyhomogeneous periodic solutions. While, for equations on radially symmetric domains, we obtain the prevalence of the set of initial values corresponding to solutions that are asymptotic to radially symmetric periodic solutions.

We focus on the presence of almost automorphy in strongly monotone skew-product semiflows on Banach spaces. Under the $C^1$-smoothness assumption, it is shown that any linearly stable minimal set must be almost automorphic. This extends the celebrated result of Shen and Yi [Mem. Amer. Math. Soc. 136(1998), No. 647] for the classical $C^{1,\alpha}$-smooth systems. Based on this, one can reduce the regularity of the almost periodically forced differential equations and obtain the almost automorphic phenomena in a wider range.