Abstract
We introduce a family of stochastic models motivated by the study of nonequilibrium steady states of fluid equations. These models decompose the deterministic dynamics of interest into fundamental building blocks, i.e., minimal vector fields preserving some fundamental aspects of the original dynamics. Randomness is injected by sequentially following each vector field for a random amount of time. We show under general conditions that these random dynamics possess a unique, ergodic invariant measure and converge almost surely to the original, deterministic model in the small noise limit. We apply our construction to the Lorenz-96 equations, often used in studies of chaos and data assimilation, and Galerkin approximations of the 2D Euler and Navier–Stokes equations. An interesting feature of the models developed is that they apply directly to the conservative dynamics and not just those with excitation and dissipation.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
This paper studies the long time dynamics of fluid-like equations that are kept out of equilibrium. Among the simplest examples of fluid models displaying interesting out-of-equilibrium behavior (such as fluxes across scales) are the two-dimensional Euler and incompressible Navier–Stokes equations. On the 2-dimensional torus \(\mathbb {T}\), i.e., \(\mathbb {T}:=[0,2\pi ]^2\) with periodic boundary conditions, the Navier–Stokes equations, which model the flow of an incompressible fluid, are
where \(u:\mathbb {T}\times \mathbb {R}\rightarrow \mathbb {R}^2\) is the fluid velocity, \(p:\mathbb {T}\times \mathbb {R}\rightarrow \mathbb {R}\) the fluid pressure,
Here \(u=(u_1,u_2)\) and \(\partial _j:=\partial _{x_j}\). The viscosity \(\nu >0\) measures the strength of the dissipation introduced by the Laplacian \(\Delta \), and F(x, t) is an external driving force whose role is to keep the system from relaxing to the trivial state \(u\equiv 0\).
By balancing the dissipative effect of \(\Delta u\), the forcing term allows the system to establish an out-of-equilibrium steady state. Such statistical equilibria often develop fluxes across scales, a phenomenon whose study is an active area of research. Often F is taken to live on only a few scales so that the flux out of those scales can be studied [18, 24, 29, 40]. In practice, the forcing F(x, t) is usually taken to be stochastic in space and time for some stationary distribution which is typically white in time [14, 18, 20, 24]. A common choice in the literature is \(F(x,t)=\sum \psi _k(x) \dot{W}_k(t)\) where each \(\psi _k(x)\) is a fixed spatial forcing and \(\{ \dot{W}_k(t) \} \) are a collection of mutually independent white in time noise terms written here as the formal derivative of a Brownian motion. Stochastic forcing serves multiple purposes in these settings. On one hand, as already mentioned, it provides the energetic excitation which keeps the system out of equilibrium and allows for the establishment of a nontrivial statistical steady state. On the other hand, it provides local agitation which, modulo certain constraints, ensures the existence of a unique statistical steady state to which the system converges for most initial conditions. In other words, it guarantees the forcing is sufficiently varied and generic to ensure convergence to a single long time statistical behavior of the system, largely independent of the system’s initial configuration.
This paper studies a class of processes, introduced in the next section, injecting randomness into the fluid models of interest while separating in a simple way the various roles served by noise in previous works. In particular, the randomness is used primarily to ensure that when the dynamics is sufficiently generic, unique ergodicityFootnote 1 holds for a broad class of initial conditions. This will free one to use a much less disruptive class of forcing to keep the system out of equilibrium. More specifically, the class of models introduced below have a number of desirable properties:
-
(1)
They allow one to separate the effect of forcing, which keeps the system out of equilibrium, and stochastic agitation, which ensures the system has a unique long time statistical behavior.
-
(2)
The stochastic agitation is strongly non-reversible since it is constructed from dynamics which only flow in the directions the original dynamics could already move.
-
(3)
The stochastic agitation preserves the conserved quantities of the original dynamics. This allows the properties of the (stochastic) conservative dynamics to be studied directly rather than only as a limit of the forced-dissipated dynamics.
-
(4)
The model dynamics will be constructed as the composition of simple dynamics, isolating particular nonlinear interactions which are relatively intuitive and can be explicitly analyzed.
By balancing between preservation of fundamental macroscopic properties of the original dynamics as in (3) and simplicity of the fundamental building blocks in our model dynamics as in (4), we expect the stochastic models introduced in this paper will provide meaningful physical and dynamical insight into nonequilibrium steady states of models such as (1.1).
Our decomposition into fundamental building blocks is partially motivated by the classical stylized models of dynamics studied in depth at the dawn of the theory of dynamical systems. Examples include the doubling map, quadratic maps, the Henon map, the Smale horseshoe, and extended systems like coupled map lattices (see [16, 27] and references therein). The form of the decomposition is also motivated by the recent progress in proving ergodic properties of piecewise deterministic Markov processes (PDMPs) and their success as modeling and sampling tools. See for example [2,3,4, 6, 7, 9, 13, 15, 17, 33,34,35, 38, 44].
1.1 A class of stochastic models
We now introduce the general idea underlying the class of stochastic models, called random splitting, that we study in this paper. A more systematic definition of these models is deferred to Sect. 2. Consider an ordinary differential equation (ODE)
where \(n\in \mathbb {N}\) and V and \(\{V_k\}_{k=1}^n\) are vector fields on \(\mathbb {R}^d\). In what follows, we choose the \(V_k\) so that the dynamics
are in some sense simpler than the dynamics corresponding to (1.2). We then approximate the solution \(\Psi _t :x(0) \mapsto x(t)\) of (1.2) with compositions of the solution maps \(\varphi ^{(k)}_t :x(0) \mapsto x(t)\) of (1.3). This procedure is known as operator splitting in the numerical analysis literature and is often used in numerical simulations of various ordinary, partial, and stochastic differential equations [1, 8, 10, 11, 22, 32, 39, 46, 47]. Typically, the goal is to leverage the fact that each of the dynamics in (1.3) is more computationally tractable than (1.2) to construct an efficient and accurate numerical method. A variant of these models was also explored in the thesis [51].
Here our goal is related but slightly different. Specifically, instead of evolving each \(\varphi ^{(k)}\) for a fixed time h as in traditional operator splitting methods, we evolve each of the \(\varphi ^{(k)}\) for a random time with mean h. Repeated composition then produces dynamics on \(\mathcal {O}(1)\) times. The evolution times for each \(\varphi ^{(k)}\), and over each cycle, will be identically distributed and mutually independent, which implies our models are Markovian. As in the numerical analysis context, we hope to leverage the simplified nature of each \(\varphi ^{(k)}\), obtained from (1.3), to gain insight into the complex dynamics of the composition of maps. We will also see that as the mean evolution time \(h \rightarrow 0\), the random splitting associated to (1.2) will almost surely converge to the deterministic dynamics \(\Psi _t\) on finite time intervals. However, we are most interested in studying the random splitting in its own right and not strictly as a approximation of (1.2). We will be particularly interested in its long time behavior and qualitative understanding of the stationary dynamics the random splitting produces when \(h>0\). More specifically, the property of the system we aim to establish is codified in the following standard definition from the theory of Markov processes; the supporting definition of invariant measure is given in the first paragraph of Sect. 3 after the transition kernel of random splitting is explicitly introduced.
Definition 1.1
A Markov process on a manifold \(\mathcal {X}\) is uniquely ergodic on \(\mathcal {X}\) if its transition kernel admits exactly one invariant probability measure on \(\mathcal {X}\).
We note that the definition of the set \(\mathcal X\) where the above property holds can be quite delicate. While in general there might not exist a d-dimensional manifold \(\mathcal X\) in \(\mathbb R^d\) on which the random splitting is uniquely ergodic (see for example Remark 1.6), in the examples below we will identify a family of manifolds of lowest co-dimension where the above definition applies.
Remark 1.2
The set of invariant probability measures for a Markov transition kernel is convex, and the extremal points of this set are precisely the ergodic invariant measures [12, 23]. In particular, if the transition kernel admits exactly one invariant measure, then it is necessarily extremal and therefore ergodic. This explains the use of the term ergodic in Definition 1.1.
1.2 Two motivating examples
In this paper, we consider two motivating examples: A conservative version of the Lorenz-96 model and Galerkin approximations of the vorticity formulation of the 2D Euler equations. We then use these analyses to study the full Lorenz-96 model and Galerkin approximations of the vorticity formulation of 2D Navier–Stokes.
1.2.1 Lorenz-96.
Fix \(n\ge 4\) and let \(\{e_k\}_{k=1}^n\) denote the standard basis of \(\mathbb {R}^n\). The Lorenz-96 model is
for \(x\in \mathbb {R}^n\), \(\nu >0\), and nonnegative constants \(F_k\), where the indices are periodized via the identities \(x_{-1}:=x_{n-1}\), \(x_0:=x_n\), and \(x_{n+1}:=x_1\). The \(-\nu x_k\) term in (1.4) represents dissipation in the kth coordinate and \(F_k\) is a forcing constant. Initially, we study a variant of Lorenz-96, called conservative Lorenz-96, obtained by removing the dissipation and forcing terms from Lorenz-96. That is,
We sometimes refer to the original Lorenz-96 model as the forced Lorenz-96 model to emphasize the forcing (though the dissipation is equally important). For conservative Lorenz-96, we will decompose V into a collection of simple rotations by observing that
where \(V_k(x):=(x_{k+1}e_k-x_ke_{k+1})x_{k-1}\). The dynamics given by \(\dot{x}=V_k(x)\) are easy to understand on their own; any complex behavior comes from interactions of the rotations. Importantly, each \(V_k\) is chosen to conserve, like V, the system’s energy, which for Lorenz-96 is defined to be the square of the usual Euclidean norm, \(\Vert x\Vert ^2:=\sum _{k=1}^n x_k^2\).
1.2.2 2D Euler.
Returning to (1.1), we begin by defining the scalar vorticity \(q(x,t)={{\,\textrm{curl}\,}}u(x,t)\) of the velocity field u(x, t). Initially, we will consider the Euler equations which are obtained from (1.1) by taking \(\nu =F=0\). Writing the equation for the jth Fourier mode \(q_j \in \mathbb {C}\), defined by \(q(x,t)=\sum _j q_j(t) e_j(x)\) for \(e_j(x):=e^{ix\cdot j}\), and \(j \in \{ j\in \mathbb {Z}^2: |j| < N, j \ne 0\}\), we have
for a constant \(C_{k\ell }\) defined in Sect. 6.1. We will see that this system has two conserved quantities, the enstrophy, \(\sum _j |q_j|^2\), and the energy, \(\sum _j |j|^{-2} |q_j|^2\). Notice that the definition of energy differs between this equation and the Lorenz-96 model.
As in the Lorenz-96 model, we introduce the simpler dynamics \(\dot{q}= V_{j k \ell }(q)\) where \(V_{j k \ell }(q) =- C_{k\ell } \bar{q}_k \bar{q}_\ell e_j- C_{j\ell } \bar{q}_j\bar{q}_\ell e_k- C_{jk} \bar{q}_j \bar{q}_k e_\ell \) and observe that
We will see in Sect. 6 that with this choice of splitting the dynamics \(\dot{q}= V_{jk\ell }(q)\), like the original system V(q), preserves the important physical quantities of enstrophy and energy.
Remark 1.3
In Sect. 6, we further simplify these complex-valued dynamics by projecting onto a real basis. The current choice is sufficient for an introductory discussion.
Remark 1.4
Our results do not focus on establishing minimal hypoellipticity assumptions for our models of Lorenz-96, 2D Euler and 2D Navier–Stokes; the stochastic agitation we use is more global than the minimal hypoellipticity forcing considered in [18, 24]. We hope this will allow us to progress further than with previous models while preserving much of the physically interesting dynamics.
Remark 1.5
It is important to emphasize that, with regard to unique ergodicity, the main role of the forcing, when included, is only to destroy the fixed points and other low-dimensional invariant structures of the original flows and not to provide the stochastic mixing which ensures the existence of a unique, ergodic measure to which the system’s statistics converge. The stochastic mixing is largely provided by the random splitting and is in contrast to the results in [5, 18, 19, 24, 29,30,31].
Remark 1.6
When considering conservative versions of our split dynamics (those without any explicit dissipation or body forcing), we cannot expect there to be a unique invariant measure for the system. In particular, since the dynamics will be constrained to level sets of the conserved quantities, there will be at least one invariant measure per level set. Furthermore, we will see that even on such constraint level sets there can be multiple ergodic invariant measures. Most will correspond to fixed points of the original dynamics and other lower-dimensional invariant structures. However we will see, in the two examples considered, that when our family of switched vector fields is sufficiently rich, there will be a unique ergodic invariant measure which is absolutely continuous with respect to the volume measure on the level set. This implies that in these examples, there is a unique ergodic invariant measure concentrated on a set of full measure inside each constraint level set. In this sense, we will demonstrate a form of uniqueness which aligns with the form of unique ergodicity often proven in the smooth deterministic dynamics setting, i.e., that there is only one invariant measure absolutely continuous with respect to the setting’s natural Lebesgue measure.
1.3 Organization of paper
In Sect. 2, we introduce random splitting and its state spaces, called \(\mathcal {V}\)-orbits. In Sect. 3, we give conditions for random splitting to be uniquely ergodic on a \(\mathcal {V}\)-orbit. In Sect. 4, we show under general conditions that random splitting converges to its deterministic counterpart (1.2) on finite time intervals both in terms of its transition kernel and almost surely as the average time step h goes to zero. In Sects. 5 and 6, we construct random splittings of conservative Lorenz-96 and Galerkin approximations of 2D Euler and apply the preceding results to show these splittings are uniquely ergodic and converge on finite time intervals as \(h \rightarrow 0\). In doing so we show each system has a unique invariant measure that is absolutely continuous (with respect to the volume measure) on the set defined by a given choice of the conserved quantities. In Sect. 7, we consider the Lorenz-96 and Euler models when fixed forcing and dissipation are added. When appropriate dissipation is chosen, the latter model corresponds to a random splitting of Galerkin approximations of 2D Navier–Stokes. We again construct random splittings of these models, prove convergence, and show that if the forcing is not aligned with the equations’ invariant structures (such as fixed points) then both randomly split Lorenz-96 and Galerkin approximations of 2D Navier–Stokes have a unique invariant measure and the distribution starting from any initial condition converges exponentially to this measure.
2 Random Splitting in a General Setting
Let \({\mathcal {V}:=}\{V_k\}_{k=1}^n\) be a family of completeFootnote 2, \(\mathcal {C}^2\) vector fieldsFootnote 3 on \(\mathbb {R}^d\) and set
Denote the flow of \(\dot{x}=V(x)\) by \(\Psi \) and the flow of \(\dot{x}=V_k(x)\) by \(\varphi ^{(k)}\). \(\Psi \) is the true dynamics. To construct a random dynamics approximating \(\Psi \), fix \(h>0\), let \(\tau =(\tau _k)_{k=1}^\infty \) be a sequence of independent exponential random variables with mean 1, and set \(h\tau :=(h\tau _k)_{k=1}^\infty \). The approximating dynamics, henceforth referred to as the random splitting associated to \(\mathcal {V}\) or just random splitting for short, is the Markov chain \(\{\Phi ^m_{h\tau }\}_{m=0}^\infty \) defined by \(\Phi ^0_{h\tau }:=I\) and, for \(m>0\),
where I is the identity on \(\mathbb {R}^d\), \(\Phi :=\varphi ^{(n)}\circ \cdots \circ \varphi ^{(1)}\), and \(\Phi ^m\) is the m-fold composition of \(\Phi \). Note that \(h\tau _k\overset{\scriptscriptstyle {iid}}{\sim }\text {Exp}(1/h)\). Therefore, starting from the current step, the next step of the chain is obtained by following each \(V_k\) for \(\text {Exp}(1/h)\) time in order from \(k=1\) to n. The chain is Markovian because the random times are independent. Its transition kernel \(P_h\) acts on measurable functions \(f:\mathbb {R}^d\rightarrow \mathbb {R}\) via
where \(\mathbb {R}_+:=(0,\infty )\), \(t=(t_1,\dots ,t_n)\), and \(dt=dt_1\cdots dt_n\).
Remark 2.1
Throughout this paper the superscripts k in \(\varphi ^{(k)}\) and subscripts k in \(V_k\) are understood to be taken modulo n if \(k\ \text {mod}\ n\ne 0\) and to be n otherwise. For example, if \(n=3\),
Also, the t in \(\Phi ^m_t\) is always a sequence \(t=(t_1,\dots , t_{mn})\) or, more generally, \(t=(t_k)_{k=1}^\infty \), so that
Note that the above is a composition of mn flows, as in (2.2).
Remark 2.2
All results in this paper remain true if at each step we randomly permute indices in the composition \(\Phi \). That is, given a current state x, the next step is \(\varphi ^{(\sigma (n))}_{h\tau _n}\circ \cdots \circ \varphi ^{(\sigma (1))}_{h\tau _1}(x)\) where \(\sigma \) is a random permutation of \(\{1,\dots ,n\}\). This yields both additional randomness and an avenue to higher order approximations of the true dynamics [10, 11, 32, 46, 47]. We forgo this more general setting however to keep exposition more approachable and notationally light.
Remark 2.3
The times are assumed exponentially distributed for convenience. All results extend to any distribution on \([0,\infty )\) with positive density on \((0,\varepsilon )\) for some \(\varepsilon >0\) and exponential tails. The second condition, which is not sharp, guarantees sufficient concentration of averages of random flow times \(\tau _i\) in Lemmas A.3 and A.4 and is required for the convergence results as \(h \rightarrow 0\) in Sect. 4. The first condition is used in Sects. 5 and 6 to guarantee sufficient flexibility in the trajectories of the split systems of interest to establish the global irreducibility needed for ergodicity.
2.1 \(\mathcal {V}\)-Orbits
Throughout this paper we often restrict attention to certain subsets of \(\mathbb {R}^d\) affiliated with the family of vector fields \(\mathcal {V}\). Specifically, for each x in \(\mathbb {R}^d\) define the \(\mathcal {V}\)-orbit of x by
This is the set of points in \(\mathbb {R}^d\) that can be reached by the split dynamics starting from x in any finite number of steps and over arbitrary positive and negative times. \(\mathcal {X}(x)\) is well-defined since the \(V_k\) are complete. Furthermore, since the time vectors t in (2.4) admit coordinates that are 0,
Hence (2.4) agrees with the definition of \(\mathcal {V}\)-orbits from control theory [26, 50]. The collection \(\{\mathcal {X}(x):x\in \mathbb {R}^d\}\) partitions \(\mathbb {R}^d\) and if the random splitting \(\{\Phi ^m_{h\tau }\}\) associated to \(\mathcal {V}\) starts in \(\mathcal {X}(x)\) then it stays in \(\mathcal {X}(x)\) for all time. Therefore the \(\{\Phi ^m_{h\tau }\}\) previously defined on \(\mathbb {R}^d\) also defines a Markov chain on \(\mathcal {X}(x)\) whenever it starts in \(\mathcal {X}(x)\), and its transition kernel \(P_h\) acts on measurable functions \(f:\mathcal {X}(x)\rightarrow \mathbb {R}\) as in (2.3). When x is arbitrary or clear from context, we denote \(\mathcal {X}(x)\) by \(\mathcal {X}\). A classic result from geometric control theory, sometimes called the orbit theorem, says if every \(V_k\) in \(\mathcal {V}\) is \(\mathcal {C}^r\) for some \(1\le r\le \infty \) (respectively, analyticFootnote 4), then every \(\mathcal {X}\) is an immersed \(\mathcal {C}^r\) (respectively, analytic) submanifold of \(\mathbb {R}^d\) [26]. In particular, each \(\mathcal {X}\) has a Riemannian structure induced by the Euclidean structure on \(\mathbb {R}^d\) and an associated volume form, henceforth denoted \(\lambda \), sometimes called Hausdorff or Lebesgue measure on \(\mathcal {X}\), which serves as our reference measure on \(\mathcal {X}\).
Remark 2.4
The orbit theorem says every \(\mathcal {V}\)-orbit \(\mathcal {X}\) is an immersed but not necessarily embedded submanifold of \(\mathbb {R}^d\). For example, \(\mathcal {X}\) can be a “figure-eight" curve in \(\mathbb {R}^2\) [37, Example 5.19]. Nevertheless, every \(\mathcal {X}\) is a manifold with a volume form induced by the ambient Euclidean structure, and every vector field in \(\mathcal {V}\) restricts to a vector field on \(\mathcal {X}\) by construction. In particular, \(\{V_i(x):V_i\in \mathcal {V}\}\) is a set of vectors in the tangent space \(T_x\mathcal {X}\) for every x in \(\mathcal {X}\). Throughout this paper submanifold will mean immersed submanifold without further qualification. See [36, 37] for more on immersed and embedded submanifolds in general, and [26] for more on \(\mathcal {V}\)-orbits in particular.
3 Ergodicity
Let \(\mathcal {V}:=\{V_k\}_{k=1}^n\) be a family of complete, \(\mathcal {C}^2\) vector fields on \(\mathbb {R}^d\) as before and fix a p-dimensional \(\mathcal {V}\)-orbit \(\mathcal {X}\). Also fix \(h>0\) and let \(P_h\) be the transition kernel of the associated random splitting on \(\mathcal {X}\). A measure \(\mu \) on \(\mathcal {X}\) is \(P_h\)-invariant if \(\mu P_h=\mu \) where \(\mu P_h\) is defined by
for all bounded, measurable functions \(f:\mathcal {X}\rightarrow \mathbb {R}\). The main result of this section is
Theorem 3.1
If there exists \(x_*\) in \(\mathcal {X}\) such that for all x in \(\mathcal {X}\) there is an m in \(\mathbb N\) and t in \(\mathbb R_+^{mn}\) with \(\Phi ^m(x,t)=x_*\) and \(D_t\Phi ^m(x,t):T_{t}\mathbb {R}^{mn}_+\rightarrow T_{x_*}\mathcal {X}\) surjective, then \(P_h\) has at most one invariant measure on \(\mathcal {X}\). Moreover, if such a measure exists, it is absolutely continuous with respect to the volume form on \(\mathcal {X}\).
Here \(T_{x_*}\mathcal {X}\) is the tangent space of \(\mathcal {X}\) at \(x_*\). The proof of Theorem 3.1 follows from the classical minorization condition [25, 41, 43, 48] given by the following result, which appears in [6, Lemma 6.3].
Lemma 3.2
Let \(p\le m\) and let \(F:\mathcal {X}\times U\rightarrow \mathcal {X}\) be \(\mathcal {C}^1\), where U is an open subset of \(\mathbb {R}^m\). Suppose \(\tau \) is a U-valued random variable with continuous density \(\rho \). If for some (x, t) in \(\mathcal {X}\times U\) the map \(D_tF(x,t)\) is surjective and \(\rho \) is bounded below by \(c_0>0\) on a neighborhood of t, then there exists a constant \(c>0\) and neighborhoods \(U_x\) of x and \(U_*\) of \(x_*:=F(x,t)\) such that
for all y in \(U_x\) and B in the Borel \(\sigma \)-algebra \(\mathcal {B}(\mathcal {X})\) of \(\mathcal {X}\) (recall \(\lambda \) is the volume form on \(\mathcal {X}\)).
Remark 3.3
In our setting, \(U=\mathbb {R}^{mn}_+\), \(F=\Phi ^m:\mathcal {X}\times \mathbb {R}^{mn}_+\rightarrow \mathcal {X}\), and \(\tau =(\tau _1,\dots ,\tau _{mn})\) with the \(\tau _k\) independent exponential random variables with mean h. In this case, if \(x_*=\Phi ^m(x,t)\) for some t with \(D_t\Phi ^m(x,t)\) surjective, then Lemma 3.2 guarantees the existence of a constant \(c>0\) and neighborhoods \(U_x\) of x and \(U_*\) of \(x_*\) such that, for all y in \(U_x\) and B in \(\mathcal {B}(\mathcal {X})\),
Proof of Theorem 3.1
The proof is by contradiction. Suppose \(\mu _1\) and \(\mu _2\) are distinct \(P_h\)-invariant probability measures. Assume without loss of generality both \(\mu _i\) are ergodic and therefore mutually singular [12, 28]. Then there exist disjoint measurable sets \(A_1\) and \(A_2\) partitioning \(\mathcal {X}\) such that \(\mu _i(B)=\mu _i(B\cap A_i)\) for all B in \(\mathcal {B}(\mathcal {X})\). Fix \(x_i\) in the support of \(\mu _i\) so, by definition, \(\mu _i\) gives positive measure to every neighborhood of \(x_i\). By hypothesis and Remark 3.3 there exist \(c_i>0\), \(m_i\in \mathbb {N}\), and neighborhoods \(U_i\) of \(x_i\) and \(U_*\) of \(x_*\) such that \(P_h^{m_i}(x,\cdot )\ge c_i\lambda (\cdot \cap U_*)\) for all x in \(U_i\). So,
for all B in \(\mathcal {B}(\mathcal {X})\). In particular, \(\mu _i(B)=0\) implies \(\lambda (B\cap U_*)=0\) since \(c_i\) and \(\mu _i(U_i)\) are strictly positive. But \(\mu _1(A_2\cap U_*)=\mu _2(A_1\cap U_*)=0\) and hence
which is a contradiction. Absolute continuity of the \(P_h\)-invariant measure \(\mu \), provided it exists, follows from uniqueness together with the fact that the absolutely continuous part, \(\mu _{ac}\), and singular part, \(\mu _s\), of \(\mu \) are \(P_h\)-invariant whenever \(\mu \) is [6, Proposition 2.7]. Specifically, since \(\mu _{ac}\) and \(\mu _s\) are \(P_h\)-invariant and there can be at most one \(P_h\)-invariant probability measure, either \(\mu _{ac}\) or \(\mu _s\) is identically zero. Since \(\mu _{ac}\) is nonzero by (3.4), it follows that \(\mu _s=0\) and therefore \(\mu =\mu _{ac}\). \(\square \)
Remark 3.4
The invariant measure \(\mu \), which we defined as a fixed point of the left action of the Markov semigroup P, is often called a stationary measure. This is since the sequence of random variables generated by the Markov process starting from an initial condition distributed according to \(\mu \) will be stationary. This helps distinguish from the invariant measure of the skew flow \((x, \tau )\mapsto (\Psi _{h\tau }(x), \vartheta \tau )\) where the shift \(\vartheta \) is defined by \(\vartheta \tau : \tau = (\tau _1,\tau _2,\cdots ) \mapsto (\tau _{n+1},\tau _{n+2},\cdots )\). The skew perspective captures more information about the dynamics and is preferred for many questions. However, we will not pursue it here as it complicates the simple picture we explore in this note.
3.1 The Lie bracket condition
Let \(\mathfrak {X}(\mathcal {X})\) be the Lie algebra of smooth vector fields on \(\mathcal {X}\) and assume throughout this subsection the vector fields in \(\mathcal {V}\) are smooth. Then the smallest subalgebra \({{\,\textrm{Lie}\,}}(\mathcal {V})\) of \(\mathfrak {X}(\mathcal {X})\) containing \(\mathcal {V}\) is well-defined, and for each x in \(\mathcal {X}\) the collection \({{\,\textrm{Lie}\,}}_x(\mathcal {V}):=\{V(x):V\in {{\,\textrm{Lie}\,}}(\mathcal {V})\}\) is a subspace of the tangent space \(T_x\mathcal {X}\) at x.
Definition 3.5
The Lie bracket condition holds at x in \(\mathcal {X}\) if \({{\,\textrm{Lie}\,}}_x(\mathcal {V})=T_x\mathcal {X}\).
The Lie bracket condition is called the weak bracket condition in [6] and Condition B in [2]. Both papers also consider a strong bracket condition (Condition A) which is used for results about continuous time Markov processes and is therefore not needed here. The Lie bracket condition has the following important consequence. Note \(\mathbb {R}_+:=(0,\infty )\) throughout this paper.
Theorem 3.6
If the Lie bracket condition holds at a point \(x_*\) in \(\mathcal {X}\) then for every neighborhood U of \(x_*\) in \(\mathcal {X}\) and every \(T>0\) there exists an x in U, an m, and a t in \(\mathbb {R}^{mn}_+\) such that \(\sum _{k=1}^{mn} t_k\le T\) and \(t\mapsto \Phi ^m(x_*,t)=x\) is a submersion at t, i.e. \(D_t\Phi ^m(x_*,t):T_t\mathbb {R}^{mn}\rightarrow T_x\mathcal {X}\) is surjective.
A version of Theorem 3.6 appears as Theorem 3.1 in [26]; the equivalent version given here is better suited to random splitting and other classes of piecewise deterministic Markov processes. See Theorem 5 in [2] and Theorem 4.4 in [6] and their corresponding discussions for details. Intuitively, Theorem 3.6 says that if the Lie bracket condition holds at \(x_*\) then, as a consequence of surjectivity, the random splitting can move in any infinitesimal direction from \(x_*\) in arbitrarily small positive times. The next result is an immediate consequence of Theorems 3.1 and 3.6.
Corollary 3.7
Suppose there is an \(x_*\) in \(\mathcal {X}\) at which the Lie bracket condition holds and such that for every x in \(\mathcal {X}\) there is an \(m \in \mathbb N\) and a \(t \in \mathbb {R}^{mn}_+\) satisfying \(\Phi ^m(x,t)=x_*\). Then \(P_h\) has at most one invariant measure on \(\mathcal {X}\). Furthermore, if such a measure exists, it is absolutely continuous with respect to the volume form \(\lambda \).
One benefit of Corollary 3.7 is that it replaces the need to check the surjectivity assumption of Theorem 3.1, which can be challenging in practice, with the verification of the Lie bracket condition. The next result provides a further convenience in the analytic setting which will be used in the specific examples considered below. See [26, 45] for further discussion and proof.
Theorem 3.8
. Suppose the vector fields in \(\mathcal {V}\) are analytic. If the Lie bracket condition holds at any point in \(\mathcal {X}\), then it holds at every point in \(\mathcal {X}\).
Corollary 3.9
Suppose the vector fields in \(\mathcal {V}\) are analytic and there is a point \(x_*\) in \(\mathcal {X}\) such that for every x in \(\mathcal {X}\) there is an \(m \in \mathbb N\) and a \(t \in \mathbb {R}^{mn}_+\) satisfying \(\Phi ^m(x,t)=x_*\). If the Lie bracket condition holds at any point in \(\mathcal {X}\), then \(P_h\) has at most one invariant measure on \(\mathcal {X}\). Furthermore, if such a measure exists, it is absolutely continuous with respect to the volume form \(\lambda \).
Proof
Since the Lie bracket condition holds at one point in \(\mathcal {X}\), it also holds at \(x_*\) by Nagano’s theorem. The result follows by Corollary 3.7. \(\square \)
4 Convergence as Mean Time Step Goes to Zero
A well-known result in the operator splitting literature is that the error incurred in approximating \(\Psi \) by the deterministic splitting scheme \(\Phi _h=\varphi ^{(n)}_h\circ \cdots \circ \varphi ^{(1)}_h\) is \(\mathcal {O}(h)\) [39]. That is, \(\Phi _h\) converges to the true dynamics \(\Psi \) at worst linearly in h as \(h\rightarrow 0\). In this section we give analogous results for random splitting; the pluralized “results" reflects that with randomness comes several different notions of convergence. Specifically, we give two main results. First, as in the deterministic case, the transition kernel \(P_h\) of random splitting converges to the true dynamics linearly in h as \(h\rightarrow 0\). Second, random splitting converges almost-surely to the true dynamics as \(h\rightarrow 0\). Each case requires a slightly different notion of \(\mathcal {O}(h)\). These statements are made precise in Theorems 4.1 and 4.5, respectively, but to make sense of them we first introduce the appropriate setting.
The following assumption on \(\mathcal {V}\)-orbits is used throughout this section.
Assumption 1
\(\mathcal {X}(x)\) is bounded for each x in \(\mathbb {R}^d\).
Since the vector fields \(V_k\) are assumed \(\mathcal {C}^2\), Assumption 1 implies the \(V_k\) are bounded with bounded first and second derivatives on every \(\mathcal {X}\). In particular,
where \(\Vert V_k(x)\Vert \) is the usual Euclidean norm, \(\Vert DV_k(x)\Vert \) is the operator norm of the linear map \(DV_k(x):\mathbb {R}^d\rightarrow \mathbb {R}^d\), and \(\Vert D^2V_k(x)\Vert \) is the operator norm of the bilinear map \(D^2V_k(x):\mathbb {R}^d\times \mathbb {R}^d\rightarrow \mathbb {R}^d\).
For a positive integer k let \(\mathcal {C}^k(\mathcal {X})\) be the space of k-times continuously differentiable functions \(f:\mathcal {X}\rightarrow \mathbb {R}\). For f in \(\mathcal {C}^k(\mathcal {X})\) and \(\ell \le k\), the \(\ell \)th derivative \(D^\ell f(x)\) of f at x is a multilinear operator from \(\otimes _1^\ell T_x\mathcal {X}\) to \(\mathbb {R}\). The operator norm of \(D^\ell f(x)\) is then
where \(\eta \in \otimes _1^\ell T_x\mathcal {X}\). Defining \(D^0 f(x) :=f(x)\), this in turn induces a norm on \(\mathcal {C}^k(\mathcal {X})\) given by
The corresponding operator norm is denoted \(\Vert \cdot \Vert _{k\rightarrow k}\). More generally, for any k and \(\ell \) define a norm \(\Vert \cdot \Vert _{k\rightarrow \ell }\) on the space of linear operators \(L:\mathcal {C}^k(\mathcal {X})\rightarrow \mathcal {C}^\ell (\mathcal {X})\) by
We make frequent use of the submultiplicity of \(\Vert \cdot \Vert _{k\rightarrow \ell }\). Namely, if A and B are bounded linear operators from \(\mathcal {C}^j(\mathcal {X})\) to \(\mathcal {C}^k(\mathcal {X})\) and from \(\mathcal {C}^k(\mathcal {X})\) to \(\mathcal {C}^\ell (\mathcal {X})\), respectively, then
The results below are stated in terms of semigroups of the flows \(\Psi \) and \(\varphi ^{(j)}\), which are \(\mathcal {C}^2\) by assumption. Hence for all \(k\le 2\) the semigroup \(\{S_t\}_{t\ge 0}\) corresponding to \(\Psi \) acts on \(f\in \mathcal {C}^k(\mathcal {X})\) via
and, similarly, the semigroup \(\{\widetilde{S}^{(j)}_t\}_{t\ge 0}\) corresponding to \(\varphi ^{(j)}\) is given by
In particular, m steps of random splitting corresponds to \(\widetilde{S}^m_{h\tau } :=\widetilde{S}^{(1)}_{h\tau _1}\cdots \widetilde{S}^{(mn)}_{h\tau _{mn}}\) with superscripts taken as in Remark 2.2. The transition kernel \(P^m_h\) and semigroup composition \(\widetilde{S}^m_{h\tau }\) are related via
With the above notation we now present the two main results of this section, Theorems 4.1 and 4.5, which follow from Lemmas 4.2 and 4.6, respectively. The full proofs of both lemmas are given in the Appendix, but we discuss the general idea behind each at the end of this section.
Theorem 4.1
Suppose Assumption 1 holds and fix \(t>0\). For all h sufficiently small and satisfying \(mh=t\) for some \(m\in \mathbb {N}\), there exists a constant C(t) depending on t but not on h such that
Lemma 4.2
If Assumption 1 holds then there exists a constant C such that
for all h sufficiently small.
Recalling from (4.4) that \(P_h=\mathbb {E}(\widetilde{S}_{h\tau }^1)\), informally Lemma 4.2 states that the average difference between one step of random splitting and the true dynamics is \(\mathcal {O}(h^2)\) for sufficiently small h. For any finite time interval [0, t] we can leverage this result to approximate \(S_t\) by successive steps of \(P_h\). Specifically, choose h sufficiently small so that (4.6) holds and there exists an integer m with \(mh=t\). Then the composition \(P^m_h\) corresponds to \(\mathcal {O}(1/h)\) steps of \(P_h\). Consequently, since the difference between \(P_h\) and \(S_h\) is \(\mathcal {O}(h^2)\), the difference between \(P^m_h\) and \(S_t\) is \(\mathcal {O}(h)\).
A possible interpretation of \(\mathcal {O}(h^p)\) is given in Theorem 4.1 and Equation (4.5). This choice matched the particular results being proved. In Theorem 4.5 and Lemma 4.6 below, we chose to quantify the error in another fashion, though the same order of magnitude statements hold true. The same basic reasoning can be used to prove the following.
Remark 4.3
As we have made minimal assumptions on the splitting, we will only be able to deduce that \(P_h-S_h= \mathcal {O}(h^2)\). In specific examples, it is often possible to arrange the splitting so that \(P_h-S_h= \mathcal {O}(h^p)\) with \(p > 2\). An example of a higher order splitting is Strang splitting [39]. Alternatively, higher order can also be obtained by fully randomizing the order [10] or randomly choosing between one ordering and its reverse [32, 46, 47].
Proof of Theorem 4.1
Let h be sufficiently small that (4.6) holds and such that \(mh=t\) for some \(m\in \mathbb {N}\). The quantity of interest can be written as the following telescoping sum:
For any k and continuous function f with \(\Vert f\Vert _0=1\),
Hence \(\Vert P^k_h\Vert _{0\rightarrow 0}=1\). Similarly, since \(mh=t\) implies \(h(m-k)\le t\) for \(k\ge 0\) and \(\mathcal {X}\) is bounded by Assumption 1 (so \(\Psi \) and its first and second derivatives are bounded on \(\mathcal {X}\), uniformly on [0, t]),
for some K(t) depending on t but not h. Hence, by submultiplicity, (4.7), and Lemma 4.2, we have
where \(C(t) :=K(t)C\), with C the constant from (4.6) in Lemma 4.2.\(\square \)
Remark 4.4
Theorem 4.1 had the relation \(h=t/m\), while in the almost-sure results below we will take \(h=t/m^2\) (note we explicitly write \(t/m^2\), making no reference to the variable h). The reason, loosely speaking, is that the transition kernel depends only on the expectation of the randomness, while the almost-sure results additionally depend on fluctuations of the randomness about its mean. For example, Lemma 4.6 prepares for an application of the Borel-Cantelli lemma by establishing the summability of probabilities of “large” fluctuations over sets of \(\mathcal {O}(m)=\mathcal {O}(1/\sqrt{h})\) cycles. This is discussed in more detail at the end of this section and worked out in full in the Appendix.
Theorem 4.5
Suppose Assumption 1 holds and fix \(t>0\). Then for any \(\varepsilon > 0\),
Lemma 4.6
Suppose Assumption 1 holds and fix \(t>0\). Then for any \(\varepsilon > 0\),
Remark 4.7
There is a relationship between Theorems 4.1 and 4.5 and the averaging results from Wentzell-Freidlin theory, e.g., [21, Theorem 2.1, Chapter 7]. This theorem builds on local results like Lemmas 4.2 and 4.6. Since our averaging is that of a deterministic, cyclic process, the calculations can be more explicit and more precise. We are able to prove using simple calculations that the local error is \(\mathcal O(h^2)\) which leads to \(\mathcal O(h)\) error over order one times. Typical soft averaging results prove a local error of o(h) Footnote 5 and then simply conclude that the order one error goes to 0. Of course, more careful calculations are possible in the averaging setting. However, the simple structure of our problems, where the only randomness is in the switching times and not the orderings, allows for the direct, straightforward proofs we have presented.
Proof of Theorem 4.5
By the Borel-Cantelli Lemma it suffices to show
Consider the telescoping sum
For any k and continuous function f with \(\Vert f\Vert _0=1\),
Hence \(\Vert \widetilde{S}^{(k-1)}_{t\tau /m^2}\Vert _{0\rightarrow 0}=1\). Similarly, since \((m-k)t/m\le t\) for \(k\ge 0\) and \(\mathcal {X}\) is bounded by Assumption 1 (so \(\Psi \) and its first and second derivatives are bounded on \(\mathcal {X}\), uniformly on [0, t]),
for some K(t) depending on t but not h. Hence, by submultiplicity, (4.10), and Lemma 4.6, we have
and hence by Lemma 4.6,
\(\square \)
We conclude this section by sketching the proofs of Lemmas 4.2 and 4.6, which are inspired by ideas from [10, 11] and given in full detail in the Appendix. In what follows we set \(\widetilde{S}_{h\tau }:=\widetilde{S}^1_{h\tau }\) and define \(\widetilde{S}^{(i,j)}_{h\tau }:=\widetilde{S}^{(i)}_{h\tau }\cdots \widetilde{S}^{(j)}_{h\tau }\). Consider first Lemma 4.2. Differentiating \(\widetilde{S}_{h\tau }\) in h gives
Next, commute \(\widetilde{S}^{(1,k-1)}_{h\tau }\) and \(V_k\) via the Lie bracket \([\widetilde{S}^{(1,k-1)}_{h\tau }, V_k]:=\widetilde{S}^{(1,k-1)}_{h\tau }V_k-V_k\widetilde{S}^{(1,k-1)}_{h\tau }\) to get
where \(V_\tau :=\sum _{k=1}^n \tau _kV_k\) and \(E_{h\tau }:=\sum _{k=1}^n \tau _k[\widetilde{S}^{(1,k-1)}_{h\tau }, V_k]\widetilde{S}^{(k,n)}_{h\tau }\). So, by variation of constants,
Loosely speaking, the first integrand is \(\mathcal {O}(h)\) because
cancels first order terms from the full expression, \(S_{h-r}(V_\tau -V)\widetilde{S}_{r\tau }\). On the other hand the second integrand is \(\mathcal {O}(h)\) because the bracket terms in \(E_{h\tau }\) also cancel first order terms (most of the work of the proof in the Appendix is making these two statements precise). Thus, integrating these \(\mathcal {O}(h)\) terms over the interval (0, h), the difference on the right side of (4.11) is \(\mathcal {O}(h^2)\) as claimed.
The proof of Lemma 4.6 is structurally similar to the one sketched above in that it again begins with an application of variation of constants. However, in this case our analysis aims to establish a concentration estimate and can therefore not rely solely on the vanishing first moment in as in (4.12). Instead, morally speaking, we expect the desired estimate to hold because of the averaging of iid flow times \(\tau _i\) in the homologue of (4.12). In order to capture such averaging, we cannot limit our analysis to one cycle, but have to consider a variation of constants estimate on \(m\gg 1\) such cycles:
where now \(E_{r\tau }^{(m)} :=\sum _{k=1}^{mn} \tau _k[\widetilde{S}^{(1,k-1)}_{h\tau }, V_k]\widetilde{S}^{(k,n)}_{h\tau }\). Note that the second term contains \(\mathcal O(m^2)\) commutators, each contributing \(\mathcal O(h^2)\) as in the previous analysis. On the other hand, once integrated, the difference in the first integral, \(\sum _{k=1}^{mn} (\tau _k-1)V_k\), scales as \(\mathcal O(\sqrt{m}h )\) by the central limit theorem for iid random variables. In order to have both terms decay faster than \(\mathcal O(1/m)\) we choose \(m\sim \mathcal O(1/\sqrt{h})\), whence the relation \(h=t/m^2\).
5 Conservative Lorenz-96
In this section, we apply results of the previous sections to the conservative Lorenz-96 model introduced in Sect. 1.2. There we noted the vector field V in (1.5) splits as (1.6) where the flow of each \(V_k\) is a rotation. Specifically, each flow \(\varphi ^{(k)}\) of the splitting vector fields
is a rotation in the \((x_k,x_{k+1})\)-plane with angular velocity \(x_{k-1}\) and therefore preserves Euclidean norm, which we refer to as the energy of the system. Throughout this section \(\mathcal {V}\) denotes the family of splitting vector fields corresponding to (5.1). By the preceding remarks every \(\mathcal {V}\)-orbit lies on a sphere centered at the origin in \(\mathbb {R}^n\). In particular, we have
Proposition 5.1
All the finite time convergence results of Sect. 4 apply to the random splitting (1.6) of conservative Lorenz-96 starting from any initial condition.
Proof
The splitting vector fields are smooth and Assumption 1 is satisfied since every \(\mathcal {V}\)-orbit lies on a sphere, so the conclusions of Theorems 4.1 and 4.5 both hold.\(\square \)
5.1 Ergodicity
A complicating feature of the conservative Lorenz-96 dynamics is that it has fixed points. Specifically, a point x in \(\mathbb {R}^n\) is a fixed point of (1.5) if and only if \(\sum _{k=1}^n (x_k^2+x_{k+1}^2)x_{k-1}^2=0\). For a 2-sphere embedded in \(\mathbb {R}^3\) these are precisely the 6 points of intersection of the sphere with the standard coordinate axes. In higher dimensions, these fixed points lie on submanifolds that in general have dimension greater than 0 and in particular are no longer isolated. Nevertheless, nonfixed points cannot reach fixed points in finite time; in fact, the following result shows there is precisely one \(\mathcal {V}\)-orbit on each sphere that contains all the nonfixed points on that sphere.
Proposition 5.2
If x is a nonfixed point of the conservative Lorenz-96 equations, then
where \(R=\Vert x\Vert \). Furthermore the random splitting of conservative Lorenz-96 is uniquely ergodic on \(\mathcal {X}\): for all \(h>0\) the volume form \(\lambda \) is the unique \(P_h\)-invariant probability measure on \(\mathcal {X}\).
Corollary 5.3
For all \(h>0\) the volume form \(\lambda \) on \(S^{n-1}(R):=\{x\in \mathbb {R}^n:\Vert x\Vert =R\}\) is the unique ergodic \(P_h\)-invariant probability measure on \(S^{n-1}(R)\) that is absolutely continuous with respect to \(\lambda \).
Proof
\(\mathcal {X}\) in (5.2) is the complement of a closed, measure zero subset of \(S^{n-1}(R)\). Thus \(\lambda \) on \(\mathcal {X}\) agrees with the volume form, also denoted \(\lambda \), on \(S^{n-1}(R)\). In particular, \(\lambda \) is an ergodic invariant measure on \(S^{n-1}(R)\) by Proposition 5.2. Since ergodic invariant measures are mutually singular, see e.g. [23], any other ergodic invariant measure on \(S^{n-1}(R)\) must be singular with respect to \(\lambda \).\(\square \)
Proof of Proposition 5.2
Let x be a nonfixed point with \(\Vert x\Vert =R\). We first prove x can be mapped via the split dynamics to \(x_*:=(R/\sqrt{n},\dots , R/\sqrt{n})\). Since x is a nonfixed point, i.e. \(\sum _{k=1}^n (x_k^2+x_{k+1}^2)x_{k-1}^2\ne 0\), there exists k such that \(x_{k-1}\ne 0\) and \(x_k\) or \(x_{k+1}\) is nonzero. Now, since \(\varphi ^{(k)}\) is a rotation in the \((x_k,x_{k+1})\)-plane with angular velocity \(x_{k-1}\), there is a \(t_k\) such that both k and \(k+1\) coordinates of \(\varphi ^{(k)}(x,t_k)\) are nonzero. By the same argument there is a \(t_{k+1}\) such that the k, \(k+1\), and \(k+2\) coordinates of \(x^{(k+1)}=\varphi ^{(k+1)}(\varphi ^{(k)}(x,t_k),t_{k+1})\) are nonzero. Continuing this way, we see x can be made to have nonzero coordinates in a finite number of steps.
Now since \(\Vert x\Vert =R\), there exists an index k such that \(|x_k|\ge R/\sqrt{n}\). If \(k=n\), rotate in the \((n-1,n)\)-plane so that the nth coordinate of x becomes \(R/\sqrt{n}\). If \(k<n\), rotate in the \((k,k+1)\)-plane so that the \(k+1\) coordinate of x becomes \(R/\sqrt{n}\), then rotate in the \((k+1,k+2)\)-plane so that the \(k+2\) coordinate of x becomes \(R/\sqrt{n}\), and so on until the nth-coordinate of x becomes \(R/\sqrt{n}\). Such rotations are always possible because all coordinates of x are nonzero by the preceding argument. Thus, whether \(k=n\) or \(k<n\) we can evolve x via the split dynamics so that its last coordinate, \(x_n\), is \(R/\sqrt{n}\). In particular, there now must exist an index \(k<n\) such that \(|x_k|\ge R/\sqrt{n}\). By the same procedure, and without disturbing the last coordinate, we can use rotations to make the \(n-1\) coordinate of x equal \(R/\sqrt{n}\). Iterating this process maps x to \(x_*\) in a finite number of steps. Since x was arbitrary it follows that every nonfixed point with norm R belongs to the same orbit, which is precisely the set \(\mathcal {X}\) defined in (5.2).
Next we prove there is at most one \(P_h\)-invariant measure on \(\mathcal {X}\). First note that since the split dynamics are all rotations, the above procedure mapping any arbitrary x in \(\mathcal {X}\) to \(x_*\) can be done using strictly positive times. Furthermore, by direct observation, the matrix of splitting vector fields
has rank \(n-1\) whenever all \(x_k\) are nonzero. In particular, since \(\mathcal {X}\) is an open subset of the sphere of radius R and therefore itself an \(n-1\)-dimensional manifold, the splitting vector fields \(V_k\) span \(T_{x_*}\mathcal {X}\). Hence \({{\,\textrm{Lie}\,}}_{x_*}(\mathcal {V})=T_{x_*}\mathcal {X}\). By Corollary 3.7, \(P_h\) has at most one invariant measure on \(\mathcal {X}\).
We next show Lebesgue measure, \({{\,\textrm{Leb}\,}}\), in \(\mathbb R^n\) is \(P_h\)-invariant. Let \(S^{n-1}(R)\) denote the sphere of radius R in \(\mathbb {R}^n\) and let \({{\,\textrm{Leb}\,}}^{(k)}_t:=(\varphi ^{(k)}_t)_\#{{\,\textrm{Leb}\,}}\) be the pushforward of \({{\,\textrm{Leb}\,}}\) by \(\varphi ^{(k)}_t\). Since the \(V_k\) in (5.1) are divergence free, the continuity equation, intended in the weak sense,Footnote 6 becomes
The latter is a transport equation with constant initial condition \({{\,\textrm{Leb}\,}}^{(k)}_0\equiv 1\) and hence \({{\,\textrm{Leb}\,}}^{(k)}_t={{\,\textrm{Leb}\,}}\) for all t. Because the trajectories of all \(V_k\) conserve the energy \(\Vert x\Vert \), we fiber \(\mathbb R^n\) using spherical coordinates \((r, \vartheta ) \in \mathbb R_+ \times S^{n-1}(R)\). In these coordinates, we have that \(V_k(r, \vartheta ) = 0\, \partial _r + r v_k(\vartheta ) \nabla _\vartheta \) and by a change of coordinates of the divergence operator the stationarity equation becomes
where \({{\,\textrm{div}\,}}_\vartheta \) denotes the angular terms of the divergence in spherical coordinates, and \(u(r), w(\vartheta )\) result from the change of variables. Hence, we can factor the solution \(\lambda (r, \vartheta ) = \bar{\lambda }(\vartheta |r) \cdot \mu _R(d r) = \bar{\lambda }(\vartheta ) \cdot \mu _R(d r)\), where \( \bar{\lambda }(\vartheta |r)\) is the conditional density of Lebesgue measure on a fiber. The measure \(\bar{\lambda }\) solves \(w(\vartheta ) {{\,\textrm{div}\,}}_\vartheta (\bar{\lambda }(\vartheta ) v_k(\vartheta ) ) = 0\) and is therefore invariant under the flows \(\varphi _t^{(k)}\). By rotational symmetry of \({{\,\textrm{Leb}\,}}\), we must have that \(\bar{\lambda }(\vartheta )\) is the volume form on \(S^{n-1}(R)\). And since \(\mathcal {X}\) is a full-measure open subset of \(S^{n-1}(R)\), the volume form \(\lambda \) on \(\mathcal {X}\) is just the restriction of \(\bar{\lambda }\) to \(\mathcal {X}\). Thus \(\lambda \) is also invariant under the flows and is therefore the unique \(P_h\)-invariant measure on \(\mathcal {X}\).\(\square \)
6 Galerkin Approximations of 2D Euler
The 2D Euler equations on the torus \(\mathbb {T}\) are obtained from the 2D Navier–Stokes equations (1.1) by dropping the dissipative and forcing terms:
where, as before, \(u:\mathbb {T}\times \mathbb {R}\rightarrow \mathbb {R}^2\) is the fluid velocity, \(p:\mathbb {T}\times \mathbb {R}\rightarrow \mathbb {R}\) the fluid pressure, and
In this section we construct a convenient random splitting of (6.1). To do so we first write (6.1) in vorticity form and apply the Fourier transform. This yields an infinite system of ODEs which we truncate to systems of arbitrary finite size, referred to throughout as Galerkin approximations. Finally, we split these Galerkin approximations and apply the results of Sects. 3 and 4 to the associated random splitting.
6.1 Constructing the splitting
The vorticity formulation of (6.1) is obtained by taking the curl of velocity. Specifically, setting \(q:={{\,\textrm{curl}\,}}(u):=\partial _2u_1-\partial _1u_2\), equation (6.1) becomes
where \(\mathcal {K}:=\nabla ^\perp (-\Delta )^{-1}\) with \(\nabla ^\perp :=(\partial _2,-\partial _1)\). To express (6.2) in Fourier space, set \(\mathbb {Z}^2_\infty :=\mathbb {Z}^2\setminus \{(0,0)\}\) and let \(\{e_j\}_{j\in \mathbb {Z}^2_\infty }\) be the orthonormal basis of \(L^2(\mathbb {T},\mathbb {R})\) given by \(e_j(x):=(2\pi )^{-1}\exp (ix\cdot j)\). Then \(q(x,t)=\sum _{j\in \mathbb {Z}^2_\infty }q_j(t)e_j(x)\) where
is the jth Fourier mode of q. Here \(\langle \cdot ,\cdot \rangle _{L^2}\) is the standard inner product on \(L^2(\mathbb {T},\mathbb {R})\) with \(\overline{e}_j\) denoting the complex conjugate of \(e_j\). The jth Fourier mode of \((\mathcal {K}q\cdot \nabla )q\) is
where
with \(\langle \cdot ,\cdot \rangle \) the standard inner product in \(\mathbb R^2\), \(\ell ^\perp :=(\ell _2,-\ell _1)\), and \(|\ell |^2:=\ell _1^2+\ell _2^2\). Therefore
and hence \(\dot{q}_j=-\sum _{k+\ell =j} C_{k\ell }q_kq_\ell \). Moreover, since q is real-valued,
which gives \(q_j=\overline{q}_{-j}\). In particular,
Writing each Fourier mode \(q_j=a_j+ib_j\) in terms of real and imaginary parts then gives
Thus the Fourier modes of solutions to the Euler equation in vorticity form satisfy
for all \(j\in \mathbb {Z}^2_\infty \). While (6.4) could be studied as is, notice the constraint \(q_{-j}=\overline{q}_j\) implies \(a_{-j}=a_j\) and \(b_{-j}=-b_j\), which introduces redundancy in (6.4). Therefore we restrict to the subset
Specifically, by straightforward computation together with the identities \(a_{-j}=a_j\), \(b_{-j}=-b_j\), and \(C_{k\ell }=C_{-k,-\ell }=-C_{-k,\ell }=-C_{k,-\ell }\), the system (6.4) can be re-expressed as
for all \(j\in \mathbb {Z}^2_+\) with each sum running over all pairs \(k,\ell \in \mathbb {Z}^2_+\) satisfying the specified identity. To split (6.5) note that for any \(j,k,\ell \in \mathbb {Z}^2_+\) satisfying \(j+k-\ell =0\) (and hence \(\ell -j-k=0\)) we can isolate from the above sums exactly 6 equations involving only these indices:
For reasons to be made clear shortly, we recombine (6.6) into 4 groups of 3 equations:
Let \(V_{a_ja_ka_\ell }\), \(V_{a_jb_kb_\ell }\), \(V_{b_ja_kb_\ell }\), and \(V_{b_jb_ka_\ell }\) be the vector fields associated to the equations of (6.7) from left to right. For example, \(V_{a_ja_ka_\ell }\) is the vector field on \(\mathbb {R}^\infty \) mapping the \(a_j\) coordinate to \(-C_{k\ell }a_ka_\ell \), the \(a_k\) coordinate to \(-C_{j\ell }a_ja_\ell \), the \(a_\ell \) coordinate to \(-C_{jk}a_ja_k\), and all other coordinates to 0. These are the splitting vector fields. Our sought-after splitting is
where V is the vector field associated to (6.5). As noted earlier, our focus will be on finite truncations of the infinite-dimensional system (6.5). Thus we fix an integer \(N\ge 2\) and define the \(N\text {th}\) Galerkin approximation of (6.5) to be (6.5) with indices restricted to the set
The splitting (6.8) remains valid in this finite-dimensional setting, bearing in mind that now all indices lie in \(\mathbb {Z}^2_N\). By a slight abuse of notation, we denote the finite-dimensional counterpart of V by V and similarly for the splitting vector fields. Thus our family of splitting vector fields is
Since \(\mathbb {Z}^2_N\) has cardinality \(2N(N+1)\) and each index \(j\in \mathbb {Z}^2_N\) has an associated \(a_j\) and \(b_j\) coordinate, these are all vector fields on \(\mathbb {R}^n\), where throughout this section we set \(n:=4N(N+1)\). We also abuse notation by conflating elements j in \(\mathbb {Z}^2_N\) with elements j in \(\{1,\dots ,n/2\}\), which can be formalized via any bijection between the two sets. Moreover, we denote elements of \(\mathbb {R}^n\) by \(q=(a_j,b_j)_{j=1}^{n/2}\). This reflects that the \(a_j\) and \(b_j\) coordinates of q in \(\mathbb {R}^n\) are in one-to-one correspondence with the real and imaginary parts of the jth mode of q.
Remark 6.1
There are many possible splittings of a given equation. For the Euler equations, we made the particular choice we have so that both energy and enstrophy are conserved but the dynamics of each splitting are still relatively easily understood. We could have further decomposed the three-dimensional dynamics in the above splitting into a number of two-dimensional dynamics, similar in spirit to the decomposition into rotations used in Lorenz-96. However, that would have necessitated only conserving either the energy or the enstrophy.
6.2 Conservation and convergence
The conservative Lorenz-96 dynamics discussed in Sect. 5 conserves Euclidean norm (energy in that case) and therefore remains on whichever sphere it starts on. So too do the flows of each of the splitting vector fields (5.1). We now show a similar thing is true for Galerkin approximations of 2D Euler. Define the energy and enstrophy of \(q=(a_j,b_j)_{j=1}^{n/2}\) by
respectively (note the aforementioned conflation of j in \(\mathbb {Z}^2_N\) and \(j\in \{1,\dots ,n/2\}\) in the summations). Straightforward computation shows that for all \(j,k,\ell \in \mathbb {Z}^2_N\) with \(j+k-\ell =0\),
which in turn implies that under the dynamics (6.5),
for all \(q\in \mathbb {R}^n\). That is, both energy and enstrophy are conserved by the true dynamics and the set
is invariant under (6.5). This is a well-established property of the 2D Euler equations. Moreover, if we flow by \(V_{a_ja_ka_\ell }\) starting from q for any \(j,k,\ell \in \mathbb {Z}^2_N\) with \(j+k-\ell = 0\), then
and similarly \(\partial _t\mathcal {E}(q)=0\). The same computation shows energy and enstrophy are conserved by all of the splitting vector fields in \(\mathcal {V}\), which provides the motivation for recombining (6.6) as (6.7) in the first place. In particular, we have
Proposition 6.2
All of the finite time convergence results of Sect. 4 apply to the random splitting (6.8) of every Galerkin approximation of 2D Euler starting from any initial condition.
Proof
The splitting vector fields are smooth and Assumption 1 is satisfied since every \(\mathcal {V}\)-orbit lies on a sphere, so the conclusions of Theorems 4.1 and 4.5 both hold.\(\square \)
6.3 Ergodicity
Fix energy and enstrophy values E and \(\mathcal {E}\) and set \(\mathcal {Q}_0:=\mathcal {Q}_0(E,\mathcal {E})\). \(\mathcal {Q}_0\) is an \(n-2\)-dimensional submanifold of \(\mathbb {R}^n\) where, recall, \(n:=4N(N+1)\); denote its volume form by \(\lambda \). As with conservative Lorenz-96, the \(N\text {th}\) Galerkin approximation of 2D Euler has points q in \(\mathcal Q_0\) whose \(\mathcal {V}\)-orbits are not dense in \(\mathcal Q_0\). For example, any q with exactly one nonzero coordinate is a fixed point of (6.5) and of all the equations (6.7). In this subsection we characterize these points and prove there is exactly one \(\mathcal {V}\)-orbit \(\mathcal {Q}\) on \(\mathcal {Q}_0\) such that \(\lambda (\mathcal {Q})=1\). By a slight abuse of notation we denote the restriction of \(\lambda \) to \(\mathcal {Q}\) by \(\lambda \) as well. We then show there exists a unique \(P_h\)-invariant measure on \(\mathcal {Q}\) – and hence on \(\mathcal {Q}_0\) – that is absolutely continuous with respect to \(\lambda \) on \(\mathcal {Q}_0\).
To make the above statements precise, we begin by enumerating the coordinates of \(q \in \mathbb R^n\) by extending the indices \(j\in \mathbb Z_N^2\) with an element \(\chi \in \{+, -\}\) which denotes the real (\(+\)) or imaginary (−) part of the corresponding mode. Then, for \(\textbf{j} = (j, \chi ) \in \mathbb Z_N^2\times \{+,-\}\), we define the type of such coordinates via the function \(\textrm{T}(\textbf{j}) = \chi \) so that \(q_{\textbf{j}}\) is identified with \(a_j\) if \(\textrm{T}(\textbf{j}) = +\) and with \(b_j\) if \(\textrm{T}(\textbf{j}) = -\). For \(q\in \mathbb R^n\), denote by
the set of “active” coordinates. To streamline our analysis, we define the following operation to expand the set \(\mathcal A\):
where \(\textrm{T}(\textbf{j})\cdot \textrm{T}(\textbf{k})\) is \(+\) if \(\textrm{T}(\textbf{j})= \textrm{T}(\textbf{k})\) and − if \(\textrm{T}(\textbf{j})\ne \textrm{T}(\textbf{k})\). This operation corresponds to extending the nonzero coordinates of q from \({\varvec{j}},{\varvec{k}}\) to \({\varvec{\ell }}\) by letting a triple \(\iota = {\varvec{j} \varvec{k} \varvec{\ell }}\) interact.
We assume that the initial condition is sufficiently nondegenerate, as stated in the following assumption similar to the one made in [24, Thm. 2.1].
Definition 6.3
. A point q in \(\mathcal {Q}_0\) is nondegenerate if there exists \(M \in \mathbb N\), \(j^*\in \mathbb Z_N^2\) with \(|j^*|^2>1\), and an ordered set of indices \(({\varvec{\ell }}_i)_{i=1}^M\) in \(\mathbb Z_N^2\times \{+,-\}\) such that
Definition 6.4
. A point in \(\mathbb {R}^n\) is generic if all of its coordinates are nonzero.
Remark 6.5
Every point with all coordinates nonzero is a nonfixed point of conservative Lorenz-96; similarly, every generic point in \(\mathcal {Q}_0\) is nondegenerate. However, comparing (6.13) with (5.2), we see the conditions defining nondegenerate points in \(\mathcal {Q}_0\) are more complicated than the easily characterized nonfixed points of conservative Lorenz-96. The difference is that, unlike spheres in conservative Lorenz-96, there are proper subspaces of \(\mathcal {Q}_0\) which are invariant for our splitting of the Euler dynamics but are not fixed points. One such subspace is the collection of purely real points; another is the purely imaginary points.
The following analogs of Proposition 5.2 and Corollary 5.3 are the main results of this subsection.
Proposition 6.6
Every nondegenerate point in \(\mathcal {Q}_0\) belongs to the same \(\mathcal {V}\)-orbit, \(\mathcal {Q}\), and for all \(h>0\) there exists a unique \(P_h\)-invariant probability measure on \(\mathcal {Q}\). Furthermore, this unique invariant measure is absolutely continuous with respect to the volume form on \(\mathcal {Q}\).
Proof
By Proposition 6.9 there is a \(q^*\) in \(\mathcal {Q}_0\) such that every nondegenerate point in \(\mathcal {Q}_0\) belongs to the \(\mathcal {V}\)-orbit \(\mathcal {Q}:=\mathcal {Q}(q^*)\), and for every q in \(\mathcal {Q}\) there is an \(m \in \mathbb N\) and a \(t \in \mathbb {R}^{mn}_+\) satisfying \(\Phi ^m(q,t)=q^*\). By Lemma 6.15 the splitting vector fields span the tangent space of \(\mathcal {Q}\) at generic points; in particular, the Lie bracket condition holds at every generic point. Thus, since the vector fields in \(\mathcal {V}\) are analytic, Corollary 3.9 implies \(P_h\) has at most one invariant probability measure on \(\mathcal {Q}\), which is necessarily the one identified by Lemma 6.14.\(\square \)
Corollary 6.7
For all \(h>0\) the measure from Proposition 6.6 is the unique \(P_h\)-invariant ergodic probability measure on \(\mathcal {Q}_0\) that is absolutely continuous with respect to the volume form on \(\mathcal {Q}_0\).
Proof
Let \(\lambda \) denote volume form on \(\mathcal {Q}_0\). Since \(\mathcal {Q}\) contains all generic points in \(\mathcal {Q}_0\), it is an open subset of \(\mathcal {Q}_0\) satisfying \(\lambda (\mathcal {Q})=1\). In particular, the unique invariant measure on \(\mathcal {Q}\) from Proposition 6.6 is an ergodic invariant measure on \(\mathcal {Q}_0\). Since ergodic invariant measures are mutually singular, see e.g. [23], any other ergodic invariant measure on \(\mathcal {Q}_0\) must be singular with respect to \(\lambda \).\(\square \)
Remark 6.8
Continuing in the spirit of Remark 6.1, we observe the splitting in (6.7) splits \(q_j\) into its real and imaginary parts. We could have chosen another basis of \(\mathbb {C}\) and even randomized over this choice for each evolution of an interacting triple \((j,k,\ell )\). More explicitly, if we define \(e(\vartheta )=cos(\vartheta )+i \sin (\vartheta )\) then \(e(\vartheta )\) and \(e(\vartheta +\frac{\pi }{2})\) form an orthonormal basis of \(\mathbb {C}\) for any \(\vartheta \). Then we can drive a system analogous to (6.7) by setting \(q_\ell = a_\ell ^\vartheta e(\vartheta ) + b_\ell ^\vartheta e(\vartheta +\frac{\pi }{2})\). As the form is similar to (6.7), the results of the paper extend to this system. In particular, by randomizing the choice of \(\vartheta \) for each such triple \((j,k,\ell )\), we can relax the characterization of nondegenerate points in Definition 6.3 by destroying some of the invariant structures discussed in Remark 6.5 which obstruct controllability starting from some initial conditions.
6.3.1 Controllability.
In this section, we prove controllability of the dynamics (6.7). By conservation of energy and enstrophy, the \(\mathcal {V}\)-orbit of an initial condition \(q^{(0)}\) in \(\mathcal {Q}_0\) is contained in \(\mathcal {Q}_0\). Recalling the definition of extended indices in Sect. 6.3, we define the set of interacting coordinate triples
Then, for any such triple of interacting indices \(\iota \in \mathcal I\) we denote by \(\varphi _{t}^\iota ~:~\mathcal Q_0 \rightarrow \mathcal Q_0\) the flow of the ODEs (6.7) evolving the corresponding coordinates. The dynamics we consider is then obtained by cycling through the set \(\mathcal I\) in a fixed or random order. For any \(\iota \in \mathcal I\) we denote by \(\Phi _{t}^\iota ~:~\mathcal Q_0\rightarrow \mathcal Q_0\) the flow of (6.7) after one such full cycle where the flow times are chosen as
so that for any \(q \in \mathcal Q_0\), \(\Phi _{t}^\iota (q) = \varphi _{t}^\iota (q)\).
Let \(q^* = (a_j^*,b_j^*)_{j=1}^{n/2}\) be the point in \(\mathcal {Q}_0\) defined as follows:
for \(a^*, b^*\ge 0\) and \(q_{j}^* = (0,0)\) for all other \(j\in \mathbb Z_N^2\). We show below that for any nondegenerate initial condition \(q^{(0)} \in \mathcal Q_0\) the system can be driven to this unique point \(q^*\) .
Proposition 6.9
For any nondegenerate point \(q^{(0)} = (a_j^{(0)},b_j^{(0)})_{j=1}^{n/2}\) in \(\mathcal {Q}_0\) there exists \(M \in \mathbb N\) and a joint sequence of transition times and coordinate triples \(\{(\iota (m),\tau (m))\}_{m = 1}^M\) such that
Thus every nondegenerate point belongs to the same orbit, \(\mathcal {Q}:=\mathcal {Q}(q^*)\). Furthermore, for every q in \(\mathcal {Q}\) there is an \(m \in \mathbb N\) and a \(t \in \mathbb {R}^{mn}_+\) such that \(\Phi ^m(q,t)=q^*\).
Recall from Remark 2.3 that the only property of the exponential distribution used in this proof is the fact that it has a density around 0, allowing to choose the flow of some of the split vector fields to be the identity as, e.g., in (6.14). This comment also applies to the proof of Proposition 5.2 in the previous section. We further note that, since the trajectories of each of the \(\varphi ^{\iota (m)}\) in the above theorem are periodic (see Lemmas 6.11 and 6.12), each of these transformations can be inverted by choosing complementary transition times to \(\tau (m)\). Inverting the order of the transformations yields the converse statement:
Corollary 6.10
For any nondegenerate point \(q^{(0)} = (a_j^{(0)},b_j^{(0)})_{j=1}^{n/2}\) in \(\mathcal {Q}_0\) there exists \(M \in \mathbb N\) and a joint sequence of transition times and coordinate triples \(\{(\tilde{\iota }(m),\tilde{\tau }_0(m))\}_{m = 1}^M\) such that
While the Corollary 6.10 will not be used in the remainder of the paper, it offers an alternative to Theorem 3.8 in proving that, when applying Corollary 3.7, it is sufficient to verify that Lie bracket condition holds at any point in \(\mathcal Q\), not necessarily at \(q^*\).
Proof of Proposition 6.9
We prove the first statement by first evolving the initial condition \(q^{(0)}\) into a sufficiently nondegenerate state \(q^{(1)}\), and then by sequentially shrinking the set of active components of the coordinate vector q to the ones listed in (6.15). We realize this program by following, in order, the sequence of steps described below, represented schematically in Fig. 1:
-
(0)
If it is not the case at initialization, Lemma B.1 shows that we can “prepare” our state by evolving \(q^{(0)}\) into \(q^{(1)}\) such that
$$\begin{aligned} a_{(1,0)}^{(1)}, b_{(1,0)}^{(1)},a_{(0,1)}^{(1)}, b_{(0,1)}^{(1)},a_{(1,1)}^{(1)},b_{(1,1)}^{(1)}\ne 0\,, \end{aligned}$$(6.17)as represented in Fig. 1a.
-
(1)
As shown in Lemma B.2, we can then transform \(q^{(1)}\) into \(q^{(2)}\) with the property
$$\begin{aligned} q_{j}^{(2)}=(0,0)\qquad \text {for all } j\in \mathbb Z_N^2\setminus \{(0,1),(1,0),(1,1),(N,N),(-N,N)\}\,, \end{aligned}$$(6.18)as represented in Fig. 1b, and
$$\begin{aligned} a_{(1,0)}^{(2)}, b_{(1,0)}^{(2)}, a_{(0,1)}^{(2)}, b_{(0,1)}^{(2)},a_{(1,1)}^{(2)},b_{(1,1)}^{(2)} \ne 0\,. \end{aligned}$$(6.19) -
(2)
Lemma B.3 shows that we can then “transfer” the amplitude from modes \(a_{(-N,N)}\), \(b_{(-N,N)}\), \(a_{(N,N)}\) to mode \(b_{(N,N)}\) i.e., we can reach a state \(q^{(3)}\) that satisfies
$$\begin{aligned} q_{j}^{(3)}=(0,0)\qquad \qquad \,&\text {for all } j\in \mathbb Z_N^2\setminus \{(0,1),(1,0),(1,1),(N,N)\}\,, \end{aligned}$$(6.20)$$\begin{aligned} q_{(N,N)}^{(3)}=(0,b_{(N,N)}^{(3)})\quad&\text {with }b_{(N,N)}^{(3)} \ge 0\,. \end{aligned}$$(6.21)This state is represented in Fig. 1c.
-
(3)
Finally, Lemma B.5 shows that we can “transfer” the amplitude from modes \(a_{(1,1)}\), \(b_{(1,1)}\), \(b_{(0,1)}\) and \(b_{(1,0)}\) to modes \(a_{(0,1)}, a_{(1,0)}, b_{(N,N)}\) so that, after the transfer, \(a_{(0,1)} = a_{(1,0)}\) and \(a_{(0,1)},a_{(1,0)}, b_{(N,N)}>0\) i.e., we reach the unique state \(q^*\) from (6.15) (represented in Fig. 1d).
This proves the first part of Proposition 6.9, which immediately implies nondegenerate points in \(\mathcal {Q}_0\) belong to \(\mathcal {Q}=\mathcal {Q}(q^*)\). Let q be any point in \(\mathcal {Q}\). By definition there exist m and t in \(\mathbb {R}^{mn}\) such that
Note that the times \(t_i\) may be negative; however, by Lemma 6.11 each \(\varphi ^{(i)}\) is periodic. Thus for every \(t_i\le 0\) there exists a \(t_i'>0\) such that \(\varphi ^{(i)}_{t_i}(q') = \varphi ^{(i)}_{t_i'}(q')\) for all \(q'\) in \(\mathcal {Q}\). Let \(t'\) be t with all \(t_i \le 0\) replaced by \(t_i'\). Then \(t'\) is in \(\mathbb {R}^{mn}_+\) and \(\Phi ^m(q,t')=\Phi ^m(q,t)=q^*\). \(\square \)
Defining similarly to (6.126.22) the operation of removing a coordinate from the set \(\mathcal A\)
we now proceed to construct (sequences of) times \(\tau \) and interacting triples \(\iota \) such that the transformations \(\Phi _\tau ^{(\iota )}\) of q implement the operations \(\oplus , \ominus \) from (6.126.22), (6.126.22) through the flow of (6.7), i.e., such that \(\mathcal A(q) \oplus {\varvec{\ell }} = \mathcal A(\Phi _\tau ^{\iota }(q))\) or \(\mathcal A(q) \ominus {\varvec{\ell }} = \mathcal A(\Phi _\tau ^{\iota }(q))\) respectively. To do so we separate the possible interactions between the modes in two types:
Note that these two types of interactions are exhaustive, since if \(|j|=|k|=|\ell |\), \(C_{j\ell } = C_{jk} = C_{k\ell } = 0\).
The following preparatory lemmas describe the properties of these two types of interactions that we will leverage throughout our proof. The first one shows that for interactions of type a), ordering the indices so that \(|j|<|k|<|\ell |\), it is always possible to activate all modes \({\varvec{j}}, {\varvec{k}}, {\varvec{\ell }}\) or to distribute the amplitude of the k-mode to the j and \(\ell \)-modes reaching, in finite time, a state with \(q_{\varvec{k}}=0\). As we show in the proof below, while such a point with \(q_{\varvec{k}}=0\) always exists on the orbits of (6.7), this point is reachable in finite time for \(\iota = {\varvec{j} \varvec{k} \varvec{\ell }}\in \mathcal I\) with \(|j|< |k|< |\ell |\) only if
where \(E_{\iota }(q)\) and \(\mathcal E_{\iota }(q)\) denote the energy and enstrophy of the coordinates in \(\iota \in \mathcal I\):
In the following lemma and throughout the section, we abuse notation slightly by defining \(\text {sign}(x) = +1\) for \(x \in [0,\infty )\) and \(-1\) otherwise.
Lemma 6.11
Fix \(\iota = {\varvec{j} \varvec{k} \varvec{\ell }}\in \mathcal I\) with \(|j|<|k|<|\ell |\). Let q be a nondegenerate point in \(\mathcal {Q}_0\) satisfying (6.24) and let \(q_{\varvec{l}}= 0\) for at most an index \({\varvec{l}}\in \{{\varvec{j}},{\varvec{k}},{\varvec{\ell }}\}\). Then the orbit of \(V_\iota \) is periodic and there exist \(\tau _-^\iota , \tau _+^\iota \ge 0\) such that
-
(a)
\(\varphi _{\tau _-^\iota }^\iota (q) = q'\) with \(q_{\varvec{k}}' = 0\), \(\textrm{sign}(q_{\varvec{j}}) = \textrm{sign}(q_{\varvec{j}}')\) and \(\textrm{sign}(q_{\varvec{\ell }}) = \textrm{sign}(q_{\varvec{\ell }}')\),
-
(b)
\(\varphi _{\tau _+^\iota }^\iota (q) = q''\) with \(q_{\varvec{j}}'', q_{\varvec{k}}'', q_{\varvec{\ell }}'' \ne 0\), \(\textrm{sign}(q_{\varvec{j}}) = \textrm{sign}(q_{\varvec{j}}'')\) and \(\textrm{sign}(q_{\varvec{\ell }}) = \textrm{sign}(q_{\varvec{\ell }}'')\).
Furthermore, if \(|j|^2 \mathcal E_{\iota }(q)< E_{\iota }(q)< |k|^2 \mathcal E_{\iota }(q)\), there exists \(\tau _=^\iota \ge 0\) such that
-
(c)
\(\varphi _{\tau _=^\iota }^\iota (q) = q'''\) with \(q_{\varvec{\ell }}''' = 0\), \(\textrm{sign}(q_{\varvec{j}}) = \textrm{sign}(q_{\varvec{j}}''')\) and \(\textrm{sign}(q_{\varvec{k}}) = \textrm{sign}(q_{\varvec{k}}''')\).
Proof
We consider the intersection between the sphere and the ellipse corresponding to the enstrophy and the energy in the coordinates \(\iota = {\varvec{j} \varvec{k} \varvec{\ell }}\in \mathcal I\) of interest, resulting in the set
This set is represented in Fig. 2. We observe that this set has exactly 2 disjoint simply connected components when \(|j|^2 \mathcal E_{\iota }(q)< E_{\iota }(q)< |k|^2 \mathcal E_{\iota }(q)\) and \(|k|^2 \mathcal E_{\iota }(q)< E_{\iota }(q)< |\ell |^2 \mathcal E_{\iota }(q)\). These components are diffeomorphic to \(S^1\). By continuity the dynamics are limited to one such component of \(\mathcal Q_\iota \). Furthermore, \(|\dot{q}|^2\) is uniformly bounded away from 0 on each such component: the fixed points of (6.7) must have at least two coordinates vanishing, which cannot be realized on the curves of interest. Therefore the dynamics on these sets are periodic.
We start by proving part (b) of the lemma. If \(q_{\varvec{j}}, q_{\varvec{k}}, q_{\varvec{\ell }}\ne 0\) the result follows by choosing \(\tau _+^\iota =0\). Else, if \(q_{\varvec{l}}=0\) for \({\varvec{l}}\in \iota \) the result follows immediately choosing \(\tau _+^\iota \) small enough by combining the continuity of the flow \(\Phi _t^\iota \) and the fact that \(\dot{q}_{\varvec{l}}= C_{l'l''}q_{{\varvec{l}}'}q_{{\varvec{l}}''}\ne 0\) for \(\{{\varvec{l}}',{\varvec{l}}''\} = \iota \setminus \{{\varvec{l}}\}\).
To prove part (a) we consider the cases where \(|j|^2 \mathcal E_{\iota }(q)< E_{\iota }(q)< |k|^2 \mathcal E_{\iota }(q)\) and \(|k|^2 \mathcal E_{\iota }(q)< E_{\iota }(q)< |\ell |^2 \mathcal E_{\iota }(q)\) separately. In the first case, we see that there is no point \(q \in \mathcal Q_\iota \) with \(q_{\varvec{j}}= 0\): if that were the case we would have
contradicting our assumption. Consequently the points \((p_{\varvec{j}},0,p_{\varvec{\ell }}), (p_{\varvec{j}},0,-p_{\varvec{\ell }})\) with \(p_{\varvec{\ell }}>0\), \(\textrm{sign}(p_{\varvec{j}})=\textrm{sign}(q_{\varvec{j}})\) and
belong to the same connected component as q and by the lower bound on the velocity on this connected component both these points are reachable in finite time from q. This also proves part (c) by continuity of the dynamics. The second case where \(|k|^2 \mathcal E_{\iota }(q)< E_{\iota }(q)< |\ell |^2 \mathcal E_{\iota }(q)\) can be handled analogously: in this case we have \(\mathcal Q_\iota \cap \{q_{\varvec{\ell }}=0\} = \emptyset \) and we can reach \((p_{\varvec{j}},0,p_{\varvec{\ell }}), (-p_{\varvec{j}},0,p_{\varvec{\ell }})\) with \(p_{\varvec{j}}>0\), \(\textrm{sign}(p_{\varvec{\ell }})=\textrm{sign}(q_{\varvec{\ell }})\) in finite time.\(\square \)
The following lemma considers interactions of type b) in (6.23). Recalling the definition \(j^\perp :=(j_2, -j_1)\) we show that interactions with \(|j|=|k|\ne |\ell |\) leave component \({\varvec{\ell }}\) fixed and move \({\varvec{j}}, {\varvec{k}}\) in a circle at constant angular speed.
Lemma 6.12
Fix an unordered interacting triple \(\iota = {\varvec{j} \varvec{k} \varvec{\ell }}\) with \(|k| = |j|\) and \(q_{\varvec{\ell }}\ne 0\). For all \(\vartheta \) in \([0,2\pi )\) there exists \(t\ge 0\) such that \(\varphi _{t}^\iota (q) = q'\) with \((q_{\varvec{j}}',q_{\varvec{k}}') = \sqrt{q_{\varvec{j}}^2+q_{\varvec{k}}^2}(\cos (\vartheta ), \sin (\vartheta ))\) and \(q_{\varvec{\ell }}' = q_{\varvec{\ell }}\,\).
Corollary 6.13
Fix an (unordered) interacting triple \(\iota = {\varvec{j} \varvec{k} \varvec{\ell }}\in \mathcal I\) with \(|k| = |j|\) and let \(q_{\varvec{\ell }}, q_{\varvec{k}}\ne 0\). Then there exist \(\tau _+^{\iota }, \tau _-^{\iota } \ge 0 \) such that \((\varphi _{\tau _+^\iota }^{\iota } (q))_{\textbf{j}} > 0\) and \((\varphi _{\tau _-^\iota }^{\iota } (q))_{\textbf{j}} = 0\) .
Proof of Lemma 6.12
Recall from (6.3) that if \(|j|=|k|\ne |\ell |\) we have \(C_{jk} = 0\). This implies that, by our choice of \(|k| = |j|\), \(\dot{q}_{\varvec{\ell }}= 0\) and \(q'_{\varvec{\ell }}= q_{\varvec{\ell }}\). Again by (6.3) and since to have an interacting triple \(\ell = j+k\) we must have
so that
This implies that the dynamics of the vector \(\tilde{q} :=(q_{\varvec{j}},q_{\varvec{k}})\) can be written as \(\dot{\tilde{q}} = \tilde{C} \tilde{q}^{\perp }\) for \(\tilde{C} :=C_{j\ell }q_{\varvec{\ell }}\ne 0\), proving the claim.\(\square \)
6.3.2 Existence of invariant measure.
As with conservative Lorenz-96, each vector field of the 2D Euler splitting is divergence free and so Lebesgue measure in \(\mathbb {R}^n\) is invariant. Consequently, we have
Lemma 6.14
Let \(\lambda \) denote the Lebesgue measure on \(\mathbb R^n\). The measure obtained by conditioning \(\lambda \) to lie on \(\mathcal Q \subset Q_0(E,\mathcal {E})\), (or equivalently conditioned to lie on \(Q_0(E,\mathcal {E})\)) is \(P_h\)-invariant.
Proof
As in the proof of Proposition 5.2 we have that Lebesgue measure in \(\mathbb R^n\) is \(P_h\)-invariant. Since the vector fields \(V_k\) defined in (6.9) are divergence free, the continuity equationFootnote 7 reads
Because each flow \(\varphi ^{(k)}\) conserves energy E and enstrophy \(\mathcal E\), we locally fiber \(\mathbb R^n\) using coordinates \((E, \mathcal E, \vartheta ) \in \mathbb R_+\times \mathbb R_+ \times \mathbb R^{n-2}\). In these coordinates, we have \(V_k(E, \mathcal E, \vartheta ) = 0\, \partial _E + 0\, \partial _{\mathcal E} + v_k(E, \mathcal E, \vartheta ) \nabla _\vartheta \) so by a change of coordinates of the divergence operator the stationary equation becomes
where \({{\,\textrm{div}\,}}_\vartheta \) denotes the “angular” terms of the divergence in \((E, \mathcal E, \vartheta )\)-coordinates, and \(u(E, \mathcal E, \vartheta )\) result from the change of variables. Hence, we can factor the solution \(\lambda (E, \mathcal E, \vartheta ) = \bar{\lambda }(\vartheta |E, \mathcal E) \cdot \lambda ^\perp (E, \mathcal E)\), where \( \bar{\lambda }(\vartheta |E, \mathcal E)\) is the conditional density of Lebesgue measure on a fiber, solving \(u(E, \mathcal E, \vartheta ) {{\,\textrm{div}\,}}_\vartheta (\bar{\lambda }(\vartheta |E, \mathcal E) v_k(E, \mathcal E, \vartheta )) = 0\) for any choice of \(E/(2N^2)< \mathcal E < E\). This proves the invariance of \(\bar{\lambda }(\vartheta |E, \mathcal E)\) under the flow map for any value of the flow times \(\tau \). The stationarity of \(\bar{\lambda }(\vartheta )\) under \(P_h\) follows immediately as in Proposition 5.2\(\square \)
6.3.3 Spanning.
For \(j,k,\ell \in \mathbb {Z}^2_N\) with \(j+k-\ell =0\) define \(M_{jk\ell }\) to be the matrix
and let \(M_{jk\ell }'\) and \(M_{jk\ell }''\) be the 4-by-4 and 2-by-4 matrices consisting of the bottom four and bottom two rows of \(M_{jk\ell }\), respectively. Straightforward Gaussian elimination shows that M, \(M'\), and \(M''\) have ranks 4, 3, and 2 whenever \(C_{jk}\), \(C_{j\ell }\), \(C_{k\ell }\), \(a_j\), \(b_j\), \(a_k\), \(b_k\), \(a_\ell \), and \(b_\ell \) are nonzero.
Recalling that a point \(q\in \mathbb {R}^n\) is generic if all its coordinates are nonzero, we have
Lemma 6.15
The family of vector fields
span \(T_q\mathcal {Q}\) at every generic point q in \(\mathcal {Q}\).
Proof
Fix a generic point q in \(\mathcal {Q}\). The main idea of the proof is to choose an enumeration of \(\mathbb {Z}^2_N\) and a subset of vector fields from \(\mathcal {V}\) so that the matrix made up of these vector fields evaluated at q is in a convenient form whose rank is readily deduced. Formally, the enumeration is the bijection \(F:\mathbb {Z}^2_N\rightarrow \{1,\dots ,2N(N+1)\}\) given by
Figure 2 gives this enumeration in the case \(N=4\). Informally, F starts at (1, 0), then counts lattice points from left to right along the horizontal line \(y=1\) until the point (2, 1), which corresponds to \(4+N\). It then assigns \(5+N\) to (2, 0) and continues counting along the line \(y=1\). From there it moves up to the lines \(y=2\), \(y=3\), and so on, counting from left to right along each. Finally, it goes back down to the line \(y=0\) and counts the remaining indices from left to right.
The motivation for F is that all horizontally-adjacent indices \((j_1,j_2)\) and \((j_1+1,j_2)\) form an interacting triple together with (1, 0). Fix for the moment an integer \(y>1\) and consider the yth horizontal line of \(\mathbb {Z}^2_N\); that is, the points with second coordinate y. These are outlined by red blocks in Fig. 3. By the preceding remarks we can choose the vector fields corresponding to the horizontally-adjacent indices and concatenate them column-wise to get the block matrix
Here, slightly abusing notation, each \(M_{y,i}''\) is the 2-by-4 matrix consisting of the bottom two rows of (6.33) for the indices \(j = (1,0), k= (i-1,y), \ell = (j,y)\) and
where \(j=(1,0), k=(-N,y), \ell =(-N+1,y)\) and \(j'=(0,1)\) and \(k'=(-N+1,y-1)\). This is \(M'\) with two columns from the interacting triple \((0,1), (-N+1,y-1), (-N+1,y)\) adjoined to the end. Note that these adjoined columns contribute entries in the coordinates corresponding to (0, 1) and \((-N+1,y-1)\), but these come before all indices in the yth row for our ordering. By adding the latter two columns, \(\widetilde{M}_y\) has rank 4 at any generic point. Further, since each \(M_{{y,j}}''\) has rank 2, each \(B_y\) has rank \(4+2(2N-1) = 4N+2\). This establishes spanning of the red blocks in Fig. 3.
For the blue block we perform a similar procedure to the one above to get
where \(M_{123}\) is the matrix from (6.33) for the interacting triple \((1,0), (-N,1), (-N+1,1)\), each \(M''\) is as before, and \(\widehat{M}\) is the 6-by-8 matrix
located at the rows corresponding to \(N+3, N+4\), and \(N+5\). The reason for \(\widehat{M}\), and for considering the blue block separately, is that \(C_{jk}=0\) when \(j=(1,0)\) and \(k=(0,1)\). The matrix M has rank 6 at a generic point. Since \(M_{123}\) has rank 4, \(\widehat{M}\) has rank 6, and each of the \(2N-3\) remaining \(M''\) blocks has rank 2, the matrix \(B_y\) has rank \(4+6+2(2N-3) = 4N+4\).
Finally, none of the indices of the green block interact with (1, 0) since the \(C_{jk}\) are all 0 in this case. However, by an entirely similar procedure to above, we can use the interactions between (0, 1), (x, 0), and (x, 1) for \(x>1\) to get a rank \(2(N-2)\) block matrix for the last \(N-2\) coordinates of the form
where \(\tilde{M}_{{0,x}}'' = M_{(0,1),(x,0),(x,1)}''\) for \(M_{jk\ell }''\) consisting of the two bottom rows of (6.33). Combining the above results we observe that there is an ordering of indices and vector fields such that the matrix whose columns consist of these vector fields has the form
Moreover, B has rank
at every generic point in \(\mathcal {Q}\). Now since the dynamics conserve energy and enstrophy, every tangent vector to \(\mathcal {Q}\) is perpendicular to the normal vectors for these two quantities which are linearly independent at every generic point. Therefore the maximum dimension of \(T_q\mathcal {Q}\) is \(n-2\), and by the above argument we have shown the vector fields \(\mathcal {V}\) span \(T_q\mathcal {Q}\) at q. \(\square \)
7 Adding Forcing and Dissipation: Lorenz-96 and 2D Navier–Stokes
In this section we add dissipation and fixed body forcing to both conservative Lorenz-96 and Galerkin approximations of 2D Euler by introducing a new vector field
to the splittings constructed in Sects. 5 and 6, where \(\nu >0\) is an arbitrary constant, F a fixed nonzero vector with nonnegative entries, and \(\Lambda \) a linear operator satisfying
for some \(\alpha >0\). For the remainder of this section we consider random splittings associated to families of complete, smooth vector fields \(\mathcal {V}=\{V_k\}_{k=0}^n\) on \(\mathbb {R}^d\) satisfying.
Assumption 2
\(V_0\) is as in (7.1) and the flows of the other \(V_k\) conserve Euclidean norm.
Fix \(h>0\) and let \(P_h\) be the transition kernel of a random splitting satisfying Assumption 2. When \(\Lambda \) is the identity matrix, the addition of \(V_0\) to the splitting of conservative Lorenz-96 gives a splitting of the full Lorenz-96 model, (1.4), while for 2D Euler the resulting \(V_0\) corresponds to a friction or drag term sometimes called Ekman damping. When \(\Lambda \) is diagonal with diagonal entry \(|k|^2\) in the spots associated toFootnote 8\(a_k\) and \(b_k\), which corresponds to a Laplacian written in Fourier space, the addition of \(V_0\) to the splitting of 2D Euler gives a splitting of 2D Navier–Stokes, (1.1).
Note that the dissipative part of \(V_0\) in (7.1) depends linearly on x whereas the forcing is constant. Thus dissipation dominates forcing for sufficiently large x and, since the remaining vector fields are conservative, the splitting dynamics cannot grow too large. Specifically, letting \(\Phi _{h\tau }\) be as in (2.2) but with the solution \(\varphi ^{(0)}\) of \(\dot{x}=V_0(x)\) appended to the beginning of each cycle, we have
Lemma 7.1
Under Assumption 2 for any initial x and \(m>0\),
Proof
Letting \(\varphi =\varphi ^{(0)}\), we have
where the inequality follows from (7.2) and \(2\langle F,\varphi _t\rangle \le (\nu \alpha )^{-1}\Vert F\Vert ^2+\nu \alpha \Vert \varphi _t\Vert ^2\). Solving
from \(y(0)=\Vert x\Vert \) together with the comparison theorem for ODEs [42] then gives
for all time. Furthermore, since \(\varphi ^{(k)}\) conserves norm for \(1\le k\le n\), the above implies
The result then follows by straightforward induction on the number of cycles, namely m.\(\square \)
Remark 7.2
The convergence results of Sect. 4 do not directly apply to Lorenz-96 and Galerkin approximations of 2D Navier–Stokes since \(\mathcal {V}\)-orbits are generally unbounded in both models. However, Lemma 7.1 implies that any splitting starting from x whose vector fields satisfy Assumption 2 will lie inside the ball of radius \(\Vert x\Vert ^2+(\nu \alpha )^{-2}\Vert F\Vert ^2\) centered at the origin for all nonnegative times. In particular, since the splitting vector fields are smooth, a bound analogous to (4.1) holds for all x in the ball \(B_r(0)\) of radius r centered at the origin in the ambient Euclidean space. Thus all convergence results of Sect. 4 hold for these random splittings when \(\mathcal {C}^k(\mathcal {X})\) is replaced by \(\mathcal {C}^k_r(\mathcal {X})\), the space of k-times continuously differentiable functions that vanish outside \(B_r(0)\). Intuitively, this says that for any initial condition x, the trajectories of a random splitting satisfying Assumption 2 will converge on average and almost surely as \(h\rightarrow 0\) to the trajectory of the true dynamics starting from x.
Corollary 7.3
The Euclidean norm is a Lyapunov function for \(P_h\). That is, there exist constants \(K\ge 0\) and \(\gamma \in (0,1)\) such that for all \(x\in \mathbb {R}^d\),
Proof
By Lemma 7.1, specifically \(\Vert \Phi _{ht}(x)\Vert \le \Vert x\Vert e^{-\frac{1}{2}\nu \alpha t_0}+(\nu \alpha )^{-1}\Vert F\Vert \), we have
for any x. The result follows with \(K=(\nu \alpha )^{-1}\Vert F\Vert \) and \(\gamma =(1+\tfrac{1}{2}\nu \alpha h)^{-1}\).\(\square \)
7.1 Ergodicity
We now present a variation of Theorem 3.1, namely Theorem 7.4, which simplifies verification of ergodicity in the present setting. Recall from Sects. 5 and 6 that one of the difficulties in verifying Theorem 3.1 was proving controllability, i.e., the existence of a distinguished point \(x_*\) that could be reached by the splitting dynamics in finite time from any other point. With the addition of dissipation, the fixed point \(\nu ^{-1}\Lambda ^{-1}F\) of \(\dot{x}=V_0(x)\) is a natural candidate for \(x_*\) and, as we will see, the fact that it is globally attracting obviates several technicalities associated with controllability in the conservative cases discussed above.
Theorem 7.4
Suppose Assumption 2 holds and set \(x_*=\nu ^{-1}\Lambda ^{-1}F\). If there exist \(m \ge 0 \) and t in \(\mathbb {R}^{mn}_+\) such that the Lie bracket condition holds at \(\widetilde{x}:=\Phi ^m_{ht}(x_*)\), then \(P_h\) has a unique invariant measure \(\mu \) for all \(h>0\). Furthermore, there exist \(C>0\) and \(\gamma \) in (0, 1) such that for all x in \(\mathbb {R}^d\),
where \(\Vert \cdot \Vert \) is the norm on probability measures induced by the weighted supremum norm \(\Vert f\Vert :=\sup _x |f(x)|/(1+\Vert x\Vert )\) on bounded measurable functions \(f:\mathbb {R}^d\rightarrow \mathbb {R}\).
The proof of Theorem 7.4 uses the following lemmas. The first, due to Krylov-Bogolubov, is a standard result from the theory of Markov processes [23]. The second, which follows from Lemma 3.2 and Theorem 3.6, is from [6, Theorem 4.4]. For the statement of Lemma 7.5, recall a transition kernel P on \(\mathbb {R}^d\) is Feller if Pf is continuous whenever \(f:\mathbb {R}^d\rightarrow \mathbb {R}\) is continuous and bounded. Also, a sequence of probability measures \(\{\mu _m\}\) on \(\mathbb {R}^d\) is tight if for every \(\varepsilon >0\) there exists a compact subset K of \(\mathbb {R}^d\) such that \(\mu _m(K)\ge 1-\varepsilon \) for all m.
Lemma 7.5
Let P be a Feller probability transition kernel on \(\mathbb {R}^d\). If there exists x in \(\mathbb {R}^d\) such that \(\{P^m(x,\cdot )\}_{m=0}^\infty \) is tight, then P has an invariant probability measure.
Lemma 7.6
Suppose \(\Phi ^m_{ht}(x)=\widetilde{x}\) and the Lie bracket condition holds at \(\widetilde{x}\). Then there exists a \(c>0\), an \(\widetilde{m}\), and neighborhoods \(U_x\) of x and \(\widetilde{U}\) of \(\widetilde{x}\) such that for all y in \(U_x\) and B in \(\mathcal {B}(\mathcal {X})\),
The following proof is another instance of the rather classical idea, dating at least back to the split chains of Nummelin [49] and work of Meyn and Tweedie [43], that the existence of a globally accessible point at which the dynamics is continuous in the right sense implies the transition densities converge to a unique equilibrium measure. If the return to the globally accessible point has finite expectation, then mixing is exponential. The same basic structure of the SDE version of our system was leveraged in [18] to prove exponential mixing (see also [41]). In the closely related PDMP setting, analogous results are found in [38] in a specific example and [7] in a more general context.
Proof of Theorem 7.4
We first prove existence. Continuity of \(\Phi _{ht}\) immediately implies \(P_h\) is Feller. Furthermore, Lemma 7.1 implies that random splitting starting from any x is constrained to lie in a compact subset of \(\mathbb {R}^d\), namely the closed ball of radius \(\Vert x\Vert ^2+(\nu \alpha )^{-2}\Vert F\Vert ^2\) centered at the origin. Thus, for any x, the sequence \(\{P_h^m(x,\cdot )\}_{m=0}^\infty \) is tight and existence follows from Lemma 7.5.
Next we prove uniqueness. The hypothesis and Lemma 7.6 together imply the existence of \(c>0\), \(\widetilde{m}\), and neighborhoods \(U_*\) of \(x_*\) and \(\widetilde{U}\) of \(\widetilde{x}\) such that
for all \(x\in U_*\) and Borel sets B. Also, positive-definiteness of \(\Lambda \) implies
for any \(x\in \mathbb {R}^d\) and \(t\ge 0\). In particular, for any open ball \(B_r\) of radius r centered at the origin, there exists \(T_0>0\) such that \(\varphi ^{(0)}_{ht}(B_r)\) is properly contained in \(U_*\) whenever \(ht>T_0\). And since \(\varphi ^{(0)}_{ht}(B_r)\) is properly contained in \(U_*\) and the \(\varphi ^{(k)}\) are continuous, there exist \(T_k>0\) such that \(\Phi _{ht}=\varphi ^{(n)}_{ht_n}\circ \cdots \circ \varphi ^{(0)}_{ht_0}(x)\in U_*\) for all \(x\in B_r\) and \(ht_k\in (0,T_k)\). So, for any \(x\in B_r\),
and hence \(\inf _{x\in B_r} P_h(x, U_*)>0\).
As in the proof of Theorem 3.1, suppose toward a contradiction that \(\mu _1\) and \(\mu _2\) are distinct \(P_h\)-ergodic probability measures and that \(A_1\) and \(A_2\) are disjoint measurable sets partitioning \(\mathbb {R}^d\) with \(\mu _i(B)=\mu _i(B\cap A_i)\) for all Borel sets B. Fix \(x_i\) in the support of \(\mu _i\), let r be sufficiently large that \(x_1,x_2\in B_r\), and set \(\kappa :=\inf _{x\in B_r} P_h(x,U_*)>0\). Then by (7.5) for any Borel set B,
In particular, \(\mu _i(B)=0\) implies \(\lambda (B\cap \widetilde{U})=0\) since c, \(\kappa \), and \(\mu _i(B_r)\) are all strictly positive (the latter because \(B_r\) is an open set containing both \(x_1\) and \(x_2\) which were chosen to be in the supports of \(\mu _1\) and \(\mu _2\), respectively). But \(\mu _1(A_2\cap \widetilde{U})=\mu _2(A_1\cap \widetilde{U})=0\) and so we obtain the contradiction
which concludes the proof of uniqueness.
Finally, for the exponential convergence statement (7.4), we have from (7.6) that for any \(r>0\),
for all Borel sets B. That is, the transition probabilities \(P_h^{\widetilde{m}+1}(x,\cdot )\) are minorized uniformly over \(B_r\) by the probability measure \(\widetilde{\lambda }:=\lambda (\widetilde{U})^{-1}\lambda (\cdot \cap \widetilde{U})\). Exponential convergence then follows from Corollary 7.3 upon taking \(r>2K/(1-\gamma )\). See for example Theorem 1.2 in [25].\(\square \)
Corollary 7.7
Consider the random splitting of Lorenz-96 associated to the vector fields \(\{V_k\}_{k=0}^n\), where \(V_0(x)=-\nu x+F\) and \(\{V_k\}_{k=1}^n\) are the splitting vector fields of conservative Lorenz-96 from Sect. 5. If \(x_*:=-\nu F\) is not a fixed point of conservative Lorenz-96, i.e., \(\nu ^2\sum _{k=1}^n (F_k^2+F_{k+1}^2)F_{k-1}^2\ne 0\), then the random splitting has a unique, and hence ergodic, invariant measure on \(\mathbb R^n\) and the dynamics converge to this measure at an exponential rate in the sense of (7.4).
Proof
The determinant of the n-by-n matrix
is
So the \(\{V_k\}_{k=0}^n\) span \(\mathbb {R}^n\) at every x with nonzero coordinates and satisfying \(\nu ^2\Vert x\Vert ^2\ne \langle F,x\rangle \). In particular, since \(x_*\) is not a fixed point of conservative Lorenz-96, we showed in the proof of Proposition 5.2 that \(x_*\) can be moved via the splitting dynamics to some \(\widetilde{x}\) with nonzero coordinates. Finally, by rotating slightly more on the last step if necessary, we can also guarantee \(\nu ^2\Vert \widetilde{x}\Vert ^2\ne \langle F,\widetilde{x}\rangle \). Thus the Lie bracket condition holds at \(\widetilde{x}\) and the result follows by Theorem 7.4.\(\square \)
Corollary 7.8
Fix \(N\ge 2\) and set \(n=4N(N+1)\). Consider the random splitting of the \(N\text {th}\) Galerkin approximation of 2D Navier–Stokes associated to \(\{V_k\}_{k=0}^n\), where \(V_0(x)=-\nu \Lambda x+F\) with \(\Lambda \) the n-by-n diagonal matrix corresponding to the Laplacian discussed at the beginning of this section, and \(\{V_k\}_{k=1}^n\) the splitting vector fields of 2D Euler from Sect. 6. If F is nondegenerate in the sense of Definition 6.3, then the random splitting has a unique, and hence ergodic, invariant measure and the dynamics converge to this measure at an exponential rate in the sense of (7.4).
Proof
Recall in this case \(V_0(x)=-\nu \Lambda x+F\) where \(\Lambda \) is the diagonal matrix with diagonal entry \(|k|^2\) in the slots corresponding to the coordinates \(a_k\) and \(b_k\). Fix \(j,k,\ell \in \mathbb {Z}^2_N\) with \(j+k-\ell =0\) and let W be one of the vector fields \(V_{a_ja_ka_\ell }\), \(V_{a_jb_kb_\ell }\), \(V_{b_ja_kb_\ell }\), or \(V_{b_jb_ka_\ell }\). Letting e.g. \((x_j,x_k,x_\ell )=(a_j,a_k,a_\ell )\) when \(W=V_{a_ja_ka_\ell }\) and similarly for the other cases, direct computation yields
where \([V_0,W]_j(x)\) is the component of \([V_0,W]\) corresponding to the component \(x_j\) of x, and similarly for \([V_0,W]_k\) and \([V_0,W]_\ell \). As in the 2D Euler case, Gaussian elimination shows that the 6-by-6 matrix (see (6.33) for an explicit form of the middle 4 columns)
is rank 6 at every genericFootnote 9 point q in \(\mathbb {R}^n\). Thus \(V_0\) and \([V_0,W]\) add two new directions to the splitting vector fields of 2D Euler and by an entirely similar argument to the spanning argument in Sect. 6.3.3 we have that the Lie bracket condition holds at every such q. Furthermore, since F is nondegenerate the controllability argument of Sect. 6.3.1 implies \(x_*\) can be evolved via the split dynamics to a generic point. The result then follows by Theorem 7.4.\(\square \)
Remark 7.9
A very similar argument to the one above proves unique ergodicity for Ekman damping as well, i.e., when \(\Lambda \) is the identity matrix on \(\mathbb {R}^n\). In this case (7.1) becomes
and the rest of the argument goes through unchanged.
Data availability statement
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
Notes
See Definition 1.1.
A vector field is complete if its flow curve starting from any point exists for all time.
We use calligraphic \(\mathcal {C}^k\) for k-times continuously differentiable maps throughout to avoid confusion with constants which are often denoted by normal script C (for example, the constants \(C_{jk}\) in 2D Euler).
Throughout this paper analytic means real-analytic.
f(h) is o(g(h)) when \(h \rightarrow 0\) if \(\lim f(h)/g(h)=0\) as \(h \rightarrow 0\). f(h) is O(g(h)) when \(h \rightarrow 0\) if \(\lim |f(h)/g(h)| \in (0,\infty )\).
This equation should be interpreted as an equation on measures or, equivalently, as holding in the weak sense. In other words, the left and right side are equal when integrated against any compactly supported, smooth test function.
As in the proof of Proposition 5.2, the continuity equation is intended here in the weak sense.
Recall that for each index \(k\in \mathbb {Z}_N^2\), we have two real coordinates \(a_k\) and \(b_k\).
Recall a generic point is one with all coordinates nonzero; see Definition 6.4.
Note that the same result can trivially be obtained if \((l,h)\not \in \mathcal A(q)\) setting \(\tau _-^{\iota (m)}=0\).
References
Arnold, A., Ringhofer, C.: An operator splitting method for the Wigner–Poisson problem. SIAM J. Numer. Anal. 33(4), 1622–1643 (1996)
Bakhtin, Y., Hurth, T.: Invariant densities for dynamical systems with random switching. Nonlinearity 25, 2937–2952 (2012)
Bakhtin, Y., Hurth, T., Lawley, S.D., Mattingly, J.C.: Smooth invariant densities for random switching on the torus. Nonlinearity 31(4), 1331–1350 (2018)
Bakhtin, Y., Hurth, T., Mattingly, J.C.: Regularity of invariant densities for 1D systems with random switching. Nonlinearity 28(11), 3755–3787 (2015)
Bedrossian, J., Blumenthal, A., Punshon-Smith, S.: Almost-sure enhanced dissipation and uniform-in-diffusivity exponential mixing for advection–diffusion by stochastic Navier–Stokes. Probab. Theory Relat. Fields 179(3–4), 777–834 (2021)
Benaïm, M., Borgne, S.L., Malrieu, F., Zitt, P.-A.: Qualitative properties of certain piecewise deterministic Markov processes. Ann. Inst. Henri Poincaré Probab. Stat. 51(3), 1040–1075 (2015)
Benaïm, M., Hurth, T., Strickler, E.: A user-friendly condition for exponential ergodicity in randomly switched environments. Electron. Commun. Probab. 23, 1–12 (2018)
Bermúdez, B., Nikolás, A., Sánchez, F.J.: On operator splitting methods with upwinding for the unsteady Navier–Stokes equations. East-West J. Numer. Math. 4(2), 83–98 (1996)
Bierkens, J., Roberts, G.O., Zitt, P.-A.: Ergodicity of the zigzag process. Ann. Appl. Probab. 29(4), 2266–2301 (2019)
Childs, A.M., Ostrander, A., Su, Y.: Faster quantum simulation by randomization. Quantum 3, 182 (2019)
Childs, A.M., Su, Y., Tran, M.C., Wiebe, N., Zhu, S.: Theory of trotter error with commutator scaling. Phys. Rev. X 11(1), 011020 (2021)
Cornfeld, I.P., Fomin, S.V., Sinaĭ, Y.G.: Ergodic Theory, Volume 245 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer, New York (1982). (Translated from the Russian by A. B. Sosinskiĭ)
Costa, O.L.V., Dufour, F.: Singular perturbation for the discounted continuous control of piecewise deterministic Markov processes. Appl. Math. Optim. 63(3), 357–384 (2011)
Da Prato, G., Debussche, A.: Two-dimensional Navier–Stokes equations driven by a space-time white noise. J. Funct. Anal. 196(1), 180–210 (2002)
Debussche, A., Nguepedja Nankep, M.J.: A piecewise deterministic limit for a multiscale stochastic spatial gene network. Appl. Math. Optim. 84(suppl. 2), S1731–S1767 (2021)
Devaney, R.L.: An Introduction To Chaotic Dynamical Systems, 3rd edn. CRC Press, Boca Raton (2022)
Durmus, A., Guillin, A., Monmarché, P.: Piecewise deterministic Markov processes and their invariant measures. Ann. Inst. Henri Poincaré Probab. Stat. 57(3), 1442–1475 (2021)
E, W., Mattingly, J.C.: Ergodicity for the Navier–Stokes equation with degenerate random forcing: finite-dimensional approximation. Commun. Pure Appl. Math. 54(11), 1386–1402 (2001)
E, W., Mattingly, J.C., Sinai, Y.: Gibbsian dynamics and ergodicity for the stochastically forced Navier–Stokes equation. Commun. Math. Phys. 224(1), 83–106 (2001). (Dedicated to Joel L. Lebowitz)
Flandoli, F., Maslowski, B.: Ergodicity of the \(2\)-D Navier–Stokes equation under random perturbations. Commun. Math. Phys. 172(1), 119–141 (1995)
Freidlin, M.I., Wentzell, A.D.: Random Perturbations of Dynamical Systems. Volume 260 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences, 2nd edn. Springer, New York (1998). (Translated from the 1979 Russian original by Joseph Szücs)
Goldman, D., Kaper, T.J.: \(N\)th-order operator splitting schemes and nonreversible systems. SIAM J. Numer. Anal. 33(1), 349–367 (1996)
Hairer, M.: Convergence of Markov processes. Lecture notes (2010)
Hairer, M., Mattingly, J.C.: Ergodicity of the 2d Navier–Stokes equations with degenerate stochastic forcing. Ann. Math. 164, 993–1032 (2006)
Hairer, M., Mattingly, J.C.: Yet another look at Harris’ ergodic theorem for Markov chains. In: Seminar on Stochastic Analysis, Random Fields and Applications VI, Volume 63 of Progress in Probability, pp. 109–117. Birkhäuser, Basel (2011)
Jurdjevic, V.: Geometric Control Theory. Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge (1996)
Katok, A., Hasselblatt, B.: Introduction to the Modern Theory of Dynamical Systems, Volume 54 of Encyclopedia of Mathematics and Its Applications. Cambridge University Press, Cambridge (1995). (With a supplementary chapter by Katok and Leonardo Mendoza)
Kifer, Y.: Ergodic Theory of Random Transformations. Progress in Probability and Statistics, vol. 10. Birkhäuser Boston Inc, Boston, MA (1986)
Kuksin, S., Nersesyan, V., Shirikyan, A.: Exponential mixing for a class of dissipative PDEs with bounded degenerate noise. Geom. Funct. Anal. 30(1), 126–187 (2020)
Kuksin, S., Shirikyan, A.: Stochastic dissipative PDEs and Gibbs measures. Commun. Math. Phys. 213(2), 291–330 (2000)
Kuksin, S., Shirikyan, A.: Some limiting properties of randomly forced two-dimensional Navier–Stokes equations. Proc. R. Soc. Edinb. Sect. A 133(4), 875–891 (2003)
Kusuoka, S.: Approximation of Expectation of Diffusion Processes Based on Lie Algebra and Malliavin Calculus, Volume 6 of Advanced Mathematical Economics, pp. 69–83. Springer, Berlin (2004)
Lawley, S.D.: Extreme first passage times of piecewise deterministic Markov processes. Nonlinearity 34(5), 2750–2780 (2021)
Lawley, S.D., Mattingly, J.C., Reed, M.C.: Sensitivity to switching rates in stochastically switched ODEs. Commun. Math. Sci. 12(7), 1343–1352 (2014)
Lawley, S.D., Mattingly, J.C., Reed, M.C.: Stochastic switching in infinite dimensions with applications to random parabolic PDE. SIAM J. Math. Anal. 47(4), 3035–3063 (2015)
Lee, J.M.: Riemannian Manifolds: An Introduction to Curvature. Springer, New York (1997)
Lee, J.M.: Introduction to Smooth Manifolds. Springer, New York (2000)
Li, D., Liu, S., Cui, J.: Threshold dynamics and ergodicity of an sirs epidemic model with Markovian switching. J. Differ. Equ. 263(12), 8873–8915 (2017)
MacNamara, S., Strang, G.: Operator splitting. In: Splitting Methods in Communication, Imaging, Science, and Engineering. Springer, Cham, pp. 95–114 (2016)
Mattingly, J.C.: On recent progress for the stochastic Navier Stokes equations. In: Journées “Équations aux Dérivées Partielles”. University of Nantes, Nantes, pp. Exp. No. XI, 52 (2003)
Mattingly, J.C., Stuart, A.M., Higham, D.J.: Ergodicity for SDEs and approximations: locally Lipschitz vector fields and degenerate noise. Stoch. Process. Appl. 101(2), 185–232 (2002)
McNabb, A.: Comparison theorems for differential equations. J. Math. Anal. Appl. 119(1–2), 417–428 (1986)
Meyn, S., Tweedie, R.L.: Markov Chains and Stochastic Stability, 2nd edn. Cambridge University Press, Cambridge (2009). (With a prologue by Peter W. Glynn)
Monmarché, P.: On \(\cal{H} ^1\) and entropic convergence for contractive PDMP. Electron. J. Probab. 20(:Paper No. 128), 30 (2015)
Nagano, T.: Linear differential systems with singularities and an application to transitive Lie algebras. J. Math. Soc. Jpn. 18(4), 398–404 (1966)
Ninomiya, M., Ninomiya, S.: A new higher-order weak approximation scheme for stochastic differential equations and the Runge–Kutta method. Finance Stoch. 13(3), 415–443 (2009)
Ninomiya, S., Victoir, N.: Weak approximation of stochastic differential equations and application to derivative pricing. Appl. Math. Finance 15(2), 107–121 (2008)
Nummelin, E.: The discrete skeleton method and a total variation limit theorem for continuous-time Markov processes. Math. Scand. 42(1), 150–160 (1978)
Nummelin, E.: General Irreducible Markov Chains and Nonnegative Operators. Cambridge Tracts in Mathematics, vol. 83. Cambridge University Press, Cambridge (1984)
Sussmann, H.J.: Orbits of families of vector fields and integrability of distributions. Trans. Am. Math. Soc. 180, 171–188 (1973)
Williamson, B.: On SDEs with partial damping inspired by the Navier–Stokes equations. Ph.D. thesis, Duke University (2019). https://hdl.handle.net/10161/18773
Acknowledgements
All authors thank the National Science Foundation grant NSF-DMS-1613337 for partial support during this project. AA also gratefully acknowledges the partial support of NSF-CCF-1934964, and OM also thanks NSF-DMS-2038056 for partial support during this project. JCM thanks David Herzog and Brendan Williamson for discussions at the start of these investigations. JCM thanks the hospitality and support of the Institute for Advanced Study, where this manuscript was completed. We also thank the referees for their insightful comments which improved both the form and the content of this paper.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of Interest
There are no conflicts of interest.
Additional information
Communicated by M. Hairer.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A. Convergence Lemmas
1.1 A.1. Semigroups, norms, and bounds
In this subsection we elaborate on the semigroup framework of Sect. 4. The notation and results are used extensively in the proofs of Lemmas 4.2 and 4.6, which are given in Sects. A.2 and A.4, respectively.
Fix a \(\mathcal {V}\)-orbit \(\mathcal {X}\). The \(\mathcal {C}^2\) assumption implies the \(V_k\), which act on functions f via \(V_kf(x)=Df(x)V_k(x)\), are linear operators from \(\mathcal {C}^2(\mathcal {X})\) to \(\mathcal {C}^1(\mathcal {X})\) and from \(\mathcal {C}^1(\mathcal {X})\) to \(\mathcal {C}(\mathcal {X})\). It also implies the semigroups \(\{S_t\}_{t\ge 0}\) and \(\{\widetilde{S}^{(k)}_t\}_{t\ge 0}\) defined in (4.2) and (4.3) are linear operators on \(\mathcal {C}^k(\mathcal {X})\) for \(k\le 2\). Our aim now is to obtain bounds on norms of compositions of these random semigroups. For \(i\le j\) define \(\Phi ^{(i,j)}_{h\tau }:=\varphi ^{(j)}_{h\tau _j}\circ \cdots \circ \varphi ^{(i)}_{h\tau _i}\) and \(\widetilde{S}^{(i,j)}_{h\tau }:=\widetilde{S}^{(i)}_{h\tau }\cdots \widetilde{S}^{(j)}_{h\tau }\). Note \(\widetilde{S}^{(i,j)}_{h\tau }\) acts on functions f via
So for any \(f\in \mathcal {C}(\mathcal {X})\) with \(\Vert f\Vert _\infty =1\), we have
and hence \(\Vert \widetilde{S}^m_{h\tau }\Vert _{0\rightarrow 0}=1\). Next, let \(\varphi =\varphi ^{(k)}\) for arbitrary k. Then
and so
and
In particular, \(\Vert D\varphi _t(x)\Vert \le 1 + C_*\int _0^t \Vert D\varphi _s(x)\Vert ds\) for all x in \(\mathcal {X}\) and Grönwall’s inequality implies
where here and throughout \(C_*\) is the constant from (4.1) corresponding to \(\mathcal {X}\). Similarly, since \(\Vert D^2V\left( D\varphi ,D\varphi \right) \Vert \le \Vert D^2V\Vert \Vert D\varphi \Vert ^2\le C_*\Vert D\varphi \Vert ^2\),
and Grönwall implies
Note (A.1) and (A.2) hold uniformly over all \(\varphi ^{(k)}\). Thus, for \(f\in C^1(\mathcal {X})\) with \(\Vert f\Vert _1=1\),
where the first inequality follows from submultiplicity and the second from (A.1). Similarly,
together with (A.1) and (A.2) gives
Therefore
The above computations prove
Lemma A.1
For any \(h>0\) and \(i\le j\), we have \(\Vert \widetilde{S}^{(i,j)}_{h\tau }\Vert _{0\rightarrow 0}=1\) as well as
In particular, \(\left\Vert \widetilde{S}^{(i,j)}_{h\tau }\right\Vert _{\ell \rightarrow \ell }\le \left( 1+C_*h\sum _{k=i}^j\tau _k\right) e^{3C_*h\sum _{k=i}^j \tau _k}\) for all \(\ell \le 2\).
Note that under the \(\mathcal {C}^2\) assumption \(\widetilde{S}^{(i,j)}_{h\tau }\) can also be regarded as a linear operator from \(\mathcal {C}^2( \mathcal {X})\) to \(\mathcal {C}^1( \mathcal {X})\). So since \(\{f\in \mathcal {C}^2(\mathcal {X}) : \Vert f\Vert _2=1\}\) is a subset of \(\{f\in \mathcal {C}^1(\mathcal {X}) : \Vert f\Vert _1=1\}\), we have
We also have the following corollary of Lemma A.1.
Corollary A.2
Fix \(i\le j\) and set \(m:=j-i+1\). For all \(\ell \le 2\) and polynomial \(p:\mathbb {R}^m_+\rightarrow \mathbb {R}\) there exists \(h_*>0\) such that for all \(h<h_*\),
Proof
Writing \(t=(t_i,\dots ,t_j)\) and \(dt=dt_i\cdots dt_j\), we have
which is finite for all \(h < h_*:=(3C_*)^{-1}\).\(\square \)
1.2 A.2. Proof of Lemma 4.2
We highlight the steps of the proof with italicized font.
Variation of constants. We begin by differentiating \(\widetilde{S}_{h\tau }\) in h:
Next, commute \(\widetilde{S}^{(1,k-1)}_{h\tau }\) and \(V_k\) via \([\widetilde{S}^{(1,k-1)}_{h\tau }, V_k]:=\widetilde{S}^{(1,k-1)}_{h\tau }V_k-V_k\widetilde{S}^{(1,k-1)}_{h\tau }\) to get
where \(V_\tau :=\sum _{k=1}^n \tau _kV_k\) and \(E_{h\tau }:=\sum _{k=1}^n \tau _k[\widetilde{S}^{(1,k-1)}_{h\tau }, V_k]\widetilde{S}^{(k,n)}_{h\tau }\). So, by variation of constants,
Call \(S_{h-r}(V_\tau -V)\widetilde{S}_{r\tau }\) error term 1 and \(S_{h-r}E_{r\tau }\) error term 2. These terms will be treated separately in what follows. First however, we invoke variation of constants again to get an expression for \([\widetilde{S}^{(1,k-1)}_{r\tau }, V_k]\) that will be used to control error term 2. Differentiating in r gives
The second equality follows from commuting \(\widetilde{S}^{(1,j-1)}_{h\tau }\) and \(V_j\) as before, and the third follows from the identity \([XY,Z]=X[Y,Z]+[X,Z]Y\). So, by variation of constants,
Note \(\Vert e^{(r-s)\sum _{j=1}^{k-1}\tau _jV_j}\Vert _{0\rightarrow 0}=1\). So, by Corollary A.2 the integrands above satisfy
and
for some C. Therefore
for some new constant C (we will often absorb arbitrary constants into existing ones).
Error term 1. Rewrite error term 1 as
where \(\mathcal {A}_1\) and \(\mathcal {A}_2\) are the first and second sums in the preceding expression. The second equality is obtained by adding and subtracting the identity I as follows:
Notice \(\widetilde{S}^{(1,k-1)}_{r\tau }\widetilde{S}^{(k+1,n)}_{r\tau }\) does not depend on \(\tau _k\). So, since the \(\tau _i\) are independent with mean 1,
For the second sum, Taylor expanding \(r\mapsto e^{r\tau _kV_k}\) about \(r=0\) with remainder gives
for some \(r_*\in [0,r]\). Therefore
and by Lemma A.1 and Corollary A.2,
for some \(C>0\). Combining Equations (A.8), (A.9), and (A.10) gives
Error term 2. Recall error term 2 is \(S_{h-r}E_{r\tau }:=\sum _{k=1}^n \tau _kS_{h-r}[\widetilde{S}^{(1,k-1)}_{r\tau }, V_k]\widetilde{S}^{(k,n)}_{r\tau }\). So, we have that
Note \([\widetilde{S}^{(1,k-1)}_{r\tau },V_k]\) is independent of \(\tau _k\). So, by (A.7) Corollary A.2,
for some \(C>0\).
Final step. Combining (A.5), (A.11), and (A.12) and absorbing constants into C, we have
\(\square \)
1.3 A.3. Concentration of the sum of exponential random variables
The proof of Lemma 4.6 will itself use two lemmas.
Lemma A.3
Let \(\{\tau _k\}_{k=1}^\infty \) be iid exponential with mean 1. For any \(m\in \mathbb {N}\), \(K>0\) and \(\beta >1\),
Proof
Note if \(\tau \sim \text {Exp}(1)\) then \(\mathbb {E}(e^{\tau /2})=2\). So, by Markov’s inequality and independence,
\(\square \)
Lemma A.4
Let \(\{\tau _k\}_{k=1}^\infty \) be iid exponential with mean 1. For any \(m\in \mathbb {N}\) and \(K\in (0,1)\),
Proof
Fix m. For any \(\gamma \in (0,1)\),
The inequality is Markov’s inequality and the equality immediately after the inequality follows from independence together with \(\mathbb {E}[\exp (\alpha \tau )]=(1-\alpha )^{-1}\) for any \(\alpha \in (-1,1)\). The other steps are all algebraic manipulations. By Taylor’s theorem with remainder there exists \(\gamma _1\in (-\gamma ,0)\) such that
where the inequality follows since \(\gamma _1<0\). Therefore
Similarly,
So combining with the first computation of this proof and taking \(\gamma =K\) gives
\(\square \)
1.4 A.4. Proof of Lemma 4.6
Fix \(t>0\). The argument is similar to that of Lemma 4.2.
Variation of constants. Fix \(m\in \mathbb {N}\). Since \(\widetilde{S}^m_{h\tau }=\exp (h\tau _1V_1)\cdots \exp (h\tau _{mn}V_{mn})\),
where the second equality is obtained by commuting \(\widetilde{S}^{(1,k-1)}_{h\tau }\) and \(V_k\), and the third by replacing \(\tau _k\) with \(\tau _k-1+1\). So, setting \(E_{h\tau }^{(m)}:=\sum _{k=1}^{mn}\tau _k[\widetilde{S}^{(1,k-1)}_{h\tau }, V_k]\widetilde{S}^{(k,mn)}_{h\tau }\), variation of constants implies
Therefore, since \(\Vert S_{m(h-r)}\Vert _{0\rightarrow 0}=1\),
Let \(I_1(h)\) and \(I_2(h)\) denote the first and second integrals, respectively. Then for any \(\varepsilon >0\),
We consider the two probabilities on the right, called the first and second probabilities, separately.
First probability. Note \(\sum _{k=1}^{mn}(\tau _k-1)V_k=\sum _{k=1}^n\sum _{j=1}^m (\tau _j^{(k)}-1)V_k\) where \(\tau ^{(k)}_j:=\tau _{(j-1)n+k}\). So
and together with Lemma A.1 and Equation (A.3),
Therefore
The second inequality follows from a union bound together with the fact that for any nonnegative random variables \(X_k\) and constant c, \(\{\sum _{k=1}^n X_k>c\}\subseteq \cup _{k=1}^n \{X_k>c/n\}\). Set
for arbitrary \(\alpha >0\) and note that
Therefore
Set \(h=t/m^2\). By Lemma A.4 for all \(\varepsilon >0\) such that \(K:=\varepsilon (2C_*tn)^{-1}e^{-C_*n\alpha }<1\),
And by Lemma A.3,
where \(K':=\alpha /t\). Therefore
for some positive constant C independent of m.
Second probability. Recall \(E_{r\tau }^{(m)}:=\sum _{k=1}^{mn}\tau _k[\widetilde{S}^{(1,k-1)}_{r\tau }, V_k]\widetilde{S}^{(k,mn)}_{r\tau }\). Also, from Equation (A.6),
Lemma A.1 together with \(\Vert [V_j,V_k]\Vert _{2\rightarrow 0} \le \Vert V_j\Vert _{1\rightarrow 0}\Vert V_k\Vert _{2\rightarrow 1}+\Vert V_k\Vert _{1\rightarrow 0}\Vert V_j\Vert _{2\rightarrow 1}\le 2C_*^2\) give
Also,
together with Lemma A.1 gives
Therefore for any \(0\le r\le h\),
for some \(C>0\). So, we have that
For arbitrary \(\alpha >0\), set
Then taking \(h=t/m^2\) as before,
for some \(C'>0\) where \(K=(\varepsilon (2t^2C(1+C\alpha )e^{C\alpha })^{-1})^{1/2}\), \(K'=Kn^{-1}\), \(K''=\alpha (nt)^{-1}\), and the second-to-last last inequality follows from Lemma A.3. Combining (A.15), (A.16), and (A.17) and taking \(h=t/m^2\) we therefore have that for all \(\varepsilon \) sufficiently small,
for some constant \(C''>0\) independent of m. So, we have that
\(\square \)
Appendix B. Controllability Lemmas
Combining the partial results obtained above we show the existence of transformations implementing the steps listed at the beginning of the section:
Lemma B.1
If \(q^{(0)}\) in \(\mathcal {Q}_0\) is nondegenerate, then there exists \(M_1\) and a sequence of transition times and interaction triples \(\{ \iota (m),\tau (m)\}_{m = 1}^{M_1}\) such that \(\Phi _{\tau (M_1)}^{\iota (M_1)}\circ \dots \circ \Phi _{\tau (1)}^{\iota (1)} (q^{(0)}) = q^{(1)}\) as in (6.17).
Proof
If (6.17) is satisfied by \(q^{(0)}\) we simply set \(M_1 = 0\), \(q^{(1)} = q^{(0)}\). If not, by nondegeneracy there exists a sequence of triples \(\{\iota (m)\}_{m=1}^{M}\) with \(\iota (m) = {\varvec{j}}(m){\varvec{k}}(m){\varvec{\ell }}(m)\) such that \(\mathcal A_0 := \mathcal A(q^{(0)})\) and \( \mathcal A_m = \mathcal A_{m-1} \oplus {\varvec{\ell }}(m)\) with \(\{(0,1,+),(1,0,+),(j^*,-)\}\subset \mathcal A_{M}\). We notice that all steps of this procedure satisfy, upon possibly reordering the indices within each triple, either the conditions of Lemma 6.11 (b) or of Lemma 6.12, so we sequentially choose \(\tau (m) = \tau _+^{\iota (m)}\) from those lemmas.
To activate coordinate \((1,1,-)\) – if this was not already done in the previous procedure – we start with component \(b_{j^*} \ne 0\) for \(|j^*|\ne 1\) and consider a nearest neighbors path \(\{\ell (n)\}_{n=1}^{M'}\) in \(\mathbb Z_N^2\) connecting \(j^*\) to (1, 1) without performing any step on the axes. It is easy to see that such path can be realized through repeated application of Lemma 6.11 (b) by choosing for the n-th step the triples \(\iota (n) = (0,1,+)(\ell (n),-)(\ell (n)\pm (0,1),-)\) or \(\iota (n) = (1,0,+)(\ell (n),-)(\ell (n)\pm (1,0),-)\) for vertical and horizontal steps respectively.
Finally, coordinates \((1,0,-)\) and \((0,1,-)\) can be activated by applying Lemma 6.13 to the triples \((1,0,-)(0,1,+)(1,1,-)\) and \((1,0,+)(0,1,-)(1,1,-)\) respectively, while \((1,1,+)\) is activated by (b) by interchanging the type of modes \((1,1,-)\) and \((1,0,+)\) (or \((0,1,+)\)) in \(\iota (M')\) from the previous paragraph to \((1,1,+)\) and \((1,0,-)\) (or \((0,1,-)\)).\(\square \)
Lemma B.2
Let \(q^{(1)}\) be a nondegenerate point in \(\mathcal {Q}_0\) satisfying (6.17). Then there exists \(M_2\) and a sequence of interacting triples and transition times \(\{\iota (m),\tau (m)\}_{m = 1}^{M_2}\) such that \(\Phi _{\tau (M_2)}^{\iota (M_2)}\circ \dots \circ \Phi _{\tau (1)}^{\iota (1)} (q^{(1)}) = q^{(2)}\) is a nondegenerate point in \(\mathcal {Q}_0\) satisfying (6.18) and (6.19).
Proof
In this part of the proof, we only consider interactions involving triples \(\iota (m)\) of the form
By Lemma 6.11 (a), if \(|j|<|k|<|\ell |\) and \((0,1),(l,h) \in \mathcal A(q)\) there exists \(\tau (m) = \tau _-^{\iota (m)}\) such that defining \(\mathcal A_m = \mathcal A(\varphi ^{\iota (m)}_{\tau (m)}(q))\) we have \((l,h) \not \in \mathcal A_m\) and \((0,1) \in \mathcal A_m\) (and similarly for (1, 0)).Footnote 10 Note that while a triple as above satisfies by assumption that \(|j|<|k|<|\ell |\) and at least two of its coordinates are nonvanishing, it does not, in general, satisfy (6.24). However, assuming that q does not satisfy (6.24), by Lemma 6.12 and setting \(\iota ' = (1,0)(0,1)(1,1)\), there exists \(\tau ^{\iota '}\) such that \( |q_{(1,0)}| \ne |(\Phi _{\tau ^{\iota '}}^{\iota '}(q))_{(1,0)}| >0\). Since none of the coordinates in \(\mathbb Z_N^2\setminus \{(1,0)(0,1)(1,1)\}\) are affected by this operation, \((\Phi _{\tau ^{\iota '}}^{\iota '}(q))\) satisfies (6.24) and Lemma 6.11 can be applied to this state.
To conclude the proof we identify a sequence of triples \(\iota (m) = (j(m),k(m),\ell (m))\in \mathcal I\) of the form (B.1) such that for \(\mathcal A_0 = \mathcal A(q^{(1)}) \subseteq \mathbb Z_N^2\times \{+,-\}\)
A possible such sequence is given by triples of the form
to remove the vertical column of \(\mathbb Z_N^2\) (which cannot interact with (0, 1)), followed by
where importantly the set of transitions for each l is ordered. The above transformation zeroes all coefficients except those in the set \(\{(1,1),(0,1),(1,0)\}\cup \{(l,N)~:~l \in (-N,\dots , N)\}\). We further remove the coefficients from \(\{(l,N)~:~l \in (-N+1,\dots , N-1)\}\) by sequentially applying Lemma 6.11 to the ordered sequence of interacting triples
and then
It is easy to check that each transition in the above construction sequentially satisfies the assumptions of Lemma 6.11 (a), and that once a mode has been removed from \(\mathcal A\) it will not interact again in this procedure. The fact that (6.19) holds follows from (6.17) and that in an interacting triple \(\iota = {\varvec{j} \varvec{k} \varvec{\ell }}\) with \(|j|<|k|<|l|\) both modes \({\varvec{j}}\) and \({\varvec{\ell }}\) are in \(\mathcal A\) at the end of the interaction by \(\tau _-^\iota \).\(\square \)
Lemma B.3
Let \(q^{(2)}\) be a nondegenerate point in \(\mathcal {Q}_0\) satisfying (6.18) and (6.19). Then there exists \(M_3\) and a sequence of interacting triples and transition times \(\{\iota (m),\tau (m)\}_{m = 1}^{M_3}\) such that \(\Phi _{\tau (M_3)}^{\iota (M_3)}\circ \dots \circ \Phi _{\tau (1)}^{\iota (1)} (q^{(2)}) = q^{(3)}\) is a nondegenerate point in \(\mathcal {Q}_0\) satisfying (6.20) and (6.21).
Since it may not be possible to “transfer” the content of e.g., mode \((-N,N)\) to \((-N+1,N)\) through one single interaction with mode (1, 0) – and therefore it won’t be possible to transfer the amplitude of mode \((-N,N)\) to (N, N) in one single “pass” – we proceed to prove that, through a sequence of interactions, we can transfer a finite and \(q_{(-N,N)}\)-independent amount of energy from mode \((-N,N)\) to (N, N). Therefore, the transfer of amplitude from mode \((-N,N)\) to (N, N) may be accomplished by repeating this sequence of interactions sufficiently many times.
The following corollary of Lemma 6.12 will be instrumental for the proof of Lemma B.3:
Corollary B.4
Let \(q_{(1,1)}, b_{{(1,1)}} \ne 0\) then for any \(q,q'\) with \(q_{\varvec{j}}=q_{\varvec{j}}'\) for all \(|j|>1\) there exist a sequence \(\{\iota (m), \tau (m)\}_{m=1}^4\) such that \(\Phi _{\tau (4)}^{\iota (4)} \circ \dots \circ \Phi _{\tau (1)}^{\iota (1)} (q) = q'\).
Proof of Lemma B.3
The desired result follows upon showing that for any \(i \in \{-N,\dots ,N\}\), setting \({\varvec{\ell }}= (-i,N,\chi ), {\varvec{\ell }}' = {(i,N,\chi ')}\) for \(\chi , \chi ' \in \{-,+\}\) there exists \(M_{{\varvec{\ell }}, {\varvec{\ell }}'}\) and a sequence of triples and interaction times \(\{\iota (m)\), \(\tau (m)\}_{m = 1}^{M_{{\varvec{\ell }}, {\varvec{\ell }}'}}\) such that for any q satisfying \(\bigcup _{|i'| < i}\{(i',N,+),{(i',N,-)}\} \cap \mathcal A(q) = \emptyset \) and \(q' = \Phi _{\tau (M_{{\varvec{\ell }}, {\varvec{\ell }}'})}^{\iota (M_{{\varvec{\ell }}, {\varvec{\ell }}'})}\circ \dots \circ \Phi _{\tau (1)}^{\iota (1)}(q)\) we have
and for \({\varvec{k}}\in \{{\varvec{\ell }}, {\varvec{\ell }}'\}\), \(\text {sign}(q_{\varvec{k}}) = \text {sign}(q_{\varvec{k}}')\) holds if \(q_{\varvec{k}}' \ne 0\) (recalling our choice of notation \(\text {sign}(0)=+1\)). Indeed, if \(\text {sign}(b_{{(N,N)}})\ge 0\) we sequentially apply the above result to the pairs
Otherwise, when \(\text {sign}(b_{{(N,N)}})=-1\) we first apply the above result to \({\varvec{\ell }}={(N,N,-)}\), \({\varvec{\ell }}'={(-N,N,-)}\) and then proceed as in the previous case.
We prove the result above by induction on \(i \in \{0,\dots ,N\}\). The proof for \(i \le 0\) is analogous.
Base case (\(i=0: (0,N,\chi )\rightarrow (0,N,\chi ')\)): If \({\varvec{\ell }}= {\varvec{\ell }}'\) there is nothing to show. We proceed to consider the case \({\varvec{\ell }}= (0,N,+)\), \({\varvec{\ell }}'={(0,N,-)}\), as the converse follows by analogous arguments. In this case, for a sufficiently small \(\varepsilon >0\) we consider the interactions \(\iota = (1,0,+)(0,N,+)(1,N,+)\) and \(\iota '= {(1,0,-)}{(0,N,-)}(1,N,+)\), running the corresponding flow maps by a small amount of time \(\tau (\varepsilon )\), \(\tau '(\varepsilon )\) such that \((\Phi _{\tau '(\varepsilon )}^{\iota '} \circ \Phi _{\tau (\varepsilon )}^\iota (q)_{{(0,N,-)}})^2 = b_{{(0,N)}}^2+\varepsilon \). We then apply Corollary B.4 to the coordinates \((1,0,+),{(1,0,-)}\) to return them in the initial configuration. Note that the existence of a uniform \(\varepsilon >0\) such that the transitions above can be performed in a single pair of interactions (and therefore the finiteness of the total number of interactions required to perform the desired transformation) follows from the fact that \(b_{{(0,N)}}\) is nondecreasing and the continuity of the dynamics together with Lemma 6.11.
Induction step (\(i>0: (-i,N,\chi )\rightarrow (i,N,\chi ')\)): We consider two possibilities for q: a) there exists \(q''\) with \(|a_{(1,0)}''| \in [|a_{(1,0)}|/2,|a_{(1,0)}| ]\), \(q_{(-i,N,\chi )}''=0\) and for \(\iota '' = (1,0,+)(-i+1,N,\chi )(-i,N,\chi )\)
or b) such \(q''\) does not exist.
In case a) the state \(q''\) can be reached by letting \(\iota = (1,0,+)(-i+1,N,\chi )(-i,N,\chi )\) interact for a finite amount of time \(\tau \) from Lemma 6.11 (c). Then, by the induction assumption there is a sequence of triples and interaction times allowing to reach a state \(q'''\) with \(q_{(-i+1,N,\chi )}''' = 0\), \(q_{(i-1,N,\chi ')}''' = q_{(-i+1,N,\chi )}''\) and \(q_{\varvec{j}}''' = q_{\varvec{j}}''\) for all other \(j \in \mathbb Z_N^2\). The desired state can then be reached by application of Lemma 6.11 (a) to the triple \(\iota = (1,0,+)(i-1,N,\chi ')(i,N,\chi ')\) . We proceed to check that the final state satisfies (B.2). Because modes \(j \not \in \{(-i,N), \dots , (i,N), (1,0)\}\) did not interact in the procedure above for such \({\varvec{j}}\) we must have that \(q_{\varvec{j}}= q_{\varvec{j}}'\). The fact that for \(j \in \{(-i,N), \dots , (i-1,N)\) \(q_{\varvec{j}}' = 0\) follows by construction and the induction assumption. It remains to check that \(|a_{(1,0)}'| = |a_{(1,0)}|\). Since the only modes affected by the above transformation are \((-i,N,\chi ),(i,N\chi '),(1,0,+)\), this follows directly by conservation of energy and enstrophy:
In case b) we proceed to show that case a) can be reached with a finite number of interactions. More specifically if condition a) is not satisfied we let the triple \(\iota '' = (-i,N,\chi )(-i+1,N, \chi )(1,0, +)\) for \(\chi \in \{+,-\}\) interact as described by Lemma 6.11 for a time \(\tau ''\) to reach a nondegenerate point \(q''\) in \(\mathcal {Q}_0\) with \(q_{\varvec{j}}'' = q_{\varvec{j}}\) for \({\varvec{j}}\not \in \{(-i,N, \chi ),(-i+1,N,\chi ),(1,0,+)\}\), \(a_{(1,0)}'' = a_{(1,0)}/2\) and \(q_{(-i,N,\chi )}'',q_{(-i+1,N,\chi )}''\) satisfying the conservation laws
so that \( (q_{(-i,N,\chi )}'')^2 = (q_{(-i,N,\chi )})^2 - C_{N,i} (q_{(1,0)})^2 \) for \(C_{N,i} = \frac{3}{4} \frac{N^2+i^2}{i^2-(i-1)^2} ( N^2+(i-1)^2-1)\). We see that a positive, \(q_{(1,0,+)}\)-dependent amplitude is removed from \((q_{(-i,N,\chi )})^2\). Again applying the induction step and Lemma 6.11 (a) to transfer, respectively, the amplitude from \({(-i+1,N,\chi )}\) to \({(i-1,N, \chi ')}\) and from \({(i-1,N,\chi ')}\) to \({(i,N,\chi ')}\) we reach the state \(q'\) with \(q_{\varvec{j}}= q_{\varvec{j}}'\) for modes \(j \not \in \{(-i,N), \dots , (i,N), (1,0)\}\) (since these modes either vanish in both cases or they did not interact). Further, by conservation of energy and enstrophy, we have that
so that \(|q_{(1,0,+)}''| = |q_{(1,0,+)}|\). This shows that the amplitude \(C_{N,i} (q_{(1,0,+)})^2\) subtracted to \(q_{(-i,N,\chi )}\) is constant at each cycle, showing by boundedness of \(q_{(-i,N,\chi )}\) that with a finite number of iterations as the one described above we can reach state a), concluding the proof.\(\square \)
Lemma B.5
Let \(q^{(3)}\) be a nondegenerate point in \(\mathcal {Q}_0\) satisfying (6.20) and (6.21). Then there exists \(M_4\) and a sequence of interacting triples and transition times \(\{\iota (m),\tau (m)\}_{m = 1}^{M_4}\) such that \(\Phi _{\tau (M_4)}^{\iota (M_4)}\circ \dots \circ \Phi _{\tau (1)}^{\iota (1)} (q^{(3)}) = q^*\) is a nondegenerate point in \(\mathcal {Q}_0\) satisfying (6.15).
Proof
We start the proof by applying Corollary B.4 to transform the state \(q^{(3)}\) into \(q = \Phi _{\tau (1)}(q^{(3)})\) satisfying \(q_{\varvec{j}}^{(3)} = q_{\varvec{j}}\) for all \(|j|>1\) and \(a_{(0,1)}=b_{{(0,1)}}=b_{{(1,0})}=a_{(1,0)}>0\). Throughout this proof, we refer to states q such that \(q_{(i,i',\chi )} = q_{(i',i,\chi )}\) for all \(i,i' \in (0,\dots , N)\), \(\chi \in \{+,-\}\) as symmetric.
We then proceed to transfer the amplitude from \(a_{(1,1)}\) to \(b_{(2,1)}, b_{(1,2)}\) by transforming q into another symmetric state \(q'\) with \({(2,1,-)}, {(1,2,-)} \in \mathcal A(q')\) and \((1,1,+) \not \in \mathcal A(q')\). This can be done by letting triples \(\iota (2) = {(1,0,-)}(1,1,+){(2,1,-)}\in \mathcal I\) and \(\iota (3) = {(0,1,-)}(1,1,+){(1,2,-)}\in \mathcal I\) interact, and choosing the interaction times \(\tau , \tau '(\tau )\) such that \(\Phi _{\tau '(\tau )}^{\iota (3)}\circ \Phi _{\tau }^{\iota (2)}(q)_{(1,1 ,+)}=0\). Further, we note that the difference \(b_{{(1,2)}}'-b_{{(2,1)}}'\) is negative for \(\tau =0\), positive for \(\tau '(\tau )=0\) and is continuous in \(\tau \), so there must exist \(\tau ^*\) such that \(b_{{(1,2)}}'=b_{{(2,1)}}'\). To show that \(q'\) is symmetric it only remains to show that \(b_{{(1,0)}}' = b_{{(0,1)}}'\). This follows from the conservation laws:
where
Next, we let the triples \(\iota (4) = (1,0,-)(0,1,+)(1,1,-)\) and \(\iota (5) = (0,1,-)(1,0,+)(1,1,-)\) interact. By Lemma 6.12 there exists an interaction time such that the initial state \(q'\) is mapped to \(q''\) with \(b_{{(1,0)}}'' = b_{{(0,1)}}'' = 0\) and \(a_{{(1,0)}}'' = a_{{(0,1)}}'' > 0\), so that \({(1,0,-)}, {(0,1,-)}\not \in \mathcal A(q'')\).
We then proceed to transfer the amplitude from modes \({(1,2,-)}\) and \({(2,1,-)}\) to \({(2,2,-)}\). This is done letting triples \(\iota (6) = (1,0,+){(1,2,-)}{(2,2,-)}\) and \(\iota (7) = (0,1,+){(2,1,-)}{(2,2,-)}\) interact until the modes \({(2,1,-)},{(1,2,-)}\) are depleted, as proved in Lemma 6.11. The symmetry of the final state \(q'''\) is again a consequence of the conservation laws:
Summarizing, we have reached a symmetric state \(q''' = \Phi _{\tau (7)}^{\iota (7)}\circ \dots \circ \Phi _{\tau (2)}^{\iota (2)}(q)\) with
The desired result then follows immediately if we can show that we can transfer the amplitude of mode \((i-1,i-1,-)\) to \((i,i,-)\) for \(i\in (2,\dots , N)\) while preserving the fact that \(a_{(1,0)}' = a_{(0,1)}'\). We show this by considering, sequentially, the interaction triples
More specifically, we consider the family of endpoints
where \(\tau _-^{\iota }\) is defined in Lemma 6.11 (a). By construction, this sequence implies that \(a_{(i-1,i-1)}''= a_{(i-1,i)}''= a_{(i,i-1)}''=0\) and \(a_{(i,i)}''\ne 0\). It remains to prove that \(a_{(1,0)}'' = a_{(0,1)}''\). As a composition of continuous functions, \(q''(t)\) is continuous in t and therefore so is \(\Delta q(t) = a_{(1,0)}''(t) - a_{(0,1)}''(t)\). Further, since by symmetry \(a_{(1,0)}''(0) = a_{(0,1)}''(\tau _-^{\iota (4i)})\), we must have \(\textrm{sign}( \Delta q(0)) = -\textrm{sign}(\Delta q(\tau _-^{\iota _1})) \). This implies the existence of \(\tau (4i) \in [0,\tau _-^{\iota _1}]\) with \(\Delta q(0)=0\), concluding the proof.\(\square \)
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Agazzi, A., Mattingly, J.C. & Melikechi, O. Random Splitting of Fluid Models: Unique Ergodicity and Convergence. Commun. Math. Phys. 401, 497–549 (2023). https://doi.org/10.1007/s00220-023-04645-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-023-04645-5