Showing 1–43 of 43 results for author: Haller, G

Joint Reduced Model for the Laminar and Chaotic Attractors in Plane Couette Flow

Authors: Bálint Kaszás, George Haller

Abstract: We use the theory of spectral submanifolds (SSMs) to develop a low-dimensional reduced-order model for plane Couette flow in the permanently chaotic regime studied by Kreilos & Eckhardt (2012). Our three-dimensional model is obtained by restricting the dynamics to the slowest mixed-mode SSM of the edge state. We show that this results in a nonlinear model that accurately reconstructs individual tr… ▽ More We use the theory of spectral submanifolds (SSMs) to develop a low-dimensional reduced-order model for plane Couette flow in the permanently chaotic regime studied by Kreilos & Eckhardt (2012). Our three-dimensional model is obtained by restricting the dynamics to the slowest mixed-mode SSM of the edge state. We show that this results in a nonlinear model that accurately reconstructs individual trajectories, representing the entire chaotic attractor and the laminar dynamics simultaneously. In addition, we derive a two-dimensional Poincaré map that enables the rapid computation of the periodic orbits embedded in the chaotic attractor. △ Less

Submitted 9 May, 2025; originally announced May 2025.

Globalizing manifold-based reduced models for equations and data

Authors: Bálint Kaszás, George Haller

Abstract: One of the very few mathematically rigorous nonlinear model reduction methods is the restriction of a dynamical system to a low-dimensional, sufficiently smooth, attracting invariant manifold. Such manifolds are usually found using local polynomial approximations and, hence, are limited by the unknown domains of convergence of their Taylor expansions. To address this limitation, we extend local ex… ▽ More One of the very few mathematically rigorous nonlinear model reduction methods is the restriction of a dynamical system to a low-dimensional, sufficiently smooth, attracting invariant manifold. Such manifolds are usually found using local polynomial approximations and, hence, are limited by the unknown domains of convergence of their Taylor expansions. To address this limitation, we extend local expansions for invariant manifolds via Padé approximants, which re-express the Taylor expansions as rational functions for broader utility. This approach significantly expands the range of applicability of manifold-reduced models, enabling reduced modeling of global phenomena, such as large-scale oscillations and chaotic attractors of finite element models. We illustrate the power of globalized manifold-based model reduction on several equation-driven and data-driven examples from solid mechanics and fluid mechanics. △ Less

Submitted 9 May, 2025; originally announced May 2025.

Data-Driven Soft Robot Control via Adiabatic Spectral Submanifolds

Authors: Roshan S. Kaundinya, John Irvin Alora, Jonas G. Matt, Luis A. Pabon, Marco Pavone, George Haller

Abstract: The mechanical complexity of soft robots creates significant challenges for their model-based control. Specifically, linear data-driven models have struggled to control soft robots on complex, spatially extended paths that explore regions with significant nonlinear behavior. To account for these nonlinearities, we develop here a model-predictive control strategy based on the recent theory of adiab… ▽ More The mechanical complexity of soft robots creates significant challenges for their model-based control. Specifically, linear data-driven models have struggled to control soft robots on complex, spatially extended paths that explore regions with significant nonlinear behavior. To account for these nonlinearities, we develop here a model-predictive control strategy based on the recent theory of adiabatic spectral submanifolds (aSSMs). This theory is applicable because the internal vibrations of heavily overdamped robots decay at a speed that is much faster than the desired speed of the robot along its intended path. In that case, low-dimensional attracting invariant manifolds (aSSMs) emanate from the path and carry the dominant dynamics of the robot. Aided by this recent theory, we devise an aSSM-based model-predictive control scheme purely from data. We demonstrate the effectiveness of this data-driven model on various dynamic trajectory tracking tasks on a high-fidelity and high-dimensional finite-element model of a soft trunk robot. Notably, we find that four- or five-dimensional aSSM-reduced models outperform the tracking performance of other data-driven modeling methods by a factor up to 10 across all closed-loop control tasks. △ Less

Submitted 13 March, 2025; originally announced March 2025.

Comments: 33 pages, 19 figures

Data-Driven Linearization of Dynamical Systems

Authors: George Haller, Bálint Kaszás

Abstract: Dynamic Mode Decomposition (DMD) and its variants, such as extended DMD (EDMD), are broadly used to fit simple linear models to dynamical systems known from observable data. As DMD methods work well in several situations but perform poorly in others, a clarification of the assumptions under which DMD is applicable is desirable. Upon closer inspection, existing interpretations of DMD methods based… ▽ More Dynamic Mode Decomposition (DMD) and its variants, such as extended DMD (EDMD), are broadly used to fit simple linear models to dynamical systems known from observable data. As DMD methods work well in several situations but perform poorly in others, a clarification of the assumptions under which DMD is applicable is desirable. Upon closer inspection, existing interpretations of DMD methods based on the Koopman operator are not quite satisfactory: they justify DMD under assumptions that hold only with probability zero for generic observables. Here, we give a justification for DMD as a local, leading-order reduced model for the dominant system dynamics under conditions that hold with probability one for generic observables and non-degenerate observational data. We achieve this for autonomous and for periodically forced systems of finite or infinite dimensions by constructing linearizing transformations for their dominant dynamics within attracting slow spectral submanifolds (SSMs). Our arguments also lead to a new algorithm, data-driven linearization (DDL), which is a higher-order, systematic linearization of the observable dynamics within slow SSMs. We show by examples how DDL outperforms DMD and EDMD on numerical and experimental data. △ Less

Submitted 5 August, 2024; v1 submitted 11 July, 2024; originally announced July 2024.

Comments: This revised version is going to appear in Nonlinear Dynamics

Nonlinear Model Reduction to Random Spectral Submanifolds in Random Vibrations

Authors: Zhenwei Xu, Roshan S. Kaundinya, Shobhit Jain, George Haller

Abstract: Dynamical systems in engineering and physics are often subject to irregular excitations that are best modeled as random. Monte Carlo simulations are routinely performed on such random models to obtain statistics on their long-term response. Such simulations, however, are prohibitively expensive and time consuming for high-dimensional nonlinear systems. Here we propose to decrease this numerical bu… ▽ More Dynamical systems in engineering and physics are often subject to irregular excitations that are best modeled as random. Monte Carlo simulations are routinely performed on such random models to obtain statistics on their long-term response. Such simulations, however, are prohibitively expensive and time consuming for high-dimensional nonlinear systems. Here we propose to decrease this numerical burden significantly by reducing the full system to very low-dimensional, attracting, random invariant manifolds in its phase space and performing the Monte Carlo simulations on that reduced dynamical system. The random spectral submanifolds (SSMs) we construct for this purpose generalize the concept of SSMs from deterministic systems under uniformly bounded random forcing. We illustrate the accuracy and speed of random SSM reduction by computing the SSM-reduced power spectral density of the randomly forced mechanical systems that range from simple oscillator chains to finite-element models of beams and plates. △ Less

Submitted 4 July, 2024; originally announced July 2024.

Comments: 26 pages, 15 figures

Nonlinear Model Reduction to Temporally Aperiodic Spectral Submanifolds

Authors: George Haller, Roshan S. Kaundinya

