-
An invariant-region-preserving scheme for a convection-reaction-Cahn-Hilliard multiphase model of biofilm growth in slow sand filters
Authors:
Julio Careaga,
Stefan Diehl,
Jaime Manríquez
Abstract:
A multidimensional model of biofilm growth present in the supernatant water of a Slow Sand Filter is derived. The multiphase model, consisting of solid and liquid phases, is written as a convection-reaction system with a Cahn-Hilliard-type equation with degenerate mobility coupled to a Stokes-flow equation for the mixture velocity. An upwind discontinuous Galerkin approach is used to approximate t…
▽ More
A multidimensional model of biofilm growth present in the supernatant water of a Slow Sand Filter is derived. The multiphase model, consisting of solid and liquid phases, is written as a convection-reaction system with a Cahn-Hilliard-type equation with degenerate mobility coupled to a Stokes-flow equation for the mixture velocity. An upwind discontinuous Galerkin approach is used to approximate the convection-reaction equations, whereas an $H^1$-conforming primal formulation is proposed for the Stokes system. By means of a splitting procedure due to the reaction terms, an invariant-region principle is shown for the concentration unknowns, namely non-negativity for all phases and an upper bound for the total concentration of the solid phases. Numerical examples with reduced biofilm reactions are presented to illustrate the performance of the model and numerical scheme.
△ Less
Submitted 7 April, 2025;
originally announced April 2025.
-
Numerical schemes for a moving-boundary convection-diffusion-reaction model of sequencing batch reactors
Authors:
Raimund Bürger,
Julio Careaga,
Stefan Diehl,
Romel Pineda
Abstract:
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 opera…
▽ More
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.
△ Less
Submitted 15 April, 2023;
originally announced April 2023.
-
A model of reactive settling of activated sludge: comparison with experimental data
Authors:
Raimund Bürger,
Julio Careaga,
Stefan Diehl,
Romel Pineda
Abstract:
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 a…
▽ More
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.
△ Less
Submitted 25 May, 2022;
originally announced May 2022.
-
A degenerating convection-diffusion system modelling froth flotation with drainage
Authors:
Raimund Bürger,
Stefan Diehl,
M. Carmen Martí,
Yolanda Vásquez
Abstract:
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…
▽ More
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.
△ Less
Submitted 9 February, 2022;
originally announced February 2022.
-
A moving-boundary model of reactive settling in wastewater treatment. Part 2: Numerical scheme
Authors:
Raimund Bürger,
Julio Careaga,
Stefan Diehl,
Romel Pineda
Abstract:
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,…
▽ More
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).
△ Less
Submitted 5 December, 2021;
originally announced December 2021.
-
A moving-boundary model of reactive settling in wastewater treatment. Part 1: Governing equations
Authors:
Raimund Bürger,
Julio Careaga,
Stefan Diehl,
Romel Pineda
Abstract:
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 b…
▽ More
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.
△ Less
Submitted 5 December, 2021; v1 submitted 23 May, 2021;
originally announced May 2021.
-
A method-of-lines formulation for a model of reactive settling in tanks with varying cross-sectional area
Authors:
Raimund Bürger,
Julio Careaga,
Stefan Diehl
Abstract:
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 pl…
▽ More
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.
△ Less
Submitted 13 October, 2020;
originally announced October 2020.
-
The joint fluctuations of the lengths of the Beta$(2-α, α)$-coalescents
Authors:
Matthias Birkner,
Iulia Dahmer,
Christina S. Diehl,
Götz Kersting
Abstract:
We consider Beta$(2-α, α)$-coalescents with parameter range $1 <α<2$ starting from $n$ leaves. The length $\ell^{(n)}_r$ of order $r$ in the $n$-Beta$(2-α, α)$-coalescent tree is defined as the sum of the lengths of all branches that carry a subtree with $r$ leaves. We show that for any $s \in \mathbb N$ the vector of suitably centered and rescaled lengths of orders $1\le r \le s$ converges in dis…
▽ More
We consider Beta$(2-α, α)$-coalescents with parameter range $1 <α<2$ starting from $n$ leaves. The length $\ell^{(n)}_r$ of order $r$ in the $n$-Beta$(2-α, α)$-coalescent tree is defined as the sum of the lengths of all branches that carry a subtree with $r$ leaves. We show that for any $s \in \mathbb N$ the vector of suitably centered and rescaled lengths of orders $1\le r \le s$ converges in distribution to a multivariate stable distribution as the number of leaves tends to infinity.
△ Less
Submitted 29 November, 2022; v1 submitted 28 September, 2020;
originally announced September 2020.
-
External branch lengths of $Λ$-coalescents without a dust component
Authors:
Christina S. Diehl,
Götz Kersting
Abstract:
$Λ…
▽ More
$Λ$-coalescents model genealogies of samples of individuals from a large population by means of a family tree whose branches have lengths. The tree's leaves represent the individuals, and the lengths of the adjacent edges indicate the individuals' time durations up to some common ancestor. These edges are called external branches. We consider typical external branches under the broad assumption that the coalescent has no dust component, and maximal external branches under further regularity assumptions. As it transpires, the crucial characteristic is the coalescent's rate of decrease $μ(b)$, $b\geq 2$. The magnitude of a typical external branch is asymptotically given by $n/μ(n)$, where $n$ denotes the sample size. This result, in addition to the asymptotic independence of several typical external lengths hold in full generality, while convergence in distribution of the scaled external lengths requires that $μ(n)$ is regularly varying at infinity. For the maximal lengths, we distinguish two cases. Firstly, we analyze a class of $Λ$-coalescents coming down from infinity and with regularly varying $μ$. Here the scaled external lengths behave as the maximal values of $n$ i.i.d. random variables, and their limit is captured by a Poisson point process on the positive real line. Secondly, we turn to the Bolthausen-Sznitman coalescent, where the picture changes. Now the limiting behavior of the normalized external lengths is given by a Cox point process, which can be expressed by a randomly shifted Poisson point process.
△ Less
Submitted 11 September, 2019; v1 submitted 19 November, 2018;
originally announced November 2018.
-
Tree lengths for general $Λ$-coalescents and the asymptotic site frequency spectrum around the Bolthausen-Sznitman coalescent
Authors:
Christina S. Diehl,
Götz Kersting
Abstract:
We study tree lengths in $Λ$-coalescents without a dust component from a sample of $n$ individuals. For the total length of all branches and the total length of all external branches we present laws of large numbers in full generality. The other results treat regularly varying coalescents with exponent 1, which cover the Bolthausen-Sznitman coalescent. The theorems contain laws of large numbers fo…
▽ More
We study tree lengths in $Λ$-coalescents without a dust component from a sample of $n$ individuals. For the total length of all branches and the total length of all external branches we present laws of large numbers in full generality. The other results treat regularly varying coalescents with exponent 1, which cover the Bolthausen-Sznitman coalescent. The theorems contain laws of large numbers for the total length of all internal branches and of internal branches of order $a$ (i.e. branches carrying $a$ individuals out of the sample). These results transform immediately to sampling formulas in the infinite sites model. In particular, we obtain the asymptotic site frequency spectrum of the Bolthausen-Sznitman coalescent. The proofs rely on a new technique to obtain laws of large numbers for certain functionals of decreasing Markov chains.
△ Less
Submitted 22 January, 2019; v1 submitted 3 April, 2018;
originally announced April 2018.