A computer-assisted proof of the existence of traveling wave solutions to the scalar Euler equations with artificial viscosity (Q421136)

The authors prove the existence and local uniqueness of traveling wave solutions to the one-dimensional Euler equations with artificial viscosity. They reformulate the equations in terms of a fixed-point problem which can be solved by a numerical verification method using Yamamoto's applications [\textit{N. Yamamoto}, SIAM J. Numer. Anal. 35, No. 5, 2004--2013 (1998; Zbl 0972.65084)] of the Banach fixed-point theorem. The computer-assisted proof of the main theorem concerning the existence of a solution to the equation of the form \((f(u)-su)_x=u_{xx}\) is presented together with the full MATLAB code.