arXiv subjects

Hendrik Ranocha

Publications and source records attributed to Hendrik Ranocha.

At least 19 recordsLinked to original sources

arXiv2026

High-order mass- and energy-conserving methods for the nonlinear Schrödinger equation and its hyperbolization

We propose a class of numerical methods for the nonlinear Schrödinger (NLS) equation that conserves mass and energy, is of arbitrarily high-order accuracy in space and time, and requires only the solution of a scalar algebraic equation per time step. We show that some existing spatial discretizations, including the popular Fourier spectral method, are in fact energy-conserving if one considers the appropriate form of the energy density. We develop a new relaxation-type approach for conserving multiple nonlinear functionals that is more efficient and robust for the NLS equation compared to the existing multiple-relaxation approach. The accuracy and efficiency of the new schemes is demonstrated on test problems for both the focusing and defocusing NLS.

math.NA↗

arXiv2026

Nodal discontinuous Galerkin methods for non-ideal equations of state: pressure equilibrium preservation and entropy correction

Structure-preserving discontinuous Galerkin (DG) methods typically improve the robustness of high order simulations of real fluids. In addition to conservation, key structures include the preservation of pressure equilibrium and satisfaction of at least one entropy inequality. In this work, we investigate conservative discretizations using exactly pressure equilibrium conserving (EPEC) and approximately pressure equilibrium conserving (APEC) flux differencing DG formulations, as well as entropy stable formulations through the use of minimally dissipative corrections for non-ideal equations of state (EOS). We introduce an analysis of EPEC schemes and a new procedure for designing such fluxes based on a generalization of Tadmor's shuffle condition. We also analyze APEC DG schemes and show that the incorporation of dissipative interface penalization terms does not significantly increase pressure equilibrium errors, especially at higher orders of approximation. Finally, we observe that when combined with APEC flux differencing formulations, entropy correction improves robustness for under-resolved solutions and long-time simulations.

math.NA↗

arXiv2026

Conserving mass, momentum, and energy for the Benjamin-Bona-Mahony, Korteweg-de Vries, and nonlinear Schrödinger equations

We propose and study a class of arbitrarily high-order numerical discretizations that preserve multiple invariants and are essentially explicit (they do not require the solution of any large systems of algebraic equations). In space, we use Fourier Galerkin methods, while in time we use a combination of orthogonal projection and relaxation. We prove and numerically demonstrate the conservation properties of the method by applying it to the Benjamin-Bona-Mahony, Korteweg-de Vries, and nonlinear Schrödinger (NLS) PDEs as well as a hyperbolic approximation of NLS. For each of these equations, the proposed schemes conserve mass, momentum, and energy up to numerical precision. We show that this conservation leads to reduced growth of numerical errors for long-term simulations.

math.NA↗

arXiv2026

Convergence of entropy-conservative summation-by-parts discretizations to smooth solutions of hyperbolic conservation laws

Although entropy-based summation-by-parts (SBP) discretizations of hyperbolic conservation laws are widely used for their robustness and stability properties, there are very few results on their convergence. We extend a recent convergence analysis of Worku, Del Rey Fernández, and Zingg (2026, DOI: 10.48550/arXiv.2603.18369) in two ways. First, instead of allowing only hyperbolic conservation laws whose fluxes are homogeneous and have globally bounded second derivatives (a restriction essentially to linear or quadratic fluxes), we consider general hyperbolic systems with strictly convex entropy and source terms depending on time and space. Second, instead of requiring a special class of SBP operators, we consider a general framework of diagonal-norm SBP operators on curved meshes, including finite differences, continuous and discontinuous Galerkin methods. Since the error analysis is based on a discrete relative entropy, it is restricted to smooth solutions. To enable a unified treatment of conservation laws, we restrict the analysis to periodic boundary conditions. Numerical results demonstrate that the predicted convergence rates are sharp in general, but can be improved for special cases such as discontinuous Galerkin methods with even polynomial degree and multi-block finite difference methods. An optimal analysis is expected to require more sophisticated arguments specialized to the class of methods instead of the general framework of SBP operators used in this work.

math.NA↗

arXiv2026

Structure-Preserving High-Order Methods for the Compressible Euler Equations in Potential Temperature Formulation for Atmospheric Flows

