Table of Contents
Fetching ...

A Patankar predictor-corrector approach for positivity-preserving time integration

Kamila Nurkhametova, Reid J. Gomillion, Amit N. Subrahmanya, Adrian Sandu

TL;DR

This work tackles the challenge of preserving positivity and linear invariants in stiff production-destruction systems when integrating in time. It introduces a modular Patankar predictor-corrector that post-processes base RK/SDIRK steps with stage clipping and diagonal scaling, yielding nonnegative, conservative solutions while largely maintaining the base method's order. Theoretical analysis shows the worst-case order is $\min(p, q+1)$, and extensive experiments on Robertson, MAPK, stratospheric chemistry, and KdV demonstrate robust positivity, invariant preservation, and favorable efficiency, with practical guidance on applying corrections to final versus all stages. The framework broadens the applicability of classical time integrators to PD systems and PDEs, though care is needed for certain problems (e.g., KdV) where full-stage corrections distort dynamics or explicit schemes suffer order reduction. The results justify the method as a simple, effective tool for building positivity-preserving solvers for stiff PD systems with modest overhead and wide potential applications.

Abstract

Many natural processes, such as chemical reactions and wave dynamics, are modeled as production-destruction (PD) systems that obey positivity and linear conservation laws. Classical time integrators do not guarantee positivity and can produce negative or nonphysical numerical solutions. This paper presents a modular correction strategy that can be applied to implicit Runge-Kutta schemes, in particular SDIRK methods. The strategy combines stage-wise clipping with a ratio-based scaling that enforces invariants and is guaranteed to yield nonnegative, conservative solutions. We provide a theoretical analysis of the corrected schemes and characterize their worst-case order of accuracy relative to the underlying base method. Numerical experiments on stiff ODE systems (Robertson, MAPK, stratospheric chemistry) and a nonlinear PDE (the Korteweg-De Vries equation) demonstrate that the corrected SDIRK methods preserve positivity and invariants without significant loss of accuracy. Importantly, corrections applied only to the final stage are sufficient in practice, while applying them at all stages may distort dynamics in some cases. For explicit Runge-Kutta schemes, the correction maintained positivity but reduced convergence to first order. These results show that the proposed framework provides a simple and effective way to construct positivity-preserving integrators for stiff PD systems.

A Patankar predictor-corrector approach for positivity-preserving time integration

TL;DR

This work tackles the challenge of preserving positivity and linear invariants in stiff production-destruction systems when integrating in time. It introduces a modular Patankar predictor-corrector that post-processes base RK/SDIRK steps with stage clipping and diagonal scaling, yielding nonnegative, conservative solutions while largely maintaining the base method's order. Theoretical analysis shows the worst-case order is , and extensive experiments on Robertson, MAPK, stratospheric chemistry, and KdV demonstrate robust positivity, invariant preservation, and favorable efficiency, with practical guidance on applying corrections to final versus all stages. The framework broadens the applicability of classical time integrators to PD systems and PDEs, though care is needed for certain problems (e.g., KdV) where full-stage corrections distort dynamics or explicit schemes suffer order reduction. The results justify the method as a simple, effective tool for building positivity-preserving solvers for stiff PD systems with modest overhead and wide potential applications.

Abstract

Many natural processes, such as chemical reactions and wave dynamics, are modeled as production-destruction (PD) systems that obey positivity and linear conservation laws. Classical time integrators do not guarantee positivity and can produce negative or nonphysical numerical solutions. This paper presents a modular correction strategy that can be applied to implicit Runge-Kutta schemes, in particular SDIRK methods. The strategy combines stage-wise clipping with a ratio-based scaling that enforces invariants and is guaranteed to yield nonnegative, conservative solutions. We provide a theoretical analysis of the corrected schemes and characterize their worst-case order of accuracy relative to the underlying base method. Numerical experiments on stiff ODE systems (Robertson, MAPK, stratospheric chemistry) and a nonlinear PDE (the Korteweg-De Vries equation) demonstrate that the corrected SDIRK methods preserve positivity and invariants without significant loss of accuracy. Importantly, corrections applied only to the final stage are sufficient in practice, while applying them at all stages may distort dynamics in some cases. For explicit Runge-Kutta schemes, the correction maintained positivity but reduced convergence to first order. These results show that the proposed framework provides a simple and effective way to construct positivity-preserving integrators for stiff PD systems.
Paper Structure (50 sections, 89 equations, 31 figures, 4 tables)

This paper contains 50 sections, 89 equations, 31 figures, 4 tables.

Figures (31)

  • Figure 1: In this cartoon the $\ell$-th component of the exact solution is close to zero, $u_\ell(t) \approx 0$, and the numerical stage solution has a negative $\ell$-th component. Clipping changes only component $\ell$ of the solution. Since $u_\ell \ge 0$, $(\breve{\mathbf{Y}}_i)_\ell = 0$, and $(\mathbf{Y}_i)_\ell \le 0$ we see that clipping does not increase the local truncation error: $\Vert \breve{\mathbf{Y}}_i - u(t_n + c_i\,h)\Vert$$\le$$\Vert \mathbf{Y}_i - u(t_n + c_i\,h)\Vert$ and $\Vert \mathbf{Y}_i - \breve{\mathbf{Y}}_i\Vert$$\le$$\Vert \mathbf{Y}_i - u(t_n + c_i\,h)\Vert$.
  • Figure 2: Robertson reaction system \ref{['eqn:Robertson']}. Time evolution of numerical $B$ computed by the base version of SDIRK21. Negative values are observed, indicating a violation of physical constraints.
  • Figure 3: Robertson reaction system \ref{['eqn:Robertson']}. Time evolution of $B$ using SDIRK21 with positivity correction applied to $\mathbf{y}_{n+1}$. All values remain strictly non-negative.
  • Figure 4: Robertson reaction system \ref{['eqn:Robertson']}. Time evolution of $B$ using SDIRK21 with positivity correction applied to each stage. The solution remains strictly non-negative.
  • Figure 5: Stratospheric Reaction \ref{['eqn:strato-ode']}. Concentrations of O1D and O over time using base version of SDIRK21. Negative values are observed, indicating a violation of physical constraints.
  • ...and 26 more figures

Theorems & Definitions (16)

  • Remark 3.5: Graph Laplacian
  • Remark 3.6: Positivity of the inverse
  • Remark 3.7: Scaling the columns of graph Laplacian matrix
  • Remark 3.8: Linear combinations of graph Laplacian matrices
  • Remark 3.9: Linear combinations of scaled graph Laplacian matrices
  • Remark 3.10: General linear invariants
  • Remark 3.11: A different form of production-destruction
  • Definition 3.12: Clipping
  • Definition 3.13: Ratio scaling
  • Remark 3.14: Application of ratio scaling
  • ...and 6 more