Search arXivSearch

arXiv · 2202.11649

On the Stability of Unconditionally Positive and Linear Invariants Preserving Time Integration Schemes

Abstract

Higher-order time integration methods that unconditionally preserve the positivity and linear invariants of the underlying differential equation system cannot belong to the class of general linear methods. This poses a major challenge for the stability analysis of such methods since the new iterate depends nonlinearly on the current iterate. Moreover, for linear systems, the existence of linear invariants is always associated with zero eigenvalues, so that steady states of the continuous problem become non-hyperbolic fixed points of the numerical time integration scheme. Altogether, the stability analysis of such methods requires the investigation of non-hyperbolic fixed points for general nonlinear iterations. Based on the center manifold theory for maps we present a theorem for the analysis of the stability of non-hyperbolic fixed points of time integration schemes applied to problems whose steady states form a subspace. This theorem provides sufficient conditions for both the stability of the method and the local convergence of the iterates to the steady state of the underlying initial value problem. This theorem is then used to prove the unconditional stability of the MPRK22($α$)-family of modified Patankar-Runge-Kutta schemes when applied to arbitrary positive and conservative linear systems of differential equations. The theoretical results are confirmed by numerical experiments.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Thomas Izgin, Stefan Kopecz, Andreas Meister. 2022-02-23. On the Stability of Unconditionally Positive and Linear Invariants Preserving Time Integration Schemes. https://arxiv.org/abs/2202.11649

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Fully spectral scheme for the linear BGK equation on the whole space

In this article, we design a fully spectral method in both space and velocity for a linear inhomogeneous kinetic equation with mass, momentum and energy conservation. We focus on the linear BGK equation with a confinement potential $Φ$, even if the method could be applied to different collision operators. It is based upon the projection on Hermite polynomials in velocity and orthonormal polynomials with respect to the weight $e^{-$Φ$}$ in space. The potential $Φ$ is assumed to be a polynomial. It is, to the author's knowledge, the first scheme which preserves hypocoercive behavior in addition to the conservation laws. These different properties are illustrated numerically on both quadratic and double well potential.

math.NA

Inverse inequalities for kernel-based approximation on bounded domains and Riemannian manifolds

This paper establishes inverse inequalities for kernel-based approximation spaces defined on bounded Lipschitz domains in $\mathbb{R}^d$ and compact Riemannian manifolds. While inverse inequalities are well-studied for polynomial spaces, their extension to kernel-based trial spaces poses significant challenges. For bounded Lipschitz domains, we extend prior Bernstein inequalities, which only apply to a limited range of Sobolev orders, to the full range of lower and upper orders, and derive Nikolskii inequalities that bound $L_\infty$ norms by $L_2$ norms. For compact Riemannian manifolds, we focus on restricted kernels, which are defined as the restriction of positive definite kernels from the ambient Euclidean space to the manifold, and prove their counterparts.

math.NA

Error Estimates for Hyperbolic Scaling Limits of Linear Kinetic Models on Networks

This paper studies linear discrete kinetic models on networks and their asymptotic behavior in the small Knudsen number limit. For coupling conditions at an n-edge junction under a symmetric formulation, we introduce a change of variables that reformulates the system into n independent initial-boundary value problems. The asymptotic expansions are then constructed and rigorously justified by deriving an error estimate based on the energy method.

math.NA