`Mathematical Problems in EngineeringVolume 2010, Article ID 209780, 22 pageshttp://dx.doi.org/10.1155/2010/209780`
Research Article

## Shape Sensitivity Analysis in Flow Models Using a Finite-Difference Approach

1Interdisciplinary Center for Applied Mathematics, Virginia Tech, Blacksburg, VA 24061, USA
2Industrial Materials Institute, National Research Council, Boucherville, Qc, J4B6Y4, Canada

Received 8 September 2009; Accepted 25 November 2009

Copyright © 2010 Imran Akhtar et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

Reduced-order models have a number of practical engineering applications for unsteady flows that require either low-dimensional approximations for analysis and control or repeated simulation over a range of parameter values. The standard method for building reduced-order models uses the proper orthogonal decomposition (POD) and Galerkin projection. However, this standard method may be inaccurate when used “off-design” (at parameter values not used to generate the POD). This phenomena is exaggerated when parameter values describe the shape of the flow domain since slight changes in shape can have a significant influence on the flow field. In this paper, we investigate the use of POD sensitivity vectors to improve the accuracy and dynamical system properties of the reduced-order models to problems with shape parameters. To carry out this study, we consider flows past an elliptic cylinder with varying thickness ratios. Shape sensitivities (derivatives of flow variables with respect to thickness ratio) computed by finite-difference approximations are used to compute the POD sensitivity vectors. Numerical studies test the accuracy of the new bases to represent flow solutions over a range of parameter values.

#### 1. Introduction

Reduced-order modeling of incompressible flows plays an important role in academic and industrial research. In order to reduce the complexity of the governing equation, reduced-order models are often developed to represent the dynamical system with a few degrees of freedom. These models can provide analytical insight into the physical phenomena and enable application of dynamical systems theory and control methods.

Since Roshko  measured the vortex shedding period behind a bluff body, many researchers have investigated this phenomenon experimentally and numerically for a wide range of Reynolds numbers. The most frequently investigated bluff geometry is the circular cylinder. The flow behind a circular cylinder has become the canonical problem for studying such external separated flows . Bishop and Hassan  were among the first to suggest a phenomenological model reduction by proposing Rayleigh/van der Pol self-excited oscillators to represent the forces over a cylinder due to vortex shedding. Several other analytical models have also been proposed along similar lines for stationary or moving cylinders .

On the other hand, engineering applications often involve flows over complex bodies, such as wings, submarines, missiles, and rotor blades, which can hardly be modeled as a circular cylinder. It would however be interesting to broaden the application of reduced-order models to other complex geometries. A systematic approach would be to start by studying a configuration that is more general than a circular cylinder and can characterize typical engineering flow configurations. Elliptic cylinders seem to provide such a configuration and changes in the eccentricity allow for shapes ranging from a circular cylinder to a flat plate. By tuning the damping coefficients, self-excited oscillator models  can be extended to elliptic cylinders.

In some cases, the reduced-order models represent the space variation with a limited number of basis functions, while still capturing the physics and dominant features of the flow. Most widely used reduced-order model techniques in fluid dynamics are derived from the proper orthogonal decomposition- (POD-) Galerkin projection approach [15, 16]. The POD provides a tool to formulate an optimal basis (or modes) to represent given trajectories of a dynamical system. The most common approach is to compute a “representative” collection of states of the system (commonly referred to as snapshots) through numerical simulations or experiments, then use the POD to find a low-dimensional set of basis functions [16, 17]. The POD processes time snapshot data to find the best basis functions on which to represent this data. Later, a low-dimensional dynamical system is typically obtained by Galerkin projection. These models give insight to the flow physics, often reproduce the data, and may be used for control purposes. POD-based reduced-order models have been successfully applied to model vortex shedding past a cylinder . In fact, the flow past a cylinder has become a benchmark problem for reduced-order modeling.

Despite the accurate reproduction of the data from which it is originated, the POD-based reduced-order model lacks robustness away from the reference simulations. This is a serious limitation of the POD-based reduced-order models since most applications use reduced-order models in a predictive setting. In , the authors noted that the accuracy of the model predictions rapidly deteriorates as we move away from the decomposition value. Thus, the POD basis generated from an experiment or a numerical simulation is only useful within a narrow bandwidth of parameters close to that reference. In addition to the accuracy of the model away from the reference, numerical stability of these models for long-time integration is also an issue [23, 2530].

