Searcharxiv⌕ Search

arXiv subjects

Stefano Galatolo

Publications and source records attributed to Stefano Galatolo.

At least 37 records · Page 2Linked to original sources
arXiv2021

Optimal linear response for Markov Hilbert-Schmidt integral operators and stochastic dynamical systems

We consider optimal control problems for discrete-time random dynamical systems, finding unique perturbations that provoke maximal responses of statistical properties of the system. We treat systems whose transfer operator has an $L^2$ kernel, and we consider the problems of finding (i) the infinitesimal perturbation maximising the expectation of a given observable and (ii) the infinitesimal perturbation maximising the spectral gap, and hence the exponential mixing rate of the system. Our perturbations are either (a) perturbations of the kernel or (b) perturbations of a deterministic map subjected to additive noise. We develop a general setting in which these optimisation problems have a unique solution and construct explicit formulae for the unique optimal perturbations. We apply our results to a Pomeau-Manneville map and an interval exchange map, both subjected to additive noise, to explicitly compute the perturbations provoking maximal responses.

math.DS↗
arXiv2021

Quantitative statistical stability and linear response for irrational rotations and diffeomorphisms of the circle

We prove quantitative statistical stability results for a large class of small $C^{0}$ perturbations of circle diffeomorphisms with irrational rotation numbers. We show that if the rotation number is Diophantine the invariant measure varies in a Hölder way under perturbation of the map and the Hölder exponent depends on the Diophantine type of the rotation number. The set of admissable perturbations includes the ones coming from spatial discretization and hence numerical truncation. We also show linear response for smooth perturbations that preserve the rotation number, as well as for more general ones. This is done {by means of} classical tools from KAM theory, while the quantitative stability results are obtained by transfer operator techniques applied to suitable spaces of measures with a weak topology.

math.DS↗
arXiv2020

Quadratic response and speed of convergence of invariant measures in the zero-noise limit

We study the stochastic stability in the zero-noise limit from a quantitative point of view. We consider smooth expanding maps of the circle, perturbed by additive noise. We show that in this case the zero-noise limit has a quadratic speed of convergence, as conjectured by Lin, in 2005, after numerical experiments (see arXiv:math/0406201 ). This is obtained by providing an explicit formula for the first and second term in the Taylor's expansion of the response of the stationary measure to the small noise perturbation. These terms depend on important features of the dynamics and of the noise which is perturbing it, as its average and variance. We also consider the zero-noise limit from a quantitative point of view for piecewise expanding maps showing estimates for the speed of convergence in this case.

math.DS↗
arXiv2020

Quadratic response of random and deterministic dynamical systems

We consider the linear and quadratic higher order terms associated to the response of the statistical properties of a dynamical system to suitable small perturbations. These terms are related to the first and second derivative of the stationary measure with respect to the change of some parameters, expressing how the statistical properties of the system varies under the perturbation. We show a general framework in which one can obtain rigorous convergence and formulas for these two terms. The framework is flexible enough to be applied both to deterministic and random systems. We give examples of such an application computing linear and quadratic response for Arnold maps with additive noise and deterministic expanding maps.

math.DS↗
arXiv2019

Anomalous time-scaling of extreme events in infinite systems and Birkhoff sums of infinite observables

We establish quantitative results for the statistical be\-ha\-vi\-our of \emph{infinite systems}. We consider two kinds of infinite system: i) a conservative dynamical system $(f,X,μ)$ preserving a $σ$-finite measure $μ$ such that $μ(X)=\infty$; ii) the case where $μ$ is a probability measure but we consider the statistical behaviour of an observable $ϕ\colon X\to[0,\infty)$ which is non-integrable: $\int ϕ\, dμ=\infty$. In the first part of this work we study the behaviour of Birkhoff sums of systems of the kind ii). For certain weakly chaotic systems, we show that these sums can be strongly oscillating. However, if the system has superpolynomial decay of correlations or has a Markov structure, then we show this oscillation cannot happen. In this case we prove asymptotic relations between the behaviour of $ϕ$, the local dimension of $μ$, and on the growth of Birkhoff sums (as time tends to infinity). We then establish several important consequences which apply to infinite systems of the kind i). This includes showing anomalous scalings in extreme event limit laws, or entrance time statistics. We apply our findings to non-uniformly hyperbolic systems preserving an infinite measure, establishing anomalous scalings in the case of logarithm laws of entrance times, dynamical Borel--Cantelli lemmas, almost sure growth rates of extremes, and dynamical run length functions.

