Title: Numerical stability analysis for thin film flow: toward rigorous verification
Abstract: We discuss various aspects of numerical stability analysis of periodic roll wave solutions arising in equations of inclined thin film flow, with an eye toward the development of guaranteed error bounds. In particular, we rigorously verify stability of a family of periodic wave solutions arising in a generalized Kuramoto-Sivashinsky equation in the Korteweg-de Vries limit, that is, in the limit viscosity goes to zero.