A staggered space-time discontinuous Galerkin method for the three-dimensional incompressible Navier-Stokes equations on unstructured tetrahedral meshes

In this paper we propose a novel arbitrary high order accurate semi-implicit space-time discontinuous Galerkin method for the solution of the three-dimensional incompressible Navier-Stokes equations on staggered unstructured curved tetrahedral meshes. As is typical for space-time DG schemes, the discrete solution is represented in terms of space-time basis functions. This allows to achieve very high order of accuracy also in time, which is not easy to obtain for the incompressible Navier-Stokes equations. Similarly to staggered finite difference schemes, in our approach the discrete pressure is defined on the primary tetrahedral grid, while the discrete velocity is defined on a face-based staggered dual grid. While staggered meshes are state of the art in classical finite difference schemes for the incompressible Navier-Stokes equations, their use in high order DG schemes is still quite rare. A very simple and efficient Picard iteration is used in order to derive a space-time pressure correction algorithm that achieves also high order of accuracy in time and that avoids the direct solution of global nonlinear systems. Formal substitution of the discrete momentum equation on the dual grid into the discrete continuity equation on the primary grid yields a very sparse five-point block system for the scalar pressure, which is conveniently solved with a matrix-free GMRES algorithm. From numerical experiments we find that the linear system seems to be reasonably well conditioned, since all simulations shown in this paper could be run without the use of any preconditioner, even up to very high polynomial degrees. For a piecewise constant polynomial approximation in time and if pressure boundary conditions are specified at least in one point, the resulting system is, in addition, symmetric and positive definite. This allows us to use even faster iterative solvers, like the conjugate gradient method.The flexibility and accuracy of high order space-time DG methods on curved unstructured meshes allows to discretize even complex physical domains with very coarse grids in both, space and time. The proposed method is verified for approximation polynomials of degree up to four in space and time by solving a series of typical 3D test problems and by comparing the obtained numerical results with available exact analytical solutions, or with other numerical or experimental reference data.To the knowledge of the authors, this is the first time that a space-time discontinuous Galerkin finite element method is presented for the three-dimensional incompressible Navier-Stokes equations on staggered unstructured tetrahedral grids. High order staggered space-time DG scheme for the 3D incompressible Navier-Stokes equations.Primal grid based on curved tetrahedra, dual grid based on non-standard five-point hexahedra.New discretization of the viscous terms on the main grid, using lifting operators on the dual grid.Very simple space-time pressure correction algorithm, providing also high order in time.All linear systems have maximum sparsity and use the smallest possible optimal five-point stencil.

[1]  Chi-Wang Shu,et al.  TVB Runge-Kutta local projection discontinuous Galerkin finite element method for conservation laws III: one-dimensional systems , 1989 .

[2]  Vincent Mousseau,et al.  A reconstructed discontinuous Galerkin method for the compressible Navier-Stokes equations on arbitrary grids , 2010, J. Comput. Phys..

[3]  Chi-Wang Shu,et al.  The Runge-Kutta Discontinuous Galerkin Method for Conservation Laws V , 1998 .

[4]  S. B. Nasrallah,et al.  Experimental investigation of a confined flow downstream of a circular cylinder centred between two parallel walls , 2008 .

[5]  H. Sakamoto,et al.  A STUDY ON VORTEX SHEDDING FROM SPHERES IN A UNIFORM FLOW , 1990 .

[6]  Uriel Frisch,et al.  Chaotic streamlines in the ABC flows , 1986, Journal of Fluid Mechanics.

[7]  Eric T. Chung,et al.  Optimal Discontinuous Galerkin Methods for Wave Propagation , 2006, SIAM J. Numer. Anal..

[8]  Michael Dumbser,et al.  FORCE schemes on unstructured meshes I: Conservative hyperbolic systems , 2009, J. Comput. Phys..

[9]  Sergey V. Ershkov,et al.  Non-stationary helical flows for incompressible 3D Navier-Stokes equations , 2015, Appl. Math. Comput..

[10]  R. Hartmann,et al.  Symmetric Interior Penalty DG Methods for the CompressibleNavier-Stokes Equations I: Method Formulation , 2005 .

[11]  Vincenzo Casulli,et al.  A semi‐implicit numerical method for the free‐surface Navier–Stokes equations , 2014 .

