arXiv subjects

Raimund Bürger

Publications and source records attributed to Raimund Bürger.

At least 19 recordsLinked to original sources

arXiv2025

Invariant-region-preserving WENO schemes for one-dimensional multispecies kinematic flow models

Multispecies kinematic flow models are defined by systems of N strongly coupled, nonlinear first-order conservation laws, where the solution is a vector of N partial volume fractions or densities. These models arise in various applications including multiclass vehicular traffic and sedimentation of polydisperse suspensions. The solution vector should take values in a set of physically relevant values (i.e., the components are nonnegative and sum up at most to a given maximum value). It is demonstrated that this set, the so-called invariant region, is preserved by numerical solutions produced by a new family of high-order finite volume numerical schemes adapted to this class of models. To achieve this property, and motivated by [X. Zhang, C.-W. Shu, On maximum-principle-satisfying high order schemes for scalar conservation laws, J. Comput. Phys. 229 (2010) 3091--3120], a pair of linear scaling limiters is applied to a high-order weighted essentially non-oscillatory (WENO) polynomial reconstruction to obtain invariant-region-preserving (IRP) high-order polynomial reconstructions. These reconstructions are combined with a local Lax-Friedrichs (LLF) or Harten-Lax-van Leer (HLL) numerical flux to obtain a high-order numerical scheme for the system of conservation laws. It is proved that this scheme satisfies an IRP property under a suitable Courant-Friedrichs-Lewy (CFL) condition. The theoretical analysis is corroborated with numerical simulations for models of multiclass traffic flow and polydisperse sedimentation.

math.NA↗

arXiv2024

Interaction of jamitons in second-order macroscopic traffic models

Jamitons are self-sustained traveling wave solutions that arise in certain second-order macroscopic models of vehicular traffic. A necessary condition for a jamiton to appear is that the local traffic density breaks the so-called sub-characteristic condition. This condition states that the characteristic velocity of the corresponding first-order Lighthill-Whitham-Richards (LWR) model formed with the same desired speed function is enclosed by the characteristic speeds of the corresponding second-order model. The phenomenon of collision of jamitons in second-order models of traffic flow is studied analytically and numerically for the particular case of the second-order Aw-Rascle-Zhang (ARZ) traffic model [A.\ Aw, M.\ Rascle, {\it SIAM J.\ Appl.\ Math.} {\bf 60} (2000) 916--938; H.\ M.\ Zhang, {\it Transp.\ Res.\ B} {\bf 36} (2002) 275--290]. A compatibility condition is first defined to select jamitons that can collide each other. The collision of jamitons produces a new jamiton with a velocity different from the initial ones. It is observed that the exit velocities smooth out the velocity of the test jamiton and the initial velocities of the jamitons that collide. Other properties such as the amplitude of the exit jamitons, lengths, and maximum density are also explored.In the cases of the amplitude and maximum exit density it turns out that over a wide range of sonic densities, the exit values exceed or equal the input values. On the other hand, the resulting jamiton has a greater length than the incoming ones. Finally, the behavior for various driver reaction times is explored. It is obtained that some properties do not depend on that time, such as the amplitude, exit velocity, or maximum density, while the exit length does depend on driver reaction time.

math.AP↗

arXiv2024

WENO reconstructions of unconditionally optimal high order

A modified Weighted Essentially Non-Oscillatory (WENO) reconstruction technique preventing accuracy loss near critical points (regardless of their order) of the underlying data is presented. This approach only uses local data from the reconstruction stencil and does not rely on any sort of scaling parameters. The key novel ingredient is a weight design based on a new smoothness indicator, which defines the first WENO reconstruction procedure that never loses accuracy on smooth data, regardless of the presence of critical points of any order, and is therefore addressed as optimal WENO (OWENO) method. The corresponding weights are non-dimensional and scale-independent. The weight designs are supported by theoretical results concerning the accuracy of the smoothness indicators. The method is validated by numerical tests related to algebraic equations, scalar conservation laws, and systems of conservation laws.

