Related papers: Validation of a high-order finite difference compr…

We introduce novel high order well-balanced finite volume methods for the full compressible Euler system with gravity source term. They require no a priori knowledge of the hydrostatic solution which is to be well-balanced and are not…

We show that any second order linear ordinary diffrential equation with constant coefficients (including the damped and undumped harmonic oscillator equation) admits an exact discretization, i.e., there exists a difference equation whose…

We present a numerical scheme for the solution of a class of atmospheric models where high horizontal resolution is required while a coarser vertical structure is allowed. The proposed scheme considers a layering procedure for the original…

This study investigates numerical methods to solve nonlinear transport problems characterized by various sorption isotherms with a focus on the Freundlich type of isotherms. We describe and compare second order accurate numerical schemes,…

Higher-order topology is prized for its ability to realize lower-dimensional boundary states which are stable beyond fine-tuning. However, disorder presents a failure mechanism that can destroy topological in-gap states. Here, we…

We propose a new numerical approach to compute nonclassical solutions to hyperbolic conservation laws. The class of finite difference schemes presented here is fully conservative and keep nonclassical shock waves as sharp interfaces,…

This paper introduces a family of entropy-conserving finite-difference discretizations for the compressible flow equations. In addition to conserving the primary quantities of mass, momentum, and total energy, the methods also preserve…

We present a post-processing certification workflow for nonlinear elliptic boundary value problems that upgrades a standard finite element computation to a rigorous existence and output certificate. For a given approximate discrete state,…

We consider a one-dimensional singularly perturbed 4th order problem with the additional feature of a shift term. An expansion into a smooth term, boundary layers and an inner layer yields a formal solution decomposition, and together with…

Two finite volume methods are derived and applied to the solution of problems of incompressible flow. In particular, external inviscid flows and boundary-layer flows are examined. The firstmethod analyzed is a cell-centered finite volume…

We consider the Navier-Stokes system describing the time evolution of a compressible barotropic fluid confined to a bounded spatial domain in the 3-D physical space, supplemented with the Navier's slip boundary conditions. It is shown that…

We deal with an initial-boundary value problem for the multidimensional acoustic wave equation, with the variable speed of sound. For a three-level semi-explicit in time higher-order vector compact scheme, we prove stability and derive 4th…

In this paper we study the convergence rate of a finite volume approximation of the compressible Navier--Stokes--Fourier system. To this end we first show the local existence of a highly regular unique strong solution and analyse its global…

The satisfiability problem in real closed fields is decidable. In the context of satisfiability modulo theories, the problem restricted to conjunctive sets of literals, that is, sets of polynomial constraints, is of particular importance.…

To guarantee that machine learning models yield outputs that are not only accurate, but also robust, recent works propose formally verifying robustness properties of machine learning models. To be applicable to realistic safety-critical…

We consider a finite volume scheme for the two-dimensional incompressible Navier-Stokes equations. We use a triangular mesh. The unknowns for the velocity and pressure are respectively piecewise constant and affine. We use a projection…

Nonlinear integrable models with two spatial and one temporal variables: Kadomtsev-Petviashvili equation and two-dimensional Toda lattice are investigated on the subject of correct formulation for boundary problem that can be solved within…

We consider a singularly perturbed convection-diffusion problem that has in addition a shift term. We show a solution decomposition using asymptotic expansions and a stability result. Based upon this we provide a numerical analysis of high…

We revisit the Raz-Safra plane-vs.-plane test and study the closely related cube vs. cube test. In this test the tester has access to a "cubes table" which assigns to every cube a low degree polynomial. The tester randomly selects two cubes…

Learning-based approaches for controlling safety-critical systems are rapidly growing in popularity; thus, it is important to assure their performance and safety. Hamilton-Jacobi (HJ) reachability analysis is a popular formal verification…