[12]  T. Sonar,et al.  Asymptotic adaptive methods for multi-scale problems in fluid mechanics , 2001 .

[13]  Peter Ashwin,et al.  Modelling instability of ABC flow using a mode interaction between steady and Hopf bifurcations with rotational symmetries of the cube , 2006 .

[14]  J. V. D. Vegt,et al.  Space-time discontinuous Galerkin finite element methods , 2006 .

[15]  Manuel Jesús Castro Díaz,et al.  High order finite volume schemes based on reconstruction of states for solving hyperbolic systems with nonconservative products. Applications to shallow-water systems , 2006, Math. Comput..

[16]  B. Armaly,et al.  Experimental and theoretical investigation of backward-facing step flow , 1983, Journal of Fluid Mechanics.

[17]  S. Rebay,et al.  An implicit high-order discontinuous Galerkin method for steady and unsteady incompressible flows , 2007 .

[18]  M. Hestenes,et al.  Methods of conjugate gradients for solving linear systems , 1952 .

[19]  E. Erturk,et al.  Numerical solutions of 2‐D steady incompressible driven cavity flow at high Reynolds numbers , 2004, ArXiv.

[20]  V. Casulli,et al.  Stability, accuracy and efficiency of a semi-implicit method for three-dimensional shallow water flow☆ , 1994 .

[21]  F. Bassi,et al.  High-order discontinuous Galerkin solutions of three-dimensional incompressible RANS equations , 2013 .

[22]  M. Minion,et al.  Accurate projection methods for the incompressible Navier—Stokes equations , 2001 .

[23]  C. Parés Numerical methods for nonconservative hyperbolic systems: a theoretical framework. , 2006 .

[24]  S. A. Orsag,et al.  Small-scale structure of the Taylor-Green vortex , 1984 .

[25]  Andrea Crivellini,et al.  An artificial compressibility flux for the discontinuous Galerkin solution of the incompressible Navier-Stokes equations , 2006, J. Comput. Phys..

[26]  Rolf Rannacher,et al.  Finite element approximation of the nonstationary Navier-Stokes problem, part III. Smoothing property and higher order error estimates for spatial discretization , 1988 .

[27]  Vincenzo Casulli,et al.  A SEMI-IMPLICIT FINITE DIFFERENCE METHOD FOR NON-HYDROSTATIC, FREE-SURFACE FLOWS , 1999 .

[28]  Florian Kummer,et al.  A SIMPLE based discontinuous Galerkin solver for steady incompressible flows , 2013, J. Comput. Phys..

[29]  Adam Kosík,et al.  On the stability of the space–time discontinuous Galerkin method for the numerical solution of nonstationary nonlinear convection–diffusion problems , 2015, J. Num. Math..

[30]  V. Arnold,et al.  Sur la topologie des écoulements stationnaires des fluides parfaits , 1965 .

[31]  G. G. Stokes "J." , 1890, The New Yale Book of Quotations.

[32]  C. Ross Ethier,et al.  A high-order discontinuous Galerkin method for the unsteady incompressible Navier-Stokes equations , 2007, J. Comput. Phys..

[33]  R. Verfürth Finite element approximation of incompressible Navier-Stokes equations with slip boundary condition II , 1991 .

[34]  Fernando T. Pinho,et al.  Three-dimensional effects in laminar flow past a confined cylinder , 2012 .

[35]  Esteban Ferrer,et al.  A high order Discontinuous Galerkin Finite Element solver for the incompressible Navier-Stokes equations , 2011 .

[36]  J. Tinsley Oden,et al.  A discontinuous hp finite element method for the Euler and Navier–Stokes equations , 1999 .

[37]  C. Munz,et al.  The extension of incompressible flow solvers to the weakly compressible regime , 2003 .

[38]  Michael Dumbser,et al.  Spectral semi-implicit and space-time discontinuous Galerkin methods for the incompressible Navier-Stokes equations on staggered Cartesian grids , 2016, 1602.05806.

[39]  L. Greengard,et al.  Spectral Deferred Correction Methods for Ordinary Differential Equations , 2000 .

[40]  J. Kan A second-order accurate pressure correction scheme for viscous incompressible flow , 1986 .

[41]  S. Rebay,et al.  A High-Order Accurate Discontinuous Finite Element Method for the Numerical Solution of the Compressible Navier-Stokes Equations , 1997 .

