Ergodicity of Langevin Processes with Degenerate Diffusion in Momentums
This paper introduces a geometric method for proving ergodicity of degenerate noise driven stochastic processes. The driving noise is assumed to be an arbitrary Levy process with non-degenerate diffusion component (but that may be applied to a single degree of freedom of the system). The geometric conditions are the approximate controllability of the process the fact that there exists a point in the phase space where the interior of the image of a point via a secondarily randomized version of the driving noise is non void.
The paper applies the method to prove ergodicity of a sliding disk governed by Langevin-type equations (a simple stochastic rigid body system). The paper shows that a key feature of this Langevin process is that even though the diffusion and drift matrices associated to the momentums are degenerate, the system is still at uniform temperature.
This paper is concerned with proving ergodicity of mechanical systems governed by Langevin-type equations driven by Levy processes and with a singular diffusion matrix applied on the momentums.
Such systems arise, for instance, when one models stochastically forced mechanical systems composed of rigid bodies. In such systems one would like to introduce a certain structure to the noise and observe its effect on the dynamics of the system. For instance, one would like to apply stochastic forcing to a single degree of freedom and characterize the ergodicity of the system. The stochastic process associated to the dynamics of these systems is in general only weak Feller and not strong Feller.
The paper provides a concrete weak Feller (but not strong Feller) stochastic process to illustrate this lack of regularity. The example is a simple mechanical system that is randomly forced and torqued and that preserves the Gibbs measure. In this case one would like to determine if this Gibbs measure is the unique, invariant measure of the system.
A new strategy based on the introduction of the asymptotically strong Feller property has been introduced in . This paper proposes an alternative method based on two conditions: weak irreducibility and closure under second randomization of the stochastic forcing (see theorem 3.1). Our strategy is in substance similar to the one proposed by Meyn and Tweedie for discrete Markov Chains in chapter 7 of .
Although the Hörmander condition ( 38.16) can also be used to obtain local regularity properties of the semi-group, hence a local strong Feller condition and ergodic properties. The alternative approach proposed here doesn’t require smooth vector fields or manifolds, it can directly be applied to Levy processes and (this is our main motivation) it allows for an explicit geometric understanding of the mechanisms supporting ergodicity.
2 General set up.
Let be a Markov stochastic process on a (separable) manifold with model space .
Let be -dimensional Levy process, i.e. a stochastic process on that has has independent increments, is stationary, is stochastically continuous and such that (almost surely) trajectories are continuous from the left and with limits from the right.
We assume that there exists a family deterministic mappings (indexed by ) such that
Recall that the first three condition defining a Levy process mean that is independent of , the law of depends only on and .
Recall also [11, 12] that since is a Levy process, there exists a , a constant matrix , a standard -dimensional Brownian Motion and an independent Poisson process of jumps with intensity of measure on (such that ) such that
Where is a compound Poisson point process (of jumps of norm larger than one) and
is a martingale (of small jumps compensated by a linear drift). Recall also that any process that can be represented as (2.2) is a -dimensional Levy process, in particular a -dimensional Brownian Motion is a Levy process. In this paper, the only assumption on the stochastic forcing will be the following one:
is non degenerate (has a non null determinant).
We will then prove the ergodicity of based on the following geometric conditions on .
is approximately controllable, i.e., for all and there exists and so that .
This condition is illustrated in Fig. 1.
For all , the mapping is continuous with respect to the norm where .
Let be deterministic continuous mappings from onto equal to at time . For , write
There exists and , such that in a neighborhood of :
is differentiable in .
is invertible and uniformly bounded.
is uniformly bounded.
3 Main theorem
We will need the following two lemmas on the Levy process .
Assume that satisfies condition 2.1. Let and be arbitrary. The laws of and are absolutely continuous with respect to each other.
Lemma 3.1 follows by applying Girsanov’s theorem to the diffusive component () of . ∎
Assume that satisfies condition 2.1. Let . For all , the inequality holds almost surely.
Let . Let be the Levy-Khintchine characteristics of . Let such that
Observe that  can be written as
is a compound Poisson point process (of jumps of norm larger than one) and
is a martingale (of small jumps compensated by a linear drift). Observe that with strictly positive probability , is uniformly equal to 0 over . Furthermore by the Martingale maximal inequality
and using ()
and Chebyshev’s inequality we obtain that
We conclude the proof of lemma 3.2 by applying Schilder’s theorem to and using the fact that is not degenerate. ∎
Let us now prove that is ergodic. Let be an invariant set of positive -measure, i.e.,
and . We will prove that . Assume . Then , which is also an invariant set, has strictly positive measure, i.e. . Now let us prove the following lemma
For all and , .
For all and , .
We will restrict the proof to . Since there exists such that for all , (otherwise one would get by covering the separable manifold with a countable number of balls such that ). Assume that there exists and such that . Since is weakly controllable (condition 2.2) there exists and so that . From the continuity condition 2.3 on and the Schilder type lemma 3.2 imply that there exists such that
Write the semi-group associated with . Equation (3.11) leads to a contradiction with the fact that
since and for all , .
From condition 2.4 there exists and and such that for , and , is differentiable in , and . It follows from the condition 2.4 and the continuity condition 2.3 that can be chosen small enough so that there exists , , such that for we have for all ,
Let . From the previous lemma there exists and such that and . Set () to be the process started from the point () and set to be the measure of probability associated to . We obtain from the Markov property that
The Girsanov type lemma 3.1 implies that the laws of and are absolutely continuous with respect to each other. Hence for all ,
Which leads to
Using the change of variable we obtain from (3.13) that
We deduce from equation (3.13) and the fact that is bounded from below by that
Hence a contradiction. Thus must be ergodic. Let us now prove that is the unique invariant measure. Assume that is also invariant with respect to the semigroup . By the argument presented above is ergodic and it follows from Proposition 3.2.5 of  that and are singular and it is easy to check from the argument presented above that this can’t be the case (the proof is similar to the one given in theorem 4.2.1 of ). Hence is the unique invariant distribution. The proof of the fact that is weakly mixing follows from theorem 3.4.1 of  and is similar to the one given at page 44 of  (theorem 4.2.1). ∎
4 Sliding Disk at Uniform Temperature.
Consider a disk on a surface as shown in Fig. 3 . The disk is free to slide and rotate. We assume that one rescales position its radius and time by some characteristic frequency of rotation or other time-scale. The dimensionless Lagrangian is given by
where stands for the velocity of the center of mass, the angular velocity of the disk and is a strictly positive dimensionless constant given by (where is the radius of the disk, is its mass and its moment of inertia). is an arbitrary periodic potential which is assumed to be smooth, and of period one.
The contact with the surface is modeled using a sliding friction law. For this purpose we introduce a symmetric matrix defined as,
Observe that is degenerate since the frictional force is actually applied to only a single degree of freedom, and hence, one of its eigenvalues is zero. In addition to friction a white noise is applied to the same degree of freedom to which friction is applied. The governing stochastic differential equations are
where is the matrix square root of . The matrix square root is easily computed by diagonalizing and computing square roots of the diagonal entries (eigenvalues of ) as shown:
Write . It easy to check that the Gibbs distribution
is invariant for (4.2), where , , and is the energy of the mechanical system and is given by
The system (4.2) can be written
where , and is a one dimensional Brownian Motion. Observe that condition 2.1 is satisfied with , and .
Observe also that if is a constant then the quantity is conserved and the system (4.2) can’t be ergodic. Let us assume that is not constant, our purpose is to prove that the Gibbs distribution is ergodic with respect to the stochastic process .
Observe that when is not constant over a non void open subset of (say ), needs to travel a distance that is uniformly (in ) bounded from below by a strictly positive amount to get from to the domain . It follows that in that situation that the process and hence is not strong Feller and theorems requiring this property can’t be applied.
Observe also that the condition in a neighborhood of doesn’t guarantee that is strongly Feller in that neighborhood. For instance observe that and imply that the drift on is uniformly bounded by a strictly positive constant on a neighborhood of it follows that is discontinuous in the neighborhood of () close to the line .
We believe that the system is asymptotically strong Feller so one could in principle obtain the ergodicity of by controlling the semi-group associated to as it is suggested in . We propose an alternative method based on the controllability of the ODE associated to and theorem 3.1. We believe that it is much simpler to control the geometric properties of the ODE associated to rather than the gradient of its semigroup.
One can also check that the generator of satisfies a local Hörmander condition ( 38.16) at a point such that so an alternative method to prove ergodicity would be to use that condition to obtain a local regularity of the semi group associated to . Here we propose an alternative method which doesn’t require to be smooth and which can be applied with Levy processes.
Assume that is not constant. Then the Gibbs measure is ergodic and strongly mixing with respect to the stochastic process (4.2). Furthermore, it is the unique invariant distribution of .
First let us prove that codition 2.2 is satisfied by .
Assume is not constant. Then is approximately controllable.
Since is not constant, there exists such that for there exists a smooth path such that , , , , , and
Take and interpolate smoothly between (obtained from the control problem (4.6)) and
Observe that the extension of to as a solution of (4.6) satisfies
Taking be the smooth curve defined by and
completes the proof. ∎
The proof that satisfies condition 2.3 is a standard application of Gronwall’s lemma. Observe that the semi-group associated to is not strongly irreducible and never equivalent to because . Let us now show that condition 2.4 is satisfied.
Write the stochastic process defined by
Since is smooth and not constant, there exists a point , such that for , . Let be a point of the phase space such that and . Let and .
Let be continuous mappings from onto , equal to zero at time zero. For we write the solution of
It follows that
Writing the solution of
we obtain that up to the first order in , and at the order in and , can be approximated by . It follows that can be written as where is continuous in and in the neighborhood of . Moreover, can be chosen so that , and are uniformly bounded in that neighborhood. Choosing and implies condition 2.4. By invoking theorem 3.1 one obtains that the process is ergodic and weakly mixing.
It follows from theorem 3.4.1 of  that for there exists a set of relative measure such that
Furthermore since is continuous when is continuous and bounded we deduce that when is continuous and bounded then
The fact that the process is strongly mixing then follows from corollary 3.4.3 of . ∎
In , using thoerem 4.1 we prove that if is non-constant then the -displacement of the sliding disk is a.s. not ballistic (see Proposition 4.1). However, the mean-squared displacement with respect to the invariant law is ballistic (see theorem 4.2). More precisely, we show that the squared standard deviation of the -displacement with respect to its noise-average grows like . This implies that the process exhibits not only ballistic transport but also ballistic diffusion. If is constant then the squared standard deviation of the -displacement is diffusive (grows like ). See below for theoretical results and numerical experiments using efficient stochastic variational integrators.
Provided that is non-constant, then a.s.
The squared standard deviation of the -degree of freedom is diffusive, i.e.,
Assume that is non constant, then
We have ()
If is constant then
If is non constant then
Classical homogenization techniques can’t be applied to obtain theorem 4.2 (since the stochastic forcing is degenerate on momentums). We refer to  for a proof of that theorem. The ballistic diffusion is caused by long time memory effects created by the degeneracy of the noise and the coupling between the two degrees of freedom through . Figure 5 gives an illustration of the mean-squared displacement of the rolling disk versus time started from rest. In  we have used that phenomenon to propose a fluctuation driven magnetic motor characterized by ballistic diffusion at uniform. A plot of the angular displacement of that magnetic motor versus time for a single realization started from rest is given in figure 6.
-  N. Bou-Rabee and H. Owhadi. Ballistic transport at uniform temperature. Submitted; arXiv:0710.1565, 2007.
-  J.-P. Eckmann and M. Hairer. Non-equilibrium statistical mechanics of strongly anharmonic chains of oscillators. Comm. Math. Phys., 212(1):105–164, 2000.
-  J.-P. Eckmann and M. Hairer. Uniqueness of the invariant measure for a stochastic PDE driven by degenerate noise. Comm. Math. Phys., 219(3):523–565, 2001.
-  J.-P. Eckmann, C.-A. Pillet, and L. Rey-Bellet. Non-equilibrium statistical mechanics of anharmonic chains coupled to two heat baths at different temperatures. Comm. Math. Phys., 201(3):657–697, 1999.
-  Jean-Pierre Eckmann, Claude-Alain Pillet, and Luc Rey-Bellet. Entropy production in nonlinear, thermally driven Hamiltonian systems. J. Statist. Phys., 95(1-2):305–331, 1999.
-  Martin Hairer and Jonathan C. Mattingly. Ergodicity of the 2D Navier-Stokes equations with degenerate stochastic forcing. Ann. of Math. (2), 164(3):993–1032, 2006.
-  J. C. Mattingly and A. M. Stuart. Geometric ergodicity of some hypo-elliptic diffusions for particle motions. Markov Process. Related Fields, 8(2):199–214, 2002. Inhomogeneous random systems (Cergy-Pontoise, 2001).
-  J. C. Mattingly, A. M. Stuart, and D. J. Higham. Ergodicity for SDEs and approximations: locally Lipschitz vector fields and degenerate noise. Stochastic Process. Appl., 101(2):185–232, 2002.
-  Sean Meyn and Richard Tweedie. Markov Chains and Stochastic Stability (Communications and Control Engineering). Springer, 1996.
-  G. Da Prato and J. Zabczyk. Ergodicity for infinite dimensional systems. London Mathematic Society Lecture Note Series 229. Cambridge University Press, 1996.
-  L.C.G. Roger, D. Williams. Volume 1, and 2. Diffusions, Markov processes and Martingales. Cambridge University Press, 2006.
-  Matthias Winkel. Lecture notes on levy processes. http://www.stats.ox.ac.uk/w̃inkel/ms3b.html, 2008.