Various methods have been proposed to extend the applicability and increase the accuracy of POD-based reduced-order models away from the reference data. Ma and Karniadakis  investigated the stability and dynamics of three-dimensional limit-cycle states near the Mode A  instability for flow past a cylinder using a low-dimensional modeling. They employed two procedures to construct this hybrid system, either by concatenating the two sets of snapshots at and or by extracting the POD modes at each state and orthonormalizing the entire set. They concluded that reference data must contain sufficient information about the flow field to predict any qualitative change within that flow regime. Noack et al.  suggested a generalization for POD-based Galerkin models to include the transient behavior. In their Galerkin approximation, they included an additional vector and termed it a shift-mode (also known as a centering trajectory of a mean-field correction). They obtained the steady solution with a Newton iteration, employing the discretized steady Navier-Stokes equations. The shift mode represents the shift of the short term averaged flow away from the POD space and is effectively a normalized mean-field correction. Within the control setting of POD-based reduced-order models, a similar strategy is required in cylinder wake problems to make the control effective.

In the application of reduced-order models to optimal control, one desires a model that is accurate over a wide range of actuation data. In a recent study, Graham et al.  used reduced-order models to develop optimal control strategies for flow past a circular cylinder at through cylinder rotation. When the POD modes were generated from the snapshots at a given oscillation frequency, the active control model only worked near that particular frequency. Therefore, they incorporated multiple frequency information in their snapshot data set using a varying frequency sinusoid, or chirp. With this approach, one may require a large parametric data set as the reference data to broaden the applicability of POD-based reduced-order models over a wide range of parameter values.

In our previous work , we proposed the inclusion of parametric derivatives of the POD basis functions (computed using sensitivity analysis). The study considered two approaches for using the POD derivatives to define a reduced basis. One approach used linear extrapolation of the standard POD basis to the parameter value of interest (extrapolated basis). A second approach combined with the POD and POD derivatives to construct the basis (expanded basis). Both approaches provided promising results in the study of flow past a square cylinder where the viscosity (equivalently, the Reynolds number) was varied from the reference value.

A follow-up study  considered the development of reduced-order models for flows where the parameter described the orientation of the square cylinder relative to the free-stream flow direction. We demonstrated our shape sensitivity analysis approach by rotating the square cylinder. This problem also featured a “hidden” parametric dependence on the Reynolds number as the characteristic length scale changes with the orientation of the square cylinder to the mean-stream flow.

In this study, we use a similar basis improvement methodology. However, we consider modeling the flow as the obstacle is changed from a circular cylinder to an elliptic cylinder. The shape parameter is chosen as the thickness ratio () between the minor axis to the major axis. It is important to note that the Reynolds number is defined using the projected area of the cylinder, as seen by the flow, and is kept constant in our analysis. Moreover, we use finite differences to compute the shape sensitivity as the ellipse parameter is varied. We employ an O-grid for the cylinders such that the outer domain is circular in all cases. Since the outer domains of both the circular and elliptic cylinders are the same, the shape sensitivity approaches to zero as it moves away from the body. In this regard, the finite-difference-based methodology provides a quick and easier way to compute the shape sensitivity and extend the application of POD basis to actual shape deformation. This study can find its application in the aerospace industry where the wing cross-section changes its actual shape, such as a morphing wing. This study also provides a validation to the basis selection approach used by Ma and Karniadakis . In their study, they built a POD basis using two simulations with similar parameters. Their approach produces a similar basis as we would obtain with our expanded approach.

The paper is organized as follows. Section 2 explains the numerical methodology to solve the Navier-Stokes equations and simulate the flow past circular and elliptic cylinders. In Section 3, we present the POD-based reduced-order model procedure after collecting the snapshots of the flow field. In Section 4 we present the sensitivity analysis procedure and numerical results are discussed in Section 5.

#### 2. Numerical Methodology

The Navier-Stokes and continuity equations are the governing equations for the present problem. For incompressible flow, they can be represented as follows:

where for two-dimensional flows; the represent the Cartesian velocity components (,); is the pressure; is the fluid density; is the fluid viscosity.

We employ curvilinear coordinates in an Eulerian reference frame; a planar view is shown in Figure 1(a). Here, and indicate the Cartesian coordinates, and represent a curvilinear coordinate system, and and are the major and minor axes, respectively. The thickness ratio of the ellipse is given by and is the parameter used in our parametric modeling study.