[42]  Donald Greenspan,et al.  Pressure method for the numerical solution of transient, compressible fluid flows , 1984 .

[43]  T. Taylor,et al.  A Pseudospectral method for solution of the three-dimensional incompressible Navier-Stokes equations , 1987 .

[44]  Eric T. Chung,et al.  A staggered discontinuous Galerkin method for the convection–diffusion equation , 2012, J. Num. Math..

[45]  Pierre Degond,et al.  An Asymptotic-Preserving all-speed scheme for the Euler and Navier-Stokes equations , 2011, J. Comput. Phys..

[46]  Andreas Meister,et al.  Asymptotic Single and Multiple Scale Expansions in the Low Mach Number Limit , 1999, SIAM J. Appl. Math..

[47]  Cyrus K. Aidun,et al.  Global stability of a lid‐driven cavity with throughflow: Flow visualization studies , 1991 .

[48]  Michael Dumbser,et al.  A high order semi-implicit discontinuous Galerkin method for the two dimensional shallow water equations on staggered unstructured meshes , 2014, Appl. Math. Comput..

[49]  Vít Dolejší,et al.  Analysis of semi-implicit DGFEM for nonlinear convection–diffusion problems on nonconforming meshes ☆ , 2007 .

[50]  Leszek Demkowicz,et al.  Adaptive finite elements for flow problems with moving boundaries. part I: Variational principles and a posteriori estimates , 1984 .

[51]  Rolf Rannacher,et al.  On the finite element approximation of the nonstationary Navier-Stokes problem , 1980 .

[52]  Michael Dumbser,et al.  A conservative, weakly nonlinear semi-implicit finite volume scheme for the compressible Navier-Stokes equations with general equation of state , 2016, Appl. Math. Comput..

[53]  H. Blasius Grenzschichten in Flüssigkeiten mit kleiner Reibung , 1907 .

[54]  Michael Dumbser,et al.  A staggered space-time discontinuous Galerkin method for the incompressible Navier-Stokes equations on two-dimensional triangular meshes , 2014, 1412.1260.

[55]  E. Erturk,et al.  Numerical solutions of 2-D steady incompressible flow over a backward-facing step, Part I: High Reynolds number solutions , 2008 .

[56]  Sander Rhebergen,et al.  A space-time discontinuous Galerkin method for the incompressible Navier-Stokes equations , 2013, J. Comput. Phys..

[57]  Douglas N. Arnold,et al.  Unified Analysis of Discontinuous Galerkin Methods for Elliptic Problems , 2001, SIAM J. Numer. Anal..

[58]  Stability , 1973 .

[59]  Stephen Childress,et al.  New Solutions of the Kinematic Dynamo Problem , 1970 .

[60]  Bernardo Cockburn,et al.  An implicit high-order hybridizable discontinuous Galerkin method for the incompressible Navier-Stokes equations , 2011, J. Comput. Phys..

[61]  Rainald Löhner,et al.  A discontinuous Galerkin method based on a Taylor basis for the compressible flows on arbitrary grids , 2008, J. Comput. Phys..

[62]  D. Grigoriadis,et al.  Three dimensional flow around a circular cylinder confined in a plane channel , 2011 .

[63]  H. van der Ven,et al.  Space-time discontinuous Galerkin finite element method with dynamic grid motion for inviscid compressible flows. Part II. Efficient flux quadrature , 2002 .

[64]  O. Podvigina,et al.  Spatially-periodic steady solutions to the three-dimensional Navier-Stokes equation with the ABC-force , 1999 .

[65]  Michael Dumbser,et al.  Efficient implementation of ADER schemes for Euler and magnetohydrodynamical flows on structured meshes - Speed comparisons with Runge-Kutta methods , 2013, J. Comput. Phys..

[66]  Chi-Wang Shu,et al.  Runge–Kutta Discontinuous Galerkin Methods for Convection-Dominated Problems , 2001, J. Sci. Comput..

[67]  M. Dumbser,et al.  An efficient semi-implicit finite volume method for axially symmetric compressible flows in compliant tubes , 2015 .

[68]  Chi-Wang Shu,et al.  L2 Stability Analysis of the Central Discontinuous Galerkin Method and a Comparison between the Central and Regular Discontinuous Galerkin Methods , 2008 .