math.DS↗
arXiv2019

Existence of Noise Induced Order, a Computer Aided Proof

We prove the existence of Noise Induced Order in the Matsumoto-Tsuda model, where it was originally discovered in 1983 by numerical simulations. This is a model of the famous Belosouv-Zabotinsky reaction, a chaotic chemical reaction, and consists of a one dimensional random dynamical system with additive noise. The simulations showed that an increase in amplitude of the noise causes the Lyapunov exponent to decrease from positive to negative; we give a mathematical proof of the existence of this transition. The method we use relies on some computer aided estimates providing a certified approximation of the stationary measure in the $L^{1}$ norm. This is realized by explicit functional analytic estimates working together with an efficient algorithm. The method is general enough to be adapted to any piecewise differentiable dynamical system on the unit interval with additive noise. We also prove that the stationary measure of the system varies in a Lipschitz way if the system is perturbed and that the Lyapunov exponent of the system varies in a Hölder way when the noise amplitude increases.

math.DS↗
arXiv2019

Linear Response for dynamical systems with additive noise

We show a linear response statement for fixed points of a family of Markov operators which are perturbations of mixing and regularizing operators. We apply the statement to random dynamical systems on the interval given by a deterministic map $T$ with additive noise (distributed according to a bounded variation kernel). We prove linear response for these systems, also providing explicit formulas both for deterministic perturbations of the map $% T$ and for changes in the noise kernel. The response holds with mild assumptions on the system, allowing the map $T$ to have critical points, contracting and expanding regions. We apply our theory to topological mixing maps with additive noise, to a model of the Belozuv-Zhabotinsky chemical reaction and to random rotations. In the final part of the paper we discuss the linear request problem for these kind of systems, determining which perturbations of $T$ produce a prescribed response.

math.DS↗
arXiv2018

Quantitative statistical stability and speed of convergence to equilibrium for partially hyperbolic skew products

We consider a general relation between fixed point stability of suitably perturbed transfer operators and convergence to equilibrium (a notion which is strictly related to decay of correlations). We apply this relation to deterministic perturbations of a class of (piecewise) partially hyperbolic skew products whose behavior on the preserved fibration is dominated by the expansion of the base map. In particular we apply the results to power law mixing toral extensions. It turns out that in this case, the dependence of the physical measure on small deterministic perturbations, in a suitable anisotropic metric is at least Holder continuous, with an exponent which is explicitly estimated depending on the arithmetical properties of the system. We show explicit examples of toral extensions having actually Holder stability and non differentiable dependence of the physical measure on perturbations.

math.DS↗
arXiv2017

A Rigorous Computational Approach to Linear Response

We present a general setting in which the formula describing the linear response of the physical measure of a perturbed system can be obtained. In this general setting we obtain an algorithm to rigorously compute the linear response. We apply our results to expanding circle maps. In particular, we present examples where we compute, up to a pre-specified error in the $L^{\infty}$-norm, the response of expanding circle maps under stochastic and deterministic perturbations. Moreover, we present an example where we compute, up to a pre-specified error in the $L^1$-norm, the response of the intermittent family at the boundary; i.e., when the unperturbed system is the doubling map.

math.DS↗
arXiv2016

Controlling the statistical properties of expanding maps

How can one change a system, in order to change its statistical properties in a prescribed way? In this note we consider a control problem related to the theory of linear response. Given an expanding map of the unit circle with an associated invariant density we can consider the inverse problem of finding which first order changes in the transformation can achieve a given first order perturbation in the density. We show the general mathematical structure of the problem, the existence of many solutions in the case of expanding maps of the circle and the existence of optimal ones. We investigate in depth the example of the doubling map, where we give a complete solution of the problem.

