Invariant manifold

Abstract: Preliminaries.- Examples of nonlinear parabolic equations in physical, biological and engineering problems.- Existence, uniqueness and continuous dependence.- Dynamical systems and liapunov stability.- Neighborhood of an equilibrium point.- Invariant manifolds near an equilibrium point.- Linear nonautonomous equations.- Neighborhood of a periodic solution.- The neighborhood of an invariant manifold.- Two examples.

Abstract: We present a new algorithm for manifold learning and nonlinear dimensionality reduction. Based on a set of unorganized data points sampled with noise from a parameterized manifold, the local geometry of the manifold is learned by constructing an approximation for the tangent space at each data point, and those tangent spaces are then aligned to give the global coordinates of the data points with respect to the underlying manifold. We also present an error analysis of our algorithm showing that reconstruction errors can be quite small in some cases. We illustrate our algorithm using curves and surfaces both in two-dimensional/three-dimensional (2D/3D) Euclidean spaces and in higher-dimensional Euclidean spaces. We also address several theoretical and algorithmic issues for further research and improvements.

Abstract: This paper develops the theory and computation of Lagrangian Coherent Structures (LCS), which are defined as ridges of Finite-Time Lyapunov Exponent (FTLE) fields. These ridges can be seen as finite-time mixing templates. Such a framework is common in dynamical systems theory for autonomous and time-periodic systems, in which examples of LCS are stable and unstable manifolds of fixed points and periodic orbits. The concepts defined in this paper remain applicable to flows with arbitrary time dependence and, in particular, to flows that are only defined (computed or measured) over a finite interval of time. Previous work has demonstrated the usefulness of FTLE fields and the associated LCSs for revealing the Lagrangian behavior of systems with general time dependence. However, ridges of the FTLE field need not be exactly advected with the flow. The main result of this paper is an estimate for the flux across an LCS, which shows that the flux is small, and in most cases negligible, for well-defined LCSs or those that rotate at a speed comparable to the local Eulerian velocity field, and are computed from FTLE fields with a sufficiently long integration time. Under these hypotheses, the structures represent nearly invariant manifolds even in systems with arbitrary time dependence. The results are illustrated on three examples. The first is a simplified dynamical model of a double-gyre flow. The second is surface current data collected by high-frequency radar stations along the coast of Florida and the third is unsteady separation over an airfoil. In all cases, the existence of LCSs governs the transport and it is verified numerically that the flux of particles through these distinguished lines is indeed negligible.