[69]  Santiago Badia,et al.  Assessment of variational multiscale models for the large eddy simulation of turbulent incompressible flows , 2015 .

[70]  Michael Dumbser,et al.  An efficient semi-implicit method for three-dimensional non-hydrostatic flows in compliant arterial vessels. , 2014, International journal for numerical methods in biomedical engineering.

[71]  Roy A. Walters,et al.  An unstructured grid, three‐dimensional model based on the shallow water equations , 2000 .

[72]  Chi-Wang Shu,et al.  The Runge-Kutta local projection discontinuous Galerkin finite element method for conservation laws. IV. The multidimensional case , 1990 .

[73]  P. Moin,et al.  Numerical studies of flow over a circular cylinder at ReD=3900 , 2000 .

[74]  Jean-Antoine Désidéri,et al.  Upwind schemes for the two-dimensional shallow water equations with variable depth using unstructured meshes , 1998 .

[75]  Michael Dumbser,et al.  A space-time discontinuous Galerkin method for Boussinesq-type equations , 2016, Appl. Math. Comput..

[76]  H. Kuhlmann,et al.  Accurate three-dimensional lid-driven cavity flow , 2005 .

[77]  R. T. Cheng,et al.  SEMI-IMPLICIT FINITE DIFFERENCE METHODS FOR THREE-DIMENSIONAL SHALLOW WATER FLOW , 1992 .

[78]  Ralf Hartmann,et al.  An optimal order interior penalty discontinuous Galerkin discretization of the compressible Navier-Stokes equations , 2008, J. Comput. Phys..

[79]  Michael Dumbser,et al.  A staggered semi-implicit spectral discontinuous Galerkin scheme for the shallow water equations , 2013, Appl. Math. Comput..

[80]  Michael L. Minion,et al.  A fourth-order auxiliary variable projection method for zero-Mach number gas dynamics , 2008, J. Comput. Phys..

[81]  Sander Rhebergen,et al.  A space-time hybridizable discontinuous Galerkin method for incompressible flows on deforming domains , 2012, J. Comput. Phys..

[82]  C. W. Hirt,et al.  Volume of fluid (VOF) method for the dynamics of free boundaries , 1981 .

[83]  Luigi Brugnano,et al.  Iterative Solution of Piecewise Linear Systems and Applications to Flows in Porous Media , 2009, SIAM J. Sci. Comput..

[84]  D. Spalding,et al.  A calculation procedure for heat, mass and momentum transfer in three-dimensional parabolic flows , 1972 .

[85]  Giovanni Tumolo,et al.  A semi-implicit, semi-Lagrangian, p-adaptive discontinuous Galerkin method for the shallow water equations , 2013, J. Comput. Phys..

[86]  Miloslav Feistauer,et al.  On the stability of the ale space-time discontinuous Galerkin method for nonlinear convection-diffusion problems in time-dependent domains , 2015 .

[87]  P. Hood,et al.  A numerical solution of the Navier-Stokes equations using the finite element technique , 1973 .

[88]  Vincenzo Casulli,et al.  Iterative solutions of mildly nonlinear systems , 2012, J. Comput. Appl. Math..

[89]  F. Harlow,et al.  Numerical Calculation of Time‐Dependent Viscous Incompressible Flow of Fluid with Free Surface , 1965 .

[90]  Michael Dumbser,et al.  A unified framework for the construction of one-step finite volume and discontinuous Galerkin schemes on unstructured meshes , 2008, J. Comput. Phys..

[91]  R. Verfürth Finite element approximation on incompressible Navier-Stokes equations with slip boundary condition , 1987 .

[92]  Chi-Wang Shu,et al.  A Local Discontinuous Galerkin Method for KdV Type Equations , 2002, SIAM J. Numer. Anal..

[93]  J. Womersley Method for the calculation of velocity, rate of flow and viscous drag in arteries when the pressure gradient is known , 1955, The Journal of physiology.

[94]  Michael Dumbser,et al.  A staggered semi-implicit discontinuous Galerkin method for the two dimensional incompressible Navier-Stokes equations , 2014, Appl. Math. Comput..

[95]  T. Hughes,et al.  A new finite element formulation for computational fluid dynamics: II. Beyond SUPG , 1986 .

