A posteriori computation of parameters in stabilized methods for - - PowerPoint PPT Presentation

a posteriori computation of parameters in stabilized
SMART_READER_LITE
LIVE PREVIEW

A posteriori computation of parameters in stabilized methods for - - PowerPoint PPT Presentation

A posteriori computation of parameters in stabilized methods for convectiondiffusion problems Petr Knobloch Charles University in Prague, Czech Republic joint work with Volker John WIAS, Berlin, Germany Workshop Numerical Analysis for


slide-1
SLIDE 1

A posteriori computation of parameters in stabilized methods for convection–diffusion problems

Petr Knobloch Charles University in Prague, Czech Republic joint work with Volker John WIAS, Berlin, Germany Workshop Numerical Analysis for Singularly Perturbed Problems Dedicated to the 60th Birthday of Martin Stynes Dresden, November 16–18, 2011

slide-2
SLIDE 2

Contents – numerical methods for convection–diffusion–reaction equations – computation of stabilization parameters by minimization

  • f a functional

– Fr´ echet derivative of the functional – choice of suitable functionals – numerical results

slide-3
SLIDE 3

Contents – numerical methods for convection–diffusion–reaction equations – computation of stabilization parameters by minimization

  • f a functional

– Fr´ echet derivative of the functional – choice of suitable functionals – numerical results Basic ideas published in John, K., Savescu, CMAME 200 (2011)

slide-4
SLIDE 4

Steady convection–diffusion–reaction equation

−ε ∆u+b·∇u+cu = f in Ω, u = ub on ∂Ω

Ω ⊂ Rd, d = 2,3 . . . bounded domain with a polyhedral

Lipschitz–continuous boundary ∂Ω

ε > 0 constant b ∈ W 1,∞(Ω)d, c ∈ L∞(Ω), f ∈ L2(Ω), ub ∈ H1/2(∂Ω)

slide-5
SLIDE 5

Steady convection–diffusion–reaction equation

−ε ∆u+b·∇u+cu = f in Ω, u = ub on ∂Ω

Ω ⊂ Rd, d = 2,3 . . . bounded domain with a polyhedral

Lipschitz–continuous boundary ∂Ω

ε > 0 constant b ∈ W 1,∞(Ω)d, c ∈ L∞(Ω), f ∈ L2(Ω), ub ∈ H1/2(∂Ω)

simple model problem for many more complicated applications

slide-6
SLIDE 6

Steady convection–diffusion–reaction equation

−ε ∆u+b·∇u+cu = f in Ω, u = ub on ∂Ω

  • ften ε ≪ |b|
slide-7
SLIDE 7

Steady convection–diffusion–reaction equation

−ε ∆u+b·∇u+cu = f in Ω, u = ub on ∂Ω

  • ften ε ≪ |b|

narrow layers in u

slide-8
SLIDE 8

Steady convection–diffusion–reaction equation

−ε ∆u+b·∇u+cu = f in Ω, u = ub on ∂Ω

  • ften ε ≪ |b|

narrow layers in u

standard discretizations lead to global spurious oscillations unless the layers are resolved by the mesh

slide-9
SLIDE 9

Steady convection–diffusion–reaction equation

−ε ∆u+b·∇u+cu = f in Ω, u = ub on ∂Ω

  • ften ε ≪ |b|

narrow layers in u

standard discretizations lead to global spurious oscillations unless the layers are resolved by the mesh Two options: 1) layer–adapted mesh – piecewise uniform mesh

  • r mesh obtained by anisotropic adaptive refinement
slide-10
SLIDE 10

Steady convection–diffusion–reaction equation

−ε ∆u+b·∇u+cu = f in Ω, u = ub on ∂Ω

  • ften ε ≪ |b|

narrow layers in u

standard discretizations lead to global spurious oscillations unless the layers are resolved by the mesh Two options: 1) layer–adapted mesh – piecewise uniform mesh

  • r mesh obtained by anisotropic adaptive refinement
  • ften not feasible
slide-11
SLIDE 11

