Abstract
Several finite element methods for simulating incompressible flows rely on the streamline upwind Petrov–Galerkin stabilization (SUPG) term, which is weighted by \(\tau _{\text{SUPG}}\). The conventional formulation of \(\tau _{\text{SUPG}}\) includes a constant that depends on the time step size, producing an overall method that becomes exceedingly less accurate as the time step size approaches zero. In practice, such method inconsistency introduces significant error in the solution, especially in cardiovascular simulations, where small time step sizes may be required to resolve multiple scales of the blood flow. To overcome this issue, we propose a consistent method that is based on a new definition of \(\tau _{\text{SUPG}}\). This method, which can be easily implemented on top of an existing streamline upwind Petrov–Galerkin and pressure stabilizing Petrov–Galerkin method, involves the replacement of the time step size in \(\tau _{\text{SUPG}}\) with a physical time scale. This time scale is calculated in a simple operation once every time step for the entire computational domain from the ratio of the L2-norm of the acceleration and the velocity. The proposed method is compared against the conventional method using four cases: a steady pipe flow, a blood flow through vascular anatomy, an external flow over a square obstacle, and a fluid–structure interaction case involving an oscillatory flexible beam. These numerical experiments, which are performed using linear interpolation functions, show that the proposed formulation eliminates the inconsistency issue associated with the conventional formulation in all cases. While the proposed method is slightly more costly than the conventional method, it significantly reduces the error, particularly at small time step sizes. For the pipe flow where an exact solution is available, we show the conventional method can over-predict the pressure drop by a factor of three. This large error is almost completely eliminated by the proposed formulation, dropping to approximately 1% for all time step sizes and Reynolds numbers considered.
Similar content being viewed by others
Introduction
Studies of the human cardiovascular system have greatly benefited from the advances in computational fluid dynamics (CFD) since the end of the twentieth century1,2,3. Among the numerical methods for solving the Navier–Stokes equations4,5,6, the finite element method has found popularity for cardiovascular CFD simulations because it is a convenient framework for dealing with complex geometries and modeling fluid–structure interaction7,8,9,10. Together with advancements in clinical imaging techniques11,12,13,14, CFD simulations using the finite element method have taken a significant part in in-vitro studies, clinical diagnosis, and surgical planning for cardiovascular diseases15,16,17,18,19,20.
The finite element method for solving the unsteady Navier–Stokes equations relies on an upwind term that adds an artificial diffusion along the stream-wise directions, weighted by a stabilization parameter \(\tau\), to prevent nonphysical oscillations inherent to the Galerkin method in strongly convective regimes21,22,23,24. One of the most commonly used formulations of \(\tau\) has been the one proposed in the streamline upwind Petrov–Galerkin formulations (SUPG)21, \(\tau _{\text{SUPG}}\), which is also adopted in others such as the residual-based variational multiscale (RBVMS) formulation25,26.
Traditionally, the steady form of \(\tau _{\text{SUPG}}\) is derived from a 1D steady advection-diffusion model problem, such that the added diffusion to the Galerkin’s formulation is just enough to recover the exact solution, thereby eliminating numerical oscillations at higher element Peclet numbers21,22,27,28. While this steady form of \(\tau _{\text{SUPG}}\) works well for strongly advective steady-state flows, it is not readily applicable to time-varying flows, as it exhibits poor convergence behavior, particularly at smaller time step sizes (\(\Delta t\)). The traditional strategy to overcome this issue has been adding a \(\Delta t\)-dependent term to the definition of \(\tau _{\text{SUPG}}\)22,28,29. The added \(\Delta t\)-dependent term, which is based on the discrete approximation of the inverse of the strong differential operator, dominates the contributions associated with the advection and diffusion terms at small time step sizes. This design, which has found widespread use for its excellent convergence characteristics, produces a strong solution dependency on the time step size, such that the solution becomes less accurate as the time step size is reduced toward zero30,31,32 (also see the “Results” section). As a consequence, this time step size-dependent design of \(\tau _{\text{SUPG}}\) produces an inconsistent method with regard to the time step size. This inconsistency issue is particularly exacerbated in a subset of cardiovascular simulations that demand a small time step size for their multiscale behaviors, such as those involving lumped parameter network modeling33,34,35,36. In fact, some of the most popular packages for cardiovascular simulation37,38 are based on a stabilized finite element formulation that also suffers from the described issue, thereby motivating the present study.
There has been some effort in the past to overcome the inconsistency issue associated with this design of \(\tau _{\text{SUPG}}\)30,39,40. Tezduyar and others introduced an element-vector-based \(\tau _{\text{SUPG}}\) that uses the relative elemental magnitude of terms in the weak form of the Navier–Stokes equations32,41. Although time step size dependency is not entirely eliminated with the proposed formulation, a notable reduction in the solution variation with the time step size was reported in turbulent channel flow simulations. Furthermore, this method relies on sets of integrals on each element that must be performed before the evaluation of the discrete form at the Gauss quadrature. Thus, it may not be simple to implement this technique in an existing finite element program that is not already designed based on the element-vector-based method. In another study, R. Codina and others proposed a subscale-tracking approach that solves a time-dependent ordinary differential equation at each Gauss integration point to evolve its stabilization parameter in time31. This method eliminates the time step size dependency for steady-state solutions. The additional computational cost to solve an ordinary differential equation at each Gauss point, however, is non-negligible for this method. Despite the relatively better time step size consistency shown by these methods in the numerical experiments, they have not found widespread implementation in cardiovascular simulations37,42.
In this study, we propose a formulation for \(\tau _{\text{SUPG}}\) that eliminates the solution’s dependency on the time step size. This method is simple to implement in existing CFD solvers that are based on the streamline upwind Petrov–Galerkin and pressure stabilizing Petrov–Galerkin (SUPG/PSPG) method. More specifically, we replace the inverse of the time step size in the definition of the \(\tau _{\text{SUPG}}\) with a measure of the flow frequency. The motivation behind such formulation lies in the spectral formulation of the unsteady Stokes equations where the time step size dependent parameter in the \(\tau _{\text{SUPG}}\) is replaced by the spectral mode number43. The same parameter, when expressed in a spatio-temporal setting, inspires the use of a flow-dependent time scale in the \(\tau _{\text{SUPG}}\) definition, hence motivating the present design.
The idea of replacing the time step size in \(\tau _{\text{SUPG}}\) with an acceleration-to-velocity ratio has been proposed independently earlier by Evans and others44 to simulate turbulent flows. Our present study nonetheless distinguishes from the previous study both in the formulation and the application. First, the previous study adopts an elemental measure of velocity and acceleration, while we use the global-averaged values in defining \(\tau _{\text{SUPG}}\). As we discuss later in the formulation section, this choice was made for stability reasons. While a local measure produces stable results when used in conjunction with an explicit time integration, it creates instabilities in implicit solvers, which is the concern of the present study. Second, the present study investigates the behavior of the new \(\tau _{\text{SUPG}}\) using a range of canonical and realistic anatomical cases, thereby evaluating its potential for cardiovascular simulations.
The article is organized as follows: We first present the formulation of the stabilized finite element method for the Navier–Stokes equations, the motivation behind the proposed \(\tau _{\text{SUPG}}\), and its formulation. We present four cases to compare the present formulation against the conventional one: a pipe flow with steady boundary conditions, a time-periodic blood flow in a complex cardiovascular geometry (modified Blalock–Taussig shunt), a two-dimensional external flow over a square, and a two-dimensional flow over a square with an attached flexing beam. We will also discuss the convergence and computational cost of the present formulation. Lastly, we conclude our study and discuss the future outlook in the broader fields of cardiovascular simulations and stabilized finite element methods.
Formulation
The Navier–Stokes equations for incompressible flows are stated as
where \(\rho\) is the density, \(\textbf{u}(\textbf{x},t)\) is the velocity, \(\textbf{f}(\textbf{x},t)\) is the external forcing, \(\Omega \times [0,T]\) is the fluid computational spatio-temporal domain, and the stress tensor
where \(p(\textbf{x},t)\) is pressure and \(\mu\) is the dynamic viscosity. The Dirichlet and Neumann boundary conditions are defined as
respectively, where \(\mathrm {\Gamma _g}\) and \(\mathrm {\Gamma _h}\) are subsets of the boundary \(\Gamma\) where the Dirichlet and Neumann boundaries are prescribed, \(\textbf{n}\) is the outward unit normal vector, and \(\textbf{g}\) and \(\textbf{h}\) are the given Dirichlet and Neumann boundary conditions, respectively.
The discrete form of the Navier–Stokes equations we used in this study is stated as finding \(\textbf{u}^h \in S_\textbf{u}^h\) and \(p^h \in S_p^h\) such that for all \(\textbf{w}^h \in V_\textbf{u}^h\) and \(q^h \in V_p^h\),
In the above problem statement, \(S_\textbf{u}^h\) and \(S_p^h\) are the discrete solution spaces for the velocity and pressure, respectively, and \(V_\textbf{u}^h\) and \(V_p^h\) are the finite-dimensional test function spaces for the velocity and pressure, respectively.
In Eq. (4), the terms directly obtained from Eq. (1) are supplemented with three elemental stabilization terms. The two terms multiplied by \(\tau _{\text{SUPG}}\) are the conventional SUPG and PSPG stabilizations to ensure stability in strongly convective flows and allow for equal order interpolation functions for velocity and pressure, respectively21,22. The term involving \(\nu _{\text{C}}\) comes from the residual-based variational multiscale methods (VMS)45,46,47. While there are some variations in defining these terms, we consider
and
as the common conventional definition of these stabilization parameters for later comparisons28,45,48. In Eq. (5), \(\nu =\mu /\rho\) is the kinematic viscosity, \(\Delta {t}\) is the time step size, \(\varvec{\xi }\) is the covariant tensor obtained from the mapping of the physical-parent elements, and \(C_{\text{I}}\) is a shape-function-dependent constant, which is 3 in our study.
The inconsistency of the above-mentioned stabilized formulation is caused by \(\Delta t\) in \(\tau _{\text{SUPG}}\). In a steady flow, in which the solution should be independent of \(\Delta t\), \(\tau _{\text{SUPG}}\) and thus the overall added diffusion will change with \(\Delta t\), creating a time step size dependent solution. In the later sections, we will demonstrate that this inconsistency issue is not unique to steady-state flows and also occurs for unsteady flows.
In an earlier study, we introduced a pressure-stabilized technique for solving the unsteady Stokes equations expressed in the frequency domain rather than the time domain43. The resulting complex-valued stabilization parameter was derived systematically by taking the divergence of the momentum equation and estimating the Laplacian in the diffusion term using a characteristic element size. The modulus of that PSPG-type stabilization parameter is
where \(\omega\) is the spectral mode appearing as a source term in the frequency formulation of the unsteady Stokes equations. This spectral formulation of \(\tau\) closely resembles the conventional definition of \(\tau _{\text{SUPG}}\) in Eq. (5) if \(2/\Delta {t}\) is replaced by \(\omega\). The \(\textbf{u}^h\cdot \varvec{\xi }\textbf{u}^h\) term does not appear in Eq. (7) as the convective acceleration term is not present in the unsteady Stokes equations. Adding this term into Eq. (7) and incorporating the O(1) constant \(C_{\text{I}}\) results in
which is adopted in this study to replace the conventional definition of \(\tau _{\text{SUPG}}\) from Eq. (5) when solving Eq. (4).
The new definition of \(\tau _{\text{SUPG}}\) in Eq. (8) becomes identical to the traditional formulation (Eq. 5) if \(\omega = 2/\Delta {t}\). This value is close to the largest frequency associated with the time discretization, namely \(\pi /\Delta {t}\) that occurs when the solution oscillates between consecutive time steps. In practice, especially in cardiovascular simulations, the solution is a much smoother function of time and has a frequency content that peaks at a much smaller \(\omega\) than \(\pi /\Delta {t}\). The distinction of these two frequencies inspires the proposed definition of \(\tau _{\text{SUPG}}\).
It is straightforward to evaluate Eq. (8) in a spectral formulation as \(\omega\) is the computed frequency and readily available as an independent parameter. However, its adoption is not straightforward in a traditional time formulation, where \(\omega\) does not appear as an independent parameter. Ideally, \(\omega\) must satisfy several properties. First, it must produce a scheme that remains stable under a variety of conditions. Second, it must be extracted from physical variables, such as the velocity and acceleration, rather than the time step size, so that \(\tau _{\text{SUPG}}\) converges to a unique quantity as the time step size goes to zero. Third, it should be simple to implement and cost-efficient to calculate. Given these criteria, we propose
where \(\Vert \textbf{f}\Vert ^2_{L^2} = \int _\Omega \Vert \textbf{f}\Vert ^2 d\Omega\). This formulation of \(\omega\) is designed to go to zero as the flow reaches a steady state, where \(\frac{\partial {\textbf{u}^h}}{\partial t}\) goes to zero. We will show in the results section that this formulation is consistent in both steady and unsteady flows as \(\Delta t \rightarrow 0\). We will also show that the present formulation is relatively robust even though it increases the computational cost compared to the conventional method.
For moving domain simulations that express Eq. (4) in an arbitrary Eulerian–Lagrangian framework, \(\textbf{u}^h\) in the convective acceleration term is replaced by the fluid velocity relative to moving mesh \(\textbf{u}^h - \hat{\textbf{u}}^h\), where \(\hat{\textbf{u}}^h\) denotes mesh velocity. It is this velocity that is employed in the definition of \(\tau _{\text{SUPG}}\) and also \(\omega\) in Eq. (9), changing it to
where the acceleration term is measured at the mesh node location \(\hat{\textbf{x}}\) and integrals performed over the fluid domain \(\Omega ^f\). By subtracting the mesh velocity from the fluid velocity in Eq. (10), the resulting definition of \(\omega\) will be Galilean invariant. This results in a scheme that produces a unique solution if all velocities were to be measured from a moving inertial reference frame. Later in the result section, we demonstrate the consistency of this method in a moving domain configuration using a fluid structure interaction simulation test case.
Ideally, one would compute velocity and acceleration locally at the Gauss quadrature point when evaluating \(\omega\) so that the solution becomes a function of the local dynamics of the problem. Unfortunately, this choice, which has been successfully employed with explicit time integration in the past44, fails to converge in our implicit formulation. This lack of convergence can be attributed to the velocity appearing in the denominator of Eq. (9), thereby creating widely varying \(\omega\) in regions where flow is temporarily stagnant. This convergence issue is avoided for all cases tested here by using a global measure of velocity and acceleration through integrating their norms over the entire domain as in Eq. (9).
In theory, using a global measure of velocity and acceleration could produce a solution that depends on the domain size. Consider an external flow over an obstacle in which the \(\Vert \frac{\partial {\textbf{u}^h}}{\partial t}\Vert _{L^2}\) term receives non-zero contribution only from regions near the obstacle whereas \(\Vert {\textbf{u}^h}\Vert _{L^2}\) receives a contribution from the entire domain. In this setting, \(\omega\) goes to zero as the size of the computational domain grows, resulting in a domain size-dependent value.
As we will show later in the results section, this domain-size dependency issue does not translate to inconsistency of the formulation in practice. That is because the \(\omega ^2\) term in Eq. (8) is much smaller relative to the sum of the other two terms. In fact, we show that the solution obtained from the proposed formulation is very similar to that of the conventional formulation with a very large \(\Delta t\). Therefore, increasing the domain size will decrease a parameter in the definition of \(\tau _{\text{SUPG}}\) that is already small, thus hardly changing the solution.
Even though the \(\omega ^2\) value in \(\tau _{\text{SUPG}}\) is very small, dropping it from its definition will create convergence issues, as it has been established in the past27,28. The reason that the inclusion of the \(\omega ^2\) term in \(\tau _{\text{SUPG}}\) prevents such scenarios is that a widely varying solution in time will lead to a relatively large \(\omega\). As a result, the contribution of \(\omega\) grows as the solution becomes more unstable, thereby creating a recovery effect that stabilizes the simulation.
In CFD applications, the velocity field may be initialized from zero, thus creating a divide-by-zero operation in the code when evaluating Eq. (9). To avoid such possibilities, we set \(\omega = 2/\Delta {t}\) at the first time step, recovering the conventional definition of \(\tau _{\text {SUPG}}\).
As detailed in a previous publication49, we use the implicit generalized-\(\alpha\) time integration scheme50 in our solver. The use of this time integration scheme significantly simplifies the implementation of the proposed formulation since velocity and acceleration are readily available as discrete state variables. Thus, in our implementation, \(\frac{\partial {\textbf{u}^h}}{\partial t}\) and \(\textbf{u}^h\) in Eq. (9) are explicitly computed from those variables in a single operation. As we will demonstrate in the results, \(\omega\) is a slowly varying parameter, thus we perform this operation only once in each time step using the solution at the previous time step. Given that the generalized-\(\alpha\) method also provides access to variables at the intermediate time points (i.e., \(n+\alpha _m\) and \(n+\alpha _f\) for the acceleration and velocity, respectively), one may elect to use those intermediate variables to update \(\omega\) within each Newton–Raphson iterations. This choice, however, is not adopted in this study as it entails extra computations and has little effect on the overall stability of the solver. The rest of the implementation, including the computation of \(\tau _{\text{SUPG}}\) at the Gauss quadrature points based on the intermediate variables are left unchanged and are identical to the conventional formulation.
Simulations and results
The above formulation is implemented in our in-house finite-element solver, multi-physics finite-element solver (MUPFES)35,49,51. A specialized iterative algorithm, preconditioner, and parallelization strategy are employed for an efficient and scalable solution of the linear system of equations49,51,52,53. The solver has been verified54 and extensively employed for cardiovascular modeling in the past55,56,57. This solver is parallelized using a message passing interface (MPI). The workload is parallelized using spatial partitioning by employing ParMETIS library58. All computations are performed on a cluster of AMD Opteron\(^\text{TM}\) 6378 processors that are interconnected via a QDR Infiniband.
At each time step, several Newton–Raphson iterations are performed to ensure the residual falls by over three orders of magnitude. At each Newton–Raphson iteration, a linear system is solved using the generalized minimal residual (GMRES) method59 with a tolerance of \(10^{-2}\).
Four cases are simulated using both the conventional formulation (Eq. 5) and the present formulation (Eq. 8) for \(\tau _{\text {SUPG}}\): a pipe flow, flow in a modified Blalock–Taussig shunt geometry55, a two-dimensional external flow over a square, and a flow over a square with an attached flexible beam. These numerical experiments are designed to stress-test various aspects of the two formulations in canonical and physiologic settings. More specifically, these cases represent three classes of flow simulations where (1) the boundary conditions and the solution are both steady, (2) the boundary condition and the solution are both unsteady, (3) the boundary conditions are steady but the solution is unsteady (in this case due to vortex shedding), and (4) the fluid domain is not fix with unsteady solution. All of the simulations are initialized using \(\mathbf {u_0} = 0\) and continued in time to reach cycle-to-cycle convergence or steady-state solutions. For apple-to-apple comparison, all parameters, except for the \(\tau _{\text {SUPG}}\) definition, are kept the same when comparing the present formulation against its conventional counterpart.
Steady pipe flow
We first consider the case of flow in a straight pipe with steady boundary conditions, which can be considered the most simple and fundamental flow in the cardiovascular system with an existing analytical solution for comparison. In our simulations, a steady flow rate is imposed at the inlet and the pressure drop across the pipe is predicted using the present and conventional methods. The pipe has a length of 15 cm and a radius of 1 cm. A parabolic velocity profile is imposed at the inlet with an amplitude that results in a 10 mL/s flow rate. A zero Neumann boundary condition is imposed at the outlet. The dynamic viscosity is fixed at 1 g/cm-s. Three different densities, 1.571, 15.71, and 157.1 g/mL are selected to produce three Reynolds numbers (Re), 10, 100, and 1000, respectively. This way, we capture a wide range of Reynolds numbers that occur in cardiovascular flows60. For all cases, the pressure drop must remain the same according to the Hagen-Poiseuille analytical solution61, thereby allowing us to measure the accuracy of each method.
The mesh generated for this case contains 207,063 tetrahedral elements, which are used for the velocity and pressure interpolation as well as their test functions. Each Reynolds number is simulated using four different time step sizes of \(\Delta {t} = 10^{-1}\), \(10^{-2}\), \(10^{-3}\), and \(10^{-4}\) s. This range of time step sizes, which is typical in cardiovascular simulations, results in Courant–Friedrichs–Lewy numbers (\(\text{CFL} = {\overline{u}}\Delta t/\overline{\Delta x}\)) ranging from 5.2 to \(5.2\times 10^{-3}\), based on the mean element size of the mesh, \(\overline{\Delta x}\), and the mean flow velocity, \({\overline{u}}\). This range of CFL numbers, which captures under-resolved to over-resolved time discretizations, can be encountered in a typical simulation due to the differences in velocity and mesh resolution in different cardiovascular branches. Furthermore, multi-domain simulations can require the use of a smaller time step size (hence CFL) to ensure stability35.
All simulation cases were run in parallel with 32 cores. Equations are integrated for 5 s (approximately three flow-through times) to ensure steady conditions are reached. The \(l^2\)-norm of the residual is dropped by 3.5 orders of magnitude at each time step using Newton–Raphson iterations. Considering three Reynolds numbers, four time step sizes, and two formulations, we ran a total of 24 simulations for this case.
The results for this case are condensed in Fig. 1, which shows the predicted pressure drop, normalized by that of the Poiseuille solution61, as a function of the time step size for three different Reynolds numbers. The solutions calculated using the conventional \(\tau _{\text{SUPG}}\) formulation becomes exceedingly less accurate as the Reynolds number is increased and the time step size is reduced (Fig. 1a). That produces a very large error at \(\text{Re} =\)1000 and \(\Delta {t} = 10^{-4}\) where the predicted pressure drop is three times that of the analytical prediction. This large deviation from the reference solution confirms the inconsistency of the conventional formulation that we discussed earlier. This effect is amplified at higher Reynolds numbers when the artificial viscosity introduced through \(\tau _{\text{SUPG}}\) is larger in comparison to the physical viscosity, thus creating a larger variation in the solution as \(\tau _{\text{SUPG}}\) is varied with \(\Delta t\).
The present formulation, on the other hand, produces predictions that are independent of the time step size, confirming that it is a consistent formulation for steady-state flows (Fig. 1b). The overall error, which is primarily associated with spatial discretization, is negligible in comparison to the conventional formulation. The error for the case discussed above (\(\mathrm Re=1000\) and \(\Delta t=10^{-4}\)) drops from 300% to 0.7% when one uses the present rather than the conventional formulation.
Such a large difference in the solutions can be attributed to the large difference between \(\omega\) and \(2/\Delta t\) term in \(\tau _{\text {SUPG}}\) definition. The large difference between the two is depicted in Fig. 2 which shows the history of \(\omega\) over the course of the simulation. Given that \(\omega = 2/\Delta t\) at \(t=0\), the two methods are equivalent at the beginning of the simulation. However, as time progresses, the conventional formulation will significantly deviate from the present formulation by producing an \(\omega\) that differs by around fifteen orders of magnitude.
Given these attractive results and the fact that \(\omega \rightarrow 0\) in the present formulation, one may be tempted to entirely drop \(2/\Delta t\) term from the definition of \(\tau _{\text{SUPG}}\). As we argued earlier, such a modification results in a method that fails to converge particularly at a relatively small time step size and in cases where the flow is highly unsteady. Such regime corresponds to the initial stage of the pipe flow simulation, where the flow is rapidly evolving and \(\omega \ne 0\) (Fig. 2). Therefore, incorporating \(\omega\) into the definition of \(\tau _{\text{SUPG}}\) plays a crucial role in improving the stability of the overall scheme.
Lastly, we must note that although the present method converges for all cases considered, it produces a linear system that is stiffer than that of the conventional formulation. As a consequence, the solution of the linear system through an iterative solver will require more iterations, which can be over an order magnitude per time step when compared against the conventional method (Fig. 3). This larger number of iterations translates to a higher overall cost of these calculations, which is on average twice higher than that of the conventional formulation.
Blood flow in vascular anatomy
In this case, we compare the performance of the conventional formulation and our present formulation in a realistic cardiovascular geometry with a wide range of Reynolds and CFL numbers. The adopted anatomy represents that of an infant who has undergone the modified Blalock–Taussig shunt procedure55,56 (Fig. 4). The geometry contains multiple branches, among which an unsteady flow with a parabolic profile is imposed at the ascending aorta, which is interpolated from earlier multi-domain simulations57,62. Zero Neumann boundary conditions are imposed on all other branches, which are non-physiological, but nevertheless selected to highlight the difference between the two formulations. Since the flow rate through the pulmonary arteries is critical in understanding the performance of the shunt for this procedure, it is used here for simulation results comparison. The blood is assumed Newtonian with a density of 1.06 g/mL and a dynamic viscosity of 0.04 g/cm-s. The Reynolds number ranges from 50 to 1300 depending on the branch and the time within the cardiac cycle. Although the primary source of flow unsteadiness can be traced to the unsteady boundary condition, the complex geometry may also induce more local variations in the solution as a function of time, in this case (namely, generating frequency content in the solution that is not present in the boundary condition).
We performed simulations using time step sizes of \(\Delta {t} = 2.5 \times 10^{-2}\), \(2.5 \times 10^{-3}\), and \(2.5 \times 10^{-4}\) s, which are within the range of actual time step sizes used for these types of studies55,56,57. The geometry is discretized using 400,936 tetrahedral elements (Fig. 4). All simulations are run in parallel with 288 processors. Simulations are continued for at least six cardiac cycles (3 s) to ensure cycle-to-cycle convergence.
The predicted flow rate through the pulmonary arteries is extracted as a parameter of interest and plotted over one cardiac cycle in Fig. 5. For the conventional formulation, we can see a similar trend of solution deterioration as the time step size gets smaller. There is a 10% change in flow rate as the time step size is reduced from \(2.5 \times 10^{-2}\) to \(2.5 \times 10^{-3}\) s. There is another 15% deviation in the prediction of the conventional formulation when the time step size is further reduced by another order of magnitude, from \(2.5 \times 10^{-3}\) to \(2.5 \times 10^{-4}\) s. Such large variations in the results are rather alarming because 500 times steps per cardiac cycle or more (corresponding to \(\Delta t\le 10^{-3}\)) is a very modest number and has been commonly used in the past cardiovascular CFD studies18,55,56,57,63,64. According to our numerical experiment with the conventional method, such a commonly used time step size is already too small that it produces substantial error in the results.
In contrast to the conventional formulation, the method proposed is consistent with results that are almost independent of the time step size (the observed changes were less than 0.1%). \(\omega\) values using the present formulation is shown in Fig. 6 for three different time step sizes. At the beginning of the simulations, \(\omega\) quickly drops from that of the conventional formulation values to physics-based periodic values. As expected, the converged periodic \(\omega\) values are almost independent of the time step size, thus resulting in predictions that do not change as \(\Delta t \rightarrow 0\).
The total CPU time of the computations performed with the present formulation is around 1.5 times that of the conventional formulation, which is acceptable but warrants future improvements. Simulation results generated with the present formulation will enable researchers and clinicians to have high resolution in terms of time discretization without concerns about solution accuracy.
Flow over a square
In this case, we will present a more textbook unsteady CFD numerical experiment to demonstrate that the consistency issue is not unique to cardiovascular applications. We will demonstrate that the present formulation solves the inconsistency issue for this case but also demonstrate where the limitation of our formulation currently lies. We will also use this case to discuss the domain size dependency of (or lack thereof) the present formulation for external flows.
We consider a two-dimensional unsteady flow over a square object with a steady inflow boundary condition. The geometry and mesh used for this case are shown in Fig. 7. The square has a side length of 1 m in a 12 m by 29.2 m fluid domain. The square obstacle is centered vertically and placed at a distance of 5 m from the inlet on the left side of the domain. Uniform horizontal flow with a velocity magnitude of 51.3 m/s is prescribed at the inlet and the outlet is a zero Neumann boundary. The top and bottom of the domain are both no-penetration boundaries (\(u_y\) = 0) with zero traction in the horizontal direction (\(h_x = 0\)). The fluid has a density of \(1.18 \times 10^{-3}\) kg/m3 and a dynamic viscosity of \(1.82 \times 10^{-4}\) kg/m-s. The Reynolds number of this case is 332, which results in vertex shedding downstream of the obstacle.
The mesh generated for this case contains 28, 502 triangular elements. Three different time step sizes are considered, \(\Delta {t} = 10^{-3}\), \(4 \times 10^{-4}\), and \(10^{-4}\) s. At each time step, the time integration residual is dropped by more than three orders of magnitude through Newton–Raphson iterations. The simulations are continued for 5 s to ensure statistically stationary conditions are established. We used 16 cores to perform these calculations.
The lift exerted on the square obstacle during the last 0.5 s of the simulation is shown in Fig. 8. Consistent with what we observed in the previous cases, this case also shows significant improvement in the results when the present design of \(\tau _{\text {SUPG}}\) is adopted. The conventional formulation prediction of the oscillation amplitude and period strongly depends on the time step size, with both values decreasing as \(\Delta t \rightarrow 0\) (Fig. 9a). In contrast, little change in these predictions is observed when the presented formulation is adopted (Fig. 9b). The contrast between the two methods can also be observed when comparing the pressure contours in Fig. 10. The snapshots shown in this figure are taken when the obstacle experiences a maximum lift. The dependency and lack of dependency of the conventional and present formulation on the time step size are evident in this figure.
The results from the two formulations are compared in terms of mean drag coefficient \(\overline{C_\text{d}}\), root mean square of drag coefficient fluctuation \(C_\text{d}'\), mean lift coefficient \(\overline{C_\text{l}}\), root mean square of lift coefficient fluctuation \(C_\text{l}'\), and Strouhal number St in Table 1. This comparison confirms our earlier observation that the present formulation nearly eliminates the dependence of the bulk flow parameters on the time step size.
Similar to the steady pipe flow, the convergence of the solutions as the time step size decreases is tied to the convergence of \(\omega\). With the present formulation, the value of \(\omega\), although not steady, converges to periodic values around 3 regardless of \(\Delta t\). The value of \(\omega ^2\), which is approximately 9 s\(^{-2}\), can be contrasted against \((2/\Delta t)^2\) that ranges from \(4\times 10^6\) to \(4\times 10^8\) s\(^{-2}\) for the simulated cases. That large change generates a significant variation in the solution as \(\Delta t\) is reduced in the conventional formulation.
To better see the effect of \(2/\Delta t\) term on \(\tau _{\text {SUPG}}\), we have produced a snapshot of \(\tau _{\text {SUPG}}\) over the entire computational domain for the two formulations in Fig. 11 at two different time step sizes. For the conventional formulation and in particular at \(\Delta t= 10^{-4}\), \(\tau _{\text {SUPG}}\) is very small and approximately equal to \(\Delta t/2\) over the entire domain. In the vicinity of the obstacle, where flow is the fastest, we observe some deviation from that baseline due to the contribution of the convective term in \(\tau _{\text {SUPG}}\). Nevertheless, that variation is not as significant as that of the present formulation where we see large changes in \(\tau _{\text {SUPG}}\) depending on the flow velocity, mesh resolution, and flow orientation relative to the element edges.
We also simulated the present flow over a square object case at a higher Reynolds number of 22, 000 to benchmark the two formulations against previously published results65,66,67,68. All simulation parameters are kept the same as in the case discussed above except for the dynamic viscosity which is reduced to \(2.75 \times 10^{-6}\) kg/m-s. Simulations are repeated using both formulations at \(\Delta t = 5 \times 10^{-3}\) s. The obtained results as well as those from the literature are summarized in Table 2. Note that the results from the literature were obtained from three-dimensional simulations whereas our computations are performed in two dimensions. Despite such differences, we observe a relatively good agreement with the published results. That is particularly the case for the present formulation that produces predictions closer to the reported range in comparison to the conventional formulation.
In order to investigate the effect of domain size for the present formulation, we extended the domain so that the overall domain size is four times that of the original domain. In doing so, we made sure that the mesh for the subset of the domain corresponding to the original mesh in Fig. 7 remains unchanged so that the reported results are minimally affected by this change in the domain size. We repeated the original \(\text{Re} = 332\) simulations for both formulations using \(\Delta t = 10^{-3}\) with the extended domain. The results are summarized in Table 3. The variation in results is almost identical for the two formulations indicating that the change is more likely a result of moving the locations of the boundaries rather than the change in the value of \(\omega\). Following what we argued earlier, extending the domain reduced \(\omega\) to approximately half its original value. This change, nevertheless, has a negligible effect on the overall results given that the \(\omega\) term is much smaller than the sum of the other terms appearing in \(\tau _{\text{SUPG}}\).
The relatively small value of \(\omega\), in comparison to the sum of the two other terms appearing in \(\tau _{\text{SUPG}}\) in Eq. (8), is a general feature of the present formulation rather than being unique to the case above. Evidently, it was also relatively small for the vascular model discussed earlier as the results obtained from the proposed formulation closely resembled that of the conventional formulation at large \(\Delta t\) (Fig. 5), where the sum of the other two terms in \(\tau _{\text{SUPG}}\) is dominant.
In general, if we only consider \(\textbf{u}^h \cdot \varvec{\xi } \textbf{u}^h\) relative to \(\omega ^2\), we can show the ratio of the two scales as the square of \(u/(\omega \Delta x)\). For the present method to be domain-size-dependent, that ratio must be smaller than one, implying that the flow at a node must do a full oscillation before it has the time to advect the fluid across a single element. That is an extremely fast oscillating flow, which even if occurs in reality, requires a much smaller time step to resolve, thereby indicating that the present method will do much better than the conventional method.
We should note that the linear solver convergence, which was not an issue for the previous two cases, posed a problem in this case. In general, the linear solver takes longer to converge as the time step sizes are reduced. In extreme cases, the linear solver may not converge at all. One such scenario occurs when the time step size is very small and there is a significant change in the solution between time steps, e.g., the present simulation starting from a zero velocity field. To overcome such issues, one may start a simulation with a larger time step size and then reduce it to the target value after a few time steps. Nevertheless, this convergence issue is a shortcoming of the present formulation that warrants future research.
Fluid–structure interaction
In this section, we will demonstrate the generalization of the present formulation to moving domain configurations using a fluid–structure interaction (FSI) test case. The chosen case is a 2D flow over a fixed square with an attached flexible beam, which has been used in the past for verification of the FSI codes46,49.
The specifications of the test case are shown schematically in Fig. 12. The computation domain is \(12\times 19.5\) m. The square is \(1\times 1\) m with the center of the square placed 5 m from the inlet. The beam is \(4\times 0.06\) m centered behind the square. The fluid domain setup is identical to the previous section’s flow over a square case, where the fluid density is \(1.18 \times 10^{-3}\) kg/m3 and the dynamic viscosity is \(1.82 \times 10^{-4}\) kg/m-s with uniform inlet horizontal velocity at 51.3 m/s, resulting in Re\(=332\). The \(\omega\) in the stabilization constant, \(\tau _{\text {SUPG}}\), is calculated in an arbitrary Eulerian–Lagrangian framework, as specified in Eq. 10.
The solid domain is modeled as a St. Venant-Kirchhoff elastic solid69. The discretized weak form of the solid problem is given as
where
is the second Piola-Kirchhoff stress, in which
is the Green-Lagrange strain tensor, with
as the Cauchy-Green deformation tensor, where
is the deformation matrix and \(\textbf{d}\) is the displacement vector. The density of the beam at \(t=0\) is \(\rho _s^0 = 0.1 \mathrm {kg/m^3}\). The Young’s modulus, \(E = 2.5 \times 10^6\) kg/(s2m), and Poisson’s ratio, \(\nu = 0.35\) are used to calculate Lamé parameters \(\lambda\) and \(\mu\) in Eq. 12 as
The details of the FSI formulation are presented in a previous paper and not repeated here for brevity49. In summary, an arbitrary Lagrangian–Eulerian (ALE) approach and a quasi-direct FSI solution strategy are employed9,46,70,71. The increments of the fluid and structure solution are monolithically computed. Jacobian-based stiffening is used for the elastic mesh motion without re-meshing9,72,73. A back-flow stabilization scheme is employed at the Neumann boundaries to prevent simulation divergence caused by partial flow reversal at the outlet74.
The mesh used for all cases contains roughly 20 thousand triangular elements for the combined fluid and solid domains (Fig. 12). The simulations were run for 10 s with two different time step sizes \(\Delta t = 1\times 10^{-3}\) and \(5\times 10^{-4}\) s using the conventional and present formulations of \(\tau _{\text {SUPG}}\), resulting in four simulations in total.
Figure 13 shows the vertical displacement of the beam tip (marked in Fig. 12). The conventional formulation produces an oscillation period that slightly varies as the time step size is changes by a factor of two. The change in period is approximately 0.7%, increasing from 0.305 s at \(\Delta t = 5\times 10^{-4}\) s to 0.307 s at \(\Delta t = 10^{-3}\) s. On the contrary, the present formulation produced significantly closer results for both time step sizes. The predicted period, in this case, is approximately 0.299 s, which agrees well with the literature46,49,70.
In terms of stability and computational cost, we observe a behavior similar to the flow over the square case from the previous section. For cases reported above, the total simulation cost of the present formulation is around 4 times that of the conventional formulation (1.3 vs. 5.1 h using 16 cores). Using a time step size smaller than \(\Delta t = 5\times 10^{-4}\) s causes linear solver convergence issues in the case of the present formulation.
Conclusion
In this study, we propose a new formulation for the stabilization parameter (\(\tau _{\text {SUPG}}\)) that appears in the streamline upwind Petrov–Galerkin and pressure stabilizing Petrov–Galerkin method (SUPG/PSPG) to overcome the historical limitation of the conventional formulation that produces a large error at the small time step size. The proposed formulation uses a flow time scale instead of the time step size to account for the contribution of the acceleration term to \(\tau _{\text {SUPG}}\). Using the new formulation of \(\tau _{\text {SUPG}}\), we successfully produce an overall stable technique that is consistent with regard to the time step size. The new definition of \(\tau _{\text {SUPG}}\) (Eq. 8) is simple to implement in existing SUPG/PSPG formulated fluid solvers. Although the present formulation comes at the cost of increasing the number of linear solver iterations, it significantly improves the overall accuracy of the stabilized finite element methods for computational fluid dynamics, making it an attractive choice for cardiovascular simulations.
Data availibility
The software code to the finite element solver used in this study (MUPFES) is available at http://sites.google.com/site/memt63/tools/MUPFES. The simulation files and results presented in this study are available on request from the corresponding author.
References
Taylor, C. A., Hughes, T. J. & Zarins, C. K. Finite element modeling of blood flow in arteries. Comput. Methods Appl. Mech. Eng. 158, 155–196. https://doi.org/10.1016/S0045-7825(98)80008-X (1998).
Taylor, C. A., Hughes, T. J. & Zarins, C. K. Finite element modeling of three-dimensional pulsatile flow in the abdominal aorta: Relevance to atherosclerosis. Ann. Biomed. Eng. 26, 975–987. https://doi.org/10.1114/1.140 (1998).
Taylor, C. A. et al. Predictive medicine: Computational techniques in therapeutic decision-making. Comput. Aid. Surg. 4, 231–247 (1999).
Eymard, R., Gallouët, T. & Herbin, R. Finite volume methods. Handb. Numer. Anal. 7, 713–1018. https://doi.org/10.1016/S1570-8659(00)07005-8 (2000).
LeVeque, R. J. Finite difference methods for ordinary and partial differential equations. Soc. Ind. Appl. Math.https://doi.org/10.1137/1.9780898717839 (2007).
Hughes, T. J. The Finite Element Method: Linear Static and Dynamic Finite Element Analysis (Prentice-Hall Inc, 1987).
Van de Vosse, F. et al. Finite-element-based computational methods for cardiovascular fluid–structure interaction. J. Eng. Math. 47, 335–368. https://doi.org/10.1023/B:ENGI.0000007985.17625.43 (2003).
Bazilevs, Y., Calo, V. M., Zhang, Y. & Hughes, T. Isogeometric fluid–structure interaction analysis with applications to arterial blood flow. Comput. Mech. 38, 310–322. https://doi.org/10.1007/s00466-006-0084-3 (2006).
Bazilevs, Y., Hsu, M.-C., Benson, D. J., Sankaran, S. & Marsden, A. L. Computational fluid–structure interaction: methods and application to a total cavopulmonary connection. Comput. Mech. 45, 77–89. https://doi.org/10.1007/s00466-009-0419-y (2009).
Quarteroni, A., Veneziani, A. & Vergara, C. Geometric multiscale modeling of the cardiovascular system, between theory and practice. Comput. Meth. Appl. Mech. Eng. 302, 193–252. https://doi.org/10.1016/j.cma.2016.01.007 (2016).
Markl, M. et al. Time-resolved three-dimensional phase-contrast MRI. J. Magn. Reson. Imag. 17, 499–506. https://doi.org/10.1002/jmri.10272 (2003).
Dyverfeldt, P. et al. 4d flow cardiovascular magnetic resonance consensus statement. J. Cardiovasc. Magn. Reson. 17, 1–19. https://doi.org/10.1186/s12968-015-0174-5 (2015).
Schulz-Menger, J. et al. Standardized image interpretation and post-processing in cardiovascular magnetic resonance-2020 update. J. Cardiovasc. Magn. Reson. 22, 1–22. https://doi.org/10.1186/s12968-020-00610-6 (2020).
Markl, M., Frydrychowicz, A., Kozerke, S., Hope, M. & Wieben, O. 4d flow MRI. J. Magn. Reson. Imag. 36, 1015–1036. https://doi.org/10.1002/jmri.23632 (2012).
Antiga, L. et al. An image-based modeling framework for patient-specific computational hemodynamics. Med. Biol. Eng. Comput. 46, 1097–1112. https://doi.org/10.1007/s11517-008-0420-1 (2008).
Taylor, C. & Figueroa, C. Patient-specific modeling of cardiovascular mechanics. Ann. Rev. Biomed. Eng. 11, 109–134. https://doi.org/10.1146/annurev.bioeng.10.061807.160521 (2009).
Kim, H. J. et al. Patient-specific modeling of blood flow and pressure in human coronary arteries. Ann. Biomed. Eng. 38, 3195–3209. https://doi.org/10.1007/s10439-010-0083-6 (2010).
Sankaran, S. et al. Patient-specific multiscale modeling of blood flow for coronary artery bypass graft surgery. Ann. Biomed. Eng. 40, 2228–2242. https://doi.org/10.1007/s10439-012-0579-3 (2012).
Taylor, C. A., Fonte, T. A. & Min, J. K. Computational fluid dynamics applied to cardiac computed tomography for noninvasive quantification of fractional flow reserve. J. Am. Coll. Cardiol. 61, 2233–2241. https://doi.org/10.1016/j.jacc.2012.11.083 (2013).
Mittal, R. et al. Computational modeling of cardiac hemodynamics: Current status and future outlook. J. Comput. Phys. 305, 1065–1082. https://doi.org/10.1016/j.jcp.2015.11.022 (2016).
Brooks, A. N. & Hughes, T. J. Streamline upwind/Petrov–Galerkin formulations for convection dominated flows with particular emphasis on the incompressible Navier–Stokes equations. Comput. Methods Appl. Mech. Eng. 32, 199–259. https://doi.org/10.1016/0045-7825(82)90071-8 (1982).
Hughes, T. J. & Mallet, M. A new finite element formulation for computational fluid dynamics: III. The generalized streamline operator for multidimensional advective-diffusive systems. Comput. Methods Appl. Mech. Eng. 58, 305–328. https://doi.org/10.1016/0045-7825(86)90152-0 (1986).
Shakib, F., Hughes, T. J. & Johan, Z. A new finite element formulation for computational fluid dynamics: X. The compressible Euler and Navier–Stokes equations. Comput. Methods Appl. Mech. Eng. 89, 141–219. https://doi.org/10.1016/0045-7825(91)90041-4 (1991).
Franca, L. P. & Frey, S. L. Stabilized finite element methods: Ii. The incompressible Navier–Stokes equations. Comput. Methods Appl. Mech. Eng. 99, 209–233. https://doi.org/10.1016/0045-7825(92)90041-H (1992).
Akkerman, I., Bazilevs, Y., Calo, V., Hughes, T. & Hulshoff, S. The role of continuity in residual-based variational multiscale modeling of turbulence. Comput. Mech. 41, 371–378. https://doi.org/10.1007/s00466-007-0193-7 (2008).
Bazilevs, Y. & Akkerman, I. Large eddy simulation of turbulent Taylor–Couette flow using isogeometric analysis and the residual-based variational multiscale method. J. Comput. Phys. 229, 3402–3414. https://doi.org/10.1016/j.jcp.2010.01.008 (2010).
Tezduyar, T. E. Stabilized finite element formulations for incompressible flow computations. Adv. Appl. Mech. 28, 1–44. https://doi.org/10.1016/S0065-2156(08)70153-4 (1991).
Shakib, F. Finite element analysis of the compressible Euler and Navier–Stokes equations. Ph.D. thesis, Stanford University (1989). Copyright: Database copyright ProQuest LLC; ProQuest does not claim copyright in the individual underlying works; Last updated 2023-02-23.
Codina, R., Vázquez, M. & Zienkiewicz, O. C. A general algorithm for compressible and incompressible flows. Part iii. The semi-implicit form. Int. J. Numer. Methods Fluids 27, 13–32 (1998).
Bochev, P. B., Gunzburger, M. D. & Shadid, J. N. Stability of the supg finite element method for transient advection-diffusion problems. Comput. Methods Appl. Mech. Eng. 193, 2301–2323. https://doi.org/10.1016/j.cma.2004.01.026 (2004).
Codina, R., Principe, J., Guasch, O. & Badia, S. Time dependent subscales in the stabilized finite element approximation of incompressible flow problems. Comput. Methods Appl. Mech. Eng. 196, 2413–2430. https://doi.org/10.1016/j.cma.2007.01.002 (2007).
Hsu, M.-C., Bazilevs, Y., Calo, V., Tezduyar, T. & Hughes, T. Improving stability of stabilized and multiscale formulations in flow simulations at small time steps. Comput. Methods Appl. Mech. Eng. 199, 828–840. https://doi.org/10.1016/j.cma.2009.06.019 (2010).
Quarteroni, A. & Veneziani, A. Analysis of a geometrical multiscale model based on the coupling of ode and pde for blood flow simulations. Multiscale Model. Simul. 1, 173–195. https://doi.org/10.1137/S1540345902408482 (2003).
Vignon-Clementel, I. E., Alberto Figueroa, C., Jansen, K. E. & Taylor, C. A. Outflow boundary conditions for three-dimensional finite element modeling of blood flow and pressure in arteries. Comput. Methods Appl. Mech. Eng. 195, 3776–3796. https://doi.org/10.1016/j.cma.2005.04.014 (2006).
Moghadam, M. E. et al. A modular numerical method for implicit 0d/3d coupling in cardiovascular finite element simulations. J. Comput. Phys. 244, 63–79. https://doi.org/10.1016/j.jcp.2012.07.035 (2013).
Arbia, G. et al. Numerical blood flow simulation in surgical corrections: What do we need for an accurate analysis?. J. Surg. Res. 186, 44–55. https://doi.org/10.1016/j.jss.2013.07.037 (2014).
Updegrove, A. et al. Simvascular: An open source pipeline for cardiovascular simulation. Ann. Biomed. Eng. 45, 525–541. https://doi.org/10.1007/s10439-016-1762-8 (2017).
Arthurs, C. J. et al. Crimson: An open-source software framework for cardiovascular integrated modelling and simulation. PLoS Comput. Biol. 17, e1008881. https://doi.org/10.1371/journal.pcbi.1008881 (2021).
John, V. & Schmeyer, E. Finite element methods for time-dependent convection–diffusion–reaction equations with small diffusion. Comput. Methods Appl. Mech. Eng. 198, 475–494. https://doi.org/10.1016/j.cma.2008.08.016 (2008).
Burman, E. Consistent supg-method for transient transport problems: Stability and convergence. Comput. Methods Appl. Mech. Eng. 199, 1114–1123. https://doi.org/10.1016/j.cma.2009.11.023 (2010).
Tezduyar, T. E. & Osawa, Y. Finite element stabilization parameters computed from element matrices and vectors. Comput. Methods Appl. Mech. Eng. 190, 411–430. https://doi.org/10.1016/S0045-7825(00)00211-5 (2000).
Kamensky, D. et al. An immersogeometric variational framework for fluid–structure interaction: Application to bioprosthetic heart valves. Comput. Methods Appl. Mech. Eng. 284, 1005–1053. https://doi.org/10.1016/j.cma.2014.10.040 (2015).
Esmaily, M. & Jia, D. A stabilized formulation for the solution of the incompressible unsteady stokes equations in the frequency domain. J. Comput. Phys.https://doi.org/10.1016/j.jcp.2022.111736 (2022).
Evans, J. A., Coley, C., Aronson, R. M., Wetterer-Nelson, C. L. & Bazilevs, Y. Residual-Based Large Eddy Simulation with Isogeometric Divergence-Conforming Discretizations, 91–130 (Springer International Publishing, 2018).
Bazilevs, Y. et al. Variational multiscale residual-based turbulence modeling for large eddy simulation of incompressible flows. Comput. Methods Appl. Mech. Eng. 197, 173–201. https://doi.org/10.1016/j.cma.2007.07.016 (2007).
Bazilevs, Y., Calo, V. M., Hughes, T. J. & Zhang, Y. Isogeometric fluid–structure interaction: Theory, algorithms, and computations. Comput. Mech. 43, 3–37. https://doi.org/10.1007/s00466-008-0315-x (2008).
Ahmed, N., Chacon Rebollo, T., John, V. & Rubino, S. A review of variational multiscale methods for the simulation of turbulent incompressible flows. Arch. Comput. Methods Eng. 24, 115–164. https://doi.org/10.1007/s11831-015-9161-0 (2017).
Tezduyar, T. & Sathe, S. Stabilization parameters in supg and pspg formulations. J. Comput. Appl. Mech. 4, 71–88 (2003).
Esmaily-Moghadam, M., Bazilevs, Y. & Marsden, A. L. A bi-partitioned iterative algorithm for solving linear systems arising from incompressible flow problems. Comput. Methods Appl. Mech. Eng. 286, 40–62. https://doi.org/10.1016/j.cma.2014.11.033 (2015).
Jansen, K. E., Whiting, C. H. & Hulbert, G. M. A generalized-\(\alpha\) method for integrating the filtered Navier–Stokes equations with a stabilized finite element method. Comput. Methods Appl. Mech. Eng. 190, 305–319. https://doi.org/10.1016/S0045-7825(00)00203-6 (2000).
Esmaily-Moghadam, M., Bazilevs, Y. & Marsden, A. L. A new preconditioning technique for implicitly coupled multidomain simulations with applications to hemodynamics. Comput. Mech. 52, 1141–1152. https://doi.org/10.1007/s00466-013-0868-1 (2013).
Esmaily-Moghadam, M., Bazilevs, Y. & Marsden, A. Impact of data distribution on the parallel performance of iterative linear solvers with emphasis on cfd of incompressible flows. Comput. Mech. 55, 93–103. https://doi.org/10.1007/s00466-014-1084-3 (2015).
Marsden, A. L. & Esmaily-Moghadam, M. Multiscale modeling of cardiovascular flows for clinical decision support. Appl. Mech. Rev.https://doi.org/10.1115/1.4029909 (2015).
Steinman, D. A. et al. Variability of computational fluid dynamics solutions for pressure and flow in a giant aneurysm: the same 2012 summer bioengineering conference cfd challenge. J. Biomech. Eng.https://doi.org/10.1115/1.4023382 (2013).
Esmaily Moghadam, M. et al. Optimization of shunt placement for the Norwood surgery using multi-domain modeling. J. Biomech. Eng.https://doi.org/10.1115/1.4006814 (2012).
Esmaily-Moghadam, M. of Congenital Hearts Alliance (MOCHA) Investigators et al. The assisted bidirectional Glenn: A novel surgical approach for first-stage single-ventricle heart palliation. J. Thorac. Cardiovasc. Surg. 149, 699–705. https://doi.org/10.1016/j.jtcvs.2014.10.035 (2015).
Jia, D., Peroni, M., Khalapyan, T. & Esmaily, M. An efficient assisted bidirectional Glenn design with lowered superior vena cava pressure for stage-one single ventricle patients. J. Biomech. Eng.https://doi.org/10.1115/1.4050170 (2021).
Karypis, G., & Kumar, V. MeTis: Unstructured Graph Partitioning and Sparse Matrix Ordering System, Version 4.0. http://www.cs.umn.edu/~metis (2009).
Saad, Y. & Schultz, M. H. Gmres: A generalized minimal residual algorithm for solving nonsymmetric linear systems. SIAM J. Sci. Stat. Comput. 7, 856–869. https://doi.org/10.1137/0907058 (1986).
Miller, G. E. Chapter 14: Biomedical transport processes. In Introduction to Biomedical Engineering (Third Edition), Biomedical Engineering 3rd edn (eds Enderle, J. D. & Bronzino, J. D.) 937–993 (Academic Press, 2012). https://doi.org/10.1016/B978-0-12-374979-6.00014-9.
Sutera, S. P. & Skalak, R. The history of Poiseuille’s law. Ann. Rev. Fluid Mech. 25, 1–20. https://doi.org/10.1146/annurev.fl.25.010193.000245 (1993).
Jia, D. & Esmaily, M. Characterization of the ejector pump performance for the assisted bidirectional Glenn procedure. Fluids 7, 31. https://doi.org/10.3390/fluids7010031 (2022).
Verma, A. et al. Optimization of the assisted bidirectional Glenn procedure for first stage single ventricle repair. World J. Pediatr. Congenit. Heart Surg. 9, 157–170 (2018).
Shang, J. et al. Patient-specific multiscale modeling of the assisted bidirectional Glenn. Ann. Thorac. Surg. 107, 1232–1239 (2019).
Bearman, P. W. & Obasaju, E. D. An experimental study of pressure fluctuations on fixed and oscillating square-section cylinders. J. Fluid Mech. 119, 297–321. https://doi.org/10.1017/S0022112082001360 (1982).
Lyn, D. A., Einav, S., Rodi, W. & Park, J.-H. A laser-doppler velocimetry study of ensemble-averaged characteristics of the turbulent near wake of a square cylinder. J. Fluid Mech. 304, 285–319. https://doi.org/10.1017/S0022112095004435 (1995).
Koobus, B. & Farhat, C. A variational multiscale method for the large eddy simulation of compressible turbulent flows on unstructured meshes-application to vortex shedding. Comput. Methods Appl. Mech. Eng. 193, 1367–1383. https://doi.org/10.1016/j.cma.2003.12.028 (2004).
Rodi, W., Ferziger, J. H., Breuer, M. & Pourquié, M. Status of large eddy simulation: Results of a workshop. J. Fluids Eng. 119, 248–262. https://doi.org/10.1115/1.2819128 (1997).
Holzapfel, G. A. Nonlinear Solid Mechanics: A Continuum Approach for Engineering Science (Kluwer Academic Publishers Dordrecht, 2002).
Wall, W. A. Fluid-struktur-interaktion mit stabilisierten finiten elementen. 02 Fakultät Bau- und Umweltingenieurwissenschaftenhttps://doi.org/10.18419/opus-127 (1999).
Tezduyar, T. E. & Sathe, S. Modelling of fluid–structure interactions with the space-time finite elements: Solution techniques. Int. J. Numer. Methods Fluids 54, 855–900. https://doi.org/10.1002/fld.1430 (2007).
Johnson, A. & Tezduyar, T. Mesh update strategies in parallel finite element computations of flow problems with moving boundaries and interfaces. Comput. Methods Appl. Mech. Eng. 119, 73–94. https://doi.org/10.1016/0045-7825(94)00077-8 (1994).
Stein, K., Tezduyar, T. & Benney, R. Mesh moving techniques for fluid–structure interactions with large displacements. J. Appl. Mech. 70, 58–63. https://doi.org/10.1115/1.1530635 (2003).
Moghadam, M. E., Bazilevs, Y., Hsia, T.-Y., Vignon-Clementel, I. E. & Marsden, A. L. A comparison of outlet boundary treatments for prevention of backflow divergence with relevance to blood flow simulations. Comput. Mech. 48, 277–291. https://doi.org/10.1007/s00466-011-0599-0 (2011).
Acknowledgements
We thank Prof. John Evans for bringing our attention to the existing literature on the topic and for his insights on the stability properties of the proposed approach. We also thank Prof. Yuri Bazilevs for his input during the early stages of this study that led to the selection of the flow over square vortex shedding test case.
Author information
Authors and Affiliations
Contributions
Conceptualization, M.E.; methodology, D.J. and M.E.; software, D.J. and M.E.; validation, D.J. and M.E.; formal analysis, D.J.; investigation, D.J.; resources, M.E.; data curation, D.J. and M.E.; writing—original draft preparation, D.J.; writing—review and editing, D.J. and M.E.; visualization, D.J.; supervision, M.E.; project administration, M.E.. All authors have read and agreed to the published version of the manuscript.
Corresponding author
Ethics declarations
Competing interest
The authors declare 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/.
About this article
Cite this article
Jia, D., Esmaily, M. A time-consistent stabilized finite element method for fluids with applications to hemodynamics. Sci Rep 13, 19120 (2023). https://doi.org/10.1038/s41598-023-46316-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41598-023-46316-4
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.