Arxiv:1712.01343V2 [Math.DS]
Total Page:16
File Type:pdf, Size:1020Kb
MULTISCALE SYSTEMS, HOMOGENIZATION, AND ROUGH PATHS ILYA CHEVYREV, PETER K. FRIZ, ALEXEY KOREPANOV, IAN MELBOURNE, AND HUILIN ZHANG Dedicated to Professor S.R.S Varadhan on the occasion of his 75th birthday Abstract. In recent years, substantial progress was made towards under- standing convergence of fast-slow deterministic systems to stochastic differen- tial equations. In contrast to more classical approaches, the assumptions on the fast flow are very mild. We survey the origins of this theory and then re- visit and improve the analysis of Kelly-Melbourne [Ann. Probab. Volume 44, Number 1 (2016), 479-520], taking into account recent progress in p-variation and càdlàg rough path theory. Contents 1. Introduction 2 2. Emergence of randomness in deterministic dynamical systems 4 2.1. The weak invariance principle 4 2.2. First applications to fast-slow systems 5 2.3. Chaotic dynamics: CLT and the WIP 6 2.3.1. Uniformly and nonuniformly expanding maps 7 2.3.2. Hyperbolic diffeomorphisms 11 2.3.3. Hyperbolic flows 13 3. General rough path theory 13 3.1. Limit theorems from rough path analysis 13 3.2. WIPs in rough path theory 17 arXiv:1712.01343v2 [math.DS] 25 Mar 2019 4. Applications to fast-slow systems 18 4.1. Chaotic dynamics: enhanced WIP and moments 18 4.1.1. Expanding maps 18 4.1.2. Hyperbolic diffeomorphism 19 4.1.3. Hyperbolic flows 20 4.2. Continuous dynamics 20 4.3. Discrete dynamics 22 5. Extension to families and non-product case 23 References 24 Key words and phrases. Fast-slow systems, homogenization, rough paths. 1 2 I. CHEVYREV, P.K. FRIZ, A. KOREPANOV, I. MELBOURNE, AND H. ZHANG 1. Introduction The purpose of this article is to survey and improve several recent developments in the theories of homogenization and rough paths, and the interaction between them. From the side of homogenization, we are interested in the programme ini- tiated by [56] and continued in [32] of studying fast-slow systems without mixing assumptions on the fast flow. From the side of rough paths, we are interested in surveying recent extensions of the theory to the discontinuous setting [27, 18, 30] (see also [17, 21, 39, 73] for related results); the continuous theory, for the purposes of this survey, is well-understood [29]. The connection between the two sides first arose in [40, 41] in which the authors were able to employ rough path techniques (in the continuous and discontinuous setting) to study systems widely generalising those considered in [56, 32]. In this article we address both continuous and discrete systems. The continuous fast-slow systems take the form of the ODEs d d (1) x = a(x ,y )+ ε−1b(x ,y ) , y = ε−2g(y ) . dt ε ε ε ε ε dt ε ε The equations are posed on Rd × M for some compact Riemannian manifold M, and g : M → TM is a suitable vector field. We assume a fixed initial condition d xε(0) = ξ for some fixed ξ ∈ R , while the initial condition for yε is drawn randomly from (M, λ), where λ is a Borel probability measure on M. For the discrete systems, we are interested in dynamics of the form (n) (n) −1 (n) −1/2 (n) (2) Xj+1 = Xj + n a(Xj , Yj )+ n b(Xj , Yj ) , Yj+1 = T Yj . The equations are again posed on Rd × M, and T : M → M is an appropriate (n) Rd transformation. As before, X0 = ξ ∈ is fixed and Y0 is drawn randomly from a probability measure λ on M. d Let xε : [0, 1] → R denote either the solution to (1), or the piecewise constant ⌊1/ε2⌋ (n) path xε(t) = X⌊t/ε2⌋ , where Xj is the solution to (2). The primary goal of this article is to show convergence in law xε → X in the uniform (or stronger) topology as ε → 0. Here X is a stochastic process, which in our situation will be the solution to an SDE. Throughout this note we shall focus on the case where a(x, y) ≡ a(x) depends only on x and b(x, y) ≡ b(x)v(y), where v : M → Rm is an observable of y and b : Rd → L(Rm, Rd) This is precisely the situation considered in [40]. One restriction of the method in [40] is the use of Hölder rough path topology which necessitates moment conditions on the fast dynamics which are suboptimal from the point of view of homogenization. Our main insight is that switching from α-Hölder to p- variation rough path topology allows for optimal moment assumptions on the fast dynamics. The non-product case was previously handled, also with suboptimal moment assumptions, in [41] and also [7], using infinite-dimensional and flow-based rough paths respectively. We briefly discuss this and some other extensions in Section 5, leaving a full analysis of the general (non-product) case, under equally optimal moment assumptions, to a forthcoming artice [19]. An example of fast dynamics. There are many examples to which the results presented here apply, however we feel it is important to have a concrete (and simple to state) example in mind from the very beginning. In this regard, Pomeau & Manneville [63] introduced a class of maps that exhibit intermittency as part of their MULTISCALE SYSTEMS, HOMOGENIZATION, AND ROUGH PATHS 3 study of turbulent bursts. The most-studied example [48] is the one-dimensional map T : M → M, M = [0, 1], given by γ γ 1 y(1+2 y ) y < 2 (3) Ty = 1 . (2y − 1 y ≥ 2 Here γ ≥ 0 is a parameter. When γ = 0 this is the doubling map Ty = 2y mod 1 which is uniformly expanding (see Section 2.3). For γ > 0, there is a neutral fixed point at 0 (T ′(0) = 1) which has more and more influence as γ increases. For each value of γ ∈ [0, 1), there is a unique absolutely continuous invariant probability measure µ. This measure is ergodic and equivalent (in fact equal when γ = 0) to the Lebesgue measure. Suppose that v : M → Rm is Hölder continuous and v dµ =0. Let j R vn = v ◦ T . 0≤Xj<n 1 −1/2 By [48, 75], for γ ∈ [0, 2 ), the random variable n vn, defined on the probabil- ity space (M,µ), converges in law to a normal distribution. (Convergence in law also holds on (M, Leb).) In other words, the central limit theorem (CLT) holds. 1 However, by [34], the CLT fails for γ > 2 (instead there is convergence to a stable −1 1 law of index γ ); for γ = 2 the CLT holds but with non-standard normalization −1/2 1 (n log n) . Hence from now on we restrict to γ ∈ [0, 2 ). Define i j Sn = (v ◦ T ) ⊗ (v ◦ T ) . 0≤Xi≤j<n The approach to homogenization of fast-slow systems in [40] requires convergence −1/2 −1 of the pair of stochastic processes n v⌊nt⌋,n S⌊nt⌋ to an enhanced Brownian 1 motion, which is established for all γ ∈ [0, 2 ). (See Sections 2.3 and 4.1.) Further, 1/2 the approach based on Hölder rough path theory requires that kvnk2q = O(n ) and kSnkq = O(n) for some q > 3. These estimates are established in [40] for 2 1 γ ∈ [0, 11 ). An improvement in [44] covers γ ∈ [0, 4 ) and this is known to be 1 1 sharp [55, 52]. Hence the parameter regime γ ∈ [ 4 , 2 ) is beyond the Hölder rough path theory. In contrast, the p-variation rough path theory described here requires 1 the moment estimates only for some q> 1 and [44] applies for all γ ∈ [0, 2 ). Hence 1 we are able to prove homogenization theorems in the full range γ ∈ [0, 2 ). The remainder of this article is organized as follows. In Section 2, we discuss the WIP and chaotic dynamics, and several situations of homogenization where rough path theory is not required. In Section 3, we introduce the parts of rough path theory required in the Brownian motion setting of this paper. This is applied to fast-slow systems in Section 4. In Section 5, we mention extensions and related work. Acknowledgements: I.C. is funded by a Junior Research Fellowship of St John’s College, Oxford. P.K.F. acknowledges partial support from the ERC, CoG- 683164, the Einstein Foundation Berlin, and DFG research unit FOR2402. A.K. 4 I. CHEVYREV, P.K. FRIZ, A. KOREPANOV, I. MELBOURNE, AND H. ZHANG and I.M. acknowledge partial support from the European Advanced Grant StochEx- tHomog (ERC AdG 320977). H.Z. is supported by the Chinese National Postdoc- toral Program for Innovative Talents No: BX20180075. H.Z. thanks the Institute für Mathematik, TU Berlin, for its hospitality. 2. Emergence of randomness in deterministic dynamical systems In this section, we review a simplified situation where the ordinary weak invari- ance principle (see below) suffices, and rough path theory is not required. 2.1. The weak invariance principle. Consider a family of stochastic processes m indexed by ε ∈ (0, 1), say Wε = Wε(t,ω) with values in R . We are interested in convergence of the respective laws. In the case of continuous sample paths (including smooth or piecewise linear) we say that the weak invariance principle (WIP) holds if m Wε →w W in C([0, 1], R ) as ε → 0 , where W is an m-dimension Brownian motion with covariance matrix Σ; in the case of càdlàg sample paths (including piecewise constant) we mean m Wε →w W in D([0, 1], R ) as ε → 0 , where C resp.