Related papers: On almost-sure versions of classical limit theorem…
These are lecture notes for a simple minicourse approaching the satistical properties of a dynamical system by the study of the associated transfer operator (considered on a suitable functions or measures spaces). The following questions…
In this paper, we first give the definition of random almost periodic solutions of random dynamical systems and give some examples. Then, we prove the existence of such random almost periodic solutions. Further, we introduce the definition…
Nonlinear dynamical systems are ubiquitous in nature and they are hard to forecast. Not only they may be sensitive to small perturbations in their initial conditions, but they are often composed of processes acting at multiple scales.…
We study the computational complexity theory of smooth, finite-dimensional dynamical systems. Building off of previous work, we give definitions for what it means for a smooth dynamical system to simulate a Turing machine. We then show that…
We consider temporal logic verification of (possibly nonlinear) dynamical systems evolving over continuous state spaces. Our approach combines automata-based verification and the use of so-called barrier certificates. Automata-based…
We introduce the concepts of Baire Ergodicity and Ergodic Formalism, employing them to study topological and statistical attractors. Specifically, we establish the existence and finiteness of such attractors and provide applications for…
Our goal is to present the basic results on one-dimensional Gibbs and equilibrium states viewed as special invariant measures on symbolic dynamical systems, and then to describe without technicalities a sample of results they allowed to…
Due to extreme difficulties in numerical simulations of Euler-Maxwell equations, which are caused by the highly complicated structures of the equations, this paper concerns the simplification of Euler-Maxwell system through the…
An important question for a probabilistic program is whether the probability mass of all its diverging runs is zero, that is that it terminates "almost surely". Proving that can be hard, and this paper presents a new method for doing so; it…
We obtain limit theorems (Stable Laws and Central Limit Theorems, both Gaussian and non-Gaussian) and thermodynamic properties for a class of non-uniformly hyperbolic flows: almost Anosov flows, constructed here. The proofs of the limit…
We present a comprehensive programme analysing the decomposition of proof systems for non-classical logics into proof systems for other logics, especially classical logic, using an algebra of constraints. That is, one recovers a proof…
Building upon previous works by Young, Chernov-Zhang and Bruin-Melbourne-Terhesiu, we present a general scheme to improve bounds on the statistical properties (in particular, decay of correlations, and rates in the almost sure invariant…
Note that some classic fluid dynamical systems such as the Navier-Stokes equations, Magnetohydrodynamics (MHD), Boussinesq equations, and etc are observably different from each other but obey some energy inequalities of the similar type. In…
The problem of the dynamical stability of anistropic systems is studied, by proposing a criterion in terms of the adiabatic local index $\gamma$. The result has general validity and can be applied to several physical situations.…
These lectures notes are aimed at introducing the reader to some recent mathematical tools and results for the mean-field limit in statistical dynamics. As a warm-up, lecture 1 reviews the approach to the mean-field limit in classical…
A well-developed method to induce mixing on microscopic scales is to exploit flows generated by steady streaming. Steady streaming is a classical fluid dynamics phenomenon whereby a time-periodic forcing in the bulk or along a boundary is…
Modeling a sequence of design steps, or a sequence of parameter settings, yields a sequence of dynamical systems. In many cases, such a sequence is intended to approximate a certain limit case. However, formally defining that limit turns…
Standard dynamical systems theory is centred around the coordinate-invariant asymptotic-time properties of autonomous systems. We identify three limitations of this approach. Firstly, we discuss how the traditional approach cannot take into…
We prove a vector-valued almost sure invariance principle for some classes of time dependent non-uniformly distance expanding dynamical systems. The models we have in mind are certain sequential versions of the smooth non-uniformly distance…
Limit theorems for a linear dynamical system with random interactions are established. These theorems enable us to characterize the dynamics of a large complex system in details and assess whether a large complex system is stable or…