Figure 1: (a) Geometry of an elliptic cylinder and (b) “O” grid distributed among 8 processors in the direction for .

The Navier-Stokes equations are written in curvilinear coordinates and strong conservation form as follows:

where the flux is defined as

where is the inverse of the Jacobian or the volume of the cell, is the volume flux (contravariant velocity multiplied by ) normal to the surface of constant , and is the “mesh skewness tensor.” Equations (2.3) and (2.4) are nondimensionalized using the projected area of the ellipse as the length scale and the freestream velocity () as the velocity scale. Thus, the Reynolds number is given by , where . All of these parameters remain fixed in our computations.

In this study, a body conformal O-type grid is employed to simulate the flow over a body as shown in Figure 1(b). The grid is decomposed into different processors to achieve parallel performance. A non-staggered-grid layout is employed to solve the transformed Navier-Stokes equations. The Cartesian velocity components () and pressure () are defined at the center of the control volume in the computational space, and the volume fluxes () are defined at the mid points of control volume. All of the spatial derivatives are approximated with second-order accurate central differences except for the convective terms. Using the same central differencing for the convection terms may lead to spurious oscillations in the coarser regions of the grid, thereby leading to erroneous results. In the present formulation, we discretize the convective terms using a variation of QUICK ; that is, we calculate the face values of the velocity variables () from the nodal values using quadratic upwinding interpolation. The upwinding of QUICK is carried out by computing the positive and negative volume fluxes and , respectively, and using the generic stencil.

A semi-implicit scheme is employed to advance the solution in time. The diagonal viscous terms are advanced implicitly using the second-order accurate Crank-Nicolson method; whereas all of the other terms are advanced using the second-order accurate Adams-Bashforth method. In the present formulation, we apply a fractional-step method to advance the solution in time. The fractional-step method splits the momentum equation into

(a)an advection-diffusion equation—the momentum equation solved without the pressure term,(b)a pressure Poisson equation—constructed by implicit coupling between the continuity equation and the pressure in the momentum equation, thus satisfying the constraint of mass conservation.

The governing equations are solved using a methodology similar to that employed by Zang et al. . However, the algorithm is extended to parallel computing platforms and the 1D domain decomposition technique (for two-dimensional flows) is employed to distribute the problem among different processors. Details of discretization, parallel implementation, validation, and verification can be found in .

The CFD results for the numerical methodology have been validated for three-dimensional  and two-dimensional  flows by comparing them with published experimental and numerical studies. We have also performed grid and domain dependence studies to verify the numerical results for circular and elliptic cylinders .

#### 3. POD-Galerkin Reduced-Order Model

##### 3.1. The Proper Orthogonal Decomposition

Mathematically, we compute for which the following quantity is maximum: where denotes either an ensemble or a time average. Applying variational calculus, one can show that (3.1) is equivalent to a Fredholm integral eigenvalue problem represented as where are the number of velocity components and is the two-point spatial autocorrelation tensor.

In the classical POD or direct method, originally introduced by Bakewell and Lumley , is a two-point spatial-correlation tensor and the eigenfunctions are the POD modes. In this approach, the averaging operator is performed in time. On the other hand, if the averaging operator is evaluated as a spatial average over the domain of interest, the method is known as the method of snapshots . In this approach, we formulate a temporal-correlation function from the snapshots and transform it into an eigenvalue problem as follows:

where represents the inner product between and . The POD modes are then computed by solving the eigenvalue problem

where and are the eigenvectors and eigenvalues, respectively. Since is nonnegative Hermitian, is orthogonal by definition. The POD modes are computed as follows:

An important characteristic of these modes is orthogonality; that is, , where is the kronecker delta. The optimality of the POD modes lies in capturing the greatest possible fraction of the total kinetic energy for a projection onto the given set of modes.

The flow data or snapshots of the steady-state velocity field are sampled with a constant time interval (). The velocity field data () are assembled in a matrix as follows:

Each column represents one time instant or a snapshot and is the total number of snapshots for N grid points in the domain. The vorticity field can also be used for POD; however, in the case of the velocity field, the eigenvalues of are a direct measure of the kinetic energy in each mode. Deane et al.  observed that 20 snapshots are sufficient for the construction of the first eight eigenfunctions at . In general, numerical studies  suggest that the first M POD modes, where is even, resolve the first temporal harmonics and require number of snapshots for convergence.

We write the velocity field as the sum of the mean flow () and the velocity fluctuations (). The mean flow , where is the time average of the assembled data, is subtracted from . Then, the fluctuations are expanded in terms of the POD eigenfunctions as follows:

where is the number of POD modes used in the projection. The singular value decomposition (SVD) of this matrix provides the divergence-free velocity POD modes ().

##### 3.2. Galerkin Projection

Substituting (3.7) in (2.4) and projecting this equation along the elements of the -dimensional POD basis give

where

In (3.8), is an vector resulting from the average flow field, is an matrix corresponding to the linear part, and is a tensor that represents the quadratic nonlinearity of the dynamical system. From linear stability analysis, we can compute the eigenvalues of and hence ascertain the stability of the trivial solution. Details of the projection for each term are provided in the appendix.

##### 3.3. Numerical Simulations and Reduced-Order Model

We perform numerical simulations of the flows past elliptic cylinders with thickness ratios ranging from to . The flow is simulated over a () grid with an outer domain size of . In the present case, the grid is divided into eight domains/processors, such that each processor has a load of grid points, as shown in Figure 1(b). All simulations are performed at . It is important to note that the Reynolds number is defined with the characteristic length of and freestream velocity . The projected area of the ellipse, as seen by the flow, is fixed for all values of . Thus, the nondimensionalization is fixed for all shape variations.

We develop the reduced-order model for the flow past a circular cylinder (as an example) and use a similar procedure for the model reduction of the flow past elliptic cylinders with different thickness ratios. In the current study, we took 64 snapshots of the flow field over one vortex shedding cycle of the circular cylinder. The flow data or snapshots of the velocity and pressure fields are sampled in the steady-state of the dynamical system with a constant time interval (). The velocity field () is stored in after subtracting the mean flow. We compute the POD modes from respective snapshot data. In Figure 2, we plot the first six POD modes of u-velocity for the circular cylinder (). Projecting the Navier-Stokes equations onto these modes, we develop a reduced-order model and compute , and as given in (3.8). We integrate (3.8) to compute the and plot them in Figure 4. The results we obtained from the reduced-order model match well with the CFD numerical results found in .

#### 4. Sensitivity Analysis

In this section, we derive the first-order total derivatives of the POD modes with respect to a generic shape parameter . We refer to these as the Lagrangian sensitivities of the POD vectors. In our previous study , we presented POD sensitivities with respect to a flow parameter, such as the fluid viscosity and the geometry of the structure was fixed. In other words, the sensitivities were computed using the same domain and no grid deformation was required. In this study, the flow domain changes and this leads to a corresponding change in the grid with the elliptic parameter . It is important to note that the outer domain of for all the cases is fixed with radius .

The sensitivities with respect to the shape parameter (for our case) are computed by a second-order centered finite-difference (FD) approximation

where is the parameter value at which the sensitivities are computed and is the step size in the finite-difference scheme. The notation represents the total derivative with respect to . The parameter increment is chosen sufficiently small for the FD computation to be accurate and sufficiently large for the difference between the two nearby POD vectors to be at least one order of magnitude larger than the discretization error. It is also important to note that since the outer domain is the same for all elliptic cylinders and the flow is nearly freestream, these sensitivities become smaller as we move away from the cylinder and approach zero close to the outer domain of the cylinder.

The traditional approach in reduced-order modeling is to build the POD basis for one particular value of the parameter of the system. This will be referred to as the baseline approach and denoted by , which refers to the baseline state, solution, and POD basis. We aim at producing reduced-order solutions at perturbed states for . As in our previous study , we define various basis elements used in our analysis.

(i)Baseline POD Basis (BL). This is the classical approach where the POD basis, built from the data at the baseline value , is used in (3.7) to subsequently produce a reduced-order model at the perturbed value . These spatial modes are only available on the baseline geometry but they can easily be mapped onto the perturbed geometry.(ii)Perturbed POD Basis (PR). The reduced-order model is constructed using the POD modes extracted from the solution data obtained by a full-order simulation at the perturbed value . This is a costly approach since each new reduced-order simulation requires a full-order data at the perturbed parameter value. Thus, it has little interest in practice but will be used in the remainder of this study as the benchmark low-dimensional solution.

Following the previous studies for flow parameters in  and shape parameters in , we examine two different ideas for constructing improved reduced-order bases using the POD modes as well as the Lagrangian sensitivity of the POD modes at the baseline value .