Steady convection–diffusion–reaction equation

−ε ∆u+b·∇u+cu = f in Ω, u = ub on ∂Ω

  • ften ε ≪ |b|

narrow layers in u

standard discretizations lead to global spurious oscillations unless the layers are resolved by the mesh Two options: 1) layer–adapted mesh – piecewise uniform mesh

  • r mesh obtained by anisotropic adaptive refinement
  • ften not feasible

2) coarse mesh + modifications of a standard discretization

slide-12
SLIDE 12

Steady convection–diffusion–reaction equation

−ε ∆u+b·∇u+cu = f in Ω, u = ub on ∂Ω

  • ften ε ≪ |b|

narrow layers in u

standard discretizations lead to global spurious oscillations unless the layers are resolved by the mesh Two options: 1) layer–adapted mesh – piecewise uniform mesh

  • r mesh obtained by anisotropic adaptive refinement
  • ften not feasible

2) coarse mesh + modifications of a standard discretization – special discretization of the convective term (upwinding) – introduction of additional terms (stabilization) – manipulations at algebraic level (FEMTVD schemes)

slide-13
SLIDE 13

Steady convection–diffusion–reaction equation

−ε ∆u+b·∇u+cu = f in Ω, u = ub on ∂Ω

Galerkin FEM: Find uh ∈ Wh such that uh = ubh on ∂Ω and

a(uh,vh) = (f,vh) ∀ vh ∈ Vh ,

where

a(u,v) = ε (∇u,∇v)+(b·∇u,v)+(cu,v) .

slide-14
SLIDE 14

Steady convection–diffusion–reaction equation

−ε ∆u+b·∇u+cu = f in Ω, u = ub on ∂Ω

Galerkin FEM: Find uh ∈ Wh such that uh = ubh on ∂Ω and

a(uh,vh) = (f,vh) ∀ vh ∈ Vh ,

where

a(u,v) = ε (∇u,∇v)+(b·∇u,v)+(cu,v) .

Stabilized FEM: Find uh ∈ Wh such that uh = ubh on ∂Ω and

a(uh,vh)+ ∑

K∈Th

τK sK(uh,vh) = (f,vh) ∀ vh ∈ Vh

slide-15
SLIDE 15

Steady convection–diffusion–reaction equation

−ε ∆u+b·∇u+cu = f in Ω, u = ub on ∂Ω

Galerkin FEM: Find uh ∈ Wh such that uh = ubh on ∂Ω and

a(uh,vh) = (f,vh) ∀ vh ∈ Vh ,

where

a(u,v) = ε (∇u,∇v)+(b·∇u,v)+(cu,v) .

Stabilized FEM: Find uh ∈ Wh such that uh = ubh on ∂Ω and

a(uh,vh)+ ∑

K∈Th

τK sK(uh,vh) = (f,vh) ∀ vh ∈ Vh τK determines the added artificial diffusion which should be:

slide-16
SLIDE 16

Steady convection–diffusion–reaction equation

−ε ∆u+b·∇u+cu = f in Ω, u = ub on ∂Ω

Galerkin FEM: Find uh ∈ Wh such that uh = ubh on ∂Ω and

a(uh,vh) = (f,vh) ∀ vh ∈ Vh ,

where

a(u,v) = ε (∇u,∇v)+(b·∇u,v)+(cu,v) .

Stabilized FEM: Find uh ∈ Wh such that uh = ubh on ∂Ω and

a(uh,vh)+ ∑

K∈Th

τK sK(uh,vh) = (f,vh) ∀ vh ∈ Vh τK determines the added artificial diffusion which should be:

  • not ‘too small’ to remove oscillations
  • not ‘too large’ to avoid excessive smearing
slide-17
SLIDE 17

Steady convection–diffusion–reaction equation

L u :=−ε ∆u+b·∇u+cu = f in Ω, u = ub on ∂Ω

Galerkin FEM: Find uh ∈ Wh such that uh = ubh on ∂Ω and

a(uh,vh) = (f,vh) ∀ vh ∈ Vh ,