math.NA↗

arXiv2024

An efficient third-order WENO scheme with unconditionally optimal accuracy

A novel scheme, based on third-order Weighted Essentially Non-Oscillatory (WENO) reconstructions, is presented. It attains unconditionally optimal accuracy when the data is smooth enough, even in presence of critical points, and second-order accuracy if a discontinuity crosses the data. The key to attribute these properties to this scheme is the inclusion of an additional node in the data stencil, which is only used in the computation of the weights measuring the smoothness. The accuracy properties of this scheme are proven in detail and several numerical experiments are presented, which show that this scheme is more efficient in terms of the error reduction versus CPU time than its traditional third-order counterparts as well as several higher-order WENO schemes that are found in the literature.

math.NA↗

arXiv2024

Central WENO schemes through a global average weight

A novel central weighted essentially non-oscillatory (central WENO; CWENO)-type scheme for the construction of high-resolution approximations to discontinuous solutions to hyperbolic systems of conservation laws is presented. This procedure is based on the construction of a global average weight using the whole set of Jiang-Shu smoothness indicators associated to every candidate stencil. By this device one does not to have to rely on ideal weights, which, under certain stencil arrangements and interpolating point locations, do not define a convex combination of the lower-degree interpolating polynomials of the corresponding sub-stencils. Moreover, this procedure also prevents some cases of accuracy loss near smooth extrema that are experienced by classical WENO and CWENO schemes. These properties result in a more flexible scheme that overcomes these issues, at the cost of only a few additional computations with respect to classical WENO schemes and with a smaller cost than classical CWENO schemes. Numerical examples illustrate that the proposed CWENO schemes outperform both the traditional WENO and the original CWENO schemes.

math.NA↗

arXiv2024

On the efficient computation of smoothness indicators for a class of WENO reconstructions

Common smoothness indicators used in Weighted Essentially Non\--Os\-cil\-la\-to\-ry (WENO) reconstructions [Jiang, G.S., Shu, C.W.: Efficient implementation of {Weighted} {ENO} schemes, J.\ Comput.\ Phys. \textbf{126}, 202--228 (1996)] have quadratic cost with respect to the order. A set of novel smoothness indicators with linear cost of computation with respect to the order is presented. These smoothness indicators can be used in the context of schemes of the type introduced by Yamaleev and Carpenter [Yamaleev, N.K., Carpenter, M.H.: A systematic methodology to for constructing high-order energy stable WENO schemes. J. Comput. Phys. \textbf{228}(11), 4248-4272 (2009)]. The accuracy properties of the resulting non-linear weights are the same as those arising from using the traditional Jiang-Shu smoothness indicators in Yamaleev-Carpenter-type reconstructions. The increase of the efficiency and ease of implementation are shown.

math.NA↗

arXiv2024

On approximate implicit Taylor methods for ordinary differential equations

An efficient approximate version of implicit Taylor methods for initial-value problems of systems of ordinary differential equations (ODEs) is introduced. The approach, based on an approximate formulation of Taylor methods, produces a method that requires less evaluations of the function that defines the ODE and its derivatives than the usual version. On the other hand, an efficient numerical solution of the equation that arises from the discretization by means of Newton's method is introduced for an implicit scheme of any order. Numerical experiments illustrate that the resulting algorithm is simpler to implement and has better performance than its exact counterpart.

math.NA↗

arXiv2023

Numerical schemes for a moving-boundary convection-diffusion-reaction model of sequencing batch reactors

