arXiv subjects

Jonathan C. Mattingly

Publications and source records attributed to Jonathan C. Mattingly.

68 records · Page 4Linked to original sources

arXiv2009

Asymptotic coupling and a weak form of Harris' theorem with applications to stochastic delay equations

There are many Markov chains on infinite dimensional spaces whose one-step transition kernels are mutually singular when starting from different initial conditions. We give results which prove unique ergodicity under minimal assumptions on one hand and the existence of a spectral gap under conditions reminiscent of Harris' theorem. The first uses the existence of couplings which draw the solutions together as time goes to infinity. Such "asymptotic couplings" were central to recent work on SPDEs on which this work builds. The emphasis here is on stochastic differential delay equations.Harris' celebrated theorem states that if a Markov chain admits a Lyapunov function whose level sets are "small" (in the sense that transition probabilities are uniformly bounded from below), then it admits a unique invariant measure and transition probabilities converge towards it at exponential speed. This convergence takes place in a total variation norm, weighted by the Lyapunov function. A second aim of this article is to replace the notion of a "small set" by the much weaker notion of a "d-small set," which takes the topology of the underlying space into account via a distance-like function d. With this notion at hand, we prove an analogue to Harris' theorem, where the convergence takes place in a Wasserstein-like distance weighted again by the Lyapunov function. This abstract result is then applied to the framework of stochastic delay equations.

math.PR↗

arXiv2009

Slow energy dissipation in anharmonic oscillator chains

We study the dynamic behavior at high energies of a chain of anharmonic oscillators coupled at its ends to heat baths at possibly different temperatures. In our setup, each oscillator is subject to a homogeneous anharmonic pinning potential $V_1(q_i) =|q_i|^{2k}/2k$ and harmonic coupling potentials $V_2(q_i- q_{i-1}) = (q_i- q_{i-1})^2/2$ between itself and its nearest neighbors. We consider the case $k > 1$ when the pinning potential is stronger then the coupling potential. At high energy, when a large fraction of the energy is located in the bulk of the chain, breathers appear and block the transport of energy through the system, thus slowing its convergence to equilibrium. In such a regime, we obtain equations for an effective dynamics by averaging out the fast oscillation of the breather. Using this representation and related ideas, we can prove a number of results. When the chain is of length three and $k> 3/2$ we show that there exists a unique invariant measure. If $k > 2$ we further show that the system does not relax exponentially fast to this equilibrium by demonstrating that zero is in the essential spectrum of the generator of the dynamics. When the chain has five or more oscillators and $k> 3/2$ we show that the generator again has zero in its essential spectrum. In addition to these rigorous results, a theory is given for the rate of decrease of the energy when it is concentrated in one of the oscillators without dissipation. Numerical simulations are included which confirm the theory.

math-ph↗

arXiv2009

Spectral gaps in Wasserstein distances and the 2D stochastic Navier--Stokes equations

We develop a general method to prove the existence of spectral gaps for Markov semigroups on Banach spaces. Unlike most previous work, the type of norm we consider for this analysis is neither a weighted supremum norm nor an $Ł^p$-type norm, but involves the derivative of the observable as well and hence can be seen as a type of 1-Wasserstein distance. This turns out to be a suitable approach for infinite-dimensional spaces where the usual Harris or Doeblin conditions, which are geared toward total variation convergence, often fail to hold. In the first part of this paper, we consider semigroups that have uniform behavior which one can view as the analog of Doeblin's condition. We then proceed to study situations where the behavior is not so uniform, but the system has a suitable Lyapunov structure, leading to a type of Harris condition. We finally show that the latter condition is satisfied by the two-dimensional stochastic Navier--Stokes equations, even in situations where the forcing is extremely degenerate. Using the convergence result, we show that the stochastic Navier--Stokes equations' invariant measures depend continuously on the viscosity and the structure of the forcing.

math.PR↗

arXiv2008

Yet another look at Harris' ergodic theorem for Markov chains

