Differential Geometry Perspective of Shape Coherence and Curvature Evolution by Finite-Time Nonhyperbolic Splitting

Mixing, and coherence are fundamental issues at the heart of understanding transport in fluid dynamics and other non-autonomous dynamical systems. Recently, the notion of coherence has come to a more rigorous footing, and particularly within the recent advances of finite-time studies of non-autonomous dynamical systems. Here we define shape coherent sets as a means to emphasize the intuitive notion of ensembles which "hold together" for some period of time, and we contrast this notion to other recent perspectives of coherence, notably "coherent pairs", and likewise also to the geodesic theory of material lines. We will relate shape coherence to the differential geometry concept of curve congruence through matching curvatures. We show that points in phase space where there is a zero-splitting between stable and unstable manifolds locally correspond to points where curvature will evolve only slowly in time. Then we develop curves of points with zero-angle, meaning non-hyperbolic splitting, by continuation methods in terms of the implicit function theorem. From this follows a simple ODE description of the boundaries of shape coherent sets. We will illustrate our methods with popular benchmark examples, and further investigate the intricate structure of foliations geometry.

[1]  Eberhard Bodenschatz,et al.  Curvature of lagrangian trajectories in turbulence. , 2007, Physical review letters.

[2]  G. Haller Finding finite-time invariant manifolds in two-dimensional velocity fields. , 2000, Chaos.

[3]  Fernando J. Muzzio,et al.  The curvature of material lines in chaotic cavity flows , 1996 .

[4]  Robert H. Halstead,et al.  Matrix Computations , 2011, Encyclopedia of Parallel Computing.

[5]  Filip Sadlo,et al.  A Comparison of Finite-Time and Finite-Size Lyapunov Exponents , 2014, Topological Methods in Data Analysis and Visualization.

[6]  Erik M. Bollt,et al.  Applied and Computational Measurable Dynamics , 2013, Mathematical modeling and computation.

[7]  Ernest Fontich i Julià,et al.  Differentiable invariant manifolds for partially hyperbolic tori and a lambda lemma , 2000 .

[8]  Mohammad Farazmand,et al.  Erratum and addendum to ''A variational theory of hyperbolic Lagrangian coherent structures'' (Physica D 240 (2011) 574-598) , 2012 .

[9]  J. Marsden,et al.  Definition and properties of Lagrangian coherent structures from finite-time Lyapunov exponents in two-dimensional aperiodic flows , 2005 .

[10]  G. Froyland,et al.  Almost-invariant sets and invariant manifolds — Connecting probabilistic and geometric descriptions of coherent structures in flows , 2009 .

[11]  W. Münch,et al.  Distortion of line and surface elements in model turbulent flows , 1991, Journal of Fluid Mechanics.

[12]  Jean-Luc Thiffeault,et al.  Geometrical constraints on finite-time Lyapunov exponents in two and three dimensions. , 2000, Chaos.

[13]  C. Morandi,et al.  Registration of Translated and Rotated Images Using Finite Fourier Transforms , 1987, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[14]  I. T. Drummond Stretching and bending of line elements in random flows , 1993 .

[15]  V. Arnold Mathematical Methods of Classical Mechanics , 1974 .

[16]  Willy Govaerts,et al.  Numerical methods for bifurcations of dynamical equilibria , 1987 .

[17]  M. Marias Analysis on Manifolds , 2005 .

[18]  G. Froyland,et al.  Transport in time-dependent dynamical systems: finite-time coherent sets. , 2010, Chaos.

[19]  Tian Ma,et al.  Relatively Coherent Sets as a Hierarchical Partition Method , 2012, Int. J. Bifurc. Chaos.

[20]  Yukio Kaneda,et al.  Stretching and Distortion of Material Line Elements in Two-Dimensional Turbulence , 1992 .

[21]  D. Sorensen Newton's method with a model trust region modification , 1982 .

[22]  G. Haller,et al.  Geodesic theory of transport barriers in two-dimensional flows , 2012 .

[23]  O. Junge,et al.  The Algorithms Behind GAIO — Set Oriented Numerical Methods for Dynamical Systems , 2001 .

[24]  Jean-Luc Thiffeault Stretching and curvature of material lines in chaotic flows , 2004 .

[25]  Daniel Karrasch Comment on “A variational theory of hyperbolic Lagrangian coherent structures, Physica D 240 (2011) 574–598” , 2012 .

[26]  G. Haller Lagrangian coherent structures from approximate velocity data , 2002 .

[27]  Gary Froyland,et al.  Almost-Invariant and Finite-Time Coherent Sets: Directionality, Duration, and Diffusion , 2014 .

[28]  Douglas H. Kelley,et al.  Separating stretching from folding in fluid mixing , 2010 .

[29]  Stephen B. Pope,et al.  The curvature of material surfaces in isotropic turbulence , 1989 .

[30]  Bernard Legras,et al.  Local Mixing Events in the Upper Troposphere and Lower Stratosphere. Part II: Seasonal and Interannual Variability , 2009 .

[31]  Shane D. Ross,et al.  A set oriented definition of finite-time Lyapunov exponents and coherent sets , 2013, Commun. Nonlinear Sci. Numer. Simul..

[32]  Jim Hefferon,et al.  Linear Algebra , 2012 .

[33]  F. J. Beron-Vera,et al.  On the Lagrangian Dynamics of Atmospheric Zonal Jets and the Permeability of the Stratospheric Polar Vortex , 2006 .

[34]  G. Haller A variational theory of hyperbolic Lagrangian Coherent Structures , 2010 .

[35]  Jean-Luc Thiffeault Derivatives and constraints in chaotic flows: asymptotic behaviour and a numerical method , 2001 .

[36]  G. Froyland Statistically optimal almost-invariant sets , 2005 .

[37]  M. Clairaut Recherches sur les courbes à double courbure , 1969 .

[38]  Nicholas T Ouellette,et al.  Curvature fields, topology, and the dynamics of spatiotemporal chaos. , 2007, Physical review letters.

[39]  H. Piaggio Differential Geometry of Curves and Surfaces , 1952, Nature.

[40]  Mohammad Farazmand,et al.  Computing Lagrangian coherent structures from their variational theory. , 2012, Chaos.