A Large-Scale Benchmark for the Incompressible Navier-Stokes Equations

Numerical methods for solving incompressible Navier-Stokes equations are widely applied and are among the most extensively studied. A plethora of approaches have been introduced targeting different applications and regimes; these methods vary in space discretization, choice of time integration scheme, or reduction of the non-linear equations to a sequence of simpler problems. While the theoretical properties of most of these variants are known, it is still difficult to pick the best option for a given problem, as practical performance of these methods has never been systematically compared over a varied set of geometries and boundary conditions. We introduce a collection of benchmark problems in 2D and 3D (geometry description and boundary conditions), including simple cases with known analytic solution, classical experimental setups, and complex geometries with fabricated solutions for evaluation of numerical schemes for incompressible Navier-Stokes equations in laminar flow regime. We compare the performance of a representative selection of most broadly used algorithms for Navier-Stokes equations on this set of problems. Where applicable, we compare the most common spatial discretization choices (unstructured triangle/tetrahedral meshes and structured or semi-structured quadrilateral/hexahedral meshes). The study shows that while the type of spatial discretization used has a minor impact on the accuracy of the solutions, the choice of time integration method, spatial discretization order, and the choice of solving the coupled equations or reducing them to simpler subproblems have very different properties. Methods that are directly solving the original equations tend to be more accurate than splitting approaches for the same number of degrees of freedom, but numerical or computational difficulty arise when they are scaled to larger problem sizes. Low-order splitting methods are less accurate, but scale more easily to large problems, while higher-order splitting methods are accurate but require dense time discretizations to be stable. We release the description of the experiments and an implementation of our benchmark, which we believe will enable statistically significant comparisons with the state of the art as new approaches for solving the incompressible Navier-Stokes equations are introduced.

[1]  Theory and Approximation of the Navier-Stokes Problem , 1986 .

[2]  Rahul Narain,et al.  An advection-reflection solver for detail-preserving fluid simulation , 2018, ACM Trans. Graph..

[3]  Chenfanfu Jiang,et al.  An angular momentum conserving affine-particle-in-cell method , 2016, J. Comput. Phys..

[4]  Olga Sorkine-Hornung,et al.  Instant field-aligned meshes , 2015, ACM Trans. Graph..

[5]  Longfei Li,et al.  A split-step finite-element method for incompressible Navier-Stokes equations with high-order accuracy up-to the boundary , 2019, J. Comput. Phys..

[6]  J. Bates,et al.  Multiply-Upstream, Semi-Lagrangian Advective Schemes: Analysis and Application to a Multi-Level Primitive Equation Model , 1982 .

[7]  Simon Scheidegger,et al.  Large-scale Sparse Inverse Covariance Matrix Estimation , 2019, SIAM J. Sci. Comput..

[8]  Olaf Schenk,et al.  State-of-The-Art Sparse Direct Solvers , 2019, Parallel Algorithms in Computational Science and Engineering.

[9]  Andrew T. T. McRae,et al.  Automated Generation and Symbolic Manipulation of Tensor Product Finite Elements , 2014, SIAM J. Sci. Comput..

[10]  J. Brackbill,et al.  FLIP: A method for adaptively zoned, particle-in-cell calculations of fluid flows in two dimensions , 1986 .

[11]  Tamar Shinar,et al.  Affine particle in cell method for MAC grids and fluid simulation , 2020, J. Comput. Phys..

[12]  N A Petersson,et al.  A Split-Step Scheme for the Incompressible Navier-Stokes , 2001 .

[13]  W. Marsden I and J , 2012 .

[14]  J. P. V. Doormaal,et al.  ENHANCEMENTS OF THE SIMPLE METHOD FOR PREDICTING INCOMPRESSIBLE FLUID FLOWS , 1984 .

[15]  R. Glowinski Finite element methods for incompressible viscous flow , 2003 .

[16]  Robert Bridson,et al.  Resolving fluid boundary layers with particle strength exchange and weak adaptivity , 2016, ACM Trans. Graph..

[17]  Stefano Zampini,et al.  MFEM: a modular finite element methods library , 2019, 1911.09220.

[18]  M. Fortin,et al.  Augmented Lagrangian methods : applications to the numerical solution of boundary-value problems , 1983 .

