Searcharxiv⌕ Search

arXiv subjects

Jan Giesselmann

Publications and source records attributed to Jan Giesselmann.

At least 37 records · Page 2Linked to original sources

A posteriori error control for a Discontinuous Galerkin approximation of a Keller-Segel model

We provide a posteriori error estimates for a discontinuous Galerkin scheme for the parabolic-elliptic Keller-Segel system in 2 or 3 space dimensions. The estimates are conditional, in the sense that an a posteriori computable quantity needs to be small enough - which can be ensured by mesh refinement - and optimal in the sense that the error estimator decays with the same order as the error under mesh refinement. A specific feature of our error estimator is that it can be used to prove existence of a weak solution up to a certain time based on numerical results.

math.NA↗

Observer-based data assimilation for barotropic gas transport using distributed measurements

We consider a state estimation problem for gas pipeline flow modeled by the one-dimensional barotropic Euler equations. In order to reconstruct the system state, we construct an observer system of Luenberger type based on distributed measurements of one state variable. First, we show the existence of Lipschitz-continuous semi-global solutions of the observer system and of the original system for initial and boundary data satisfying smallness and compatibility conditions for a single pipe and for general networks. Second, based on an extension of the relative energy method we prove that the state of the observer system converges exponentially in the long time limit towards the original system state. We show this for a single pipe and for star-shaped networks.

math.AP↗

Stability of step size control based on a posteriori error estimates

A posteriori error estimates based on residuals can be used for reliable error control of numerical methods. Here, we consider them in the context of ordinary differential equations and Runge-Kutta methods. In particular, we take the approach of Dedner & Giesselmann (2016) and investigate it when used to select the time step size. We focus on step size control stability when combined with explicit Runge-Kutta methods and demonstrate that a standard I controller is unstable while more advanced PI and PID controllers can be designed to be stable. We compare the stability properties of residual-based estimators and classical error estimators based on an embedded Runge-Kutta method both analytically and in numerical experiments.

math.NA↗

Robust a posteriori error control for the Allen-Cahn equation with variable mobility

In this work, we derive a $γ$-robust a posteriori error estimator for finite element approximations of the Allen-Cahn equation with variable non-degenerate mobility. The estimator utilizes spectral estimates for the linearized steady part of the differential operator as well as a conditional stability estimate based on a weighted sum of Bregman distances, based on the energy and a functional related to the mobility. A suitable reconstruction of the numerical solution in the stability estimate leads to a fully computable estimator.

math.NA↗

A priori error estimates of Runge-Kutta discontinuous Galerkin schemes to smooth solutions of fractional conservation laws

We give a priori error estimates of second order in time fully explicit Runge-Kutta discontinuous Galerkin schemes using upwind fluxes to smooth solutions of scalar fractional conservation laws in one space dimension. Under the time step restrictions $τ\leq c h$ for piecewise linear and $τ\lesssim h^{4/3}$ for higher order finite elements, we prove a convergence rate for the energy norm $\|\cdot\|_{L^\infty_tL^2_x}+|\cdot|_{L^2_tH^{λ/2}_x}$ that is optimal for solutions and flux functions that are smooth enough. Our proof relies on a novel upwind projection of the exact solution.

math.NA↗

Relative entropy technique in terms of position and momentum and its application to Euler-Poisson system

This paper presents a systematic study of the relative entropy technique for compressible motions of continuum bodies described as Hamiltonian flows. While the description for the classical mechanics of $N$ particles involves a Hamiltonian in terms of position and momentum vectors, that for the continuum fluid involves a Hamiltonian in terms of density and momentum. For space dimension $d\ge 2$, the Hamiltonian functional has a non-convex dependency on the deformation gradient or placement map due to material frame indifference. Because of this, the applicability of the relative entropy technique with respect to the deformation gradient or the placement map is inherently limited. Despite these limitations, we delineate the feasible applications and limitations of the technique by pushing it to its available extent. Specifically, we derive the relative Hamiltonian identity, where the Hamiltonian takes the position and momentum field as its primary and conjugate state variables, all within the context of the referential coordinate system that describes the motion. This approach, when applicable, turns out to yield rather strong stability statements. As instances, we consider Euler-Poisson systems in one space dimension. For a specific pressureless model, we verify non-increasing $L^2$ state differences before the formation of $δ$-shock. In addition, weak-strong uniqueness, stability of rarefaction waves, and convergence to the gradient flow in the singular limit of large friction are shown. Depending on the presence or absence of pressure, assumptions are made to suitably accommodate phenomena such as $δ$-shocks, vacuums, and shock discontinuities in the weak solutions.

