Global linearization and fiber bundle structure of invariant manifolds

Abstract

We study global properties of the global (center-)stable manifold of a normally attracting invariant manifold (NAIM), the special case of a normally hyperbolic invariant manifold (NHIM) with empty unstable bundle. We restrict our attention to continuous-time dynamical systems, or flows. We show that the global stable foliation of a NAIM has the structure of a topological disk bundle, and that similar statements hold for inflowing NAIMs and for general compact NHIMs. Furthermore, the global stable foliation has a C k disk bundle structure if the local stable foliation is assumed C k . We then show that the dynamics restricted to the stable manifold of a compact inflowing NAIM are globally topologically conjugate to the linearized transverse dynamics at the NAIM. Moreover, we give conditions ensuring the existence of a global C k linearizing conjugacy. We also prove a C k global linearization result for inflowing NAIMs; we believe that even the local version of this result is new, and may be useful in applications to slow-fast systems. We illustrate the theory by giving applications to geometric singular perturbation theory in the case of an attracting critical manifold: we show that the domain of the Fenichel Normal Form can be extended to the entire global stable manifold, and under additional nonresonance assumptions we derive a smooth global linear normal form. * No academic affiliation (jaap@jaapeldering.nl)

On the Koopman Operator of Algorithms

“…This poses problems with the definition of the Koopman operator family {K n }, since it acts on functions defined on all of X-and for all n = 0, some elements leave X, so that the flow map on the entire set X is not defined for n = 0. If all vectors on the boundary of the data domain pointed inward (outward), the flow would exist for all forward (backward) time, and the problem would be related to inflowing (overflowing) invariant manifolds [11]. Eigenvalues with a real part larger than one indicate unstable behavior, indicating the existence of unstable nodes or saddles in the data set.…”

Mode-Reactive Template-Based Control in Planar Legged Robots

“…This paper takes its place in a long tradition of dynamical model reduction associated with biological observations of low degree of freedom "template" dynamics emerging from complicated high degree of animal bodies that "anchor" the simpler behavior [26]. A complete formal account of such hierarchical composition for classical dynamical systems can be found in [27] while its formal extension to the hybrid setting remains a work in progress [28]. In this paper, we use the terms "template" (reduced-order model that generates the reference dynamics) and "anchoring" (its embedding via WBC), as they are defined in Appendix A.…”

What Is Robotics? Why Do We Need It and How Can We Get It?

“…Construing the construction and embedding of reference dynamics (Section C.2.2.3) as a hierarchical composition (Section C.2.3.1) instantiates the concept of an anchored template (203)-a module of behavior that can be represented and composed via a symbol grounded in a physically embodied sensorimotor behavior (Section 4.1.2.2). Here, the guaranteed property of the composition is that the behavior in the resulting higher-dimensional anchoring space converges toward a lower-dimensional subspace whose dynamics is a change of coordinates away from that of the template (204,205).…”