Sequencing batch reactors (SBRs) are devices widely used in wastewater treatment, chemical engineering, and other areas. They allow for the sedimentation and compression of solid particles of biomass simultaneously with biochemical reactions with nutrients dissolved in the liquid. The kinetics of these reactions may be given by one of the established activated sludge models (ASMx). An SBR is operated in various stages and is equipped with a movable extraction and fill device and a discharge opening. A one-dimensional model of this unit can be formulated as a moving-boundary problem for a degenerating system of convection-diffusion reaction equations whose unknowns are the concentrations of the components forming the solid and liquid phases, respectively. This model is transformed to a fixed computational domain and is discretized by an explicit monotone scheme along with an alternative semi-implicit variant. The semi-implicit variant is based on solving, during each time step, a system of nonlinear equations for the total solids concentration followed by the solution of linear systems for the solid component percentages and liquid component concentrations. It is demonstrated that the semi-implicit scheme is well posed and that both variants produce approximations that satisfy an invariant region principle: solids concentrations are nonnegative and less or equal to a set maximal one, percentages are nonnegative and sum up to one, and substrate concentrations are nonnegative. These properties are achieved undera Courant-Friedrichs-Lewy (CFL) condition that is less restrictive for the semi-implicit than the explicit variant. Numerical examples with realistic parameters illustrate that as a consequence, the semi-implicit variant is more efficient than the explicit one.

math.NA↗

arXiv2022

A model of reactive settling of activated sludge: comparison with experimental data

A non-negligible part of the biological reactions in the activated sludge process for treatment of wastewater takes place in secondary settling tanks that follow biological reactors. It is therefore of interest to develop models of so-called reactive settling that describe the spatial variability of reaction rates caused by the variation of local concentration of biomass due to hindered settling and compression. A reactive-settling model described by a system of nonlinear partial differential equations and a numerical scheme are introduced for the simulation of hindered settling of flocculated particles, compression at high concentrations, dispersion of the flocculated particles in the suspension, dispersion of the dissolved substrates in the fluid, and the mixing that occurs near the feed inlet. The model is fitted to experiments from a pilot plant where the sedimentation tank has a varying cross-sectional area. For the reactions, a modified version of the activated sludge model no. 1 (ASM1) is used with standard coefficients. The constitutive functions for hindered settling and compression are adjusted to a series of conventional batch settling experiments after the initial induction period of turbulence and reflocculation has been transformed away. Further (but not substantial) improvements of prediction of experimental steady-state scenarios can be achieved by also fitting additional terms modelling hydrodynamic dispersion.

math.NA↗

arXiv2022

A degenerating convection-diffusion system modelling froth flotation with drainage

Froth flotation is a common unit operation used in mineral processing. It serves to separate valuable mineral particles from worthless gangue particles in finely ground ores. The valuable mineral particles are hydrophobic and attach to bubbles of air injected into the pulp. This creates bubble-particle aggregates that rise to the top of the flotation column where they accumulate to a froth or foam layer that is removed through a launder for further processing. At the same time, the hydrophilic gangue particles settle and are removed continuously. The drainage of liquid due to capillarity is essential for the formation of a stable froth layer. This effect is included into a previously formulated hyperbolic system of partial differential equations that models the volume fractions of floating aggregates and settling hydrophilic solids [R. Bürger, S. Diehl and M.C. Martí, {\it IMA J. Appl. Math.} {\bf 84} (2019) 930--973]. The construction of desired steady-state solutions with a froth layer is detailed and feasibility conditions on the feed volume fractions and the volumetric flows of feed, underflow and wash water are visualized in so-called operating charts. A monotone numerical scheme is derived and employed to simulate the dynamic behaviour of a flotation column. It is also proven that, under a suitable Courant-Friedrichs-Lewy (CFL) condition, the approximate volume fractions are bounded between zero and one when the initial data are.

math.NA↗

arXiv2021

A moving-boundary model of reactive settling in wastewater treatment. Part 1: Governing equations

