A Boot-Strapping Technique to Design Unconditionally Positive Dense Output Formulae for Modified Patankar-Runge-Kutta Methods

doi:10.1007/s42967-025-00480-8

Abstract

Abstract: In this work, modified Patankar-Runge-Kutta (MPRK) schemes up to order four are considered and equipped with a dense output formula of appropriate accuracy. Since these time integrators are conservative and positivity-preserving for any time step size, we impose the same requirements on the corresponding dense output formula. In particular, we discover that there is an explicit first-order formula. However, to develop a boot-strapping technique, we propose to use implicit formulae which naturally fit into the framework of MPRK schemes. In particular, if lower-order MPRK schemes are used to construct methods of higher order, the same can be done with the dense output formulae we propose in this work. We explicitly construct formulae up to order three and demonstrate how to generalize this approach as long as the underlying Runge-Kutta method possesses a dense output formula of appropriate accuracy. We also note that even though linear systems have to be solved to compute an approximation for intermediate points in time using these higher-order dense output formulae, the overall computational effort to reach a given number of approximations is reduced compared to using the scheme with a smaller step size. We support this fact and our theoretical findings by means of numerical experiments.

Key words: Dense output formulae, Boot-strapping process, Modified Patankar-Runge-Kutta (MPRK) schemes, Unconditional positivity, Conservativity

CLC Number:

65L05
65L20

Thomas Izgin. A Boot-Strapping Technique to Design Unconditionally Positive Dense Output Formulae for Modified Patankar-Runge-Kutta Methods[J]. Communications on Applied Mathematics and Computation, 2026, 8(3): 868-892.

TrendMD

References