[19]  Markus H. Gross,et al.  Optimized Spatial Hashing for Collision Detection of Deformable Objects , 2003, VMV.

[20]  Patrick Knupp,et al.  Code Verification by the Method of Manufactured Solutions , 2000 .

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

[22]  Daniele Panozzo,et al.  A Large Scale Comparison of Tetrahedral and Hexahedral Elements for Finite Element Analysis , 2019, ArXiv.

[23]  A. Chorin Numerical solution of the Navier-Stokes equations , 1968 .

[24]  Gilou Agbaglah,et al.  A parallel hp-adaptive high order discontinuous Galerkin method for the incompressible Navier-Stokes equations , 2019, J. Comput. Phys. X.

[25]  Philippe G. Ciarlet,et al.  The finite element method for elliptic problems , 2002, Classics in applied mathematics.

[26]  David Wells,et al.  The deal.II library, Version 9.1 , 2019, J. Num. Math..

[27]  T. Dupont,et al.  Back and forth error compensation and correction methods for removing errors induced by uneven gradients of the level set function , 2003 .

[28]  Gerhard Wellein,et al.  A Recursive Algebraic Coloring Technique for Hardware-efficient Symmetric Sparse Matrix-vector Multiplication , 2019, ACM Trans. Parallel Comput..

[29]  Jos Stam,et al.  Stable fluids , 1999, SIGGRAPH.

[30]  Robert Bridson,et al.  Restoring the missing vorticity in advection-projection fluid solvers , 2015, ACM Trans. Graph..

[31]  C. J. Stimpson The Verdict Library Reference Manual , 2007 .

[32]  Chenfanfu Jiang,et al.  The affine particle-in-cell method , 2015, ACM Trans. Graph..

[33]  R. Maccormack,et al.  The Effect of Viscosity in Hypervelocity Impact Cratering , 2003 .

[34]  Hrvoje Jasak,et al.  Error analysis and estimation for the finite volume method with applications to fluid flows , 1996 .

[35]  S. Huberson,et al.  The particle strength exchange method applied to axisymmetric viscous flows , 2001 .

[36]  J. S. Sawyer A semi-Lagrangian method of solving the vorticity advection equation , 1963 .

[37]  D. Griffin,et al.  Finite-Element Analysis , 1975 .

[38]  Konstantinos Poulios,et al.  GetFEM , 2020, ACM Trans. Math. Softw..

[39]  Daniele Panozzo,et al.  TriWild , 2019, ACM Trans. Graph..

[40]  C. Ross Ethier,et al.  Exact fully 3D Navier–Stokes solutions for benchmarking , 1994 .

[41]  Francis H Harlow,et al.  The particle-in-cell method for numerical solution of problems in fluid dynamics , 1962 .

[42]  Jian‐Guo Liu,et al.  Projection method I: convergence and numerical boundary layers , 1995 .

[43]  Benjamin S. Kirk,et al.  Library for Parallel Adaptive Mesh Refinement / Coarsening Simulations , 2006 .

[44]  Ronald Fedkiw,et al.  An Unconditionally Stable MacCormack Method , 2008, J. Sci. Comput..

[45]  Arnold Neumaier,et al.  Introduction to Numerical Analysis , 2001 .

[46]  G. Taylor,et al.  Mechanism of the production of small eddies from large ones , 1937 .

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

[48]  Barry Lee,et al.  Finite elements and fast iterative solvers: with applications in incompressible fluid dynamics , 2006, Math. Comput..

[49]  Chenfanfu Jiang,et al.  Efficient and conservative fluids using bidirectional mapping , 2019, ACM Trans. Graph..

[50]  Ramon Codina,et al.  An iterative penalty method for the finite element solution of the stationary Navier-Stokes equations , 1993 .

[51]  Chenfanfu Jiang,et al.  A polynomial particle-in-cell method , 2017, ACM Trans. Graph..

[52]  Robert Bridson,et al.  Fluid Simulation for Computer Graphics , 2008 .

[53]  Long Chen FINITE VOLUME METHODS , 2011 .

[54]  P. Kolditz,et al.  Computational Methods in Environmental Fluid Mechanics , 2002, Springer Berlin Heidelberg.