The aim of this note is to present an elementary proof of a variation of Harris' ergodic theorem of Markov chains. This theorem, dating back to the fifties essentially states that a Markov chain is uniquely ergodic if it admits a ``small'' set which is visited infinitely often. This gives an extension of the ideas of Doeblin to the unbounded state space setting. Often this is established by finding a Lyapunov function with ``small'' level sets. This topic has been studied by many authors (cf. Harris, Hasminskii, Nummelin, Meyn and Tweedie). If the Lyapunov function is strong enough, one has a spectral gap in a weighted supremum norm (cf. Meyn and Tweedie). Traditional proofs of this result rely on the decomposition of the Markov chain into excursions away from the small set and a careful analysis of the exponential tail of the length of these excursions. There have been other variations which have made use of Poisson equations or worked at getting explicit constants. The present proof is very direct, and relies instead on introducing a family of equivalent weighted norms indexed by a parameter $β$ and to make an appropriate choice of this parameter that allows to combine in a very elementary way the two ingredients (existence of a Lyapunov function and irreducibility) that are crucial in obtaining a spectral gap. The original motivation of this proof was the authors' work on spectral gaps in Wasserstein metrics. The proof presented in this note is a version of our reasoning in the total variation setting which we used to guide the calculations in arXiv:math/0602479. While we initially produced it for that purpose, we hope that it will be of interest in its own right.

math.PR↗

arXiv2007

Propagation of Fluctuations in Biochemical Systems, II: Nonlinear Chains

We consider biochemical reaction chains and investigate how random external fluctuations, as characterized by variance and coefficient of variation, propagate down the chains. We perform such a study under the assumption that the number of molecules is high enough so that the behavior of the concentrations of the system is well approximated by differential equations. We conclude that the variances and coefficients of variation of the fluxes will decrease as one moves down the chain and, through an example, show that there is no corresponding result for the variances of the chemical species. We also prove that the fluctuations of the fluxes as characterized by their time averages decrease down reaction chains. The results presented give insight into how biochemical reaction systems are buffered against external perturbations solely by their underlying graphical structure and point out the benefits of studying the out-of-equilibrium dynamics of systems.

math.PR↗

arXiv2007

Anomalous Dissipation in a Stochastically Forced Infinite-Dimensional System of Coupled Oscillators

We study a system of stochastically forced infinite-dimensional coupled harmonic oscillators. Although this system formally conserves energy and is not explicitly dissipative, we show that it has a nontrivial invariant probability measure. This phenomenon, which has no finite dimensional equivalent, is due to the appearance of some anomalous dissipation mechanism which transports energy to infinity. This prevents the energy from building up locally and allows the system to converge to the invariant measure. The invariant measure is constructed explicitly and some of its properties are analyzed.

math-ph↗

arXiv2007

Ergodicity of the 2D Navier-Stokes Equations with Degenerate Stochastic Forcing

The stochastic 2D Navier-Stokes equations on the torus driven by degenerate noise are studied. We characterize the smallest closed invariant subspace for this model and show that the dynamics restricted to that subspace is ergodic. In particular, our results yield a purely geometric characterization of a class of noises for which the equation is ergodic in $Ł^2_0(\TT^2)$. Unlike previous works, this class is independent of the viscosity and the strength of the noise. The two main tools of our analysis are the \textit{asymptotic strong Feller} property, introduced in this work, and an approximate integration by parts formula. The first, when combined with a weak type of irreducibility, is shown to ensure that the dynamics is ergodic. The second is used to show that the first holds under a H{ö}rmander-type condition. This requires some interesting nonadapted stochastic analysis.

math.PR↗

arXiv2007

Malliavin Calculus for Infinite-Dimensional Systems with Additive Noise

We consider an infinite-dimensional dynamical system with polynomial nonlinearity and additive noise given by a finite number of Wiener processes. By studying how randomness is spread by the system we develop a counterpart of Hormander's classical theory in this setting. We study the distributions of finite-dimensional projections of the solutions and give conditions that provide existence and smoothness of densities of these distributions with respect to the Lebesgue measure. We also apply our results to concrete SPDEs such as Stochastic Reaction Diffusion Equation and Stochastic 2D Navier--Stokes System.

math.PR↗

arXiv2006

Simple Systems with Anomalous Dissipation and Energy Cascade