Abstract: We extend the theory of spectral submanifolds (SSMs) to general non-autonomous dynamical systems that are either weakly forced or slowly varying. Examples of such systems arise in structural dynamics, fluid-structure interactions and control problems. The time-dependent SSMs we construct under these assumptions are normally hyperbolic and hence will persist for larger forcing and faster time depen… ▽ More We extend the theory of spectral submanifolds (SSMs) to general non-autonomous dynamical systems that are either weakly forced or slowly varying. Examples of such systems arise in structural dynamics, fluid-structure interactions and control problems. The time-dependent SSMs we construct under these assumptions are normally hyperbolic and hence will persist for larger forcing and faster time dependence that are beyond the reach of our precise existence theory. For this reason, we also derive formal asymptotic expansions that, under explicitly verifiable nonresonance conditions, approximate SSMs and their aperiodic anchor trajectories accurately for stronger, faster or even temporally discontinuous forcing. Reducing the dynamical system to these persisting SSMs provides a mathematically justified model reduction technique for non-autonomous physical systems whose time dependance is moderate either in magnitude or speed. We illustrate the existence, persistence and computation of temporally aperiodic SSMs in mechanical examples under chaotic forcing. △ Less

Submitted 8 April, 2024; originally announced April 2024.

Comments: To appear in Chaos

Capturing the Edge of Chaos as a Spectral Submanifold in Pipe Flows

Authors: Bálint Kaszás, George Haller

Abstract: An extended turbulent state can coexist with the stable laminar state in pipe flows. We focus here on short pipes with additional discrete symmetries imposed. In this case, the boundary between the coexisting basins of attraction, often called the edge of chaos, is the stable manifold of an edge state, which is a lower-branch traveling wave solution. We show that a low-dimensional submanifold of t… ▽ More An extended turbulent state can coexist with the stable laminar state in pipe flows. We focus here on short pipes with additional discrete symmetries imposed. In this case, the boundary between the coexisting basins of attraction, often called the edge of chaos, is the stable manifold of an edge state, which is a lower-branch traveling wave solution. We show that a low-dimensional submanifold of the edge of chaos can be constructed from velocity data using the recently developed theory of spectral submanifolds (SSMs). These manifolds are the unique smoothest nonlinear continuations of nonresonant spectral subspaces of the linearized system at stationary states. Using very low dimensional SSM-based reduced-order models, we predict transitions to turbulence or laminarization for velocity fields near the edge of chaos. △ Less

Submitted 12 November, 2023; originally announced November 2023.

Comments: Accepted for publication in the Journal of Fluid Mechanics

Data-Driven Modeling and Forecasting of Chaotic Dynamics on Inertial Manifolds Constructed as Spectral Submanifolds

Authors: Aihui Liu, Joar Axås, George Haller

Abstract: We present a data-driven and interpretable approach for reducing the dimensionality of chaotic systems using spectral submanifolds (SSMs). Emanating from fixed points or periodic orbits, these SSMs are low-dimensional inertial manifolds containing the chaotic attractor of the underlying high-dimensional system. The reduced dynamics on the SSMs turn out to predict chaotic dynamics accurately over a… ▽ More We present a data-driven and interpretable approach for reducing the dimensionality of chaotic systems using spectral submanifolds (SSMs). Emanating from fixed points or periodic orbits, these SSMs are low-dimensional inertial manifolds containing the chaotic attractor of the underlying high-dimensional system. The reduced dynamics on the SSMs turn out to predict chaotic dynamics accurately over a few Lyapunov times and also reproduce long-term statistical features, such as the largest Lyapunov exponents and probability distributions, of the chaotic attractor. We illustrate this methodology on numerical data sets including a delay-embedded Lorenz attractor, a nine-dimensional Lorenz model, and a Duffing oscillator chain. We also demonstrate the predictive power of our approach by constructing an SSM-reduced model from unforced trajectories of a buckling beam, and then predicting its periodically forced chaotic response without using data from the forced beam. △ Less

Submitted 14 February, 2024; v1 submitted 9 October, 2023; originally announced October 2023.

Comments: Submitted to Chaos

Nonlinear Model Reduction to Fractional and Mixed-Mode Spectral Submanifolds

Authors: George Haller, Bálint Kaszás, Aihui Liu, Joar Axås

Abstract: A primary spectral submanifold (SSM) is the unique smoothest nonlinear continuation of a nonresonant spectral subspace $E$ of a dynamical system linearized at a fixed point. Passing from the full nonlinear dynamics to the flow on an attracting primary SSM provides a mathematically precise reduction of the full system dynamics to a very low-dimensional, smooth model in polynomial form. A limitation… ▽ More A primary spectral submanifold (SSM) is the unique smoothest nonlinear continuation of a nonresonant spectral subspace $E$ of a dynamical system linearized at a fixed point. Passing from the full nonlinear dynamics to the flow on an attracting primary SSM provides a mathematically precise reduction of the full system dynamics to a very low-dimensional, smooth model in polynomial form. A limitation of this model reduction approach has been, however, that the spectral subspace yielding the SSM must be spanned by eigenvectors of the same stability type. A further limitation has been that in some problems, the nonlinear behavior of interest may be far away from the smoothest nonlinear continuation of the invariant subspace $E$. Here we remove both of these limitations by constructing a significantly extended class of SSMs that also contains invariant manifolds with mixed internal stability types and of lower smoothness class arising from fractional powers in their parametrization. We show on examples how fractional and mixed-mode SSMs extend the power of data-driven SSM reduction to transitions in shear flows, dynamic buckling of beams and periodically forced nonlinear oscillatory systems. More generally, our results reveal the general function library that should be used beyond integer-powered polynomials in fitting nonlinear reduced-order models to data. △ Less

Submitted 25 May, 2023; originally announced May 2023.

Comments: To appear in Chaos

The Objective Deformation Component of a Velocity Field

Authors: Bálint Kaszás, Tiemo Pedergnana, George Haller

Abstract: For an arbitrary velocity field $\mathbf{v}$ defined on a finite, fixed spatial domain, we find the closest rigid-body velocity field $\mathbf{v}_{RB}$ to $\mathbf{v}$ in the $L^2$ norm. The resulting deformation velocity component, $\mathbf{v}_{d}=\mathbf{v-\mathbf{v}}_{RB}$, turns out to be frame-indifferent and physically observable. Specifically, if $\mathbf{Q}_{\text{RB}}(t)$ is the rotation… ▽ More For an arbitrary velocity field $\mathbf{v}$ defined on a finite, fixed spatial domain, we find the closest rigid-body velocity field $\mathbf{v}_{RB}$ to $\mathbf{v}$ in the $L^2$ norm. The resulting deformation velocity component, $\mathbf{v}_{d}=\mathbf{v-\mathbf{v}}_{RB}$, turns out to be frame-indifferent and physically observable. Specifically, if $\mathbf{Q}_{\text{RB}}(t)$ is the rotation tensor describing the motion of the closest rigid body frame, then $\mathbf{v}$ is seen as $\mathbf{Q}_{\text{RB}}^{T}\mathbf{v}_{d}$ by an observer in that frame. As a consequence, the momentum, energy, vorticity, enstrophy, and helicity of the flow all become frame-indifferent when computed from the deformation velocity component $\mathbf{v}_{d}$. △ Less

Submitted 13 December, 2022; originally announced December 2022.

Comments: To appear in the European Journal of Mechanics - B/Fluids

Approximate streamsurfaces for flow visualization

Authors: Stergios Katsanoulis, Florian Kogelbauer, Roshan Kaundinya, Jesse Ault, George Haller

