A Discontinuous Galerkin Consistent Splitting Method for the Incompressible Navier-Stokes Equations
Pith reviewed 2026-05-17 00:30 UTC · model grok-4.3
The pith
Discontinuous Galerkin discretization of Liu's consistent splitting scheme for incompressible Navier-Stokes equations yields a decoupled solver with no splitting error.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
When the consistent splitting scheme is discretized with symmetric interior penalty Galerkin methods for second derivatives, chosen fluxes for the divergence of velocity and the convective operator, and Leray projection combined with divergence and normal continuity penalties, the pressure boundary condition reduces to terms arising solely from the acceleration and viscous contributions in the L2 discretization. This produces a fully decoupled time-stepping procedure consisting of a single pressure Poisson solve followed by a single vector-valued convection-diffusion-reaction equation, with no splitting error that would otherwise limit temporal accuracy.
What carries the argument
The consistent splitting scheme discretized via symmetric interior penalty discontinuous Galerkin fluxes together with Leray projection and penalty terms for divergence and convective operators.
If this is right
- Optimal spatial and temporal convergence rates are attained for both velocity and pressure fields.
- The scheme remains accurate with higher-order time integration methods without degradation from splitting.
- Consistent boundary conditions apply directly to open and traction boundaries.
- Mass conservation improves through the combination of Leray projection and penalty terms.
- The method applies to benchmark flows such as cylinder flow and Taylor-Green vortex without special compatibility fixes.
Where Pith is reading between the lines
- The single Poisson plus single CDR structure per step may simplify the design of efficient preconditioners or domain-decomposition solvers for large-scale problems.
- The approach could be tested on moving-boundary or fluid-structure interaction problems where implicit divergence enforcement reduces remeshing costs.
- Extension to variable-density or non-Newtonian flows would require checking whether the same flux choices preserve the reduction of the pressure boundary condition.
- The semi-implicit convection treatment might combine with explicit subgrid-scale models for under-resolved turbulent simulations.
Load-bearing premise
Liu's consistent splitting scheme remains consistent and free of splitting error after discretization with the chosen DG fluxes, interior penalty terms, and Leray projection for the divergence and convective operators.
What would settle it
Numerical tests on the Taylor-Green vortex showing that the observed temporal convergence order falls below the order of the chosen time integrator or that spurious pressure boundary layers appear near walls would falsify the absence of splitting error.
Figures
read the original abstract
This work presents the discontinuous Galerkin discretization of the consistent splitting scheme proposed by Liu [J. Liu, J. Comp. Phys., 228(19), 2009]. The method enforces the divergence-free constraint implicitly, removing velocity--pressure compatibility conditions and eliminating pressure boundary layers. Consistent boundary conditions are imposed, also for settings with open and traction boundaries. Hence, accuracy in time is no longer limited by a splitting error. The symmetric interior penalty Galerkin method is used for second spatial derivatives. The convective term is treated in a semi-implicit manner, which relaxes the CFL restriction of explicit schemes while avoiding the need to solve nonlinear systems required by fully implicit formulations. For improved mass conservation, Leray projection is combined with divergence and normal continuity penalty terms. By selecting appropriate fluxes for both the divergence of the velocity field and the divergence of the convective operator, the consistent pressure boundary condition can be shown to reduce to contributions arising solely from the acceleration and the viscous term for the $L^2$ discretization. Per time step, the decoupled nature of the scheme with respect to the velocity and pressure fields leads to a single pressure Poisson equation followed by a single vector-valued convection-diffusion-reaction equation. We verify optimal convergence rates of the method in both space and time and demonstrate compatibility with higher-order time integration schemes. A series of numerical experiments, including the two-dimensional flow around a cylinder benchmark and the three-dimensional Taylor--Green vortex problem, verify the applicability to practically relevant flow problems.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper presents a discontinuous Galerkin discretization of Liu's 2009 consistent splitting scheme for the incompressible Navier-Stokes equations. It employs the symmetric interior penalty Galerkin method for viscous terms, a semi-implicit treatment of convection, and combines Leray projection with divergence and normal-continuity penalty terms to improve mass conservation. The central claim is that suitably chosen numerical fluxes for the divergence of velocity and of the convective operator allow the consistent pressure boundary condition to reduce exactly to acceleration and viscous contributions in the L2 discretization, even for open and traction boundaries; this yields a decoupled scheme consisting of one pressure Poisson solve followed by one vector convection-diffusion-reaction solve per time step, with no splitting error and optimal convergence rates in space and time.
Significance. If the algebraic cancellation of extraneous interface and boundary terms survives the DG weak formulation and stabilization, the method would provide a high-order, splitting-error-free DG scheme for incompressible flows that handles open/traction boundaries without pressure boundary layers or velocity-pressure compatibility constraints. The combination of semi-implicit convection and higher-order time integrators, together with the reported verification on the cylinder benchmark and Taylor-Green vortex, would represent a useful contribution to the DG literature for incompressible flows.
major comments (1)
- [§3] §3 (or the section deriving the weak form of the pressure Poisson equation): The headline claim that the consistent pressure boundary condition reduces to acceleration plus viscous terms only rests on the assertion that chosen DG fluxes for div(u) and div(convective operator), together with symmetric interior penalty terms and the Leray projection, produce exact cancellation of all pressure-dependent and projection-dependent residuals. The manuscript must supply the explicit integration-by-parts identities and interface term cancellations (including the precise penalty-parameter choices) that establish this reduction for the L2 discretization; without them the temporal accuracy claim cannot be verified.
minor comments (2)
- [Abstract] Abstract and §1: Replace the phrase 'can be shown' with an explicit forward reference to the theorem or lemma that proves the cancellation.
- [Numerical experiments] Numerical experiments section: The reported convergence tables should include the precise penalty-parameter values used for divergence and normal continuity; these parameters appear in the free-parameter list and affect the claimed cancellation.
Simulated Author's Rebuttal
We thank the referee for the careful and constructive review of our manuscript. We address the single major comment below and will revise the paper to incorporate the requested details.
read point-by-point responses
-
Referee: [§3] §3 (or the section deriving the weak form of the pressure Poisson equation): The headline claim that the consistent pressure boundary condition reduces to acceleration plus viscous terms only rests on the assertion that chosen DG fluxes for div(u) and div(convective operator), together with symmetric interior penalty terms and the Leray projection, produce exact cancellation of all pressure-dependent and projection-dependent residuals. The manuscript must supply the explicit integration-by-parts identities and interface term cancellations (including the precise penalty-parameter choices) that establish this reduction for the L2 discretization; without them the temporal accuracy claim cannot be verified.
Authors: We agree that the explicit derivations strengthen the presentation. In the revised manuscript we will expand the weak-form derivation in Section 3 to include the full integration-by-parts identities for the pressure Poisson equation. These will detail: the precise DG numerical fluxes selected for both div(u) and the divergence of the convective operator; the resulting interface jump and average terms; the contributions of the symmetric interior penalty stabilization and the Leray projection; and the concrete penalty-parameter choices (standard SIPG scaling proportional to (k+1)^2/h) that produce exact cancellation of all pressure-dependent and projection-dependent residuals. The expanded identities will confirm that the consistent pressure boundary condition reduces exactly to acceleration and viscous terms in the L2 sense, thereby rigorously supporting the claimed absence of splitting error. revision: yes
Circularity Check
Derivation is self-contained; no reduction to inputs by construction
full rationale
The paper discretizes Liu's consistent splitting scheme using DG methods with specific fluxes, interior penalties, and Leray projection. The central claim—that appropriate flux choices make the consistent pressure BC reduce exactly to acceleration and viscous contributions—is presented as a result to be shown via the weak-form integration and stabilization terms, not as a definitional identity or fitted parameter. The scheme's decoupling into one Poisson solve and one convection-diffusion-reaction solve follows directly from the splitting structure without self-referential closure. Self-citation to Liu is load-bearing only for the continuous scheme; the DG-specific cancellation is an independent algebraic verification within the present discretization. No self-definitional loops, renamed empirical patterns, or uniqueness theorems imported from the authors' prior work appear in the provided derivation chain.
Axiom & Free-Parameter Ledger
free parameters (1)
- penalty parameters for divergence and normal continuity
axioms (1)
- domain assumption Liu's consistent splitting scheme remains consistent and eliminates splitting error when discretized with the chosen DG interior penalty and flux terms.
Reference graph
Works this paper leans on
- [1]
-
[2]
John.Finite Element Methods for Incompressible Flow Problems
V. John.Finite Element Methods for Incompressible Flow Problems. Springer International Pub- lishing, Basel, 2016
work page 2016
-
[3]
P. Hood and C. Taylor. Navier-Stokes equations using mixed interpolation. In J.T. Oden, O.C. Zienkiewicz, R.H. Gallagher, and C. Taylor, editors,Finite Element Methods in Flow Problems, pages 57–66, Huntsville, 1974. UAH Press
work page 1974
-
[4]
F. Brezzi and J. Pitk¨ aranta. On the stabilization of finite element approximations of the Stokes equations. In W. Hackbusch, editor,Efficient Solutions of Elliptic Systems. Notes on Numerical Fluid Mechanics, volume 10, pages 11–19, Wiesbaden, 1984
work page 1984
-
[5]
T.J.R. Hughes, L.P. Franca, and M. Balestra. A new finite element formulation for computational fluid dynamics: V. Circumventing the Babuˇ ska-Brezzi condition: A stable Petrov-Galerkin formu- lation of the Stokes problem accommodating equal-order interpolations.Comput. Methods Appl. Mech. Eng., 59(1):85–99, 1986. 18
work page 1986
-
[6]
D.R.Q. Pacheco, R. Schussnig, O. Steinbach, and T.-P. Fries. A global residual-based stabilization for equal-order finite element approximations of incompressible flows.Int. J. Numer. Methods Eng., 122(8):2075–2094, 2021
work page 2075
-
[7]
R. Schussnig, D.R.Q. Pacheco, and T.-P. Fries. Robust stabilised finite element solvers for generalised Newtonian fluid flows.J. Comput. Phys., 442:110436, 2021
work page 2021
-
[8]
J. Cahouet and J.-P Chabard. Some fast 3D finite element solvers for the generalized Stokes problem. Int. J. Numer. Meth. Fluids, 8(8):869–895, 1988
work page 1988
-
[9]
M. Benzi and M.A. Olshanskii. An augmented Lagrangian-based approach to the Oseen problem. SIAM J. Sci. Comput., 28(6):2095–2113, 2006
work page 2095
-
[10]
M. Benzi, M.A. Olshanskii, and Z. Wang. Modified augmented Lagrangian preconditioners for the incompressible Navier-Stokes equations.Int. J. Numer. Meth. Fluids, 66(4):486–508, 2011
work page 2011
-
[11]
T. Heister and G. Rapin. Efficient augmented Lagrangian-type preconditioning for the Oseen problem using Grad-Div stabilization.Int. J. Numer. Meth. Fluids, 71(1):118–134, 2013
work page 2013
-
[12]
C. Lohmann and S. Turek. Augmented Lagrangian acceleration of global-in-time pressure Schur complement solvers for incompressible Oseen equations.J. Math. Fluid Mech., 26(2):27, 2024. doi: 10.1007/s00021-024-00862-7
-
[13]
Y. Shih, G. Stadler, and F. Wechsung. Robust multigrid techniques for augmented Lagrangian preconditioning of incompressible stokes equations with extreme viscosity variations.SIAM J. Sci. Comput., 45(3):27–53, 2023
work page 2023
-
[14]
H.C. Elman, D.J. Silvester, and A.J. Wathen.Finite Elements and Fast Iterative Solvers: With Applications in Incompressible Fluid Dynamics. Oxford University Press, Oxford, 2014
work page 2014
-
[15]
D. Kay, D. Loghin, and A. Wathen. A preconditioner for the steady-state Navier–Stokes equations. SIAM J. Sci. Comput., 24(1):237–256, 2003
work page 2003
-
[16]
H. Elman, V.E. Howle, J. Shadid, D. Silvester, and R. Tuminaro. Least squares preconditioners for stabilized discretizations of the Navier–Stokes equations.SIAM J. Sci. Comput., 30(1):290–311, 2008
work page 2008
-
[17]
H.C. Elman and R.S. Tuminaro. Boundary conditions in approximate commutator preconditioners for the Navier-Stokes equations.Electron. Trans. Numer. Anal., 35:257–280, 2009
work page 2009
-
[18]
T.C. Clevenger and T. Heister. Comparison between algebraic and matrix-free geometric multigrid for a Stokes problem on adaptive meshes with variable viscosity.Numer. Linear Algebra Appl., 28 (5):e2375, 2021
work page 2021
-
[19]
M. Kronbichler, A. Diagne, and H. Holmgren. A fast massively parallel two-phase flow solver for microfluidic chip simulation.Int. J. High Perform. Comput. Appl., 32(2):266–287, 2018
work page 2018
-
[20]
M. Creff and J.-L. Guermond. Consistent pressure formulation of the Stokes problem and approxi- mation thereof.Comput. Methods Appl. Mech. Eng., 447:118333, 2025
work page 2025
-
[21]
L.J.P. Timmermans, P.D. Minev, and F.N. van de Vosse. An approximate projection scheme for incompressible flow using spectral elements.Int. J. Numer. Meth. Fluids, 22(7):673–688, 1996
work page 1996
-
[22]
J. Guermond and J. Shen. On the error estimates for the rotational pressure-correction projection methods.Math. Comput., 73:1719–1737, 2003
work page 2003
-
[23]
G.E. Karniadakis, M. Israeli, and S.A. Orszag. High-order splitting methods for the incompressible Navier-Stokes equations.J. Comput. Phys., 97(2):414–443, 1991
work page 1991
-
[24]
J.L. Guermond and J. Shen. Velocity-correction projection methods for incompressible flows.SIAM J. Numer. Anal., 41(1):112–134, 2003
work page 2003
-
[25]
J.L. Guermond and J. Shen. A new class of truly consistent splitting schemes for incompressible flows.J. Comput. Phys., 192(1):262–276, 2003. 19
work page 2003
-
[26]
J. Liu. Open and traction boundary conditions for the incompressible Navier–Stokes equations.J. Comput. Phys., 228(19):7250–7267, 2009
work page 2009
-
[27]
F. Huang and J. Shen. Stability and error analysis of a new class of higher-order consistent splitting schemes for the navier–stokes equations.arXiv, 2025. doi: 10.48550/arXiv.2507.01296
-
[28]
J. Deteix and D. Yakoubi. Shear rate projection schemes for non-Newtonian fluids.Comput. Methods Appl. Mech. Eng., 354:620–636, 2019
work page 2019
-
[29]
D.R.Q. Pacheco, R. Schussnig, and T.-P. Fries. An efficient split-step framework for non-Newtonian incompressible flow problems with consistent pressure boundary conditions.Comput. Methods Appl. Mech. Eng., 382:113888, 2021
work page 2021
-
[30]
R. Schussnig, N. Fehn, D.R.Q. Pacheco, and M. Kronbichler. Higher-order discontinuous Galerkin splitting schemes for fluids with variable viscosity.Comput. Methods Appl. Mech. Eng., 448:118497, 2026
work page 2026
-
[31]
D.R.Q. Pacheco and R. Schussnig. Consistent pressure Poisson splitting methods for incompressible multi-phase flows: eliminating numerical boundary layers and inf-sup compatibility restrictions. Comput. Mech., 70:977–992, 2022
work page 2022
-
[32]
D.R.Q. Pacheco and R. Schussnig. A fully segregated and unconditionally stable IMEX scheme for dispersed multiphase flows.ESAIM: M2AN, 59:2863–2893, 2025
work page 2025
-
[33]
R. Schussnig, D.R.Q. Pacheco, and T.-P. Fries. Efficient split-step schemes for fluid–structure inter- action involving incompressible generalised Newtonian flows.Comput. Struct., 260:106718, 2022
work page 2022
-
[34]
J. Hesthaven and T. Warburton.Nodal Discontinuous Galerkin Methods: Algorithms, Analysis, and Applications, volume 54. Springer Nature, 2007
work page 2007
- [35]
- [36]
-
[37]
H. Johnston and J.-G. Liu. Accurate, stable and efficient navier–stokes solvers based on explicit treatment of the pressure term.J. Comput. Phys., 199(1):221–259, 2004
work page 2004
-
[38]
R.R Rosales, B. Seibold, D. Shirokoff, and D. Zhou. High-order finite element methods for a pressure poisson equation reformulation of the Navier–Stokes equations with electric boundary conditions. Comput. Methods Appl. Mech. Eng., 373:113451, 2021
work page 2021
-
[39]
M. Li, Y. Cheng, J. Shen, and X. Zhang. A bound-preserving high order scheme for variable density incompressible Navier-Stokes equations.J. Comput. Phys., 425:109906, 2021
work page 2021
-
[40]
M. Sch¨ afer, S. Turek, F. Durst, E. Krause, and R. Rannacher. Benchmark computations of laminar flow around a cylinder. In E.H. Hirschel, editor,Flow Simulation with High-Performance Computers II: DFG Priority Research Programme Results 1993–1995, pages 547–566. Vieweg&Teubner Verlag, Wiesbaden, 1996
work page 1993
-
[41]
G.I. Taylor and A.E. Green. Mechanism of the production of small eddies from large ones.Proc. R. Soc. A: Math. Phys. Eng. Sci., 158(895):499–521, 1937
work page 1937
-
[42]
Z.J. Wang, K. Fidkowski, R. Abgrall, F. Bassi, D. Caraeni, A. Cary, H. Deconinck, R. Hartmann, K. Hillewaert, H.T. Huynh, N. Kroll, G. May, P.-O. Persson, B. van Leer, and M. Visbal. High-order CFD methods: current status and perspective.Int. J. Numer. Methods Fluids, 72(8):811–845, 2013
work page 2013
-
[43]
J.L. Guermond, P. Minev, and Jie Shen. An overview of projection methods for incompressible flows. Comput. Methods Appl. Mech. Eng., 195(44-47):6011–6045, 2006
work page 2006
-
[44]
Schussnig.Generalised Newtonian Fluids in Cardiovascular Fluid–Structure Interaction
R. Schussnig.Generalised Newtonian Fluids in Cardiovascular Fluid–Structure Interaction. PhD thesis, Graz University of Technology, 2022. 20
work page 2022
-
[45]
J.-G. Liu, J. Liu, and R.L. Pego. Stable and accurate pressure approximation for unsteady incom- pressible viscous flow.J. Comput. Phys., 229(9):3428–3453, 2010
work page 2010
-
[46]
E. Hairer, S.P. Nørsett, and G. Wanner.Solving Ordinary Differential Equations I - Nonstiff prob- lems, volume 8 ofSpringer Series in Computational Mathemathics. Springer Berlin Heidelberg, Berlin, Heidelberg, 2nd edition, 1993
work page 1993
-
[47]
U.M. Ascher, S.J. Ruuth, and B.T.R. Wetton. Implicit-explicit methods for time-dependent partial differential equations.SIAM J. Numer. Anal., 32(3):797–823, 1995
work page 1995
-
[48]
D.N. Arnold. An interior penalty finite element method with discontinuous elements.SIAM J. Numer. Anal., 19(4):742–760, 1982
work page 1982
-
[49]
D.N. Arnold, F. Brezzi, B. Cockburn, and D. Marini. Discontinuous Galerkin methods for elliptic problems. In B Cockburn, G. Karniadakis, and C.-W. Shu, editors,Discontinuous Galerkin Meth- ods: Theory, Computation and Applications, volume 11 ofSpringer Lecture Notes in Computational Science and Engineering, pages 89–101. Springer Berlin Heidelberg, 2000
work page 2000
- [50]
-
[51]
K. Hillewaert.Development of the discontinuous Galerkin method for high-resolution, large scale CFD and acoustics in industrial geometries. PhD thesis, Universit´ e catholique de Louvain, 2013
work page 2013
- [52]
- [53]
-
[54]
M. Olshanskii, G. Lube, T. Heister, and J. L¨ owe. Grad–div stabilization and subgrid pressure models for the incompressible Navier–Stokes equations.Comput. Methods Appl. Mech. Eng., 198 (49):3975–3988, 2009
work page 2009
-
[55]
Fehn.Robust and Efficient Discontinuous Galerkin Methods for Incompressible Flows
N. Fehn.Robust and Efficient Discontinuous Galerkin Methods for Incompressible Flows. PhD thesis, Technische Universit¨ at M¨ unchen, 2021
work page 2021
-
[56]
A.I. Liosi, H. W¨ ustenberg, P. Khurana, S. Sherwin, J. Hoessler, A. Swift, and A. Chatzopoulos. Comparing efficient implicit time-stepping techniques for highly resolved simulations using industrial geometries. InAIAA SCITECH 2025 Forum. American Institute of Aeronautics and Astronautics, 2025
work page 2025
-
[57]
S. Sherwin. A substepping Navier-Stokes splitting scheme for spectral/hp element discretisations. In K. Matsuno, A. Ecer, N. Satofuka, J. Periaux, and P. Fox, editors,Parallel Computational Fluid Dynamics 2002, pages 43–52. North-Holland, Amsterdam, 2003
work page 2002
-
[58]
J. Liu, J. Liu, and R. Pego. Error estimates for finite-element Navier-Stokes solvers without standard inf-sup conditions.Chin. Annal. Math. Ser. B, 30:743–768, 11 2009
work page 2009
-
[59]
D. Arndt, N. Fehn, G. Kanschat, K. Kormann, M. Kronbichler, P. Munch, W.A. Wall, and J. Witte. ExaDG: High-order discontinuous Galerkin for the exa-scale. In H.-J. Bungartz, S. Reiz, B. Ueker- mann, P. Neumann, and W. E. Nagel, editors,Software for exascale computing-SPPEXA 2016-2019, pages 189–224, Cham, 2020. Springer International Publishing
work page 2016
-
[60]
D. Arndt, W. Bangerth, M. Bergbauer, B. Blais, M. Fehling, R. Gassm¨ oller, T. Heister, L. Heltai, M. Kronbichler, M. Maier, P. Munch, S. Scheuerman, B. Turcksin, S. Uzunbajakau, D. Wells, and M. Wichrowski. The deal.ii library, version 9.7.J. Numer. Math., 2025. URLhttps://doi.org/ 10.1515/jnma-2025-0115
-
[61]
V. John. Reference values for drag and lift of a two-dimensional time-dependent flow around a cylinder.Int. J. Numer. Methods Fluids, 44(7):777–788, 2004. doi: 10.1002/fld.679. 21
-
[62]
G.J. Gassner and A.D. Beck. On the accuracy of high-order discretizations for underresolved turbu- lence simulations.Theor. Comput. Fluid Dyn., pages 221–237, 2013
work page 2013
-
[63]
M.E. Brachet, D.I. Meiron, B.G. Nickel, R.H. Morf, U. Frisch, and S.A. Orszag. Small-scale structure of the Taylor–Green vortex.J. Fluid Mech., 130:411–452, 1983. 22
work page 1983
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.