In this thesis we develop tools for carrying out computer assisted proof of the stability of traveling wave solutions of the spatially one-dimensional compressible Navier-Stokes equations with an ideal gas equation of state. In particular, we obtain rigorous, tight error bounds on a high-accuracy numerical approximation of the traveling wave profile for parameters corresponding to air, and we obtain rigorous representations in a neighborhood of positive and negative infinity of the solution to the first order ODE associated with linearizing the PDE equations about the traveling wave solution. We also develop supporting tools for rigorous verification of wave stability.
| Identifer | oai:union.ndltd.org:BGMYU2/oai:scholarsarchive.byu.edu:etd-11494 |
| Date | 02 July 2024 |
| Creators | Anderson, Damian |
| Publisher | BYU ScholarsArchive |
| Source Sets | Brigham Young University |
| Detected Language | English |
| Type | text |
| Format | application/pdf |
| Source | Theses and Dissertations |
| Rights | https://lib.byu.edu/about/copyright/ |
Page generated in 0.0019 seconds