[1] Araújo, A.L., Murua, A., Sanz-Serna, J.M.: Symplectic methods based on decompositions. SIAM J. Numer. Anal. 34(5), 1926-1947 (1997)
[2] Blanes, S., Iserles, A., Macnamara, S.: Positivity-preserving methods for ordinary differential equations. ESAIM Math. Model. Numer. Anal. 56(6), 1843-1870 (2022). https://doi.org/10.1051/m2an/2022042
[3] Bolley, C., Crouzeix, M.: Conservation de la positivité lors de la discrétisation des problèmes d’évolution paraboliques. RAIRO Anal. Numér. 12(3), 237-245 (1978). https://doi.org/10.1051/m2an/1978120302371
[4] Burchard, H., Deleersnijder, E., Meister, A.: A high-order conservative Patankar-type discretisation for stiff systems of production-destruction equations. Appl. Numer. Math. 47(1), 1-30 (2003). https://doi.org/10.1016/S0168-9274(03)00101-6
[5] Burchard, H., Deleersnijder, E., Meister, A.: Application of modified Patankar schemes to stiff biogeochemical models for the water column. Ocean Dyn. 55(3), 326-337 (2005). https://doi.org/10.1007/s10236-005-0001-x
[6] Butcher, J.C.: Numerical Methods for Ordinary Differential Equations, 3rd edn., pp. 513. John Wiley & Sons Ltd, Chichester (2016). https://doi.org/10.1002/9781119121534
[7] Butcher, J.C.: B-series and B-series coefficients. J. Numer. Anal. Ind. Appl. Math. 5(1/2), 39-48 (2010)
[8] Dougherty, R.L., Edelman, A., Hyman, J.M.: Nonnegativity-, monotonicity-, or convexity-preserving cubic and quintic Hermite interpolation. Math. Comput. 52, 471-494 (1989)
[9] Enright, W.H., Jackson, K.R., Nørsett, S.P., Thomsen, P.G.: Interpolants for Runge-Kutta formulas. ACM Trans. Math. Softw. 12(3), 193-218 (1986). https://doi.org/10.1145/7921.7923
[10] Hairer, E., Nørsett, S.P., Wanner, G.: Solving ordinary differential equations. I, 2nd edn. In: Springer Series in Computational Mathematics, vol. 8, pp. 528. Springer, Berlin (1993)
[11] Hussain, M.Z., Sarfraz, M.: Positivity-preserving interpolation of positive data by rational cubics. J. Comput. Appl. Math. 218(2), 446-458 (2008). https://doi.org/10.1016/j.cam.2007.05.023
[12] Izgin, T.: A unifying theory for Runge-Kutta-Like time integrators: convergence and stability. PhD thesis, University of Kassel (2024). https://doi.org/10.17170/kobra-202402059522
[13] Izgin, T., Kopecz, S., Meister, A.: On Lyapunov stability of positive and conservative time integrators and application to second order modified Patankar-Runge-Kutta schemes. ESAIM Math. Model. Numer. Anal. 56(3), 1053-1080 (2022). https://doi.org/10.1051/m2an/2022031
[14] Izgin, T., Kopecz, S., Meister, A.: On the stability of unconditionally positive and linear invariants preserving time integration schemes. SIAM J. Numer. Anal. 60(6), 3029-3051 (2022). https://doi.org/10.1137/22M1480318
[15] Izgin, T., Ketcheson, D.I., Meister, A.: Order conditions for Runge-Kutta-like methods with solution-dependent coefficients. Commun. Appl. Math. Computat. Sci. https://doi.org/10.48550/arXiv.2305.14297 (2023)
[16] Izgin, T., Kopecz, S., Meister, A., Schilling, A.: On the non-global linear stability and spurious fixed points of MPRK schemes with negative RK parameters. Numer. Algorithms 96(3), 1221-1242 (2024). https://doi.org/10.1007/s11075-024-01770-7
[17] Izgin, T., Ranocha, H.: Using Bayesian optimization to design time step size controllers with application to modified Patankar-Runge-Kutta methods. (2023) arXiv:2312.01796
[18] Ketcheson, D.I., Lóczi, L., Jangabylova, A., Kusmanov, A.: Dense output for strong stability preserving Runge-Kutta methods. J. Sci. Comput. 71(3), 944-958 (2017). https://doi.org/10.1007/s10915-016-0331-5
[19] Kopecz, S., Meister, A.: On order conditions for modified Patankar-Runge-Kutta schemes. Appl. Numer. Math. 123, 159-179 (2018)
[20] Kopecz, S., Meister, A.: Unconditionally positive and conservative third order modified Patankar-Runge-Kutta discretizations of production-destruction systems. BIT 58(3), 691-728 (2018)
[21] Lefever, R., Nicolis, G.: Chemical instabilities and sustained oscillations. J. Theor. Biol. 30(2), 267-284 (1971). https://doi.org/10.1016/0022-5193(71)90054-3
[22] Mickens, R.E., Washington, T.M.: NSFD discretizations of interacting population models satisfying conservation laws. Comput. Math. Appl. 66(11), 2307-2316 (2013). https://doi.org/10.1016/j.camwa.2013.06.011. (Progress on Difference Equations)
[23] Öffner, P., Torlo, D.: Arbitrary high-order, conservative and positivity preserving Patankar-type deferred correction schemes. Appl. Numer. Math. 153, 15-34 (2020)
[24] Sandu, A.: Positive numerical integration methods for chemical kinetic systems. J. Comput. Phys. 170(2), 589-602 (2001). https://doi.org/10.1006/jcph.2001.6750
[25] Sandu, A.: Time-stepping methods that favor positivity for atmospheric chemistry modeling. In: Atmospheric Modeling (Minneapolis, MN, 2000). IMA Vol. Math. Appl., vol. 130, pp. 21-37. Springer, New York (2002). https://doi.org/10.1007/978-1-4757-3474-4_2
[26] Torlo, D., Öffner, P., Ranocha, H.: Issues with positivity-preserving Patankar-type schemes. Appl. Numer. Math. 182, 117-147 (2022). https://doi.org/10.1016/j.apnum.2022.07.014
[27] Zennaro, M.: Natural continuous extensions of Runge-Kutta methods. Math. Comput. 46, 119-133 (1986)