No Arabic abstract
One way to analyze complicated non-autonomous flows is through trying to understand their transport behavior. In a quantitative, set-oriented approach to transport and mixing, finite time coherent sets play an important role. These are time-parametrized families of sets with unlikely transport to and from their surroundings under small or vanishing random perturbations of the dynamics. Here we propose, as a measure of transport and mixing for purely advective (i.e., deterministic) flows, (semi)distances that arise under vanishing perturbations in the sense of large deviations. Analogously, for given finite Lagrangian trajectory data we derive a discrete-time and space semidistance that comes from the best approximation of the randomly perturbed process conditioned on this limited information of the deterministic flow. It can be computed as shortest path in a graph with time-dependent weights. Furthermore, we argue that coherent sets are regions of maximal farness in terms of transport and mixing, hence they occur as extremal regions on a spanning structure of the state space under this semidistance---in fact, under any distance measure arising from the physical notion of transport. Based on this notion we develop a tool to analyze the state space (or the finite trajectory data at hand) and identify coherent regions. We validate our approach on idealized prototypical examples and well-studied standard cases.
A classic approach in dynamical systems is to use particular geometric structures to deduce statistical properties, for example the existence of invariant measures with stochastic-like behaviour such as large deviations or decay of correlations. Such geometric structures are generally highly non-trivial and thus a natural question is the extent to which this approach can be applied. In this paper we show that in many cases stochastic-like behaviour itself implies that the system has certain non-trivial geometric properties, which are therefore necessary as well as sufficient conditions for the occurrence of the statistical properties under consideration. As a by product of our techniques we also obtain some new results on large deviations for certain classes of systems which include Viana maps and multidimensional piecewise expanding maps.
We give an exponential upper bound on the probabilitywith which the denominator of the $n$th convergent in the regular continued fraction expansion stays away from the mean $frac{npi^2}{12log2}$. The exponential rate is best possible, given by an analytic function related to the dimension spectrum of Lyapunov exponents for the Gauss transformation.
For hyperbolic flows $varphi_t$ we examine the Gibbs measure of points $w$ for which $$int_0^T G(varphi_t w) dt - a T in (- e^{-epsilon n}, e^{- epsilon n})$$ as $n to infty$ and $T geq n$, provided $epsilon > 0$ is sufficiently small. This is similar to local central limit theorems. The fact that the interval $(- e^{-epsilon n}, e^{- epsilon n})$ is exponentially shrinking as $n to infty$ leads to several difficulties. Under some geometric assumptions we establish a sharp large deviation result with leading term $C(a) epsilon_n e^{gamma(a) T}$ and rate function $gamma(a) leq 0.$ The proof is based on the spectral estimates for the iterations of the Ruelle operators with two complex parameters and on a new Tauberian theorem for sequence of functions $g_n(t)$ having an asymptotic as $ n to infty$ and $t geq n.$
Let (X,T) be a dynamical system, where X is a compact metric space and T a continuous onto map. For weak Gibbs measures we prove large deviations estimates.
Given Holder continuous functions $f$ and $psi$ on a sub-shift of finite type $Sigma_A^{+}$ such that $psi$ is not cohomologous to a constant, the classical large deviation principle holds (cite{OP}, cite{Kif}, cite{Y}) with a rate function $I_psigeq 0$ such that $I_psi (p) = 0$ iff $p = int psi , d mu$, where $mu = mu_f$ is the equilibrium state of $f$. In this paper we derive a uniform estimate from below for $I_psi$ for $p$ outside an interval containing $tilde{psi} = int psi , dmu$, which depends only on the sub-shift, the function $f$, the norm $|psi|_infty$, the Holder constant of $psi$ and the integral $tilde{psi}$. Similar results can be derived in the same way e.g. for Axiom A diffeomorphisms on basic sets.