(i)Extrapolated Basis (ET). We treat each POD mode as a function of both space and parameter : . A change in the parameter from its baseline value is reflected in the modes through a first-order expansion in the parameter space: The effectiveness of this approach clearly depends on whether or not the POD modes exhibit a (nearly) linear dependence with respect to the parameter . However, the dimension of the reduced basis is preserved and the reduced approximation of the flow variables still uses (3.7). Once again, the spatial functions and are only available on the baseline geometry but they can be mapped on the perturbed geometry in a straight forward manner.(ii)Expanded Basis (EP). The sensitivities of the modes can be shown to span a different subspace than the POD modes (see, e.g., ). Thus, it is natural to expect that if the approximated solution is selected in the union of the two subspaces generated by the POD modes and their sensitivities, a broader class of solutions can be represented. The expanded basis consists of the first eigenfunctions with their sensitivities: . The underlying assumption behind this approach is that the subspace spanned by the mode sensitivities is well suited to address the change in the solutions induced by a change in the parameter. However, the dimension of the reduced basis has doubled and the reduced approximation of the flow variables is now expressed as

#### 5. Numerical Results and Discussion

In the current study, we numerically simulate the flow past elliptic cylinders with varying thickness ratios ranging from to . In terms of the flow field, the projected area of the cylinder, as seen by the flow, is kept constant (i.e., ). In other words, the width of the wake is relatively constant for all the elliptic cylinders. In Figure 3, we plot instantaneous spanwise vorticity contours for various elliptic cylinders. It is interesting to note that as the eccentricity decreases (), the vortex shedding pattern is no longer a von Karman vortex street as observed behind a circular cylinder. We observe different phenomena as the vortex shedding transitions to steady and unsteady secondary shedding. This pattern is the manifestation of bifurcations in the flow as geometry of the cylinder is varied. However, as increases (), the elliptic cylinder is transformed towards an elliptic foil. We still observe von Karman vortex street in the wake; however, the shedding period changes with . The periodic nature of these von Karman vortex flows leads to a better approximation by reduced-order models (as the basis only needs to accurately predict the first period). Based on this observation, we can predict that the sensitivity analysis would tend to show better results for increasing rather than decreasing .

Figure 4: The velocity coefficients at .

From a reduced-order modeling point of view, variation in any geometric parameter would require a new set of flow data or snapshots, computation of the POD modes, and the projection onto these modes to develop a new model. This procedure corresponds to using the perturbed POD basis and is computationally expensive. This undermines the motivation of building a reduced-order model. However, it provides a mean for error calculations and will be used to determine how well the other approaches work. A simple solution could be the baseline approach, where we use the POD basis computed at the baseline, that is, for a circular cylinder (), map it onto the elliptic cylinder, and compute the modified flow field using the transformed baseline modes. Clearly, this classical approach where the solution at any parameter value is sought in the subspace spanned by the POD vectors generated at another parameter value performs poorly. This is because the baseline POD vectors are best suited to represent flow solutions at the parameter value for which they have been built.

Using the sensitivity analysis, we can modify the POD basis to include the effect of parameter variation in the flow field. To do so, we consider the thickness ratio of the ellipse defining the cylinder shape as a parameter. Initially, we vary by 1% (i.e., ) and compute the sensitivity from the finite-difference approach. The accuracy of the method is limited by the step size . Using the sensitivity data, we compute the extrapolated and expanded bases and project the snapshot data onto these bases to obtain the time-coefficients . We plot the two-dimensional projection of the phase portrait for one period in the , , and planes and compare the results obtained with different basis functions in Figure 5. We observe that the data projected onto all of the bases compare well to the projection onto the perturbed POD basis. Using the coefficient data for each case, we compare the solutions to the full-order solution obtained by DNS at the perturbed state. The relative error in the velocity field on the modified geometry for any basis is measured as

Figure 5: Two-dimensional projections of the phase portraits for different bases.

In Figure 6, we plot the relative error obtained for each set of basis vectors. Obviously, the perturbed approach has the least error while the baseline approach corresponds to the maximum error. On the other hand, we observe that the extrapolated and expanded bases perform better than the baseline approach. Comparing the two new bases, the expanded bases seem to work better than the extrapolated bases. The primary reason could be the additional subspace provided by the sensitivity vectors; however, it also doubles the degrees of freedom in this case. Thus, modification of the POD basis from geometric sensitivity broadens the general applicability of the reduced-order models.

Figure 6: Relative error in reduced-order models at .

