Rigorous Computation of the Global Dynamics of Integrodifference Equations with Smooth Nonlinearities

Topological tools, such as Conley index theory, have inspired rigorous computational methods for studying dynamics. These methods rely on the construction of an outer approximation, a combinatorial representation of the system that incorporates small, bounded error. In this work, we present an automated approach to constructing outer approximations for systems in a class of integrodifference operators with smooth nonlinearities. Chebyshev interpolants and Galerkin projections form the basis for the construction, while analysis and interval arithmetic are used to incorporate explicit error bounds. This represents a significant advance to the approach given by Day, Junge, and Mischaikow [SIAM J. Appl. Dyn. Syst., 3 (2004), pp. 117--160], extending the nonlinearities that may be studied from low degree polynomials to smooth functions and the studied portion of phase space from a simulated attracting region to the global maximal invariant set. As a demonstration of the techniques, a Morse decomposition of the...