-
Bridging the Gap Between Deterministic and Probabilistic Approaches to State Estimation
Authors:
Lev Kakasenko,
Alen Alexanderian,
Mohammad Farazmand,
Arvind K. Saibaba
Abstract:
We consider the problem of state estimation from limited discrete and noisy measurements. In particular, we focus on modal state estimation, which approximates the unknown state of the system within a prescribed basis. We estimate the coefficients of the modal expansion using available observational data. This is usually accomplished through two distinct frameworks. One is deterministic and estima…
▽ More
We consider the problem of state estimation from limited discrete and noisy measurements. In particular, we focus on modal state estimation, which approximates the unknown state of the system within a prescribed basis. We estimate the coefficients of the modal expansion using available observational data. This is usually accomplished through two distinct frameworks. One is deterministic and estimates the expansion coefficients by solving a least-squares (LS) problem. The second is probabilistic and uses a Bayesian approach to derive a distribution for the coefficients, resulting in the maximum-a-posteriori (MAP) estimate. Here, we seek to quantify and compare the accuracy of these two approaches. To this end, we derive a computable expression for the difference in Bayes risk between the deterministic LS and the Bayesian MAP estimates. We prove that this difference is always nonnegative, indicating that the MAP estimate is always more reliable than the LS estimate. We further show that this difference comprises two nonnegative components representing measurement noise and prior uncertainty, and identify regimes where one component dominates the other in magnitude. We also derive a novel prior distribution from the sample covariance matrix of the training data, and examine the greedy Bayesian and column-pivoted QR (CPQR) sensor placement algorithms with this prior as an input. Using numerical examples, we show that the greedy Bayesian algorithm returns nearly optimal sensor locations. We show that, under certain conditions, the greedy Bayesian sensor locations are identical or nearly identical to those of CPQR when applied to a regularized modal basis.
△ Less
Submitted 6 May, 2025;
originally announced May 2025.
-
Sequential data assimilation for PDEs using shape-morphing solutions
Authors:
Zachary T. Hilliard,
Mohammad Farazmand
Abstract:
Shape-morphing solutions (also known as evolutional deep neural networks, reduced-order nonlinear solutions, and neural Galerkin schemes) are a new class of methods for approximating the solution of time-dependent partial differential equations (PDEs). Here, we introduce a sequential data assimilation method for incorporating observational data in a shape-morphing solution (SMS). Our method takes…
▽ More
Shape-morphing solutions (also known as evolutional deep neural networks, reduced-order nonlinear solutions, and neural Galerkin schemes) are a new class of methods for approximating the solution of time-dependent partial differential equations (PDEs). Here, we introduce a sequential data assimilation method for incorporating observational data in a shape-morphing solution (SMS). Our method takes the form of a predictor-corrector scheme, where the observations are used to correct the SMS parameters using Newton-like iterations. Between observation points, the SMS equations (a set of ordinary differential equations) are used to evolve the solution forward in time. We prove that, under certain conditions, the data assimilated SMS (DA-SMS) converges uniformly towards the true state of the system. We demonstrate the efficacy of DA-SMS on three examples: the nonlinear Schrodinger equation, the Kuramoto-Sivashinsky equation, and a two-dimensional advection-diffusion equation. Our numerical results suggest that DA-SMS converges with relatively sparse observations and a single iteration of the Newton-like method.
△ Less
Submitted 7 April, 2025; v1 submitted 25 November, 2024;
originally announced November 2024.
-
Extreme firebrand transport by atmospheric waves in wildfires
Authors:
Mohammad Farazmand
Abstract:
In wildfires, burning pieces of ember-firebrands-are carried downstream by wind. At the time of landing, these firebrands can start secondary fires far away from the main burning unit. This phenomenon is called spotting and the secondary fires are referred to as spot fires. Here, we first present numerical evidence that atmospheric traveling waves can increase the spotting distance by at least an…
▽ More
In wildfires, burning pieces of ember-firebrands-are carried downstream by wind. At the time of landing, these firebrands can start secondary fires far away from the main burning unit. This phenomenon is called spotting and the secondary fires are referred to as spot fires. Here, we first present numerical evidence that atmospheric traveling waves can increase the spotting distance by at least an order of magnitude compared to unidirectional wind conditions. We then present theoretical results explaining this numerical observation. In particular, we show that the firebrand's motion can synchronize with the traveling wave, leading to a surf-like motion for some firebrand particles. This delays the firebrand's landing, making extreme spotting distances possible. This physical phenomena helps explain the discrepancy between previous theoretical estimates of maximum spotting distance and much larger spotting distances observed empirically. We derive new analytical expressions for the landing time and landing distance of the firebrands.
△ Less
Submitted 20 November, 2024;
originally announced November 2024.
-
State Estimation Using Sparse DEIM and Recurrent Neural Networks
Authors:
Mohammad Farazmand
Abstract:
Sparse Discrete Empirical Interpolation Method (S-DEIM) was recently proposed for state estimation in dynamical systems when only a sparse subset of the state variables can be observed. The S-DEIM estimate involves a kernel vector whose optimal value is inferred through a data assimilation algorithm. This data assimilation step suffers from two drawbacks: (i) It requires the knowledge of the gover…
▽ More
Sparse Discrete Empirical Interpolation Method (S-DEIM) was recently proposed for state estimation in dynamical systems when only a sparse subset of the state variables can be observed. The S-DEIM estimate involves a kernel vector whose optimal value is inferred through a data assimilation algorithm. This data assimilation step suffers from two drawbacks: (i) It requires the knowledge of the governing equations of the dynamical system, and (ii) It is not generally guaranteed to converge to the optimal kernel vector. To address these issues, here we introduce an equation-free S-DEIM framework that estimates the optimal kernel vector from sparse observational time series using recurrent neural networks (RNNs). We show that the recurrent architecture is necessary since the kernel vector cannot be estimated from instantaneous observations. But RNNs, which incorporate the past history of the observations in the learning process, lead to nearly optimal estimations. We demonstrate the efficacy of our method on three numerical examples with increasing degree of spatiotemporal complexity: a conceptual model of atmospheric flow known as the Lorenz-96 system, the Kuramoto-Sivashinsky equation, and the Rayleigh-Benard convection. In each case, the resulting S-DEIM estimates are satisfactory even when a relatively simple RNN architecture, namely the reservoir computing network, is used.
△ Less
Submitted 10 July, 2025; v1 submitted 21 October, 2024;
originally announced October 2024.
-
Sparse Discrete Empirical Interpolation Method: State Estimation from Few Sensors
Authors:
Mohammad Farazmand
Abstract:
Discrete empirical interpolation method (DEIM) estimates a function from its incomplete pointwise measurements. Unfortunately, DEIM suffers large interpolation errors when few measurements are available. Here, we introduce Sparse DEIM (S-DEIM) for accurately estimating a function even when very few measurements are available. To this end, S-DEIM leverages a kernel vector which has been neglected i…
▽ More
Discrete empirical interpolation method (DEIM) estimates a function from its incomplete pointwise measurements. Unfortunately, DEIM suffers large interpolation errors when few measurements are available. Here, we introduce Sparse DEIM (S-DEIM) for accurately estimating a function even when very few measurements are available. To this end, S-DEIM leverages a kernel vector which has been neglected in previous DEIM-based methods. We derive theoretical error estimates for S-DEIM, showing its relatively small error when an optimal kernel vector is used. When the function is generated by a continuous-time dynamical system, we propose a data assimilation algorithm which approximates the optimal kernel vector using observational time series. We prove that, under certain conditions, data assimilated S-DEIM converges exponentially fast towards the true state. We demonstrate the efficacy of our method on two numerical examples.
△ Less
Submitted 1 September, 2024; v1 submitted 29 January, 2024;
originally announced January 2024.
-
Enforcing conserved quantities in Galerkin truncation and finite volume discretization
Authors:
Zachary T. Hilliard,
Mohammad Farazmand
Abstract:
Finite-dimensional truncations are routinely used to approximate partial differential equations (PDEs), either to obtain numerical solutions or to derive reduced-order models. The resulting discretized equations are known to violate certain physical properties of the system. In particular, first integrals of the PDE may not remain invariant after discretization. Here, we use the method of reduced-…
▽ More
Finite-dimensional truncations are routinely used to approximate partial differential equations (PDEs), either to obtain numerical solutions or to derive reduced-order models. The resulting discretized equations are known to violate certain physical properties of the system. In particular, first integrals of the PDE may not remain invariant after discretization. Here, we use the method of reduced-order nonlinear solutions (RONS) to ensure that the conserved quantities of the PDE survive its finite-dimensional truncation. In particular, we develop two methods: Galerkin RONS and finite volume RONS. Galerkin RONS ensures the conservation of first integrals in Galerkin-type truncations, whether used for direct numerical simulations or reduced-order modeling. Similarly, finite volume RONS conserves any number of first integrals of the system, including its total energy, after finite volume discretization. Both methods are applicable to general time-dependent PDEs and can be easily incorporated in existing Galerkin-type or finite volume code. We demonstrate the efficacy of our methods on two examples: direct numerical simulations of the shallow water equation and a reduced-order model of the nonlinear Schrodinger equation. As a byproduct, we also generalize RONS to phenomena described by a system of PDEs.
△ Less
Submitted 8 December, 2023;
originally announced December 2023.
-
Modeling correlated uncertainties in stochastic compartmental models
Authors:
Konstantinos Mamis,
Mohammad Farazmand
Abstract:
We consider compartmental models of communicable disease with uncertain contact rates. Stochastic fluctuations are often added to the contact rate to account for uncertainties. White noise, which is the typical choice for the fluctuations, leads to significant underestimation of the disease severity. Here, starting from reasonable assumptions on the social behavior of individuals, we model the con…
▽ More
We consider compartmental models of communicable disease with uncertain contact rates. Stochastic fluctuations are often added to the contact rate to account for uncertainties. White noise, which is the typical choice for the fluctuations, leads to significant underestimation of the disease severity. Here, starting from reasonable assumptions on the social behavior of individuals, we model the contacts as a Markov process which takes into account the temporal correlations present in human social activities. Consequently, we show that the mean-reverting Ornstein-Uhlenbeck (OU) process is the correct model for the stochastic contact rate. We demonstrate the implication of our model on two examples: a Susceptibles-Infected-Susceptibles (SIS) model and a Susceptibles-Exposed-Infected-Removed (SEIR) model of the COVID-19 pandemic. In particular, we observe that both compartmental models with white noise uncertainties undergo transitions that lead to the systematic underestimation of the spread of the disease. In contrast, modeling the contact rate with the OU process significantly hinders such unrealistic noise-induced transitions. For the SIS model, we derive its stationary probability density analytically, for both white and correlated noise. This allows us to give a complete description of the model's asymptotic behavior as a function of its bifurcation parameters, i.e., the basic reproduction number, noise intensity, and correlation time. For the SEIR model, where the probability density is not available in closed form, we study the transitions using Monte Carlo simulations. Our study underscores the necessity of temporal correlations in stochastic compartmental models and the need for more empirical studies that would systematically quantify such correlations.
△ Less
Submitted 9 July, 2023;
originally announced July 2023.
-
Fisher information and shape-morphing modes for solving the Fokker-Planck equation in higher dimensions
Authors:
William Anderson,
Mohammad Farazmand
Abstract:
The Fokker-Planck equation describes the evolution of the probability density associated with a stochastic differential equation. As the dimension of the system grows, solving this partial differential equation (PDE) using conventional numerical methods becomes computationally prohibitive. Here, we introduce a fast, scalable, and interpretable method for solving the Fokker-Planck equation which is…
▽ More
The Fokker-Planck equation describes the evolution of the probability density associated with a stochastic differential equation. As the dimension of the system grows, solving this partial differential equation (PDE) using conventional numerical methods becomes computationally prohibitive. Here, we introduce a fast, scalable, and interpretable method for solving the Fokker-Planck equation which is applicable in higher dimensions. This method approximates the solution as a linear combination of shape-morphing Gaussians with time-dependent means and covariances. These parameters evolve according to the method of reduced-order nonlinear solutions (RONS) which ensures that the approximate solution stays close to the true solution of the PDE for all times. As such, the proposed method approximates the transient dynamics as well as the equilibrium density, when the latter exists. Our approximate solutions can be viewed as an evolution on a finite-dimensional statistical manifold embedded in the space of probability densities. We show that the metric tensor in RONS coincides with the Fisher information matrix on this manifold. We also discuss the interpretation of our method as a shallow neural network with Gaussian activation functions and time-varying parameters. In contrast to existing deep learning methods, our method is interpretable, requires no training, and automatically ensures that the approximate solution satisfies all properties of a probability density.
△ Less
Submitted 6 June, 2023;
originally announced June 2023.
-
Tensor-based flow reconstruction from optimally located sensor measurements
Authors:
Mohammad Farazmand,
Arvind K. Saibaba
Abstract:
Reconstructing high-resolution flow fields from sparse measurements is a major challenge in fluid dynamics. Existing methods often vectorize the flow by stacking different spatial directions on top of each other, hence confounding the information encoded in different dimensions. Here, we introduce a tensor-based sensor placement and flow reconstruction method which retains and exploits the inheren…
▽ More
Reconstructing high-resolution flow fields from sparse measurements is a major challenge in fluid dynamics. Existing methods often vectorize the flow by stacking different spatial directions on top of each other, hence confounding the information encoded in different dimensions. Here, we introduce a tensor-based sensor placement and flow reconstruction method which retains and exploits the inherent multidimensionality of the flow. We derive estimates for the flow reconstruction error, storage requirements and computational cost of our method. We show, with examples, that our tensor-based method is significantly more accurate than similar vectorized methods. Furthermore, the variance of the error is smaller when using our tensor-based method. While the computational cost of our method is comparable to similar vectorized methods, it reduces the storage cost by several orders of magnitude. The reduced storage cost becomes even more pronounced as the dimension of the flow increases. We demonstrate the efficacy of our method on three examples: a chaotic Kolmogorov flow, in-situ and satellite measurements of the global sea surface temperature, and 3D unsteady simulated flow around a marine research vessel.
△ Less
Submitted 23 January, 2023; v1 submitted 21 August, 2022;
originally announced August 2022.
-
Fast and scalable computation of shape-morphing nonlinear solutions with application to evolutional neural networks
Authors:
William Anderson,
Mohammad Farazmand
Abstract:
We develop fast and scalable methods for computing reduced-order nonlinear solutions (RONS). RONS was recently proposed as a framework for reduced-order modeling of time-dependent partial differential equations (PDEs), where the modes depend nonlinearly on a set of time-varying parameters. RONS uses a set of ordinary differential equations (ODEs) for the parameters to optimally evolve the shape of…
▽ More
We develop fast and scalable methods for computing reduced-order nonlinear solutions (RONS). RONS was recently proposed as a framework for reduced-order modeling of time-dependent partial differential equations (PDEs), where the modes depend nonlinearly on a set of time-varying parameters. RONS uses a set of ordinary differential equations (ODEs) for the parameters to optimally evolve the shape of the modes to adapt to the PDE's solution. This method has already proven extremely effective in tackling challenging problems such as advection-dominated flows and high-dimensional PDEs. However, as the number of parameters grow, integrating the RONS equation and even its formation become computationally prohibitive. Here, we develop three separate methods to address these computational bottlenecks: symbolic RONS, collocation RONS and regularized RONS. We demonstrate the efficacy of these methods on two examples: Fokker-Planck equation in high dimensions and the Kuramoto-Sivashinsky equation. In both cases, we observe that the proposed methods lead to several orders of magnitude in speedup and accuracy. Our proposed methods extend the applicability of RONS beyond reduced-order modeling by making it possible to use RONS for accurate numerical solution of linear and nonlinear PDEs. Finally, as a special case of RONS, we discuss its application to problems where the PDE's solution is approximated by a neural network, with the time-dependent parameters being the weights and biases of the network. The RONS equations dictate the optimal evolution of the network's parameters without requiring any training.
△ Less
Submitted 1 March, 2023; v1 submitted 27 July, 2022;
originally announced July 2022.
-
Stochastic compartmental models of COVID-19 pandemic must have temporally correlated uncertainties
Authors:
Konstantinos Mamis,
Mohammad Farazmand
Abstract:
Compartmental models are an important quantitative tool in epidemiology, enabling us to forecast the course of a communicable disease. However, the model parameters, such as the infectivity rate of the disease, are riddled with uncertainties, which has motivated the development and use of stochastic compartmental models. Here, we first show that a common stochastic model, which treats the uncertai…
▽ More
Compartmental models are an important quantitative tool in epidemiology, enabling us to forecast the course of a communicable disease. However, the model parameters, such as the infectivity rate of the disease, are riddled with uncertainties, which has motivated the development and use of stochastic compartmental models. Here, we first show that a common stochastic model, which treats the uncertainties as white noise, is fundamentally flawed since it erroneously implies that greater parameter uncertainties will lead to the eradication of the disease. Then, we present a principled modeling of the uncertainties based on reasonable assumptions on the contacts of each individual. Using the central limit theorem and Doob's theorem on Gaussian Markov processes, we prove that the correlated Ornstein-Uhlenbeck process is the appropriate tool for modeling uncertainties in the infectivity rate. We demonstrate our results using a compartmental model of the COVID-19 pandemic and the available US data from the Johns Hopkins University COVID-19 database. In particular, we show that the white noise stochastic model systematically underestimates the severity of the Omicron variant of COVID-19, whereas the Ornstein-Uhlenbeck model correctly forecasts the course of this variant. Moreover, using an SIS model of sexually transmitted disease, we derive an exact closed-form solution for the asymptotic distribution of infected individuals. This analytic result shows that the white noise model underestimates the severity of the pandemic because of unrealistic noise-induced transitions. Our results strongly support the need for temporal correlations in modeling of uncertainties in compartmental models of infectious disease.
△ Less
Submitted 23 June, 2022;
originally announced June 2022.
-
Quantifying rare events in spotting: How far do wildfires spread?
Authors:
Alex Mendez,
Mohammad Farazmand
Abstract:
Spotting refers to the transport of burning pieces of firebrand by wind which, at the time of landing, may ignite new fires beyond the direct ignition zone of the main fire. Spot fires that occur far from the original burn unit are rare but have consequential ramifications since their prediction and control remains challenging. To facilitate their prediction, we examine three methods for quantifyi…
▽ More
Spotting refers to the transport of burning pieces of firebrand by wind which, at the time of landing, may ignite new fires beyond the direct ignition zone of the main fire. Spot fires that occur far from the original burn unit are rare but have consequential ramifications since their prediction and control remains challenging. To facilitate their prediction, we examine three methods for quantifying the landing distribution of firebrands: crude Monte Carlo simulations, importance sampling, and large deviation theory (LDT). In particular, we propose an LDT method that accurately and parsimoniously quantifies the low probability events at the tail of the landing distribution. In contrast, Monte Carlo and importance sampling methods are most efficient in quantifying the high probability landing distances near the mode of the distribution. However, they become computationally intractable for quantifying the tail of the distribution due to the large sample size required. We also show that the most probable landing distance grows linearly with the mean characteristic velocity of the wind field. Furthermore, defining the relative landed mass as the proportion of mass landed at a given distance from the main fire, we derive an explicit formula which allows computing this quantity as a function of the landing distribution at a negligible computational cost. We numerically demonstrate our findings on two prescribed wind fields.
△ Less
Submitted 2 May, 2022;
originally announced May 2022.
-
Shape-morphing reduced-order models for nonlinear Schrodinger equations
Authors:
William Anderson,
Mohammad Farazmand
Abstract:
We consider reduced-order modeling of nonlinear dispersive waves described by a class of nonlinear Schrodinger (NLS) equations. We compare two nonlinear reduced-order modeling methods: (i) The reduced Lagrangian approach which relies on the variational formulation of NLS and (ii) The recently developed method of reduced-order nonlinear solutions (RONS). First, we prove the surprising result that,…
▽ More
We consider reduced-order modeling of nonlinear dispersive waves described by a class of nonlinear Schrodinger (NLS) equations. We compare two nonlinear reduced-order modeling methods: (i) The reduced Lagrangian approach which relies on the variational formulation of NLS and (ii) The recently developed method of reduced-order nonlinear solutions (RONS). First, we prove the surprising result that, although the two methods are seemingly quite different, they can be obtained from the real and imaginary parts of a single complex-valued master equation. Furthermore, for the NLS equation in a stationary frame, we show that the reduced Lagrangian method fails to predict the correct group velocity of the waves whereas RONS predicts the correct group velocity. Finally, for the modified NLS equation, where the reduced Lagrangian approach is inapplicable, the RONS reduced-order model accurately approximates the true solutions.
△ Less
Submitted 9 April, 2022; v1 submitted 19 January, 2022;
originally announced January 2022.
-
Model-assisted deep learning of rare extreme events from partial observations
Authors:
Anna Asch,
Ethan Brady,
Hugo Gallardo,
John Hood,
Bryan Chu,
Mohammad Farazmand
Abstract:
To predict rare extreme events using deep neural networks, one encounters the so-called small data problem because even long-term observations often contain few extreme events. Here, we investigate a model-assisted framework where the training data is obtained from numerical simulations, as opposed to observations, with adequate samples from extreme events. However, to ensure the trained networks…
▽ More
To predict rare extreme events using deep neural networks, one encounters the so-called small data problem because even long-term observations often contain few extreme events. Here, we investigate a model-assisted framework where the training data is obtained from numerical simulations, as opposed to observations, with adequate samples from extreme events. However, to ensure the trained networks are applicable in practice, the training is not performed on the full simulation data; instead we only use a small subset of observable quantities which can be measured in practice. We investigate the feasibility of this model-assisted framework on three different dynamical systems (Rossler attractor, FitzHugh-Nagumo model, and a turbulent fluid flow) and three different deep neural network architectures (feedforward, long short-term memory, and reservoir computing). In each case, we study the prediction accuracy, robustness to noise, reproducibility under repeated training, and sensitivity to the type of input data. In particular, we find long short-term memory networks to be most robust to noise and to yield relatively accurate predictions, while requiring minimal fine-tuning of the hyperparameters.
△ Less
Submitted 22 March, 2022; v1 submitted 4 November, 2021;
originally announced November 2021.
-
Mitigation of rare events in multistable systems driven by correlated noise
Authors:
Konstantinos Mamis,
Mohammad Farazmand
Abstract:
We consider rare transitions induced by colored noise excitation in multistable systems. We show that undesirable transitions can be mitigated by a simple time-delay feedback control if the control parameters are judiciously chosen. We devise a parsimonious method for selecting the optimal control parameters, without requiring any Monte Carlo simulations of the system. This method relies on a new…
▽ More
We consider rare transitions induced by colored noise excitation in multistable systems. We show that undesirable transitions can be mitigated by a simple time-delay feedback control if the control parameters are judiciously chosen. We devise a parsimonious method for selecting the optimal control parameters, without requiring any Monte Carlo simulations of the system. This method relies on a new nonlinear Fokker-Planck equation whose stationary response distribution is approximated by a rapidly convergent iterative algorithm. In addition, our framework allows us to accurately predict, and subsequently suppress, the modal drift and tail inflation in the controlled stationary distribution. We demonstrate the efficacy of our method on two examples, including an optical laser model perturbed by multiplicative colored noise.
△ Less
Submitted 10 August, 2021; v1 submitted 2 June, 2021;
originally announced June 2021.
-
Evolution of nonlinear reduced-order solutions for PDEs with conserved quantities
Authors:
William Anderson,
Mohammad Farazmand
Abstract:
Reduced-order models of time-dependent partial differential equations (PDEs) where the solution is assumed as a linear combination of prescribed modes are rooted in a well-developed theory. However, more general models where the reduced solutions depend nonlinearly on time varying parameters have thus far been derived in an ad hoc manner. Here, we introduce Reduced-order Nonlinear Solutions (RONS)…
▽ More
Reduced-order models of time-dependent partial differential equations (PDEs) where the solution is assumed as a linear combination of prescribed modes are rooted in a well-developed theory. However, more general models where the reduced solutions depend nonlinearly on time varying parameters have thus far been derived in an ad hoc manner. Here, we introduce Reduced-order Nonlinear Solutions (RONS): a unified framework for deriving reduced-order models that depend nonlinearly on a set of time-dependent parameters. The set of all possible reduced-order solutions are viewed as a manifold immersed in the function space of the PDE. The parameters are evolved such that the instantaneous discrepancy between reduced dynamics and the full PDE dynamics is minimized. This results in a set of explicit ordinary differential equations on the tangent bundle of the manifold. In the special case of linear parameter dependence, our reduced equations coincide with the standard Galerkin projection. Furthermore, any number of conserved quantities of the PDE can readily be enforced in our framework. Since RONS does not assume an underlying variational formulation for the PDE, it is applicable to a broad class of problems. We demonstrate the efficacy of RONS on three examples: an advection-diffusion equation, the nonlinear Schrodinger equation and Euler's equation for ideal fluids.
△ Less
Submitted 29 September, 2021; v1 submitted 27 April, 2021;
originally announced April 2021.
-
Investigating climate tipping points under various emission reduction and carbon capture scenarios with a stochastic climate model
Authors:
Alexander Mendez,
Mohammad Farazmand
Abstract:
We study the mitigation of climate tipping point transitions using an energy balance model. The evolution of the global mean surface temperature is coupled with the CO2 concentration through the green house effect. We model the CO2 concentration with a stochastic delay differential equation (SDDE), accounting for various carbon emission and capture scenarios. The resulting coupled system of SDDEs…
▽ More
We study the mitigation of climate tipping point transitions using an energy balance model. The evolution of the global mean surface temperature is coupled with the CO2 concentration through the green house effect. We model the CO2 concentration with a stochastic delay differential equation (SDDE), accounting for various carbon emission and capture scenarios. The resulting coupled system of SDDEs exhibits a tipping point phenomena: if CO2 concentration exceeds a critical threshold (around 478ppm), the temperature experiences an abrupt increase of about six degrees Celsius. We show that the CO2 concentration exhibits a transient growth which may cause a climate tipping point, even if the concentration decays asymptotically. We derive a rigorous upper bound for the CO2 evolution which quantifies its transient and asymptotic growths, and provides sufficient conditions for evading the climate tipping point. Combining this upper bound with Monte Carlo simulations of the stochastic climate model, we investigate the emission reduction and carbon capture scenarios that would avert the tipping point.
△ Less
Submitted 8 November, 2021; v1 submitted 2 December, 2020;
originally announced December 2020.
-
Data-driven prediction of multistable systems from sparse measurements
Authors:
Bryan Chu,
Mohammad Farazmand
Abstract:
We develop a data-driven method, based on semi-supervised classification, to predict the asymptotic state of multistable systems when only sparse spatial measurements of the system are feasible. Our method predicts the asymptotic behavior of an observed state by quantifying its proximity to the states in a precomputed library of data. To quantify this proximity, we introduce a sparsity-promoting m…
▽ More
We develop a data-driven method, based on semi-supervised classification, to predict the asymptotic state of multistable systems when only sparse spatial measurements of the system are feasible. Our method predicts the asymptotic behavior of an observed state by quantifying its proximity to the states in a precomputed library of data. To quantify this proximity, we introduce a sparsity-promoting metric-learning (SPML) optimization, which learns a metric directly from the precomputed data. The optimization problem is designed so that the resulting optimal metric satisfies two important properties: (i) It is compatible with the precomputed library, and (ii) It is computable from sparse measurements. We prove that the proposed SPML optimization is convex, its minimizer is non-degenerate, and it is equivariant with respect to scaling of the constraints. We demonstrate the application of this method on two multistable systems: a reaction-diffusion equation, arising in pattern formation, which has four asymptotically stable steady states and a FitzHugh-Nagumo model with two asymptotically stable steady states. Classifications of the multistable reaction-diffusion equation based on SPML predict the asymptotic behavior of initial conditions based on two-point measurements with 95% accuracy when moderate number of labeled data are used. For the FitzHugh-Nagumo, SPML predicts the asymptotic behavior of initial conditions from one-point measurements with 90% accuracy. The learned optimal metric also determines where the measurements need to be made to ensure accurate predictions.
△ Less
Submitted 11 May, 2021; v1 submitted 27 October, 2020;
originally announced October 2020.
-
Mitigation of tipping point transitions by time-delay feedback control
Authors:
Mohammad Farazmand
Abstract:
In stochastic multistable systems driven by the gradient of a potential, transitions between equilibria is possible because of noise. We study the ability of linear delay feedback control to mitigate these transitions, ensuring that the system stays near a desirable equilibrium. For small delays, we show that the control term has two effects: i) a stabilizing effect by deepening the potential well…
▽ More
In stochastic multistable systems driven by the gradient of a potential, transitions between equilibria is possible because of noise. We study the ability of linear delay feedback control to mitigate these transitions, ensuring that the system stays near a desirable equilibrium. For small delays, we show that the control term has two effects: i) a stabilizing effect by deepening the potential well around the desirable equilibrium, and ii) a destabilizing effect by intensifying the noise by a factor of $(1-τα)^{-1/2}$, where $τ$ and $α$ denote the delay and the control gain, respectively. As a result, successful mitigation depends on the competition between these two factors. We also derive analytical results that elucidate the choice of the appropriate control gain and delay that ensure successful mitigations. These results eliminate the need for any Monte Carlo simulations of the stochastic differential equations, and therefore significantly reduce the computational cost of determining the suitable control parameters. We demonstrate the application of our results on two examples.
△ Less
Submitted 5 February, 2020; v1 submitted 12 November, 2019;
originally announced November 2019.
-
Closed-loop adaptive control of extreme events in a turbulent flow
Authors:
Mohammad Farazmand,
Themistoklis P. Sapsis
Abstract:
Extreme events that arise spontaneously in chaotic dynamical systems often have an adverse impact on the system or the surrounding environment. As such, their mitigation is highly desirable. Here, we introduce a novel control strategy for mitigating extreme events in a turbulent shear flow. The controller combines a probabilistic prediction of the extreme events with a deterministic actuator. The…
▽ More
Extreme events that arise spontaneously in chaotic dynamical systems often have an adverse impact on the system or the surrounding environment. As such, their mitigation is highly desirable. Here, we introduce a novel control strategy for mitigating extreme events in a turbulent shear flow. The controller combines a probabilistic prediction of the extreme events with a deterministic actuator. The predictions are used to actuate the controller only when an extreme event is imminent. When actuated, the controller only acts on the degrees of freedom that are involved in the formation of the extreme events, exerting minimal interference with the flow dynamics. As a result, the attractors of the controlled and uncontrolled systems share the same chaotic core (containing the non-extreme events) and only differ in the tail of their distributions. We propose that such adaptive low-dimensional controllers should be used to mitigate extreme events in general chaotic dynamical systems, beyond the shear flow considered here.
△ Less
Submitted 4 September, 2019; v1 submitted 7 June, 2019;
originally announced June 2019.
-
Multiscale analysis of accelerated gradient methods
Authors:
Mohammad Farazmand
Abstract:
Accelerated gradient descent iterations are widely used in optimization. It is known that, in the continuous-time limit, these iterations converge to a second-order differential equation which we refer to as the accelerated gradient flow. Using geometric singular perturbation theory, we show that, under certain conditions, the accelerated gradient flow possesses an attracting invariant slow manifo…
▽ More
Accelerated gradient descent iterations are widely used in optimization. It is known that, in the continuous-time limit, these iterations converge to a second-order differential equation which we refer to as the accelerated gradient flow. Using geometric singular perturbation theory, we show that, under certain conditions, the accelerated gradient flow possesses an attracting invariant slow manifold to which the trajectories of the flow converge asymptotically. We obtain a general explicit expression in the form of functional series expansions that approximates the slow manifold to any arbitrary order of accuracy. To the leading order, the accelerated gradient flow reduced to this slow manifold coincides with the usual gradient descent. We illustrate the implications of our results on three examples.
△ Less
Submitted 15 June, 2020; v1 submitted 30 July, 2018;
originally announced July 2018.
-
Are extreme dissipation events predictable in turbulent fluid flows?
Authors:
Patrick J. Blonigan,
Mohammad Farazmand,
Themistoklis P. Sapsis
Abstract:
We derive precursors of extreme dissipation events in a turbulent channel flow. Using a recently developed method that combines dynamics and statistics for the underlying attractor, we extract a characteristic state that precedes laminarization events that subsequently lead to extreme dissipation episodes. Our approach utilizes coarse statistical information for the turbulent attractor, in the for…
▽ More
We derive precursors of extreme dissipation events in a turbulent channel flow. Using a recently developed method that combines dynamics and statistics for the underlying attractor, we extract a characteristic state that precedes laminarization events that subsequently lead to extreme dissipation episodes. Our approach utilizes coarse statistical information for the turbulent attractor, in the form of second order statistics, to identify high-likelihood regions in the state space. We then search within this high probability manifold for the state that leads to the most finite-time growth of the flow kinetic energy. This state has both high probability of occurrence and leads to extreme values of dissipation. We use the alignment between a given turbulent state and this critical state as a precursor for extreme events and demonstrate its favorable properties for prediction of extreme dissipation events. Finally, we analyze the physical relevance of the derived precursor and show its robust character for different Reynolds numbers. Overall, we find that our choice of precursor works well at the Reynolds number it is computed at and at higher Reynolds number flows with similar extreme events.
△ Less
Submitted 26 July, 2018;
originally announced July 2018.
-
Extreme Events: Mechanisms and Prediction
Authors:
Mohammad Farazmand,
Themistoklis P. Sapsis
Abstract:
Extreme events, such as rogue waves, earthquakes and stock market crashes, occur spontaneously in many dynamical systems. Because of their usually adverse consequences, quantification, prediction and mitigation of extreme events are highly desirable. Here, we review several aspects of extreme events in phenomena described by high-dimensional, chaotic dynamical systems. We specially focus on two pr…
▽ More
Extreme events, such as rogue waves, earthquakes and stock market crashes, occur spontaneously in many dynamical systems. Because of their usually adverse consequences, quantification, prediction and mitigation of extreme events are highly desirable. Here, we review several aspects of extreme events in phenomena described by high-dimensional, chaotic dynamical systems. We specially focus on two pressing aspects of the problem: (i) Mechanisms underlying the formation of extreme events and (ii) Real-time prediction of extreme events. For each aspect, we explore methods relying on models, data or both. We discuss the strengths and limitations of each approach as well as possible future research directions.
△ Less
Submitted 16 March, 2018;
originally announced March 2018.
-
Reduced-order Description of Transient Instabilities and Computation of Finite-Time Lyapunov Exponents
Authors:
Hessam Babaee,
Mohamad Farazmand,
George Haller,
Themistoklis P. Sapsis
Abstract:
High-dimensional chaotic dynamical systems can exhibit strongly transient features. These are often associated with instabilities that have finite-time duration. Because of the finite-time character of these transient events, their detection through infinite-time methods, e.g. long term averages, Lyapunov exponents or information about the statistical steady-state, is not possible. Here we utilize…
▽ More
High-dimensional chaotic dynamical systems can exhibit strongly transient features. These are often associated with instabilities that have finite-time duration. Because of the finite-time character of these transient events, their detection through infinite-time methods, e.g. long term averages, Lyapunov exponents or information about the statistical steady-state, is not possible. Here we utilize a recently developed framework, the Optimally Time-Dependent (OTD) modes, to extract a time-dependent subspace that spans the modes associated with transient features associated with finite-time instabilities. As the main result, we prove that the OTD modes, under appropriate conditions, converge exponentially fast to the eigendirections of the Cauchy--Green tensor associated with the most intense finite-time instabilities. Based on this observation, we develop a reduced-order method for the computation of finite-time Lyapunov exponents (FTLE) and vectors. In high-dimensional systems, the computational cost of the reduced-order method is orders of magnitude lower than the full FTLE computation. We demonstrate the validity of the theoretical findings on two numerical examples.
△ Less
Submitted 20 April, 2017;
originally announced April 2017.
-
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.
-
A variational approach to probing extreme events in turbulent dynamical systems
Authors:
Mohammad Farazmand,
Themistoklis P. Sapsis
Abstract:
Extreme events are ubiquitous in a wide range of dynamical systems, including turbulent fluid flows, nonlinear waves, large scale networks and biological systems. Here, we propose a variational framework for probing conditions that trigger intermittent extreme events in high-dimensional nonlinear dynamical systems. We seek the triggers as the probabilistically feasible solutions of an appropriatel…
▽ More
Extreme events are ubiquitous in a wide range of dynamical systems, including turbulent fluid flows, nonlinear waves, large scale networks and biological systems. Here, we propose a variational framework for probing conditions that trigger intermittent extreme events in high-dimensional nonlinear dynamical systems. We seek the triggers as the probabilistically feasible solutions of an appropriately constrained optimization problem, where the function to be maximized is a system observable exhibiting intermittent extreme bursts. The constraints are imposed to ensure the physical admissibility of the optimal solutions, i.e., significant probability for their occurrence under the natural flow of the dynamical system. We apply the method to a body-forced incompressible Navier--Stokes equation, known as the Kolmogorov flow. We find that the intermittent bursts of the energy dissipation are independent of the external forcing and are instead caused by the spontaneous transfer of energy from large scales to the mean flow via nonlinear triad interactions. The global maximizer of the corresponding variational problem identifies the responsible triad, hence providing a precursor for the occurrence of extreme dissipation events. Specifically, monitoring the energy transfers within this triad, allows us to develop a data-driven short-term predictor for the intermittent bursts of energy dissipation. We assess the performance of this predictor through direct numerical simulations.
△ Less
Submitted 14 August, 2017; v1 submitted 11 April, 2017;
originally announced April 2017.
-
Reduced-order prediction of rogue waves in two-dimensional deep-water waves
Authors:
Mohammad Farazmand,
Themistoklis P. Sapsis
Abstract:
We consider the problem of large wave prediction in two-dimensional water waves. Such waves form due to the synergistic effect of dispersive mixing of smaller wave groups and the action of localized nonlinear wave interactions that leads to focusing. Instead of a direct simulation approach, we rely on the decomposition of the wave field into a discrete set of localized wave groups with optimal len…
▽ More
We consider the problem of large wave prediction in two-dimensional water waves. Such waves form due to the synergistic effect of dispersive mixing of smaller wave groups and the action of localized nonlinear wave interactions that leads to focusing. Instead of a direct simulation approach, we rely on the decomposition of the wave field into a discrete set of localized wave groups with optimal length scales and amplitudes. Due to the short-term character of the prediction, these wave groups do not interact and therefore their dynamics can be characterized individually. Using direct numerical simulations of the governing envelope equations we precompute the expected maximum elevation for each of those wave groups. The combination of the wave field decomposition algorithm, which provides information about the statistics of the system, and the precomputed map for the expected wave group elevation, which encodes dynamical information, allows (i) for understanding of how the probability of occurrence of rogue waves changes as the spectrum parameters vary, (ii) the computation of a critical length scale characterizing wave groups with high probability of evolving to rogue waves, and (iii) the formulation of a robust and parsimonious reduced-order prediction scheme for large waves. We assess the validity of this scheme in several cases of ocean wave spectra.
△ Less
Submitted 30 March, 2017; v1 submitted 29 October, 2016;
originally announced October 2016.
-
Dynamical indicators for the prediction of bursting phenomena in high-dimensional systems
Authors:
Mohammad Farazmand,
Themistoklis Sapsis
Abstract:
Drawing upon the bursting mechanism in slow-fast systems, we propose indicators for the prediction of such rare extreme events which do not require a priori known slow and fast coordinates. The indicators are associated with functionals defined in terms of Optimally Time Dependent (OTD) modes. One such functional has the form of the largest eigenvalue of the symmetric part of the linearized dynami…
▽ More
Drawing upon the bursting mechanism in slow-fast systems, we propose indicators for the prediction of such rare extreme events which do not require a priori known slow and fast coordinates. The indicators are associated with functionals defined in terms of Optimally Time Dependent (OTD) modes. One such functional has the form of the largest eigenvalue of the symmetric part of the linearized dynamics reduced to these modes. In contrast to other choices of subspaces, the proposed modes are flow invariant and therefore a projection onto them is dynamically meaningful. We illustrate the application of these indicators on three examples: a prototype low-dimensional model, a body forced turbulent fluid flow, and a unidirectional model of nonlinear water waves. We use Bayesian statistics to quantify the predictive power of the proposed indicators.
△ Less
Submitted 7 April, 2016;
originally announced April 2016.
-
Optimal initial condition of passive tracers for their maximal mixing in finite time
Authors:
Mohammad Farazmand
Abstract:
The efficiency of a fluid mixing device is often limited by fundamental laws and/or design constraints, such that a perfectly homogeneous mixture cannot be obtained in finite time. Here, we address the natural corollary question: Given the best available mixer, what is the optimal initial tracer pattern that leads to the most homogeneous mixture after a prescribed finite time? For ideal passive tr…
▽ More
The efficiency of a fluid mixing device is often limited by fundamental laws and/or design constraints, such that a perfectly homogeneous mixture cannot be obtained in finite time. Here, we address the natural corollary question: Given the best available mixer, what is the optimal initial tracer pattern that leads to the most homogeneous mixture after a prescribed finite time? For ideal passive tracers, we show that this optimal initial condition coincides with the right singular vector (corresponding to the smallest singular value) of a suitably truncated Perron-Frobenius (PF) operator. The truncation of the PF operator is made under the assumption that there is a small length-scale threshold $\ell_ν$ under which the tracer blobs are considered, for all practical purposes, completely mixed. We demonstrate our results on two examples: a prototypical model known as the sine flow and a direct numerical simulation of two-dimensional turbulence. Evaluating the optimal initial condition through this framework only requires the position of a dense grid of fluid particles at the final instance and their preimages at the initial instance of the prescribed time interval. As such, our framework can be readily applied to flows where such data is available through numerical simulations or experimental measurements.
△ Less
Submitted 18 November, 2016; v1 submitted 4 April, 2016;
originally announced April 2016.
-
An adjoint-based approach for finding invariant solutions of Navier-Stokes equations
Authors:
Mohammad Farazmand
Abstract:
We consider the incompressible Navier--Stokes equations with periodic boundary conditions and time-independent forcing. For this type of flow, we derive adjoint equations whose trajectories converge asymptotically to the equilibrium and traveling wave solutions of the Navier--Stokes equations. Using the adjoint equations, arbitrary initial conditions evolve to the vicinity of a (relative) equilibr…
▽ More
We consider the incompressible Navier--Stokes equations with periodic boundary conditions and time-independent forcing. For this type of flow, we derive adjoint equations whose trajectories converge asymptotically to the equilibrium and traveling wave solutions of the Navier--Stokes equations. Using the adjoint equations, arbitrary initial conditions evolve to the vicinity of a (relative) equilibrium at which point a few Newton-type iterations yield the desired (relative) equilibrium solution. We apply this adjoint-based method to a chaotic two-dimensional Kolmogorov flow. A convergence rate of 100% is observed, leading to the discovery of 21 new steady state and traveling wave solutions at Reynolds number Re=40. Some of the new invariant solutions have spatially localized structures that were previously believed to only exist on domains with large aspect ratios. We show that one of the newly found steady state solutions underpins the temporal intermittencies, i.e., high energy dissipation episodes of the flow. More precisely, it is shown that each intermittent episode of a generic turbulent trajectory corresponds to its close passage to this equilibrium solution.
△ Less
Submitted 14 March, 2016; v1 submitted 26 August, 2015;
originally announced August 2015.
-
Defining Coherent Vortices Objectively from the Vorticity
Authors:
George Haller,
Alireza Hadjighasem,
Mohammad Farazmand,
Florian Huhn
Abstract:
Rotationally coherent Lagrangian vortices are formed by tubes of deforming fluid elements that complete equal bulk material rotation relative to the mean rotation of the deforming fluid volume. We show that initial positions of such tubes coincide with tubular level surfaces of the Lagrangian-Averaged Vorticity Deviation (LAVD), the trajectory integral of the normed difference of the vorticity fro…
▽ More
Rotationally coherent Lagrangian vortices are formed by tubes of deforming fluid elements that complete equal bulk material rotation relative to the mean rotation of the deforming fluid volume. We show that initial positions of such tubes coincide with tubular level surfaces of the Lagrangian-Averaged Vorticity Deviation (LAVD), the trajectory integral of the normed difference of the vorticity from its spatial mean. LAVD-based vortices are objective, i.e., remain unchanged under time-dependent rotations and translations of the coordinate frame. In the limit of vanishing Rossby numbers in geostrophic flows, cyclonic LAVD vortex centers are precisely the observed attractors for light particles. A similar result holds for heavy particles in anticyclonic LAVD vortices. We also establish a relationship between rotationally coherent Lagrangian vortices and their instantaneous Eulerian counterparts. The latter are formed by tubular surfaces of equal material rotation rate, objectively measured by the Instantaneous Vorticity Deviation (IVD). We illustrate the use of the LAVD and the IVD to detect rotationally coherent Lagrangian and Eulerian vortices objectively in several two- and three-dimensional flows.
△ Less
Submitted 7 February, 2016; v1 submitted 12 June, 2015;
originally announced June 2015.
-
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.
-
Hyperbolic Lagrangian coherent structures align with contours of path-averaged scalars
Authors:
Mohammad Farazmand
Abstract:
While inequality (9) is mathematically correct, it does not imply
alignment between path-averaged scalars and the hyperbolic LCSs.
While inequality (9) is mathematically correct, it does not imply
alignment between path-averaged scalars and the hyperbolic LCSs.
△ Less
Submitted 26 July, 2015; v1 submitted 20 January, 2015;
originally announced January 2015.
-
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.
-
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.
-
How coherent are the vortices of two-dimensional turbulence?
Authors:
Mohammad Farazmand,
George Haller
Abstract:
We use recent developments in the theory of finite-time dynamical systems to objectively locate the material boundaries of coherent vortices in two-dimensional Navier--Stokes turbulence. We show that these boundaries are optimal in the sense that any closed curve in their exterior will lose coherence under material advection. Through a detailed comparison, we find that other available Eulerian and…
▽ More
We use recent developments in the theory of finite-time dynamical systems to objectively locate the material boundaries of coherent vortices in two-dimensional Navier--Stokes turbulence. We show that these boundaries are optimal in the sense that any closed curve in their exterior will lose coherence under material advection. Through a detailed comparison, we find that other available Eulerian and Lagrangian techniques significantly underestimate the size of each coherent vortex.
△ Less
Submitted 27 June, 2014; v1 submitted 19 February, 2014;
originally announced February 2014.
-
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.
-
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.
-
Attracting and repelling Lagrangian coherent structures from a single computation
Authors:
Mohammad Farazmand,
George Haller
Abstract:
Hyperbolic Lagrangian Coherent Structures (LCSs) are locally most repelling or most attracting material surfaces in a finite-time dynamical system. To identify both types of hyperbolic LCSs at the same time instance, the standard practice has been to compute repelling LCSs from future data and attracting LCSs from past data. This approach tacitly assumes that coherent structures in the flow are fu…
▽ More
Hyperbolic Lagrangian Coherent Structures (LCSs) are locally most repelling or most attracting material surfaces in a finite-time dynamical system. To identify both types of hyperbolic LCSs at the same time instance, the standard practice has been to compute repelling LCSs from future data and attracting LCSs from past data. This approach tacitly assumes that coherent structures in the flow are fundamentally recurrent, and hence gives inconsistent results for temporally aperiodic systems. Here we resolve this inconsistency by showing how both repelling and attracting LCSs are computable at the same time instance from a single forward or a single backward run. These LCSs are obtained as surfaces normal to the weakest and strongest eigenvectors of the Cauchy-Green strain tensor.
△ Less
Submitted 21 January, 2013;
originally announced January 2013.