Reactive settling is the process of sedimentation of small solid particles in a fluid with simultaneous reactions between the components of the solid and liquid phases. This process is important in sequencing batch reactors (SBRs) in wastewater treatment plants. In that application the particles are biomass (bacteria; activated sludge) and the liquid contains substrates (nitrogen, phosphorus) to be removed through reactions with the biomass. The operation of an SBR in cycles of consecutive fill, react, settle, draw, and idle stages is modelled by a system of spatially one-dimensional, nonlinear, strongly degenerate parabolic convection-diffusion-reaction equations. This system is coupled via conditions of mass conservation to transport equations on a half line, whose origin is located at a moving boundary and that model the effluent pipe. An invariant-region-preserving finite difference scheme is used to simulate operating cycles and the denitrification process within an SBR.

math.NA↗

arXiv2021

A moving-boundary model of reactive settling in wastewater treatment. Part 2: Numerical scheme

A numerical scheme is proposed for the simulation of reactive settling in sequencing batch reactors (SBRs) in wastewater treatment plants. Reactive settling is the process of sedimentation of flocculated particles (biomass; activated sludge) consisting of several material components that react with substrates dissolved in the fluid. An SBR is operated in cycles of consecutive fill, react, settle, draw and idle stages, which means that the volume in the tank varies and the surface moves with time. The process is modelled by a system of spatially one-dimensional, nonlinear, strongly degenerate parabolic convection-diffusion-reaction equations. This system is coupled via conditions of mass conservation to transport equations on a half line whose origin is located at a moving boundary and that models the effluent pipe. A finite-difference scheme is proved to satisfy an invariant-region property (in particular, it is positivity preserving) if executed in a simple splitting way. Simulations are presented with a modified variant of the established activated sludge model no.~1 (ASM1).

math.NA↗

arXiv2021

Divergence-conforming methods for transient doubly-diffusive flows: A priori and a posteriori error analysis

The analysis of the double-diffusion model and $\mathbf{H}(\mathrm{div})$-conforming method introduced in [Bürger, Méndez, Ruiz-Baier, SINUM (2019), 57:1318--1343] is extended to the time-dependent case. In addition, the efficiency and reliability analysis of residual-based {\it a posteriori} error estimators for the steady, semi-discrete, and fully discrete problems is established. The resulting methods are applied to simulate the sedimentation of small particles in salinity-driven flows. The method consists of Brezzi-Douglas-Marini approximations for velocity and compatible piecewise discontinuous pressures, whereas Lagrangian elements are used for concentration and salinity distribution. Numerical tests confirm the properties of the proposed family of schemes and of the adaptive strategy guided by the {\it a posteriori} error indicators.

math.NA↗

arXiv2020

A method-of-lines formulation for a model of reactive settling in tanks with varying cross-sectional area

Reactive settling denotes the process of sedimentation of small solid particles dispersed in a viscous fluid with simultaneous reactions between the components that constitute the solid and liquid phases. This process is of particular importance for the simulation and control of secondary settling tanks (SSTs) in water resource recovery facilities (WRRFs), formerly known as wastewater treatment plants. A spatially one-dimensional model of reactive settling in an SST is formulated by combining a mechanistic model of sedimentation with compression with a model of biokinetic reactions. In addition, the cross-sectional area of the tank is allowed to vary as a function of height. The final model is a system of strongly degenerate parabolic, nonlinear partial differential equations (PDEs)that include discontinuous coefficients to describe the feed, underflow and overflow mechanisms, as well as singular source terms that model the feed mechanism. A finite difference scheme for the final model is derived by first deriving a method-of-lines formulation (discrete in space, continuous in time), and then passing to a fully discrete scheme by a time discretization. The advantage of this formulation is its compatibility with common practice in development of software for WRRFs. The main mathematical result is an invariant-region property, which implies that physically relevant numerical solutions are produced. Simulations of denitrification in SSTs in wastewater treatment illustrate the model and its discretization.

math.NA↗

arXiv2019

Virtual element methods for the three-field formulation of time-dependent linear poroelasticity