Abstract: Instantaneous features of three-dimensional velocity fields are most directly visualized via streamsurfaces. It is generally unclear, however, which streamsurfaces one should pick for this purpose, given that infinitely many such surfaces pass through each point of the flow domain. Exceptions to this rule are vector fields with a nondegenerate first integral whose level surfaces globally define a… ▽ More Instantaneous features of three-dimensional velocity fields are most directly visualized via streamsurfaces. It is generally unclear, however, which streamsurfaces one should pick for this purpose, given that infinitely many such surfaces pass through each point of the flow domain. Exceptions to this rule are vector fields with a nondegenerate first integral whose level surfaces globally define a continuous, one-parameter family of streamsurfaces. While generic vector fields have no first integrals, their vortical regions may admit local first integrals over a discrete set of streamtubes, as Hamiltonian systems are known to do over Cantor sets of invariant tori. Here we introduce a method to construct such first integrals approximately from velocity data, and show that their level sets indeed frame vortical features of the velocity field in examples in which those features are known from Lagrangian analysis. Moreover, we test our method in numerical data sets, including a flow inside a V-junction and a turbulent channel flow. For the latter, we propound an algorithm to pin down the most salient barriers to momentum transport up to a given scale providing a way out of the occlusion conundrum that typically accompanies other vortex visualization methods. △ Less

Submitted 23 November, 2022; originally announced November 2022.

Comments: To appear in JFM

Dynamics-based machine learning of transitions in Couette flow

Authors: Bálint Kaszás, Mattia Cenedese, George Haller

Abstract: We derive low-dimensional, data-driven models for transitions among exact coherent states (ECSs) in one of the most studied canonical shear flows, the plane Couette flow. These one- or two-dimensional nonlinear models represent the leading-order reduced dynamics on attracting spectral submanifolds (SSMs), which we construct using the recently developed SSMLearn algorithm from a small number of sim… ▽ More We derive low-dimensional, data-driven models for transitions among exact coherent states (ECSs) in one of the most studied canonical shear flows, the plane Couette flow. These one- or two-dimensional nonlinear models represent the leading-order reduced dynamics on attracting spectral submanifolds (SSMs), which we construct using the recently developed SSMLearn algorithm from a small number of simulated transitions. We find that the energy input and output rates provide efficient parametrizations for the most important SSMs. By restricting the dynamics to these SSMs, we obtain reduced-order models that also reliably predict nearby, off-SSM transitions that were not used in their training. △ Less

Submitted 27 August, 2022; v1 submitted 24 March, 2022; originally announced March 2022.

Comments: Accepted version

Journal ref: B. Kaszás, M. Cenedese, G. Haller, Dynamics-based machine learning of transitions in Couette flow, Phys. Rev. Fluids 7, L082402 (2022)

Data-Driven Modeling and Prediction of Non-Linearizable Dynamics via Spectral Submanifolds

Authors: Mattia Cenedese, Joar Axås, Bastian Bäuerlein, Kerstin Avila, George Haller

Abstract: We develop a methodology to construct low-dimensional predictive models from data sets representing essentially nonlinear (or non-linearizable) dynamical systems with a hyperbolic linear part that are subject to external forcing with finitely many frequencies. Our data-driven, sparse, nonlinear models are obtained as extended normal forms of the reduced dynamics on low-dimensional, attracting spec… ▽ More We develop a methodology to construct low-dimensional predictive models from data sets representing essentially nonlinear (or non-linearizable) dynamical systems with a hyperbolic linear part that are subject to external forcing with finitely many frequencies. Our data-driven, sparse, nonlinear models are obtained as extended normal forms of the reduced dynamics on low-dimensional, attracting spectral submanifolds (SSMs) of the dynamical system. We illustrate the power of data-driven SSM reduction on high-dimensional numerical data sets and experimental measurements involving beam oscillations, vortex shedding and sloshing in a water tank. We find that SSM reduction trained on unforced data also predicts nonlinear response accurately under additional external forcing. △ Less

Submitted 13 January, 2022; originally announced January 2022.

Comments: Under consideration at Nature Communications

MSC Class: 37N10; 37N15

Universal Upper Estimate for Prediction Errors under Moderate Model Uncertainty

Authors: Bálint Kaszás, George Haller

Abstract: We derive universal upper estimates for model-prediction error under moderate but otherwise unknown model uncertainty. Our estimates give upper bounds on the leading order trajectory-uncertainty arising along model trajectories, solely as functions of the invariants of the known Cauchy-Green strain tensor of the model. Our bounds turn out to be optimal, which means that they cannot be improved for… ▽ More We derive universal upper estimates for model-prediction error under moderate but otherwise unknown model uncertainty. Our estimates give upper bounds on the leading order trajectory-uncertainty arising along model trajectories, solely as functions of the invariants of the known Cauchy-Green strain tensor of the model. Our bounds turn out to be optimal, which means that they cannot be improved for general systems. The quantity relating the leading-order trajectory-uncertainty to the model uncertainty is the Model Sensitivity, which we find to be a useful tool for a quick global assessment of the impact of modeling uncertainties in various domains of the phase space. Examining the expectation that Finite-Time Lyapunov Exponents capture sensitivity to modeling errors, we show that this does not generally follow. However, we find that certain important features of the FTLE persist in the MS field. △ Less

Submitted 28 October, 2020; v1 submitted 14 July, 2020; originally announced July 2020.

Objective barriers to the transport of dynamically active vector fields

Authors: George Haller, Stergios Katsanoulis, Markus Holzner, Bettina Frohnapfel, Davide Gatti

Abstract: We derive a theory for material surfaces that maximally inhibit the diffusive transport of a dynamically active vector field, such as the linear momentum, the angular momentum or the vorticity, in general fluid flows. These special material surfaces (\emph{Lagrangian active barriers}) provide physics-based, observer-independent boundaries of dynamically active coherent structures. We find that Lag… ▽ More We derive a theory for material surfaces that maximally inhibit the diffusive transport of a dynamically active vector field, such as the linear momentum, the angular momentum or the vorticity, in general fluid flows. These special material surfaces (\emph{Lagrangian active barriers}) provide physics-based, observer-independent boundaries of dynamically active coherent structures. We find that Lagrangian active barriers evolve from invariant surfaces of an associated steady and incompressible \emph{barrier equation}, whose right-hand side is the time-averaged pullback of the viscous stress terms in the evolution equation for the dynamically active vector field. Instantaneous limits of these barriers mark objective \emph{Eulerian active barriers} to the short-term diffusive transport of the dynamically active vector field. We obtain that in unsteady Beltrami flows, Lagrangian and Eulerian active barriers coincide exactly with purely advective transport barriers bounding observed coherent structures. In more general flows, active barriers can be identified by applying Lagrangian coherent structure (LCS) diagnostics, such as the finite-time Lyapunov exponent and the polar rotation angle, to the appropriate active barrier equation. In comparison to their passive counterparts, these \emph{active LCS diagnostics} require no significant fluid particle separation and hence provide substantially higher-resolved Lagrangian and Eulerian coherent structure boundaries from temporally shorter velocity data sets. We illustrate these results and their physical interpretation on two-dimensional, homogeneous, isotropic turbulence and on a three-dimensional turbulent channel flow. △ Less

Submitted 1 September, 2020; v1 submitted 16 February, 2020; originally announced February 2020.

Comments: 50 pages, 40 figures, to be published in J. Fluid. Mech

Journal ref: J. Fluid Mech. 905 (2020) A17

Explicit Unsteady Navier-Stokes Solutions and their Analysis via Local Vortex Criteria

Authors: Tiemo Pedergnana, David Oettinger, Gabriel Provencher-Langlois, George Haller

