Numerical bounds on the regularity of an invariant function: Probability of extinction of Galton-Watson processes in dynamical environments

TL;DR

This paper develops numerical methods to bound Lyapunov exponents in dynamical systems and applies them to analyze the regularity of extinction probabilities in Galton-Watson processes within such environments.

Contribution

It introduces algorithms for rigorous numerical bounds on Lyapunov exponents and applies these to determine the regularity of extinction probabilities in Galton-Watson processes.

Findings

Provided effective bounds on Lyapunov exponents

Controlled the regularity of extinction probability functions

Applied to supercritical Galton-Watson processes in dynamical environments

Abstract

We study the Lyapunov exponents of models that are close to skew product systems over a C__ uniformly expanding transformation of the circle. For a continuous fibre map $\phi$, analytic, increasing, and convex in the fibre variable, we consider the smallest invariant function q satisfying q(x) = $\phi$(x, q(T x)). We provide rigorous numerical bounds on two Lyapunov exponents (the fibre exponent and the base exponent), and present algorithms to compute these bounds effectively. We then apply this framework to Galton-Watson processes in dynamical environments in the uniformly supercritical case. The probability of extinction q of the process is the invariant function of the associated system. Using the previously computed Lyapunov exponents, we control the H{\"o}lder regularity and differentiability class of the probability of extinction.