18 citations · 34 across the 10 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
math.DS2016
Validated Computation of Heteroclinic Sets
Maciej J. Capinski, Jason D. Mireles James
In this work we develop a method for computing mathematically rigorous enclosures of some one dimensional manifolds of heteroclinic orbits for nonlinear maps. Our method exploits a…
math.DS2016★ 1 cited
Fourier-Taylor Parameterization of Unstable Manifolds for Parabolic Partial Differential Equations: Formalization, Implementation, and Rigorous Validation
Jason Mireles-James, Christian Reinhardt
In this paper we study high order expansions of chart maps for local finite dimensional unstable manifolds of hyperbolic equilibrium solutions of scalar parabolic partial different…