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

摘要

We establish the existence and local uniqueness of traveling wave solutions to the one-dimensional Euler equations with artificial viscosity. The equations are expressed as a fixed-point problem, which is solved by a computer-assisted method based on Yamamoto’s application of the Banach fixed-point theorem.