Abstract: We construct a class of spatially polynomial velocity fields that are exact solutions of the planar unsteady Navier-Stokes equation. These solutions can be used as simple benchmarks for testing numerical methods or verifying the feasibility of flow-feature identification principles. We use examples from the constructed solution family to illustrate deficiencies of streamlines-based feature detecti… ▽ More We construct a class of spatially polynomial velocity fields that are exact solutions of the planar unsteady Navier-Stokes equation. These solutions can be used as simple benchmarks for testing numerical methods or verifying the feasibility of flow-feature identification principles. We use examples from the constructed solution family to illustrate deficiencies of streamlines-based feature detection and of the Okubo-Weiss criterion, which is the common two-dimensional version of the broadly used Q-, Delta-, Lambda-2- and Lambda-Ci-criteria for vortex-detection. Our planar polynomial solutions also extend directly to explicit, three-dimensional unsteady Navier-Stokes solutions with a symmetry. △ Less

Submitted 10 April, 2020; v1 submitted 13 August, 2019; originally announced August 2019.

Comments: To be published in Physics of Fluids

MSC Class: 76A02

Explicit Third-Order Model Reduction Formulas for General Nonlinear Mechanical Systems

Authors: Zsolt Veraszto, Sten Ponsioen, George Haller

Abstract: For general nonlinear mechanical systems, we derive closed-form, reduced-order models up to cubic order based on rigorous invariant manifold results. For conservative systems, the reduction is based on Lyapunov Subcenter Manifold (LSM) theory, whereas for damped-forced systems, we use Spectral Submanifold (SSM) theory. To evaluate our explicit formulas for the reduced model, no coordinate changes… ▽ More For general nonlinear mechanical systems, we derive closed-form, reduced-order models up to cubic order based on rigorous invariant manifold results. For conservative systems, the reduction is based on Lyapunov Subcenter Manifold (LSM) theory, whereas for damped-forced systems, we use Spectral Submanifold (SSM) theory. To evaluate our explicit formulas for the reduced model, no coordinate changes are required beyond an initial linear one. The reduced-order models we derive are simple and depend only on physical and modal parameters, allowing us to extract fundamental characteristics, such as backbone curves and forced-response curves, of multi-degree-of-freedom mechanical systems. To numerically verify the accuracy of the reduced models, we test the reduction formulas on several mechanical systems, including a higher-dimensional nonlinear Timoshenko beam. △ Less

Submitted 19 May, 2019; originally announced May 2019.

Analytic Prediction of Isolated Forced Response Curves from Spectral Submanifolds

Authors: Sten Ponsioen, Tiemo Pedergnana, George Haller

Abstract: We show how spectral submanifold theory can be used to provide analytic predictions for the response of periodically forced multi-degree-of-freedom mechanical systems. These predictions include an explicit criterion for the existence of isolated forced responses that will generally be missed by numerical continuation techniques. Our analytic predictions can be refined to arbitrary precision via an… ▽ More We show how spectral submanifold theory can be used to provide analytic predictions for the response of periodically forced multi-degree-of-freedom mechanical systems. These predictions include an explicit criterion for the existence of isolated forced responses that will generally be missed by numerical continuation techniques. Our analytic predictions can be refined to arbitrary precision via an algorithm that does not require the numerical solutions of the mechanical system. We illustrate all these results on low- and high-dimensional nonlinear vibration problems. We find that our SSM-based forced-response predictions remain accurate in high-dimensional systems, in which numerical continuation of the periodic response is no longer feasible. △ Less

Submitted 17 December, 2018; originally announced December 2018.

Fast Computation of Steady-State Response for Nonlinear Vibrations of High-Degree-of-Freedom Systems

Authors: Shobhit Jain, Thomas Breunung, George Haller

Abstract: We discuss an integral equation approach that enables fast computation of the response of nonlinear multi-degree-of-freedom mechanical systems under periodic and quasi-periodic external excitation. The kernel of this integral equation is a Green's function that we compute explicitly for general mechanical systems. We derive conditions under which the integral equation can be solved by a simple and… ▽ More We discuss an integral equation approach that enables fast computation of the response of nonlinear multi-degree-of-freedom mechanical systems under periodic and quasi-periodic external excitation. The kernel of this integral equation is a Green's function that we compute explicitly for general mechanical systems. We derive conditions under which the integral equation can be solved by a simple and fast Picard iteration even for non-smooth mechanical systems. The convergence of this iteration cannot be guaranteed for near-resonant forcing, for which we employ a Newton--Raphson iteration instead, obtaining robust convergence. We further show that this integral-equation approach can be appended with standard continuation schemes to achieve an additional, significant performance increase over common approaches to computing steady-state response. △ Less

Submitted 23 October, 2018; originally announced October 2018.

Material Barriers to Diffusive and Stochastic Transport

Authors: George Haller, Daniel Karrasch, Florian Kogelbauer

Abstract: We seek transport barriers and transport enhancers as material surfaces across which the transport of diffusive tracers is minimal or maximal in a general, unsteady flow. We find that such surfaces are extremizers of a universal, non-dimensional transport functional whose leading-order term in the diffusivity can be computed directly from the flow velocity. The most observable (uniform) transport… ▽ More We seek transport barriers and transport enhancers as material surfaces across which the transport of diffusive tracers is minimal or maximal in a general, unsteady flow. We find that such surfaces are extremizers of a universal, non-dimensional transport functional whose leading-order term in the diffusivity can be computed directly from the flow velocity. The most observable (uniform) transport extremizers are explicitly computable as null-surfaces of an objective transport tensor. Even in the limit of vanishing diffusivity, these surfaces differ from all previously identified coherent structures for purely advective fluid transport. Our results extend directly to stochastic velocity fields and hence enable transport barrier and enhancer detection under uncertainties. △ Less

Submitted 14 August, 2018; originally announced August 2018.

Comments: Accepted, non-copyedited version (Proceedings of the National Academy of Sciences)

Journal ref: PNAS September 11, 2018 115 (37) 9074-9079

A Critical Comparison of Lagrangian Methods for Coherent Structure Detection

Authors: Alireza Hadjighasem, Mohammad Farazmand, Daniel Blazevski, Gary Froyland, George Haller

Abstract: We review and test twelve different approaches to the detection of finite-time coherent material structures in two-dimensional, temporally aperiodic flows. We consider both mathematical methods and diagnostic scalar fields, comparing their performance on three benchmark examples: the quasiperiodically forced Bickley jet, a two-dimensional turbulence simulation, and an observational wind velocity f… ▽ More We review and test twelve different approaches to the detection of finite-time coherent material structures in two-dimensional, temporally aperiodic flows. We consider both mathematical methods and diagnostic scalar fields, comparing their performance on three benchmark examples: the quasiperiodically forced Bickley jet, a two-dimensional turbulence simulation, and an observational wind velocity field from Jupiter's atmosphere. A close inspection of the results reveals that the various methods often produce very different predictions for coherent structures, once they are evaluated beyond heuristic visual assessment. As we find by passive advection of the coherent set candidates, false positives and negatives can be produced even by some of the mathematically justified methods due to the ineffectiveness of their underlying coherence principles in certain flow configurations. We summarize the inferred strengths and weaknesses of each method, and make general recommendations for minimal self-consistency requirements that any Lagrangian coherence detection technique should satisfy. △ Less

Submitted 19 April, 2017; originally announced April 2017.

