Showing 1–3 of 3 results for author: Mireles-James, J

Finite Element Approximation of Invariant Manifolds by the Parameterization Method

Authors: Jorge Gonzalez, J. D Mireles-James, Necibe Tuncer

Abstract: We combine the parameterization method for invariant manifolds with the finite element method for elliptic PDEs,to obtain a new computational framework for high order approximation of invariant manifolds attached to unstable equilibrium solutions of nonlinear parabolic PDEs. The parameterization method provides an infinitesimal invariance equation for the invariant manifold, which we solve via a p… ▽ More We combine the parameterization method for invariant manifolds with the finite element method for elliptic PDEs,to obtain a new computational framework for high order approximation of invariant manifolds attached to unstable equilibrium solutions of nonlinear parabolic PDEs. The parameterization method provides an infinitesimal invariance equation for the invariant manifold, which we solve via a power series ansatz. A power matching argument leads to a recursive system of linear elliptic PDEs -- the so-called homological equations -- whose solutions are the power series coefficients of the parameterization. The homological equations are solved recursively to any desired order using finite element approximation. The end result is a polynomial expansion for a chart map of the manifold, with coefficients in an appropriate finite element space. We implement the method for a variety of example problems having both polynomial and non-polynomial nonlinearities, on non-convex two-dimensional polygonal domains (not necessary simply connected), for equilibrium solutions with Morse indices one and two. We implement a-posteriori error indicators which provide numerical evidence in support of the claim that the manifolds are computed accurately. △ Less

Submitted 6 March, 2022; originally announced March 2022.

Homoclinic dynamics in a spatial restricted four body problem blue skies into Smale horseshoes for vertical Lyapunov families

Authors: Maxime Murray, Jason Mireles-James

Abstract: The set of transverse homoclinic intersections for a saddle-focus equilibrium in the planar equilateral restricted four-body problem admit certain simple homoclinic orbits which form the skeleton of the complete homoclinic intersection -- or homoclinic web. In the present work, the planar restricted four-body problem is viewed as an invariant subsystem of the spatial problem, and the influence of… ▽ More The set of transverse homoclinic intersections for a saddle-focus equilibrium in the planar equilateral restricted four-body problem admit certain simple homoclinic orbits which form the skeleton of the complete homoclinic intersection -- or homoclinic web. In the present work, the planar restricted four-body problem is viewed as an invariant subsystem of the spatial problem, and the influence of this planar homoclinic skeleton on the spatial dynamics is studied from a numerical point of view. Starting from the vertical Lyapunov families emanating from saddle focus equilibria, we compute the stable/unstable manifolds of these spatial periodic orbits and look for intersections between these manifolds near the fundamental planar homoclinics. In this way, we are able to continue all of the basic planar homoclinic motions into the spatial problem as homoclinics for appropriate vertical Lyapunov orbits which, by the Smale Tangle theorem, suggest the existence of chaotic motions in the spatial problem. While the saddle-focus equilibrium solutions in the planar problems occur only at a discrete set of energy levels, the cycle-to-cycle homoclinics in the spatial problem are robust with respect to small changes in energy. △ Less

Submitted 15 January, 2020; originally announced January 2020.

Fourier-Taylor Parameterization of Unstable Manifolds for Parabolic Partial Differential Equations: Formalization, Implementation, and Rigorous Validation

Authors: Jason Mireles-James, Christian Reinhardt

Abstract: 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 differential equations. Our approach is based on studying an infinitesimal invariance equation for the chart map that recovers the dynamics on the manifold in terms of a simple conjugacy. We develop formal series solutions for th… ▽ More 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 differential equations. Our approach is based on studying an infinitesimal invariance equation for the chart map that recovers the dynamics on the manifold in terms of a simple conjugacy. We develop formal series solutions for the invariance equation and efficient numerical methods for computing the series coefficients to any desired finite order. We show, under mild non-resonance conditions, that the formal series expansion converges in a small enough neighborhood of the equilibrium. An a-posteriori computer assisted argument proves convergence in larger neighborhoods. We implement the method for a spatially inhomogeneous Fisher's equation and numerically compute and validate high order expansions of some local unstable manifolds for morse index one and two. We also provide a computer assisted existence proof of a saddle-to-sink heteroclinic connecting orbit. △ Less

Submitted 27 May, 2016; v1 submitted 3 January, 2016; originally announced January 2016.