Skip to main content
  • Research article
  • Open access
  • Published:

Enhancing CFD predictions in shape design problems by model and parameter space reduction

Abstract

In this work we present an advanced computational pipeline for the approximation and prediction of the lift coefficient of a parametrized airfoil profile. The non-intrusive reduced order method is based on dynamic mode decomposition (DMD) and it is coupled with dynamic active subspaces (DyAS) to enhance the future state prediction of the target function and reduce the parameter space dimensionality. The pipeline is based on high-fidelity simulations carried out by the application of finite volume method for turbulent flows, and automatic mesh morphing through radial basis functions interpolation technique. The proposed pipeline is able to save 1/3 of the overall computational resources thanks to the application of DMD. Moreover exploiting DyAS and performing the regression on a lower dimensional space results in the reduction of the relative error in the approximation of the time-varying lift coefficient by a factor 2 with respect to using only the DMD.

Introduction

Reduced order modeling (ROM) is nowadays a quite popular and consolidated technique, applied to several fields of engineering and computational science thanks to the remarkable computational gain granted for the solution of the governing equations. The ROM goal is in fact that of reducing the dimension of the studied system without altering some important properties of the original problem. This typically results in more efficient, time saving computations. Among other fields, ROM methods are frequently and successfully applied to problems governed by parametric partial differential equations (PDEs), for which many solutions of the same PDE in correspondence with different parameters are required. This paradigm is for example encountered in the context of parametric optimal control problems, uncertainty quantification, and shape optimization.

Model reduction for PDEs has been historically obtained in different ways. In some cases, very successful reduced models have been obtained at the level of the governing equations, based on physical considerations. This is for instance the case of the potential flow theory in the fluid dynamics field. In other cases, the reduction can be introduced at the discretization level, as is the case, for instance, for the Boundary Element Method used in structural analysis, fluid mechanics, electro-magnetism and acoustics studies. In the case in which parametric PDEs are considered, a possible approach to obtain efficient reduced order models is to sample the solution manifold by creating a solutions database corresponding to different parameters, using a high-dimensional discretization, then combine the latter to identify the intrinsic lower dimension of the problem. For parametric reduced order models see [23, 42, 43], while for a more applications oriented overview we suggest [44, 45, 50].

For parametric time-dependent problems, a proper orthogonal decomposition approach can be applied to reduce the dimensionality of the system, as in [19, 25]. In this work we propose a novel data-driven approach for parametric dynamical systems, combining dynamic mode decomposition (DMD) with active subspaces (AS) property. These two relatively new methodologies provide a simplification of the dynamical system, and an analysis of the input parameter space of a given target function, respectively. Exploiting AS property we are able to obtain an estimation of the importance of the parameters of such function, as well as a reduction in the number of parameters. Moreover the methods are equation-free, being based only on input/output couples and do not make assumptions on the underlying governing equations.

We define a generic scalar output \({v}(\varvec{\mu }, t) \in {\mathbb {R}}\) that depends both on time t and on the parameters of the model \(\varvec{\mu }\in {\mathbb {D}}\subset {\mathbb {R}}^k\), with k denoting the dimension of the parameter space. We denote the state of the parametric system at time t with \({v}_t(\varvec{\mu }) \in {\mathbb {R}}\). The solution manifold in time is approximated using the DMD in order to obtain an approximation of the linear map A defined as:

$$\begin{aligned} {v}_{t+1}(\varvec{\mu }) = A({v}_t(\varvec{\mu })). \end{aligned}$$
(1)

It is easy to note that using (1) we have the possibility to forecast a generic future state of the parametric system.

To numerically compute the linear operator A, we need to sample the parameter space \({\mathbb {D}}\), and for each time store the quantity of interest for each parametric configuration. Formally, considering a set of parameter samples with dimension Ns, the discrete vector referring to the system state at time t results:

$$\begin{aligned} {{\mathbf {v}}}_t = \begin{bmatrix} {v}_t({\varvec{\mu }_1})&\dotsc&{v}_t({\varvec{\mu }_{Ns}})\end{bmatrix}^T \in {\mathbb {R}}^{Ns}. \end{aligned}$$
(2)

Collecting several time states \({{\mathbf {v}}}_i(\varvec{\mu })\) for \(i = 1, \dotsc , m\), we compute the operator \({\mathbf {A}}\) with a best-fit approach such that \({{\mathbf {v}}}_{t+1} \approx {\mathbf {A}}{{\mathbf {v}}}_t\). Once computed the future prevision, we are able to exploit the relation between the input parameters \(\varvec{\mu }_i\) and the related outputs \({v}_{\text {future}}(\varvec{\mu }_i)\) to approximate the output for any new parameter. In this work we use a Gaussian Process Regression (GPR) [22, 56], but any regression or interpolation method can be used. We underline that the chosen regression model has to be fitted for any forecasted time we want to analyse.

The high dimensionality in the parameter space may incur on the inability to solve many-query problems with sufficiently high fidelity, thus causing a decrease in the accuracy of the solution approximation. For this reason we couple the regression with the AS property in order to perform a sensitivity analysis of function \({v}_t(\varvec{\mu })\). AS indeed is able to provide an approximation g of a scalar function f, where the input parameters of g are a linear combination of the original parameters of f. The coefficients of such combination give information about the importance of the original parameters. In this work, we use this information to reduce the dimension of the parameter space—in which we build the regression—by not considering the parameters whose AS coefficients are smaller than a certain threshold, that is they are almost zero.

The developed methodology is tested on an aeronautics application given by the flow past an airfoil profile. As output of interest we considered the lift coefficient and the parameters vector \(\varvec{\mu }\) describes geometrical transformations according to the morphing technique proposed in [24]. The fluid dynamics problem is described using the incompressible Navier–Stokes equations with turbulence modeling. These are discretized using a finite volume approximation. The deformed meshes corresponding to different input parameters are automatically obtained exploiting a Radial Basis Function (RBF) mesh morphing technique.

This work is structured as follows: in “The parametric problem” section we present the general parametric problem over which we apply the proposed numerical pipeline, providing some information about the geometrical deformation. In “Dynamical systems approximation by dynamic mode decomposition” and “Global sensitivity analysis through active subspaces” sections we present the DMD and AS methods, respectively, while in “Computational pipeline” section we show the numerical setting of the problem and the results obtained. Finally in “Conclusions and perspectives” section we propose some final remarks and highlight possible future developments.

The parametric problem

Let be given the unsteady incompressible Navier-Stokes equations described in an Eulerian framework on a parametrized space-time domain \(Q({{\varvec{\mu }}}) = {\varOmega }({{\varvec{\mu }}})\times [0,T] \subset {\mathbb {R}}^d\times {\mathbb {R}}^+, \text { }d=2,3\) with the vectorial velocity field \({\varvec{u}}:Q({{\varvec{\mu }}}) \rightarrow {\mathbb {R}}^d\), and the scalar pressure field \(p:Q({{\varvec{\mu }}}) \rightarrow {\mathbb {R}}\) such that:

$$\begin{aligned} {\left\{ \begin{array}{ll} {\varvec{u_t}}+ {\varvec{\nabla }} \cdot ({\varvec{u}} \otimes {\varvec{u}})- {\varvec{\nabla }} \cdot 2 \nu {\varvec{\nabla ^s}} {\varvec{u}}=-{\varvec{\nabla }}p &{} \text{ in } Q({{\varvec{\mu }}}),\\ {\varvec{\nabla }} \cdot {\varvec{u}}={\varvec{0}} &{} \text{ in } Q({{\varvec{\mu }}}),\\ {\varvec{u}} (t,x) = {\varvec{f}}({\varvec{x}}) &{} \text{ on } {\varGamma }_{{\text {in}}} \times [0,T],\\ {\varvec{u}} (t,x) = {\varvec{0}} &{} \text{ on } {\varGamma }_{0}({{\varvec{\mu }}}) \times [0,T],\\ (\nu \nabla {\varvec{u}} - p{\varvec{I}}){\varvec{n}} = {\varvec{0}} &{} \text{ on } {\varGamma }_{{\text {out}}} \times [0,T],\\ {\varvec{u}}(0,{\varvec{x}})={\varvec{k}}({\varvec{x}}) &{} \text{ in } Q({{\varvec{\mu }}})_0,\\ \end{array}\right. }\nonumber \\ \end{aligned}$$
(3)

holds. Here, \({\varGamma }= {\varGamma }_{{\text {in}}} \cup {\varGamma }_{0} \cup {\varGamma }_{{\text {out}}}\) is the boundary of \({\varOmega }({{\varvec{\mu }}})\) and it is composed by three different parts \({\varGamma }_{{\text {in}}}\), \({\varGamma }_{{\text {out}}}\) and \({\varGamma }_0({{\varvec{\mu }}})\) that indicate, respectively, inlet boundary, outlet boundary, and physical walls. The term \({\varvec{f}}({\varvec{x}})\) depicts the stationary non-homogeneous boundary condition, whereas \({\varvec{k}}({\varvec{x}})\) denotes the initial condition for the velocity at \(t=0\). Shape changes are applied to the domain \({\varOmega }\), and in particular to its boundary \({\varGamma }_0({{\varvec{\mu }}})\) corresponding to the airfoil wall. Such shape modifications are associated to numerical parameters contained in the vector \({{\varvec{\mu }}} \in {\mathbb {R}}^k\) which, in the numerical examples shown in this work has dimension \(k=10\). As said, the only portion of the domain boundary subject to shape parametrization is the physical wall of the airfoil \({\varGamma }_0({{\varvec{\mu }}})\), which in the undeformed configuration corresponds to the 4-digits, NACA 4412 wing profile [3, 27]. To alter such geometry, we adopt the shape parametrization and morphing technique proposed in [24], where k shape functions are added to the airfoil profiles. Let \(y_u\), and \(y_l\) be the upper and lower ordinates of a NACA profile, respectively. We express the deformation of such coordinates as

$$\begin{aligned} y_u&= \overline{y_u} + \sum _{i=1}^{5} c_i r_i ,\end{aligned}$$
(4)
$$\begin{aligned} y_l&= \overline{y_l} - \sum _{i=1}^{5} d_i r_i , \end{aligned}$$
(5)

where the bar denotes the reference undeformed state, which is the NACA 4412 profile.

The parameters \(\varvec{\mu }\in {\mathbb {D}} \subset {\mathbb {R}}^{10}\) are the weights coefficients, \(c_i\) and \(d_i\), associated with the shape functions \(r_i\). The range of each parameter will be specified in “Computational pipeline” section. The explicit formulation of the shape functions can be found in [24], we report them in Fig. 1.

Fig. 1
figure 1

Airfoil shape functions with respect to the profile abscissa. The leading edge corresponds to \(x=0\)

After the reference profile is deformed, we also apply the same morphing to the mesh coordinates by using a radial basis functions (RBF) interpolation method [9, 39, 40]. With this approach the movement \({{\varvec{s}}}\) of all the points which do not belong to the moving boundaries is approximated by an interpolatory radial basis function:

$$\begin{aligned} {{\varvec{s}}} ({{\varvec{x}}}) = \sum _{i=1}^{N_b} \beta _i \xi (||{{\varvec{x}}} - {{\varvec{x}}}_{b_i}||)+q({{\varvec{x}}}), \end{aligned}$$
(6)

where \({\varvec{x}}_{b_i}\) are the coordinates of points for which we know the boundary displacements, for this particular case the points located on the wing surface. \(N_b\) is the number of control points on the boundary, \(\xi \) is a given basis function, \(q({\varvec{x}})\) is a polynomial. The coefficients \(\beta _i\) and the polynomial \(q({\varvec{x}})\) are obtained by the imposition of interpolation conditions

$$\begin{aligned} {\varvec{s}}({\varvec{x}}_{b_i}) = {\varvec{d}}_{b_i}, \end{aligned}$$
(7)

where \({\varvec{d}}_{b_i}\) is the displacement value at the boundary points and by the additional requirement:

$$\begin{aligned} \sum _{i=1}^{N_b}\beta _i q({\varvec{x}}_{b_i}) = 0. \end{aligned}$$
(8)

In the present case, we select basis functions for which it is possible to use linear polynomials \(q({\varvec{x}})\). For more information concerning the selection of the order of polynomials see [5]. Finally the values of the coefficients \(\beta _i\) and the coefficients \(\delta _i\) of the linear polynomials q can be obtained by solving the linear problem:

$$\begin{aligned} \begin{bmatrix} {\varvec{d}}_b \\ 0 \end{bmatrix} = \begin{bmatrix} {\varvec{M}}_{b,b} \quad P_b \\ P_b^T \quad 0 \end{bmatrix} \begin{bmatrix} {\varvec{\beta }} \\ {\varvec{\delta }} \end{bmatrix}, \end{aligned}$$
(9)

where \({\varvec{M}}_{b,b} \in {\mathbb {R}}^{N_b\times N_b}\) is a matrix containing the evaluation of the basis functions \(\xi _{b_i b_j} = \xi (\Vert {\varvec{x}}_{b_i}-{\varvec{x}}_{b_j}\Vert )\), and \({\varvec{P}}_b \in {\mathbb {R}}^{N_b\times (d+1)}\) is a matrix where d is the spatial dimension. Each row of this matrix, that contains the coordinates of the boundary points, is given by \({\hbox {row}}_i({{\varvec{P}}}_b) = \begin{bmatrix}1&{\varvec{x_{b_i}}}\end{bmatrix}\). Once the system of (9) is solved one can obtain the displacement of all the internal points using the RBF interpolation:

$$\begin{aligned} {{\varvec{d}}}_{{\text {in}}_i} = {{\varvec{s}}}({{\varvec{x}}}_{{\text {in}}_i}), \end{aligned}$$
(10)

where \({{\varvec{x}}}_{{\text {in}}_i}\) are the coordinates of the internal grid points. The computation of the displacement of the grid points entails the resolution of a dense system of equations that has dimension \(N_b + d + 1\). Usually, the number of boundary points \(N_b\) is much smaller than the number of grid points \(N_h\).

Dynamical systems approximation by dynamic mode decomposition

Dynamic mode decomposition (DMD) is an emerging reduced order method proposed by Schmid in [46] for the analysis of dynamical systems. Approximating the linear infinite-dimensional Koopman operator [30], DMD decomposes the original system into few main features, the so called DMD modes, that evolve linearly in time, even if the original system has nonlinear behaviour. This means that, other than individuating recurrent patterns in the evolution of the system, DMD provides a real-time midcast/forecast of the output of interest. An important advantage of such method is the complete data-driven nature: the algorithm relies only on the system output, without the necessity of any information regarding the model or equations used. Dynamic mode decomposition has been successfully employed in naval hull shape optimization pipelines [15], for online real-time acquisitions in a wind tunnel experiment [59], and in meteorology [6], among others. We also mention the higher order DMD extension [34, 35].

In the following paragraph, we provide just an algorithmic overview of the method. For an exhaustive explanation of DMD, its applicability, and possible extensions, we suggest [8, 31].

We define the linear operator \({\mathbf {A}}\) such that

$$\begin{aligned} {\mathbf {x}}_{k+1} = {\mathbf {A}}{\mathbf {x}}_{k}, \end{aligned}$$
(11)

where \({\mathbf {x}}_{k+1} \in {\mathbb {R}}^N\) and \({\mathbf {x}}_{k} \in {\mathbb {R}}^N\) are the vectors containing the system outputs at two sequential instants. Thus, the operator \({\mathbf {A}}: {\mathbb {R}}^N \rightarrow {\mathbb {R}}^N\) expresses the dynamics of the system. In order to construct it using only data, we need to collect \(m \le N+1\) equispaced in time outputs \({\mathbf {x}}_i\) for \(i = 1, \dotsc , m\)—from now on called snapshots—then arrange them in two matrices: \({\mathbf {X}} = \begin{bmatrix} {\mathbf {x}}_1&\dotsc&{\mathbf {x}}_{m-1}\end{bmatrix}\) and \({\mathbf {Y}} = \begin{bmatrix} {\mathbf {x}}_2&\dotsc&{\mathbf {x}}_{m} \end{bmatrix}\). Since the corresponding columns in \({{\mathbf {X}}}\) and \({{\mathbf {Y}}}\) are sequential snapshots, we are able to use (11) to represent the relationship between \({\mathbf {X}}\) and \({\mathbf {Y}}\), such that \({{\mathbf {Y}}}= {\mathbf {A}}{{\mathbf {X}}}\). We can find such operator by using the relation \({\mathbf {A}}= {{\mathbf {Y}}}{{\mathbf {X}}}^{\dagger }\), where \(^{\dagger }\) refers to the Moore-Penrose pseudo-inverse. We exploit the singular value decomposition to compute such pseudo-inverse, due to its computational efficiency and accuracy, as in the following:

$$\begin{aligned} {{\mathbf {X}}}= {{\mathbf {U}}}{\varvec{\Sigma }}{{\mathbf {V}}}^*, \end{aligned}$$
(12)

where the matrix \({{\mathbf {U}}}\in {\mathbb {R}}^{N \times (m-1)}\) contains the orthogonal left-singular vectors. We can then project the operator onto the space spanned by the left-singular vectors to get the reduced operator \({{\tilde{\varvec{A}}}}\). It is possible to note that the reduced operator does not require the construction of the high-dimensional one:

$$\begin{aligned} {{\tilde{\varvec{A}}}}= {{\mathbf {U}}}^*{\mathbf {A}}{{\mathbf {U}}}= {{\mathbf {U}}}^*{{\mathbf {Y}}}{{\mathbf {X}}}^{\dagger } {{\mathbf {U}}}= {{\mathbf {U}}}^* {{\mathbf {Y}}}{{\mathbf {V}}}{\varvec{\Sigma }}^{-1} {{\mathbf {U}}}^* {{\mathbf {U}}}= {{\mathbf {U}}}^* {{\mathbf {Y}}}{{\mathbf {V}}}{\varvec{\Sigma }}^{-1}. \end{aligned}$$
(13)

We can now reconstruct the eigenvectors and eigenvalues of the matrix \({\mathbf {A}}\) thanks to the eigendecomposition of \({\tilde{\mathbf {A}}}\) as \({\tilde{\mathbf {A}}} {\mathbf {W}} = {\mathbf {W}} {\varvec{{\varLambda }}}\). In particular each nonzero eigenvalue \(\lambda \) in \({\varvec{{\varLambda }}}\) is a DMD eigenvalue. The corresponding DMD eigenvectors, the so called exact modes [53], can be retrieved by the eigenvectors of \({\tilde{\mathbf {A}}}\) as \({\varvec{\Phi }}= {\mathbf {Y}}{\mathbf {V}} {\varvec{\Sigma }}^{-1} {\mathbf {W}}\), where different scalings are possible. We underline that each pair \((\phi , \lambda )\) computed as above is an eigenpair of \({\mathbf {A}}\) (please refer to the proof of Theorem 1 in [53]). Thus, being \({\mathbf {A}}= {\varvec{\Phi }}{\varvec{{\varLambda }}}{\varvec{\Phi }}^{\dagger }\), we can approximate the evolution of the system \({\mathbf {x}}_{k+1} = {\varvec{\Phi }}{\varvec{{\varLambda }}}{\varvec{\Phi }}^{\dagger }{\mathbf {x}}_k\). Moreover, it is easy to demonstrate that the approximation of a generic future snapshots can be computed as:

$$\begin{aligned} {\mathbf {x}}_{k+j} = {\varvec{\Phi }}{\varvec{{\varLambda }}}^j {\varvec{\Phi }}^{\dagger }{\mathbf {x}}_k. \end{aligned}$$
(14)

In this work we compute the DMD modes of the matrix composed by the value of the time-varying lift coefficient for a set of given geometrical parameters. Then we can predict the future state of the coefficient and, using a regression method, approximate the target function at untried new parameters. All the DMD computation have been carried out by the Python package PyDMD [16].

Global sensitivity analysis through active subspaces

Active subspaces [10] have been successfully employed in many engineering fields [12, 13]. Among other we mention applications in shape optimization [20, 38], combustion simulations [29], and in naval engineering [51]. For multifidelity dimension reduction with AS see [32], for multivariate extension of AS we mention [58], while for a coupling with deep neural networks see [52].

Active subspaces have also been proven as a useful tool to enhance model order reduction techniques such as proper orthogonal decomposition (POD) with interpolation for structural and fluid dynamics problems [17], and POD-Galerkin methods for a parametric study of carotid artery stenosis [49].

Here we briefly introduce the active subspaces property for functions not depending on time, for the details and estimates regarding the method we refer to [10]. For the actual computations to find AS we used the open source Python package ATHENA—Advanced Techniques for High dimensional parameter spaces to Enhance Numerical Analysis [2], derived in part from the Python Active subspaces Utility Library [14].

Let \(\varvec{\mu }\in {\mathbb {R}}^k\) the parameters of our problem, f be a parametric scalar function of interest \(f(\varvec{\mu }): {\mathbb {R}}^k \rightarrow {\mathbb {R}}\), and \(\rho : {\mathbb {R}}^k \rightarrow {\mathbb {R}}^+\) a probability density function representing uncertainty in the input parameters. Active subspaces are a property of the pair \((f, \rho )\). They are defined as the leading eigenspaces of the second moment matrix of the target function’s gradient and constitutes a global sensitivity index more general than coordinate-aligned derivative-based ones [58].

The second moment matrix of the gradients \({\mathbf {C}}\), also called uncentered covariance matrix of the gradients of f with respect to the input parameters, is defined as

$$\begin{aligned} {\mathbf {C}} = {\mathbb {E}}\, [\nabla _{\varvec{\mu }} f \, \nabla _{\varvec{\mu }} f ^T] =\int (\nabla _{\varvec{\mu }} f) ( \nabla _{\varvec{\mu }} f )^T \rho \, d \varvec{\mu }, \end{aligned}$$
(15)

where \({\mathbb {E}} [\cdot ]\) is the expected value, and \(\nabla _{\varvec{\mu }} f \equiv \nabla f({\varvec{\mu }}) \in {\mathbb {R}}^k\). \({\mathbf {C}}\) is symmetric thus it admits a real eigenvalue decomposition that reads:

$$\begin{aligned} {\mathbf {C}} = {\mathbf {W}} {\varLambda }{\mathbf {W}}^T, \end{aligned}$$
(16)

where \({\mathbf {W}}\) indicates the orthogonal matrix containing the eigenvectors of \({\mathbf {C}}\) as columns, and \({\varLambda }\) is a diagonal matrix composed by the non-negative eigenvalues arranged in descending order. We can decompose the two matrices as follows

$$\begin{aligned} {\varLambda }= \begin{bmatrix} {\varLambda }_1 &{} \\ &{} {\varLambda }_2\end{bmatrix}, \qquad {\mathbf {W}} = \left[ {\mathbf {W}}_1 \quad {\mathbf {W}}_2 \right] , \qquad {\mathbf {W}}_1 \in {\mathbb {R}}^{k\times M}, \end{aligned}$$
(17)

where \(M < k\) has to be properly selected by identifying a spectral gap. In particular, we define the active subspace of dimension M as the principal eigenspace corresponding to the eigenvalues prior to the gap. Then we can map the full parameters to the reduced ones through \({\mathbf {W}}_1\). We define the active variable as \(\varvec{\mu }_M = {\mathbf {W}}_1^T\varvec{\mu }\in {\mathbb {R}}^M\), and the inactive variable as \(\varvec{\eta }= {\mathbf {W}}_2^T\varvec{\mu }\in {\mathbb {R}}^{k-M}\). In practice the matrix \({\mathbf {C}}\) is constructed with a Monte Carlo procedure.

AS stipulates that the directional derivatives in directions belonging to the kernel of \({\mathbf {W}}_1^T\) are significantly smaller that those belonging to the range of the same matrix. Moreover this assumptions are made in expectation rather then in absolute sense [57].

Since in this way we are considering a linear combinations of the input parameters, we can associate the eigenvectors elements to the weights of such combinations, thus providing a sensitivity of each parameter. We underline that if a weight is almost zero, that means f does not vary along that direction on average.

We can use the active variable to build a ridge function g [36] to approximate the function of interest, that is

$$\begin{aligned} f (\varvec{\mu }) \approx g({\mathbf {W}}_1^T\varvec{\mu }) = g (\varvec{\mu }_M). \end{aligned}$$
(18)

In this work we want to study the behaviour of a target function \(f(\varvec{\mu }, t): {\mathbb {R}}^k \times {\mathbb {R}}^+ \rightarrow {\mathbb {R}}\) that depends on the parameters \(\varvec{\mu }\) and on time t as well. This results in extending the active subspaces property to dynamical systems, that means having to deal with time-dependent uncentered covariance matrix \({\mathbf {C}} (t)\), and corresponding eigenvectors \(w_i(t)\). Efforts in this direction has been done in [11] for a lithium ion battery model, in [37] for long term model of HIV infection dynamics, and more recently an application of dynamic mode decomposition and sparse identification to approximate one-dimensional active subspaces in [4]. In these works they refer to dynamic active subspaces (DyAS) as the time evolution of the active subspaces of a time-dependent quantity of interest.

DyAS are useful to assess the importance of each input parameter at given times and to study how the weights associated to the inputs evolve. In the following we are going to compute the AS for a set of equispaced times \(t_i\). If some of the parameters are almost zero in the entire time window we can safely ignore them in the construction of the Gaussian process regression.

Computational pipeline

In the present section we will discuss the numerical experiments carried out to test the DyAS analysis and present the results obtained. As reported in “Dynamical systems approximation by dynamic mode decomposition” section, each high fidelity simulation is based on a parametric fluid dynamic model governed by the Reynolds Averaged Navier–Stokes (RANS) equations. Thus, a number of flow simulations have been carried out selecting different samples in the parametric space to test the performance—in terms of lift coefficient—of different airfoil shapes. The simulations made use of both the RANS solver provided in the OpenFOAM [54] finite volumes library, and of the DMD acceleration methodology described in “Global sensitivity analysis through active subspaces” section. Once the lift coefficients output were available for all the samples tested in the input parameters space, the DyAS analysis was applied to assess possible parameter redundancy. The elimination of the redundant parameters detected in the DyAS analysis allowed for the generation of a surface response model based on a lower dimensional space, which has been finally tested against the original RANS model accelerated through DMD, and against the surface response model based on the original input parameter space. Figure 2 graphically summarizes the proposed pipeline, clarifying how the methods (and the software) are integrated together, while the following sections will further detail each part of the computational pipeline just outlined.

Fig. 2
figure 2

Flowchart representing the proposed computational pipeline

Parametric shape deformation

The fluid dynamics problem is resolved using the finite volume method. The wing is immersed in a rectangular domain according to Fig. 3. The reference mesh counts 46500 hexahedral cells and is constructed using the blockMesh utility of the OpenFOAM library. Figure 3 depicts a detail of the grid in proximity of the wing. The meshes in the deformed configuration have been obtained starting from the reference configuration using a radial basis function smoothing algorithm similar to the one implemented in [7]. A single deformation corresponds to a sample \(\varvec{\mu }\) in the parameter space \({\mathbb {D}} := [0, 0.03]^{10} \subset {\mathbb {R}}^{10}\). Therefore all the deformed meshes share the same number of cells and the same mesh topology. In particular Wendland [55] second order kernel functions with radius \(r_{{\text {RBF}}} = 0.1~\hbox {m}\) have been used. The control points of the RBF procedure have been placed on each mesh boundary point located onto the wing surface. Since the outer boundary points are fixed we decided to neglect them from the RBF computation using a smoothing function defined in such a way that the RBF contribution reduces to zero after a certain distance from a focal point [28]. Particularly, the focal point has been placed in the geometric center of the airfoil chord segment and the distance from the focal point after which the RBF contribution is neglected is set to \(r_{{\text {out}}} = 7~\hbox {m}\). In Fig. 4 we depict the envelope of all the tested configurations, and the flow velocity streamlines for a particular sample in the parameter space. A uniform and constant velocity equal to \({{\varvec{u}}}_{{\text {in}}}=1~\hbox {m}/\hbox {s}\) is set at the inlet boundary, while the constant value of the kinematic viscosity is set to \(\nu = 2{\mathrm {e}}{-5}~{\hbox {m}}^2/\hbox {s}\). This configuration, considering a chord length \(D=1~\hbox {m}\), corresponds to Reynolds number \({\mathrm {Re}}=50000\). As well known, a flow characterized by Reynolds number of such magnitude requires turbulence modeling to be numerically simulated with reasonable computational effort. In the present work, turbulence has been modeled using a RANS approach with a Spalart-Allmaras turbulence model [47]. The pressure velocity coupling is resolved in a segregated manner making use of the PIMPLE algorithm which merges the PISO [26] and the SIMPLE [41] algorithm. The time step used to advance the simulation in time is set constant and equal to \({\varDelta }t=1{\mathrm {e}}-3~\hbox {s}\). The convective terms have been discretized using a second-order upwinding scheme, while the diffusion terms are discretized using a linear approximation scheme with non-orthogonal correction. The time discretization is resolved using a second order backward differentiation formula. The simulation is advanced in time until the flow has reached stationary behavior. For the present problem, setting a total simulation time \(T_s = 30~\hbox {s}\) is sufficient to reach a solution which is reasonably close to the steady state one. In order to check the consistency of the numerical results, the stationary lift coefficient computed for the reference configuration, which corresponds to a standard NACA 4412 profile with a \(0^{\circ }\) angle of attack, has been compared with data from literature [1]. The computed lift coefficient for such setting is equal to \(C_L = 0.355\) and the available reference value varies between \(C_L=0.1804\) and \(C_L=0.3708\) depending on the value of \(N_{{\hbox {crit}}}\). Therefore, our numerical results are in line with available data in existing literatureFootnote 1.

Fig. 3
figure 3

Sketch of the computational domain used to solve the fluid dynamics problem in its reference configuration. The left picture reports a schematic view on the domain with the main geometrical dimensions. The right plot reports a zoom on the mesh in the proximity of the wing

Fig. 4
figure 4

The left picture reports in light blue the envelope of all the tested configurations used during the training stage. The right picture depicts the flow velocity streamlines for one particular sample inside the training set \({{\varvec{\mu }}} = [0.0071; 0.0229; 0.0015; 0.0015; 0.0087; 0.0107; 0.0033; 0.0130; 0.0247; 0.0280]\)

Parameter space reduction

The present section will discuss the application of DyAS to the problem of the two dimensional turbulent flow simulation past airfoil sections with parameterized shape. Such a fluid dynamic problem is relevant in several engineering fields, as it is encountered in a number of industrial applications, ranging from aircraft and automotive design, to turbo machinery and propeller modeling. We must here point out that in this work, the DMD method is used for faster evaluation of the parameterized airfoils lift towards a steady state regime solution. We remark that, since DMD is designed for time evolutionary problems, the same procedure can be used in the same fashion, to speed up convergence to periodic regime solutions [33]. Indeed, recent work on hydroacoustic computations based on LES suggested that DMD modal decomposition can successfully be employed in the reconstruction of complex and turbulent flow fields [18] provided that the snapshots used are enough to characterize all the relevant time and space frequencies in the flow. In addition, we observed that complex full order flows characterized by richer spectra require a higher amount of modes to obtain accurate flow fields reconstruction. Thus, our experience suggests that the ROM instruments used in this work are indeed effective when employed with more complex physics. For such reason, given our experience, we infer that the design pipeline here presented can also be used to study the unsteady dynamics of bubbles and vortices past the airfoil. Obviously one requirement of such type of problems would be a suitable FOM model able to capture transition phenomena occurring in the stall region. For example, we believe that the underlying high fidelity URANS solver would not be appropriate and that a transition to a LES approach would be required.

A few plots describing the DyAS results for the lift coefficient output are presented in Figs. 678, and 9. The plots in the figures are aimed at representing the evolution of the active subspace effectiveness and composition over the time dependent flow simulations. More specifically, the left diagram in each figure plots the lift coefficient at each sample point tested, as a function of the first active variable obtained through a linear combination of the sample point coordinates in the parameter space, that is \(f(\varvec{\mu }, t)\) against \({\mathbf {W}}_1^T \varvec{\mu }\).

Presenting the components of the first eigenvector of the uncentered covariance matrix, the right plot in each figure indicates the weights used in such linear combination to obtain the first active variable. In summary, the right diagram in each Figure suggests the impact of each of the original parameters on the first active variable, while the left diagram is an indicator of how well a one dimensional active subspace is able to represent the input to output relationship. Following the evolution of these two indicators it is possible, at each time instant, to assess how effective the one dimensional parameter dimension reduction is, and what is the sensitivity of the reduced lift coefficient output to variations of the original parameters.

The plots in Figs. 678, and 9 show the results of the DyAS at the fixed time instants \(t=6~\hbox {s}, 10~\hbox {s}, 14~\hbox {s}, 18~\hbox {s}\), respectively. We here remark that, given the aforementioned considerations about the solution build up in the first 12 s of the simulations, the solutions at \(t=6~\hbox {s}\) and \(t=10~\hbox {s}\) are not entirely relevant by a physical perspective. Yet, presenting such cases is still helpful in illustrating how the DyAS evolve over time and can be used to evaluate the system behavior and the output sensitivities with respect to the input parameters. For completeness in Fig. 5 we depicted the temporal evolution of 9 different morphed airfoils, and the mean among all the airfoils. A first look at the right plots for each time steps, suggests that the contribution of the parameters corresponding to the bump shape functions \(r_1\), and \(r_5\), for both the top and the bottom part of the airfoil profile are almost negligible. This means the lift coefficient is almost insensitive to variations of these 4 parameters. Alternatively, it can be said that the output function is on average almost flat along directions corresponding to the axes corresponding to parameters \(c_1\), \(c_5\), \(d_1\), and \(d_5\).

Fig. 5
figure 5

The temporal evolution of the lift coefficient from \(1~\hbox {s}\) to \(30~\hbox {s}\) for 9 different parameters, together with the mean (dashed). The angle of attack is fixed for all the airfoil profiles and it is equal to \(0^\circ \)

Figures 6 and 7 present the characterization of the one dimensional active subspace at time \(t=6~\hbox {s}\) and \(t=10~\hbox {s}\), respectively. We can clearly see that the lift coefficient is perfectly approximated along the identified direction, and such direction (the eigenvector elements) is almost the same at \(t=6~\hbox {s}\) and \(t=10~\hbox {s}\). This should not completely surprise as both time instants are included in an initial acceleration phase during which the air coming from the inflow boundary is reaching the airfoil. Given the domain arrangement described in Fig. 3, the flow velocity around the impulsively started airfoil leading edge is expected to reach the inflow value at time \(t=10~\hbox {s}\). For such reason, we will focus the description on the plots for \(t=10~\hbox {s}\), although the considerations can be immediately reproduced for previous time steps. The left plot in Fig. 7 suggests that at this meaningful instant, the first active subspace represents the input to output relationship with remarkably good accuracy. In fact, only a single output value corresponds to each active variable value. In other words, when plotted against the first variable, the output appears like a curve—a line in the present case. A look at the right diagram suggests that the shape parameters having the most impact on the lift generated by the airfoil are \(c_3\), \(c_4\), \(d_3\) and \(d_4\), which are the ones associated to shape functions with peaks located around the middle of the airfoil chord. The positive values of the eigenvector components associated to \(c_3\), \(c_4\), \(d_3\) and \(d_4\), along with the positive slope of the curve in the left plot in Fig. 7 suggest that, at this particular time instant, higher values of lift can be obtained by increasing the airfoil thickness in the mid-chord region.

Fig. 6
figure 6

On the left the sufficiency summary plot for the lift coefficient at time \(t=6.0\) s. On the right the first eigenvector components at the corresponding parameters

Fig. 7
figure 7

On the left the sufficiency summary plot for the lift coefficient at time \(t=10.0\) s. On the right the first eigenvector components at the corresponding parameters

Similar considerations can be drawn from Fig. 8, which refers the the DyAS analysis carried out at \(t=14~\hbox {s}\). Here, the points in the left diagram do not completely cluster on top of a single valued curve as was the case for the previous time step considered. Compared to what has been observed at \(t=10~\hbox {s}\), the data clearly indicate that at \(t=14~\hbox {s}\) an input to output relationship obtained using only a one dimensional active subspace will lead to less accurate lift coefficient predictions. Yet, the points in the plot are still all located within a rather narrow band surrounding a regression line having positive slope. Thus, all the considerations on the lift coefficient sensitivity with respect to variations of the shape parameters that can be inferred from the right plot, will still hold at least by a qualitative standpoint. Here, the eigenvector components suggest that the most influential parameters on the lift coefficient are \(c_3\), \(d_3\) and \(d_4\), while \(c_2\) and \(d_2\) affect the output in lesser but not negligible fashion. Compared to the previous case the importance of coefficient \(c_4\) on the output is significantly reduced. We recall that \(c_4\) is associated with increased y coordinates of the airfoil suction side past the mid-chord region. Thus, we might infer that in the acceleration phase higher lift values are obtained not only increasing the front thickness, but also lowering the camber line in the region past mid-chord.

Fig. 8
figure 8

On the left the sufficiency summary plot for the lift coefficient at time \(t=14.0\) s. On the right the first eigenvector components at the corresponding parameters

Figure 9 shows the results of the DyAS analysis at \(t=18~\hbox {s}\), when the flow approaches the final regime solution. Following the trend observed for \(t=14~\hbox {s}\), the left plot in the figure indicates that a one dimensional active subspace is not completely able to represent the input to output relationship in a satisfactory fashion. With respect to the previous plots, the output values are here located in an even wider band around a regression line with positive slope. Again, on one hand this increasingly blurred picture suggests that higher dimensional active subspaces are required to reproduce the steady state solution with sufficient accuracy; on the other hand, the diagram still suggests a quite definite trend in the output, which can be exploited for qualitative considerations. Quite interestingly, at the present time step the eigenvector component corresponding to the \(c_4\) coefficient has negative sign. Given the positive slope of the input to output relationship in the left plot of Fig. 9, this implies that increases in the airfoil ordinates on the top side in the region past the mid-chord result in lift loss. Thus, this seems to suggest that an airfoil with a higher camber line curvature, combined with a thicker leading edge region might result in increased lift. This should not surprise, as a similar kind of airfoil would result in a higher downwash due to the increased camber line curvature, yet being able to avoid stall by means of a thicker and rounder leading edge. Thus, the DyAS analysis at different time steps shows that as the impulsively started airfoil moves from an acceleration phase to a steady state regime solution, the shape modifications leading to increased lift transit from a purely symmetric increase of the thickness in the mid-chord region, to a non-symmetric modification of the camber line united with a symmetric leading edge thickness increase, respectively. Such behavior is indicated by the sign of \(c_4\) coefficient in the eigenvector characterizing the one dimensional active subspace, which is likely detecting that at steady state, regime solution, airfoils with higher camber line curvature and thicker leading edges produced higher downwash.

Fig. 9
figure 9

On the left the sufficiency summary plot for the lift coefficient at time \(t=18.0\) s. On the right the first eigenvector components at the corresponding parameters

We underline that the eigenvector components of all the time instants presented corresponding to the coefficients \(c_1\), \(c_5\), \(d_1\), and \(d_5\) are almost zero. This means that on average the lift coefficient is almost flat along these directions. We are going to exploit this fact by freezing these parameters and constructing a GPR on a reduced parameter space.

GPR approximation and prediction of the lift coefficient

The previous analysis pointed out the presence of several input parameters with minimal average influence on the target function. Making use of such consideration we construct a response surface which only depends on the remaining parameters. Both for the full parameter space and the reduced one, we use a Gaussian process regression with a RBF kernel implemented in the open source Python package GPy [21]. We then compare the performance of the two regression strategies by computing the relative error over a test data set composed by 100 samples. The error is computed as the Euclidean norm of the difference between the exact and the approximated solution over the norm of the exact solution. The training set is composed by the same 70 samples, in 10 dimensions for the GPR over the original parameter spaces, and in 6 dimensions for the reduced one. Up to \(t = 20~\hbox {s}\) the training is done using the high-fidelity simulations.

To speed up the convergence to the regime state (\(t = 30~\hbox {s}\)) we applied the DMD to get the future-state prediction of the lift. In particular, due to the initial propagation of the boundary conditions, for all the 70 training deformations we use the trend of lift coefficients within the temporal interval \([12, 20]~\hbox {s}\) to fit the DMD model, that means 8000 temporal information (\({\varDelta }t = 0.001~\hbox {s}\)). Since we used 10 POD modes—selected using the energetic criterion—for the projection of the DMD operator, our low-rank operator results of dimension 10. Despite in this case the dimensional reduction is not huge, this approach allows to predict the future state in a very fast fashion. In the high-fidelity model, we need in fact 1508 CPU seconds (on average) to simulate 1 s of the physical model, instead using DMD we can approximate a future state in less than 0.1 CPU seconds. In practices, this means that, to reach the regime state with the standard approach, the simulation lasts \(1508~\hbox {s} \times 30 \approx 45000~\hbox {s}\), while with the DMD we have \(1508~\hbox {s} \times 20 + 0.1~\hbox {s} \approx 30000~\hbox {s}\), guaranteeing to save \(\textstyle \frac{1}{3}\) of the overall computational load. All the simulations, both at the FOM and at the ROM level have been run serially on an Intel Xeon E5-2640, 2.50 GHz CPU. We highlight that this is only a part of the computational saving of the pipeline that we are proposing and is related to the training stage. The DMD allows in fact for 1/3 reduction of the simulation time required to the FOM as the remaining time is simulated by an approximated model. On the other side, once the reduced order model has been constructed, exploiting the combination of the Gaussian Process approximation and the DMD, it is possible to test new geometries in real time, with a negligible computational cost. Regarding the accuracy, we present in Fig. 10 a sensitivity analysis on the number of training snapshots, varying the temporal sampling period \({\varDelta }t_{\text {DMD}}\) from \(1{\mathrm {e}}-3~\hbox {s}\) to \(0.2~\hbox {s}\) and measuring the error on the predicted state at \(t = 30~\hbox {s}\). Similarly, we propose an analysis on the GPR accuracy: using a varying number of lift coefficients at \(t = 20~\hbox {s}\), we build the response surface and measure the error for untried parameters, both in the full dimensional space and in the reduced one. In Fig. 11 we compare the two GPR performance at each of the time steps analyzed in the simulations. Until \(12~\hbox {s}\), the regressions behave in a very similar fashion, while from \(15~\hbox {s}\) the accuracy gain obtained by distributing the 70 samples in a lower dimensional space becomes significant. The error gap between the 6 and 10 dimensional response surface in fact, consistently increases from 0.016 at \(15~\hbox {s}\) to 0.045 at steady state. This corresponds to a decrement of the error by a factor 2.

Fig. 10
figure 10

Sensitivity analysis of the dimension of the training set for the DMD (left) and for the response surface using GPR (right). For the DMD, we use 70 samples (of the parametric space) evolving in time in \([12, 20]~\hbox {s}\) and we measure the mean relative error at time \(30~\hbox {s}\) varying the sampling frequency; for the GPR, we build the response surface using up to 70 sampling lift coefficients at time \(20~\hbox {s}\) and computing the mean relative error over the test dataset composed by 100 test deformations

Fig. 11
figure 11

The relative error of the approximated outputs at different times. The relative error is computed on 100 test samples, using the high-fidelity lift coefficient to train the regression for \(t \le 20~\hbox {s}\), while for \(t > 20~\hbox {s}\) the DMD forecasted states are used for the training

The proposed method achieves better results because it exploits the DyAS to discard the directions of the input parameter space along which the target function does not vary.

Conclusions and perspectives

We presented a computational pipeline to improve the approximation of the time-varying lift coefficient of a parametrized NACA airfoil. The pipeline comprises automatic mesh deformation through RBF interpolation, high-fidelity simulation with finite volume method of turbulent flow past the airfoil, global sensitivity analysis exploiting AS, and future state prediction via DMD reduced order method. This resulted in more accurate Gaussian process regression of the lift coefficient even if in a reduced parameter space. Despite the turbulent nature of the flow, the selected testcase does not show highly nonlinear phenomena—e.g. stall, reattachment—that usually occur in several fluid dynamics problems. The proposed framework can be extendend to address also more complex applications, provided that a suitable number of snapshots is given to characterize the parameter space and frequencies required by the DMD training. Of course such more demanding training requirements would likely result in reduced ROMs speed up and would require case-specific treatments.

After the creation of the high-fidelity solutions database the application of AS highlighted a possible reduction of the parameter space due to negligible contributions of 4 different parameters. We exploit this reduction to construct a GPR over a smaller parameter space, thus improving its performance. Since the training of the regression model is done over 6 dimension instead of 10, given the same high-fidelity database dimension, the GPR is able to better approximate the solution manifold. This results in better lift coefficient predictions for new untried parameters. We also applied DMD to have future-state prediction of the target function up to 30 s and proved that the effective gain of the new GPR is preserved also for any time after the 20 s simulated with FV. In particular from 13 s the actual gain is significant, at 15 s we have an increased performance by a factor 2 in the relative error, which means that performing the regression in the reduced parameter space produces a relative error equal to 0.02, instead of 0.036. Evolving in the future the error drop increases up to 0.045 at regime (0.042 instead of 0.087, keeping the factor 2).

This computational pipeline can be seen as a parametric dynamic mode decomposition for some extent. Moreover, the sensitivity analysis has a negligible computational cost with respect to the creation of the offline high-fidelity database.

Future developments can be the study of adaptive sampling strategies exploiting a generic n-dimensional active subspace, and the coupling of different model order reduction methods. Another possible extension of the presented method regards the possibility to apply the framework to a flow field—e.g. pressure, velocity—rather than to a scalar output. It would be interesting to use this non-intrusive setting as a preprocessing tool to reduce the number of simulations required to build a reduced basis space which is later used in an intrusive manner [48]. We think this new computational pipeline can be of much interest in the context of shape optimization and dynamical systems.

Availability of data and materials

Open source software (PyDMD, ATHENA, and ITHACA-FV) available on the website mathlab.sissa.it/cse-software. All the scripts to reproduce the data are available on GitHub at the following page: github.com/mtezzele/MORtech-2019-Special-Issue.

Notes

  1. Such comparison is not exhaustive to completely verify the accuracy and the reliability of the full order model numerical simulations. It is however beyond the scope of this work to perfectly match experimental activities or previous numerical results with the full order simulations. More accurate FOM results would of course result in more accurate ROM results but would not affect the presented methodology.

References

  1. Airfoil Tools. Airfoil database search. http://www.airfoiltools.com/. 2020.

  2. ATHENA: Advanced Techniques for High dimensional parameter spaces to Enhance Numerical Analysis. https://github.com/mathLab/ATHENA. 2020.

  3. Abbott IH, Von Doenhoff AE. Theory of wing sections: including a summary of airfoil data. North Chelmsford: Courier Corporation; 2012.

    Google Scholar 

  4. Aguiar IP. Dynamic active subspaces: a data-driven approach to computing time-dependent active subspaces in dynamical systems. Master’s thesis, University of Colorado Boulder, 2018.

  5. Beckert A, Wendland H. Multivariate interpolation for fluid-structure-interaction problems using radial basis functions. Aerosp Sci Technol. 2001;5(2):125–34.

    Article  MATH  Google Scholar 

  6. Bistrian DA, Navon IM. An improved algorithm for the shallow water equations model reduction: dynamic mode decomposition vs POD. Int J Numer Methods Fluids. 2015;78(9):552–80.

    Article  MathSciNet  Google Scholar 

  7. Bos FM, van Oudheusden BW, Bijl H. Radial basis function based mesh deformation applied to simulation of flow around flapping wings. Comput Fluids. 2013;79:167–77.

    Article  Google Scholar 

  8. Brunton SL, Kutz JN. Data-driven science and engineering: machine learning, dynamical systems, and control. Cambridge: Cambridge University Press; 2019.

    Book  MATH  Google Scholar 

  9. Buhmann MD. Radial basis functions: theory and implementations, vol. 12. Cambridge: Cambridge University Press; 2003.

    Book  MATH  Google Scholar 

  10. Constantine PG. Active subspaces: emerging ideas for dimension reduction in parameter studies, vol. 2. Philadelphia: SIAM; 2015.

    Book  MATH  Google Scholar 

  11. Constantine PG, Doostan A. Time-dependent global sensitivity analysis with active subspaces for a lithium ion battery model. Stat Anal Data Mining ASA Data Sci J. 2017;10(5):243–62.

    Article  MathSciNet  Google Scholar 

  12. Constantine PG, Dow E, Wang Q. Active subspace methods in theory and practice: applications to kriging surfaces. SIAM J Sci Comput. 2014;36(4):A1500–24.

    Article  MathSciNet  MATH  Google Scholar 

  13. Constantine PG, Emory M, Larsson J, Iaccarino G. Exploiting active subspaces to quantify uncertainty in the numerical simulation of the HyShot II scramjet. J Comput Phys. 2015;302:1–20.

    Article  MathSciNet  MATH  Google Scholar 

  14. Constantine PG, Howard R, Salinger AG, Grey Z, Diaz P, Fletcher L. Python Active-subspaces Utility Library. J Open Source Softw. 2016;1(5):79.

    Article  Google Scholar 

  15. Demo N, Tezzele M, Gustin G, Lavini G, Rozza G. Shape optimization by means of proper orthogonal decomposition and dynamic mode decomposition. In: Technology and science for the ships of the future: proceedings of NAV 2018: 19th international conference on ship & maritime research. IOS Press; 2018. p. 212–9.

  16. Demo N, Tezzele M, Rozza G. PyDMD: Python dynamic mode decomposition. J Open Source Softw. 2018;3(22):530.

    Article  Google Scholar 

  17. Demo N, Tezzele M, Rozza G. A non-intrusive approach for reconstruction of POD modal coefficients through active subspaces. Comptes Rendus Mécanique de l’Académie des Sciences, DataBEST 2019 Special Issue, 2019.

  18. Gadalla M, Cianferra M, Tezzele M, Stabile G, Mola A, Rozza G. On the comparison of LES data-driven reduced order approaches for hydroacoustic analysis. arXiv preprint arXiv:2006.14428, Submitted, 2020.

  19. Georgaka S, Stabile G, Rozza G, Bluck MJ. Parametric POD-Galerkin model order reduction for unsteady-state heat transfer problems. Commun Comput Phys. 2020;27(1):1–32.

    Article  MathSciNet  Google Scholar 

  20. Ghoreishi SF, Friedman S, Allaire DL. Adaptive dimensionality reduction for fast sequential optimization With Gaussian processes. J Mech Des. 2019;141(7):071404.

    Article  Google Scholar 

  21. GPy. GPy: A Gaussian process framework in Python. http://github.com/SheffieldML/GPy, since 2012.

  22. Guo M, Hesthaven JS. Reduced order modeling for nonlinear structural analysis using Gaussian process regression. Comput Methods Appl Mech Eng. 2018;341:807–26.

    Article  MathSciNet  MATH  Google Scholar 

  23. Hesthaven JS, Rozza G, Stamm B. Certified reduced basis methods for parametrized partial differential equations. Berlin: Springer; 2016.

    Book  MATH  Google Scholar 

  24. Hicks RM, Henne PA. Wing design by numerical optimization. J Aircraft. 1978;15(7):407–12.

    Article  Google Scholar 

  25. Hijazi S, Stabile G, Mola A, Rozza G. Data-driven pod-galerkin reduced order model for turbulent flows. J Comput Phys. 2020;416:109513.

    Article  MathSciNet  MATH  Google Scholar 

  26. Issa R. Solution of the implicitly discretized fluid flow equations by operator-splitting. J Comput Phys. 1986;62(1):40–65.

    Article  MathSciNet  MATH  Google Scholar 

  27. Jacobs EN, Ward KE, Pinkerton RM. The characteristics of 78 related airfoil sections from tests in the variable-density wind tunnel. Technical Report 430, N.A.C.A., 1933.

  28. Jakobsson S, Amoignon O. Mesh deformation using radial basis functions for gradient-based aerodynamic shape optimization. Comput Fluids. 2007;36(6):1119–36.

    Article  MATH  Google Scholar 

  29. Ji W, Wang J, Zahm O, Marzouk YM, Yang B, Ren Z, Law CK. Shared low-dimensional subspaces for propagating kinetic uncertainty to multiple outputs. Combust Flame. 2018;190:146–57.

    Article  Google Scholar 

  30. Koopman BO. Hamiltonian systems and transformation in Hilbert space. Proc Natl Acad Sci USA. 1931;17(5):315.

    Article  MATH  Google Scholar 

  31. Kutz JN, Brunton SL, Brunton BW, Proctor JL. Dynamic mode decomposition: data-driven modeling of complex systems. Philadelphia: SIAM; 2016.

    Book  MATH  Google Scholar 

  32. Lam R, Zahm O, Marzouk Y, Willcox K. Multifidelity dimension reduction via active subspaces. arXiv preprint arXiv:1809.05567, 2018.

  33. Le Clainche S, Rodríguez D, Theofilis V, Soria J. Flow around a hemisphere-cylinder at high angle of attack and low Reynolds number. Part II: POD and DMD applied to reduced domains. Aerosp Sci Technol. 2015;44:88–100.

    Article  Google Scholar 

  34. Le Clainche S, Vega JM. Higher order dynamic mode decomposition. SIAM J Appl Dyn Syst. 2017;16(2):882–925.

    Article  MathSciNet  MATH  Google Scholar 

  35. Le Clainche S, Vega JM, Soria J. Higher order dynamic mode decomposition of noisy experimental data: the flow structure of a zero-net-mass-flux jet. Exp Ther Fluid Sci. 2017;88:336–53.

    Article  Google Scholar 

  36. Lin VY, Pinkus A. Fundamentality of ridge functions. J Approx Theory. 1993;75(3):295–311.

    Article  MathSciNet  MATH  Google Scholar 

  37. Loudon T, Pankavich S. Mathematical analysis and dynamic active subspaces for a long term model of HIV. arXiv preprint arXiv:1604.04588, 2016.

  38. Lukaczyk TW, Constantine P, Palacios F, Alonso JJ. Active subspaces for shape optimization. In: 10th AIAA multidisciplinary design optimization conference. 2014. p. 1171.

  39. Manzoni A, Quarteroni A, Rozza G. Model reduction techniques for fast blood flow simulation in parametrized geometries. Int J Numer Methods Biomed Eng. 2012;28(6–7):604–25.

    Article  MathSciNet  Google Scholar 

  40. Morris A, Allen C, Rendall T. CFD-based optimization of aerofoils using radial basis functions for domain element parameterization and mesh deformation. Int J Numer Methods Fluids. 2008;58(8):827–60.

    Article  MathSciNet  MATH  Google Scholar 

  41. Patankar S, Spalding D. A calculation procedure for heat, mass and momentum transfer in three-dimensional parabolic flows. Int J Heat Mass Transf. 1972;15(10):1787–806.

    Article  MATH  Google Scholar 

  42. Quarteroni A, Rozza G, et al. Reduced order methods for modeling and computational reduction, vol. 9. Berlin: Springer; 2014.

    MATH  Google Scholar 

  43. Rozza G, Hess MW, Stabile G, Tezzele M, Ballarin F. Basic ideas and tools for projection-based model reduction of parametric partial differential equations. In: Benner P, Grivet-Talocia S, Quarteroni A, Rozza G, Schilders WHA, Silveira LM, editors. Handbook on model order reduction, volume 1, chapter 1. De Gruyter; 2020. (In Press).

  44. Rozza G, Malik MH, Demo N, Tezzele M, Girfoglio M, Stabile G, Mola A. Advances in reduced order methods for parametric industrial problems in computational fluid dynamics. In: Owen R, de Borst R, Reese J, Chris P, editors. ECCOMAS ECFD 7 - Proceedings of 6th European conference on computational mechanics (ECCM 6) and 7th European conference on computational fluid dynamics (ECFD 7). Glasgow, UK; 2018. p. 59–76.

  45. Salmoiraghi F, Ballarin F, Corsi G, Mola A, Tezzele M, Rozza G. Advances in geometrical parametrization and reduced order models and methods for computational fluid dynamics problems in applied sciences and engineering: overview and perspectives. ECCOMAS Congress 2016 Proc 7th Eur Congress Comput Methods Appl Sci Eng. 2016;1:1013–31.

    Article  Google Scholar 

  46. Schmid PJ. Dynamic mode decomposition of numerical and experimental data. J Fluid Mech. 2010;656:5–28.

    Article  MathSciNet  MATH  Google Scholar 

  47. Spalart P, Allmaras S. A one-equation turbulence model for aerodynamic flows. In: 30th Aerospace Sciences Meeting and Exhibit. American Institute of Aeronautics and Astronautics. 1992.

  48. Stabile G, Rozza G. Finite volume POD-Galerkin stabilized reduced order methods for the parametrized incompressible Navier–Stokes equations. Comput Fluids. 2018;173:273–84.

    Article  MathSciNet  MATH  Google Scholar 

  49. Tezzele M, Ballarin F, Rozza G. Combined parameter and model reduction of cardiovascular problems by means of active subspaces and POD-Galerkin methods. In: Boffi D, Pavarino LF, Rozza G, Scacchi S, Vergara C, editors. Mathematical and numerical modeling of the cardiovascular system and applications. Berlin: Springer International Publishing; 2018. p. 185–207.

    Chapter  Google Scholar 

  50. Tezzele M, Demo N, Mola A, Rozza G. An integrated data-driven computational pipeline with model order reduction for industrial and applied mathematics. Submitted, Special Volume ECMI, 2018.

  51. Tezzele M, Salmoiraghi F, Mola A, Rozza G. Dimension reduction in heterogeneous parametric spaces with application to naval engineering shape design problems. Adv Model Simul Eng Sci. 2018;5(1):25.

    Article  Google Scholar 

  52. Tripathy R, Bilionis I. Deep active subspaces – a scalable method for high-dimensional uncertainty propagation. arXiv preprint arXiv:1902.10527, 2019.

  53. Tu J, Rowley C, Luchtenburg D, Brunton S, Kutz N. On dynamic mode decomposition: theory and applications. J Comput Dyn. 2014;1(2):391–421.

    Article  MathSciNet  MATH  Google Scholar 

  54. Weller HG, Tabor G, Jasak H, Fureby C. A tensorial approach to computational continuum mechanics using object-oriented techniques. Comput Phys. 1998;12(6):620–31.

    Article  Google Scholar 

  55. Wendland H. Piecewise polynomial, positive definite and compactly supported radial functions of minimal degree. Adv Comput Math. 1995;4(1):389–96.

    Article  MathSciNet  MATH  Google Scholar 

  56. Williams CK, Rasmussen CE. Gaussian processes for machine learning, vol. 2. Cambridge: MIT Press; 2006.

    MATH  Google Scholar 

  57. Wycoff N, Binois M, Wild SM. Sequential learning of active subspaces. arXiv preprint arXiv:1907.11572. 2019.

  58. Zahm O, Constantine P, Prieur C, Marzouk Y. Gradient-based dimension reduction of multivariate vector-valued functions. arXiv preprint arXiv:1801.07922. 2018.

  59. Zhang H, Rowley CW, Deem EA, Cattafesta LN. Online dynamic mode decomposition for time-varying systems. SIAM J Appl Dyn Syst. 2019;18(3):1586–609.

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

This work was partially supported by an industrial Ph.D. grant sponsored by Fincantieri S.p.A., and partially funded by the project UBE2—“Underwater blue efficiency 2” funded by Regione FVG, POR-FESR 2014–2020, Piano Operativo Regionale Fondo Europeo per lo Sviluppo Regionale. It was also partially supported by European Union Funding for Research and Innovation—Horizon 2020 Program—in the framework of European Research Council Executive Agency: H2020 ERC CoG 2015 AROMA-CFD project 681447 “Advanced Reduced Order Methods with Applications in Computational Fluid Dynamics” P.I. Gianluigi Rozza.

Funding

This work was partially supported by an industrial Ph.D. grant sponsored by Fincantieri S.p.A., and partially funded by the project UBE2—“Underwater blue efficiency 2” funded by Regione FVG, POR-FESR 2014-2020, Piano Operativo Regionale Fondo Europeo per lo Sviluppo Regionale. It was also partially supported by European Union Funding for Research and Innovation—Horizon 2020 Program—in the framework of European Research Council Executive Agency: H2020 ERC CoG 2015 AROMA-CFD project 681447 “Advanced Reduced Order Methods with Applications in Computational Fluid Dynamics” P.I. Gianluigi Rozza.

Author information

Authors and Affiliations

Authors

Contributions

The co-authors worked to the manuscript and the research topics and projects giving each of them an equivalent amount of contribution. M. Tezzele worked on active subspaces developments and, together with N. Demo, on the Gaussian process regression. N. Demo carried out the dynamic mode decomposition approximation. G. Stabile worked on automatic mesh deformation and high-fidelity simulations. A. Mola contributed to the aforementioned activities and participated to writing the final version of the manuscript, while G. Rozza supervised and integrated the activities, carried out the biblio research and brought the computational reduction expertise. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Gianluigi Rozza.

Ethics declarations

Ethics approval and consent to participate

Not applicable.

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Tezzele, M., Demo, N., Stabile, G. et al. Enhancing CFD predictions in shape design problems by model and parameter space reduction. Adv. Model. and Simul. in Eng. Sci. 7, 40 (2020). https://doi.org/10.1186/s40323-020-00177-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s40323-020-00177-y

Keywords