where

a(u,v) = ε (∇u,∇v)+(b·∇u,v)+(cu,v) .

Stabilized FEM: Find uh ∈ Wh such that uh = ubh on ∂Ω and

a(uh,vh)+ ∑

K∈Th

τK sK(uh,vh) = (f,vh) ∀ vh ∈ Vh τK determines the added artificial diffusion which should be:

  • not ‘too small’ to remove oscillations
  • not ‘too large’ to avoid excessive smearing
slide-18
SLIDE 18

Examples of sK(u,v) SUPG method:

sK(u,v) = (L u− f,b·∇v)K

Brooks, Hughes (1982)

GLS method:

sK(u,v) = (L u− f,L v)K

Hughes, Franca, Hulbert (1989)

USFEM:

sK(u,v) = (L u− f,−L ∗ v)K

Franca, Frey, Hughes (1992), Franca, Farhat (1995)

GGLS method:

sK(u,v) = (∇(L u− f),∇L v)K

Franca, do Carmo (1989)

Local projection method:

sK(u,v) = (κK(b·∇u),κK(b·∇v))K

Becker, Braack (2004)

κK = id −πK

Edge stabilization:

sK(u,v) = ([∇u],[∇v])∂K

Burman, Hansbo (2004)

slide-19
SLIDE 19

Examples of sK(u,v) SUPG method:

sK(u,v) = (L u− f,b·∇v)K

Brooks, Hughes (1982)

  • ne of the most popular finite element approaches for

convection–dominated problems

slide-20
SLIDE 20

Examples of sK(u,v) SUPG method:

sK(u,v) = (L u− f,b·∇v)K

Brooks, Hughes (1982)

  • ne of the most popular finite element approaches for

convection–dominated problems

τK = hK 2|b|

  • cothPeK − 1

PeK

  • with

PeK = |b|hK 2ε

slide-21
SLIDE 21

Examples of sK(u,v) SUPG method:

sK(u,v) = (L u− f,b·∇v)K

Brooks, Hughes (1982)

  • ne of the most popular finite element approaches for

convection–dominated problems

τK = hK 2|b|

  • cothPeK − 1

PeK

  • with

PeK = |b|hK 2ε

typically still spurious oscillations localized in narrow regions along sharp layers

slide-22
SLIDE 22

SOLD methods

(spurious oscillations at layers diminishing methods)

slide-23
SLIDE 23

SOLD methods

(spurious oscillations at layers diminishing methods) add a suitable artificial diffusion term to the SUPG method

slide-24
SLIDE 24

SOLD methods

(spurious oscillations at layers diminishing methods) add a suitable artificial diffusion term to the SUPG method – isotropic artificial diffusion:

( ε ∇uh,∇vh)

slide-25
SLIDE 25

SOLD methods

(spurious oscillations at layers diminishing methods) add a suitable artificial diffusion term to the SUPG method – isotropic artificial diffusion:

( ε ∇uh,∇vh)

– crosswind artificial diffusion: (

ε b⊥ ·∇uh,b⊥ ·∇vh)

slide-26
SLIDE 26

SOLD methods

(spurious oscillations at layers diminishing methods) add a suitable artificial diffusion term to the SUPG method – isotropic artificial diffusion:

( ε ∇uh,∇vh)

– crosswind artificial diffusion: (

ε b⊥ ·∇uh,b⊥ ·∇vh)

– edge stabilization:

K∈Th

  • ∂K
  • εK sign

∂uh ∂t∂K ∂vh ∂t∂K dσ

slide-27
SLIDE 27

SOLD methods

(spurious oscillations at layers diminishing methods) add a suitable artificial diffusion term to the SUPG method – isotropic artificial diffusion:

( ε ∇uh,∇vh)

– crosswind artificial diffusion: (

ε b⊥ ·∇uh,b⊥ ·∇vh)

– edge stabilization:

K∈Th

  • ∂K
  • εK sign

∂uh ∂t∂K ∂vh ∂t∂K dσ

typically

