Rigorous numerical computations for 1D advection equations with variable coefficients

Akitoshi Takayasu, Suro Yoon, Yasunori Endo

This paper provides a methodology of verified computing for solutions to 1-dimensional advection equations with variable coefficients. The advection equation is typical partial dif…