Rigorous a-posteriori analysis using numerical eigenvalue bounds in a surface growth model

Christian Nolde, Dirk Blömker

In order to prove numerically the global existence and uniqueness of smooth solutions of a fourth order, nonlinear PDE, we derive rigorous a-posteriori upper bounds on the supremum…