We develop structure-preserving numerical methods for the compressible Euler equations, employing potential temperature as a prognostic variable. We construct three numerical fluxes designed to ensure the conservation of entropy and total energy within the discontinuous Galerkin framework on general curvilinear meshes. Furthermore, we introduce a generalization for the kinetic energy preservation property and total energy conservation in the presence of a gravitational potential term. To this end, we adopt a flux-differencing approach for the discretization of the source term, treated as non-conservative product. We present well-balanced schemes for different constant background states for both formulations (total energy and potential temperature) on curvilinear meshes. Finally, we validate the methods by comparing the potential temperature formulation with the traditional Euler equations formulation across a range of classical atmospheric scenarios.

math.NA↗

arXiv2026

Massively parallel numerical simulations with Julia

The Julia programming language aims to provide a modern approach to develop high-performance computing (HPC) applications. It tries to achieve this by combining a high-level, dynamic interface with just-in-time compilation to native machine code, thereby facilitating high developer productivity and native code performance at the same time. While this approach has already been shown to work well for serial applications, it is not clear if it readily translates to traditional, massively parallel HPC work loads. In this paper, we fill this gap by analyzing the parallel performance of the numerical computational fluid dynamics simulation code Trixi$.$jl, written in Julia, and compare it to the Fortran code FLUXO. We show some of the challenges of using Julia at scale and discuss possible solutions, specifically with respect to code loading and compilation at startup. Finally, we demonstrate the parallel scaling of our Julia code on up to 61440 CPU cores.

math.NA↗

arXiv2026

Multi-Solver Coupling for Parallel Adaptive Multi-Physics Simulations with Trixi$.$jl and deal$.$II

Many standalone frameworks for numerical solvers have been developed to tackle the simulation of specific single- or multi-physics problems. For solving coupled problems, common approaches are to extend existing solvers, to develop an entirely new solver or to couple two existing solvers by using the interface provided by a coupling library or framework. However, to the best of our knowledge, there is not yet a framework that allows the easy and direct development of coupled solvers. In this work, we prototype a portable reproducible cross-language framework for the development of coupled parallel adaptive solvers using Trixi$.$jl and deal$.$II for the numerical simulation of coupled multi-physics problems. Currently, this is tightly entangled with an example coupled solver. We show its usability by developing a partitioned strongly-coupled multi-physics solver for the dynamics of Newtonian self-gravitational gases. For the coupled solver, we validate the expected order of convergence, physical sensibility of the results and mesh adaptivity. Finally, we investigate its parallel scaling. A publicly accessible reproducibility repository for the numerical results and code is available.

math.NA↗

arXiv2026

Stability of the Active Flux Method in the Framework of Summation-by-Parts Operators

The Active Flux method is a numerical method for conservation laws using a combination of cell averages and point values as independent degrees of freedom, based on ideas from finite volumes and finite differences. This unusual mix has been shown to work well in many situations. We expand the theoretical justifications of the Active Flux method by analyzing it from the point of view of summation-by-parts (SBP) operators, which are routinely used to analyze finite difference, finite volume, and finite element schemes. We investigate in what type of setting the Active Flux method can be formulated using classical or degenerate SBP operators, yielding a first and novel approach for showing the energy stability of the Active Flux method. We present the analysis for the one-dimensional scalar linear advection equation with periodic boundary conditions on a uniform grid.

math.NA↗

arXiv2026

Automatic differentiation for performing the Cauchy-Kovalevskaya procedure in Lax-Wendroff type discretizations

Lax-Wendroff methods combined with discontinuous Galerkin/flux reconstruction spatial discretization provide a high-order, single-stage, quadrature-free method for solving hyperbolic conservation laws. In this work, we introduce automatic differentiation (AD) for performing the Cauchy-Kowalewski procedure used in the element-local time average flux computation step (the predictor step) of Lax-Wendroff methods. The application of AD is similar for methods of any order and does not need positivity corrections during the predictor step. This contrasts with the approximate Lax-Wendroff procedure, which requires different finite difference formulas for different orders of the method and positivity corrections in the predictor step for fluxes that can only be computed on admissible states. The method is Jacobian-free and problem-independent, allowing direct application to any physical flux function. Numerical experiments demonstrate the order and positivity preservation of the method. Additionally, performance comparisons indicate that the wall-clock time of automatic differentiation is always on par with the approximate Lax-Wendroff method.

math.NA↗

arXiv2026

Justification and structure- and asymptotic-preserving discretizations of a hyperbolized Cahn-Hilliard equation

