Академический Документы
Профессиональный Документы
Культура Документы
(2010) 116:579617
DOI 10.1007/s00211-010-0325-4
Numerische
Mathematik
Received: 8 November 2009 / Revised: 19 April 2010 / Published online: 7 July 2010
Springer-Verlag 2010
R. Brger (B)
CI2 MA and Departamento de Ingeniera Matemtica, Facultad de Ciencias Fsicas y Matemticas,
Universidad de Concepcin, Casilla 160-C, Concepcin, Chile
e-mail: rburger@ing-mat.udec.cl
K. H. Karlsen
Centre of Mathematics for Applications (CMA), University of Oslo,
P.O. Box 1053, Blindern, 0316 Oslo, Norway
e-mail: kennethk@math.uio.no
H. Torres
Departamento de Ingeniera Matemtica, Facultad de Ciencias Fsicas y Matemticas,
Universidad de Concepcin, Casilla 160-C, Concepcin, Chile
e-mail: htorres@ing-mat.udec.cl
J. D. Towers
MiraCosta College, 3333 Manchester Avenue, Cardiff-by-the-Sea, CA 92007-1516, USA
e-mail: john.towers@cox.net
123
580
R. Brger et al.
while the FTVD scheme is supported by convergence analysis. The accuracy of both
schemes is superior to that of the monotone first-order scheme based on the adaptation of the EngquistOsher scheme to the discontinuous flux setting of the CT model
(Brger, Karlsen and Towers in SIAM J Appl Math 65:882940, 2005). In the CT
application there is interest in modelling sediment compressibility by an additional
strongly degenerate diffusion term. Second-order schemes for this extended equation
are obtained by combining either the STVD or the FTVD scheme with a Crank
Nicolson discretization of the degenerate diffusion term in a Strang-type operator
splitting procedure. Numerical examples illustrate the resulting schemes.
Mathematics Subject Classification (2000)
35R05 65M06 65M12 76M20 76T20
1 Introduction
In a series of papers including [68], we proposed and analyzed difference schemes
for conservation laws with discontinuous flux modelling so-called clarifierthickener
(CT) units for the continuous solidliquid separation of suspensions in engineering
applications. Most spatially one-dimensional mathematical models of these units are
based on the kinematic sedimentation theory [18], which describes the batch settling
of small, equal-sized rigid spheres suspended in a viscous fluid by the conservation
law
u t + b(u)x = 0
(1.1)
for the solids volume fraction u as a function of depth x and time t. The flux b(u),
called batch flux density function, describes material specific properties of the suspension. The extension of this theory to CT units with continuous feed, sediment removal,
and clarified liquid overflow leads to an initial value problem for a conservation law
of the type
u t + f ( (x), u)x = 0, (x, t) T := R (0, T ),
u(x, 0) = u 0 (x), x R,
(1.2)
123
581
degenerate fields with eigenvalues that are zero. Indeed, if f u = 0 at some points
( , u), then the system is non-strictly hyperbolic and it experiences so-called nonlinear resonant behavior. Consequently, one cannot in general expect to bound the total
variation of the conserved quantities directly, but only when measured under a certain
singular mapping, as was done first in [24] for a related system.
The papers [47] were inspired by previous work on conservation laws with discontinuous flux (cf. these papers for lists of relevant references). This area has enjoyed
a lot of interest in recent years due to its intrinsic mathematical difficulties and
the large number of its applications including, besides the CT model, two-phase
flow in porous media, traffic flow with discontinuous road surface conditions, and
shape-from-shading problems (again we refer to [47] for long lists of relevant references). On the other hand, CT models have been studied extensively in the literature
by several authors (see, e.g., [1,10,19]). Important contributions to the mathematical
analysis and the determination of solutions to these first-order models have been made
by Diehl, see, e.g., [1113].
In many applications, suspensions are flocculated and form compressible sediment
layers, which cannot be described by (1.1). A suitable extended model is provided by
a sedimentationconsolidation theory (see, e.g., [8]), whose governing equation (for
one-dimensional batch settling) is
u t + b(u)x = A(u)x x ,
(1.3)
where the diffusion term A(u)x x accounts for sediment compressibility. This theory postulates a material-dependent critical concentration (or gel point) u c such that
A(u) = 0 for u u c and A(u) 0 for u > u c . Thus, (1.3) degenerates into the
first-order equation (1.1) when u u c , and is therefore called strongly degenerate. If
we combine this extension of (1.1) to continuously operated CTs (with the degenerate
diffusion term describing sediment compressibility), then the resulting model for a
CT treating a flocculated suspension is of the type
u t + f ( (x), u)x = (1 (x)A(u)x )x , (x, t) T ,
u(x, 0) = u 0 (x), x R,
(1.4)
123
582
R. Brger et al.
the reduction to one space dimension only). However, for the purpose of identifying
predictions by the mathematical model, and of separating them from numerical artifacts, it is desirable to have at hand a scheme with second or even higher order of
accuracy.
It is the purpose of this paper to present, and in part analyze, two finite difference
schemes that form second-order accurate approximations (both in space and in time)
of the CT model. Both schemes are based on our previous first-order scheme. The first
scheme is based on applying a simple standard minmod TVD limiter to the numerical solution, and is therefore addressed as simple TVD scheme (STVD scheme). The
major novelty of the present work is the second scheme, namely a new flux-total variation diminishing (FTVD) method. In more detail, by a truncation error analysis we
identify a correction term that formally upgrades our scheme to second-order accuracy. As is well known, the resulting LaxWendroff-type scheme produces spurious
oscillations near discontinuities. A well-established way to correct this is the application of a limiter function to the solution itself. This results in a TVD scheme. The
problem with the application of the TVD methodology, however, lies in the fact that
for equations involving a discontinuous flux, it is not ensured that the solution itself
satisfies the TVD property; rather, we can only say that the flux has the TVD property.
This observation leads us to propose here the so-called flux-TVD (FTVD) schemes,
which precisely mimic the latter property of the exact solution. The new correction
terms introduced by the FTVD approach should be as large as possible in order to
ensure overall second-order accuracy. This requirement has inspired us to propose a
new non-local limiter algorithm, which as we prove, indeed diminishes total variation
and preserves second-order accuracy wherever possible.
We prove that the FTVD scheme converges to a BVt weak solution of the CT
model. A decisive ingredient of the proof is the application of a so-called singular
mapping, which maps the sequence of approximate solution values, which do not
necessarily satisfy a spatial TVD property, to a sequence of transformed quantities,
which does have this property. A standard compactness argument yields that the transformed sequence has a limit, and applying the inverse of the singular mapping we see
that the sequence of solution itself has a limit. This analysis puts the FTVD scheme
on a rigorous ground. Regarding the first-order version of the scheme, we know that
it satisfies a discrete entropy inequality, the continuous version of which implies L 1
stability and uniqueness, cf. [7]. For the second-order extension, we have not been
able to establish such discrete entropy inequalities, although the numerical results
seem to indicate that they are satisfied. In fact, entropy satisfaction (discrete entropy
inequalities) is not easily checked when dealing with second-order schemes (although
all numerical examples seem to indicate that there is entropy satisfaction). For homogenous conservation laws like u t + f (u)x = 0 it was obtained in a few situations for
second-order schemes, but often the numerical entropy inequality was obtained for the
entropy u 2 /2 with a first-order approximation under an artificial non-homogeneous
(grid size dependent) slope limiter. More relevant to our work is the recent literature
on well-balanced schemes for conservation laws with (singular) source terms, cf. for
example Bouchuts book [2]. The larger part of [2] is devoted to first-order schemes,
while second-order schemes are more in their infancy with current results centering
around stability, existence of invariant regions, and convergence (compactness) to
123
583
123
584
R. Brger et al.
(0 < < R ), the clarification zone (L < < 0), the underflow zone ( > R ) and the
overflow zone ( < L ). The vessel is continuously fed at depth = 0, the feed level,
with suspension at a volume feed rate Q F (t) 0. The concentration of the feed
suspension is u F (t). The prescribed volume underflow rate, at which the thickened
sediment is removed from the unit, is Q R (t) 0. Consequently, the overflow rate is
Q L (t) = Q F (t) Q R (t), where we assume that the two control functions Q F (t) and
Q R (t) are chosen such that Q L (t) 0.
2.2 Derivation of the mathematical model
The spatially one-dimensional balance equation for u = u(, t) in a vessel with varying cross-sectional area S( ) is given by
S( )u t + (Q(t)u + S( )u(1 u)vr ) = 0,
(2.1)
where Q(t) is the controllable volume average flow rate and vr is the solidfluid relative velocity; see [8] for details. Within the kinematic sedimentation theory [18] for
ideal suspensions, vr is assumed to be a function of u only, vr = vr (u). In terms of the
batch flux density function b(u) we get
vr (u) =
b(u)
.
u(1 u)
(2.2)
v u(1 u)C
0
(2.3)
where C 1 and v > 0 is the settling velocity of a single particle in pure fluid.
123
585
(2.4)
where > 0 denotes the solidfluid density difference, g the acceleration of gravity, and e (u) is the effective solid stress function, which is now the second materialspecific constitutive function (besides b). This function is assumed to satisfy e (u) 0
for all u and
(u)
d
=0 for u u c ,
e
e (u) :=
du
>0 for u > u c .
Clearly, the first-order model based on (2.2) is included as the sub-case of (2.4) produced by setting u c = u max .
Inserting (2.4) into (2.1) and defining
b(u)e (u)
,
a(u) :=
gu
u
A(u) :=
a(s) ds,
(2.5)
(2.6)
Since a(u) = 0 for u u c and u = u max and a(u) > 0 otherwise, (2.6) is firstorder hyperbolic for u u c and second-order parabolic for u > u c , and therefore
(2.6) is called strongly degenerate parabolic. The location of the type-change interface
u = u c (denoting the sediment level) is in general unknown beforehand. In accordance
with (2.5), we will assume that A Lip([0, u max ]), A (u) = 0 for u < u c , and that
A (u) > 0 for u (u c , u max ).
In the present model, the volume bulk flows are Q(, t) = Q R (t) for > 0 and
Q(, t) = Q L (t) for < 0. This suggests employing (2.6) with Q(t) = Q R (t) for
0 < < R and Q(t) = Q L (t) for L < < 0, however, we herein choose the control functions u F (t), Q L (t) and Q R (t) to be time-independent constants. Furthermore,
we assume that in the overflow and underflow zones the solidfluid relative velocity
vanishes, vr = 0. Moreover, the cross-sectional area S( ) needs to be positive outside
the interval [L , R ]. We assume that S( ) = S0 for < L and > R , where S0 > 0
is a small but positive pipe diameter. We now obtain that
S( )uvs | [L ,R ] = S0 uvs =
QLu
QRu
for < L ,
for > R ,
where vs is the solids phase velocity. The feed mechanism is introduced by adding the
singular source term Q F u F ( ) to the right-hand part of the solids continuity equation.
123
586
R. Brger et al.
u) = 1 ( )A(u) + Q F u F ( ), R, t > 0,
S( )u t + G(,
QLu
for < L ,
Q u + S( )b(u)
for L < < 0,
L
G(,
u) = S( )uvs =
for > R ,
QRu
S( )
if L R ,
1 ( ) :=
0
otherwise.
Finally, we may express the singular source term in terms of the derivative of the
(2.8)
for < 0,
for > 0.
QL
QR
Our numerical algorithms and their analysis are greatly simplified if we do not have
the term S( ) multiplying u t . With the change of variables
x=
(2.9)
we can rewrite the initial value problem for (2.8) as (1.4), where we define
f ( (x), u) := 1 (x)b(u) + 2 (x)(u u F ),
S((x)) for x (xL , xR ),
1 (x) :=
,
0
for x
/ (xL , xR ),
2 (x) :=
123
587
We assume that the function x S((x)) is piecewise smooth with a finite number
of discontinuities, and for the initial data in (1.2) we assume that u 0 satisfies
u 0 BV (R); u 0 (x) [0, u max ] for a.e. x R.
By a solution to the hyperbolic problem (1.2), we understand the following.
Definition 2.1 (BVt weak solution) A measurable function u : T R is a BVt
weak solution of the initial value problem (1.4) if it satisfies the following conditions:
(D.1) u (L BVt ) (T ).
(D.2) For all test functions D(R [0, T )),
(ut + f ( (x), u) x ) d x dt + u 0 (x, 0) d x = 0.
T
The notation BVt refers to the space of locally integrable functions on T for which
u t (but not u x ) is a locally bounded measure, which is a superset of BV .
3 The difference schemes
3.1 Algorithm preliminaries
We start with a positive spatial mesh size x > 0, set x j := jx, and discretize the
parameter vector and the initial data by j+1/2 := (x j+1/2 +) and U 0j := u 0 (x j +)
for j Z. Here x j+1/2 := x j + x/2, i.e., the midpoint in the interval [x j , x j+1 ). Let
tn := nt and let n denote the characteristic function of [tn , tn+1 ), j the characteristic function of [x j1/2 , x j+1/2 ), and j+1/2 the characteristic function of the interval
[x j , x j+1 ). Our difference algorithm will produce an approximation U nj associated
with the point (x j , tn ). We then define
u (x, t) :=
n0 jZ
(3.1)
jZ
t
,
x
j Z, n = 0, 1, 2, . . . . (3.2)
v
| f u ( , w)| dw,
(3.3)
123
588
R. Brger et al.
n
and F j+1/2
is a correction term that is required in order to achieve second-order
accuracy. Without those terms, (3.2) is the first-order scheme that we have analyzed
in previous papers. The simplicity of the scheme derives in large part from the fact
that the discretization of is staggered with respect to that of the conserved quantity
u, making it possible to avoid solving 2 2 Riemann problems that would result
otherwise.
Finally, we will assume that remains constant as we refine the mesh, so that
t = x.
n
n
e j+1/2 = j+1/2 1 + j+1/2 + U j .
2
Here the quantities
j+1/2 are the positive and negative wave speeds associated with
the cell boundary located at x j+1/2 :
U nj+1
+
j+1/2
1
:=
+ U nj
=
max 0, f u ( j+1/2 , w) dw
U nj
0,
(3.5)
U nj+1
j+1/2 :=
1
+ U nj
min 0, f u ( j+1/2 , w) dw
U nj
h nj+1/2 f ( j+1/2 , U nj )
+ U nj
0.
The scheme discussed thus far defined by (3.2), (3.3), and with the flux correction
n
= 0 for all j and n, is only first-order accurate. We
terms not in effect, i.e., F j+1/2
123
589
now set out to find second-order correction terms that are required when x (x) is
piecewise C 2 , and start by identifying the truncation error of the first-order scheme.
For the moment, we restrict our attention to the case f u ( , u) 0, so the first-order
version of the scheme (3.2) simplifies to
(3.6)
U nj + f j+1/2 , U nj = 0.
U n+1
j
Inserting a smooth solution u(x, t) into (3.6) and using u nj to denote u(x j , t n ), we get
the following expression for the truncation error at the point (x j , t n ):
T E + := u n+1
u nj + f j+1/2 , u nj
j
1
= t (u t )nj + t 2 (u tt )nj + f j+1/2 , u nj + O(3 ).
2
(3.7)
Here we are using the abbreviation O( ) = O(t ), which is also equal to O(x ),
since t = x. From the differential equation (1.2) we have
u t = f ( , u)x
and
u tt = ( f ( , u)x )t = ( f ( , u)t )x = f ( , u) t ( f u ( , u)u t )x .
Taking into account that t = 0 and replacing u t by f ( , u)x , we obtain
u tt = ( f u ( , u) f ( , u)x )x .
If we substitute these relationships into (3.7), then the truncation error becomes
1
T E + = t ( f ( , u)x )nj + t 2 (( f u ( , u) f ( , u)x )x )nj
2
+ f j+1/2 , u nj + O(3 ).
(3.8)
123
590
R. Brger et al.
n
x
x 2
x 2
( f x )nj +
( f x )x j + x( f u u x )nj
(( f u u x )x )nj
2
8
2
n
x
x 2
( f x )nj
( f x )x j + O(3 )
+
2
8
x 2
= x( f x + f u u x )nj
(( f u u x )x )nj + O(3 ).
2
Inserting this expression into (3.8) and suppressing the dependence on the point (x j , t n )
gives
1
1
1
f u f u u x + f u f x f u u x + O(3 )
2
2
2
x
1
1
= x 2
f u (1 f u )u x f u f x + O(3 ).
2
2
x
T E + = x 2
(3.9)
U
+
f
,
U
+
j1/2
j
j = 0,
j
and we arrive at the following formula for the truncation error:
TE
1
1
f u (1 + f u )u x + f u f x
= x
2
2
+ O(3 ).
(3.10)
So, when is piecewise smooth (not piecewise constant), we see from (3.9) and
(3.10) that appropriate second-order correction terms are given by the following modified versions of (3.4):
n
F j+1/2
:= D nj+1/2 E nj+1/2 ,
1
+
+
n 1
n
D nj+1/2 := +
f
,
U
+
j+1/2
j
j+1/2 + j
j+1/2
2 j+1/2
2 j+1/2
1
= d nj+1/2 +
f j+1/2 , U nj+1/2 + j ,
(3.11)
2 j+1/2
1
n 1
n
E nj+1/2 :=
j+1/2 1 + j+1/2 + U j + j+1/2 f j+1/2 , U j+1/2 + j
2
2
1
For the values f ( j+1/2 , U nj+1/2 ) appearing in (3.11), we use the approximation
f ( j+1/2 , U nj+1/2 )
123
1
f ( j+1/2 , U nj ) + f ( j+1/2 , U nj+1 ) .
2
(3.12)
591
Even without the jumps in , the solution will generally develop discontinuities. If
we use the correction terms above without further processing, the solution will develop
spurious oscillations near these discontinuities. To damp out the oscillations, we apply
so-called flux limiters, resulting in the flux-limited quantities F j+1/2 .
3.3 A simple minmod TVD (STVD) scheme
In the constant- case, the actual solution of the conservation law will be TVD, meaning that its total spatial variation decreases (or at least does not increase) in time. There
are any number of ways to apply flux limiters in this situation so that the approximations U nj are also TVD. A simple limiter that enforces the TVD property when is
constant is the following:
n
F j+1/2
= D nj+1/2 E nj+1/2 ,
D nj+1/2 = minmod D nj+1/2 , 2D nj1/2 ,
E nj+1/2 = minmod E nj+1/2 , 2E nj+3/2 ,
(3.13)
min{ p1 , . . . , pm }
minmod( p1 , . . . , pm ) = max{ p1 , . . . , pm }
if p1 0, . . . , pm 0,
if p1 0, . . . , pm 0,
otherwise.
When is not constant, the actual solution u is not TVD (see Examples 1 and 2 of
Sect. 6), and thus our algorithm should not attempt to impose a TVD requirement on
the conserved quantity U nj . On the other hand, the TVD limiter (3.13) only forces U nj
to be TVD when is constant, and our numerical experiments indicate that it is an
effective method of damping oscillations even in the variable- context considered
here. Moreover, it is consistent with formal second accuracy away from extrema of
u. Although we are unable to put the resulting simple TVD (STVD) scheme on a
firm theoretical footing, our numerical numerical experiments indicate that it is very
robust. The only negative practical aspect that we have observed is a small amount of
overshoot in certain cases when a shock collides with a stationary discontinuity at a
jump in , see Fig. 2.
3.4 A flux-TVD (FTVD) scheme
We wish to eliminate the non-physical overshoot observed with the simple TVD
limiter (3.13), and also put the resulting difference scheme on a firm theoretical basis.
In the constant- setting, the TVD concept originated by requiring that the numerical
approximations satisfy a property (TVD) that is also satisfied by the actual solution.
In the variable- setting, the actual solution is not TVD, so we should enforce some
123
592
R. Brger et al.
0.9
0.8
Overshoot
0.7
0.6
0.5
0.4
0.3
0.2
0.1
0
2
1.5
0.5
0.5
1.5
Fig. 2 Second-order schemes, with STVD and FTVD limiters. Shows overshoot produced by the STVD
scheme, but not by the FTVD scheme. This is the same problem as shown in Fig. 5 of [7]. Here x = 1/25,
t = 1/400, and we show the solution after n = 1,020 time steps
other regularity property. For a conservation law having a flux with a discontinuous
spatial dependency, it is natural to expect not the conserved variable, but the flux, to
be TVD; see [25]. Consequently, we require that the first-order numerical flux also be
TVD, i.e.,
+ h n+1
+ h nj1/2 , n = 0, 1, . . . .
j1/2
jZ
jZ
We call this property flux-TVD, or FTVD. We will see (Lemmas 5.1 and 5.3) that
under an appropriate CFL condition, the FTVD property (along with a bound on the
solution) holds if
n
+ F j+1/2
+ h nj+1/2 ,
j Z, n = 0, 1, 2, . . . .
(3.14)
Wherever the solution is smooth, the quantity on the left-hand side of (3.14) is
O(2 ), while the quantity on the right-hand side is O(), making it seem plausible
n
all the way to zero, which
that we can satisfy these inequalities without sending F j+1/2
would just give us the first-order scheme. It is reasonable to also impose the condition
n
n
/F j+1/2
1,
0 F j+1/2
j Z, n = 0, 1, 2, . . . .
(3.15)
in addition to (3.14), so that after we have applied the correction terms, the numerical
flux lies somewhere between the first-order flux and the pre-limiter version of the
second-order flux, i.e.,
123
593
1
0.9
0.8
0.7
0.6
0.5
0.4
0.3
0.2
0.1
0
2
1.5
0.5
0.5
1.5
Fig. 3 Same setup as Fig. 2. Comparison of the nonlocal flux-TVD limiter (FTVD) and the simple TVD
limiter (3.13) (STVD). Here x = 1/50, t = 1/800. The solutions is shown after n = 800 time steps
n
n
,
h nj+1/2 + F j+1/2
min h nj+1/2 , h nj+1/2 + F j+1/2
n
max h nj+1/2 , h nj+1/2 + F j+1/2
,
j Z, n = 0, 1, 2, . . . .
123
594
R. Brger et al.
vanishes as the mesh size tends to zero, but it is distracting. This dogleg artifact is
present in certain situations with both the STVD and the FTVD versions of our second
order schemes. We have found that one way to improve the situation is to replace the
corrections (3.4) by
1 +
n
j+1/2 p j+1/2 +
j+1/2 + U j ,
2
1
n
=
j+1/2 q j+1/2 + j+1/2 + U j ,
2
d nj+1/2 =
enj+1/2
where we define
p j+1/2 :=
+
j+1/2
+
j+1/2 j+1/2
, q j+1/2 :=
j+1/2
+
j+1/2 j+1/2
= 1 p j+1/2 .
This only changes the scheme near sonic points. The result is that the dogleg feature
diminishes noticeably. We have implemented this refinement in all of our numerical
examples in Sect. 6.
4 The nonlocal limiter algorithm
In this section we describe our method for solving the system of inequalities (3.14),
n
n
/F j+1/2
(3.15), keeping in mind that we are also trying to maximize the ratio F j+1/2
to maintain formal second-order accuracy wherever possible.
4.1 Description of the nonlocal limiter algorithm
We can simplify the notation somewhat, and also discuss the nonlocal limiter algorithm
more generically, by setting
n
n
n
, i := + h i+1/2
,
z i := Fi+1/2
, z i := Fi+1/2
and then restating the system of inequalities (3.14), (3.15) in the form
|z i+1 z i | i ,
(4.1)
0 z i /z i 1.
(4.2)
The unknowns are z i , and the data are z i , i 0. The z i are assumed to vanish for
sufficiently large values of the index i. Specifically, there are indices i , i such that
i i z i = 0, i i z i = 0.
That this assumption is valid for our scheme is evident from the assumption that u 0
has compact support. Even when the parabolic terms are present, the initial data has
123
595
a finite range of influence (for both the exact and numerical solutions). Thus we may
n
vanish for sufficiently large j.
always assume that U nj and F j+1/2
Algorithm 1 (Nonlocal limiter algorithm)
Input: data z i 0, i 0, i = i , . . . , i .
Output: a vector Z = {z i , . . . , z i } such that (4.1) and (4.2) are satisfied, where z i in
(4.2) denotes the data before application of the algorithm.
Initialization: The sequence i 0, i 0, i = i , . . . , i is initialized to the input
data z i 0, i 0, i = i , . . . , i . Note that the i values will be overwritten at each
stage of the algorithm, i.e., the meaning of the symbol i is changing from one step to
the next. We employ this somewhat imprecise convention in order to keep the notation
as simple as possible.
(1) Preprocessor step:
do i = i , i + 1, . . . , i 1
if i+1 i < 0 and |i+1 i | > i then
i sgn(i ) min{|i |, i /2}
i+1 sgn(i+1 ) min{|i+1 |, i /2}
endif
enddo
(2) Forward sweep:
do i = i , i + 1, . . . , i 1
if |i+1 | > |i | then
i+1 i + sgn(i+1 i ) min{|i+1 i |, i }
endif
enddo
(3) Backward sweep:
do i = i , i 1, . . . , i + 1
if |i1 | > |i | then
i1 i + sgn(i1 i ) min{|i1 i |, i1 }
endif
enddo
Generate output:
do i = i , i + 1, . . . , i
z i i
enddo
Here the left arrow is the replacement operator. Algorithm 1 can be written
compactly as
Z = (Z , ) = + ( Z , ), ,
Z = Pre(Z , ),
where + and represent the forward and backward sweeps, Pre represents the
preprocessor step, and
Z = {z i },
Z = {z i },
Z = {z i }, = {i }.
123
596
R. Brger et al.
The operation of Algorithm 1 is best understood by first considering the case where
all of the i are nonnegative. In this case, the preprocessor step leaves the data i
unchanged. The forward sweep visits each point i in the order of increasing i. If
i1 i , nothing happens to i on the forward sweep. If i1 < i , the constraint
|i i1 | i1 is checked. Nothing happens to i if the constraint is satisfied,
but if it is violated, then i is moved toward i1 (decreased) by exactly the amount
sufficient to satisfy the constraint. The points i and i are clamped at zero, so
they never change. On the backward sweep, each point i is visited, this time in the
order of decreasing i. Nothing happens to i if i i+1 . Otherwise the constraint
|i i+1 | i is checked, and if there is a violation, then i is decreased just enough
to satisfy the constraint. The algorithm behaves in an analogous way when all of the i
are nonpositive. At any contiguous pair of data (i , i+1 ) where the i and i+1 have
opposite signs, the effect of preprocessor step is to satisfy the inequalities without
changing the sign of either i or i+1 . Afterwards, neither the forward sweep nor the
backward sweep will cause a constraint violation at that particular pair (i , i+1 ). Thus
the algorithm operates more or less independently on intervals where the i do not
change sign.
Remark 4.1 The preprocessor part of Algorithm 1 is not the only reasonable way to
deal with sign changes in the data {i }. The preprocessor above is simple and and
is consistent with second-order accuracy wherever f x = 0. In some situations, it is
sufficient (and simpler) to set both i and i+1 to zero at a sign change. At least in the
case where is piecewise constant, this simpler strategy does not add an additional
class of points where formal second-order accuracy is lost.
Further variants of Algorithm 1 could arise from a thorough analysis of the problem in terms of the computation of the projection on a convex set in finite dimensions,
since for fixed values z i , the constraints (4.1), (4.2) define a set of solutions z i which
is closed and convex.
4.2 Properties of the nonlocal limiter
Lemma 4.1 The output of Algorithm 1 solves the system of inequalities (4.1), (4.2).
Proof We use the notation Z , Z , Z for the outputs of the three portions of the algorithm. It is easy to check by induction on i (increasing i for the preprocessor and the
forward sweep, decreasing i for the backward sweep) that
0 z i /z i 1, 0 z i /z i 1, 0 z i /z i 1.
Combining these three inequalities, we have inequality (4.1), i.e.,
0 z i /z i 1.
(4.3)
Next, we claim that as a result of the preprocessor step Pre, wherever there is a sign
change in Z , the constraint (4.2) is satisfied, i.e., |z i+1 z i | i . Indeed consider
the operation of Pre on a pair (i , i+1 ) where i i+1 < 0. It is clear that after Pre
123
597
operates on this pair, (4.2) is satisfied (for this pair). Since Pre moves from left to
right, it may or may not also operate on the pair (i+1 , i+2 ). If it does not, then the
constraint (4.2) obviously remains satisfied for the pair (i , i+1 ). If it does operate on
the pair (i+1 , i+2 ), then |i+1 | decreases (or at least does not increase), thus moving
i+1 closer to i (since they have opposite signs), making it clear that the constraint
remains satisfied for the pair (i , i+1 ). Thus our claim is proved by induction.
We have seen that at any pair (z i , z i+1 ) where there is a sign change, (4.2) is satisfied. We claim that (4.2) remains satisfied at this pair after both the forward and
backward sweeps. To see this, it suffices to observe that neither sweep increases the
absolute value of z i or z i+1 , and thus |z i z i+1 | does not increase after either sweep.
From our observations about the effect of the preprocessor, along with the definitions of the forward and backward sweeps, it is clear that
|z i+1 | |z i | |z i+1 z i | i ,
|z i1 | |z i | |z i1 z i | i1 .
(4.4)
(4.5)
Now, suppose that |z i+1 | |z i |. It follows from the definition of the backward sweep
that z i = z i . Then since |z i+1 | |z i+1 |,
|z i+1 | |z i |.
By (4.4), |z i+1 z i | i . and since z i+1 lies between z i and z i+1 ,
|z i+1 z i | i .
(4.6)
The proof that z i solves the inequalities is completed by combining (4.3), (4.5), and
(4.6).
Next, we demonstrate that the limiter is consistent with formal second-order
accuracy. This consistency property does not rely on the fact that the function u is a
solution of a PDE, and so we suppress the dependence on t. For a fixed mesh size
= x, and a smooth function u(x), we define u j := u(x j ), j+1/2 := (x j+1/2 ),
and
h j+1/2 := h( j+1/2 , u j+1 , u j ), h := h j+1/2
,
jZ
+ h := + h j+1/2
,
F
:=
F
,
F
=
F
.
j+1/2
j+1/2
j+1/2
jZ
jZ
Here the flux h j+1/2 and the flux corrections F j+1/2 are defined by (3.3), (3.4), (3.5),
(3.11), and (3.12). Finally, for R we define Br ( ) := {x : |x | < r }.
Lemma 4.2 Let x u(x) and x (x) be C 2 in a neighborhood of the point x
where
f ( (x),
u(x))
x = 0.
(4.7)
123
598
R. Brger et al.
Assume that u(x) = u for x sufficiently large, so that the limiter is well-defined
= F j+1/2 . Let
on the flux corrections F j+1/2
F = F , + h .
Then there is a mesh size 0 (x)
> 0 and a (x)
> 0 such that for 0 , we have
= F j+1/2
for all x j B (x).
F j+1/2
Remark 4.2 It is immediate from this lemma that with the scheme defined by (3.1),
n
produced by
(3.2), (3.3), (3.4), (3.5), (3.11), (3.12), and the flux corrections F j+1/2
n
applying Algorithm 1 to the non-limited flux corrections F j+1/2 , we will have formal
second order accuracy at any point where the solution u and the coefficient are
smooth, and where (4.7) is satisfied.
Remark 4.3 It is well known that any TVD method for a standard conservation law of
the type u t + f (u)x = 0 degenerates to first-order accuracy at extrema (with respect
to x) of the numerical solution [21]. Our condition (4.7) is analogous to this result,
since it excludes points ( (x),
u(x))
with a similar property from the second-order
accuracy result stated in Lemma 4.2.
Proof of Lemma 4.2 Choose > 0 and > 0 so that u, C 2 (B3 (x))
and for
x B3 (x)
f ( (x), u(x))x > 2.
(4.8)
Due to our regularity assumptions concerning the flux f ( , u), and the easily
verified fact that both partial derivatives h u ( , v, u) and h v ( , v, u) are Lipschitz
continuous with respect to all of u, v, , it is a straightforward exercise to show that
for x B3 (x)
+ h j+1/2 = f (x j ), u(x j ) x x + O(2 ).
(4.9)
Next, we claim that it is possible to choose 0 > 0 such that the following condi
tions hold for < 0 and x j B2 (x):
+ h j+1/2 ,
+ F j+1/2
F j+1/2 < /2,
h j+1/2 > .
(4.10)
(4.11)
(4.12)
To verify (4.10), note that because of (4.9) and (4.8), the right side of (4.10) is O().
At the same time, the left side is O(2 ). For (4.11), the left side is O(), while
the right side is fixed (with respect to ). Finally, by combining the assumption
123
599
| f ( (x), u(x))x | > 2 and (4.9), it is clear that we will have (4.12) for sufficiently
small > 0.
Let x := x and x + := x + . The immediate objective is to prove that for
0 ,
F j+1/2
= F j+1/2
, x j (x , x + 2),
(4.13)
where F j+1/2
is the output of the forward sweep of the limiter .
By way of contradiction, suppose that (4.13) fails, and choose x J (x , x + 2)
and 1 0 such that
1
1
F J+1/2
= FJ+1/2
.
Because of assumption (4.10), it must be that the preprocessor has not modified any
of the flux corrections F j+1/2
with x j [x , x J ), and that the forward pass has
modified all of them. For the forward pass to have modified them all, it must be that
F j+1/2
0 for x j [x , x J ). Without loss of generality, assume that
F j1/2
F j+1/2 0 in the area of interest. Since the forward pass modified all of the F j+1/2
for x j [x , x J ), we have
1
= + h j+1/2 for x x j < x J .
+ F j+1/2
(4.14)
Since all of the flux corrections in the area of interest have been modified by the
forward pass of the limiter,
1
1
F j1/2
F j+1/2
(4.15)
P1
+ h J +1/2 p1 P1 .
p=0
0 . Replacing 0 by
0 completes the proof.
for
123
600
R. Brger et al.
+
F
U n+1
j
j+1/2
j+1/2 .
j
(5.1)
n
We assume the nonlocal limiter has been applied to the flux corrections F j+1/2
, i.e.,
we are focusing on the FTVD algorithm. In [7] we analyzed the first-order version of
this scheme,
= U nj h nj+1/2 ,
U n+1
j
(5.2)
n
= 0 for all j
that results by setting the second-order corrections to zero (i.e., F j+1/2
and n), and where we assumed that is piecewise constant, while in [6] we dealt with
the more general case of piecewise smooth coefficient function . Wherever possible
in the analysis that follows, we will rely on results from [6] and [7]. In this section we
will assume that the following CFL condition is satisfied:
1
max{qL , qR } + 1 b ,
4
(5.3)
where we define
1 b := max |1 (x)b (u)| : x [xL , xR ], u [0, u max ] .
In [7], we imposed essentially the same CFL condition, but with 1/2 on the right-hand
side. The halving of the allowable time step implied by this new CFL condition (5.3)
is required to prove Lemma 5.1 guaranteeing that the computed solutions remain in
the interval [0, 1]. This halving of the time step to achieve a bound on the solution is
also common when designing second-order TVD schemes for the case of constant .
In practice one finds that it is often not necessary to impose the reduced time step.
Our theorem concerning convergence is the following.
Theorem 5.1 (Convergence of the FTVD scheme) Let u be defined by (3.1), (3.2),
n
are produced
(3.3), (3.4), (3.5), (3.11), (3.12). Assume that the flux corrections F j+1/2
n
by applying Algorithm 1 to the non-limited flux corrections F j+1/2 . Let 0 with
constant and the CFL condition (5.3) satisfied. Then u converges along a subsequence in L 1loc (T ) and boundedly a.e. in T to a BVt weak solution of the CT model
(1.2).
The proof of Theorem 5.1 amounts to checking that Lemmas 1 through 7, along
with the relevant portion of Theorem 1, of [6] remain valid in the present context. We
start with two lemmas that replace Lemma 1 of [6].
Lemma 5.1 Under the CFL condition (5.3) we get a uniform bound on U nj , specifically U nj [0, 1].
123
601
Proof Let V jn denote the result of applying the first-order version of the scheme to
U n , with the time step doubled, i.e.,
V jn+1 = U nj 2 h nj+1/2 .
(5.4)
The proof of Lemma 1 of [6], or that of Lemma 3.1 of [7], gives us 0 V jn 1, assuming that we impose the more restrictive CFL condition (5.3) to account for doubling
be the result of applying our second-order scheme
the time step. Now let U n+1
j
n
n
n
h
(5.5)
=
U
+
F
U n+1
j
j+1/2
j+1/2 .
j
Comparing (5.4) and (5.5), we find after some algebra that the following relationship
holds:
n
U n+1
U nj
+ F j1/2
1
j
=
.
1+
2
+ h nj1/2
V jn+1 U nj
n
by the FTVD limiter we
Because of the conditions (3.14), (3.15) enforced on F j1/2
find that
U nj
U n+1
j
V jn+1 U nj
1,
and from this relationship (along with V jn [0, 1]) it follows that 0 U nj 1.
In Sect. 3, we stated that the flux limiter (3.13) was designed to enforce a TVD
condition on the first-order numerical flux h nj+1/2 . The following lemma shows that
our limiter performs as advertised.
Lemma 5.2 The flux-TVD property is satisfied, i.e.,
n
n+1
n
h
h n+1
h
j+1/2
j1/2 , n = 0, 1, 2, . . . .
j+1/2
j1/2
jZ
jZ
1
:=
n
d 0,
h v j+1/2 , U nj+1 + U n+1
U
j+1
j+1
0
n+1/2
1
:=
d 0.
h u j+1/2 , U nj + U n+1
U nj
j
(5.6)
123
602
R. Brger et al.
n
Now using the definition (3.2) of the scheme to substitute for U n+1
j+1 U j+1 and
n+1
n
U j U j , we get (after some algebra)
n
n
n
n
n
h n+1
j+1/2 = h j+1/2 + P j+1/2 + h j+1/2 Q j1/2 h j+1/2 ,
where
n
P j+1/2
n+1/2
j+1
1+
n
+ F j+1/2
,
+ h nj+1/2
Q nj1/2
n+1/2
j
1+
n
+ F j1/2
+ h nj1/2
.
Q nj1/2 0,
n
P j1/2
+ Q nj1/2 1.
(5.7)
1+
n
+ F j1/2
+ h nj1/2
n+1/2
+ j
1+
n
+ F j1/2
+ h nj1/2
1.
(5.8)
0 j
n+1/2
+ j
1
n
f u j1/2 , U nj + (U n+1
U
)
d
j
j
0
1
1
+ f u j+1/2 , U nj + (U n+1
U nj ) d .
j
2
(5.9)
n
+ F j+1/2
+ h nj+1/2
2.
(5.10)
Combining (5.8), (5.9) and (5.10), we see that both conditions in (5.7) are satisfied.
For our first-order scheme (5.2), we derived a discrete time continuity estimate
(Lemma 1 of [6]) using the fact that the scheme was both conservative and monotone. In the process of making the scheme second-order accurate, we have sacrificed
the monotonicity property, and so the proof of time continuity requires a different
approach. The flux-TVD property is the ingredient that allows us to maintain time
continuity in the absence of monotonicity.
123
603
jZ
Proof Starting from the marching formula (5.1), we take absolute values, apply the
triangle inequality, and then sum over j. This yields
n
n
n
+
F
(5.11)
U
h
U n+1
j
j+1/2
j+1/2 .
j
jZ
jZ
jZ
h nj+1/2
h 0j+1/2 .
jZ
jZ
F j+1/2
h 0j+1/2 .
jZ
jZ
and thus
n
U
U n+1
j = O(1).
j
jZ
| f u ( , w)| dw,
0
and let
z (x, t) := (x), u (x, t) .
As in [6], to prove that the difference scheme converges, we establish compactness for
the transformed quantity z , the critical ingredient being a bound on its total variation.
123
604
R. Brger et al.
v
sgn(w c) | f u ( , w)| dw.
u
q
U
q n+1
H
,
U
,
U
j+1/2
j
j+1
j ,
j
since H can be written in the form
H ( , v, u) = h( , v c, u c) h( , v c, u c).
123
(5.12)
605
q
U
U
q n+1
j
j
j
j
= h( j+1/2 , U nj+1 , U nj )
n
u h( j+1/2 , U nj+1 , U nj ) + F j+1/2
(2 f + L u )| j+1/2 j1/2 | + h nj+1/2
= O( j ) + h nj+1/2 ,
where L u denotes the Lipschitz constant of f u with respect to . Here we have used
the proof of Lemma 5.2, which ensures that inequality (3.14) holds.
Remark 5.1 In [7] we used an entropy inequality similar to (5.12) to prove that the first
order version of our scheme converges to a unique entropy solution of the conservation law. Although our numerical experiments indicate that our second order schemes
STVD and FTVD also converge to the unique entropy solution, the entropy inequality
(5.12) is not quite in a form that allows us to repeat the uniqueness argument in [7].
We leave this is an open problem.
It is now possible to repeat the proofs of Lemmas 3 through 7 of [6], the only change
being the contribution of the term | h nj+1/2 | appearing in (5.12). In order for the
proofs of those lemmas to remain valid, we must have
h nj+1/2 = O(1),
jZ
independently of n and . But this follows directly from our flux-TVD property, which
we established in Lemma 5.2, along with the relationship
h 0j+1/2 = O(1),
jZ
123
606
R. Brger et al.
6 Numerical results
6.1 Examples 1 and 2: ideal suspension in a cylindrical unit
Consider a suspension characterized by the function b(u) given by (2.3) with v =
1.0 104 m/s, C = 5 and u max = 1 (as in [8]). In this example, we assume that the
effect of sediment compressibility is absent (A 0). In Examples 1 and 2, we consider
a cylindrical CT with xL = 1 m and xR = 1 m with (nominal) interior cross-sectional
area S = 1 m. This vessel is assumed to initially contain no solids (u 0 0), is operated with a feed suspension of concentration u F = 0.3 in Example 1 and u F = 0.5 in
Example 2, and the relevant flow velocities are qL = Q L /S = 1.0 105 m/s and
qR = Q R /S = 2.5 106 m/s. Note that in Examples 1 and 2 it is not necessary to
distinguish between the and x variables. Also note that in these two examples, the
solution is clearly not TVD, since the total variation of the initial data u 0 is zero.
Figures 4 and 5 show the numerical solution of the continuous fill-up of the CT
calculated by the first-order scheme described in [8] (BKT), the scheme described
herein that uses the simple TVD (STVD) limiter (in short, STVD scheme), and the
FTVD scheme outlined in Sects. 3.4 and 3.5. All calculations were performed with
= 2,000 s/m, and errors were compared against a reference solution calculated
by the first-order scheme presented in [3] with J = 10,000, where J = 1/x (in
meters). Table 1 shows approximate L 1 errors (errors measured over the finite interval
[1.1, 1.1]).
Example 2 has been designed to illustrate the effect of the overshoot. Figure 6 shows
the numerical solution at t = 272,760 s for three different spatial discretization. The
time has been chosen such that the overshoot mentioned in Sect. 3.3 and shown in
Fig. 2 becomes visible. As the enlarged views, Figs. 6bd illustrate, this phenomenon
diminishes as x 0.
6.2 Example 3: ideal suspension in a unit with varying cross-sectional area
In Example 3 we consider a vessel whose non-constant cross-sectional area is given
by
0.04 m2
1 m2
0.75 m2
S( ) =
1 m2
( + )2
S1
for < R := 1 m,
for L < 0.5 m,
for 0.5 m < 0 m,
for 0 m < 0.5 m,
for 0.5 m R := 1 m,
for > R ,
5 2
( 3 1)2 2
m, := 3 3, S1 =
m .
:=
2
4
123
(a)
0.8
(b)
BKT
STVD: simple TVD limiter
FTVD: fluxTVD limiter
0.7
607
0.6
0.6
0.5
0.5
0.4
0.4
0.3
0.3
0.2
0.2
0.1
0.1
0
1
0.2
0.4
0.6
0.8
(d) 0.75
0.75
BKT
STVD: simple TVD limiter
FTVD: fluxTVD limiter
0.7
0.65
0.6
0.6
0.55
0.55
0.5
0.5
0.45
0.5
0.55
0.6
0.65
0.7
0.75
0.8
(f)
BKT
STVD: simple TVD limiter
FTVD: fluxTVD limiter
0.7
0.45
0.4
0.8
0.6
0.6
0.5
0.5
0.4
0.4
0.3
0.3
0.2
0.2
0.1
0.1
0.2
0.4
0.6
0.8
0.2
0.4
0.6
0.8
0.45
0.5
0.55
0.6
0.65
0.7
0.75
0.8
0.8
BKT
STVD: simple TVD limiter
FTVD: fluxTVD limiter
0.7
BKT
STVD: simple TVD limiter
FTVD: fluxTVD limiter
0.7
0.65
0.45
0.4
(e)
BKT
STVD: simple TVD limiter
FTVD: fluxTVD limiter
0.7
(c)
0.8
0.2
0.4
0.6
0.8
Fig. 4 Example 1: numerical solution at ad t = 150,000 s with a J = 20, b J = 40, c J = 200 (enlarged
view around x = 0.6), d J = 400 (enlarged view around x = 0.6), and at e, f t = 250,000 s with e J = 20
and f J = 40. The solid line is the reference solution
123
608
(a)
R. Brger et al.
0.8
(b)
BKT
STVD: simple TVD limiter
FTVD: fluxTVD limiter
0.7
BKT
STVD: simple TVD limiter
FTVD: fluxTVD limiter
0.7
0.6
0.6
0.5
0.5
0.4
0.4
0.3
0.3
0.2
0.2
0.1
0.1
0
1
(c)
0.8
0.2
0.4
0.6
0.8
0.6
(d) 0.6
BKT
STVD: simple TVD limiter
FTVD: fluxTVD limiter
0.5
0.4
0.3
0.3
0.2
0.2
0.1
0.1
0.2
0.4
0.6
0.8
BKT
STVD: simple TVD limiter
FTVD: fluxTVD limiter
0.5
0.4
0
0.8
0.75
0.7
0.65
0.6
0.55
0.5
0.45
0.8
0.75
0.7
0.65
0.6
0.55
0.5
0.45
Fig. 5 Example 1: numerical solution at t = 500,000 s with a J = 20, b J = 40, c J = 200 (enlarged
view around x = 0.61), d J = 400 (enlarged view around x = 0.61). The solid line is the reference
solution
123
609
t = 150,000 s
approx.
L 1 error
t = 250,000 s
conv.
rate
approx.
L 1 error
t = 500,000 s
conv.
rate
approx.
L 1 error
conv.
rate
5.43e-2
20
2.96e-2
0.875
5.77e-2
3.25e-2
0.830
5.20e-2
2.78e-2
0.903
40
1.67e-2
0.823
1.85e-2
0.810
1.55e-2
0.845
100
8.11e-3
0.790
8.84e-3
0.808
6.76e-3
0.905
200
4.42e-3
0.877
4.83e-3
0.870
3.61e-3
0.906
400
2.31e-3
0.932
2.51e-3
0.946
1.82e-3
0.984
STVD scheme
10
3.93e-2
20
1.85e-2
1.090
3.89e-2
1.86e-2
1.065
3.71e-2
1.87e-2
40
8.85e-3
1.060
9.12e-3
1.028
1.01e-2
0.884
100
3.97e-3
0.875
3.85e-3
0.943
4.46e-3
0.894
200
1.94e-3
1.033
2.23e-3
0.787
2.42e-3
0.883
400
1.03e-3
0.917
1.14e-3
0.964
1.24e-3
0.969
0.989
FTVD scheme
10
4.02e-2
20
1.96e-2
1.039
3.92e-2
2.04e-2
0.945
3.88e-2
1.93e-2
40
9.98e-3
0.970
1.09e-2
0.902
1.00e-2
0.945
100
4.37e-3
0.902
4.87e-3
0.878
4.58e-3
0.857
200
2.56e-3
0.774
2.98e-3
0.712
2.42e-3
0.918
400
1.58e-3
0.691
2.14e-3
0.474
1.21e-3
1.002
1.005
123
610
(a)
R. Brger et al.
0.8
(b)
BKT
STVD: simple TVD limiter
FTVD: fluxTVD limiter
0.7
0.5
0.45
BKT
STVD: simple TVD limiter
FTVD: fluxTVD limiter
0.6
0.4
0.5
Overshoot
0.35
0.4
0.3
0.3
0.2
0.25
0.1
0
(c)
0.2
0.4
0.6
0.8
0.5
(d)
BKT
STVD: simple TVD limiter
FTVD: fluxTVD limiter
0.45
0.2
1.1
0.45
0.4
0.35
0.35
0.3
0.3
0.25
0.25
1.08
1.06
1.04
1.02
1.06
1.04
1.02
1.04
1.02
0.5
0.4
0.2
1.1
1.08
0.2
1.1
BKT
STVD: simple TVD limiter
FTVD: fluxTVD limiter
1.08
1.06
Fig. 6 Example 2: numerical solution at t = 272,760 s a with J = 100 and bd enlarged views around
x = 1 for b J = 100, c J = 200 and d J = 400. The solid line is the reference solution
often not stated explicitly). Additional diffusive terms are added in discretized form,
while the numerical diffusivity coming from the discretization of convective term is
often not properly assessed. If convective terms are discretized by a second-order
scheme within such a model framework, the impact of numerical viscosity becomes
much reduced, and the magnitude of diffusion that has to be added can be estimated
more reliably.
123
(a) 0.6
611
(b)
BKT
STVD: simple TVD limiter
FTVD: fluxTVD limiter
0.5
0.5
0.4
0.4
0.3
0.3
0.2
0.2
0.1
0.1
0
1
(c)
0.2
0.4
0.6
0.8
0.5
0.5
0.45
0.45
0.35
0.2
0.4
0.6
0.8
0.4
0.35
0.3
0.3
0.25
0.25
0.2
0.4
0.5
0.6
0.7
0.8
0.9
0.2
0.4
(f) 0.7
BKT
STVD: simple TVD limiter
FTVD: fluxTVD limiter
0.7
0.6
0.6
0.5
0.5
0.4
0.4
0.3
0.3
0.2
0.2
0.1
0.1
BKT
STVD: simple TVD limiter
FTVD: fluxTVD limiter
0.55
0.4
(e)
(d)
BKT
STVD: simple TVD limiter
FTVD: fluxTVD limiter
0.55
BKT
STVD: simple TVD limiter
FTVD: fluxTVD limiter
0.6
0.5
0.6
0.7
0.8
0.9
BKT
STVD: simple TVD limiter
FTVD: fluxTVD limiter
0
1
0.2
0.4
0.6
0.8
0.2
0.4
0.6
0.8
Fig. 7 Example 3: numerical solution at ad t = 25,000 s with a J = 50, b J = 100, c, d enlarged views
around = 0.6 for c J = 50 and d J = 100; e, f numerical solution at t = 200,000 s with e J = 50,
f J = 100
Here P(t) represents a second-order scheme for the purely diffusive problem
u t = (1 (x)A(u)x )x
written as U n+1 = P(t)U n .
For the parabolic portion of the scheme, we can use the CrankNicolson scheme,
which has second-order accuracy in both space and time. Specifically, the operator
P(t) is defined by
123
612
(a)
R. Brger et al.
0.6
0.5
0.5
0.4
0.4
0.3
0.3
0.2
0.2
0.1
0.1
0.2
0.4
0.6
0.8
(d)
BKT
STVD: simple TVD limiter
FTVD: fluxTVD limiter
0.7
0.6
0.5
0.5
0.2
0.4
0.6
0.8
0.2
0.4
0.6
0.8
BKT
STVD: simple TVD limiter
FTVD: fluxTVD limiter
0.7
0.6
0.4
0.4
overshoot
0.3
0.3
0.2
0.2
0.1
0.1
BKT
STVD: simple TVD limiter
FTVD: fluxTVD limiter
0.7
0.6
(c)
(b)
BKT
STVD: simple TVD limiter
FTVD: fluxTVD limiter
0.7
(e) 0.46
0.44
0.2
0.4
0.6
0.8
(f)
BKT
STVD: simple TVD limiter
FTVD: fluxTVD limiter
0.44
0.42
0.4
0.4
0.38
0.38
0.36
0.36
0.95
0.9
0.85
0.46
0.42
0.34
1.05
0.34
1.05
BKT
STVD: simple TVD limiter
FTVD: fluxTVD limiter
0.95
0.9
0.85
Fig. 8 Example 3: numerical solution at t = 225,000 s with a J = 50, b J = 100, c, d the solutions
of a and b, respectively, referred to x instead of , e, f enlarged views around x = 1 for e J = 50 and
f J = 100
U n+1
=U nj +
j
t
+ s j1/2 Anj ++ s j1/2 An+1
, =
.
j
2
x 2
(7.1)
123
(a)
BKTOS
STVDOS
FTVDOS
BKTSI
BKTOS
STVDOS
FTVDOS
BKTSI
0.3
0.25
0.25
0.2
0.2
0.15
0.15
0.1
0.1
0.05
0.05
(c)
(b) 0.35
0.35
0.3
613
0
1
0.2
0.4
0.6
0.8
(d)
BKTOS
STVDOS
FTVDOS
BKTSI
0.3
0.3
0.25
0.25
0.2
0.2
0.15
0.15
0.2
0.4
0.6
0.75
0.8
0.85
0.8
BKTOS
STVDOS
FTVDOS
BKTSI
0.1
0.1
0.5
0.55
0.6
0.65
0.7
0.75
0.8
0.85
0.9
0.95
0.5
0.55
0.6
0.65
0.7
0.9
0.95
Fig. 9 Example 4: numerical solution at t = 25,000 s with a J = 50, b J = 100, c, d enlarged views
around = 0.7 for c J = 50 and d J = 100
operator is in effect, and thus we may not require such strong stability in order to keep
the numerical approximation well-behaved.
We briefly describe the implementation of the CrankNicolson scheme. To simplify
. We start by writing the single step of
the notation, we write U j = U nj , V j = U n+1
j
(7.1) in the form
1
1
V j = U j + + s j1/2 A(U j ) + + s j1/2 A(V j ) .
2
2
We can rewrite this nonlinear system of equations as
E j (V )V j1 + F j (V )V j + G j (V )V j+1 = R j , V := {V j } jZ ,
(7.2)
where
A(V j )
1 s
if V j = 0,
j1/2
E j (V ) :=
2
V j
0
otherwise,
+ A(V j )
21 s j+1/2
if + V j = 0,
+Vj
G j (V ) :=
F j (V ) = 1E j (V )G j (V ),
0
otherwise,
123
614
(a)
R. Brger et al.
0.5
(b)
BKTOS
STVDOS
FTVDOS
BKTSI
0.45
0.4
0.4
0.3
0.3
0.25
0.25
0.2
0.2
0.15
0.15
0.1
0.1
0.05
0.05
BKTOS
STVDOS
FTVDOS
BKTSI
0.35
0.35
(c)
0.5
0.45
0
1
0.2
0.4
0.6
0.8
0.5
(d)
BKTOS
STVDOS
FTVDOS
BKTSI
0.45
0.4
0.2
0.4
0.6
0.8
0.2
0.4
0.6
0.8
0.5
BKTOS
STVDOS
FTVDOS
BKTSI
0.45
0.4
0.35
0.35
0.3
0.3
0.25
0.25
0.2
0.2
0.15
0.15
0.1
0.1
0.05
0.05
0
1
0.2
0.4
0.6
0.8
123
(a) 0.35
0.25
0.2
0.2
0.15
0.15
0.1
0.1
0.05
0.05
0.5
0.2
0.4
0.6
0.8
0.4
(d)
BKTOS
STVDOS
FTVDOS
BKTSI
0.45
(e)
0.5
0.2
0.4
0.6
0.8
0.2
0.4
0.6
0.8
0.4
0.6
0.8
BKTOS
STVDOS
FTVDOS
BKTSI
0.4
0.35
0.3
0.3
0.25
0.25
0.2
0.2
0.15
0.15
0.1
0.1
0.05
0.05
1
0.2
0.4
0.6
0.8
0.5
(f)
0.45
0.5
0.45
0.4
0.4
0.35
0.35
0.3
0.3
0.25
0.25
0.2
0.2
0.15
0.15
0.1
0.1
BKTOS
STVDOS
FTVDOS
BKTSI
0.05
0
0.45
0.35
BKTOS
STVDOS
FTVDOS
BKTSI
0.3
0.25
(c)
(b) 0.35
BKTOS
STVDOS
FTVDOS
BKTSI
0.3
615
0.2
BKTOS
STVDOS
FTVDOS
BKTSI
0.05
0.4
0.6
0.8
0.2
0
0 (u/u c )k 1
for u u c ,
for u > u c ,
(7.3)
123
616
R. Brger et al.
References
1. Barton, N.G., Li, C.-H., Spencer, S.J.: Control of a surface of discontinuity in continuous thickeners.
J. Austral. Math. Soc. Ser. B 33, 269289 (1992)
2. Bouchut, F.: Stability of Finite Volume Methods for Hyperbolic Conservation Laws and Well-Balanced
Schemes for Sources. Frontiers in Mathematics. Birkhuser Verlag, Basel (2004)
3. Brger, R., Garca, A., Karlsen, K.H., Towers, J.D.: A family of numerical schemes for kinematic
flows with discontinuous flux. J. Eng. Math. 60, 387425 (2008)
4. Brger, R., Karlsen, K.H., Klingenberg, C., Risebro, N.H.: A front tracking approach to a model of
continuous sedimentation in ideal clarifierthickener units. Nonlin. Anal. Real World Appl. 4, 457
481 (2003)
5. Brger, R., Karlsen, K.H., Risebro, N.H.: A relaxation scheme for continuous sedimentation in ideal
clarifierthickener units. Comput. Math. Appl. 50, 9931009 (2005)
6. Brger, R., Karlsen, K.H., Risebro, N.H., Towers, J.D.: Monotone difference approximations for the
simulation of clarifierthickener units. Comput. Visual. Sci. 6, 8391 (2004)
7. Brger, R., Karlsen, K.H., Risebro, N.H., Towers, J.D.: Well-posedness in BVt and convergence of a
difference scheme for continuous sedimentation in ideal clarifierthickener units. Numer. Math. 97, 25
65 (2004)
8. Brger, R., Karlsen, K.H., Towers, J.D.: A mathematical model of continuous sedimentation of flocculated suspensions in clarifierthickener units. SIAM J. Appl. Math. 65, 882940 (2005)
9. Brger, R., Karlsen, K.H., Towers, J.D.: An Engquist-Osher type scheme for conservation laws with
discontinuous flux adapted to flux connections. SIAM J. Numer. Anal. 47, 16841712 (2009)
10. Chancelier, J.P., Cohen de Lara, M., Pacard, F.: Analysis of a conservation PDE with discontinuous
flux: a model of settler. SIAM J. Appl. Math. 54, 954995 (1994)
11. Diehl, S.: Dynamic and steady-state behaviour of continuous sedimentation. SIAM J. Appl. Math.
57, 9911018 (1997)
12. Diehl, S.: Operating charts for continuous sedimentation II: step responses. J. Eng. Math. 53, 139
185 (2005)
123
617
13. Diehl, S.: A uniqueness condition for nonlinear convection-diffusion equations with discontinuous
coefficients. J. Hyperbolic Differ. Equ. 6, 127159 (2009)
14. Engquist, B., Osher, S.: One-sided difference approximations for nonlinear conservation laws. Math.
Comp. 36, 321351 (1981)
15. Godlewski, E., Raviart, P.: Numerical Approximation of Hyperbolic Systems of Conservation
Laws. Springer, New York (1996)
16. Gottlieb, S., Shu, C., Tadmor, E.: Strong stability-preserving high-order time discretization methods. SIAM Rev. 43, 89112 (2001)
17. Harten, A.: High resolution schemes for hyperbolic conservation laws. J. Comput. Phys. 49, 357
393 (1983)
18. Kynch, G.J.: A theory of sedimentation. Trans. Farad. Soc. 48, 166176 (1952)
19. Lev, O., Rubin, E., Sheintuch, M.: Steady state analysis of a continuous clarifierthickener system.
AIChE J. 32, 15161525 (1986)
20. LeVeque, R.J.: Finite Difference Methods for Ordinary and Partial Differential Equations. SIAM,
Philadelphia (2007)
21. Osher, S., Chakravarthy, S.: High resolution schemes and the entropy condition. SIAM J. Numer.
Anal. 21, 955984 (1984)
22. Strang, G.: On the construction and comparison of difference schemes. SIAM J. Numer. Anal. 5, 506
517 (1968)
23. Sweby, P.K.: High resolution schemes using flux limiters for hyperbolic conservation laws. SIAM J.
Numer. Anal. 21, 9951011 (1984)
24. Temple, B.: Global solution of the Cauchy problem for a class of 2 2 nonstrictly hyperbolic conservation laws. Adv. Appl. Math. 3, 335375 (1982)
25. Towers, J.D.: A difference scheme for conservation laws with a discontinuous flux: the nonconvex
case. SIAM J. Numer. Anal. 39, 11971218 (2001)
123