A virtual element discretisation for the numerical approximation of the three-field formulation of linear poroelasticity introduced in [R. Oyarzúa and R. Ruiz-Baier, Locking-free finite element methods for poroelasticity, SIAM J. Numer. Anal. 54 (2016) 2951--2973] is proposed. The treatment is extended to include also the transient case. Appropriate poroelasticity projector operators are introduced and they assist in deriving energy bounds for the time-dependent discrete problem. Under standard assumptions on the computational domain, optimal a priori error estimates are established. Furthermore, the accuracy of the method is verified numerically through a set of computational tests.

math.NA↗

arXiv2012

Fully adaptive multiresolution schemes for strongly degenerate parabolic equations in one space dimension

We present a fully adaptive multiresolution scheme for spatially one-dimensional quasilinear strongly degenerate parabolic equations with zero-flux and periodic boundary conditions. The numerical scheme is based on a finite volume discretization using the Engquist-Osher numerical flux and explicit time stepping. An adaptive multiresolution scheme based on cell averages is then used to speed up the CPU time and the memory requirements of the underlying finite volume scheme, whose first-order version is known to converge to an entropy solution of the problem. A particular feature of the method is the storage of the multiresolution representation of the solution in a graded tree, whose leaves are the non-uniform finite volumes on which the numerical divergence is eventually evaluated. Moreover using the $L^1$ contraction of the discrete time evolution operator we derive the optimal choice of the threshold in the adaptive multiresolution method. Numerical examples illustrate the computational efficiency together with the convergence properties.

math.NA↗

arXiv2010

A strongly degenerate parabolic aggregation equation

This paper is concerned with a strongly degenerate convection-diffusion equation in one space dimension whose convective flux involves a non-linear function of the total mass to one side of the given position. This equation can be understood as a model of aggregation of the individuals of a population with the solution representing their local density. The aggregation mechanism is balanced by a degenerate diffusion term accounting for dispersal. In the strongly degenerate case, solutions of the non-local problem are usually discontinuous and need to be defined as weak solutions satisfying an entropy condition. A finite difference scheme for the non-local problem is formulated and its convergence to the unique entropy solution is proved. The scheme emerges from taking divided differences of a monotone scheme for the local PDE for the primitive. Numerical examples illustrate the behaviour of entropy solutions of the non-local problem, in particular the aggregation phenomenon.

math.NA↗

arXiv2008

Un metodo adaptativo para el modelo Bidominio en electrocardiologia

This paper presents a finite-volume method, together with fully adaptive multi-resolution scheme to obtain spatial adaptation, and a Runge-Kutta-Fehlberg scheme with a local time-varying step to obtain temporal adaptation, to solve numerically the known "bidominio" equations that model the electrical activity of the tissue in the myocardium. Two simple models are considered for membrane flows and ionic currents. First we define an approximate solution and we verify its convergence to the corresponding weak solution of the continuum problem, obtaining in this way an alternative demonstration that the continuum problem is well-posed. Next we introduce the multiresolution technique and derive an optimal noise reduction threshold. The efficiency and precision of our method is seen in the reduction of machine time, memory usage, and errors in comparison to other methods. ----- En este trabajo se presenta un metodo de volumenes finitos enriquecido con un esquema de multiresolucion completamente adaptativo para obtener adaptatividad espacial, y un esquema Runge-Kutta-Fehlberg con paso temporal de variacion local para obtener adaptatividad temporal, para resolver numericamente las conocidas ecuaciones "bidominio" que modelan la actividad electrica del tejido en el miocardio. Se consideran dos modelos simples para las corrientes de membrana y corrientes ionicas. En primer lugar definimos una solucion aproximada y nos referimos a su convergencia a la correspondiente solucion debil del problema continuo, obteniendo de este modo una demostracion alternativa de que el problema continuo es bien puesto. Luego de introducir la tecnica de multiresolucion, se deriva un umbral optimo para descartar la informacion no significativa, y tanto la eficiencia como la precision de nuestro metodo es vista en terminos de la aceleracion de tiempo de maquina, compresion de memoria computacional y errores en diferentes normas.

math.NA↗