Abstract by Taylor Paskett
Stability of Traveling Waves in Compressible Navier-Stokes
We develop a method for proving stability of traveling waves in compressible Navier-Stokes using rigorous numerical verification. We use interval arithmetic to obtain complete error bounds on all computations, including machine truncation error. We explain several novel methods that we employed to reduce numerical error in the computer-assisted computations.