Dynamic mode decomposition
Dynamic mode decomposition is a dimensionality reduction algorithm developed by Peter Schmid in 2008.
Given a time series of data, DMD computes a set of modes each of which is associated with a fixed oscillation frequency and decay/growth rate. For linear systems in particular, these modes and frequencies are analogous to the normal modes of the system, but more generally, they are approximations of the modes and eigenvalues of the composition operator. Due to the intrinsic temporal behaviors associated with each mode, DMD differs from dimensionality reduction methods such as principal component analysis, which computes orthogonal modes that lack predetermined temporal behaviors. Because its modes are not orthogonal, DMD-based representations can be less parsimonious than those generated by PCA. However, they can also be more physically meaningful because each mode is associated with a damped sinusoidal behavior in time.
Overview
Dynamic mode decomposition was first introduced by Schmid as a numerical procedure for extracting dynamical features from flow data.The data takes the form of a snapshot sequence
where is the -th snapshot of the flow field, and is a data matrix whose columns are the individual snapshots. The subscript and superscript denote the index of the snapshot in the first and last columns respectively. These snapshots are assumed to be related via a linear mapping that defines a linear dynamical system
that remains approximately the same over the duration of the sampling period. Written in matrix form, this implies that
where is the vector of residuals that accounts for behaviors that cannot be described completely by,,, and. Regardless of the approach, the output of DMD is the eigenvalues and eigenvectors of, which are referred to as the DMD eigenvalues and DMD modes respectively.
Algorithm
There are two methods for obtaining these eigenvalues and modes. The first is Arnoldi-like, which is useful for theoretical analysis due to its connection with Krylov methods. The second is a singular value decomposition based approach that is more robust to noise in the data and to numerical errors.The Arnoldi approach
In fluids applications, the size of a snapshot,, is assumed to be much larger than the number of snapshots, so there are many equally valid choices of. The original DMD algorithm picks so that each of the snapshots in can be written as the linear combination of the snapshots in.Because most of the snapshots appear in both data sets, this representation is error free for all snapshots except, which is written as
where is a set of coefficients DMD must identify and is the residual.
In total,
where is the companion matrix
The vector can be computed by solving a least squares problem, which minimizes the overall residual. In particular if we take the QR decomposition of, then.
In this form, DMD is a type of Arnoldi method, and therefore the eigenvalues of are approximations of the eigenvalues of. Furthermore, if is an eigenvector of, then is an approximate eigenvector of. The reason an eigendecomposition is performed on rather than is because is much smaller than, so the computational cost of DMD is determined by the number of snapshots rather than the size of a snapshot.
The SVD-based approach
Instead of computing the companion matrix, the SVD-based approach yields the matrix that is related to via a similarity transform. To do this, assume we have the SVD of. ThenEquivalent to the assumption made by the Arnoldi-based approach, we choose such that the snapshots in can be written as the linear superposition of the columns in, which is equivalent to requiring that they can be written as the superposition of POD modes. With this restriction, minimizing the residual requires that it is orthogonal to the POD basis. Then multiplying both sides of the equation above by yields, which can be manipulated to obtain
Because and are related via similarity transform, the eigenvalues of are the eigenvalues of, and if is an eigenvector of, then is an eigenvector of.
In summary, the SVD-based approach is as follows:
- Split the time series of data in into the two matrices and.
- Compute the SVD of.
- Form the matrix, and compute its eigenvalues and eigenvectors.
- The -th DMD eigenvalues is and -th DMD mode is the.
Theoretical and algorithmic advancements
Since its inception in 2010, a considerable amount of work has focused on understanding and improving DMD. One of the first analyses of DMD by Rowley et al. established the connection between DMD and the Koopman operator, and helped to explain the output of DMD when applied to nonlinear systems. Since then, a number of modifications have been developed that either strengthen this connection further or enhance the robustness and applicability of the approach.- Optimized DMD: Optimized DMD is a modification of the original DMD algorithm designed to compensate for two limitations of that approach: the difficulty of DMD mode selection, and the sensitivity of DMD to noise or other errors in the last snapshot of the time series. Optimized DMD recasts the DMD procedure as an optimization problem where the identified linear operator has a fixed rank. Furthermore, unlike DMD which perfectly reproduces all of the snapshots except for the last, Optimized DMD allows the reconstruction errors to be distributed throughout the data set, which appears to make the approach more robust in practice.
- Optimal Mode Decomposition: Optimal Mode Decomposition recasts the DMD procedure as an optimization problem and allows the user to directly impose the rank of the identified system. Provided this rank is chosen properly, OMD can produce linear models with smaller residual errors and more accurate eigenvalues on both synthetic and experimental data sets.
- Exact DMD: The Exact DMD algorithm generalizes the original DMD algorithm in two ways. First, in the original DMD algorithm the data must be a time series of snapshots, but Exact DMD accepts a data set of snapshot pairs. The snapshots in the pair must be separated by a fixed, but do not need to be drawn from a single time series. In particular, Exact DMD can allow data from multiple experiments to be aggregated into a single data set. Second, the original DMD algorithm effectively pre-processes the data by projecting onto a set of POD modes. The Exact DMD algorithm removes this pre-processing step, and can produce DMD modes that cannot be written as the superposition of POD modes.
- Sparsity Promoting DMD: Sparsity promoting DMD is a post processing procedure for DMD mode and eigenvalue selection. Sparsity promoting DMD uses an penalty to identify a smaller set of important DMD modes, and is an alternative approach to the DMD mode selection problem that can be solved efficiently using convex optimization techniques.
- Multi-Resolution DMD: Multi-Resolution DMD is a combination of the techniques used in multiresolution analysis with Exact DMD designed to robust extracting DMD modes and eigenvalues from data sets containing multiple timescales. The mrDMD approach was applied to global surface temperature data, and identifies a DMD mode that appears during El Nino years.
- Extended DMD: Extended DMD is a modification of Exact DMD that strengthens the connection between DMD and the Koopman operator. As the name implies, Extended DMD is an extension of DMD that uses a richer set of observable functions to produce more accurate approximations of the Koopman operator. It also demonstrated the DMD and related methods produce approximations of the Koopman eigenfunctions in addition to the more commonly used eigenvalues and modes.
- DMD with Control: Dynamic mode decomposition with control is a modification of the DMD procedure designed for data obtained from input output systems. One unique feature of DMDc is the ability to disambiguate the effects of system actuation from the open loop dynamics, which is useful when data are obtained in the presence of actuation.
- Total Least Squares DMD: Total Least Squares DMD is a recent modification of Exact DMD meant to address issues of robustness to measurement noise in the data. In, the authors interpret the Exact DMD as a regression problem that is solved using ordinary least squares, which assumes that the regressors are noise free. This assumption creates a bias in the DMD eigenvalues when it is applied to experimental data sets where all of the observations are noisy. Total least squares DMD replaces the OLS problem with a total least squares problem, which eliminates this bias.
- Dynamic Distribution Decomposition: DDD focuses on the forward problem in continuous time, i.e., the transfer operator. However the method developed can also be used for fitting DMD problems in continuous time.
Examples
Trailing edge of a profile
The wake of an obstacle in the flow may develop a Kármán vortex street. The Fig.1 shows the shedding of a vortex behind the trailing edge of a profile. The DMD-analysis was applied to 90 sequential Entropy fieldsRoughly a third of the spectrum was highly damped and is not shown. The dominant shedding mode is shown in the following pictures. The image to the left is the real part, the image to the right, the imaginary part of the eigenvector.
Again, the entropy-eigenvector is shown in this picture. The acoustic contents of the same mode is seen in the bottom half of the next plot. The top half corresponds to the entropy mode as above.
Synthetic example of a traveling pattern
The DMD analysis assumes a pattern of the formwhere is any of the independent variables of the problem, but has to be selected in advance.
Take for example the pattern
With the time as the preselected exponential factor.
A sample is given in the following figure with, and. The left picture shows the pattern without, the right with noise added. The amplitude of the random noise is the same as that of the pattern.
A DMD analysis is performed with 21 synthetically generated fields using a time interval , limiting the analysis to.
The spectrum is symmetric and shows three almost undamped modes, whereas the other modes are heavily damped.
Their numerical values are respectively. The real one corresponds to the mean of the field, whereas corresponds to the imposed pattern with. Yielding a relative error of −1/1000. Increasing the noise to 10 times the signal value yields about the same error. The real and imaginary part of one of the latter two eigenmodes is depicted in the following figure.