ε = ε(uh) ⇒

resulting method is nonlinear

slide-28
SLIDE 28

SOLD methods

(spurious oscillations at layers diminishing methods) add a suitable artificial diffusion term to the SUPG method – isotropic artificial diffusion:

( ε ∇uh,∇vh)

– crosswind artificial diffusion: (

ε b⊥ ·∇uh,b⊥ ·∇vh)

– edge stabilization:

K∈Th

  • ∂K
  • εK sign

∂uh ∂t∂K ∂vh ∂t∂K dσ

typically

ε = ε(uh) ⇒

resulting method is nonlinear many proposals for

ε in the literature

slide-29
SLIDE 29

SOLD methods

(spurious oscillations at layers diminishing methods) add a suitable artificial diffusion term to the SUPG method – isotropic artificial diffusion:

( ε ∇uh,∇vh)

– crosswind artificial diffusion: (

ε b⊥ ·∇uh,b⊥ ·∇vh)

– edge stabilization:

K∈Th

  • ∂K
  • εK sign

∂uh ∂t∂K ∂vh ∂t∂K dσ

typically

ε = ε(uh) ⇒

resulting method is nonlinear many proposals for

ε in the literature

review and computational comparison: John, K., CMAME (2007), CMAME (2008)

slide-30
SLIDE 30

Examples of

ε

do Carmo, Gale˜ ao, CMAME (1991)

  • ε|K = max
  • 0, hK |Rh(uh)|

2|∇uh| − hK 2|b| |Rh(uh)|2 |∇uh|2

  • Codina, CMAME (1993) (modified)
  • ε|K = max
  • 0,η diam(K)|Rh(uh)|

2|∇uh| −ε

  • η = 0.7

recommended Burman, Ern, CMAME (2002) (modified)

  • ε|K = hK |Rh(uh)|

2|∇uh| 1 1+ |Rh(uh)|

|b||∇uh|

Burman, Ern (2005)

K∈Th

|K|

  • ∂K C
  • Rh(uh)|K
  • ∂uh

∂t∂K

  • ∂uh

∂t∂K ∂vh ∂t∂K dσ

slide-31
SLIDE 31

Examples of

ε

do Carmo, Gale˜ ao, CMAME (1991)

  • ε|K = max
  • 0, hK |Rh(uh)|

2|∇uh| − hK 2|b| |Rh(uh)|2 |∇uh|2

  • Codina, CMAME (1993) (modified)
  • ε|K = max
  • 0,η diam(K)|Rh(uh)|

2|∇uh| −ε

  • η = 0.7

recommended Burman, Ern, CMAME (2002) (modified)

  • ε|K = hK |Rh(uh)|

2|∇uh| 1 1+ |Rh(uh)|

|b||∇uh|

Burman, Ern (2005)

K∈Th

|K|

  • ∂K C
  • Rh(uh)|K
  • ∂uh

∂t∂K

  • ∂uh

∂t∂K ∂vh ∂t∂K dσ

slide-32
SLIDE 32

Properties of the SOLD methods

– SOLD methods without user–chosen parameters: – generally not able to remove oscillations

slide-33
SLIDE 33

Properties of the SOLD methods

– SOLD methods without user–chosen parameters: – generally not able to remove oscillations – SOLD methods involving a parameter (modified method of Codina, edge stabilization): – in model cases, oscillations removed for appropriate parameters

slide-34
SLIDE 34

Properties of the SOLD methods

– SOLD methods without user–chosen parameters: – generally not able to remove oscillations – SOLD methods involving a parameter (modified method of Codina, edge stabilization): – in model cases, oscillations removed for appropriate parameters – different values of parameters in different regions of Ω

slide-35
SLIDE 35

Properties of the SOLD methods

– SOLD methods without user–chosen parameters: – generally not able to remove oscillations – SOLD methods involving a parameter (modified method of Codina, edge stabilization): – in model cases, oscillations removed for appropriate parameters – different values of parameters in different regions of Ω – optimal parameters depend on the data and on the grid