math.AP↗

Numerical Discretisation of Hyperbolic Systems of Moment Equations Describing Sedimentation in Suspensions of Rod-Like Particles

We present a numerical discretisation of the coupled moment systems, previously introduced in Dahm and Helzel, which approximate the kinetic multi-scale model by Helzel and Tzavaras for sedimentation in suspensions of rod-like particles for a two-dimensional flow problem and a shear flow problem. We use a splitting ansatz which, during each time step, separately computes the update of the macroscopic flow equation and of the moment system. The proof of the hyperbolicity of the moment systems in \cite{Dahm} suggests solving the moment systems with standard numerical methods for hyperbolic problems, like LeVeque's Wave Propagation Algorithm \cite{LeV}. The number of moment equations used in the hyperbolic moment system can be adapted to locally varying flow features. An error analysis is proposed, which compares the approximation with $2N+1$ moment equations to an approximation with $2N+3$ moment equations. This analysis suggests an error indicator which can be computed from the numerical approximation of the moment system with $2N+1$ moment equations. In order to use moment approximations with a different number of moment equations in different parts of the computational domain, we consider an interface coupling of moment systems with different resolution. Finally, we derive a conservative high-resolution Wave Propagation Algorithm for solving moment systems with different numbers of moment equations.

math.NA↗

Improving Weak PINNs for Hyperbolic Conservation Laws: Dual Norm Computation, Boundary Conditions and Systems

We consider the approximation of entropy solutions of nonlinear hyperbolic conservation laws using neural networks. We provide explicit computations that highlight why classical PINNs will not work for discontinuous solutions to nonlinear hyperbolic conservation laws and show that weak (dual) norms of the PDE residual should be used in the loss functional. This approach has been termed "weak PINNs" recently. We suggest some modifications to weak PINNs that make their training easier, which leads to smaller errors with less training, as shown by numerical experiments. Additionally, we extend wPINNs to scalar conservation laws with weak boundary data and to systems of hyperbolic conservation laws. We perform numerical experiments in order to assess the accuracy and efficiency of the extended method.

math.NA↗

Theory of shifts, shocks, and the intimate connections to $L^2$-type a posteriori error analysis of numerical schemes for hyperbolic problems

In this paper, we develop reliable a posteriori error estimates for numerical approximations of scalar hyperbolic conservation laws in one space dimension. Our methods have no inherent small-data limitations and are a step towards error control of numerical schemes for systems. We are careful not to appeal to the Kruzhkov theory for scalar conservation laws. Instead, we derive novel quantitative stability estimates that extend the theory of shifts, and in particular, the framework for proving stability first developed by the second author and Vasseur. This is the first time this methodology has been used for quantitative estimates. We work entirely within the context of the theory of shifts and $a$-contraction, techniques which adapt well to systems. In fact, the stability framework by the second author and Vasseur has itself recently been pushed to systems [Chen-Krupa-Vasseur. Uniqueness and weak-BV stability for $2\times 2$ conservation laws. Arch. Ration. Mech. Anal., 246(1):299--332, 2022]. Our theoretical findings are complemented by a numerical implementation in MATLAB and numerical experiments.

math.AP↗

A posteriori error analysis of a positivity preserving scheme for the power-law diffusion Keller-Segel model

We study a finite volume scheme approximating a parabolic-elliptic Keller-Segel system with power law diffusion with exponent $γ\in [1,3]$ and periodic boundary conditions. We derive conditional a posteriori bounds for the error measured in the $L^\infty(0,T;H^1(Ω))$ norm for the chemoattractant and by a quasi-norm-like quantity for the density. These results are based on stability estimates and suitable conforming reconstructions of the numerical solution. We perform numerical experiments showing that our error bounds are linear in mesh width and elucidating the behaviour of the error estimator under changes of $γ$.

math.NA↗

Regularity and long time behavior of a doubly nonlinear parabolic problem and its discretization

We study a doubly nonlinear parabolic problem arising in the modeling of gas transport in pipelines. Using convexity arguments and relative entropy estimates we show uniform bounds and exponential stability of discrete approximations obtained by a finite element method and implicit time stepping. Due to convergence of the approximations to weak solutions of the problem, our results also imply regularity, uniqueness, and long time stability of weak solutions of the continuous problem.