We analyze a class of linear shell models subject to stochastic forcing in finitely many degrees of freedom. The unforced systems considered formally conserve energy. Despite being formally conservative, we show that these dynamical systems support dissipative solutions (suitably defined) and, as a result, may admit unique (statistical) steady states when the forcing term is nonzero. This claim is demonstrated via the complete characterization of the solutions of the system above for specific choices of the coupling coefficients. The mechanism of anomalous dissipations is shown to arise via a cascade of the energy towards the modes ($a_n$) with higher $n$; this is responsible for solutions with interesting energy spectra, namely $\EE |a_n|^2$ scales as $n^{-α}$ as $n\to\infty$. Here the exponents $α$ depend on the coupling coefficients $c_n$ and $\EE$ denotes expectation with respect to the equilibrium measure. This is reminiscent of the conjectured properties of the solutions of the Navier-Stokes equations in the inviscid limit and their accepted relationship with fully developed turbulence. Hence, these simple models illustrate some of the heuristic ideas that have been advanced to characterize turbulence, similar in that respect to the random passive scalar or random Burgers equation, but even simpler and fully solvable.

math-ph↗

arXiv2005

Malliavin Calculus for the Stochastic 2D Navier Stokes Equation

We consider the incompressible, two dimensional Navier Stokes equation with periodic boundary conditions under the effect of an additive, white in time, stochastic forcing. Under mild restrictions on the geometry of the scales forced, we show that any finite dimensional projection of the solution possesses a smooth density with respect to Lebesgue measure. We also show that under natural assumptions the density of such a projection is everywhere strictly positive. In particular, our conditions are viscosity independent. We are mainly interested in forcing which excites a very small number of modes. All of the results rely on the nondegeneracy of the infinite dimensional Malliavin matrix.

math.PR↗

arXiv2005

Stationary Solutions of Stochastic Differential Equation with Memory and Stochastic Partial Differential Equations

We explore Ito stochastic differential equations where the drift term possibly depends on the infinite past. Assuming the existence of a Lyapunov function, we prove the existence of a stationary solution assuming only minimal continuity of the coefficients. Uniqueness of the stationary solution is proven if the dependence on the past decays sufficiently fast. The results of this paper are then applied to stochastically forced dissipative partial differential equations such as the stochastic Navier-Stokes equation and stochastic Ginsburg-Landau equation.

math.PR↗

arXiv2004

On Recent Progress for the Stochastic Navier Stokes Equations

We give an overview of the ideas central to some recent developments in the ergodic theory of the stochastically forced Navier Stokes equations and other dissipative stochastic partial differential equations. Since our desire is to make the core ideas clear, we will mostly work with a specific example: the stochastically forced Navier Stokes equations. To further clarify ideas, we will also examine in detail a toy problem. A few general theorems are given. Spatial regularity, ergodicity, exponential mixing, coupling for a SPDE, and hypoellipticity are all discussed.

math.PR↗

arXiv2004

Malliavin calculus and ergodic properties of highly degenerate 2D stochastic Navier--Stokes equation

The objective of this note is to present the results from the two recent papers. We study the Navier--Stokes equation on the two--dimensional torus when forced by a finite dimensional white Gaussian noise. We give conditions under which both the law of the solution at any time t>0, projected on a finite dimensional subspace, has a smooth density with respect to Lebesgue measure and the solution itself is ergodic. In particular, our results hold for specific choices of four dimensional white Gaussian noise. Under additional assumptions, we show that the preceding density is everywhere strictly positive.

math.PR↗

arXiv2004

The Small Scales of the Stochastic Navier Stokes Equations under Rough Forcing

We prove that the small scale structures of the stochastically forced Navier-Stokes equations approach those of the naturally associated Ornstein-Uhlenbeck process as the scales get smaller. Precisely, we prove that the rescaled k-th spatial Fourier mode converges weakly on path space to an associated Ornstein-Uhlenbeck process as |k| --> infty . In addition, we prove that the Navier-Stokes equations and the naturally associated Ornstein-Uhlenbeck process induce equivalent transition densities if the viscosity is replaced with sufficient hyperviscosity. This gives a simple proof of unique ergodicity for the hyperviscous Navier-Stokes system. We show how different strengthened hyperviscosity produce varying levels of equivalence.

math-ph↗