1.
Introduction
Coagulation-fragmentation (CF) equations have been used to model many physical and biological phenomena [1,2]. In particular, when combined with transport terms, these equations can be used to model the population dynamics of oceanic phytoplankton [3,4,5]. Setting such models in the space of Radon measures allows for the unified study of both discrete and continuous structures. Not only are the classical discrete and continuous CF equations special cases of the measure valued model (as shown in [6]), but this setting allows for a mixing of the two structures, which has become of interest in particular applications [7,8].
With the above applications in mind, numerical schemes to solve CF equations are of great importance to researchers. In particular, finite difference methods offer numerical schemes which are easy to implement and approximate the solution with a high order of accuracy. The latter benefit is especially important in the study of stability and optimal control of such equations.
The purpose of this article is to make improvements on two of the three first-order schemes presented in [9], namely the fully explicit and semi-implicit schemes. These schemes are shown to have certain advantages and disadvantages as discussed in the aforementioned study. In particular, the fully explicit scheme has the qualitative property of conservation of mass through coagulation. On the other hand, the semi-implicit scheme has a more relaxed Courant–Friedrichs–Lewy (CFL) condition, which does not depend on the initial condition. We have decided not to attempt to improve the third scheme presented in [9] as there does not seem to be a significant advantage of the named conservation law scheme to outweigh the drastic computational cost. The main improvement here is to lift-up these two first-order schemes to second-order ones on the space of Radon measures; however, as this state space contains singular elements (including point measures), the improvement of these schemes must be handled with care. As shown in [10], discontinuities and singularities in the solution can cause drastic changes in not only the order of convergence of the scheme, but also in the behavior of the scheme. To address these issues, we turn to a high resolution scheme studied with classical structured population models (i.e. without coagulation-fragmentation) in [11,12,13]. This scheme makes use of a minmod flux limiter to control any oscillatory behavior of the scheme caused by irregularities. With this new flux, we show that it is possible for second order convergence rates to be obtained for continuous density solutions. However, as the solutions become more irregular, one should expect the convergence rate to decline. Such a phenomenon is demonstrated in [10,13], and we direct the reader to these manuscripts for more discussion.
The layout of the paper is as follows. In Section 2, we present the notation and preliminary results about the model and state space used throughout the paper. In Section 3, we describe the model and state all assumptions imposed on the model parameters. In Section 4, we present the numerical schemes, their CFL conditions, and state the main theorem of the paper. In Section 5, we test the convergence rate of the schemes against well-known examples. In Section 6, we provide a conclusion and in the Appendix (Section 7) we provide proofs for some of our results.
2.
Notation
We make use of standard notations for function spaces. The most common examples of these are C1(R+) for the space of real valued continuously differentable functions and W1,∞(R+) for the usual Sobelov space. The space of Radon measures will be denoted with M(R+), with M+(R+) representing its positive cone. This space will be equipped with the Bounded-Lipschitz (BL) norm given by
Another norm of interest to this space is the well studied Total Variation (TV) norm given by
For more information about these particular norms and their relationship we direct the reader to [14,15]. For lucidity, we use operator notation in place of integration when we believe it necessary, namely
where the set A is the support of the measure μ. Finally, we denote the minmod function by mm(a,b) and use the following definition
3.
Model and assumptions
The model of interest is the size-structured coagulation fragmentation model given by
where μ(t)∈M+(R+) represents individuals' size distribution at time t and the functions g,d,β are their growth, death, and reproduction rate, respectively. The coagulation and fragmentation processes of a population distributed according to μ∈M+(R+) are modeled by the measures K[μ] and F[μ] given
and
for any test function ϕ. Here, κ(x,y) is the rate at which individuals of size x coalesce with individuals of size y, a(y) is the global fragmentation rate of individuals of size y, and b(y,⋅) is a measure supported on [0,y] such that b(y,A) represents the probability a particle of size y fragments to a particle with size in the Borel set A.
Definition 3.1. Given T≥0, we say a function μ∈C([0,T],M+(R+)) is a weak solution to (3.1) if for all ϕ∈(C1∩W1,∞)([0,T]×R+) and for all t∈[0,T], the following holds:
For the numerical scheme, we will restrict ourselves to a finite domain, [0,xmax]. Thus, we impose the following assumptions on the growth, death and birth functions:
(A1) For any R>0, there exists LR>0 such that for all ‖μi‖TV≤R and ti∈[0,∞) (i=1,2) the following hold for f=g,d,β,
(A2) There exists ζ>0 such that for all T>0,
(A3) For all (t,μ)∈[0,∞)×M+(R+),
for some large xmax>0.
We assume that the coagulation kernel κ satisfies the following assumption:
(K1) κ is symmetric, nonnegative, bounded by a constant Cκ, and globally Lipschitz with Lipschitz constant Lκ.
(K2) \(\kappa(x, y) = 0 \text{ whenever } x+y > x_{\max}.\)
We assume that the fragmentation kernel satisfies the following assumptions:
(F1) a∈W1,∞(R+) is non-negative,
(F2) for any y≥0, b(y,dx) is a measure such that
(i) b(y,dx) is non-negative and supported in [0,y], and there exist a Cb>0 such that b(y,R+)≤Cb for all y>0,
(ii) there exists Lb such that for any y,ˉy≥0,
(iii) for any y≥0,
The existence and uniqueness of mass conserving solutions of model (3.1) under these assumptions were established in [6].
4.
Numerical methods
We adopt the numerical discretization presented in [6]. For some fixed mesh sizes Δx,Δt>0, we discretize the size domain [0,xmax] with the cells
and
We denote the midpoints of these grids by xj. The initial condition μ0∈M+(R+) will be approximated by a combination of Dirac measures
We first approximate the model coefficients κ, a, b as follows. For the physical ingredients, we define
for i,j≥1, and
(with the natural modifications for κΔx0,j and κΔxi,0, i≥1). We then let aΔx∈W1,∞(R+) and κΔx∈W1,∞(R+×R+) be the linear interpolation of the aΔxi and κΔxi,j, respectively. Finally, we define the measure bΔx(xj,⋅)∈M+(ΔxN) by
and then bΔx(x,⋅)∈M+(ΔxN0) for x≥0 as the linear interpolate between the bΔx(xj,⋅). When the context is clear, we omit the Δx from the notation above.
We make use of these approximations to combine the high-resolution scheme presented in [13] with the fully explicit and semi-implicit schemes presented in [9]. Together, these schemes give us the numerical scheme
where the flux term is given by
the fragmentation term, Fj,k, is given by
and the coagulation term, Cj, is either given by an explicit discretization as
or by an implicit one as
As discussed in [9], the explicit scheme which uses (4.4) to approximate the coagulation term and the semi-implicit scheme which instead uses (4.5) to approximate the coagulation term behave differently with respect to the mass conservation and have different Courant–Friedrichs–Lewy (CFL) conditions. The assumed CFL condition for the schemes are
where ˉζ=max{ζ,‖a‖W1,∞}, Ca=‖a‖∞. The CFL conditions above are similar to those used in [9], but are adjusted due to the flux limiter term as in [13]. It is clear that the semi-implicit scheme has a less restrictive and simpler CFL condition than the explicit scheme. In particular, the CFL condition of the semi-implicit scheme is independent on the initial condition, unlike its counterpart. The trade off for this is a loss of qualitative behavior of the scheme in the sense of mass conservation. Indeed as shown in [9], when β=d=g=a=0, the semi-implicit coagulation term does not conserve mass, whereas the explicit term does. As shown in the appendix, this loss is controlled by the time step size, Δt.
It is useful to define the following coefficients:
and
Notice, |Akj|≤3Δt2Δxζ and Akj−Bkj≥0 as
Scheme (4.1) can then be rewritten as
Depending on the choice of coagulation term, this formulation leads to either
for the explicit term, Cexpj,k, or
for the implicit term, Cimpj,k.
For these, schemes, we have the following Lemmas which are proven in the appendix:
Lemma 4.1. For each k=1,2,…,ˉk,
● mkj≥0 for all j=1,2,…J,
● ‖μkΔx‖TV≤‖μ0‖TVexp((ζ+CbCa)T).
Lemma 4.2. For any l,p=1,2,…,ˉk,
Using the above two Lemmas, we can arrive at analogous results for the linear interpolation (4.10):
Thus by the well know Ascoli-Arzela Theorem, we have the existence of a convergent subsequence of the net {μΔtΔx(t)} in C([0,T],M+([0,xmax]). We now need only show any convergent subsequence converges to the unique solution (3.2).
Theorem 4.1. As Δx,Δt→0 the sequence μΔtΔx converges in C([0,T],M+([0,xmax])) to the solution of (3.1).
Proof. By multiplying (4.1) by a superfluously smooth test function ϕ∈(W1,∞∩C2)([0,T]×R), denoting ϕkj:=ϕ(kΔt,xj), summing over all j and k, and rearranging we arrive at
The left-hand side of equation (4.11) was shown in [13] to be equivalent to
where o(1)⟶0 as Δt,Δx⟶0.
The right-hand side of (4.11) was shown in [9] to be equal to
Making use of results, it is then easy to see (4.11) is equivalent to
Passing the limit as Δt,Δx⟶0 along a converging subsequence, we then obtain that equation (3.2) holds for any ϕ∈(C2∩W1,∞)([0,T]×R+) with compact support. A standard density argument shows that equation (3.2) holds for any ϕ∈(C1∩W1,∞)([0,T]×R+). As the weak solution is unique [6], we conclude the net {μΔtΔx} converges to the solution of model (3.1). □
We point out that while these schemes are higher-order in space, they are only first order in time. To lift these schemes into a second-order in time as well, we make use of the second-order Runge-Kutta time discretization [16] for the explicit scheme and second-order Richardson extrapolation [17] for the semi-implicit scheme.
5.
Numerical examples
In this section, we provide numerical simulations which test the order of the explicit and semi-implicit schemes developed in the previous sections. We test each component separately, beginning first with a pure coagulation equation in example 1 (where we set g=β=d=a=0), then a pure fragmentation equation in example 2 (where we set g=β=d=κ=0). In example 3, we consider all components of model (3.1) including the boundary term which is implemented as in scheme (4.7). For readers interested in the schemes performance in the absence of the coagulation-fragmentation processes, we direct you to [11,12,13]. For each example, we give the BL error and the order of convergence. To appreciate the gain in the order of convergence compared to those studied in [9], which are based on a first order approximation of the transport term, we add some of the numerical results from the scheme presented in [9].
In some of the following examples, the exact solution of the model problem is given. In these cases, we approximate the order of accuracy, q, with the standard calculation:
where μ represents the exact solution of the examples considered. In the cases where the exact solutions are unknown, we approximate the order by
and we report the numerator of the log argument as the error. The metric ρ we use here was introduced in [18] and is equivalent to the BL metric, namely
for some constant C (dependent on the finite domain). As discussed in [18], this metric is more efficient to compute than the BL norm and maintains the same order of convergence. An alternative to this algorithm would be to make use of the algorithms presented in [19], where convergence in the Fortet-Mourier distance is considered.
Example 1 In this example, we test the quality of the finite difference schemes against coagulation equations. To this end, we take κ(x,y)≡1 and μ0=e−xdx with all other ingredients set to 0. This example has an exact solution given by
see [20] for more details. The simulation is performed over the truncated domain (x,t)∈[0,20]×[0,0.5]. We present the BL error and the numerical order of convergence for both schemes in Table 1.
Example 2 In this example, we test the quality of the finite difference scheme against fragmentation equations. We point out that in this case, the two schemes are identical in the spacial component. For this demonstration, we take μ0=e−xdx, b(y,⋅)=2ydx and a(x)=x. As given in [21], this problem has an exact solution of
The simulation is performed over the finite domain (x,t)∈[0,20]×[0,0.5]. We present the BL error and the numerical order of convergence for both schemes in Table 2. Note as compared to coagulation, the fragmentation process is more affected by the truncation of the domain. This results in the numerical order of the scheme being further from 2 than example 1.
Example 3 In this example, we test the schemes against the complete model (i.e., with all biological and physical processes). To this end, we take μ0=e−xdx, g(x)=2−2ex−20, β(x)=2, d(x)=1, κ(x,y)=1, a(x)=x, and b(y,⋅)=2y. The simulation is performed over the finite domain (x,t)∈[0,20]×[0,0.5]. To our knowledge, the solution of this problem is unknown.
Example 4 As mentioned in [9], the mixed discrete and continuous fragmentation model studied in [7,8], with adjusted assumptions, is a special case of model (3.1). Indeed, by removing the biological and coagulation terms and letting the kernel
with supp bc(y,⋅)⊂[Nh,y] for some h>0, we have the mixed model in question. We wish to demonstrate the finite difference scheme presented here maintains this mixed structure.
To this end, we take the fragmentation kernel
with initial condition μ=∑5i=1δi+χ[5,15](x)dx, where χA represents the characteristic function over the set A. This is similar to some examples in [8], where more detail and analysis are provided. In Figure 1, we present the simulation of this example. Notice, the mixed structure is preserved in finite time. For examples of this type, the scheme could be improved upon by the inclusion of mass conservative fragmentation terms similar to those presented in [6].
6.
Conclusion
In this paper, we have lifted two of the first order finite difference schemes presented in [9] to second order high resolution schemes using flux limiter methods. The difference between both schemes is only found in the coagulation term, where the semi-implicit scheme is made linear. In context of standard structured population models (i.e. without coagulation or fragmentation), these type of schemes have been shown to be well-behaved in the presences of discontinuities and singularities. This quality makes them a well fit tool for studying PDEs in spaces of measures. We prove the convergence of both schemes under the assumption of natural CFL conditions. The order of convergence of both schemes is then tested numerically with previously used examples.
In summary, the schemes preform as expected in the presence of smooth initial conditions. In all such simulations, the numerical schemes presented demonstrate a convergence rate of order 2. For simulations with biological terms, this convergence rate is expected to drop when singularities and discontinuities occur, as demonstrated in [13]. Mass conservation of the schemes, an important property for coagulation/fragmentation processes, is discussed in detail in [6,9].
Acknowledgments
The research of ASA is supported in part by funds from R.P. Authement Eminent Scholar and Endowed Chair in Computational Mathematics at the University of Louisiana at Lafayette. RL is grateful for the support of the Carl Tryggers Stiftelse via the grant CTS 21:1656.
7.
Appendix
7.1. Proof of Lemmas 4.1 and 4.2
In this section, we present the proofs of Lemmas 4.1 and 4.2 for the explicit coagulation term. The semi-implicit term follows from similar arguments in the same fashion as [9].
Proof of Lemma 4.1
Proof. We first prove via induction that for any k=1,2,…,ˉk, μkΔx satisfies the following:
(i) μkΔx∈M+(R+) i.e. mkj≥0 for all j=1,…,J,
(ii) ‖μkΔx‖TV≤‖μ0Δx‖TV(1+(ζ+CbCa)Δt)k.
Then, the TV bound in the Lemma follows from standard arguments (see e.g. Lemma 4.1 in [9]). We prove this Theorem for the choice of the explicit coagulation term, Cexpj,k, as the implicit case is similar and more straight forward.
We begin by showing that mk+1j≥0 for every j=1,2,…,J. Notice by way of (4.8), this reduces down to showing
Indeed, by the CFL condition (4.6), induction hypothesis, and
we arrive at the result.
For the TV bound, we have since the mkj are non-negative, ‖μkΔx‖TV=∑Jj=1mkj. By rearranging (4.8) and summing over j=1,2,…,J we have
To bound the right-hand side of equation (7.1), we directly follow the arguments of Lemma 4.1 in [9] which yields
Using the induction hypothesis, we obtain ‖μk+1Δx‖TV≤‖μ0Δx‖TV(1+(ζ+CbCa)Δt)k+1 as desired. □
Proof of Lemma 4.2
Proof. For ϕ∈W1,∞(R+) with ‖ϕ‖W1,∞≤1, and denoting ϕj:=ϕ(xj), we have for any k,
Let C be the right-hand side of the TV-bound from Lemma 4.1, we then see
Moreover, since gkJ=0 the sum in the right-hand side takes the form
We thus obtain
Taking the supremum over ϕ gives ‖μk+1Δx−μkΔx‖BL≤LΔt for any k. The result follows. □
7.2. Estimate of mass loss for the implicit coagulation discretization given by Cimpj,k
In this section, we consider the semi-implicit scheme (4.9) without any biological ingredients or fragmentation (i.e., a,g,d,β=0) where mass is not conserved (observed by the numerical experiments in Section 5) and show this change is controlled by the time step. For a bound on the loss of mass via fragmentation, we direct the reader to Section 6.1 of [6]. Multiplying (4.9) by xj and summing over j, we can arrive at
In [6, Section 6.1] it was shown that the explicit scheme conserves mass through the coagulation process, i.e.,
Adding this to the previous equation we have
where in the last equality, we change the order of integration and introduce the new index l=j−i. Noticing that due to the uniform mesh size xl+i=xl+xi, we can split the second term on the right-hand side and obtain the equation
Since xj≤xmax, we can bound the last term on the right-hand side
Using Lemmas 4.1 and 4.2, we have the estimate