Stability of hyperbolic Oseledets splittings for quasi-compact operator cocycles (Q2139522)

The author considers random linear dynamical systems \(\bar T\colon \Omega\times X\to\Omega\times X\) of the form \(\bar T(\omega,x)=(\sigma(\omega),T_\omega(x))\), where \((\Omega,\mathbb P)\) is a probability space, \(\sigma\) is an invertible measure-preserving transformation, \(X\) is a Banach space and each \(T_\omega\) is a linear map from \(X\) to \(X\), satisfying suitable measurability assumptions (strong measurability of \(\omega\mapsto T_\omega\)). The author considers the situation where the cocycle \(T_\omega^{(n)}:=T_{\sigma^{n-1}\omega}\circ\ldots \circ T_\omega\) is quasi-compact, so that the random linear dynamical system has Lyapunov exponents and corresponding Oseledets subspaces. The paper then focuses on the question of when these exponents and subspaces change continuously under small perturbations of the family of linear maps \((T_\omega)_{\omega\in\Omega}\). Stability of Lyapunov exponents is known to be delicate even in the finite-dimensional case, and so it is to be expected that some conditions are required to ensure that this stability occurs. The author imposes the rather strong condition of uniform hyperbolicity of the cocycle and shows that under this condition the Lyapunov exponents and Oseledets spaces do indeed vary continuously with respect to small perturbations of the cocycle. A second theorem then applies this abstract result in the context of Perron-Frobenius operators of expanding one-dimensional maps.