math.DS↗
arXiv2016

Quantitative statistical stability and convergence to equilibrium. An application to maps with indifferent fixed points

We show a general relation between fixed point stability of suitably perturbed transfer operators and convergence to equilibrium (a notion which is strictly related to decay of correlations). We apply this relation to deterministic perturbations of a large class of maps with indifferent fixed points. It turns out that the $L^1$ dependence of the a.c.i.m. on small suitable deterministic changes for these kind of maps is Hölder, with an exponent which is explicitly estimated.

math.DS↗
arXiv2015

An elementary way to rigorously estimate convergence to equilibrium and escape rates

We show an elementary method to have (finite time and asymptotic) computer assisted explicit upper bounds on convergence to equilibrium (decay of correlations) and escape rate for systems satisfying a Lasota Yorke inequality. The bounds are deduced by the ones of suitable approximations of the system's transfer operator. We also present some rigorous experiment showing the approach and some concrete result.

math.DS↗
arXiv2014

Statistical properties of Lorenz like flows, recent developments and perspectives

We comment on mathematical results about the statistical behavior of Lorenz equations an its attractor, and more generally to the class of singular hyperbolic systems. The mathematical theory of such kind of systems turned out to be surprisingly difficult. It is remarkable that a rigorous proof of the existence of the Lorenz attractor was presented only around the year 2000 with a computer assisted proof together with an extension of the hyperbolic theory developed to encompass attractors robustly containing equilibria. We present some of the main results on the statisitcal behavior of such systems. We show that for attractors of three-dimensional flows, robust chaotic behavior is equivalent to the existence of certain hyperbolic structures, known as singular-hyperbolicity. These structures, in turn, are associated to the existence of physical measures: \emph{in low dimensions, robust chaotic behavior for flows ensures the existence of a physical measure}. We then give more details on recent results on the dynamics of singular-hyperbolic (Lorenz-like) attractors.

math.DS↗
arXiv2014

Rigorous computation of invariant measures and fractal dimension for piecewise hyperbolic maps: 2D Lorenz like maps

We consider a class of piecewise hyperbolic maps from the unit square to itself preserving a contracting foliation and inducing a piecewise expanding quotient map, with infinite derivative (like the first return maps of Lorenz like flows). We show how the physical measure of those systems can be rigorously approximated with an explicitly given bound on the error, with respect to the Wasserstein distance. We apply this to the rigorous computation of the dimension of the measure. We present a rigorous implementation of the algorithms using interval arithmetics, and the result of the computation on a nontrivial example of Lorenz like map and its attractor, obtaining a statement on its local dimension.

math.DS↗
arXiv2013

An elementary approach to rigorous approximation of invariant measures

We describe a framework in which is possible to develop and implement algorithms for the approximation of invariant measures of dynamical systems with a given bound on the error of the approximation. Our approach is based on a general statement on the approximation of fixed points for operators between normed vector spaces, allowing an explicit estimation of the error. We show the flexibility of our approach by applying it to piecewise expanding maps and to maps with indifferent fixed points. We show how the required estimations can be implemented to compute invariant densities up to a given error in the $L^{1}$ or $L^\infty $ distance. We also show how to use this to compute an estimation with certified error for the entropy of those systems. We show how several related computational and numerical issues can be solved to obtain working implementations, and experimental results on some one dimensional maps.

math.DS↗
arXiv2013

Decay of correlations for maps with uniformly contracting fibers and logarithm law for singular hyperbolic attractors

We consider two dimensional maps preserving a foliation which is uniformly contracting and a one dimensional associated quotient map having exponential convergence to equilibrium (iterates of Lebesgue measure converge exponentially fast to physical measure). We prove that these maps have exponential decay of correlations over a large class of observables. We use this result to deduce exponential decay of correlations for the Poincare maps of a large class of singular hyperbolic flows. From this we deduce logarithm laws for these flows.

math.DS↗