Exact Nonlinear Model Reduction for a von Karman beam: Slow-Fast Decomposition and Spectral Submanifolds

Authors: Shobhit Jain, Paolo Tiso, George Haller

Abstract: We apply two recently formulated mathematical techniques, Slow-Fast Decomposition (SFD) and Spectral Submanifold (SSM) reduction, to a von Karman beam with geometric nonlinearities and viscoelastic damping. SFD identifies a global slow manifold in the full system which attracts solutions at rates faster than typical rates within the manifold. An SSM, the smoothest nonlinear continuation of a linea… ▽ More We apply two recently formulated mathematical techniques, Slow-Fast Decomposition (SFD) and Spectral Submanifold (SSM) reduction, to a von Karman beam with geometric nonlinearities and viscoelastic damping. SFD identifies a global slow manifold in the full system which attracts solutions at rates faster than typical rates within the manifold. An SSM, the smoothest nonlinear continuation of a linear modal subspace, is then used to further reduce the beam equations within the slow manifold. This two-stage, mathematically exact procedure results in a drastic reduction of the finite-element beam model to a one-degree-of freedom nonlinear oscillator. We also introduce the technique of spectral quotient analysis, which gives the number of modes relevant for reduction as output rather than input to the reduction process. △ Less

Submitted 8 March, 2017; originally announced March 2017.

Uncovering the Edge of the Polar Vortex

Authors: Mattia Serra, Pratik Sathe, Francisco Beron-Vera, George Haller

Abstract: The polar vortices play a crucial role in the formation of the ozone hole and can cause severe weather anomalies. Their boundaries, known as the vortex `edges', are typically identified via methods that are either frame-dependent or return non-material structures, and hence are unsuitable for assessing material transport barriers. Using two-dimensional velocity data on isentropic surfaces in the n… ▽ More The polar vortices play a crucial role in the formation of the ozone hole and can cause severe weather anomalies. Their boundaries, known as the vortex `edges', are typically identified via methods that are either frame-dependent or return non-material structures, and hence are unsuitable for assessing material transport barriers. Using two-dimensional velocity data on isentropic surfaces in the northern hemisphere, we show that elliptic Lagrangian Coherent Structures (LCSs) identify the correct outermost material surface dividing the coherent vortex core from the surrounding incoherent surf zone. Despite the purely kinematic construction of LCSs, we find a remarkable contrast in temperature and ozone concentration across the identified vortex boundary. We also show that potential vorticity-based methods, despite their simplicity, misidentify the correct extent of the vortex edge. Finally, exploiting the shrinkage of the vortex at various isentropic levels, we observe a trend in the magnitude of vertical motion inside the vortex which is consistent with previous results. △ Less

Submitted 18 February, 2017; originally announced February 2017.

Exact Model Reduction by a Slow-Fast Decomposition of Nonlinear Mechanical Systems

Authors: George Haller, Sten Ponsioen

Abstract: We derive conditions under which a general nonlinear mechanical system can be exactly reduced to a lower-dimensional model that involves only the most flexible degrees of freedom. This Slow-Fast Decomposition (SFD) enslaves exponentially fast the stiff degrees of freedom to the flexible ones as all oscillations converge to the reduced model defined on a slow manifold. We obtain an expression for t… ▽ More We derive conditions under which a general nonlinear mechanical system can be exactly reduced to a lower-dimensional model that involves only the most flexible degrees of freedom. This Slow-Fast Decomposition (SFD) enslaves exponentially fast the stiff degrees of freedom to the flexible ones as all oscillations converge to the reduced model defined on a slow manifold. We obtain an expression for the domain boundary beyond which the reduced model ceases to be relevant due to a generic loss of stability of the slow manifold. We also find that near equilibria, the SFD gives a mathematical justification for two modal-reduction methods used in structural dynamics: static condensation and modal derivatives. These formal reduction procedures, however, are also found to return incorrect results when the SFD conditions do not hold. We illustrate all these results on mechanical examples. △ Less

Submitted 18 November, 2016; originally announced November 2016.

Nonlinear model identification and spectral submanifolds for multi-degree-of-freedom mechanical vibrations

Authors: Robert Szalai, David Ehrhardt, George Haller

Abstract: In a nonlinear oscillatory system, spectral submanifolds (SSMs) are the smoothest invariant manifolds tangent to linear modal subspaces of an equilibrium. Amplitude-frequency plots of the dynamics on SSMs provide the classic backbone curves sought in experimental nonlinear model identification. We develop here a methodology to compute analytically both the shape of SSMs and their corresponding bac… ▽ More In a nonlinear oscillatory system, spectral submanifolds (SSMs) are the smoothest invariant manifolds tangent to linear modal subspaces of an equilibrium. Amplitude-frequency plots of the dynamics on SSMs provide the classic backbone curves sought in experimental nonlinear model identification. We develop here a methodology to compute analytically both the shape of SSMs and their corresponding backbone curves from a data-assimilating model fitted to experimental vibration signals. Using examples of both synthetic and real experimental data, we demonstrate that this approach reproduces backbone curves with high accuracy. △ Less

Submitted 7 October, 2016; originally announced October 2016.

Comments: 32 pages, 4 figures

An Autonomous Dynamical System Captures all LCSs in Three-Dimensional Unsteady Flows

Authors: David Oettinger, George Haller

Abstract: Lagrangian coherent structures (LCSs) are material surfaces that shape finite-time tracer patterns in flows with arbitrary time dependence. Depending on their deformation properties, elliptic and hyperbolic LCSs have been identified from different variational principles, solving different equations. Here we observe that, in three dimensions, initial positions of all variational LCSs are invariant… ▽ More Lagrangian coherent structures (LCSs) are material surfaces that shape finite-time tracer patterns in flows with arbitrary time dependence. Depending on their deformation properties, elliptic and hyperbolic LCSs have been identified from different variational principles, solving different equations. Here we observe that, in three dimensions, initial positions of all variational LCSs are invariant manifolds of the same autonomous dynamical system, generated by the intermediate eigenvector field, $ξ_{2}(x_{0})$, of the Cauchy-Green strain tensor. This $ξ_{2}$-system allows for the detection of LCSs in any unsteady flow by classic methods, such as Poincaré maps, developed for autonomous dynamical systems. As examples, we consider both steady and time-aperiodic flows, and use their dual $ξ_{2}$-system to uncover both hyperbolic and elliptic LCSs from a single computation. △ Less

Submitted 24 August, 2016; v1 submitted 18 April, 2016; originally announced April 2016.

Nonlinear normal modes and spectral submanifolds: Existence, uniqueness and use in model reduction

Authors: George Haller, Sten Ponsioen

Abstract: We propose a unified approach to nonlinear modal analysis in dissipative oscillatory systems. This approach eliminates conflicting definitions, covers both autonomous and time-dependent systems, and provides exact mathematical existence, uniqueness and robustness results. In this setting, a nonlinear normal mode (NNM) is a set filled with small-amplitude recurrent motions: a fixed point, a periodi… ▽ More We propose a unified approach to nonlinear modal analysis in dissipative oscillatory systems. This approach eliminates conflicting definitions, covers both autonomous and time-dependent systems, and provides exact mathematical existence, uniqueness and robustness results. In this setting, a nonlinear normal mode (NNM) is a set filled with small-amplitude recurrent motions: a fixed point, a periodic orbit or the closure of a quasiperiodic orbit. In contrast, a spectral submanifold (SSM) is an invariant manifold asymptotic to a NNM, serving as the smoothest nonlinear continuation of a spectral subspace of the linearized system along the NNM. The existence and uniqueness of SSMs turns out to depend on a spectral quotient computed from the real part of the spectrum of the linearized system. This quotient may well be large even for small dissipation, thus the inclusion of damping is essential for firm conclusions about NNMs, SSMs and the reduced-order models they yield. △ Less

