Recognition: unknown
Long-time stability of implicit-explicit Runge-Kutta methods for two-dimensional incompressible flows
Pith reviewed 2026-05-08 06:55 UTC · model grok-4.3
The pith
High-order implicit-explicit Runge-Kutta methods achieve long-time stability for two-dimensional incompressible Navier-Stokes flows.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The authors establish a unified analytical framework that proves long-time stability in both the L² and H¹ norms for a family of implicit-explicit Runge-Kutta methods applied to the two-dimensional incompressible Navier-Stokes equations. The schemes employ stiffly accurate diagonally implicit Runge-Kutta approximations for the linear diffusive term together with explicit Runge-Kutta approximations for the nonlinear advection term. By exploiting the model structure they reduce the order conditions to 5 for third-order and 11 for fourth-order methods. The proof combines a convolution-type Hölder inequality with a damping-type multistage Grönwall inequality and relies on a mathematical-indation
What carries the argument
Convolution-type Hölder inequality combined with damping-type multistage Grönwall inequality, supported by mathematical induction for stage-wise boundedness of vorticity in the H^δ norm.
Load-bearing premise
The mathematical-induction argument ensures stage-wise boundedness of the vorticity in the H^δ norm for the specific IERK schemes and the Navier-Stokes vorticity-stream formulation.
What would settle it
A concrete numerical simulation or analytical counterexample in which the vorticity fails to remain bounded in the H^δ norm for some initial data or time-step sequence, causing the L2 or H1 norms to grow without bound over long times.
Figures
read the original abstract
High-order adaptive time-stepping algorithms are of significant practical value and theoretical interest for accelerating long-time fluid-flow simulations and resolving complex dynamical behaviors. While several high-order implicit-explicit schemes have been proposed in the literature, their long-time stability properties remain largely unexplored. We develop a family of long-time stable implicit-explicit Runge-Kutta (IERK) methods, up to fourth-order temporal accuracy, for the two-dimensional incompressible Navier-Stokes equations in vorticity-stream function formulation. By combining a convolution-type H\"{o}lder inequality with a damping-type multistage Gr\"{o}nwall inequality, we establish a unified analytical framework that proves long-time stability in both the $L^2$ and $H^1$ norms. A key component of the analysis is a mathematical-induction argument that ensures stage-wise boundedness of the vorticity in the $H^\delta$ norm for some $\delta>0$. To the best of our knowledge, this is the first work to establish large-time stability results for high-order IERK algorithms for the two-dimensional incompressible Navier-Stokes equations. Our IERK schemes employ stiffly accurate diagonally implicit Runge-Kutta approximations for the linear diffusive term together with explicit Runge-Kutta approximations for the nonlinear advection term. By exploiting the specific structure of the Navier-Stokes model, we derive a reduced set of order conditions-requiring only 5 and 11 conditions for the third- and fourth-order methods, respectively, in contrast to the classical 6 and 18-allowing the construction of a parameterized family of efficient schemes. These IERK methods are particularly well suited for adaptive time-stepping, as they permit significantly enlarged step sizes in actual computations.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript develops a family of implicit-explicit Runge-Kutta (IERK) methods, up to fourth-order temporal accuracy, for the two-dimensional incompressible Navier-Stokes equations in vorticity-stream function formulation. These schemes employ stiffly accurate diagonally implicit Runge-Kutta approximations for the linear diffusive term and explicit Runge-Kutta approximations for the nonlinear advection term. The central claim is a unified analytical framework proving long-time stability in both L² and H¹ norms, obtained by combining a convolution-type Hölder inequality with a damping-type multistage Grönwall inequality, together with a mathematical-induction argument that ensures stage-wise boundedness of the vorticity in the H^δ norm for some δ>0. The methods are constructed via a reduced set of order conditions (5 for order 3, 11 for order 4) that exploit the structure of the Navier-Stokes model, and the work asserts this is the first such large-time stability result for high-order IERK algorithms on this problem.
Significance. If the stability analysis is rigorous, the result would be significant for numerical analysis of fluid flows: it supplies the first long-time L²/H¹ stability guarantees for high-order IERK schemes on 2D incompressible NS, directly supporting adaptive time-stepping with enlarged step sizes in long-time simulations. The framework relies on standard inequalities applied after an induction step rather than on machine-checked proofs or fully parameter-free derivations, but the reduced order conditions and explicit exploitation of the vorticity-stream structure are positive features that could be leveraged in follow-up work.
major comments (2)
- [Abstract / stability analysis] Abstract and stability analysis section: the mathematical-induction argument that keeps every internal stage value ω_i^n bounded in H^δ (δ>0) is load-bearing for the long-time claim, yet its closure is not verified in detail; specifically, the explicit advection term evaluated at the intermediate stages of the stiffly accurate DIRK/ERK pair must absorb commutator and embedding constants into the damping term without producing time-dependent growth that would prevent the multistage Grönwall factor from remaining uniform.
- [Order conditions and stability analysis] The reduced order conditions (5 for third-order, 11 for fourth-order) are stated to suffice for the schemes, but it is not shown that these conditions automatically guarantee the stage-order or stability-function properties needed for the nonlinear H^δ estimate to close under the induction; any failure here would undermine the subsequent application of the convolution Hölder and damping Grönwall inequalities.
minor comments (2)
- [Introduction] The abstract's phrasing 'to the best of our knowledge' should be supported by a concise literature comparison in the introduction that distinguishes the present long-time result from existing short-time or low-order IERK analyses for NS.
- [Preliminaries / notation] Notation for the stage values and the precise definition of the H^δ norm (including the value of δ) should be introduced earlier and used consistently when stating the induction hypothesis.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments on our manuscript. The two major points raised concern the level of detail in the induction argument and the explicit connection between the reduced order conditions and the required stability properties. We address both below and will revise the manuscript to provide the requested clarifications and additional lemmas.
read point-by-point responses
-
Referee: [Abstract / stability analysis] Abstract and stability analysis section: the mathematical-induction argument that keeps every internal stage value ω_i^n bounded in H^δ (δ>0) is load-bearing for the long-time claim, yet its closure is not verified in detail; specifically, the explicit advection term evaluated at the intermediate stages of the stiffly accurate DIRK/ERK pair must absorb commutator and embedding constants into the damping term without producing time-dependent growth that would prevent the multistage Grönwall factor from remaining uniform.
Authors: We agree that the closure of the induction step requires more explicit verification. In the revised manuscript we will expand the stability analysis section with a dedicated paragraph (or short subsection) that applies the induction hypothesis stage by stage. We will show that the stiffly accurate property of the DIRK part supplies a uniform damping factor that absorbs the commutator terms arising from the vorticity-stream formulation together with the embedding constants from the Hölder inequality. Because the damping coefficient is independent of the time step and of the stage index, the multistage Grönwall factor remains bounded uniformly in time, exactly as claimed. A remark on the admissible range for δ > 0 will also be added. revision: yes
-
Referee: [Order conditions and stability analysis] The reduced order conditions (5 for third-order, 11 for fourth-order) are stated to suffice for the schemes, but it is not shown that these conditions automatically guarantee the stage-order or stability-function properties needed for the nonlinear H^δ estimate to close under the induction; any failure here would undermine the subsequent application of the convolution Hölder and damping Grönwall inequalities.
Authors: The referee is correct that an explicit link between the reduced order conditions and the stage-order/stability-function properties used in the H^δ estimate was not spelled out. While the conditions were obtained by exploiting the divergence-free structure and the specific form of the advection term, we acknowledge that a direct verification is needed. In the revision we will insert a short lemma immediately after the statement of the order conditions. The lemma will verify that the reduced Butcher tableaux satisfy the necessary stage-order conditions and that the stability functions remain bounded in a manner compatible with the induction hypothesis, thereby allowing the convolution Hölder and multistage Grönwall arguments to close without additional growth factors. revision: yes
Circularity Check
Stability proof self-contained with external inequalities and induction
full rationale
The derivation chain rests on applying a convolution-type Hölder inequality and a damping-type multistage Grönwall inequality after a preliminary mathematical induction that secures stage-wise H^δ vorticity bounds. These are standard external analytic tools whose validity does not presuppose the target long-time L²/H¹ stability result; the reduced order conditions (5 for order 3, 11 for order 4) are obtained directly from the stiffly accurate DIRK/ERK structure of the NS vorticity-stream system rather than from the stability claim itself. No self-definitional loops, fitted parameters renamed as predictions, or load-bearing self-citations appear in the provided derivation steps.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Convolution-type Hölder inequality
- standard math Damping-type multistage Grönwall inequality
Reference graph
Works this paper leans on
-
[1]
Archilla and J
B. Archilla and J. Novo , Robust error bounds for the Navier-Stokes equations using implicit-explicit second order BDF method with variable steps. IMA J. Numer. Anal. , 43:5 (2023), pp. 2892--2933
2023
-
[2]
Ascher, S
U. Ascher, S. Ruuth and R.J. Spiteri , Implicit-explicit Runge-Kutta methods for time dependent partial differential equations, Appl. Numer. Math. , 25:2 3 (1997), pp. 151--167
1997
-
[3]
Boscarino, L
S. Boscarino, L. Pareschi and G. Russo , A unified IMEX Runge-Kutta approach for hyperbolic systems with multiscale relaxation, SIAM J. Numer. Anal. , 55:4 (2017), pp. 2085--2109
2017
-
[4]
Boisneault, S
A. Boisneault, S. Dubuis and M. Picasso , An adaptive space-time algorithm for the incompressible Navier-Stokes equations, J. Comput. Phys. , 493 (2023), 112457
2023
-
[5]
Boscarino and G
S. Boscarino and G. Russo , On a class of uniformly accurate IMEX Runge-Kutta schemes and applications to hyperbolic systems with relaxation, SIAM J. Sci. Comput. , 31:3 (2009), pp. 1926--1945
2009
-
[6]
Calvo, J
M.P. Calvo, J. De Frutos and J. Novo , Linearly implicit Runge-Kutta methods for advection-reaction-diffusion equations, Appl. Numer. Math. , 37:4 (2001), pp. 535--549
2001
-
[7]
Cardone, Z
A. Cardone, Z. Jackiewicz, A. Sandu and H. Zhang , Extrapolated implicit-explicit Runge-Kutta methods, Math. Model. Anal. , 19:1 (2014), pp. 18--43
2014
-
[8]
W. Chen, M. Gunzburger, D. Sun, X.-M. Wang , Efficient and long-time accurate second-order methods for the Stokes-Darcy system, SIAM J. Numer. Anal. , 51:5 (2013), pp. 2563--2584
2013
-
[9]
W. Chen, M. Gunzburger, D. Sun, X.-M. Wang , An efficient and long-time accurate third-order algorithm for the Stokes--Darcy system , Numer. Math. , 134:4 (2016), pp. 857--879
2016
-
[10]
Y. Chen, Y. Huang, H.-L. Liao and N. Yi , Energy behaviors of implicit-explicit Runge-Kutta methods in adaptive finite element simulations for the Cahn-Hilliard model, Commun. Comput. Phys. , 2026, to appear
2026
-
[11]
Cheng and X.-M
W. Cheng and X.-M. Wang , A semi-implicit scheme for stationary statistical properties of the infinite Prandtl number model, SIAM J. Numer. Anal. , 47:1 (2008), pp. 250--270
2008
-
[12]
Cheng, C
K. Cheng, C. Wang , Long time stability of high order multistep numerical schemes for two-dimensional incompressible Navier-Stokes equations, SIAM J. Numer. Anal. , 54:5 (2016), pp. 3123--3144
2016
-
[13]
Cheng, C
K. Cheng, C. Wang, S. Wise and X. Yue , A second-order, weakly energy-stable pseudo-spectral scheme for the Cahn-Hilliard equation and its solution by the homogeneous linear iteration method, J. Sci. Comput. , 69:3 (2016), pp. 1083--1114
2016
-
[14]
T. Chu, J. Wang, N. Wang and Z. Zhang , Optimal-order convergence of a two-step BDF method for the Navier-Stokes equations with H^1 initial data, J. Sci. Comput. , 96:2 (2023), 62
2023
-
[15]
Constantin and C
P. Constantin and C. Foias , Navier-Stokes equations , University of Chicago Press, New York, 1988
1988
-
[16]
DeCaria and M
V. DeCaria and M. Schneier , An embedded variable step IMEX scheme for the incompressible Navier-Stokes equations, Comput. Methods Appl. Mech. Eng. , 376 (2021), 113661
2021
-
[17]
Dimarco and L
G. Dimarco and L. Pareschi , Asymptotic preserving implicit-explicit Runge-Kutta methods for nonlinear kinetic equations, SIAM J. Numer. Anal. , 51:2 (2013), pp. 1064--1087
2013
-
[18]
Foias, O
C. Foias, O. Manley, R. Rosa, and R. Temam , Navier-Stokes equations and turbulence , Cambridge University Press, Cambridge, 2001
2001
-
[19]
Foias and R
C. Foias and R. Temam , Gevrey class regularity for the solutions of the Navier-Stokes equations, J. Funct. Anal. , 87:2 (1989), pp. 359--369
1989
-
[20]
Z. Fu, T. Tang and J. Yang , Energy diminishing implicit-explicit Runge-Kutta methods for gradient flows, Math. Comput. , 93:350 (2024), pp. 2745--2767
2024
-
[21]
Gottlieb, F
S. Gottlieb, F. Tone, C. Wang, X.-M. Wang, D. Wirosoetisno , Long time stability of a classical efficient scheme for two-dimensional Navier--Stokes equations, SIAM J. Numer. Anal. , 50:1 (2012), pp. 126--150
2012
-
[22]
Gottlieb and C
S. Gottlieb and C. Wang , Stability and convergence analysis of fully discrete Fourier collocation spectral method for 3-D viscous Burgers' equation, J. Sci. Comput. , 53:2 (2012), pp. 102--128
2012
-
[23]
Guesmi, M
M. Guesmi, M. Grotteschi and J. Stiller , Assessment of high-order IMEX methods for incompressible flow, Int. J. Numer. Meth. Fluids , 95:6 (2023), pp. 954--978
2023
-
[24]
Izzo and Z
G. Izzo and Z. Jackiewicz , Highly stable implicit-explicit Runge-Kutta methods, Appl. Numer. Math. , 113 (2017), pp. 71-92
2017
-
[25]
Kanevsky, M.H
A. Kanevsky, M.H. Carpenter, D. Gottlieb and J.S. Hesthaven , Application of implicit-explicit high order Runge-Kutta methods to discontinuous-Galerkin schemes, J. Comput. Phys. , 225:2 (2007), pp. 1753--1781
2007
-
[26]
A. T. Hill and E. S\" u li , Approximation of the global attractor for the incompressible Navier-Stokes equations, IMA J. Numer. Anal. , 20:4 (2000), pp. 633--667
2000
-
[27]
Horn and C.R
R.A. Horn and C.R. Johnson , Matrix Analysis, Second Edition, Cambridge University Press, New York, 2013
2013
-
[28]
Kennedy and M.H
C.A. Kennedy and M.H. Carpenter , Additive Runge-Kutta schemes for convection-diffusion-reaction equations, Appl. Numer. Math. , 44:1 2 (2003), pp. 139--181
2003
-
[29]
Li and H.-L
Z. Li and H.-L. Liao , Stability of variable-step BDF2 and BDF3 methods , SIAM J. Numer. Anal. , 60:4 (2022), pp. 2253--2272
2022
-
[30]
H.-L. Liao, T. Tang, X.-P. Wang and T. Zhou , A class of refined implicit-explicit Runge-Kutta methods with robust time adaptability and unconditional convergence for the Cahn-Hilliard model , Math. Comput. , 2025, doi: 10.1090/mcom/4090
-
[31]
Liao, X.-P
H.-L. Liao, X.-P. Wang and C. Wen , Original energy dissipation preserving corrections of integrating factor Runge-Kutta methods for gradient flow problems , J. Comput. Phys. , 2024, 519: 113456
2024
-
[32]
Liao, X.-P
H.-L. Liao, X.-P. Wang and C. Wen , Average energy dissipation rates of additive implicit-explicit Runge-Kutta methods for gradient flow problems, CSIAM Trans. Appl. Math. , 2026, to appear
2026
-
[33]
Liao and Z
H.-L. Liao and Z. Zhang , Analysis of adaptive BDF2 scheme for diffusion equations , Math. Comput. , 90:329 (2021), pp. 1207--1226
2021
-
[34]
Liu and J
H. Liu and J. Zou , Some new additive Runge-Kutta methods and their applications , J. Comput. Appl. Math. , 190:1 2 (2006), pp. 74--98
2006
-
[35]
Liu and C.-W
J.-G. Liu and C.-W. Shu , A high-order discontinuous Galerkin method for 2D incompressible flows, J. Comput. Phys. , 160:2 (2000), pp. 577--596
2000
-
[36]
N. C. Nguyen, J. Peraire and B. Cockburn , An implicit high-order hybridizable discontinuous Galerkin method for the incompressible Navier-Stokes equations, J. Comput. Phys. , 230:4 (2011), pp. 1147--1170
2011
-
[37]
Pareschi and G
L. Pareschi and G. Russo , Implicit-explicit Runge-Kutta schemes and applications to hyperbolic systems with relaxation, J. Sci. Comput. , 25:1 2 (2005), pp. 129--155
2005
-
[38]
J. Shen, T. Tang and L. Wang , Spectral methods: Algorithms, analysis and applications, Springer-Verlag, Berlin Heidelberg, 2011
2011
-
[39]
A. M. Stuart and A. R. Humphries , Dynamical systems and numerical analysis , Cambridge University Press, New York, 1998
1998
-
[40]
Tachim-Medjo , Navier-Stokes equations in the vorticity-velocity formulation: The two-dimensional case, Appl
T. Tachim-Medjo , Navier-Stokes equations in the vorticity-velocity formulation: The two-dimensional case, Appl. Numer. Math. , 21:2 (1996), pp. 185--206
1996
-
[41]
Temam , Infinite-dimensional dynamical systems in mechanics and physics , 2nd ed., Springer-Verlag, New York, 1997
R. Temam , Infinite-dimensional dynamical systems in mechanics and physics , 2nd ed., Springer-Verlag, New York, 1997
1997
-
[42]
Tone, X.-M
F. Tone, X.-M. Wang, and D. Wirosoetisno , Long-time dynamics of 2d double-diffusive convection: analysis and/of numerics. Numer. Math. , 130:3 (2015), pp. 541--566
2015
-
[43]
Tone and D
F. Tone and D. Wirosoetisno , On the long-time stability of the implicit Euler scheme for the two-dimensional Navier-Stokes equations, SIAM J. Numer. Anal. , 44:1 (2006), pp. 29--40
2006
-
[44]
X.-M. Wang, Z. Wang and M. Mao , Linearly implicit variable step-size BDF schemes with Fourier pseudospectral approximation for incompressible Navier-Stokes equations, Appl. Numer. Math. , 172 (2022), pp. 393--412
2022
-
[45]
Wang , Approximation of stationary statistical properties of dissipative dynamical systems: time discretization, Math
X.-M. Wang , Approximation of stationary statistical properties of dissipative dynamical systems: time discretization, Math. Comput. , 79:269 (2010), pp. 259--280
2010
-
[46]
Wang , An efficient second order in time scheme for approximating long time statistical properties of the two dimensional Navier-Stokes equations, Numer
X.-M. Wang , An efficient second order in time scheme for approximating long time statistical properties of the two dimensional Navier-Stokes equations, Numer. Math. , 121:4 (2012), pp. 753--779
2012
-
[47]
Wang , Numerical algorithms for stationary statistical properties of dissipative dynamical systems, Dis
X.-M. Wang , Numerical algorithms for stationary statistical properties of dissipative dynamical systems, Dis. Contin. Dyn. Sys. , 36:8 (2016), pp. 4599--4618
2016
-
[48]
X.-P. Wang, X. Zhao and H.-L. Liao , A unified framework on the original energy laws of three effective classes of Runge-Kutta methods for phase field crystal type models, SIAM J. Numer. Anal. , 63:4 (2025), pp. 1808--1832
2025
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.