[96]  C. Williamson The Existence of Two Stages in the Transition to Three-Dimensionality of a Cylinder Wake , 1988 .

[97]  Luming Wang,et al.  A high-order discontinuous Galerkin method with unstructured space–time meshes for two-dimensional compressible flows on domains with large deformations , 2015 .

[98]  V. Dolejší,et al.  Semi-Implicit Interior Penalty Discontinuous Galerkin Methods for Viscous Compressible Flows , 2008 .

[99]  T. Hughes,et al.  Streamline upwind/Petrov-Galerkin formulations for convection dominated flows with particular emphasis on the incompressible Navier-Stokes equations , 1990 .

[100]  U. Ghia,et al.  High-Re solutions for incompressible flow using the Navier-Stokes equations and a multigrid method , 1982 .

[101]  Jaap J. W. van der Vegt,et al.  Space-Time Discontinuous Galerkin Method for the Compressible Navier-Stokes , 2006 .

[102]  Luigi Brugnano,et al.  Iterative Solution of Piecewise Linear Systems , 2007, SIAM J. Sci. Comput..

[103]  Vincenzo Casulli,et al.  A Nested Newton-Type Algorithm for Finite Volume Methods Solving Richards' Equation in Mixed Form , 2010, SIAM J. Sci. Comput..

[104]  P. E. Bernatz,et al.  How conservative? , 1971, The Annals of thoracic surgery.

[105]  J. V. D. Vegt,et al.  Space--time discontinuous Galerkin finite element method with dynamic grid motion for inviscid compressible flows: I. general formulation , 2002 .

[106]  Michael Dumbser,et al.  Arbitrary high order PNPM schemes on unstructured meshes for the compressible Navier–Stokes equations , 2010 .

[107]  Y. Saad,et al.  GMRES: a generalized minimal residual algorithm for solving nonsymmetric linear systems , 1986 .

[108]  Chi-Wang Shu,et al.  The Local Discontinuous Galerkin Method for Time-Dependent Convection-Diffusion Systems , 1998 .

[109]  S. W. Cheung,et al.  Staggered discontinuous Galerkin methods for the incompressible Navier-Stokes equations , 2015, J. Comput. Phys..

[110]  Chi-Wang Shu,et al.  Central Discontinuous Galerkin Methods on Overlapping Cells with a Nonoscillatory Hierarchical Reconstruction , 2007, SIAM J. Numer. Anal..

[111]  R. Rannacher,et al.  Finite element approximation of the nonstationary Navier-Stokes problem. I : Regularity of solutions and second-order error estimates for spatial discretization , 1982 .

[112]  Claus-Dieter Munz,et al.  A contribution to the construction of diffusion fluxes for finite volume and discontinuous Galerkin schemes , 2007, J. Comput. Phys..

[113]  Francis X. Giraldo,et al.  High‐order semi‐implicit time‐integrators for a triangular discontinuous Galerkin oceanic shallow water model , 2009 .

[114]  Chia-Jung Hsu Numerical Heat Transfer and Fluid Flow , 1981 .

[115]  J. Oden,et al.  A discontinuous hp finite element method for convection—diffusion problems , 1999 .

[116]  Alfredo Bermúdez,et al.  A projection hybrid finite volume/element method for low-Mach number flows , 2014, J. Comput. Phys..

[117]  R. Klein Semi-implicit extension of a Godunov-type scheme based on low Mach number asymptotics , 1995 .

[118]  Claus-Dieter Munz,et al.  A Discontinuous Galerkin Scheme based on a Space-Time Expansion II. Viscous Flow Equations in Multi Dimensions , 2008, J. Sci. Comput..

[119]  Vincenzo Casulli,et al.  A high‐resolution wetting and drying algorithm for free‐surface hydrodynamics , 2009 .

[120]  Vít Dolejší,et al.  A semi-implicit discontinuous Galerkin finite element method for the numerical solution of inviscid compressible flow , 2004 .

[121]  Franco P. Preparata,et al.  Using Pyramids in Mixed Meshes - Point Placement and Basis Functions , 2000 .

[122]  M. Fortin Old and new finite elements for incompressible flows , 1981 .

[123]  C. Munz,et al.  Multiple pressure variables methods for fluid flow at all Mach numbers , 2005 .