Submitted 19 July, 2016; v1 submitted 1 February, 2016; originally announced February 2016.

Comments: To appear in Nonlinear Dynamics

Explicit form of spatially linear Navier-Stokes velocity fields

Authors: Gabriel Provencher Langlois, George Haller

Abstract: We show that a smooth linear unsteady velocity field $u(x,t)=A(t)x+f(t)$ solves the incompressible Navier--Stokes equation if and only if the matrix $A(t)$ has zero trace, and $\dot{A}(t)+A^{2}(t)$ is symmetric. In two dimensions, these constraints imply that $A(t)$ is the sum of an arbitrary time-dependent traceless symmetric matrix and an arbitrary constant skew-symmetric matrix. One can, theref… ▽ More We show that a smooth linear unsteady velocity field $u(x,t)=A(t)x+f(t)$ solves the incompressible Navier--Stokes equation if and only if the matrix $A(t)$ has zero trace, and $\dot{A}(t)+A^{2}(t)$ is symmetric. In two dimensions, these constraints imply that $A(t)$ is the sum of an arbitrary time-dependent traceless symmetric matrix and an arbitrary constant skew-symmetric matrix. One can, therefore, verify by inspection if an unsteady spatially linear vector field is a Navier--Stokes solution. In three dimensions, we obtain a simple ordinary differential equation that $A(t)$ must solve. Our formulas enable the construction of simple yet unsteady and dynamically consistent flows for testing numerical schemes and verifying coherent structure criteria. △ Less

Submitted 15 September, 2015; v1 submitted 27 August, 2015; originally announced August 2015.

Comments: The paper has been withdrawn by the authors as conditions (I)-(III) in section 3 of the paper and theorem 1 of section 4 have appeared before unbeknownst to the authors in a paper by Craik and Criminale (1986)

MSC Class: 76D05 (Primary); 37N10 (Secondary)

A Spectral Clustering Approach to Lagrangian Vortex Detection

Authors: Alireza Hadjighasem, Daniel Karrasch, Hiroshi Teramoto, George Haller

Abstract: One of the ubiquitous features of real-life turbulent flows is the existence and persistence of coherent vortices. Here we show that such coherent vortices can be extracted as clusters of Lagrangian trajectories. We carry out the clustering on a weighted graph, with the weights measuring pairwise distances of fluid trajectories in the extended phase space of positions and time. We then extract coh… ▽ More One of the ubiquitous features of real-life turbulent flows is the existence and persistence of coherent vortices. Here we show that such coherent vortices can be extracted as clusters of Lagrangian trajectories. We carry out the clustering on a weighted graph, with the weights measuring pairwise distances of fluid trajectories in the extended phase space of positions and time. We then extract coherent vortices from the graph using tools from spectral graph theory. Our method locates all coherent vortices in the flow simultaneously, thereby showing high potential for automated vortex tracking. We illustrate the performance of this technique by identifying coherent Lagrangian vortices in several two- and three-dimensional flows. △ Less

Submitted 14 May, 2016; v1 submitted 7 June, 2015; originally announced June 2015.

Comments: J. Physical Review E (In press)

Journal ref: Phys. Rev. E 93, 063107 (2016)

Polar rotation angle identifies elliptic islands in unsteady dynamical systems

Authors: Mohammad Farazmand, George Haller

Abstract: We propose rotation inferred from the polar decomposition of the flow gradient as a diagnostic for elliptic (or vortex-type) invariant regions in non-autonomous dynamical systems. We consider here two- and three-dimensional systems, in which polar rotation can be characterized by a single angle. For this polar rotation angle (PRA), we derive explicit formulas using the singular values and vectors… ▽ More We propose rotation inferred from the polar decomposition of the flow gradient as a diagnostic for elliptic (or vortex-type) invariant regions in non-autonomous dynamical systems. We consider here two- and three-dimensional systems, in which polar rotation can be characterized by a single angle. For this polar rotation angle (PRA), we derive explicit formulas using the singular values and vectors of the flow gradient. We find that closed level sets of the PRA reveal elliptic islands in great detail, and singular level sets of the PRA uncover centers of such islands. Both features turn out to be objective (frame-invariant) for two-dimensional systems. We illustrate the diagnostic power of PRA for elliptic structures on several examples. △ Less

Submitted 19 March, 2015; originally announced March 2015.

Journal ref: Physica D: Nonlinear Phenomena, Volume 315, 2016, Pages 1-12

Asymptotic dynamics of inertial particles with memory

Authors: Gabriel Provencher Langlois, Mohammad Farazmand, George Haller

Abstract: Recent experimental and numerical observations have shown the significance of the Basset--Boussinesq memory term on the dynamics of small spherical rigid particles (or inertial particles) suspended in an ambient fluid flow. These observations suggest an algebraic decay to an asymptotic state, as opposed to the exponential convergence in the absence of the memory term. Here, we prove that the obser… ▽ More Recent experimental and numerical observations have shown the significance of the Basset--Boussinesq memory term on the dynamics of small spherical rigid particles (or inertial particles) suspended in an ambient fluid flow. These observations suggest an algebraic decay to an asymptotic state, as opposed to the exponential convergence in the absence of the memory term. Here, we prove that the observed algebraic decay is a universal property of the Maxey--Riley equation. Specifically, the particle velocity decays algebraically in time to a limit that is $\mathcal O(ε)$-close to the fluid velocity, where $0<ε\ll 1$ is proportional to the square of the ratio of the particle radius to the fluid characteristic length-scale. These results follows from a sharp analytic upper bound that we derive for the particle velocity. For completeness, we also present a first proof of existence and uniqueness of global solutions to the Maxey--Riley equation, a nonlinear system of fractional-order differential equations. △ Less

Submitted 2 September, 2014; originally announced September 2014.

Dissipative inertial transport patterns near coherent Lagrangian eddies in the ocean

Authors: F. J. Beron-Vera, M. J. Olascoaga, G. Haller, M. Farazmand, J. Trinanes, Y. Wang

Abstract: Recent developments in dynamical systems theory have revealed long-lived and coherent Lagrangian (i.e., material) eddies in incompressible, satellite-derived surface ocean velocity fields. Paradoxically, observed drifting buoys and floating matter tend to create dissipative-looking patterns near oceanic eddies, which appear to be inconsistent with the conservative fluid particle patterns created b… ▽ More Recent developments in dynamical systems theory have revealed long-lived and coherent Lagrangian (i.e., material) eddies in incompressible, satellite-derived surface ocean velocity fields. Paradoxically, observed drifting buoys and floating matter tend to create dissipative-looking patterns near oceanic eddies, which appear to be inconsistent with the conservative fluid particle patterns created by coherent Lagrangian eddies. Here we show that inclusion of inertial effects (i.e., those produced by the buoyancy and size finiteness of an object) in a rotating two-dimensional incompressible flow context resolves this paradox. Specifically, we obtain that anticyclonic coherent Lagrangian eddies attract (repel) negatively (positively) buoyant finite-size particles, while cyclonic coherent Lagrangian eddies attract (repel) positively (negatively) buoyant finite-size particles. We show how these results explain dissipative-looking satellite-tracked surface drifter and subsurface float trajectories, as well as satellite-derived \emph{Sargassum} distributions. △ Less