We vary in both directions (i.e., ) and compute the corresponding shape sensitivities. We then use the projections and the reduced-order model to quantify the error with respect to perturbed basis (DNS data). We use 6, 12, and 24 POD modes for all cases. We compute the error for the baseline, extrapolated, and expanded basis in terms of velocity data obtained from projections (continuous curves) and reduced-order model (discrete points) as shown in Figure 7. Our first observation is that the error is small in the vicinity of . In fact, for a 10% perturbation in the geometric parameter, we gain nearly an order of magnitude improvement in the error over the baseline model. However, as we move away from unity, the error in all models increases and is weakly dependent on the number of modes used in the expansion. It is interesting to note that the error increases gradually as is increased above the value 1 while the error deteriorates quickly for less than 1. This fact can be explained from the flow field observed in the wake of elliptic cylinders. Lower values of , while keeping , means more bluffness in the structure and the flow tends to separate due to high inverse pressure gradient. Earlier separation of the shear layer leads to transition from von Karman vortex shedding and the shedding pattern is altered in the wake. This corresponds to a bifurcation in the flow field and mere sensitivity analysis cannot capture the effect. On the other hand, increasing , while keeping , smooths the flow and the separation is delayed. Vortex shedding frequency is changed while the shedding pattern remains the same. Thus, the flow structures are similar when and can be represented by first-order extrapolations from .

In general, the expanded basis tends to perform better than extrapolated basis. Since we assume linear dependency of the POD modes on the geometric parameter, finite-difference approach makes the extrapolated approach close to the baseline methodology. In general, the model based on expanded basis shows relatively better results close to .

#### 6. Conclusion

We investigated the possibility of using the POD sensitivity vectors corresponding to a change in shape to improve the accuracy and dynamical system properties of the reduced-order models. As a part of the ongoing research in this area, we modified a circular cylinder to an elliptic cylinder by changing its thickness ratio and computed the sensitivity in the POD modes with respect to this thickness ratio. We defined different POD bases functions, with and without sensitivity, and used them to approximate the velocity field. We then compared the performance of these bases and found that the inclusion of shape sensitivity information in the POD bases performs better than the baseline approach. However, the Sensitivity Analysis for shape parameters is more challenging than for flow parameters since the extrapolation explicitly requires the mapping from one domain to another. The results from the shape sensitivity are encouraging and require further investigation in this field, especially when the parameter changes lead to bifurcations which would require higher order sensitivities (and not merely the first order derivatives).

#### Appendix

The POD eigenfunctions are used as a basis in a Galerkin projection of the incompressible Navier-Stokes equations. The projection is performed by the inner product of the POD modes with (2.2) as

where represents the inner product between a and b, and . We substitute (3.7) into (A.1) and perform the inner product of each term. This leads to a reduced-order model comprising a set of ordinary-differential equations. The inner product reduces the two (or three) momentum equations. To elaborate various terms in the reduced-order model, we expand each term individually.

Time-Derivative Term
From the Galerkin expansion in (3.7), we see that the first term is From the definition of the POD modes, the eigenfunctions are orthogonal by construction; that is, Substituting (A.3) into (A.2), we obtain

Convection Term
We substitute (3.7) into the second term of (A.1) and separate the terms, We expand the inner product of each term on the right-hand side of (A.5). The first term is The second term is The third term is The fourth term is Equation (A.9) is further split into subterms for convenience as follows: Similarly, the other subterms can be expanded as Combining (A.10) and (A.11), we obtain Equation (A.12) represents the quadratic term in the model.

Pressure Term
The pressure term in the model is also projected onto the POD modes as follows: We note that using Green's theorem and the divergence-free property, the pressure term drops out from (3.8) for the case of on the outerflow boundary . The POD eigenfunctions are identically zero on the inflow boundary because the average flow is subtracted from the total flow. However, in case of Neumann boundary conditions on , the contribution of the pressure term is not exactly zero for the cylinder wake. The outer domain is intentionally kept at from the cylinder to minimize the pressure effects. Hence, the pressure is neglected on the outflow boundary so the pressure term vanishes in the reduced-order model . Thus,

Diffusion Term
We substitute (3.7) into the diffusion term to obtain We expand each term on the right-hand side of (A.15) into its components. The term containing the mean velocity term is Likewise, the term containing the POD mode is expanded as follows:

#### Acknowledgments

