Efficient harmonic resolvent analysis via time-stepping
Abstract
We present an extension of the RSVD- algorithm initially developed for resolvent analysis of statistically stationary flows to handle harmonic resolvent analysis of time-periodic flows. The harmonic resolvent operator, as proposed by Padovan et al. (2020), characterizes the linearized dynamics of time-periodic flows in the frequency domain, and its singular value decomposition reveals forcing and response modes with optimal energetic gain. However, computing harmonic resolvent modes poses challenges due to the coupling of all retained frequencies into a single harmonic resolvent operator and the singularity or near-singularity of the operator, making harmonic resolvent analysis considerably more computationally expensive than a standard resolvent analysis. To overcome these challenges, the RSVD- algorithm leverages time stepping of the underlying time-periodic linearized Navier-Stokes operator, which is times smaller than the harmonic resolvent operator, to compute the action of the harmonic resolvent operator. We develop strategies to minimize the algorithm’s CPU and memory consumption, and our results demonstrate that these costs scale linearly with the problem dimension. We validate the RSVD- algorithm by computing modes for a periodically varying Ginzburg-Landau equation and demonstrate its performance using the flow over an airfoil.
1 Introduction
Model reduction plays a critical role in the study of fluid mechanics due to the complex and high-dimensional nature of fluid flows, especially turbulent ones. In particular, modal decompositions, both data-driven and equation-based, have proven to be effective at identifying low-dimensional sets of modes associated with interpretable coherent structures that significantly influence quantities of engineering interest such as kinetic energy, heat and mass transfer, and noise emissions (Taira et al., 2017; Towne et al., 2018). In particular, resolvent analysis has been extensively employed to comprehend, model, and control statistically stationary turbulent flows such as wall-bounded turbulence (Dawson & McKeon, 2019), turbulent boundary layer (Sipp & Marquet, 2013), and jet flows (Pickering et al., 2021). However, real-world fluid systems often exhibit non-stationary behavior, including periodicity, rendering resolvent analysis less effective. Examples of flows exhibiting periodic behavior include internal waves in a stratified fluid (Troy & Koseff, 2005), vortex shedding in the wake of a bluff body (Giannenas et al., 2022), and pulsatile blood flow (Farghadan & Arzani, 2019). Recently, an extension of resolvent analysis, known as harmonic resolvent analysis, has been developed by Padovan et al. (2020). This extension characterizes the perturbation forcing and responses around a periodic base flow, providing a more effective tool for analyzing, modeling, and controlling periodically time-varying flows. The harmonic resolvent operator can be considered a special case of the harmonic transfer function introduced by Wereley (1990), wherein the operator exhibits a dominant frequency.
Investigating the harmonic resolvent operator is one way to identify the optimal spatio-temporal perturbations and their corresponding responses in fluid systems. Unlike the resolvent operator, the harmonic resolvent operator takes into consideration the periodicity of the base flow by representing it in the form of a Fourier series. This allows for characterization of the dynamic behavior of the system, particularly with respect to its spectral components and it provides a means to understand and explore the interactions between input and output modes through the linearized dynamics. Harmonic resolvent analysis determines the triadic interactions between the input frequency , the base flow frequency , and the response frequency . The number of Fourier modes of the base flow is determined by its power spectral density (PSD), which in turn determines the number of triads interacting with the forcing. Typically, periodic flows with a dominant periodicity exhibit a multimodal nature with their most energetic modes being harmonics of the base frequency. When the base flow is statistically stationary, linearization around the temporal average is sufficient, and traditional resolvent analysis arises as a special case.
Recent studies have expanded on this research area to model and control the dynamics of turbulent flows with periodic motions. Lin et al. (2023) applied the harmonic resolvent framework for linear time-periodic systems with more than one dominant frequency, offering a tool to study the flow control of a plunging cylinder. In a distinct approach, Franceschini et al. (2022) proposed a novel method aimed at capturing the phase dependency of small-scale turbulent phenomena in flows exhibiting a periodic limit cycle. This method builds upon classical spectral proper orthogonal decomposition (SPOD) and resolvent analyses but introduces a quasi-steady approximation that effectively separates the high-frequency turbulent component from the slow periodic oscillation. Moreover, Heidt & Colonius (2023) have pioneered the theory and algorithm for cyclostationary SPOD (CS-SPOD). This innovative approach extends the conventional SPOD algorithm to effectively capture the characteristics of flows characterized by periodic motions. CS-SPOD is closely tied to harmonic resolvent analysis, akin to the relationship between SPOD and resolvent analysis (Towne et al., 2018).
From a computational standpoint, computing harmonic resolvent modes presents similar challenges to resolvent analysis, including the need to invert sparse matrices in Fourier space. This challenge is further exacerbated in harmonic resolvent analysis due to expanded system size, where all relevant frequencies are merged into a unified operator, in contrast to resolvent analysis, where each frequency has its own independent system. The second shared challenge involves performing the singular value decomposition (SVD). Specifically, turbulent flows characterized by periodic motions require a high-resolution mesh, presenting both challenges as formidable obstacles. A modified randomized SVD (RSVD) can be used to simultaneously overcome both computational challenges (Moarref et al., 2013; Ribeiro et al., 2020; Padovan et al., 2020). Nevertheless, the modified RSVD, referred to as “RSVD-LU” in this study, becomes impractical for tackling large-scale turbulent flows since it requires the lower-upper (LU) decomposition of the harmonic resolvent operator. Recently, RSVD-, an improvement to RSVD-LU, addresses bottlenecks in resolvent analysis (Farghadan et al., 2023). The approach of time-stepping, initially developed by Monokrousos et al. (2010) and further optimized by Martini et al. (2021), allows for computing the action of an operator on a vector without solving a linear system in Fourier space, making it a key component of RSVD-.
The main objective of this study is to expand the applicability of the RSVD- algorithm, initially crafted for resolvent analysis, to facilitate the computation of harmonic resolvent modes. A streaming approach is adopted for time integration, reducing memory usage while maintaining computational efficiency. Moreover, an efficient transient removal strategy is introduced, cutting the temporal length of the integration and thereby minimizing the CPU cost of RSVD- for achieving a desired accuracy. The RSVD- algorithm for periodic flows maintains linear scalability in both CPU time and memory consumption. This scalability enables the efficient computation of harmonic resolvent modes for large-scale turbulent flows that were previously out of reach.
The structure of our paper unfolds as follows. We begin by explaining resolvent analysis in 2, followed by the formulation of harmonic resolvent analysis in 3, where the computation of harmonic resolvent modes using RSVD-LU is briefly described. The RSVD- algorithm is introduced in 4. A comparison of the computational complexity of algorithms and suggested improvements appear in 5. Further details on performance and error analysis are presented in 6. In 7, we conduct two test cases to demonstrate the accuracy and cost efficiency of RSVD- for two periodic systems, and we conclude with final remarks in 8.
2 Resolvent analysis
Before considering the time-periodic case, we briefly review standard resolvent analysis for stationary flows. The Navier-Stokes equations can be linearized around a base flow via Reynolds decomposition of the state, , where represents the temporal average of the flow, and denotes the time-varying fluctuations. The dynamics of perturbations are then described by the linear time-invariant system
(2.1) |
where is the linearized Navier-Stokes (LNS) operator, is the state dimension of the discretized system, and represents an external forcing as well as nonlinear terms that are treated as an additional forcing, as suggested by McKeon & Sharma (2010). It should be noted that is time-independent because the base flow is time-invariant. By taking the Fourier transform
(2.2) |
in time, we obtain
(2.3) |
where represents the frequency and denotes the frequency-domain representation of the time-domain vector. The resolvent operator
(2.4) |
is a transfer function that maps the input forcing to the output response. Here, and is the identity matrix of appropriate dimension.
To analyze the perturbation characteristics of a system, the transfer function can be examined across a range of frequencies. Typically, the most amplified responses are identified by computing the left singular vectors of the resolvent operator,
(2.5) |
where denotes complex conjugate transpose. The optimal forcing inputs that lead to the highest amplifications comprise the right singular vectors , and the degree of amplifications are determined by the singular values .
The SVD in 2.5 implies that disturbance amplitudes are measured in a Euclidean norm. More generally, computes the -norm of any vector , and input and output norms can be different, i.e., is not necessary. Additionally, one can define an input matrix to restrict the forcing and an output matrix to extract the output of interest from the state. For the sake of notational brevity, we assumed the weight, input, and output matrices to be the identity, i.e., , throughout this paper. However, our algorithm, with minor adjustments, can accommodate non-identity weight, input, and output matrices by computing the modes of the modified resolvent operator
(2.6) |
For more details, please refer to Farghadan et al. (2023).
3 Harmonic resolvent analysis
In this section, we provide an overview of harmonic resolvent analysis. After reviewing its basic formulation, we discuss the singularity issue that can arise in some special flows, the truncation of the harmonic resolvent operator, and two variations of harmonic resolvent analysis, namely cross-frequency amplification and subharmonic resolvent. Lastly, a brief overview is provided for the state-of-the-art algorithm used to compute the harmonic resolvent modes and gains.
3.1 Formulation
Analogous to resolvent analysis, by inserting the generalized Reynolds decomposition into the Navier-Stokes equations, the linearization around a periodic base flow leads to the linear time-periodic system
(3.1) |
where is the periodic LNS operator, is the fundamental frequency, and is defined as the fundamental cycle length. As both and are time-periodic, the Fourier transform of (3.1) incorporates interactions between all pairs of frequencies. For simplicity, we drop the prime notation for fluctuations from here on out.
Expanding and in terms of the Fourier series
(3.2) |
where denotes harmonic of , and substituting these expansions into (3.1), we obtain
(3.3) |
Here, is an infinite dimensional block matrix of the form
(3.4) |
where the diagonal entries are in fact the inverse of resolvent operators at various frequencies,
(3.5) |
The harmonic resolvent operator
(3.6) |
transfers the harmonic inputs to the outputs for periodic base flows,
(3.7) |
The SVD of the harmonic resolvent operator
(3.8) |
unveils the most amplified responses that correspond to optimal forcing , each accompanied by associated amplification magnitudes . The matrix encompasses the base flow, the fundamental frequency, and higher harmonics. Whereas individual frequencies can be analyzed separately in a standard resolvent analysis, all frequencies are coupled within in harmonic resolvent analysis and must be considered simultaneously. Furthermore, the modes of the modified harmonic resolvent operator, defined as
(3.9) |
can be computed using our algorithm with the same minor adjustments as detailed in Farghadan et al. (2023). In a special case where the base flow is time-independent, i.e., for , reduces to
(3.10) |
so each frequency is decoupled. Therefore, resolvent analysis can be perceived as a special case of harmonic resolvent analysis.
3.2 Singular or near-singular nature of
The operator tends to be ill-conditioned for many periodic systems (Padovan et al., 2020). A system is considered ill-conditioned when the ratio of the largest and smallest singular values is large or higher). The smallest singular value of can be shown to reach machine precision zero if the periodic base flow satisfies the Navier-Stokes equations (Padovan et al., 2020; Leclercq & Sipp, 2023), i.e., when
(3.11) |
where is the nonlinear Navier-Stokes operator. Taking a time derivative of both sides,
(3.12) |
Taking a Fourier transform of (3.12) and recalling that is obtained as shown in (3.3), is a non-trivial solution of
(3.13) |
residing within the null space of , thereby proving the singularity of . In systems where the base flow approximately satisfies (3.11), becomes nearly singular. Consequently, irrespective of the specific periodic system under consideration, might be poorly conditioned, presenting even more challenges when dealing with large systems.
Padovan et al. (2020) demonstrated that defining the harmonic resolvent operator in a manner that eliminates the phase shift imparted by the Fourier coefficients of is effective, without adversely affecting the other dominant amplification mechanisms. By constraining to a subspace that is orthogonal to the direction of the phase shift , the range of the harmonic resolvent operator is limited to . The key concept here is to eliminate the singular vectors associated with the smallest singular value of without affecting the other singular values and vectors of . Given that the phase shift resides in the null space of , the desired right singular vector is readily available. We can also solve
(3.14) |
and compute the corresponding left singular vector as . Upon obtaining and , the process becomes straightforward: projecting out these modes from the forcing and response terms effectively restricts to . These steps are elucidated in detail in Padovan et al. (2020).
To compute the action of the harmonic resolvent operator on a given vector (or matrix), our goal is to determine the vector (or matrix) that satisfies . In brief, to compute the action of a singular on a vector , the component along must be projected out as
(3.15) |
and this will provide a response
(3.16) |
which is orthogonal to the direction of the phase shift. Nevertheless, to mitigate potential round-off errors, it is advisable to refine the output by projecting out the component along as
(3.17) |
Similarly, when computing the action of singular on a vector, the initial step involves projecting out the component along . After the response is obtained, to mitigate round-off errors, the component along is projected out.
3.3 Truncating the harmonic resolvent operator
Computing harmonic resolvent modes is contingent upon being of finite size. The size and block sparsity pattern of are determined by two key variables: the number of frequencies within the base flow, , and within the response, . Here, we elucidate the impact of each variable on the operator.
The rows of consist of -stencil blocks, dictated by the presence of non-zero elements in . In the context of periodic flows, the time-dependent base flow can be expressed using a Fourier series expansion
(3.18) |
The set encompasses the relevant frequencies associated with the dominant flow structures. Typically, is a subset of with and encapsulates the majority of energy within the periodic flows. By retaining the base periodicity and a limited number of higher harmonics, it becomes possible to simplify the base flow representation, resulting in frequencies within and non-zero elements within each row of .
On the other hand, we aim to resolve perturbations occurring at temporal frequencies , where represents a subset of with , although the specific choice of harmonics for may vary, as further elucidated in 3.5. Typically, is a subset of , i.e., the perturbation frequency content spans a wider range of harmonics (Padovan et al., 2020). The number of frequencies expanding both and determines the dimensions of the block matrices, yielding a size of for .
We provide a simple example to visually observe the harmonic resolvent operator. Suppose we use to expand the LNS operator and to expand the perturbations. In this case, the stencil length would be , and the size of the block matrix would be . The harmonic resolvent operator is then
(3.19) |
The forcing and response vectors can be represented as
(3.20) |
The accuracy of the obtained resolvent system in Fourier space depends on how well the chosen frequencies capture the relevant flow information, and it is affected by the truncation limit imposed on the frequency range. Although it is feasible to reduce the infinite-dimensional harmonic operator to a finite dimension based on perturbation frequencies, the choice of frequency range is consequential. To demonstrate the influence of truncation on response modes, consider a periodic flow with a dominant first harmonic, such that the base flow can be expressed as
(3.21) |
Assume that the LNS equations are subjected to a constant forcing . The LNS operator exhibits frequency content at 0 and , indicating that a constant forcing will directly induce a response at these frequencies. However, higher harmonics are also indirectly stimulated, and the triggering of responses at higher harmonics follows a cascade pattern, with norms gradually decaying towards zero, i.e., . Hence, the truncation must be set at a sufficiently high level to preserve the response norms.
In practice, by defining for both input perturbation and the response, we compute accurate harmonic resolvent modes as long as the norms of higher frequency modes become less relevant within the spectrum. In other words, if we set both forcing and response frequencies sufficiently high and, upon computing harmonic resolvent modes, find that the norms of input and output modes with higher frequency content are relatively small, it indicates convergence, and including higher frequencies has negligible impact on the results. In a case, for instance, where response modes with higher frequency content remain relatively important, extending the frequency range of the output modes is necessary without changing the input frequency content. In our algorithm, the input and output frequency ranges are adjustable as needed.
3.4 Cross-frequency harmonic resolvent analysis
Harmonic resolvent analysis captures the interaction between various frequencies within and , and the typical objective is to identify the optimal forcing mode, potentially spanning various frequencies, that produces the optimal response across a range of frequencies. Alternatively, one can compute the unit-norm forcing at one frequency that triggers the most amplified response at another frequency . This is achieved by defining
(3.22) |
and computing the modes and gains following the same procedure as before. Here, matrices and are constructed to extract the and frequencies from the forcing and response modes, respectively. This represents a special case of the modified harmonic resolvent operator in (2.6).
3.5 Subharmonic resolvent analysis
The frequency content of the forcing inputs is typically composed of harmonics of the base flow frequency. However, Padovan & Rowley (2022) have shown that the harmonic resolvent system may exhibit sensitivity to subharmonic inputs. For instance, in the case where the fundamental base flow frequency is denoted by , the linearized system may be sensitive to forcing inputs with , such as . More generally, if the frequency content of a periodic LNS operator is limited to the frequency range , it may be desirable to compute input-output modes with frequencies outside of this range, i.e., , . In such cases, the subharmonic resolvent modes become relevant.
To identify unique subharmonic inputs, we can take advantage of the linear nature of the harmonic resolvent operator, which allows interaction with the fundamental frequency and its harmonics. It can be demonstrated that the interval encompasses all sets of subharmonic frequencies where the input-output modes are unique. As discussed in 3, a forcing with a frequency can only trigger responses at frequencies , where is an integer. Therefore, the input and output modes exist within the frequency range , where denotes element-wise addition. Harmonics of trigger a unique set of outputs as long as . Due to the linear relationship, we can show that all harmonics are isolated sets that need to be studied separately. Note that is excluded since , resulting in redundancy. For , one can derive the subharmonic resolvent system as (Padovan & Rowley, 2022)
(3.23) |
To further elucidate the point, consider an example where the subharmonic frequency of interest is along with its harmonics. Note that the valid harmonics are the ones that fulfill the condition , which includes the set . While , where is the number of active frequencies within the base flow, is identical to harmonic inputs, the sets , , , and represent distinct input-output modes. In general, for any two distinct subharmonic frequencies and within the interval , the corresponding subharmonic modes in are decoupled from those in as there exists no common frequency . While our algorithm described in 4 is described for harmonic resolvent analysis, it can be easily extended to compute subharmonic resolvent modes, as described in Appendix A.
3.6 Computing harmonic resolvent modes using RSVD-LU
The RSVD algorithm (Halko et al., 2011) is a randomized linear algebra technique developed to efficiently identify the singular vectors with the highest gains in a given matrix. In the context of harmonic resolvent analysis, the matrix of interest is the harmonic resolvent operator. This operator, similar to the resolvent operator, relies on the inverse of a sparse matrix, as shown in (3.6), making the computation of modes challenging. Modifying the original RSVD algorithm is necessary to address these challenges, enabling harmonic resolvent analysis. The modifications for resolvent analysis have been extensively documented in the literature by Ribeiro et al. (2020) and Farghadan et al. (2023), while the outline for the harmonic resolvent operator can be found in the appendix of Padovan et al. (2020).
In brief, the computation involves computing the action of and for sketching the range and image of the harmonic resolvent operator, respectively, and approximating the leading harmonic modes. Computing actions of and , however, requires solving linear systems
(3.24) |
respectively, in Fourier space. These linear systems are solved via LU-decomposition of , but due to its large size and ill-conditioned nature, computing its LU decomposition can be a formidable computational obstacle, particularly for flows with three inhomogeneous directions. We propose an alternative way in the following section.
4 Computing harmonic resolvent modes using time stepping
In this section, we show how time stepping can be used to efficiently compute harmonic resolvent modes. The same concept was first used by Monokrousos et al. (2010) in the context of the resolvent analysis and further optimized by Martini et al. (2021) and Farghadan et al. (2023). Here, we introduce the extension of our algorithm to compute the harmonic resolvent modes and gains.
4.1 Computing the action of using time stepping
Computing the action of in the Fourier space poses a bottleneck within the RSVD-LU algorithm. To overcome this limitation, we propose to use time-stepping as an effective surrogate approach. Given that represents the frequency content of the base flow around which is constructed, we define the time-domain linearized operator as
(4.1) |
The action of on in Fourier space is expressed in (3.7), where the frequency content of the forcing lies within .
The steady-state solution of (3.1) is given by
(4.2) |
when subjected to the forcing represented as
(4.3) |
The steady-state response can be obtained through time-stepping before taking a Fourier transform. The time-domain forcing is constructed to include frequencies identical to those present in . Since the time-domain and frequency-domain frequencies are the same, both approaches yield identical results, i.e., . In practice, the time-stepping method is inherently discrete, and the frequencies are retained up to the maximum limit determined by the chosen time step (below the Nyquist frequency (Nyquist, 1928)). By employing a suitably small time step, we can capture frequencies up to the desired limit.
The equivalence between computing the action of in both the RSVD-LU and RSVD- algorithms is depicted in figure 1. In the upper route, within the RSVD-LU algorithm, the LNS equations are first transformed into Fourier space before solving a coupled linear system in the frequency domain for a given forcing. In the lower route, within the RSVD- algorithm, the LNS equations are initially integrated in the time domain before being transformed into Fourier space. Both routes produce identical outputs so long as numerical artifacts are minimized.
4.2 RSVD- for harmonic resolvent analysis
By recognizing the equivalence between time stepping and solving linear systems in the frequency domain, we can effectively address the limitations of the RSVD-LU algorithm, leading to the development of RSVD-. The algorithmic steps for extending RSVD- to harmonic systems are presented in Algorithm 1.
The algorithm proposed in this study is based on the RSVD- algorithm introduced by Farghadan et al. (2023), and we will provide a concise overview of the key steps. Initially, a random matrix is generated (line 2) to compute the sketch of through time stepping (line 3). DirectAction is a function that computes the action of onto a given forcing using time-stepping and transforms the steady-state responses to Fourier space. Next, an optional power iteration is performed (lines 4 and 5) via successive applications of DirectAction and AdjointAction, enhancing the accuracy of harmonic resolvent modes. QR decomposition is performed to obtain (line 6) before constructing via time stepping (line 7). AdjointAction is the function that computes the action of onto a given forcing using time-stepping and transforms the steady-state responses to Fourier space. An SVD (line 8) is conducted to obtain the optimal forcing modes and gains of . Lastly, the optimal response modes are recovered in line 9.
Compared to the RSVD- algorithm for resolvent analysis, two notable differences are present. In the extension of RSVD-, the response modes at various frequencies are merged prior to both the QR decomposition and the SVD steps. This deviation from the original algorithm is motivated by the nature of the problem that requires interactions between frequencies, unlike in resolvent analysis where the QR decomposition and SVD are performed separately for each individual frequency of interest. The second difference is the generation of LNS operators over time, whereas in resolvent analysis, the LNS operator remains constant throughout the integration.
If approaches machine precision singularity, it is necessary to project out the forcing along the direction before the DirectAction and along before the AdjointAction, as described in 3.2. Moreover, to mitigate numerical artifacts, it is advisable to project out the response along and after the DirectAction and AdjointAction, respectively.
5 Computational complexity
A brief comparison is conducted between memory requirements and CPU cost of the RSVD-LU and RSVD- algorithms. We also propose strategies to minimize the memory consumption. For more detailed information on the CPU and memory scaling of the LU decomposition of the resolvent operator, we refer readers to Farghadan et al. (2023). To offer empirical insights and confirmation of the theoretical scalings discussed below, we present a two-dimensional test case in 7.
5.1 Memory benefits of RSVD-
In the case of resolvent analysis, the memory scaling of the LU decomposition is empirically and for two- and three-dimensional systems, respectively (Towne et al., 2022; Farghadan et al., 2023). The memory scaling of LU decomposition is expected to be worse for the harmonic resolvent operator, as the lower- and upper-triangular matrices are denser. When is singular or nearly singular, the computational task becomes even more challenging, as discussed in Padovan et al. (2020).
On the other hand, the memory usage of RSVD- for harmonic resolvent analysis is contingent on the sizes of various matrices, specifically the sparse LNS operators , and the dense forcing matrix and response matrix , all of which are stored in Fourier space. The scaling for resolvent analysis is , and the sole extra space is for the storage of LNS operators.
One approach to generating LNS operators for all time points involves retaining coefficients in Fourier space and subsequently constructing once for all time steps within a period. However, this approach can be memory-intensive for large systems, especially when . An alternative strategy to reduce memory consumption is to create LNS operators on the fly, as shown in figure 2. As a result, no time-domain LNS operator is permanently stored in memory. Each LNS operator is created on-the-fly using the discrete Fourier transform (DFT) of Fourier coefficients,
(5.1) |
Typically, is very sparse, with , where represents the count of non-zero elements, resulting in an overall memory consumption of . The methods employed for generating LNS operators, both in the streaming and memory-intensive approaches, mirror those used for creating forcing terms in resolvent analysis, as elaborated in Farghadan et al. (2023). Additionally, the CPU cost of this procedure scales as or .
Streaming DFT is indeed effective in reducing memory consumption; nevertheless, additional memory savings can be specifically achieved for real-valued LNS operators. In many cases, is real-valued, i.e., confined to , yielding = , where denotes the complex conjugate. Hence, with suffices to construct as
(5.2) |
resulting in halving the number of Fourier coefficients of the LNS operator to . Here, represents the real part.
Another opportunity to reduce memory usage for real-valued LNS matrices arises from the symmetry between positive and negative frequencies. Rewriting (3.3) for yields
(5.3) |
and the complex conjugate version of (3.3) becomes
(5.4) |
Both equations (5.3) and (5.4) yield the same output for a given since , inducing the harmonic resolvent response and forcing modes containing and for , respectively. Hence, we only keep Fourier coefficients of the forcing and response modes, reducing memory consumption by half when storing these dense matrices.
5.2 CPU benefits of RSVD-
The computational cost of computing harmonic resolvent modes using RSVD-LU is predominantly determined by the LU decomposition of . In the case of resolvent analysis, the CPU scaling of the LU decomposition is and for two- and three-dimensional systems, respectively (Towne et al., 2022; Farghadan et al., 2023). When, in general, block matrix contains terms, and yields a denser matrix than block diagonal with a complex sparsity pattern, the scaling is expected to be or or worse.
The cost of using RSVD- is directly tied to the cost of computing the actions of and . In resolvent analysis, the total CPU cost is proportional to the state dimension . This cost can be broken down into three main components: time-stepping, e.g., Adams-Bashforth methods, which scales as when is sparse, creating forcing from Fourier space to the time domain, which scales as , taking the response from the time domain to Fourier space, which scales as . Among these components, the time-stepping part is the most significant contributor to the overall cost. The CPU cost of harmonic resolvent analysis can be assessed similarly to resolvent analysis, with one exception. For periodic flows, the LNS operator varies over time, whereas it remains constant for statistically stationary flows. We showed in 5.1 that the cost of creating LNS operators over time scales as for sparse matrices.
In summary, the CPU and memory costs of RSVD- exhibit linear scaling with respect to the state dimension , regardless of whether the base flow is steady or periodic. Moreover, the dominant terms in the CPU cost are independent of the number of retained frequencies . Both of these properties make the RSVD- algorithm considerably more scalable than RSVD-LU for harmonic resolvent analysis.
6 Minimizing the CPU cost of RSVD-
Similar to time stepping in the context of resolvent analysis, periodic systems may also experience a slow decay of transient response, which is undesirable, since we require the steady-state response in isolation to compute the action of the harmonic resolvent operator using time stepping. This phenomenon might be linked to instances when is near singularity. Regardless, in cases where the LNS equations are absolutely stable but exhibit slowly decaying modes, we propose a strategy that can effectively reduce the CPU cost of time stepping.
6.1 Stability analysis: Floquet theorem and transient response
The steady-state response of the LNS equations, subject to forcing as described in equation (3.1), is of interest for our analysis. In the case of a linear time-invariant system where is independent of time, the decay rate is controlled by the least-damped eigenvalue of . This decay rate can be estimated by integrating a homogeneous system over a sufficiently long period. However, for a linear time-periodic system, the decay rate is determined by the least-damped Floquet exponent.
Assuming is the fundamental solution of (3.1), the monodromy matrix is constructed as
(6.1) |
where is the period of the flow. When is referred to as the principal fundamental matrix, and the monodromy matrix simplifies to . In other words, we evaluate the principal fundamental matrix at the end of the first period. The eigenvalues of , known as Floquet multipliers , allow us to determine the Floquet exponents . The least-damped Floquet exponent has the smallest real part and it determines the decay rate of the transient response. If any mode is located in the unstable half-plane, i.e., , the system is globally unstable.
It is worth noting that the transient length remains independent of the steady-state period. This characteristic is particularly important as it ensures that the length of integration does not rely on , thereby avoiding potential deterioration in the performance of RSVD- for flows with low periodicity. In practice, both finding the principal fundamental matrix and determining the Floquet exponents can be computationally expensive, especially for large-scale systems. As with autonomous cases, it is possible to run a homogeneous simulation to analyze the long-term behavior of the transient response for periodic flows. This equivalence has been illustrated on a test case in 7.
If is singular but all other modes are stable, then the Floquet exponent with smallest real part will be zero with as the corresponding Floquet mode. This can be seen from (3.12), where the phase shift direction is a non-trivial solution of the homogenous system. Leclercq & Sipp (2023) have also shown that is associated with a zero Floquet exponent under the assumption that the base flow satisfies the Navier-Stokes equations as in (3.11).
6.2 Efficient transient removal
Our strategy leverages the periodic nature of the steady-state part and the linear evolution of the transient part of the solution to directly compute and eliminate the undesired transient portion. For a given pair of solutions and at times and , respectively, they can be expressed as a sum of their steady-state and transient components as
(6.2) | ||||
where and represent the transient part which decays to zero as and and denote the steady-state part which evolves periodically. The time distance between two snapshots is one period, hence
(6.3) |
Also, the evolution of the transient part can be expressed as
(6.4) |
where is the principal fundamental matrix of (3.1). Simplifying (6.2), (6.3), and (6.4) leads to
(6.5) |
where is known.
By obtaining from solving (6.5), the steady-state solution can be recovered as . The central challenge in removing the transient is the computational cost associated with solving the linear system in (6.5). Instead, we employ Petrov-Galerkin (or Galerkin) projection to obtain an approximate solution to (6.5) in a more cost-effective manner.
A low-dimensional representation of the transient part can be expressed as
(6.6) |
where is an orthonormal low-dimensional test basis with , and represents the coefficients describing the transient response in this basis. Substituting (6.6) into (6.5), the linear system
(6.7) |
is overdetermined. We use Petrov-Galerkin projection with a low-dimensional trial basis to close (6.7), yielding
(6.8) |
where
(6.9) |
is the map between coefficients. Solving (6.8) for is inexpensive due to its reduced dimension, and from (6.6) the transient estimate is obtained as
(6.10) |
The reduced operator is obtained by integrating the columns of for one period, giving , and then projecting against the columns of . This integration happens once and its CPU cost is equivalent to integrating the LNS equations for periods. The analogous process occurs for the adjoint equations.
How should the test and trial bases be selected? We have found a test basis spanning the least-damped modes to be effective. Rather than determining these modes through an exhaustive Floquet analysis, we employ a homogenous simulation as illustrated in the top row of the flowchart in figure 3. By initiating a sufficiently long simulation from a normalized random initial condition, the system asymptotically converges to the least-damped modes. The longer the integration length, the lower-dimensional the space becomes. As demonstrated in a test case in 7, the dimension of the test bases can, in some cases, be as small as a single column. Our test cases employ Galerkin projection with identical test and trial bases.
The obtained test basis effectively captures the transient response at a specific phase . Utilizing and performing Galerkin projection, we obtain . The time-stepping is then carried out for a sufficiently long duration to allow the initial transients to vanish before applying (6.8) to determine the transient at phase as shown in the middle row of the flowchart in figure 3. Once the steady-state response at the same phase is updated as , it is used as a new initial condition, which is synchronized with the forcing and will not excite a transient response (within the span of the bases used to construct ). Then, integration for one period is sufficient, and steady-state snapshots are collected as desired. The resulting steady-state snapshots are identical to those obtained by a prolonged wait in the case of natural decay, as illustrated in the bottom row of the flowchart in figure 3. This procedure is also applicable to the adjoint LNS equations. Given that the adjoint equations differ from the LNS equations, a new basis needs to be constructed for them. Implementing this strategy can reduce the integration length by a factor of 10 or more, depending on the desired accuracy.
7 Test cases
We assess the effectiveness of RSVD- in periodic systems using two test cases. First, we use a modified Ginzburg-Landau equation to validate the RSVD- algorithm and to illustrate the transient removal strategy. Second, we consider a periodic flow around an airfoil, similar to a test case from Padovan et al. (2020), to evaluate the accuracy and cost-savings of the RSVD- algorithm compared to RSVD-LU.
7.1 Periodically varying complex Ginzburg-Landau equation
The one-dimensional complex Ginzburg-Landau equations is a widely used model for understanding and controlling the non-modal growth of instabilities in transitional and turbulent shear flows (Chomaz et al., 1988; Hunt & Crighton, 1991; Bagheri et al., 2009; Chen & Rowley, 2011; Cavalieri et al., 2019). Here, a modified system is used as an inexpensive test case to validate our algorithm. The original complex Ginzburg-Landau system follows the form of (2.1) with
(7.1) |
Following Bagheri et al. (2009), we set and . This system is globally stable when (Bagheri et al., 2009). By substituting in place of , we transform the Ginzburg-Landau equations to a periodically varying system with fundamental frequency , following the form of (3.1). We set , , and ; the mean value of is equal to , whose value is close to the critical value to promote significant growth. The periodic linear operators are constructed using a central finite-difference method for with grid points, and we set on account of the uniform grid.
Nine operators are built within the interval , with , such that , before conducting a DFT to obtain . Figure 4(a) depicts the Frobenius norm of up to the fourth harmonic, normalized relative to the maximum norm. The spectrum reveals that only the mean and the first harmonic are active, as expected since oscillate at a single frequency. Accordingly, can be reconstructed at any given time using , and , and the harmonic resolvent operator is constructed around i.e., . Notably, the first harmonic’s norm is several orders of magnitude smaller than that of the base flow. Nonetheless, it should not be disregarded, as we will elucidate its significance in subsequent discussions.
An essential initial step involves ensuring the stability of . Typically, this is achieved by integrating the homogeneous system, i.e., integrating (3.1) with zero forcing, starting from a normalized random initial condition. However, the compact size of this system allows us to validate the time-stepping approach for computing the least-damped decaying mode against a Floquet stability analysis. The least-damped Floquet exponent, computed as , is expected to govern the decay rate of the transient response. Figure 4(b) displays the norm of snapshots of the homogeneous system response over time, along with a reference line representing . The natural decay rate aligns with the reference line, as expected, ensuring that the transient run will ultimately converge to the least-damped Floquet mode. Additionally, the system is not singular, as the transient dynamics never reach a naturally stable state, and none of the Floquet exponents have a zero real value.
Before proceeding to the computation of harmonic resolvent modes and gains using RSVD- and RSVD-LU, the transient removal strategy is demonstrated, and computing the actions of and are validated for a given random forcing containing , i.e., with . The responses have been computed up to the harmonic, i.e., , using both time stepping and directly in Fourier space as outlined in (3.7). We used a order Runge–Kutta (RK4) integration scheme and a time step of and for this purpose.
Figure 5(a) depicts the spectrum of response norms. In order to highlight the substantial difference in output generated by the harmonic resolvent operator around the base flow (), the norm of the responses for the same input forcing is also presented. Figure 5(b) displays the relative errors. The harmonic resolvent with produces inaccurate results across the entire spectrum and has zero response for since the modes at different frequencies are entirely decoupled. Therefore, neglecting is impractical, as mentioned earlier, and induces significant alterations in the harmonic resolvent modes and gains. On the other hand, the time-stepping output exhibits almost machine-precision accuracy within , and its accuracy diminishes as response norms decrease within . The validation of follows a similar procedure but is omitted here for brevity.
The transient norm decay rate, as shown in figure 4(b), follows . This indicates that approximately 40 periods are necessary for the transient norm to decay to 1%. However, we can significantly reduce this duration by employing our transient removal strategy. To begin, we precompute the test basis by conducting a sufficiently long homogeneous simulation, and we find that a single mode suffices. Next, we integrate the orthogonalized basis for one period to obtain and complete the preprocessing step.
Employing the same forcing as the validation case, we obtain the responses in time at the identical phase (initiated at or with a time interval of ), and compare them with the solutions after the removal of transients. Figure 6(a) presents the norm of the responses, which illustrates the effectiveness of our strategy commencing from the second period. This plot suggests that after two periods using our transient removal strategy with Galerkin projection, we obtain an accurate steady-state snapshot which can be used as the synchronized initial condition for the forced equations. Figure 6(b) demonstrates that the snapshots ultimately align perfectly with the updated snapshot. Hence, using our strategy, a total of three periods are required – two periods before transient removal and one period after the initial condition is obtained – to acquire all steady-state snapshots, a 10-fold speed-up compared to the natural decay. A similar observation was made regarding the adjoint equations. In brief, our strategy can significantly reduce computational costs, potentially by one or more orders of magnitude, depending on the desired level of accuracy.
Finally, RSVD- employing an RK4 integration scheme with and , is carried out along with our efficient transient removal strategy to compute the harmonic resolvent modes for and . To establish a reference, the harmonic resolvent modes are also computed using RSVD-LU with an equivalent number of test vectors and power iterations. Figure 7(a) illustrates that RSVD- computes the five leading gains identically to RSVD-LU. The gain relative error in figure 7(b) confirms that relative errors remain below across all modes. The inner products of response and forcing modes, computed via RSVD- and RSVD-LU, demonstrate parallel directions as the relative errors remain below across all modes. The inner-product error between two unit-norm vectors and is defined as
(7.2) |
7.2 Flow over an airfoil
Our second test case consists of the flow over a NACA0012 airfoil at a low Reynolds number of and a steep angle of attack of , which is dominated by periodic motions. This problem serves as a benchmark for computational cost and accuracy comparisons. A direct numerical simulation is conducted using the “CharLES” compressible flow solver. To mimic the incompressible simulations by Padovan et al. (2020), we set the Mach number to 0.05. The simulation employs a C-shaped mesh with a total of 62,000 cells. The leading edge of the airfoil is located at the origin , where is the chord length. The computational domain spans . A constant time step of is used, corresponding to a Courant-Friedrichs-Lewy number of 0.91, where is the inflow streamwise velocity. Integration continues for a sufficient duration until the flow reaches a periodic state. Figure 8(a) displays the power spectral density computed from the transverse velocity at , where a pronounced vortex shedding occurs behind the trailing edge. The shedding frequency is , where the Strouhal number is defined as . The consistency between the dominant frequency identified in the power spectral density and obtained from our linearized code has been confirmed in our previous work (Jung et al., 2023).
The linearized operators are constructed at 100 time points within . Performing a DFT on the , we generate 100 LNS operators in Fourier space to be used for harmonic resolvent analysis. The Frobenius norms , depicted in figure 8, indicate that can be accurately reconstructed using up to the 5 harmonic. Given that the linearized operator is real-valued for this problem, we retained only coefficients, i.e., the zeroth and 5 positive harmonics. For time stepping, is chosen to ensure the stability and accuracy of the RK4 integration scheme. The input and output perturbation frequency range spans up to the harmonic, i.e., . The domain of interest is , identical to that in Padovan et al. (2020). We seek optimal forcing and response under the Chu energy norm (Chu, 1965), which has been used in several previous studies (Towne et al., 2018; Schmidt et al., 2018; Heidt & Colonius, 2023).
A homogeneous simulation of the time-periodic system exhibits a slow decay rate, so we employ the transient removal strategy. Three snapshots constitute the test basis, obtained after a sufficiently long time interval where most initial transients are eliminated. A random forcing, encompassing the set frequencies, is applied to the LNS equations for over 30 periods. The snapshot norms slowly approach towards the steady-state norm but remain far from converging, as illustrated in figure 9. Utilizing our strategy, the relative norm error falls below the 1% threshold after 20-30 periods in most cases with different random forcings. The efficacy of our strategy is further emphasized in figure 9(b), where the 1% relative error is achieved before 10 periods for the optimal forcing (from RSVD- output). Ultimately, we set and conducted our simulations for a total duration of 30 periods to compute the actions of and . Extrapolating the natural decay rate suggests that, in the absence of our transient-removal strategy, the norms reach the 1% threshold after around 2000 periods, demonstrating over a 60-fold acceleration in time stepping and overall algorithm performance with our strategy. This observation holds true for the adjoint equations as well.
The number of test vectors is set to , and power iteration proves sufficient for the convergence of both gains and modes. The suboptimal forcing and response modes are shown in figure 10. The results from RSVD- closely align with the existing data obtained from RSVD-LU by Padovan et al. (2020), despite variations in the CFD solver, boundary conditions, domain setup, and energy norm. The gain plot in figure 11(a) exhibits a similar pattern to Padovan et al. (2020), with the exception that we have retained the optimal gain associated with the phase shift (the exact values differ due to differences in the problem setup). We noted that the leading mode and gain, i.e., the mode associated with the phase shift, converged without power iterations due to a substantial two-orders-of-magnitude gap between the optimal and suboptimal gains.
From a computational standpoint, a fair comparison between the RSVD-LU and RSVD- algorithms is feasible when both utilize the same parameters. However, the use of proves to be excessively memory-intensive for the RSVD-LU algorithm, exceeding the available 3.5 TB of memory on our cluster. The CPU and memory scaling plots in figure 11(b) and (c), respectively, depict the LU decomposition of with , maintaining a constant while varying the number of blocks from 5 to 15 with . On the same plots, we present the cost of computing the action of on a vector using time-stepping. The total duration is set to 30 periods to obtain an accurate solution. We only vary while keeping , the overall cost of RSVD- remains constant and unaffected by changes in . This implies that the creation of LNS operators and the time-stepping process incur significantly higher costs compared to the transformations between Fourier space and the time domain for forcing and response. The memory of RSVD- to store LNS operators remains independent of , as expected (see 5.1), while storing and matrices grows linearly with number of frequencies .
RSVD-LU is estimated to require 1543 CPU-hours for the LU decomposition of , and an additional 15 CPU-hours for solving the LU-decomposed system for each test vector, yielding a total cost of CPU-hours for . On the other hand, employing RSVD- with the aforementioned time-stepping parameters and and incurs a cost of approximately 7 CPU-hours per period for a test vector, resulting in a total cost of CPU-hours. The cost of QR decomposition and the final SVD are ignored as they are orders of magnitude faster. In terms of memory consumption, RSVD-LU peaks at for the LU decomposition of . RSVD- , on the other hand, stores sparse matrices, each of size 0.4 GB, and three dense matrices of size , totaling . This translates to a memory saving of approximately three orders of magnitude, even with an unbalanced number of base frequencies. Overcoming the memory consumption hurdle, which is typically the limiting factor in practice, RSVD- emerges as a viable tool for analyzing larger-scale flows compared to RSVD-LU.
8 Conclusions
This paper presents an extension of the RSVD- algorithm that was originally developed for resolvent analysis of steady base flows to handle harmonic resolvent analysis of periodic flows. Specifically, we demonstrate that the time stepping technique employed within RSVD- can effectively replace the actions of and its complex conjugate in Fourier space. In terms of CPU cost, the RSVD- algorithm exhibits a scaling of for both resolvent and harmonic resolvent analyses. This offers a significant advantage, considering that the LU decomposition of scales as with . Regarding memory usage, our algorithm only stores relevant matrices in Fourier space and exhibits scaling; in contrast, the memory peak of LU decomposition of empirically scales with or worse. One difference between applying RSVD- to resolvent and harmonic resolvent analyses lies in the necessity to update the LNS operators during the time-stepping process for the latter. These operators are efficiently generated on the fly from their Fourier components.
The error sources in our algorithm align with those in resolvent analysis, extensively investigated in Farghadan et al. (2023). A unique contribution of this paper is the introduction of a novel transient removal strategy for harmonic resolvent analysis. While reminiscent of our approach for resolvent operators, the challenge in harmonic resolvent analysis lies in the intertwining of all retained frequencies. Our strategy takes advantage of the differing evolution of the steady-state and transient components of the response and Petrov-Galrkin or Galerkin projections.
A validation of RSVD- against RSVD-LU is conducted using a periodic Ginzburg-Landau system. Additionally, we verify the governing role of the Floquet exponent in determining the decay rate of the least-damped mode of the system. Extending the application of our algorithm, we analyze a two-dimensional flow passing an airfoil, providing insights into the CPU and memory complexities. Despite dealing with a mid-sized flow scenario, a substantial memory gap persists between RSVD-LU and RSVD- algorithms. The computed forcing and response modes corresponding to the first suboptimal gain closely resemble those obtained by Padovan et al. (2020). The adaptation of the transient removal strategy for these test cases significantly enhanced the performance of RSVD-, resulting in 10-fold speed-up for the Ginzburg-Landau problem and 60-fold speed-up for the airfoil to reach a 1% relative error. The speed-up is even greater for lower error tolerances.
Moreover, our algorithm exhibits versatility, accommodating non-identity weight, input, and output matrices. This capability extends to computing modes for the modified harmonic resolvent operator, and in particular, the analysis of cross-frequency amplification mechanisms via . Our algorithm tackles the computation of subharmonic resolvent modes if desired. Implementation of the RSVD- algorithm within Petsc (Balay et al., 2019) and Slepc (Hernandez et al., 2005) environments leverage parallel computations for enhanced efficiency. Our time-stepping approach allows for a matrix-free application. This can be implemented using any code equipped with linear direct and adjoint capabilities, bypassing the explicit formation of (de Pando et al., 2012; Martini et al., 2021). Finally, the time-stepping within our algorithm can also be used along with other SVD algorithms, e.g., Arnoldi and power iteration, if desired.
In turbulent flows, where the state dimension can become very large due to higher resolution requirements, CPU cost and memory requirements can swiftly impose constraints on the applicability of RSVD-LU. This limitation applies even to steady problems and is further exacerbated for harmonic resolvent analysis due to the inflated frequency-domain operators necessitated by triadic frequency coupling. Our algorithm circumvents this issue by strategically operating in the time domain, avoiding the need for limiting operations like LU decomposition, leading to linear cost scaling. Because of this key distinction, the RSVD- could enable harmonic resolvent analysis of previous intractable turbulent flows.
Acknowledgements
This work was funded in part by Air Force Office of Scientific Research (AFOSR) grant no. FA9550-20-1-0214 and by a Catalyst Grant from the Michigan Institute for Computational Discovery and Engineering (MICDE). We acknowledge the University of Michigan’s Great Lakes cluster for providing the essential computational resources to conduct all the simulations in this study.
Appendix A RSVD- for the subharmonic resolvent operator
In 3.5, we provided an overview of subharmonic resolvent analysis. In this appendix, we briefly outline the application of RSVD- in computing subharmonic resolvent modes and gains. Consider the frequency of interest as . This set specifies the perturbation frequency, while the base flow frequency content is confined to .
To compute the actions of and using time-stepping, we must adhere to both the base flow frequency, enforcing a duration of , and the perturbation frequency, enforcing a duration of , in order to obtain steady-state solutions to (3.1). Thus, we need to integrate for such that and , during which equidistant snapshots are saved. For instance, if we consider , requiring , integrating for is sufficient to obtain the steady-state solutions. All the other steps remain the same as introduced in Algorithm 1.
References
- Bagheri et al. (2009) Bagheri, S., Henningson, D. S., Hoepffner, J. & Schmid, P. J. 2009 Input-output analysis and control design applied to a linear model of spatially developing flows. Applied Mechanics Reviews 62 (2).
- Balay et al. (2019) Balay, S., Abhyankar, S., Adams, M., Brown, J., Brune, P., Buschelman, K., Dalcin, L., Dener, A., Eijkhout, V., Gropp, W. & others 2019 PETSc users manual. Argonne National Laboratory.
- Cavalieri et al. (2019) Cavalieri, A. V. G., Jordan, P. & Lesshafft, L. 2019 Wave-packet models for jet dynamics and sound radiation. Applied Mechanics Reviews 71 (2).
- Chen & Rowley (2011) Chen, K. K. & Rowley, C. W. 2011 H2 optimal actuator and sensor placement in the linearised complex Ginzburg–Landau system. Journal of Fluid Mechanics 681, 241–260.
- Chomaz et al. (1988) Chomaz, J. M., Huerre, P. & Redekopp, L. G. 1988 Bifurcations to local and global modes in spatially developing flows. Physical Review Letters 60 (1), 25.
- Chu (1965) Chu, B.-T. 1965 On the energy transfer to small disturbances in fluid flow (part i). Acta Mechanica 1 (3), 215–234.
- Dawson & McKeon (2019) Dawson, S. T. M. & McKeon, B. J. 2019 On the shape of resolvent modes in wall-bounded turbulence. Journal of Fluid Mechanics 877, 682–716.
- Farghadan & Arzani (2019) Farghadan, A. & Arzani, A. 2019 The combined effect of wall shear stress topology and magnitude on cardiovascular mass transport. International Journal of Heat and Mass Transfer 131, 252–260.
- Farghadan et al. (2023) Farghadan, A., Martini, E. & Towne, A. 2023 Scalable resolvent analysis for three-dimensional flows. arXiv preprint arXiv:2309.04617 .
- Franceschini et al. (2022) Franceschini, L., Sipp, D., Marquet, O., Moulin, J. & Dandois, J. 2022 Identification and reconstruction of high-frequency fluctuations evolving on a low-frequency periodic limit cycle: application to turbulent cylinder flow. Journal of Fluid Mechanics 942, A28.
- Giannenas et al. (2022) Giannenas, A. E., Laizet, S. & Rigas, G. 2022 Harmonic forcing of a laminar bluff body wake with rear pitching flaps. Journal of Fluid Mechanics 945, A5.
- Halko et al. (2011) Halko, N., Martinsson, P. & Tropp, J. A. 2011 Finding structure with randomness: Probabilistic algorithms for constructing approximate matrix decompositions. SIAM Review 53 (2), 217–288.
- Heidt & Colonius (2023) Heidt, L. & Colonius, T. 2023 Spectral proper orthogonal decomposition of harmonically forced turbulent flows. arXiv preprint arXiv:2305.05628 .
- Hernandez et al. (2005) Hernandez, V., Roman, J. E. & Vidal, V. 2005 Slepc: A scalable and flexible toolkit for the solution of eigenvalue problems. ACM Transactions on Mathematical Software (TOMS) 31 (3), 351–362.
- Hunt & Crighton (1991) Hunt, R. E. & Crighton, D. G. 1991 Instability of flows in spatially developing media. Proceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences 435 (1893), 109–128.
- Jung et al. (2023) Jung, J., Bhagwat, R. & Towne, A. 2023 Resolvent-based estimation of laminar flow around an airfoil. AIAA Paper 2023-0077 .
- Leclercq & Sipp (2023) Leclercq, C. & Sipp, D. 2023 Mean resolvent operator of a statistically steady flow. Journal of Fluid Mechanics 968, A13.
- Lin et al. (2023) Lin, C.-T., Tsai, M.-L. & Tsai, H.-C. 2023 Flow control of a plunging cylinder based on resolvent analysis. Journal of Fluid Mechanics 967, A41.
- Martini et al. (2021) Martini, E., Rodríguez, D., Towne, A. & Cavalieri, A. V. G. 2021 Efficient computation of global resolvent modes. Journal of Fluid Mechanics 919.
- McKeon & Sharma (2010) McKeon, B. J. & Sharma, A. S. 2010 A critical-layer framework for turbulent pipe flow. Journal of Fluid Mechanics 658, 336–382.
- Moarref et al. (2013) Moarref, R., Sharma, A. S., Tropp, J. A. & McKeon, B. J. 2013 Model-based scaling of the streamwise energy density in high-Reynolds-number turbulent channels. Journal of Fluid Mechanics 734, 275–316.
- Monokrousos et al. (2010) Monokrousos, A., Åkervik, E., Brandt, L. & Henningson, D. S. 2010 Global three-dimensional optimal disturbances in the blasius boundary-layer flow using time-steppers. Journal of Fluid Mechanics 650, 181–214.
- Nyquist (1928) Nyquist, H. 1928 Certain topics in telegraph transmission theory. Transactions of the American Institute of Electrical Engineers 47 (2), 617–644.
- Padovan et al. (2020) Padovan, A., Otto, S. E. & Rowley, C. W. 2020 Analysis of amplification mechanisms and cross-frequency interactions in nonlinear flows via the harmonic resolvent. Journal of Fluid Mechanics 900.
- Padovan & Rowley (2022) Padovan, A. & Rowley, C. W. 2022 Analysis of the dynamics of subharmonic flow structures via the harmonic resolvent: Application to vortex pairing in an axisymmetric jet. Physical Review Fluids 7 (7), 073903.
- de Pando et al. (2012) de Pando, M. F., Sipp, D. & Schmid, P. J. 2012 Efficient evaluation of the direct and adjoint linearized dynamics from compressible flow solvers. Journal of Computational Physics 231 (23), 7739–7755.
- Pickering et al. (2021) Pickering, E., Towne, A., Jordan, P. & Colonius, T. 2021 Resolvent-based modeling of turbulent jet noise. The Journal of the Acoustical Society of America 150 (4), 2421–2433.
- Ribeiro et al. (2020) Ribeiro, J. H. M., Yeh, C.-A. & Taira, K. 2020 Randomized resolvent analysis. Physical Review Fluids 5 (3), 033902.
- Schmidt et al. (2018) Schmidt, O. T., Towne, A., Rigas, G., Colonius, T. & Brès, G. A. 2018 Spectral analysis of jet turbulence. Journal of Fluid Mechanics 855, 953–982.
- Sipp & Marquet (2013) Sipp, D. & Marquet, O. 2013 Characterization of noise amplifiers with global singular modes: the case of the leading-edge flat-plate boundary layer. Theoretical and Computational Fluid Dynamics 27 (5), 617–635.
- Taira et al. (2017) Taira, K., Brunton, S. L., Dawson, S. T. M., Rowley, C. W., Colonius, T., McKeon, B. J., Schmidt, O. T., Gordeyev, S., Theofilis, V. & Ukeiley, L. S. 2017 Modal analysis of fluid flows: An overview. AIAA Journal 55 (12), 4013–4041.
- Towne et al. (2022) Towne, A., Rigas, G., Kamal, O., Pickering, E. & Colonius, T. 2022 Efficient global resolvent analysis via the one-way Navier-Stokes equations. Journal of Fluid Mechanics 948, A9.
- Towne et al. (2018) Towne, A., Schmidt, O. T. & Colonius, T. 2018 Spectral proper orthogonal decomposition and its relationship to dynamic mode decomposition and resolvent analysis. Journal of Fluid Mechanics 847, 821–867.
- Troy & Koseff (2005) Troy, C. D. & Koseff, J. R. 2005 The instability and breaking of long internal waves. Journal of Fluid Mechanics 543, 107–136.
- Wereley (1990) Wereley, N. M. 1990 Analysis and control of linear periodically time varying systems. PhD thesis, Massachusetts Institute of Technology.