Submitted 23 February, 2015; v1 submitted 27 August, 2014; originally announced August 2014.

Comments: Submitted to \emph{Chaos} Focus Issue on Objective detection of Lagrangian Coherent Structures. Revised 23-Feb-15

Geodesic Transport Barriers in Jupiter's Atmosphere: A Video-Based Analysis

Authors: Alireza Hadjighasem, George Haller

Abstract: Jupiter's zonal jets and Great Red Spot are well known from still images. Yet the planet's atmosphere is highly unsteady, which suggests that the actual material transport barriers delineating its main features should be time-dependent. Rare video footages of Jupiter's clouds provide an opportunity to verify this expectation from optically reconstructed velocity fields. Available videos, however,… ▽ More Jupiter's zonal jets and Great Red Spot are well known from still images. Yet the planet's atmosphere is highly unsteady, which suggests that the actual material transport barriers delineating its main features should be time-dependent. Rare video footages of Jupiter's clouds provide an opportunity to verify this expectation from optically reconstructed velocity fields. Available videos, however, provide short-time and temporally aperiodic velocity fields that defy classical dynamical systems analyses focused on asymptotic features. To this end, we use here the recent theory of geodesic transport barriers to uncover finite-time mixing barriers in the wind field extracted from a video captured by NASA's Cassini space mission. More broadly, the approach described here provides a systematic and frame-invariant way to extract dynamic coherent structures from time-resolved remote observations of unsteady continua. △ Less

Submitted 20 April, 2015; v1 submitted 24 August, 2014; originally announced August 2014.

Lagrangian Coherent Structures from Video Streams of Jupiter

Authors: Alireza Hadjighasem, George Haller

Abstract: Jupiter's fast rotation - one rotation over 10 hours - creates strong jet streams, smearing its clouds into linear bands of dark and light zonal belts that circle the planet on lines of almost constant latitude. Such a high degree of axisymmetry is absent in our own atmosphere. Moreover, Jupiter has the largest and longest-living known atmospheric vortex, the Great Red Spot (GRS). Such vortices ab… ▽ More Jupiter's fast rotation - one rotation over 10 hours - creates strong jet streams, smearing its clouds into linear bands of dark and light zonal belts that circle the planet on lines of almost constant latitude. Such a high degree of axisymmetry is absent in our own atmosphere. Moreover, Jupiter has the largest and longest-living known atmospheric vortex, the Great Red Spot (GRS). Such vortices abound in nature, but GRS's size, long-term persistence, and temporal longitudinal oscillations make it unique. Here, we uncover, for the first time, unsteady material structures that form the cores of zonal jets and the boundary of the GRS in Jupiter's atmosphere. We perform our analysis on a velocity field extracted from a video footage acquired by the NASA Cassini spacecraft. △ Less

Submitted 15 July, 2014; originally announced July 2014.

Comments: to be published in Oberwolfach Reports, in press

LCS Tool : A Computational Platform for Lagrangian Coherent Structures

Authors: K. Onu, F. Huhn, G. Haller

Abstract: We give an algorithmic introduction to Lagrangian coherent structures (LCSs) using a newly developed computational engine, LCS Tool. LCSs are most repelling, attracting and shearing material lines that form the centerpieces of observed tracer patterns in two-dimensional unsteady dynamical systems. LCS Tool implements the latest geodesic theory of LCSs for two-dimensional flows, uncovering key tran… ▽ More We give an algorithmic introduction to Lagrangian coherent structures (LCSs) using a newly developed computational engine, LCS Tool. LCSs are most repelling, attracting and shearing material lines that form the centerpieces of observed tracer patterns in two-dimensional unsteady dynamical systems. LCS Tool implements the latest geodesic theory of LCSs for two-dimensional flows, uncovering key transport barriers in unsteady flow velocity data as explicit solutions of differential equations. After a review of the underlying theory, we explain the steps and numerical methods used by LCS Tool, and illustrate its capabilities on three unsteady fluid flow examples. △ Less

Submitted 13 June, 2014; originally announced June 2014.

Attraction-Based Computation of Hyperbolic Lagrangian Coherent Structures

Authors: Daniel Karrasch, Mohammad Farazmand, George Haller

Abstract: Recent advances enable the simultaneous computation of both attracting and repelling families of Lagrangian Coherent Structures (LCS) at the same initial or final time of interest. Obtaining LCS positions at intermediate times, however, has been problematic, because either the repelling or the attracting family is unstable with respect to numerical advection in a given time direction. Here we deve… ▽ More Recent advances enable the simultaneous computation of both attracting and repelling families of Lagrangian Coherent Structures (LCS) at the same initial or final time of interest. Obtaining LCS positions at intermediate times, however, has been problematic, because either the repelling or the attracting family is unstable with respect to numerical advection in a given time direction. Here we develop a new approach to compute arbitrary positions of hyperbolic LCS in a numerically robust fashion. Our approach only involves the advection of attracting material surfaces, thereby providing accurate LCS tracking at low computational cost. We illustrate the advantages of this approach on a simple model and on a turbulent velocity data set. △ Less

Submitted 23 October, 2014; v1 submitted 19 May, 2014; originally announced May 2014.

Comments: 11 pages, 6 figures, accepted for publication in J. Computational Dynamics

MSC Class: Primary: 37C60; Secondary: 37N10

Journal ref: Journal of Computational Dynamics, 2015, 2 (1) : 83-93

The Maxey-Riley Equation: Existence, Uniqueness and Regularity of Solutions

Authors: Mohammad Farazmand, George Haller

Abstract: The Maxey--Riley equation describes the motion of an inertial (i.e., finite-size) spherical particle in an ambient fluid flow. The equation is a second-order, implicit integro-differential equation with a singular kernel, and with a forcing term that blows up at the initial time. Despite the widespread use of the equation in applications, the basic properties of its solutions have remained unexplo… ▽ More The Maxey--Riley equation describes the motion of an inertial (i.e., finite-size) spherical particle in an ambient fluid flow. The equation is a second-order, implicit integro-differential equation with a singular kernel, and with a forcing term that blows up at the initial time. Despite the widespread use of the equation in applications, the basic properties of its solutions have remained unexplored. Here we fill this gap by proving local existence and uniqueness of weak solutions. For certain initial velocities between the particle and the fluid, the results extend to strong solutions. We also prove continuous differentiability of the weak and strong solutions with respect to their initial conditions. This justifies the search for coherent structures in inertial flows using the Cauchy--Green strain tensor. △ Less

Submitted 21 August, 2014; v1 submitted 9 October, 2013; originally announced October 2013.

Comments: In press, J. Nonlinear Analysis-B

Shearless transport barriers in unsteady two-dimensional flows and maps

Authors: Mohammad Farazmand, Daniel Blazevski, George Haller

Abstract: We develop a variational principle that extends the notion of a shearless transport barrier from steady to general unsteady two-dimensional flows and maps defined over a finite time interval. This principle reveals that hyperbolic Lagrangian Coherent Structures (LCSs) and parabolic LCSs (or jet cores) are the two main types of shearless barriers in unsteady flows. Based on the boundary conditions… ▽ More We develop a variational principle that extends the notion of a shearless transport barrier from steady to general unsteady two-dimensional flows and maps defined over a finite time interval. This principle reveals that hyperbolic Lagrangian Coherent Structures (LCSs) and parabolic LCSs (or jet cores) are the two main types of shearless barriers in unsteady flows. Based on the boundary conditions they satisfy, parabolic barriers are found to be more observable and robust than hyperbolic barriers, confirming widespread numerical observations. Both types of barriers are special null-geodesics of an appropriate Lorentzian metric derived from the Cauchy--Green strain tensor. Using this fact, we devise an algorithm for the automated computation of parabolic barriers. We illustrate our detection method on steady and unsteady non-twist maps and on the aperiodically forced Bickley jet. △ Less