This research was partially supported by the Air Force Office of Scientific Research under Contract FA9550-08-1-0136. Numerical simulations were performed on Virginia Tech Advanced Research Computing—System X. The allocation grant and support provided by the staff are also gratefully acknowledged. Imran Akhtar would like to thank the Government of Pakistan for support during his graduate studies.

#### References

1. A. Roshko, “On the wake and drag of bluff bodies,” Journal of Aerospace Science and Technologies, vol. 22, no. 2, pp. 124–132, 1955.
2. R. E. D. Bishop and A. Y. Hassan, “The lift and drag forces on a circular cylinder in flowing fluid,” Proceedings of the Royal Society A, vol. 277, pp. 32–50, 1963.
3. G. E. Karniadakis and G. S. Triantafyllou, “Three-dimensional dynamics and transition to turbulence in the wake of bluff objects,” Journal of Fluid Mechanics, vol. 238, pp. 1–30, 1992.
4. A. Roshko, “On the development of turbulent wakes from vortex streets,” Tech. Rep. 1191, NACA, 1954.
5. A. G. Tomboulides, M. Israeli, and G. E. Karniadakis, “Efficient removal of boundary-divergence errors in time-splitting methods,” Journal of Scientific Computing, vol. 4, no. 3, pp. 291–308, 1989.
6. C. H. K. Williamson, “Vortex dynamics in the cylinder wake,” in Annual Review of Fluid Mechanics, vol. 28, pp. 477–539, Annual Reviews, Palo Alto, Calif, USA, 1996.
7. J. Wu, J. Sheridan, J. Soria, and M. C. Welsh, “An experimental investigation of streamwise vortices in the wake of a bluff body,” Journal of Fluids and Structures, vol. 8, no. 7, pp. 621–635, 1994.
8. R. T. Hartlen and I. G. Currie, “Lift-oscillator model of vortex-induced vibration,” ASCE Journal of Engineering Mechanics, vol. 96, pp. 577–591, 1970.
9. W. D. Iwan and R. D. Blevins, “A model for vortex induced oscillation of structures,” Journal of Applied Mechanics, vol. 41, no. 3, pp. 581–586, 1974.
10. R. Landl, “A mathematical model for vortex-excited vibration of cable suspensions,” Journal of Sound and Vibration, vol. 42, no. 2, pp. 219–234, 1975.
11. R. A. Skop and O. M. Griffin, “On a theory for the vortex-excited oscillations of flexible cylindrical structures,” Journal of Sound and Vibration, vol. 41, no. 3, pp. 263–274, 1975.
12. S. Krenk and S. R. K. Nielsen, “Energy balanced double oscillator model for vortex-induced vibrations,” Journal of Engineering Mechanics, vol. 125, no. 3, pp. 263–271, 1999.
13. O. Marzouk, A. H. Nayfeh, I. Akhtar, and H. N. Arafat, “Modeling steady-state and transient forces on a cylinder,” Journal of Vibration and Control, vol. 13, no. 7, pp. 1065–1091, 2007.
14. I. Akhtar, O. A. Marzouk, and A. H. Nayfeh, “A van der Pol-Duffing oscillator model of hydrodynamic forces on canonical structures,” Journal of Computational and Nonlinear Dynamics, vol. 4, no. 4, Article ID 041006, 2009.
15. G. Berkooz, P. Holmes, and J. L. Lumley, “The proper orthogonal decomposition in the analysis of turbulent flows,” Annual Review of Fluid Mechanics, vol. 53, pp. 321–575, 1993.
16. P. Holmes, J. L. Lumley, and G. Berkooz, Turbulence, Coherent Structures, Dynamical Systems and Symmetry, Cambridge Monographs on Mechanics, Cambridge University Press, Cambridge, UK, 1996.
17. L. Sirovich, “Turbulence and the dynamics of coherent structures,” Quarterly of Applied Mathematics, vol. 45, pp. 561–590, 1987.
18. A. E. Deane and C. Mavriplis, “Low-dimensional description of the dynamics in separated flow past thick airfoils,” AIAA Journal, vol. 32, no. 6, pp. 1222–1227, 1994.
19. X. Ma and G. E. Karniadakis, “A low-dimensional model for simulating three-dimensional cylinder flow,” Journal of Fluid Mechanics, vol. 458, pp. 181–190, 2002.
20. B. R. Noack, K. Afanasiev, M. Morzynski, G. Tadmor, and F. Thiele, “A hierarchy of low-dimensional models for the transient and post-transient cylinder wake,” Journal of Fluid Mechanics, vol. 497, pp. 335–363, 2003.
21. W. R. Graham, J. Peraire, and K. Y. Tang, “Optimal control of vortex shedding using low-order models—part I: open-loop model development,” International Journal for Numerical Methods in Engineering, vol. 44, no. 7, pp. 945–972, 1999.
22. M. Bergmann, L. Cordier, and J.-P. Brancher, “Optimal rotary control of the cylinder wake using proper orthogonal decomposition reduced-order model,” Physics of Fluids, vol. 17, no. 9, Article ID 097101, 21 pages, 2005.
23. I. Akhtar, A. H. Nayfeh, and C. J. Ribbens, “On the stability and extension of reduced-order galerkin models in incompressible flows: a numerical study of vortex shedding,” Theoretical and Computational Fluid Dynamics, vol. 23, no. 3, pp. 213–237, 2009.
24. A. E. Deane, I. G. Kevrekidis, G. E. Karniadakis, and S. A. Orszag, “Low-dimensional models for complex geometry flows: application to grooved channels and circular cylinders,” Physics of Fluids A, vol. 3, no. 10, pp. 2337–2354, 1991.
25. E. Tadmor, “Convergence of spectral methods for nonlinear conservation laws,” SIAM Journal on Numerical Analysis, vol. 26, no. 1, pp. 30–44, 1989.
26. C. Foias, M. S. Jolly, I. G. Kevrekidis, and E. S. Titi, “Dissipativity of numerical schemes,” Nonlinearity, vol. 4, no. 3, pp. 591–613, 1991.
27. N. Aubry, W. Y. Lian, and E. S. Titi, “Preserving symmetries in the proper orthogonal decomposition,” SIAM Journal on Scientific Computing, vol. 14, no. 2, pp. 483–505, 1993.
28. M. Couplet, P. Sagaut, and C. Basdevant, “Intermodal energy transfers in a proper orthogonal decomposition—Galerkin representation of a turbulent separated flow,” Journal of Fluid Mechanics, vol. 491, pp. 275–284, 2003.
29. S. Sirisup and G. E. Karniadakis, “A spectral viscosity method for correcting the long-term behavior of POD models,” Journal of Computational Physics, vol. 194, no. 1, pp. 92–116, 2004.
30. M. Bergmann, C.-H. Bruneau, and A. Iollo, “Enablers for robust POD models,” Journal of Computational Physics, vol. 228, no. 2, pp. 516–538, 2009.
31. A. Hay, J. T. Borggaard, and D. Pelletier, “Local improvements to reduced-order models using sensitivity analysis of the proper orthogonal decomposition,” Journal of Fluid Mechanics, vol. 629, pp. 41–72, 2009.
32. A. Hay, J. Borggaard, and D. Pelletier, “Reduced-order models for parameter dependent geometries based on shape sensitivity analysis of the POD,” in Proceedings of the 12th AIAA/ISSMO Multidisciplinary Analysis and Optimization Conference, Victoria, Canada, September 2008, AIAA-2008-5962.
33. B. P. Leonard, “A stable and accurate convective modelling procedure based on quadratic upstream interpolation,” Computer Methods in Applied Mechanics and Engineering, vol. 19, no. 1, pp. 59–98, 1979.
34. Y. Zang, R. L. Street, and J. R. Koseff, “A non-staggered grid, fractional step method for time-dependent incompressible Navier-Stokes equations in curvilinear coordinates,” Journal of Computational Physics, vol. 114, no. 1, pp. 18–33, 1994.
35. I. Akhtar, Parallel simulations, reduced-order modeling, and feedback control of vortex shedding using fluidic actuators, Ph.D. thesis, Virginia Tech, Blacksburg, Va, USA, 2008.
36. H. P. Bakewell Jr. and J. L. Lumley, “Viscous sublayer and adjacent wall region in turbulent pipe flow,” Physics of Fluids, vol. 10, no. 9, pp. 1880–1889, 1967.
37. B. R. Noack, P. Papas, and P. A. Monkewitz, “The need for a pressure-term representation in empirical Galerkin models of incompressible shear flows,” Journal of Fluid Mechanics, vol. 523, pp. 339–365, 2005.
38. A. Hay, J. Borggaard, and D. Pelletier, “On the use of sensitivity analysis to improve reduced-order models,” in Proceedings of the 4th AIAA Flow Control Conference, Seattle, Wash, USA, June 2008, AIAA-2008-4192.