slide-36
SLIDE 36

Properties of the SOLD methods

– SOLD methods without user–chosen parameters: – generally not able to remove oscillations – SOLD methods involving a parameter (modified method of Codina, edge stabilization): – in model cases, oscillations removed for appropriate parameters – different values of parameters in different regions of Ω – optimal parameters depend on the data and on the grid – not clear how to choose parameters for more complicated problems

slide-37
SLIDE 37

Properties of the SOLD methods

– SOLD methods without user–chosen parameters: – generally not able to remove oscillations – SOLD methods involving a parameter (modified method of Codina, edge stabilization): – in model cases, oscillations removed for appropriate parameters – different values of parameters in different regions of Ω – optimal parameters depend on the data and on the grid – not clear how to choose parameters for more complicated problems – sometimes very difficult to compute the solution of the nonlinear discretization

slide-38
SLIDE 38

Properties of the SOLD methods

– SOLD methods without user–chosen parameters: – generally not able to remove oscillations – SOLD methods involving a parameter (modified method of Codina, edge stabilization): – in model cases, oscillations removed for appropriate parameters – different values of parameters in different regions of Ω – optimal parameters depend on the data and on the grid – not clear how to choose parameters for more complicated problems – sometimes very difficult to compute the solution of the nonlinear discretization – oscillation–free solutions cannot be guaranteed

slide-39
SLIDE 39

A posteriori optimization of stabilization parameters For simplicity:

ub = 0

slide-40
SLIDE 40

A posteriori optimization of stabilization parameters For simplicity:

ub = 0

Stabilized FEM: Given a stabilization parameter yh ∈ Yh, find uh ∈ Vh such that Rh(uh,yh) = 0.

slide-41
SLIDE 41

A posteriori optimization of stabilization parameters For simplicity:

ub = 0

Stabilized FEM: Given a stabilization parameter yh ∈ Yh, find uh ∈ Vh such that Rh(uh,yh) = 0. Here:

Rh : Vh ×Yh → V ′

h

slide-42
SLIDE 42

A posteriori optimization of stabilization parameters For simplicity:

ub = 0

Stabilized FEM: Given a stabilization parameter yh ∈ Yh, find uh ∈ Vh such that Rh(uh,yh) = 0. Here:

Rh : Vh ×Yh → V ′

h

Example – SUPG method:

Rh(uh,yh),vh = a(uh,vh)+(L uh − f,yh b·∇vh)−(f,vh), Yh ... piecewise constant functions on Ω

slide-43
SLIDE 43

A posteriori optimization of stabilization parameters For simplicity:

ub = 0

Stabilized FEM: Given a stabilization parameter yh ∈ Yh, find uh ∈ Vh such that Rh(uh,yh) = 0. Here:

Rh : Vh ×Yh → V ′

h

Example – SUPG method:

Rh(uh,yh),vh = a(uh,vh)+(L uh − f,yh b·∇vh)−(f,vh), Yh ... piecewise constant functions on Ω

We shall write uh(yh) instead of uh.

slide-44
SLIDE 44

A posteriori optimization of stabilization parameters For simplicity:

ub = 0

Stabilized FEM: Given a stabilization parameter yh ∈ Yh, find uh ∈ Vh such that Rh(uh,yh) = 0. Here:

Rh : Vh ×Yh → V ′

h

Example – SUPG method:

Rh(uh,yh),vh = a(uh,vh)+(L uh − f,yh b·∇vh)−(f,vh), Yh ... piecewise constant functions on Ω

We shall write uh(yh) instead of uh.

Ih(uh(yh))

. . . measure for the error or the quality of uh(yh)

slide-45
SLIDE 45

A posteriori optimization of stabilization parameters For simplicity:

ub = 0

Stabilized FEM: Given a stabilization parameter yh ∈ Yh, find uh ∈ Vh such that Rh(uh,yh) = 0. Here:

Rh : Vh ×Yh → V ′

h

Example – SUPG method:

Rh(uh,yh),vh = a(uh,vh)+(L uh − f,yh b·∇vh)−(f,vh), Yh ... piecewise constant functions on Ω

We shall write uh(yh) instead of uh.

Ih(uh(yh))

. . . measure for the error or the quality of uh(yh) Aim: find yh such that Ih(uh(yh)) is small

slide-46
SLIDE 46

A posteriori optimization of stabilization parameters For simplicity:

ub = 0

Stabilized FEM: Given a stabilization parameter yh ∈ Yh, find uh ∈ Vh such that Rh(uh,yh) = 0. Here:

Rh : Vh ×Yh → V ′

h

Example – SUPG method:

Rh(uh,yh),vh = a(uh,vh)+(L uh − f,yh b·∇vh)−(f,vh), Yh ... piecewise constant functions on Ω

We shall write uh(yh) instead of uh.

Ih(uh(yh))

. . . measure for the error or the quality of uh(yh) Aim: find yh such that Ih(uh(yh)) is small

constrained nonlinear optimization problem

slide-47
SLIDE 47

A posteriori optimization of stabilization parameters For simplicity:

ub = 0

Stabilized FEM: Given a stabilization parameter yh ∈ Yh, find uh ∈ Vh such that Rh(uh,yh) = 0. Here:

Rh : Vh ×Yh → V ′

h

Example – SUPG method:

Rh(uh,yh),vh = a(uh,vh)+(L uh − f,yh b·∇vh)−(f,vh), Yh ... piecewise constant functions on Ω

We shall write uh(yh) instead of uh.

Ih(uh(yh))

. . . measure for the error or the quality of uh(yh) Aim: find yh such that Ih(uh(yh)) is small Example – SUPG method:

0 ≤ yh|K ≤ 10τK ∀ K ∈ Th

slide-48
SLIDE 48

Fr´ echet derivative of Φh(yh) := Ih(uh(yh))

slide-49
SLIDE 49

Fr´ echet derivative of Φh(yh) := Ih(uh(yh))

DΦh(yh) = DIh(uh(yh))Duh(yh)

slide-50
SLIDE 50

Fr´ echet derivative of Φh(yh) := Ih(uh(yh))

DΦh(yh) = DIh(uh(yh))Duh(yh)

not efficient!

slide-51
SLIDE 51

Fr´ echet derivative of Φh(yh) := Ih(uh(yh))

DΦh(yh) = DIh(uh(yh))Duh(yh)

not efficient! Adjoint problem: Find ψh(yh) ∈ Vh such that

(∂wRh)′(uh(yh),yh)ψh(yh) = DIh(uh(yh)).

slide-52
SLIDE 52

Fr´ echet derivative of Φh(yh) := Ih(uh(yh))

DΦh(yh) = DIh(uh(yh))Duh(yh)

not efficient! Adjoint problem: Find ψh(yh) ∈ Vh such that

(∂wRh)′(uh(yh),yh)ψh(yh) = DIh(uh(yh)).

Since Rh(uh(yh),yh) = 0, we have

∂wRh(uh(yh),yh)Duh(yh)+∂yRh(uh(yh),yh) = 0.

slide-53
SLIDE 53

Fr´ echet derivative of Φh(yh) := Ih(uh(yh))

DΦh(yh) = DIh(uh(yh))Duh(yh)

not efficient! Adjoint problem: Find ψh(yh) ∈ Vh such that

(∂wRh)′(uh(yh),yh)ψh(yh) = DIh(uh(yh)).

Since Rh(uh(yh),yh) = 0, we have

∂wRh(uh(yh),yh)Duh(yh)+∂yRh(uh(yh),yh) = 0.

Thus,

DΦh(yh) = −(∂yRh)′(uh(yh),yh)ψh(yh).

slide-54
SLIDE 54

Fr´ echet derivative of Φh(yh) := Ih(uh(yh))

DΦh(yh) = DIh(uh(yh))Duh(yh)

not efficient! Adjoint problem: Find ψh(yh) ∈ Vh such that

(∂wRh)′(uh(yh),yh)ψh(yh) = DIh(uh(yh)).

