53
INTRODUCTION METHODS NUMERICAL TESTS RESULTS AND DISCUSSION On time discretizations for the simulation of the settling-compression process Raimund B ¨ urger 1 , Stefan Diehl 2 & Camilo Mej´ ıas 1 1 CI 2 MA & Departamento de Ingenier´ ıa Matem ´ atica Universidad de Concepci ´ on, Concepci ´ on, Chile 2 Center of Mathematical Sciences, Lund University, Sweden 9th IWA Symposium on Systems Analysis and Integrated Assessment (Watermatex 2015) Gold Coast, Australia, 14–17 June 2015 R. B ¨ urger, S. Diehl and C. Mej´ ıas Time discretizations for settling-compression

On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

  • Upload
    others

  • View
    7

  • Download
    0

Embed Size (px)

Citation preview

Page 1: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

On time discretizations for the simulation of thesettling-compression process

Raimund Burger1, Stefan Diehl2 & Camilo Mejıas1

1CI2MA & Departamento de Ingenierıa MatematicaUniversidad de Concepcion, Concepcion, Chile

2Center of Mathematical Sciences, Lund University, Sweden

9th IWA Symposium on Systems Analysis and IntegratedAssessment (Watermatex 2015)

Gold Coast, Australia, 14–17 June 2015R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 2: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

SCOPE

THIS CONTRIBUTION

GOVERNING PDE

SOLUTION BEHAVIOUR

Introduction

Scope

Benchmark simulations of entire WWTPs are today performedwith 1-d SST simulation models.

“Burger-Diehl model” (BD model): hindered settling, volumetricbulk flows, compression of the biomass at high concentrationsand dispersion near the feed inlet can be included flexibly.

For long-time simulations of entire WWTPs, need fine resolutionin space and time, which implies long computational times. Onthe other hand, need short computational times.

Efficient numerical methods: high rate of reduction of numericalerror per computational (central processing unit; CPU) time.

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 3: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

SCOPE

THIS CONTRIBUTION

GOVERNING PDE

SOLUTION BEHAVIOUR

Introduction

Scope

Benchmark simulations of entire WWTPs are today performedwith 1-d SST simulation models.

“Burger-Diehl model” (BD model): hindered settling, volumetricbulk flows, compression of the biomass at high concentrationsand dispersion near the feed inlet can be included flexibly.

For long-time simulations of entire WWTPs, need fine resolutionin space and time, which implies long computational times. Onthe other hand, need short computational times.

Efficient numerical methods: high rate of reduction of numericalerror per computational (central processing unit; CPU) time.

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 4: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

SCOPE

THIS CONTRIBUTION

GOVERNING PDE

SOLUTION BEHAVIOUR

Introduction

Scope

Benchmark simulations of entire WWTPs are today performedwith 1-d SST simulation models.

“Burger-Diehl model” (BD model): hindered settling, volumetricbulk flows, compression of the biomass at high concentrationsand dispersion near the feed inlet can be included flexibly.

For long-time simulations of entire WWTPs, need fine resolutionin space and time, which implies long computational times. Onthe other hand, need short computational times.

Efficient numerical methods: high rate of reduction of numericalerror per computational (central processing unit; CPU) time.

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 5: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

SCOPE

THIS CONTRIBUTION

GOVERNING PDE

SOLUTION BEHAVIOUR

Introduction

Scope

Benchmark simulations of entire WWTPs are today performedwith 1-d SST simulation models.

“Burger-Diehl model” (BD model): hindered settling, volumetricbulk flows, compression of the biomass at high concentrationsand dispersion near the feed inlet can be included flexibly.

For long-time simulations of entire WWTPs, need fine resolutionin space and time, which implies long computational times. Onthe other hand, need short computational times.

Efficient numerical methods: high rate of reduction of numericalerror per computational (central processing unit; CPU) time.

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 6: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

SCOPE

THIS CONTRIBUTION

GOVERNING PDE

SOLUTION BEHAVIOUR

This contribution

Simulation model by B. et al. (2013) is based on amethod-of-lines formulation of the underlying nonlinear PDE=⇒ system of time-dependent ODEs, one for each layer.

Simulations of PDEs are stable and reliable if the fully discretemethod satisfies a CFL (Courant-Friedrichs-Lewy) condition=⇒ maximal time step ∆t for each given layer thickness ∆z.

Only hindered settling and bulk flows:CFL cond. =⇒ may choose ∆t ∼ ∆z =⇒ fast simulations.

With compression or dispersion and standard ODE solvers:CFL cond. =⇒ ∆t ∼ ∆z2 =⇒ very small ∆t when ∆z small.

We investigate different time-integration methods (one new),with respect to efficiency and implementation complexity.

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 7: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

SCOPE

THIS CONTRIBUTION

GOVERNING PDE

SOLUTION BEHAVIOUR

This contribution

Simulation model by B. et al. (2013) is based on amethod-of-lines formulation of the underlying nonlinear PDE=⇒ system of time-dependent ODEs, one for each layer.

Simulations of PDEs are stable and reliable if the fully discretemethod satisfies a CFL (Courant-Friedrichs-Lewy) condition=⇒ maximal time step ∆t for each given layer thickness ∆z.

Only hindered settling and bulk flows:CFL cond. =⇒ may choose ∆t ∼ ∆z =⇒ fast simulations.

With compression or dispersion and standard ODE solvers:CFL cond. =⇒ ∆t ∼ ∆z2 =⇒ very small ∆t when ∆z small.

We investigate different time-integration methods (one new),with respect to efficiency and implementation complexity.

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 8: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

SCOPE

THIS CONTRIBUTION

GOVERNING PDE

SOLUTION BEHAVIOUR

This contribution

Simulation model by B. et al. (2013) is based on amethod-of-lines formulation of the underlying nonlinear PDE=⇒ system of time-dependent ODEs, one for each layer.

Simulations of PDEs are stable and reliable if the fully discretemethod satisfies a CFL (Courant-Friedrichs-Lewy) condition=⇒ maximal time step ∆t for each given layer thickness ∆z.