We study a hyperbolic approximation ("hyperbolization") of the Cahn-Hilliard (CH) equation, originally proposed by Dhaouadi, Dumbser, and Gavrilyuk (2025, DOI: 10.1098/rspa.2024.0606) and study its convergence towards the CH model in a relaxation limit both via formal asymptotic expansions and, for a slightly modified approximation, via the relative energy framework. Moreover, we develop energy-stable semidiscretizations of the CH equation and of this hyperbolization using upwind summation-by-parts operators in space. Subsequently, we combine them with (additive) implicit-explicit (IMEX) Runge-Kutta methods based on a convex-concave splitting. We show that the resulting method is asymptotic preserving, i.e., it converges in the limit of the relaxation parameter to a stable discretization of the original CH equation. The choice of the necessary parameters is guided by the a priori error estimate based on the relative energy framework.

math.NA↗

arXiv2026

Computing Radially-Symmetric Solutions of the Ultra-Relativistic Euler Equations with Entropy-Stable Discontinuous Galerkin Methods

The ultra--relativistic Euler equations describe gases in the relativistic case when the thermal energy dominates. These equations for an ideal gas are given in terms of the pressure, the spatial part of the dimensionless four-velocity, and the particle density. Kunik et al.\ (2024, https://doi.org/10.1016/j.jcp.2024.113330) proposed genuine multi--dimensional benchmark problems for the ultra--relativistic Euler equations. In particular, they compared full two-dimensional discontinuous Galerkin simulations for radially symmetric problems with solutions computed using a specific one-dimensional scheme. Of particular interest in the solutions are the formation of shock waves and a pressure blow-up. In the present work we derive an entropy-stable flux for the ultra--relativistic Euler equations. Therefore, we derive the main field (or entropy variables) and the corresponding potentials. We then present the entropy-stable flux and conclude with simulation results for different test cases both in 2D and in 3D.

math.NA↗

arXiv2026

Compact Runge-Kutta flux reconstruction methods for non-conservative hyperbolic equations

Compact Runge-Kutta (cRK) Flux Reconstruction (FR) methods are a variant of RKFR methods for hyperbolic conservation laws with a compact stencil including only immediate neighboring finite elements. We extend cRKFR methods to handle hyperbolic equations with stiff source terms and non-conservative products. To handle stiff source terms, we use IMplicit EXplicit (IMEX) time integration schemes such that the implicitness is local to each solution point, and thus does not increase inter-element communication. Although non-conservative products do not correspond to a physical flux, we formulate the scheme using numerical fluxes at element interfaces. We use similar numerical fluxes for a lower order finite volume scheme on subcells of each element, which is then blended with the high order cRKFR scheme to obtain a robust scheme for problems with non-smooth solutions. Combined with a flux limiter at the element interfaces, the subcell based blending scheme preserves the physical admissibility of the solution, e.g., positivity of density and pressure for compressible Euler equations. The procedure thus leads to an admissibility preserving IMEX cRKFR scheme for hyperbolic equations with stiff source terms and non-conservative products. The capability of the scheme to handle stiff terms is shown through numerical tests involving Burgers' equations, reactive Euler's equations, and the ten moment problem. The non-conservative treatment is tested using variable advection equations, shear shallow water equations, the GLM-MHD, and the multi-ion MHD equations.

math.NA↗

arXiv2026

GPU-Accelerated Energy-Conserving Methods for the Two-Dimensional Hyperbolized Serre-Green-Naghdi Equations

We develop energy-conserving numerical methods for a two-dimensional hyperbolic approximation of the Serre-Green-Naghdi equations with variable bathymetry and either periodic or reflecting boundary conditions. The hyperbolic formulation avoids the costly inversion of an elliptic operator present in the classical model. Our schemes combine split forms with summation-by-parts (SBP) operators to construct semi-discretizations that conserve the total water mass and the total energy. We provide analytical proofs of these conservation properties and also verify them numerically. While the framework is general, our implementation focuses on second-order finite-difference SBP operators. The methods are implemented in Julia for CPU and GPU architectures (AMD and NVIDIA) and achieve substantial speedups on modern accelerators. We validate the approach through convergence studies based on solitary-wave and manufactured-solution tests, and by comparisons to analytical, experimental, and existing numerical results. All source code to reproduce our results is available online.

math.NA↗

arXiv2026

The domain-of-dependence stabilization for cut-cell meshes is fully discretely stable

We present a fully discrete stability analysis of the domain-of-dependence stabilization for hyperbolic problems. The method aims to address issues caused by small cut cells by redistributing mass around the neighborhood of a small cut cell at a semi-discrete level. Our analysis is conducted for the linear advection model problem in one spatial dimension. We demonstrate that fully discrete stability can be achieved under a time step restriction that does not depend on the arbitrarily small cells, using an operator norm estimate. Additionally, this analysis offers a detailed understanding of the stability mechanism and highlights some challenges associated with higher-order polynomials. We also propose a way to mitigate these issues to derive a feasible CFL-like condition. The analytical findings, as well as the proposed solution are verified numerically in one- and two-dimensional simulations.

math.NA↗

arXiv2026

Asymptotic-Preserving and Well-Balanced Linearly Implicit IMEX Schemes for the Anelastic Limit of the Isentropic Euler Equations with Gravity

We consider the compressible Euler system with anelastic scaling, modeling isentropic flows under the influence of gravity. In the zero-Mach-number limit, the solution of the compressible Euler system converges to a variable density anelastic incompressible limit system. In this work, we present the design and analysis of a class of higher-order linearly implicit IMEX Runge-Kutta schemes that are asymptotic preserving, i.e., they respect the transitory nature of the governing equations in the limit. The presence of gravitational potential warrants the incorporation of the well-balancing property. The scheme is developed as a novel combination of a penalization of a linear steady state, a finite-volume balance-preserving reconstruction, and a source term discretization preserving steady states. The penalization plays a crucial role in obtaining a linearly implicit scheme, and well-balanced flux-source discretization ensures accuracy in very low Mach number regimes. Some results of numerical case studies are presented to corroborate the theoretical assertions.

math.NA↗

arXiv2026

Structure-preserving approximations of the Serre-Green-Naghdi equations in standard and hyperbolic form

We develop structure-preserving numerical methods for the Serre-Green-Naghdi equations, a model for weakly dispersive free-surface waves. We consider both the classical form, requiring the inversion of a non-linear elliptic operator, and a hyperbolic approximation of the equations, allowing fully explicit time stepping. Systems for both flat and variable topography are studied. Our novel numerical methods conserve both the total water mass and the total energy. In addition, the methods for the original Serre-Green-Naghdi equations conserve the total momentum for flat bathymetry. For variable topography, all the methods proposed are well-balanced for the lake-at-rest state. We provide a theoretical setting allowing us to construct schemes of any kind (finite difference, finite element, discontinuous Galerkin, spectral, etc.) as long as summation-by-parts operators are available in the chosen setting. Energy-stable variants are proposed by adding a consistent high-order artificial viscosity term. The proposed methods are validated through a large set of benchmarks to verify all the theoretical properties. Whenever possible, comparisons with exact, reference numerical, or experimental data are carried out. The impressive advantage of structure preservation, and in particular energy preservation, to resolve accurately dispersive wave propagation on very coarse meshes is demonstrated by several of the tests.

math.NA↗

arXiv2026

Compact Runge-Kutta flux reconstruction methods with entropy and/or kinetic energy preserving fluxes

Compact Runge-Kutta (cRK) methods are a class of high order methods for solving hyperbolic conservation laws characterized by their compact stencil including only immediate neighboring finite elements. A Compact Runge-Kutta flux reconstruction (cRKFR) method for solver hyperbolic conservation laws was introduced in [Babbar, A., Chen, Q., Journal of Scientific Computing, 2025] which uses a time average flux formulation to perform evolution using a single numerical flux computation at each step, making it a single stage method. Entropy or kinetic energy preserving numerical fluxes are often used for construction of high order entropy stable or kinetic energy preserving methods for hyperbolic conservation laws, and are known to enhance the robustness of numerical methods for under-resolved simulations. In this work, we show how these fluxes can be incorporated into the cRKFR framework for general hyperbolic equations that consist of fluxes and non-conservative products. We test the effectiveness of this new class of methods through numerical experiments for the compressible Euler equations, magnetohydronamics (MHD) equations and multi-ion MHD equations. It is observed that the application of entropy or kinetic energy preserving fluxes enhances the robustness of the cRKFR methods.

math.NA↗

arXiv2026

A Positivity-Preserving Relaxation Algorithm

We combine Patankar-type methods with suitable relaxation procedures that are capable of ensuring correct dissipation or conservation of functionals such as entropy or energy while producing unconditionally positive and conservative approximations. To that end, we adapt the relaxation algorithm to enforce positivity by using either ideas from the dense output framework when a linear invariant must be preserved, or simply a geometric mean if the only constraint is positivity preservation. The latter merely requires the solution of a scalar nonlinear equation while former results in a coupled linear-nonlinear system of equations. We present sufficient conditions for the solvability of the respective equations. Several applications in the context of ordinary and partial differential equations are presented, and the theoretical findings are validated numerically.

math.NA↗