math.AP↗

A-posteriori error estimates for systems of hyperbolic conservation laws

We provide rigorous and computable a-posteriori error estimates for first order finite-volume approximations of nonlinear systems of hyperbolic conservation laws in one spatial dimension. Our estimators rely on recent stability results by Bressan, Chiri and Shen and a novel method to compute negative order norms of residuals. Numerical experiments show that the error estimator converges with the rate predicted by a-priori error estimates.

math.NA↗

An Observer for pipeline flow with hydrogen blending in gas networks: exponential synchronization

We consider a state estimation problem for gas flows in pipeline networks where hydrogen is blended into the natural gas. The flow is modeled by the quasi-linear isothermal Euler equations coupled to an advection equation on a graph. The flow through the vertices where the pipes are connected is governed by algebraic node conditions. The state is approximated by an observer system that uses nodal measurements. We prove that the state of the observer system converges to the original system state exponentially fast in the $L^2$-norm if the measurements are exact. If measurement errors are present we show that the observer state approximates the original system state up to an error that is proportional to the maximal measurement error. The proof of the synchronization result uses Lyapunov functions with exponential weights.

math.AP↗

Model adaptation for hyperbolic balance laws

In this work, we devise a model adaptation strategy for a class of model hierarchies consisting of two levels of model complexity. In particular, the fine model consists of a system of hyperbolic balance laws with stiff reaction terms and the coarse model consists of a system of hyperbolic conservation laws. We employ the relative entropy stability framework to obtain an a posteriori modeling error estimator. The efficiency of the model adaptation strategy is demonstrated by conducting simulations for chemically reacting fluid mixtures in one space dimension.

math.NA↗

A posteriori error estimates for wave maps into spheres

We provide a posteriori error estimates in the energy norm for temporal semi-discretisations of wave maps into spheres that are based on the angular momentum formulation. Our analysis is based on novel weak-strong stability estimates which we combine with suitable reconstructions of the numerical solution. We present time-adaptive numerical simulations based on the a posteriori error estimators for solutions involving blow-up.

math.NA↗

On the convergence of the regularized entropy-based moment method for kinetic equations

The entropy-based moment method is a well-known discretization for the velocity variable in kinetic equations which has many desirable theoretical properties but is difficult to implement with high-order numerical methods. The regularized entropy-based moment method was recently introduced to remove one of the main challenges in the implementation of the entropy-based moment method, namely the requirement of the realizability of the numerical solution. In this work we use the method of relative entropy to prove the convergence of the regularized method to the original method as the regularization parameter goes to zero and give convergence rates. Our main assumptions are the boundedness of the velocity domain and that the original moment solution is Lipschitz continuous in space and bounded away from the boundary of realizability. We provide results from numerical simulations showing that the convergence rates we prove are optimal.

math.NA↗

On a nodal observer for a semilinear model for the flow in gas networks

The flow of gas through networks of pipes can be modeled by coupling hyperbolic systems of partial differential equations that describe the flow through the pipes that form the edges of the graph of the network by algebraic node conditions that model the flow through the vertices of the graph. In the network, measurements of the state are available at certain points in space. Based upon these nodal observations, the complete system state can be approximated using an observer system. In this paper we present a nodal observer, and prove that the state of the observer system converges to the original state exponentially fast. Numerical experiments confirm the theoretical findings.

math.AP↗

Relative energy for the Korteweg theory and related Hamiltonian flows in gas dynamics

For an Euler system, with dynamics generated by a potential energy functional, we propose a functional format for the relative energy and derive a relative energy identity. The latter, when applied to specific energies, yields relative energy identities for the Euler-Korteweg, the Euler-Poisson, the Quantum Hydrodynamics system, and low order approximations of the Euler-Korteweg system. For the Euler-Korteweg system we prove a stability theorem between a weak and a strong solution and an associated weak-strong uniqueness theorem. In the second part we focus on the Navier-Stokes-Korteweg system (NSK) with non-monotone pressure laws: we prove stability for the NSK system via a modified relative energy approach. We prove continuous dependence of solutions on initial data and convergence of solutions of a low order model to solutions of the NSK system. The last two results provide physically meaningful examples of how higher order regularization terms enable the use of the relative energy framework for models with energies which are not poly- or quasi-convex, but compensating via higher-order gradients.

math.AP↗