Only hindered settling and bulk flows:CFL cond. =⇒ may choose ∆t ∼ ∆z =⇒ fast simulations.

With compression or dispersion and standard ODE solvers:CFL cond. =⇒ ∆t ∼ ∆z2 =⇒ very small ∆t when ∆z small.

We investigate different time-integration methods (one new),with respect to efficiency and implementation complexity.

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 9: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

SCOPE

THIS CONTRIBUTION

GOVERNING PDE

SOLUTION BEHAVIOUR

This contribution

Simulation model by B. et al. (2013) is based on amethod-of-lines formulation of the underlying nonlinear PDE=⇒ system of time-dependent ODEs, one for each layer.

Simulations of PDEs are stable and reliable if the fully discretemethod satisfies a CFL (Courant-Friedrichs-Lewy) condition=⇒ maximal time step ∆t for each given layer thickness ∆z.

Only hindered settling and bulk flows:CFL cond. =⇒ may choose ∆t ∼ ∆z =⇒ fast simulations.

With compression or dispersion and standard ODE solvers:CFL cond. =⇒ ∆t ∼ ∆z2 =⇒ very small ∆t when ∆z small.

We investigate different time-integration methods (one new),with respect to efficiency and implementation complexity.

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 10: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

SCOPE

THIS CONTRIBUTION

GOVERNING PDE

SOLUTION BEHAVIOUR

This contribution

Simulation model by B. et al. (2013) is based on amethod-of-lines formulation of the underlying nonlinear PDE=⇒ system of time-dependent ODEs, one for each layer.

Simulations of PDEs are stable and reliable if the fully discretemethod satisfies a CFL (Courant-Friedrichs-Lewy) condition=⇒ maximal time step ∆t for each given layer thickness ∆z.

Only hindered settling and bulk flows:CFL cond. =⇒ may choose ∆t ∼ ∆z =⇒ fast simulations.

With compression or dispersion and standard ODE solvers:CFL cond. =⇒ ∆t ∼ ∆z2 =⇒ very small ∆t when ∆z small.

We investigate different time-integration methods (one new),with respect to efficiency and implementation complexity.

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 11: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

SCOPE

THIS CONTRIBUTION

GOVERNING PDE

SOLUTION BEHAVIOUR

Governing PDE

Model PDE for batch sedimentation in a cylindrical vessel:

∂C∂t

= −∂f (C)

∂z+

∂z

(d(C)

∂C∂z

), 0 < z < 1 m, t > 0.

(PDE)

f (C) = Cvhs(C), including hindered settling velocity functionvhs(C) (the Vesilind function is used).

The compression function satisfies d(C) = Kvhs(C)σ′e(C), here:

σ′e(C) =

