Abstract
We study a class of discrete-time random dynamical systems with compact phase space. Assuming that the deterministic counterpart of the system in question possesses a dissipation property, its linearisation is approximately controllable, and the driving noise is bounded and has a decomposable structure, we prove that the corresponding family of Markov processes has a unique stationary measure, which is exponentially mixing in the dual-Lipschitz metric. The abstract result is applicable to nonlinear dissipative PDEs perturbed by a bounded random force which affects only a few Fourier modes. We assume that the nonlinear PDE in question is well posed, its nonlinearity is non-degenerate in the sense of the control theory, and the random force is a regular and bounded function of time which satisfies some decomposability and observability hypotheses. This class of forces includes random Haar series, where the coefficients for high Haar modes decay sufficiently fast. In particular, the result applies to the 2D Navier–Stokes system and the nonlinear complex Ginzburg–Landau equations. The proof of the abstract theorem uses the coupling method, enhanced by the Newton–Kantorovich–Kolmogorov fast convergence.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
Notes
In the case of the Navier–Stokes system, the basis \(\{\varphi _i\}\) is composed of divergence-free \({{\mathbb {R}}}^2\)-valued functions on \({{\mathbb {T}}}^2\) with zero mean value, while in the case of the Ginzburg–Landau equation, they are complex-valued functions on \({{\mathbb {T}}}^3\).
In the case when \(c_j=2^{j/2}\) for \(j\ge 1\) and \(\{\xi _k,\xi _{jl}\}\) are independent random variables with centred normal law of unit dispersion, the series (0.4) converges to the white noise; see Theorem 1 in [Lam96, Sect. 22]. Moreover, by Donsker’s invariance principle (see [Bil99, Sect. 8]), the integral of (0.4) converges to the Brownian motion on large time scales.
See the paper [KN13], where the mixing is proved for the white-forced cubic CGL equations, and the difficulty coming from nonlinearities of higher degree is explained.
To see this, consider a measurable space \((Y,{{\mathcal {Y}}})\) and a measurable map \(A:Y\rightarrow {{\mathcal {L}}}(E,H)\) and denote by \({{\mathcal {G}}}_A\) the set of points \(y\in Y\) for which the image of A(y) is dense in H. Choosing countable dense subsets \(\{f_i\}\subset E\) and \(\{h_j\}\subset H\), it is easy to see that \({{\mathcal {G}}}_A=\bigl \{y\in Y:\inf _{i\ge 1}\Vert A(y)f_i-h_j\Vert _H=0 \text{ for } \text{ any } j\ge 1\bigr \}\). In the case under study, we have \(Y=H\times E\), \(A=(D_\eta S)(u,\eta )\), and \({{\mathcal {K}}}^u={{\mathcal {K}}}\cap {{\mathcal {G}}}^u\), where \({{\mathcal {G}}}^u=\{\eta \in E:(u,\eta )\in {{\mathcal {G}}}_A\}\).
The first difficulty does not have an analogue in the KAM theory, whereas the second is usually present and manifests itself in the fact that the homological equation (1.19) cannot be solved for all actions \(p\in B\).
We shall often omit the argument \(\omega \) to simplify formulas.
Notice that we cannot apply the mean value theorem, since we do not know if \({{\mathcal {K}}}^{u,\sigma ,\theta }\) is convex.
We emphasise that (\(\hbox {H}_4\)) can be regarded as a condition on the law \(\ell \) of the random variables \(\eta _k\), since any other random variable with law \(\ell \) has the same structure as \(\eta _k\).
The concept of observability is widely used in the control theory and means, roughly speaking, that if a functional of a non-zero solution of a homogeneous linear differential equation vanishes identically in time, then it must be zero. In Definition 4.1, we have a similar property for functions: the left-hand side of (4.2) defines an affine function, and if it vanishes on \(\zeta \), then it must be zero.
We emphasise that condition of saturation depends on the parameters \(a_1\) and \(a_2\) of the torus and the quadratic term Q, but not on the viscosity \(\nu \).
Let us check briefly that the regularity of \({\tilde{u}}\) and w is sufficient to justify (4.11). Indeed, as was mentioned above, the function w belongs to \(W^{1,2}(J,H^{-1})\), so that the \(L^2\)-scalar product \((\zeta ,w(t))\) can be differentiated for any \(\zeta \in H^1\). Resolving the first equation in (4.8) with respect to \(\dot{w}\) and substituting the resulting expression into the time derivative of (4.10), we obtain \((\zeta ,\nu Lw+Q({\tilde{u}})^*w)=0\), where the equality is valid for almost every \(t\in J\). Since \({\tilde{u}}\in L^2(J,H^3)\) and \(w\in L^2(J,H^1)\), we can integrate by parts in the last equality, which gives the validity of equality (4.11) for almost every \(t\in J\). Finally, recalling that \({\tilde{u}}\in C(J,H^2)\) and \(w\in C(J,L^2)\), we see that the right-hand side is a continuous function of time and, hence, vanishes on J.
A similar remark applies to the case of a rectangular domain with Lions boundary condition; see Sect. 9 in [AS08]. However, we shall not elaborate on that point since the analysis is similar.
Note that the index j in (1.3) is now replaced by the pair (l, i), and vectors \(e_j\) are the products \(\psi _l^i(t)\varphi _i\).
References
A. Agrachev, S. Kuksin, A. Sarychev and A. Shirikyan, On finite-dimensional projections of distributions for solutions of randomly forced 2D Navier–Stokes equations. Ann. Inst. H. Poincaré Probab. Statist. (4)43 (2007), 399–415
V. I. Arnold, Proof of a theorem of A. N. Kolmogorov on the preservation of conditionally periodic motions under a small perturbation of the Hamiltonian. Uspehi Mat. Nauk, (113)18 (1963), no. 5, 13–40
A. A. Agrachev and A. V. Sarychev, Controllability of 2D Euler and Navier–Stokes equations by degenerate forcing. Comm. Math. Phys. (3)265 (2006), 673–697
A. A. Agrachev and A. V. Sarychev, Solid controllability in fluid dynamics, Instability in Models Connected with Fluid Flows. I. Int. Math. Ser. (N. Y.), vol. 6, Springer, New York, (2008), pp. 1–35.
V. I. Bakhtin, Averaging in multifrequency systems, Funct. Anal. Appl. (2)20 (1986), 83–88
M. S. Berger, Nonlinearity and Functional Analysis. Academic Press, New York–London (1977).
P. Billingsley, Convergence of Probability Measures. John Wiley & Sons, New York (1999).
J. Bricmont, A. Kupiainen and R. Lefevere, Exponential mixing of the 2D stochastic Navier–Stokes dynamics, Comm. Math. Phys., (1)230 (2002), 87–132
V. Bogachev and I. Malofeev, Kantorovich problems and conditional measures depending on a parameter, J. Math. Anal. Appl. (2020). https://doi.org/10.1016/j.jmaa.2020.123883
A. Boritchev, Multidimensional potential Burgers turbulence. Comm. Math. Phys. (2)342 (2016), 441–489
A. V. Babin and M. I. Vishik, Attractors of Evolution Equations, North-Holland Publishing, Amsterdam (1992).
J.-M. Coron, Control and Nonlinearity, American Mathematical Society, Providence, RI (2007).
C. Cao and E. S. Titi, Global well-posedness of the three-dimensional viscous primitive equations of large scale ocean and atmosphere dynamics. Ann. of Math. (2), (1)166 (2007), 245–267
A. Debussche, N. Glatt-Holtz, R. Temam, and M. Ziane, Global existence and regularity for the 3D stochastic primitive equations of the ocean and atmosphere with multiplicative white noise. Nonlinearity, (7)25 (2012), 2093–2118
W. Doeblin, Éléments d’une théorie générale des chaînes simples constantes de Markoff. Ann. Sci. École Norm. Sup. (3), 57 (1940), 61–111
W. Doeblin, Sur l’équation de Kolmogoroff. C. R. Acad. Sci. Paris Sér. I Math., 331 (2000), no. Special Issue, 1059–1128
R. M. Dudley, Real Analysis and Probability, Cambridge University Press, Cambridge (2002).
L. H. Eliasson, Perturbations of linear quasi-periodicsystem, Dynamical systems and small divisors (Cetraro, 1998),Lect. Notes Math., vol. 1784, Springer, Berlin, (2002), pp. 1–60.
W. E and J. C. Mattingly, Ergodicity for the Navier–Stokes equation with degenerate random forcing: Finite-dimensional approximation. Comm. Pure Appl. Math., 54 (2001), 1386–1402
W. E, J. C. Mattingly and Ya. Sinai, Gibbsian dynamics and ergodicity for the stochastically forced Navier–Stokes equation. Comm. Math. Phys., (1)224 (2001), 83–106
H. Federer, Geometric Measure Theory, Springer, New York (1969).
J. Földes, N. Glatt-Holtz, G. Richards and E. Thomann, Ergodic and mixing properties of the Boussinesq equations with a degenerate random forcing. J. Funct. Anal., (8)269 (2015), 2427–2504
F. Flandoli and B. Maslowski, Ergodicity of the 2D Navier–Stokes equation under random perturbations. Comm. Math. Phys., (1)172 (1995), 119–141.
N. Glatt-Holtz, I. Kukavica, V. Vicol and M. Ziane, Existence and regularity of invariant measures for the three dimensional stochastic primitive equations. J. Math. Phys., (5)55 (2014), 051504, 34
M. Hairer and J. C. Mattingly, Ergodicity of the 2D Navier–Stokes equations with degenerate stochastic forcing. Ann. of Math. (2), (3)164 (2006), 993–1032
M. Hairer and J. C. Mattingly, A theory of hypoellipticity and unique ergodicity for semilinear stochastic PDEs. Electron. J. Probab., (23)16 (2011), 658–738
M. Hairer, J. C. Mattingly, and M. Scheutzow, Asymptotic coupling and a general form of Harris’ theorem with applications to stochastic delay equations. Probab. Theory Related Fields, (1-2)149 (2011), 223–259
S. Kuksin and V. Nersesyan, Stochastic CGL equations without linear dispersion in any space dimension. Stochastic PDE: Anal. Comp., (3)1 (2013), 389–423
S. Kuksin, V. Nersesyan, and A. Shirikyan, Mixing via controllability for randomly forced nonlinear dissipative PDEs, Preprint (2019).
A. N. Kolmogorov, On conservation of conditionally periodic motions for a small change in Hamilton’s function. Dokl. Akad. Nauk SSSR (N.S.), 98 (1954), 527–530
S. Kuksin, A. Piatnitski, and A. Shirikyan, A coupling approach to randomly forced nonlinear PDEs. II. Comm. Math. Phys., (1)230 (2002), 81–85
I. Karatzas and S. E. Shreve, Brownian Motion and Stochastic Calculus, Springer-Verlag, New York (1991).
S. Kuksin and A. Shirikyan, Stochastic dissipative PDEs and Gibbs measures. Comm. Math. Phys. (2)213 (2000), 291–330
S. Kuksin and A. Shirikyan, A coupling approach to randomly forced nonlinear PDE’s. I. Comm. Math. Phys., (2)221 (2001), 351–366
S. Kuksin and A. Shirikyan, Mathematics of Two-Dimensional Turbulence, Cambridge University Press, Cambridge (2012).
S. B. Kuksin, Diffeomorphisms of function spaces that correspond to quasilinear parabolic equations. Mat. Sb. (N.S.), (3)117(159) (1982), 359–378, 431
S. Kuksin, On exponential convergence to a stationary measure for nonlinear PDEs perturbed by random kick-forces, and the turbulence limit, Partial differential equations, Amer. Math. Soc. Transl. Ser. 2, vol. 206, Amer. Math. Soc., Providence, RI, (2002), pp. 161–176.
S. Kuksin and H. Zhang, Exponential mixing for dissipative PDEs with bounded non-degenerate noise. Stochastic Process. Appl. (2020). https://doi.org/10.1016/j.spa.2020.01.014
J. W. Lamperti, Probability, John Wiley & Sons, New York (1996).
J. Moser, A rapidly convergent iteration method and non-linear partial differential equations. I, II. Ann. Scuola Norm. Sup. Pisa, (3)20 (1966), 265–315, 499–535
J. C. Mattingly and É. Pardoux, Malliavin calculus for the stochastic 2D Navier–Stokes equation. Comm. Pure Appl. Math. (12)59 (2006), 1742–1790
D. Nualart, The Malliavin Calculus and Related Topics, Springer-Verlag, Berlin (2006).
A. Shirikyan, Control and mixing for 2D Navier–Stokes equations with space-time localised noise. Ann. Sci. Éc. Norm. Supér. (4), (2)48 (2015), 253–280
A. Shirikyan, Mixing for the Burgers equation driven by a localised two-dimensional stochastic forcing, Evolution Equations: Long Time Behavior and Control (K. Ammari and S. Gerbi, eds.), Cambridge University Press, Cambridge, (2017), pp. 179–194.
A. Shirikyan, Controllability implies mixing II. Convergence in the dual-Lipschitz metric. J. Eur. Math. Soc. (2019), accepted for publication.
Ya. G. Sinaĭ, Two results concerning asymptotic behavior of solutions of the Burgers equation with force. J. Statist. Phys., (1-2)64 (1991), 1–12
F. A. Valentine, A Lipschitz condition preserving extension for a vector function, Amer. J. Math., 67 (1945), 83–93
W. C. Van Etten, Introduction to Random Signals and Noise, John Wiley & Sons, (2006).
M. I. Vishik and A. V. Fursikov, Mathematical Problems in Statistical Hydromechanics, Kluwer, Dordrecht (1988).
C. Villani, Topics in Optimal Transportation, AMS, Providence, RI (2003).
J. Zabczyk, Mathematical Control Theory, Modern Birkhäuser Classics, Birkhäuser Boston, Inc., Boston, MA (2008).
Acknowledgements
We thank V. I. Bogachev for discussion on the measurable version of gluing lemma, which was established in the paper [BM19a] on our request. We also thank the Institut Henri Poincaré in Paris for hosting our working group Control Theory and Stochastic Analysis, at which this article was initiated. This research was supported by the Agence Nationale de la Recherche through the Grants ANR-10-BLAN 0102 and ANR-17-CE40-0006-02. SK thanks the Russian Science Foundation for support through the Grant 18-11-00032. VN and AS were supported by the CNRS PICS Fluctuation theorems in stochastic systems. The research of AS was carried out within the MME-DII Center of Excellence (ANR-11-LABX-0023-01) and supported by Initiative d’excellence Paris-Seine.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Kuksin, S., Nersesyan, V. & Shirikyan, A. Exponential mixing for a class of dissipative PDEs with bounded degenerate noise. Geom. Funct. Anal. 30, 126–187 (2020). https://doi.org/10.1007/s00039-020-00525-5
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00039-020-00525-5
Keywords and phrases
- Markov process
- Stationary measure
- Mixing
- Navier–Stokes system
- Ginzburg–Landau equations
- Newton–Kantorovich–Kolmogorov fast convergence
- Approximate controllability
- Haar series