Since Rh(uh(yh),yh) = 0, we have

∂wRh(uh(yh),yh)Duh(yh)+∂yRh(uh(yh),yh) = 0.

Thus,

DΦh(yh) = −(∂yRh)′(uh(yh),yh)ψh(yh).

Example – SUPG method:

ψh(yh) solves a(vh,ψh(yh))+(L vh,yh b·∇ψh(yh)) = DIh(uh(yh)),vh ∀ vh ∈ Vh

slide-55
SLIDE 55

Fr´ echet derivative of Φh(yh) := Ih(uh(yh))

DΦh(yh) = DIh(uh(yh))Duh(yh)

not efficient! Adjoint problem: Find ψh(yh) ∈ Vh such that

(∂wRh)′(uh(yh),yh)ψh(yh) = DIh(uh(yh)).

Since Rh(uh(yh),yh) = 0, we have

∂wRh(uh(yh),yh)Duh(yh)+∂yRh(uh(yh),yh) = 0.

Thus,

DΦh(yh) = −(∂yRh)′(uh(yh),yh)ψh(yh).

Example – SUPG method:

DΦh(yh) is given by DΦh(yh), ˜ yh = −(L uh(yh)− f, ˜ yh b·∇ψh(yh)).

slide-56
SLIDE 56

Choice of Ih

Γ+ = {x ∈ ∂Ω; (b·n)(x) > 0} Γ0 = {x ∈ ∂Ω; (b·n)(x) = 0}

slide-57
SLIDE 57

Choice of Ih

Γ+ = {x ∈ ∂Ω; (b·n)(x) > 0} Γ0 = {x ∈ ∂Ω; (b·n)(x) = 0} Gh = {K ∈ Th ; K ∩Γ+ = /

  • r

K ∩Γ0 = / 0}

slide-58
SLIDE 58

Choice of Ih

Γ+ = {x ∈ ∂Ω; (b·n)(x) > 0} Γ0 = {x ∈ ∂Ω; (b·n)(x) = 0} Gh = {K ∈ Th ; K ∩Γ+ = /

  • r

K ∩Γ0 = / 0} Gh =

  • K∈Gh

K

slide-59
SLIDE 59

Choice of Ih

Γ+ = {x ∈ ∂Ω; (b·n)(x) > 0} Γ0 = {x ∈ ∂Ω; (b·n)(x) = 0} Gh = {K ∈ Th ; K ∩Γ+ = /

  • r

K ∩Γ0 = / 0} Gh =

  • K∈Gh

K Ires

h (uh) = L uh − f2 0,Ω\Gh

slide-60
SLIDE 60

Numerical results

slide-61
SLIDE 61

Numerical results – BFGS method for minimization of Φh(yh)

slide-62
SLIDE 62

Numerical results – BFGS method for minimization of Φh(yh) – initialization of the SUPG parameter by τK

slide-63
SLIDE 63

Numerical results – BFGS method for minimization of Φh(yh) – initialization of the SUPG parameter by τK – Ω = (0,1)2

slide-64
SLIDE 64

Numerical results – BFGS method for minimization of Φh(yh) – initialization of the SUPG parameter by τK – Ω = (0,1)2 – conforming P

1 finite element space on the triangulation

(2048 triangles)

slide-65
SLIDE 65

Example 1 (convection skew to the mesh)

u = 1 u = 0 ε = 10−8 |b| = 1 c = 0 f = 0

slide-66
SLIDE 66

Example 1, SUPG method

slide-67
SLIDE 67

Example 1, SUPG method optimized using Ires

h

slide-68
SLIDE 68

Choice of Ih A B C We need a functional that prefers C.

slide-69
SLIDE 69

Choice of Ih A B C We need a functional that prefers C. A candidate:

1

0 |u′|pdx

slide-70
SLIDE 70

Choice of Ih A B C We need a functional that prefers C. A candidate:

1

0 |u′|pdx= d

  • 1

d

  • p with d the width of the layer
slide-71
SLIDE 71

Choice of Ih A B C We need a functional that prefers C. A candidate:

1

0 |u′|pdx= d

  • 1

d

  • p with d the width of the layer

⇒ use p < 1

slide-72
SLIDE 72

Choice of Ih A B C We need a functional that prefers C. A candidate:

1

0 |u′|pdx= d

  • 1

d

  • p with d the width of the layer

⇒ use p < 1 ⇒ Icross

h

(uh) =

  • Ω\Gh
  • |b⊥ ·∇uh|dx

regularized near 0

slide-73
SLIDE 73

Example 1, SUPG method optimized using Ires

h

+α Icross

h

slide-74
SLIDE 74

SOLD method

SUPG method + additional term

( ε(uh, ˜ yh)b⊥ ·∇uh,b⊥ ·∇vh)

slide-75
SLIDE 75

SOLD method

SUPG method + additional term

( ε(uh, ˜ yh)b⊥ ·∇uh,b⊥ ·∇vh)

  • ε(uh, ˜

yh)|K = ˜ yh|K diam(K)|L uh − f| 2|∇uh|

slide-76
SLIDE 76

SOLD method

SUPG method + additional term

( ε(uh, ˜ yh)b⊥ ·∇uh,b⊥ ·∇vh)

  • ε(uh, ˜

yh)|K = ˜ yh|K diam(K)|L uh − f| 2|∇uh| 0 ≤ ˜ yh|K ≤ 1 ∀ K ∈ Th

slide-77
SLIDE 77

SOLD method

SUPG method + additional term

( ε(uh, ˜ yh)b⊥ ·∇uh,b⊥ ·∇vh)

  • ε(uh, ˜

yh)|K = ˜ yh|K diam(K)|L uh − f| 2|∇uh| 0 ≤ ˜ yh|K ≤ 1 ∀ K ∈ Th

initialization:

˜ yh := 0

slide-78
SLIDE 78

Example 1, SOLD method optimized using Ires

h

+α Icross

h

slide-79
SLIDE 79

Example 1, SUPG method

slide-80
SLIDE 80

Example 1, SUPG method optimized using Ires

h

+α Icross

h

slide-81
SLIDE 81

Example 1, SOLD method optimized using Ires

h

+α Icross

h

slide-82
SLIDE 82

Example 1, SUPG method optimized using Ires

h

slide-83
SLIDE 83

Example 2 (convection with a constant nonzero source term)

u = 0 ε = 10−8 |b| = 1 c = 0 f = 1

slide-84
SLIDE 84

Example 2, SUPG method

slide-85
SLIDE 85

Example 2, SOLD method optimized using Ires

h

slide-86
SLIDE 86

Example 3 (problem with two interior layers)

u = 1 ∂u ∂n = 0 u = 0 ε = 10−8 b = (−y,x) c = 0 f = 0

slide-87
SLIDE 87

Example 3, SUPG method

slide-88
SLIDE 88

Example 3, SOLD method

slide-89
SLIDE 89

Example 3, SOLD method optimized using Icross

h

slide-90
SLIDE 90

Example 3, outflow profiles

slide-91
SLIDE 91

Example 4 (problem with two interior layers)

u = 1+x ∂u ∂n = 0 u = 0 ε = 10−8 b = (−y,x) c = 0 f = 0

slide-92
SLIDE 92

Choice of Ih

Ilim

h (uh) =

  • Ω\Gh

ϕ(|L uh − f|2)dx ϕ(x) is increasing and concave for x ∈ (0,x0), ϕ(x) = 1 for x > x0

slide-93
SLIDE 93

Example 4, SUPG method

slide-94
SLIDE 94

Example 4, SOLD method

slide-95
SLIDE 95

Example 4, SOLD method optimized using Ilim

h

slide-96
SLIDE 96

Example 4, outflow profiles

slide-97
SLIDE 97

Conclusions

– a posteriori optimization of parameters can significantly improve solutions of stabilized methods – further development of appropriate target functionals needed – more efficient minimization techniques have to be applied