{0 for C < Cc,α(C − Cc) for C > Cc,

α = 0.5 m2/s2, Cc = 6 kg/m3.

Here σ′e is the derivative of the effective solid stress function σe.

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 12: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

SCOPE

THIS CONTRIBUTION

GOVERNING PDE

SOLUTION BEHAVIOUR

Governing PDE

Model PDE for batch sedimentation in a cylindrical vessel:

∂C∂t

= −∂f (C)

∂z+

∂z

(d(C)

∂C∂z

), 0 < z < 1 m, t > 0.

(PDE)

f (C) = Cvhs(C), including hindered settling velocity functionvhs(C) (the Vesilind function is used).

The compression function satisfies d(C) = Kvhs(C)σ′e(C), here:

σ′e(C) =

{0 for C < Cc,α(C − Cc) for C > Cc,

α = 0.5 m2/s2, Cc = 6 kg/m3.

Here σ′e is the derivative of the effective solid stress function σe.

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 13: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

SCOPE

THIS CONTRIBUTION

GOVERNING PDE

SOLUTION BEHAVIOUR

Governing PDE

Model PDE for batch sedimentation in a cylindrical vessel:

∂C∂t

= −∂f (C)

∂z+

∂z

(d(C)

∂C∂z

), 0 < z < 1 m, t > 0.

(PDE)

f (C) = Cvhs(C), including hindered settling velocity functionvhs(C) (the Vesilind function is used).

The compression function satisfies d(C) = Kvhs(C)σ′e(C), here:

σ′e(C) =

{0 for C < Cc,α(C − Cc) for C > Cc,

α = 0.5 m2/s2, Cc = 6 kg/m3.

Here σ′e is the derivative of the effective solid stress function σe.

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 14: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

SCOPE

THIS CONTRIBUTION

GOVERNING PDE

SOLUTION BEHAVIOUR

Solution behaviour: batch settling of initially homogeneoussuspension (Kynch test) C0 = 5 kg/m3, Cc = 6 kg/m3

he

igh

t [m

]

time [h]

10

9

8

7

6

6

5

0

0.1

0.2

0.3

0.4

0.5

0.6

0.7

0.8

0.9

10 0.5 1 1.5

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 15: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

DISCRETIZATION

EXPLICIT EULER METHOD

SEMI-IMPLICIT (SI) METHOD

LINEARLY IMPLICIT (LI) METHOD

MethodsDiscretization in space and time

Rewrite (PDE) as

∂C∂t

=∂

∂z

(−f (C) +

∂D(C)

∂z

), D(C) :=

∫ C

0d(s) ds.

N layers of thickness ∆z = 1 mN , Cj (t): concentration of layer j .

Method-of-lines formulation (system of N ODEs):

dC1

dt=−G3/2 + J3/2

∆z, (ML1)

dCj

dt= −

Gj+1/2 −Gj−1/2

∆z+

Jj+1/2 − Jj−1/2

∆z, j = 2 :N − 1,

(ML2)dCN

dt=

1∆z(GN−1/2 − JN−1/2). (ML3)

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 16: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

DISCRETIZATION

EXPLICIT EULER METHOD

SEMI-IMPLICIT (SI) METHOD

LINEARLY IMPLICIT (LI) METHOD

MethodsDiscretization in space and time

Rewrite (PDE) as

∂C∂t

=∂

∂z

(−f (C) +

∂D(C)

∂z

), D(C) :=

∫ C

0d(s) ds.

N layers of thickness ∆z = 1 mN , Cj (t): concentration of layer j .

Method-of-lines formulation (system of N ODEs):

dC1

dt=−G3/2 + J3/2

∆z, (ML1)

dCj

dt= −

Gj+1/2 −Gj−1/2

∆z+

Jj+1/2 − Jj−1/2

∆z, j = 2 :N − 1,

(ML2)dCN

dt=

1∆z(GN−1/2 − JN−1/2). (ML3)

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 17: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

DISCRETIZATION

EXPLICIT EULER METHOD

SEMI-IMPLICIT (SI) METHOD

LINEARLY IMPLICIT (LI) METHOD

MethodsDiscretization in space and time

Rewrite (PDE) as

∂C∂t

=∂

∂z

(−f (C) +

∂D(C)

∂z

), D(C) :=

∫ C

0d(s) ds.

N layers of thickness ∆z = 1 mN , Cj (t): concentration of layer j .

Method-of-lines formulation (system of N ODEs):

dC1

dt=−G3/2 + J3/2

∆z, (ML1)

dCj

dt= −

Gj+1/2 −Gj−1/2

∆z+

Jj+1/2 − Jj−1/2

∆z, j = 2 :N − 1,

(ML2)dCN

dt=

1∆z(GN−1/2 − JN−1/2). (ML3)

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 18: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

DISCRETIZATION

EXPLICIT EULER METHOD

SEMI-IMPLICIT (SI) METHOD

LINEARLY IMPLICIT (LI) METHOD

Gj+1/2: numerical convective flux (bulk flows/hindered settling)between layer j and layer j + 1, e.g. the Godunov flux:

Gj+1/2 =

{minCj≤C≤Cj+1 f (C) if Cj ≤ Cj+1,maxCj≥C≥Cj+1 f (C) if Cj > Cj+1.

Jj+1/2: compressive numerical flux:

Jj+1/2 =D(Cj+1)− D(Cj )

∆z=⇒

∂2D(C)

∂z2 ≈Jj+1/2 − Jj−1/2

∆z=

D(Cj+1)− 2D(Cj ) + D(Cj−1)

∆z2 .

Create fully discrete scheme by time discretization of(ML1)–(ML3).

No gain by high-order ODE (Diehl et al., 2015).

Wish to advance the numerical solution from t = tn totn+1 = tn + ∆t . Quantities are evaluated either at tn or at tn+1.

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 19: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

DISCRETIZATION

EXPLICIT EULER METHOD

SEMI-IMPLICIT (SI) METHOD

LINEARLY IMPLICIT (LI) METHOD

Gj+1/2: numerical convective flux (bulk flows/hindered settling)between layer j and layer j + 1, e.g. the Godunov flux:

Gj+1/2 =

{minCj≤C≤Cj+1 f (C) if Cj ≤ Cj+1,maxCj≥C≥Cj+1 f (C) if Cj > Cj+1.

Jj+1/2: compressive numerical flux:

Jj+1/2 =D(Cj+1)− D(Cj )

∆z=⇒

∂2D(C)

∂z2 ≈Jj+1/2 − Jj−1/2

∆z=

D(Cj+1)− 2D(Cj ) + D(Cj−1)

∆z2 .

Create fully discrete scheme by time discretization of(ML1)–(ML3).

No gain by high-order ODE (Diehl et al., 2015).

Wish to advance the numerical solution from t = tn totn+1 = tn + ∆t . Quantities are evaluated either at tn or at tn+1.

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 20: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

DISCRETIZATION

EXPLICIT EULER METHOD

SEMI-IMPLICIT (SI) METHOD

LINEARLY IMPLICIT (LI) METHOD

Gj+1/2: numerical convective flux (bulk flows/hindered settling)between layer j and layer j + 1, e.g. the Godunov flux:

Gj+1/2 =

{minCj≤C≤Cj+1 f (C) if Cj ≤ Cj+1,maxCj≥C≥Cj+1 f (C) if Cj > Cj+1.

Jj+1/2: compressive numerical flux:

Jj+1/2 =D(Cj+1)− D(Cj )

∆z=⇒

∂2D(C)

∂z2 ≈Jj+1/2 − Jj−1/2

∆z=

D(Cj+1)− 2D(Cj ) + D(Cj−1)

∆z2 .

Create fully discrete scheme by time discretization of(ML1)–(ML3).

No gain by high-order ODE (Diehl et al., 2015).

Wish to advance the numerical solution from t = tn totn+1 = tn + ∆t . Quantities are evaluated either at tn or at tn+1.

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 21: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

DISCRETIZATION

EXPLICIT EULER METHOD

SEMI-IMPLICIT (SI) METHOD

LINEARLY IMPLICIT (LI) METHOD

Gj+1/2: numerical convective flux (bulk flows/hindered settling)between layer j and layer j + 1, e.g. the Godunov flux:

Gj+1/2 =

{minCj≤C≤Cj+1 f (C) if Cj ≤ Cj+1,maxCj≥C≥Cj+1 f (C) if Cj > Cj+1.

Jj+1/2: compressive numerical flux:

Jj+1/2 =D(Cj+1)− D(Cj )

∆z=⇒

∂2D(C)

∂z2 ≈Jj+1/2 − Jj−1/2

∆z=

D(Cj+1)− 2D(Cj ) + D(Cj−1)

∆z2 .

Create fully discrete scheme by time discretization of(ML1)–(ML3).

No gain by high-order ODE (Diehl et al., 2015).

Wish to advance the numerical solution from t = tn totn+1 = tn + ∆t . Quantities are evaluated either at tn or at tn+1.

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 22: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

DISCRETIZATION

EXPLICIT EULER METHOD

SEMI-IMPLICIT (SI) METHOD

LINEARLY IMPLICIT (LI) METHOD

Gj+1/2: numerical convective flux (bulk flows/hindered settling)between layer j and layer j + 1, e.g. the Godunov flux:

Gj+1/2 =

{minCj≤C≤Cj+1 f (C) if Cj ≤ Cj+1,maxCj≥C≥Cj+1 f (C) if Cj > Cj+1.

Jj+1/2: compressive numerical flux:

Jj+1/2 =D(Cj+1)− D(Cj )

∆z=⇒

∂2D(C)

∂z2 ≈Jj+1/2 − Jj−1/2

∆z=

D(Cj+1)− 2D(Cj ) + D(Cj−1)

∆z2 .

Create fully discrete scheme by time discretization of(ML1)–(ML3).

No gain by high-order ODE (Diehl et al., 2015).

Wish to advance the numerical solution from t = tn totn+1 = tn + ∆t . Quantities are evaluated either at tn or at tn+1.

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 23: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

DISCRETIZATION

EXPLICIT EULER METHOD

SEMI-IMPLICIT (SI) METHOD

LINEARLY IMPLICIT (LI) METHOD

Explicit Euler method

Standard method used for authors’ previous simulations.

CFL condition for fully discrete scheme:

∆t ≤ k2∆z2.

=⇒ if ∆z is replaced by ∆x/2, CPU time increases 23 = 8 times

Very easy to implement: all terms in RHS of (ML1)–(ML3) areevaluated at t = tn.

Fully discrete version of (ML2) is

Cn+1j − Cn

j

∆t= −

Gnj+1/2 −Gn

j−1/2

∆z+

Jnj+1/2 − Jn

j−1/2

∆z, j = 2 :N − 1,

with analogous formulas for boundary updates (ML1), (ML3).

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 24: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

DISCRETIZATION

EXPLICIT EULER METHOD

SEMI-IMPLICIT (SI) METHOD

LINEARLY IMPLICIT (LI) METHOD

Explicit Euler method

Standard method used for authors’ previous simulations.

CFL condition for fully discrete scheme:

∆t ≤ k2∆z2.

=⇒ if ∆z is replaced by ∆x/2, CPU time increases 23 = 8 times

Very easy to implement: all terms in RHS of (ML1)–(ML3) areevaluated at t = tn.

Fully discrete version of (ML2) is

Cn+1j − Cn

j

∆t= −

Gnj+1/2 −Gn

j−1/2

∆z+

Jnj+1/2 − Jn

j−1/2

∆z, j = 2 :N − 1,

with analogous formulas for boundary updates (ML1), (ML3).

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 25: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

DISCRETIZATION

EXPLICIT EULER METHOD

SEMI-IMPLICIT (SI) METHOD

LINEARLY IMPLICIT (LI) METHOD

Explicit Euler method

Standard method used for authors’ previous simulations.

CFL condition for fully discrete scheme:

∆t ≤ k2∆z2.

=⇒ if ∆z is replaced by ∆x/2, CPU time increases 23 = 8 times

Very easy to implement: all terms in RHS of (ML1)–(ML3) areevaluated at t = tn.

Fully discrete version of (ML2) is

Cn+1j − Cn

j

∆t= −

Gnj+1/2 −Gn

j−1/2

∆z+

Jnj+1/2 − Jn

j−1/2

∆z, j = 2 :N − 1,

with analogous formulas for boundary updates (ML1), (ML3).

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 26: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

DISCRETIZATION

EXPLICIT EULER METHOD

SEMI-IMPLICIT (SI) METHOD

LINEARLY IMPLICIT (LI) METHOD

Explicit Euler method

Standard method used for authors’ previous simulations.

CFL condition for fully discrete scheme:

∆t ≤ k2∆z2.

=⇒ if ∆z is replaced by ∆x/2, CPU time increases 23 = 8 times

Very easy to implement: all terms in RHS of (ML1)–(ML3) areevaluated at t = tn.

Fully discrete version of (ML2) is

Cn+1j − Cn

j

∆t= −

Gnj+1/2 −Gn

j−1/2

∆z+

Jnj+1/2 − Jn

j−1/2

∆z, j = 2 :N − 1,

with analogous formulas for boundary updates (ML1), (ML3).

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 27: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

DISCRETIZATION

EXPLICIT EULER METHOD

SEMI-IMPLICIT (SI) METHOD

LINEARLY IMPLICIT (LI) METHOD

Semi-implicit (SI) method

We call the present semi-implicit, nonlinearly implicit methodsimply “semi-implicit.”

CFL condition, fully discrete scheme:

∆t ≤ k1∆z

To advance from tn to tn+1 we must solve the nonlinear system

Cn+1j − Cn

j

∆t= −

Gnj+1/2 −Gn

j−1/2

∆z+

Jn+1j+1/2 − Jn+1

j−1/2

∆z

= −Gn

j+1/2 + Gnj−1/2

∆z+

D(Cn+1j+1 )− 2D(Cn+1

j ) + D(Cn+1j−1 )

∆z2 ,

j = 2 :N − 1, plus boundary updates.

Nonlinear system is solved e.g. by Newton-Raphson method.

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 28: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

DISCRETIZATION

EXPLICIT EULER METHOD

SEMI-IMPLICIT (SI) METHOD

LINEARLY IMPLICIT (LI) METHOD

Semi-implicit (SI) method

We call the present semi-implicit, nonlinearly implicit methodsimply “semi-implicit.”

CFL condition, fully discrete scheme:

∆t ≤ k1∆z

To advance from tn to tn+1 we must solve the nonlinear system

Cn+1j − Cn

j

∆t= −

Gnj+1/2 −Gn

j−1/2

∆z+

Jn+1j+1/2 − Jn+1

j−1/2

∆z

= −Gn

j+1/2 + Gnj−1/2

∆z+

D(Cn+1j+1 )− 2D(Cn+1

j ) + D(Cn+1j−1 )

∆z2 ,

j = 2 :N − 1, plus boundary updates.

Nonlinear system is solved e.g. by Newton-Raphson method.

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 29: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

DISCRETIZATION

EXPLICIT EULER METHOD

SEMI-IMPLICIT (SI) METHOD

LINEARLY IMPLICIT (LI) METHOD

Semi-implicit (SI) method

We call the present semi-implicit, nonlinearly implicit methodsimply “semi-implicit.”

CFL condition, fully discrete scheme:

∆t ≤ k1∆z

To advance from tn to tn+1 we must solve the nonlinear system

Cn+1j − Cn

j

∆t= −

Gnj+1/2 −Gn

j−1/2

∆z+

Jn+1j+1/2 − Jn+1

j−1/2

∆z

= −Gn

j+1/2 + Gnj−1/2

∆z+

D(Cn+1j+1 )− 2D(Cn+1

j ) + D(Cn+1j−1 )

∆z2 ,

j = 2 :N − 1, plus boundary updates.

Nonlinear system is solved e.g. by Newton-Raphson method.

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 30: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

DISCRETIZATION

EXPLICIT EULER METHOD

SEMI-IMPLICIT (SI) METHOD

LINEARLY IMPLICIT (LI) METHOD

Semi-implicit (SI) method

We call the present semi-implicit, nonlinearly implicit methodsimply “semi-implicit.”

CFL condition, fully discrete scheme:

∆t ≤ k1∆z

To advance from tn to tn+1 we must solve the nonlinear system

Cn+1j − Cn

j

∆t= −

Gnj+1/2 −Gn

j−1/2

∆z+

Jn+1j+1/2 − Jn+1

j−1/2

∆z

= −Gn

j+1/2 + Gnj−1/2

∆z+

D(Cn+1j+1 )− 2D(Cn+1

j ) + D(Cn+1j−1 )

∆z2 ,

j = 2 :N − 1, plus boundary updates.

Nonlinear system is solved e.g. by Newton-Raphson method.

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 31: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

DISCRETIZATION

EXPLICIT EULER METHOD

SEMI-IMPLICIT (SI) METHOD

LINEARLY IMPLICIT (LI) METHOD

The linearly implicit (LI) method

Method goes back to Berger, Brezis and Rogers (1979).Practical purpose: one benefits from CFL condition ∆t ≤ k1∆zbut avoids solution of nonlinear systems.

Basic idea: now to replace D(Cnj ) by ξqn

j so that

Cn+1j − Cn

j

∆t=

Gnj−1/2 −Gn

j+1/2

∆z+ ξ

qn+1j−1 − 2qn+1

j + qn+1j+1

∆z2 ,

via a simple update formula for qnj to be executed first.

A stable implicit Euler time step means that

qn+1j − qn

j

∆t= ξ

qn+1j−1 − 2qn+1

j + qn+1j+1

∆z2 .

This is a linear system of equations, which gives qn+1j at the next

time step. Then Cnj can be updated explicitly.

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 32: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

DISCRETIZATION

EXPLICIT EULER METHOD

SEMI-IMPLICIT (SI) METHOD

LINEARLY IMPLICIT (LI) METHOD

The linearly implicit (LI) method

Method goes back to Berger, Brezis and Rogers (1979).Practical purpose: one benefits from CFL condition ∆t ≤ k1∆zbut avoids solution of nonlinear systems.

Basic idea: now to replace D(Cnj ) by ξqn

j so that

Cn+1j − Cn

j

∆t=

Gnj−1/2 −Gn

j+1/2

∆z+ ξ

qn+1j−1 − 2qn+1

j + qn+1j+1

∆z2 ,

via a simple update formula for qnj to be executed first.

A stable implicit Euler time step means that

qn+1j − qn

j

∆t= ξ

qn+1j−1 − 2qn+1

j + qn+1j+1

∆z2 .

This is a linear system of equations, which gives qn+1j at the next

time step. Then Cnj can be updated explicitly.

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 33: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

DISCRETIZATION

EXPLICIT EULER METHOD

SEMI-IMPLICIT (SI) METHOD

LINEARLY IMPLICIT (LI) METHOD

The linearly implicit (LI) method

Method goes back to Berger, Brezis and Rogers (1979).Practical purpose: one benefits from CFL condition ∆t ≤ k1∆zbut avoids solution of nonlinear systems.

Basic idea: now to replace D(Cnj ) by ξqn

j so that

Cn+1j − Cn

j

∆t=

Gnj−1/2 −Gn

j+1/2

∆z+ ξ

qn+1j−1 − 2qn+1

j + qn+1j+1

∆z2 ,

via a simple update formula for qnj to be executed first.

A stable implicit Euler time step means that

qn+1j − qn

j

∆t= ξ

qn+1j−1 − 2qn+1

j + qn+1j+1

∆z2 .

This is a linear system of equations, which gives qn+1j at the next

time step. Then Cnj can be updated explicitly.

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 34: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

DISCRETIZATION

EXPLICIT EULER METHOD

SEMI-IMPLICIT (SI) METHOD

LINEARLY IMPLICIT (LI) METHOD

Complete description of LI method (for update tn → tn+1):

(1) For j = 1 :N, set

qnj =

D(Cnj )

ξ, ξ = γ max

0≤C≤Cmax

d(C), γ > 1.

(2) Solve the following linear system for qn+11 , . . . ,qn+1

N :

qn+11 − qn

1

∆t= −ξ

qn+11 − qn+1

2∆z2 ,

qn+1j − qn

j

∆t= ξ

qn+1j−1 − 2qn+1

j + qn+1j+1

∆z2 , j = 2 :N − 1,

qn+1N − qn

N

∆t= ξ∆t

qn+1N−1 − qn+1

N

∆z2 .

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 35: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

DISCRETIZATION

EXPLICIT EULER METHOD

SEMI-IMPLICIT (SI) METHOD

LINEARLY IMPLICIT (LI) METHOD

Complete description of LI method (for update tn → tn+1):

(1) For j = 1 :N, set

qnj =

D(Cnj )

ξ, ξ = γ max

0≤C≤Cmax

d(C), γ > 1.

(2) Solve the following linear system for qn+11 , . . . ,qn+1

N :

qn+11 − qn

1

∆t= −ξ

qn+11 − qn+1

2∆z2 ,

qn+1j − qn

j

∆t= ξ

qn+1j−1 − 2qn+1

j + qn+1j+1

∆z2 , j = 2 :N − 1,

qn+1N − qn

N

∆t= ξ∆t

qn+1N−1 − qn+1

N

∆z2 .

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 36: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

DISCRETIZATION

EXPLICIT EULER METHOD

SEMI-IMPLICIT (SI) METHOD

LINEARLY IMPLICIT (LI) METHOD

(3) Calculate Cn+1j from

Cn+11 − Cn

1

∆t= −

Gn3/2

∆z+

qn+11 − qn

1

∆t,

Cn+1j − Cn

j

∆t=

Gnj−1/2 −Gn

j+1/2

∆z+

qn+1j − qn

j

∆t, j = 2 :N − 1,

Cn+1N − Cn

N

∆t=

GnN−1/2

∆z+

qn+1N − qn

N

∆t.

This involves in each time step the numerical solution of a linearsystem with tridiagonal coefficient matrix.

The CFL condition of the scheme is

∆t ≤ k3∆z, where k3 = k3(γ) = const. ·(

1− 1γ

)(see B. et al., in preparation).

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 37: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

DISCRETIZATION

EXPLICIT EULER METHOD

SEMI-IMPLICIT (SI) METHOD

LINEARLY IMPLICIT (LI) METHOD

(3) Calculate Cn+1j from

Cn+11 − Cn

1

∆t= −

Gn3/2

∆z+

qn+11 − qn

1

∆t,

Cn+1j − Cn

j

∆t=

Gnj−1/2 −Gn

j+1/2

∆z+

qn+1j − qn

j

∆t, j = 2 :N − 1,

Cn+1N − Cn

N

∆t=

GnN−1/2

∆z+

qn+1N − qn

N

∆t.

This involves in each time step the numerical solution of a linearsystem with tridiagonal coefficient matrix.

The CFL condition of the scheme is

∆t ≤ k3∆z, where k3 = k3(γ) = const. ·(

1− 1γ

)(see B. et al., in preparation).

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 38: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

DISCRETIZATION

EXPLICIT EULER METHOD

SEMI-IMPLICIT (SI) METHOD

LINEARLY IMPLICIT (LI) METHOD

(3) Calculate Cn+1j from

Cn+11 − Cn

1

∆t= −

Gn3/2

∆z+

qn+11 − qn

1

∆t,

Cn+1j − Cn

j

∆t=

Gnj−1/2 −Gn

j+1/2

∆z+

qn+1j − qn

j

∆t, j = 2 :N − 1,

Cn+1N − Cn

N

∆t=

GnN−1/2

∆z+

qn+1N − qn

N

∆t.

This involves in each time step the numerical solution of a linearsystem with tridiagonal coefficient matrix.

The CFL condition of the scheme is

∆t ≤ k3∆z, where k3 = k3(γ) = const. ·(

1− 1γ

)(see B. et al., in preparation).

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 39: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

KYNCH TEST

DIEHL TEST

Numerical tests

Batch settling: conventional Kynch test (KT) and Diehl test (DT;Diehl, 2007): concentrated suspension initially above clearliquid, separated by a membrane.

Measure performance of methods in terms of numerical errorand CPU time, assess choice of γ for LI method.

Error of a simulated concentration CN with N layers is calculatedby comparing with reference soln Cref (obtained by Euler’smethod, N = 2430):

EN =

∫ 1.5 h0

∫ 1 m0 |CN(z, t)− Cref(z, t)|dz dt∫ 1.5 h0

∫ 1 m0 Cref(z, t) dz dt

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 40: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

KYNCH TEST

DIEHL TEST

Numerical tests

Batch settling: conventional Kynch test (KT) and Diehl test (DT;Diehl, 2007): concentrated suspension initially above clearliquid, separated by a membrane.

Measure performance of methods in terms of numerical errorand CPU time, assess choice of γ for LI method.

Error of a simulated concentration CN with N layers is calculatedby comparing with reference soln Cref (obtained by Euler’smethod, N = 2430):

EN =

∫ 1.5 h0

∫ 1 m0 |CN(z, t)− Cref(z, t)|dz dt∫ 1.5 h0

∫ 1 m0 Cref(z, t) dz dt

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 41: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

KYNCH TEST

DIEHL TEST

Numerical tests

Batch settling: conventional Kynch test (KT) and Diehl test (DT;Diehl, 2007): concentrated suspension initially above clearliquid, separated by a membrane.

Measure performance of methods in terms of numerical errorand CPU time, assess choice of γ for LI method.

Error of a simulated concentration CN with N layers is calculatedby comparing with reference soln Cref (obtained by Euler’smethod, N = 2430):

EN =

∫ 1.5 h0

∫ 1 m0 |CN(z, t)− Cref(z, t)|dz dt∫ 1.5 h0

∫ 1 m0 Cref(z, t) dz dt

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 42: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

KYNCH TEST

DIEHL TEST

Simulations of KTLI method, C0 = 5 kg/m3, N = 90, test various values of γ:

00.2

0.40.6

0.81

0

0.5

1

1.50

2

4

6

8

10

12

z [m]t [h]

C(z,t) [kg/m

3]

γ = 1.5

00.2

0.40.6

0.81

0

0.5

1

1.50

2

4

6

8

10

12

z [m]t [h]

C(z,t) [kg/m

3]

γ = 3

00.2

0.40.6

0.81

0

0.5

1

1.50

2

4

6

8

10

12

z [m]t [h]

C(z,t) [kg/m

3]

γ = 5

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 43: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

KYNCH TEST

DIEHL TEST

Efficiency curves for LI method (recall ∆t∆z ≤ const ·

(1− 1

γ

)).

Competing goals for choice of γ: small errors versus short CPU times.

computational time [s]10-2 10-1 100 101 102

rela

tive

L1 err

or

0

0.02

0.04

0.06

0.08

0.1

0.12N=10N=30N=90N=270N=810.=10

.=5

.=4

.=3

.=2.=1.5

.=1.1

Suitable choice: γ = 3 (among tested values)R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 44: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

KYNCH TEST

DIEHL TEST

Simulations of DT

LI method, N = 90, γ = 3, C0 =

{10 kg/m3 for z < 0.4 m,0 for z > 0.4 m

:

0

0.2

0.4

0.6

0.8

1

00.2

0.40.6

0.81

0

2

4

6

8

10

12

t [h]z [m]

C(z

,t)

[kg

/m3]

heig

ht [m

]

time [h]

9

8

76

6

7

8

9

1

6

1.5

2.5

2

3

0

0.1

0.2

0.3

0.4

0.5

0.6

0.7

0.8

0.9

10 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 45: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

EFFICIENCY ANALYSIS

REFERENCES

Results and discussionEfficiency analysisEfficiency curves: KT (left), DT (right)

computational time [s]10-2 10-1 100 101 102 103

rela

tive

L1 e

rro

r

10-3

10-2

10-1For each method: N = 10, 30, 90, 270, 810

SILIode15sEuler

computational time [s]10-2 10-1 100 101 102

rela

tive L

1 e

rror

10-2

10-1

For each method: N = 10, 30, 90, 270, 810

SILIode15sEuler

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 46: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

EFFICIENCY ANALYSIS

REFERENCES

Conclusions

Explicit Euler method Semi-implicit (SI)method

Linearly implicit (LI)method

(+) Implementationeasy; numerical ap-proximate solutionsprovably converge to thePDE solution as; robustmethod.

(+) Under the assump-tion that NR iterationsfind a solution each timepoint, convergence canbe proved. Most effi-cient of the investigatedmethods.

(+) Implementationeasy. The ingredientin addition to the Eulermethod is basicallythat a linear system ofequations is solved ateach time step. Robustmethod.

(-) Inefficient. (-) Implementation morecomplex than Euler/LI.At each time step, anonlinear algebraic sys-tem is solved (e.g. byNR iterations). Conver-gence of NR not guaran-teed (but observed). Tol-erance parameter has tobe set.

(±) Convergence proofin preparation. Secondmost efficient for N ≈100 for batch sedimen-tation. The efficiencycan be adjusted to someextent by a parameter.Fastest method for agiven N ≥ 30, but leastaccurate.

R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 47: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

EFFICIENCY ANALYSIS

REFERENCES

ReferencesBerger, A.E., Brezis, H. & Rogers, J.C.W. 1979 A numerical method for

solving the problem ut − ∆f (u) = 0. RAIRO Anal. Numer. 13, 297–312.

Burger, R., Diehl, S., Faras, S. & Nopens, I. 2012 On reliable and unreliablenumerical methods for the simulation of secondary settling tanks inwastewater treatment. Computers & Chemical Eng. 41, 93–105.

Burger, R., Diehl, S., Faras, S., Nopens, I. & Torfs, E. 2013 A consistentmodelling methodology for secondary settling tanks: A reliablenumerical method. Water Sci. Tech. 68, 192–208.

Burger, R., Diehl, S. & Mejıas, C. (in preparation) A linearly implicit numericalscheme for strongly degenerate diffusion equations.

Diehl, S. 2007 Estimation of the batch-settling flux function for an idealsuspension from only two experiments. Chem. Eng. Sci. 62,4589–4601.

Diehl, S., Faras, S. & Mauritsson, G. 2015 Fast reliable simulations ofsecondary settling tanks in wastewater treatment with semi-implicit timediscretization. Comput. Math. Applic., in press.

Kynch, G.J. 1952 A theory of sedimentation. Trans. Farad. Soc. 48, 166–176.R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 48: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

EFFICIENCY ANALYSIS

REFERENCES

ReferencesBerger, A.E., Brezis, H. & Rogers, J.C.W. 1979 A numerical method for

solving the problem ut − ∆f (u) = 0. RAIRO Anal. Numer. 13, 297–312.

Burger, R., Diehl, S., Faras, S. & Nopens, I. 2012 On reliable and unreliablenumerical methods for the simulation of secondary settling tanks inwastewater treatment. Computers & Chemical Eng. 41, 93–105.

Burger, R., Diehl, S., Faras, S., Nopens, I. & Torfs, E. 2013 A consistentmodelling methodology for secondary settling tanks: A reliablenumerical method. Water Sci. Tech. 68, 192–208.

Burger, R., Diehl, S. & Mejıas, C. (in preparation) A linearly implicit numericalscheme for strongly degenerate diffusion equations.

Diehl, S. 2007 Estimation of the batch-settling flux function for an idealsuspension from only two experiments. Chem. Eng. Sci. 62,4589–4601.

Diehl, S., Faras, S. & Mauritsson, G. 2015 Fast reliable simulations ofsecondary settling tanks in wastewater treatment with semi-implicit timediscretization. Comput. Math. Applic., in press.

Kynch, G.J. 1952 A theory of sedimentation. Trans. Farad. Soc. 48, 166–176.R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 49: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

EFFICIENCY ANALYSIS

REFERENCES

ReferencesBerger, A.E., Brezis, H. & Rogers, J.C.W. 1979 A numerical method for

solving the problem ut − ∆f (u) = 0. RAIRO Anal. Numer. 13, 297–312.

Burger, R., Diehl, S., Faras, S. & Nopens, I. 2012 On reliable and unreliablenumerical methods for the simulation of secondary settling tanks inwastewater treatment. Computers & Chemical Eng. 41, 93–105.

Burger, R., Diehl, S., Faras, S., Nopens, I. & Torfs, E. 2013 A consistentmodelling methodology for secondary settling tanks: A reliablenumerical method. Water Sci. Tech. 68, 192–208.

Burger, R., Diehl, S. & Mejıas, C. (in preparation) A linearly implicit numericalscheme for strongly degenerate diffusion equations.

Diehl, S. 2007 Estimation of the batch-settling flux function for an idealsuspension from only two experiments. Chem. Eng. Sci. 62,4589–4601.

Diehl, S., Faras, S. & Mauritsson, G. 2015 Fast reliable simulations ofsecondary settling tanks in wastewater treatment with semi-implicit timediscretization. Comput. Math. Applic., in press.

Kynch, G.J. 1952 A theory of sedimentation. Trans. Farad. Soc. 48, 166–176.R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 50: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

EFFICIENCY ANALYSIS

REFERENCES

ReferencesBerger, A.E., Brezis, H. & Rogers, J.C.W. 1979 A numerical method for

solving the problem ut − ∆f (u) = 0. RAIRO Anal. Numer. 13, 297–312.

Burger, R., Diehl, S., Faras, S. & Nopens, I. 2012 On reliable and unreliablenumerical methods for the simulation of secondary settling tanks inwastewater treatment. Computers & Chemical Eng. 41, 93–105.

Burger, R., Diehl, S., Faras, S., Nopens, I. & Torfs, E. 2013 A consistentmodelling methodology for secondary settling tanks: A reliablenumerical method. Water Sci. Tech. 68, 192–208.

Burger, R., Diehl, S. & Mejıas, C. (in preparation) A linearly implicit numericalscheme for strongly degenerate diffusion equations.

Diehl, S. 2007 Estimation of the batch-settling flux function for an idealsuspension from only two experiments. Chem. Eng. Sci. 62,4589–4601.

Diehl, S., Faras, S. & Mauritsson, G. 2015 Fast reliable simulations ofsecondary settling tanks in wastewater treatment with semi-implicit timediscretization. Comput. Math. Applic., in press.

Kynch, G.J. 1952 A theory of sedimentation. Trans. Farad. Soc. 48, 166–176.R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 51: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

EFFICIENCY ANALYSIS

REFERENCES

ReferencesBerger, A.E., Brezis, H. & Rogers, J.C.W. 1979 A numerical method for

solving the problem ut − ∆f (u) = 0. RAIRO Anal. Numer. 13, 297–312.

Burger, R., Diehl, S., Faras, S. & Nopens, I. 2012 On reliable and unreliablenumerical methods for the simulation of secondary settling tanks inwastewater treatment. Computers & Chemical Eng. 41, 93–105.

Burger, R., Diehl, S., Faras, S., Nopens, I. & Torfs, E. 2013 A consistentmodelling methodology for secondary settling tanks: A reliablenumerical method. Water Sci. Tech. 68, 192–208.

Burger, R., Diehl, S. & Mejıas, C. (in preparation) A linearly implicit numericalscheme for strongly degenerate diffusion equations.

Diehl, S. 2007 Estimation of the batch-settling flux function for an idealsuspension from only two experiments. Chem. Eng. Sci. 62,4589–4601.

Diehl, S., Faras, S. & Mauritsson, G. 2015 Fast reliable simulations ofsecondary settling tanks in wastewater treatment with semi-implicit timediscretization. Comput. Math. Applic., in press.

Kynch, G.J. 1952 A theory of sedimentation. Trans. Farad. Soc. 48, 166–176.R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 52: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

EFFICIENCY ANALYSIS

REFERENCES

ReferencesBerger, A.E., Brezis, H. & Rogers, J.C.W. 1979 A numerical method for

solving the problem ut − ∆f (u) = 0. RAIRO Anal. Numer. 13, 297–312.

Burger, R., Diehl, S., Faras, S. & Nopens, I. 2012 On reliable and unreliablenumerical methods for the simulation of secondary settling tanks inwastewater treatment. Computers & Chemical Eng. 41, 93–105.

Burger, R., Diehl, S., Faras, S., Nopens, I. & Torfs, E. 2013 A consistentmodelling methodology for secondary settling tanks: A reliablenumerical method. Water Sci. Tech. 68, 192–208.

Burger, R., Diehl, S. & Mejıas, C. (in preparation) A linearly implicit numericalscheme for strongly degenerate diffusion equations.

Diehl, S. 2007 Estimation of the batch-settling flux function for an idealsuspension from only two experiments. Chem. Eng. Sci. 62,4589–4601.

Diehl, S., Faras, S. & Mauritsson, G. 2015 Fast reliable simulations ofsecondary settling tanks in wastewater treatment with semi-implicit timediscretization. Comput. Math. Applic., in press.

Kynch, G.J. 1952 A theory of sedimentation. Trans. Farad. Soc. 48, 166–176.R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression

Page 53: On time discretizations for the simulation of the settling ... Burger.pdf · f(C) = Cv hs(C), including hindered settling velocity function v hs(C) (the Vesilind function is used)

INTRODUCTION

METHODS

NUMERICAL TESTS

RESULTS AND DISCUSSION

EFFICIENCY ANALYSIS

REFERENCES

ReferencesBerger, A.E., Brezis, H. & Rogers, J.C.W. 1979 A numerical method for

solving the problem ut − ∆f (u) = 0. RAIRO Anal. Numer. 13, 297–312.

Burger, R., Diehl, S., Faras, S. & Nopens, I. 2012 On reliable and unreliablenumerical methods for the simulation of secondary settling tanks inwastewater treatment. Computers & Chemical Eng. 41, 93–105.

Burger, R., Diehl, S., Faras, S., Nopens, I. & Torfs, E. 2013 A consistentmodelling methodology for secondary settling tanks: A reliablenumerical method. Water Sci. Tech. 68, 192–208.

Burger, R., Diehl, S. & Mejıas, C. (in preparation) A linearly implicit numericalscheme for strongly degenerate diffusion equations.

Diehl, S. 2007 Estimation of the batch-settling flux function for an idealsuspension from only two experiments. Chem. Eng. Sci. 62,4589–4601.

Diehl, S., Faras, S. & Mauritsson, G. 2015 Fast reliable simulations ofsecondary settling tanks in wastewater treatment with semi-implicit timediscretization. Comput. Math. Applic., in press.

Kynch, G.J. 1952 A theory of sedimentation. Trans. Farad. Soc. 48, 166–176.R. Burger, S. Diehl and C. Mejıas Time discretizations for settling-compression