Geometric proof for normally hyperbolic invariant manifolds

Abstract

We present a new proof of the existence of normally hyperbolic manifolds and their whiskers for maps. Our result is not perturbative. Based on the bounds on the map and its derivative, we establish the existence of the manifold within a given neighbourhood. Our proof follows from a graph transform type method and is performed in the state space of the system. We do not require the map to be invertible. From our method follows also the smoothness of the established manifolds, which depends on the smoothness of the map, as well as rate conditions, which follow from bounds on the derivative of the map. Our method is tailor made for rigorous, interval arithmetic based, computer assisted validation of the needed assumptions.

Existence and instability of steady states for a triangular cross-diffusion system: A computer-assisted proof

“…We now expand the unknown functions and we project the differential system (13) onto the Fourier basis. Because of the boundary conditions and (12), v(x), w(x) and p(x) are written as cosine series. On the opposite, since s(x) = v (x), the function s(x) is expanded on the sines basis.…”

Computer assisted proof of the existence of the Lorenz attractor in the Shimizu–Morioka system

“…The proof of Theorem 30 from [38] follows from a graph transform method [40]. We start with a flat function…”

Beyond the Melnikov method II: Multidimensional setting

“…Observe that conditions A and B together with (13) imply that functions u(ε, x) and s(ε, x) exists and are as smooth as w u and w s . Observe now that locally the manifolds W u Λε and W s Λε have the expressions…”