1: \begin{abstract}

2:    Ruelle \cite{ruelleDifferentiationSRBStates1997} first proved a rigorous formula for linear response of smooth, transitive Anosov diffeomorphisms. Recently, practically computable realizations of Ruelle's formula have emerged that potentially enable sensitivity analysis of the high-dimensional chaotic numerical simulations such as encountered in climate studies. In this paper, we provide a rigorous convergence proof of one such efficient computation, the space-split sensitivity, or S3, algorithm \cite{chandramoorthyEfficientComputationLinear2021} for one-dimensional unstable manifolds. In S3, Ruelle's formula is computed as a sum of two terms obtained by decomposing the perturbation vector field into a coboundary and a remainder that is parallel to the unstable direction. Such a decomposition results in a splitting of Ruelle's formula that is amenable to efficient computation. We prove the existence of the S3 decomposition and the convergence of the computations of both resulting components of Ruelle's formula. 

3: \end{abstract}

4: