Spelling suggestions: "subject:"rigorous computational""
1 |
Rigorous Computation of the Evans FunctionMcGhie, Devin 20 April 2023 (has links) (PDF)
We develop computer-assisted methods of proof for rigorous computation of the Evans function in order to prove stability of traveling waves. We use the parameterization method, series solutions, and the Newton-Kantorovich Theorem to obtain precise, rigorous error bounds for the numerical solution of the ODE used in the construction of the Evans function. We demonstrate these methods on a scalar reaction-diffusion model and on the Gray-Scott model.
|
Page generated in 0.0868 seconds