Submitted 28 August, 2013; originally announced August 2013.

Comments: Submitted to Physica D

Coherent Lagrangian vortices: The black holes of turbulence

Authors: G. Haller, F. J. Beron-Vera

Abstract: We introduce a simple variational principle for coherent material vortices in two-dimensional turbulence. Vortex boundaries are sought as closed stationary curves of the averaged Lagrangian strain. Solutions to this problem turn out to be mathematically equivalent to photon spheres around black holes in cosmology. The fluidic photon spheres satisfy explicit differential equations whose outermost l… ▽ More We introduce a simple variational principle for coherent material vortices in two-dimensional turbulence. Vortex boundaries are sought as closed stationary curves of the averaged Lagrangian strain. Solutions to this problem turn out to be mathematically equivalent to photon spheres around black holes in cosmology. The fluidic photon spheres satisfy explicit differential equations whose outermost limit cycles are optimal Lagrangian vortex boundaries. As an application, we uncover super-coherent material eddies in the South Atlantic, which yield specific Lagrangian transport estimates for Agulhas rings. △ Less

Submitted 10 August, 2013; originally announced August 2013.

Comments: To appear in JFM Rapids

Do Finite-Size Lyapunov Exponents Detect Coherent Structures?

Authors: Daniel Karrasch, George Haller

Abstract: Ridges of the Finite-Size Lyapunov Exponent (FSLE) field have been used as indicators of hyperbolic Lagrangian Coherent Structures (LCSs). A rigorous mathematical link between the FSLE and LCSs, however, has been missing. Here we prove that an FSLE ridge satisfying certain conditions does signal a nearby ridge of some Finite-Time Lyapunov Exponent (FTLE) field, which in turn indicates a hyperbolic… ▽ More Ridges of the Finite-Size Lyapunov Exponent (FSLE) field have been used as indicators of hyperbolic Lagrangian Coherent Structures (LCSs). A rigorous mathematical link between the FSLE and LCSs, however, has been missing. Here we prove that an FSLE ridge satisfying certain conditions does signal a nearby ridge of some Finite-Time Lyapunov Exponent (FTLE) field, which in turn indicates a hyperbolic LCS under further conditions. Other FSLE ridges violating our conditions, however, are seen to be false positives for LCSs. We also find further limitations of the FSLE in Lagrangian coherence detection, including ill-posedness, artificial jump-discontinuities, and sensitivity with respect to the computational time step. △ Less

Submitted 13 January, 2014; v1 submitted 30 July, 2013; originally announced July 2013.

Comments: 22 pages, 7 figures, v3: corrects the z-axis labels of Fig. 2 (left) that appears in the version published in Chaos

Journal ref: Chaos (AIP) 2013: Volume 23, Issue 4

Hyperbolic and Elliptic Transport Barriers in Three-Dimensional Unsteady Flows

Authors: Daniel Blazevski, George Haller

Abstract: We develop a general theory of transport barriers for three-dimensional unsteady flows with arbitrary time-dependence. The barriers are obtained as two-dimensional Lagrangian Coherent Structures (LCSs) that create locally maximal deformation. Along hyperbolic LCSs, this deformation is induced by locally maximal normal repulsion or attraction. Along shear LCSs, the deformation is created by locally… ▽ More We develop a general theory of transport barriers for three-dimensional unsteady flows with arbitrary time-dependence. The barriers are obtained as two-dimensional Lagrangian Coherent Structures (LCSs) that create locally maximal deformation. Along hyperbolic LCSs, this deformation is induced by locally maximal normal repulsion or attraction. Along shear LCSs, the deformation is created by locally maximal tangential shear. Hyperbolic LCSs, therefore, play the role of generalized stable and unstable manifolds, while closed shear LCSs (elliptic LCSs) act as generalized KAM tori or KAM-type cylinders. All these barriers can be computed from our theory as explicitly parametrized surfaces. We illustrate our results by visualizing two-dimensional hyperbolic and elliptic barriers in steady and unsteady versions of the ABC flow. △ Less

Submitted 4 July, 2013; v1 submitted 27 June, 2013; originally announced June 2013.

Comments: Submitted to Physica D; Keywords: Mixing, Turbluence, Transport

Detecting invariant manifolds, attractors, and generalized KAM tori in aperiodically forced mechanical systems

Authors: Alireza Hadjighasem, Mohammad Farazmand, George Haller

Abstract: We show how the recently developed theory of geodesic transport barriers for fluid flows can be used to uncover key invariant manifolds in externally forced, one-degree-of-freedom mechanical systems. Specifically, invariant sets in such systems turn out to be shadowed by least-stretching geodesics of the Cauchy-Green strain tensor computed from the flow map of the forced mechanical system. This ap… ▽ More We show how the recently developed theory of geodesic transport barriers for fluid flows can be used to uncover key invariant manifolds in externally forced, one-degree-of-freedom mechanical systems. Specifically, invariant sets in such systems turn out to be shadowed by least-stretching geodesics of the Cauchy-Green strain tensor computed from the flow map of the forced mechanical system. This approach enables the finite-time visualization of generalized stable and unstable manifolds, attractors and generalized KAM curves under arbitrary forcing, when Poincare maps are not available. We illustrate these results by detailed visualizations of the key finite-time invariant sets of conservatively and dissipatively forced Duffing oscillators. △ Less

Submitted 7 February, 2013; originally announced February 2013.

Comments: In press, Nonlinear Dynamics (Springer). Manuscript number NODY-D-12-03983

Precision Measurements of Stretching and Compression in Fluid Mixing

Authors: G. Voth, G. Haller, J. P. Gollub

Abstract: The mixing of an impurity into a flowing fluid is an important process in many areas of science, including geophysical processes, chemical reactors, and microfluidic devices. In some cases, for example periodic flows, the concepts of nonlinear dynamics provide a deep theoretical basis for understanding mixing. Unfortunately, the building blocks of this theory, i.e. the fixed points and invariant… ▽ More The mixing of an impurity into a flowing fluid is an important process in many areas of science, including geophysical processes, chemical reactors, and microfluidic devices. In some cases, for example periodic flows, the concepts of nonlinear dynamics provide a deep theoretical basis for understanding mixing. Unfortunately, the building blocks of this theory, i.e. the fixed points and invariant manifolds of the associated Poincare map, have remained inaccessible to direct experimental study, thus limiting the insight that could be obtained. Using precision measurements of tracer particle trajectories in a two-dimensional fluid flow producing chaotic mixing, we directly measure the time-dependent stretching and compression fields. These quantities, previously available only numerically, attain local maxima along lines coinciding with the stable and unstable manifolds, thus revealing the dynamical structures that control mixing. Contours or level sets of a passive impurity field are found to be aligned parallel to the lines of large compression (unstable manifolds) at each instant. This connection appears to persist as the onset of turbulence is approached. △ Less

Submitted 5 September, 2001; originally announced September 2001.

Comments: 5 pages, 5 figures

Journal ref: Phys. Rev. Lett. 88, 254501, 2002