Entropy-based artificial viscosity Parabolic regularization and - - PowerPoint PPT Presentation

entropy based artificial viscosity parabolic
SMART_READER_LITE
LIVE PREVIEW

Entropy-based artificial viscosity Parabolic regularization and - - PowerPoint PPT Presentation

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS Entropy-based artificial viscosity Parabolic regularization and related topics Jean-Luc Guermond Department of Mathematics Texas A&M


slide-1
SLIDE 1

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Entropy-based artificial viscosity Parabolic regularization and related topics

Jean-Luc Guermond

Department of Mathematics Texas A&M University

HYP2012 June, 25-29, 2012, Padova, Italy

slide-2
SLIDE 2

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Acknowledgments Collaborators: Andrea Bonito (Texas A&M) Jim Morel (Texas A&M) Murtazo Nazarov (post-doc Texas&M, PhD KTH) Richard Pasquetti (Univ. Nice) Bojan Popov (Texas A&M) Guglielmo Scovazzi (Sandia Natl. Lab.) Valentin Zingan (Post-doc Univ. Alberta, PhD Texas A&M) Support:

slide-3
SLIDE 3

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Outline

1

INTRODUCTION

slide-4
SLIDE 4

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Outline

1

INTRODUCTION

2

SCALAR CONSERVATION

slide-5
SLIDE 5

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Outline

1

INTRODUCTION

2

SCALAR CONSERVATION

3

NUMERICAL ILLUSTRATIONS

slide-6
SLIDE 6

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Outline

1

INTRODUCTION

2

SCALAR CONSERVATION

3

NUMERICAL ILLUSTRATIONS

4

EULER EQUATIONS

slide-7
SLIDE 7

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Outline

1

INTRODUCTION

2

SCALAR CONSERVATION

3

NUMERICAL ILLUSTRATIONS

4

EULER EQUATIONS

5

EULER, NUMERICAL ILLUSTRATIONS

slide-8
SLIDE 8

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Introduction Itroduction

1

INTRODUCTION

2

SCALAR CONSERVATION

3

NUMERICAL ILLUSTRATIONS

4

EULER EQUATIONS

5

EULER, NUMERICAL ILLUSTRATIONS

slide-9
SLIDE 9

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

The framework Nonlinear hyperbolic conservation laws (Euler equations)

slide-10
SLIDE 10

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

The framework Nonlinear hyperbolic conservation laws (Euler equations) Nonlinear hyperbolic problems produce discontinuities (shock waves, contacts)

slide-11
SLIDE 11

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

The framework Nonlinear hyperbolic conservation laws (Euler equations) Nonlinear hyperbolic problems produce discontinuities (shock waves, contacts) High-order linear methods introduce spurious oscillations in the regions of discontinuities (Gibbs)

slide-12
SLIDE 12

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

The framework Nonlinear hyperbolic conservation laws (Euler equations) Nonlinear hyperbolic problems produce discontinuities (shock waves, contacts) High-order linear methods introduce spurious oscillations in the regions of discontinuities (Gibbs) These unphysical oscillations propagate everywhere

slide-13
SLIDE 13

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

The framework Nonlinear hyperbolic conservation laws (Euler equations) Nonlinear hyperbolic problems produce discontinuities (shock waves, contacts) High-order linear methods introduce spurious oscillations in the regions of discontinuities (Gibbs) These unphysical oscillations propagate everywhere Use artificial viscosity to suppress oscillations

slide-14
SLIDE 14

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

The framework Nonlinear hyperbolic conservation laws (Euler equations) Nonlinear hyperbolic problems produce discontinuities (shock waves, contacts) High-order linear methods introduce spurious oscillations in the regions of discontinuities (Gibbs) These unphysical oscillations propagate everywhere Use artificial viscosity to suppress oscillations The (not so new) idea Regularize the PDE from the start.

slide-15
SLIDE 15

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

The framework Nonlinear hyperbolic conservation laws (Euler equations) Nonlinear hyperbolic problems produce discontinuities (shock waves, contacts) High-order linear methods introduce spurious oscillations in the regions of discontinuities (Gibbs) These unphysical oscillations propagate everywhere Use artificial viscosity to suppress oscillations The (not so new) idea Regularize the PDE from the start. Clearly identify the viscous regularization.

slide-16
SLIDE 16

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

The framework Nonlinear hyperbolic conservation laws (Euler equations) Nonlinear hyperbolic problems produce discontinuities (shock waves, contacts) High-order linear methods introduce spurious oscillations in the regions of discontinuities (Gibbs) These unphysical oscillations propagate everywhere Use artificial viscosity to suppress oscillations The (not so new) idea Regularize the PDE from the start. Clearly identify the viscous regularization. Discretize ⇒ artificial viscosity should be independent of discretization (except for a notion

  • f mesh-size). Should work for finite diff, finite elements, DG, spectral method, spectral

finite elements, etc.

slide-17
SLIDE 17

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

The (not so new) idea Viscous regularization gives µmax (First-order viscosity. Low order method).

slide-18
SLIDE 18

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

The (not so new) idea Viscous regularization gives µmax (First-order viscosity. Low order method). Use the physical principle of entropy production to limit the amount of artificial viscosity: µE

slide-19
SLIDE 19

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

The (not so new) idea Viscous regularization gives µmax (First-order viscosity. Low order method). Use the physical principle of entropy production to limit the amount of artificial viscosity: µE Entropy Viscosity: µ = min(µmax,µE).

slide-20
SLIDE 20

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

PDE-based vs Entropy-based artificial viscosities The use of a residual to construct an artificial viscosity is not new

slide-21
SLIDE 21

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

PDE-based vs Entropy-based artificial viscosities The use of a residual to construct an artificial viscosity is not new For instance, the so-called PDE-based artificial viscosity (Hughes-Mallet (1986), Johnson-Szepessy (1990))

slide-22
SLIDE 22

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

PDE-based vs Entropy-based artificial viscosities The use of a residual to construct an artificial viscosity is not new For instance, the so-called PDE-based artificial viscosity (Hughes-Mallet (1986), Johnson-Szepessy (1990)) PDE-residual is less robust than entropy residual The residual of the PDE goes to zero in the distribution sense (solve the PDE!)

slide-23
SLIDE 23

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

PDE-based vs Entropy-based artificial viscosities The use of a residual to construct an artificial viscosity is not new For instance, the so-called PDE-based artificial viscosity (Hughes-Mallet (1986), Johnson-Szepessy (1990)) PDE-residual is less robust than entropy residual The residual of the PDE goes to zero in the distribution sense (solve the PDE!) The entropy residual converges to a Dirac measure supported in the physical shocks.

slide-24
SLIDE 24

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Example (Riemann problem for 1D Burgers’ equation) IVP:

       ∂tu +∂x

  • u2

2

  • = 0,

(x,t) ∈ R×R+

u(x,0) = u0(x) =

  • 1

if x < 0 if x > 0 Solution: u(x,t) = 1− H

  • x − 1

2 t

  • PDE Residual:

∂tu +∂x

  • u2

2

  • = 1

2 H′ − 1 2 H′ = 0

slide-25
SLIDE 25

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Example (Riemann problem for 1D Burgers’ equation) IVP:

       ∂tu +∂x

  • u2

2

  • = 0,

(x,t) ∈ R×R+

u(x,0) = u0(x) =

  • 1

if x < 0 if x > 0 Solution: u(x,t) = 1− H

  • x − 1

2 t

  • PDE Residual:

∂tu +∂x

  • u2

2

  • = 1

2 H′ − 1 2 H′ = 0 If E(u) = u2

2 and F(u) = u3 3 , then the Entropy Residual:

∂t

  • u2

2

  • +∂x
  • u3

3

  • = 1

4 H′ − 1 3 H′ = − 1 12 H′ = − 1 12 δ

  • x − 1

2 t

  • < 0
slide-26
SLIDE 26

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Contact and other waves The residual of an entropy equation is large in shocks

slide-27
SLIDE 27

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Contact and other waves The residual of an entropy equation is large in shocks But it goes to zero in contacts

slide-28
SLIDE 28

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Contact and other waves The residual of an entropy equation is large in shocks But it goes to zero in contacts Automatic distinction between shock and other waves

slide-29
SLIDE 29

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Nonlinear scalar conservation equations Transport, mixing

1

INTRODUCTION

2

SCALAR CONSERVATION

3

NUMERICAL ILLUSTRATIONS

4

EULER EQUATIONS

5

EULER, NUMERICAL ILLUSTRATIONS

slide-30
SLIDE 30

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Model problem

     ∂tu +∇· f(u) = 0, (x,t) ∈ Ω×(0,T]

u(x,0) = u0(x) u(x,t)|Γ = g Entropy inequality

∂tE(u)+∇· F(u) ≤ 0

F′(u) = E′(u)f′(u)

slide-31
SLIDE 31

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Regularized model problem Add viscous dissipation to stabilize the model problem:

     ∂tu +∇· f(u) = −∇· q, (x,t) ∈ Ω×(0,T]

u(x,0) = u0(x) u(x,t)|Γ = g q = −µ∇u is a viscous flux.

µ will be the entropy viscosity (will depend on u).

slide-32
SLIDE 32

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Space discretization Discretize the domain Ω into ∪K ∈ Th K = ¯

K is assumed to be either a polygon or a polyhedron Finite element space V p

h consists of continuous polynomials of degree p ≥ 0

h : Ω −

→ R+ is defined by ∀K ∈ Th : h

  • K ≡ hK = diam(K)/p2.
slide-33
SLIDE 33

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Key idea 1: Entropy viscosity should not exceed 1

2 |f′|h

Numerical analysis 101: Up-winding=centered approx + 1

2 |β|h viscosity

1D Proof: Assume f ′

i ≥ 0

f ′

i

ui − ui−1 hi

= f ′

i

ui+1 − ui−1 2hi

− 1

2 f ′

i hi

ui+1 − 2ui + ui−1 hi In 1D

µmax = 1

2|f ′|h

slide-34
SLIDE 34

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Key idea 2: Use entropy residual to construct viscosity Evaluate entropy residual Dh := ∂tE(uh)+ f′(uh)·∇E(uh) at each time step Set

µE = h2

Dh normalization(E(uh)).

slide-35
SLIDE 35

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

The algorithm Choose one entropy functional (or more). EX: E(u) = |u − u0|, E(u) = (u − u0)2, etc.

slide-36
SLIDE 36

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

The algorithm Choose one entropy functional (or more). EX: E(u) = |u − u0|, E(u) = (u − u0)2, etc. Compute volume residual Dh|K := ∂tE(uh)+ f′(uh)·∇E(uh),

slide-37
SLIDE 37

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

The algorithm Choose one entropy functional (or more). EX: E(u) = |u − u0|, E(u) = (u − u0)2, etc. Compute volume residual Dh|K := ∂tE(uh)+ f′(uh)·∇E(uh), Compute interface residual Jh|∂K := [[∇F(uh) : (n⊗ n)]],

slide-38
SLIDE 38

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

The algorithm Choose one entropy functional (or more). EX: E(u) = |u − u0|, E(u) = (u − u0)2, etc. Compute volume residual Dh|K := ∂tE(uh)+ f′(uh)·∇E(uh), Compute interface residual Jh|∂K := [[∇F(uh) : (n⊗ n)]], Construct viscosity associated with entropy residual over each mesh cell K:

µE,K := cEh2

K

max(DhL∞(K),JhL∞(∂K)) E(uh)

slide-39
SLIDE 39

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

The algorithm Choose one entropy functional (or more). EX: E(u) = |u − u0|, E(u) = (u − u0)2, etc. Compute volume residual Dh|K := ∂tE(uh)+ f′(uh)·∇E(uh), Compute interface residual Jh|∂K := [[∇F(uh) : (n⊗ n)]], Construct viscosity associated with entropy residual over each mesh cell K:

µE,K := cEh2

K

max(DhL∞(K),JhL∞(∂K)) E(uh) Compute maximum upwind viscosity over each mesh cell K:

µmax,K = cmaxhK f′(uh)L∞(K)

slide-40
SLIDE 40

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

The algorithm Choose one entropy functional (or more). EX: E(u) = |u − u0|, E(u) = (u − u0)2, etc. Compute volume residual Dh|K := ∂tE(uh)+ f′(uh)·∇E(uh), Compute interface residual Jh|∂K := [[∇F(uh) : (n⊗ n)]], Construct viscosity associated with entropy residual over each mesh cell K:

µE,K := cEh2

K

max(DhL∞(K),JhL∞(∂K)) E(uh) Compute maximum upwind viscosity over each mesh cell K:

µmax,K = cmaxhK f′(uh)L∞(K)

Compute viscosity over each mesh cell K by comparing µmax,K and µE,K :

µK := min(µmax,K ,µE,K )

slide-41
SLIDE 41

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

cmax and cE Definition of µK can be localized when polynomial degree p is large.

slide-42
SLIDE 42

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

cmax and cE Definition of µK can be localized when polynomial degree p is large. cmax = 1

2 in 1D, with p = 1.

slide-43
SLIDE 43

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

cmax and cE Definition of µK can be localized when polynomial degree p is large. cmax = 1

2 in 1D, with p = 1.

cmax can be theoretically estimated (depends on space dimension, p, and type of mesh).

slide-44
SLIDE 44

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

cmax and cE Definition of µK can be localized when polynomial degree p is large. cmax = 1

2 in 1D, with p = 1.

cmax can be theoretically estimated (depends on space dimension, p, and type of mesh). cE ≈ 1 in applications.

slide-45
SLIDE 45

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

The algorithm Space approximation: Galerkin + entropy viscosity: Z

Ω(∂tuh +∇·(f(uh)))vhdx

  • Galerkin(centered approximation)

+∑

K

Z

K µK ∇uh∇vhdx

  • Entropy viscosity

= 0, ∀vh ∈ V p

h

slide-46
SLIDE 46

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

The algorithm Space approximation: Galerkin + entropy viscosity: Z

Ω(∂tuh +∇·(f(uh)))vhdx

  • Galerkin(centered approximation)

+∑

K

Z

K µK ∇uh∇vhdx

  • Entropy viscosity

= 0, ∀vh ∈ V p

h

Time approximation: Use an explicit time stepping: BDF2, RK3, RK4, etc.

slide-47
SLIDE 47

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

The algorithm Space approximation: Galerkin + entropy viscosity: Z

Ω(∂tuh +∇·(f(uh)))vhdx

  • Galerkin(centered approximation)

+∑

K

Z

K µK ∇uh∇vhdx

  • Entropy viscosity

= 0, ∀vh ∈ V p

h

Time approximation: Use an explicit time stepping: BDF2, RK3, RK4, etc. Make the viscosity explicit ⇒ Stability under CFL condition.

slide-48
SLIDE 48

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Example (Finite differences + RK2)

(un,µn) Given. Advance half time step to get wn

wn

i = un i − 1

2 ∆t f(un

i+1)− f(un i−1)

2hi

+

  • µn

i

un

i+1 − un i

hi

−µn

i−1

un

i − un i−1

hi−1

slide-49
SLIDE 49

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Example (Finite differences + RK2)

(un,µn) Given. Advance half time step to get wn

wn

i = un i − 1

2 ∆t f(un

i+1)− f(un i−1)

2hi

+

  • µn

i

un

i+1 − un i

hi

−µn

i−1

un

i − un i−1

hi−1

  • Compute entropy residuals (volume and interface)

Di := E(wn

i )− E(un i )

∆t/2 +

F(wn

i+1)− F(wn i )

hi Di+1 := E(wn

i+1)− E(un i+1)

∆t/2 +

F(wn

i+1)− F(wn i )

hi Ji := F(wn

i+1)− F(wn i )

hi

F(wn

i )− F(wn i−1)

hi−1

slide-50
SLIDE 50

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Example (Finite differences + RK2) Compute entropy viscosity µn+1

µi,max = 1

2f ′L∞(xi−1,xi+1)hi

µi,E = hi

2 max(|Di|,|Di+1|,|Ji|)

E(wn)

µn+1

i

= min(µi,max,µi,E).

slide-51
SLIDE 51

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Example (Finite differences + RK2) Compute entropy viscosity µn+1

µi,max = 1

2f ′L∞(xi−1,xi+1)hi

µi,E = hi

2 max(|Di|,|Di+1|,|Ji|)

E(wn)

µn+1

i

= min(µi,max,µi,E).

Compute un+1 un+1

i

= un

i −∆t

f(wn

i+1)− f(wn i−1)

2hi

+

  • µn+1

i

wn

i+1 − wn i

hi

−µn+1

i−1

wn

i − wn i−1

hi−1

slide-52
SLIDE 52

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Theorem (AB,JLG,BP (2012)) The RK2 time approximation with finite element approximation is stable under CFL condition for all polynomial degrees. (Better than usual δ < ch

4 3 condition for piecewise linear approximation.)

slide-53
SLIDE 53

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Theorem (AB,JLG,BP (2012)) The RK2 time approximation with finite element approximation is stable under CFL condition for all polynomial degrees. (Better than usual δ < ch

4 3 condition for piecewise linear approximation.)

Conjecture Convergence to the entropy solution is under way for convex, Lipschitz flux.

slide-54
SLIDE 54

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Theorem (AB,JLG,BP (2012)) The RK2 time approximation with finite element approximation is stable under CFL condition for all polynomial degrees. (Better than usual δ < ch

4 3 condition for piecewise linear approximation.)

Conjecture Convergence to the entropy solution is under way for convex, Lipschitz flux. Why convergence is so difficult to prove? Key a priori estimate Z T

0 µ(u)|∇u|2dx ≤ c

Ok in {µ(u)(x,t) = 1

2 f′L∞h} (non-smooth region)

The estimate is useless in smooth region. Explicit time stepping makes the viscosity depend on the past.

slide-55
SLIDE 55

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Extensions Algorithm extends naturally to Discontinuous Galerkin setting (PhD thesis Valentin Zingan (2011) Texas A&M). Lagrangian formulation under way (PhD thesis Vladimir Tomov, Texas A&M).

slide-56
SLIDE 56

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Nonlinear scalar conservation equations Johannes Martinus Burgers

1

INTRODUCTION

2

SCALAR CONSERVATION

3

NUMERICAL ILLUSTRATIONS

4

EULER EQUATIONS

5

EULER, NUMERICAL ILLUSTRATIONS

slide-57
SLIDE 57

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Example (1D scalar transport)

∂tu +∂xu = 0, periodic BCs. P1 finite elements, RKx (x ≥ 2).

Using very nonlinear entropies help to satisfy the maximum principle for scalar conservation and steepen contacts.

(a) E(u) = (u − 1

2 )2, N = 100, t = 1

(b) E(u) = (u − 1

2 )30, N = 100, t = 1

slide-58
SLIDE 58

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Example (2D scalar transport)

∂tu +β·∇u = 0, (β solid rotation). Q1 finite elements, RKx (x ≥ 2).

Using very nonlinear entropies help to satisfy the maximum principle for scalar conservation and steepen contacts.

(c) E(u) = (u − 1

2 )2, N = 1002, t = 1

(d) E(u) = (u − 1

2 )30, N = 1002, t = 1

slide-59
SLIDE 59

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Example (3D scalar transport)

∂tu +β·∇u = 0, (β solid rotation about Oz) Q1 finite elements, RKx (x ≥ 2).

Level sets of a cube in rotation on a (100)3 grid in the original configuration and after 1, 10, and 100 rotations. E(u) = (u − 1

2)20, 0 ≤ u ≤ 1. (e) t = 0 (f) t = 1 (g) t = 10 (h) t = 100

slide-60
SLIDE 60

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Example (1D Burgers) Second-order Finite Differences + RKx Burgers, t = 0.25, N = 50, 100, and 200 grid points.

(i) uh (j) νh(uh)|∂x uh|

slide-61
SLIDE 61

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Example (1D Burgers) Fourier approximation + RKx Burgers at t = 0.25 with N = 50, 100, and 200.

1 −1 1

X−Axis

(k) uh

1 1.0×10−6 1.0×10−5 1.0×10−4 1.0×10−3 1.0×10−2

X−Axis

(l) νN(uN)

slide-62
SLIDE 62

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Example (1D Burgers) DG1 + RKx (V. Zingan) Entropy viscosity preserve accuracy outside shocks. Compute error in [0,0.5− 0.025]∪[0.5+ 0.025] at t = 0.25 with DG1 cells dofs h L1-error R1 L2-error R2 5 10 2e-01 1.677e-01

  • 2.450e-01
  • 10

20 1e-01 7.866e-02 1.09 1.420e-01 0.79 20 40 5e-02 2.133e-02 1.88 4.891e-02 1.54 40 80 2.5e-02 1.779e-03 3.58 4.918e-03 3.31 80 160 1.25e-02 1.517e-04 3.55 1.894e-04 4.69 160 320 6.25e-03 2.989e-05 2.34 4.075e-05 2.22 320 640 3.125e-03 6.903e-06 2.11 9.832e-06 2.05 640 1280 1.5625e-03 1.720e-06 2.01 2.464e-06 2.00

slide-63
SLIDE 63

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Example (1D Burgers) DG2 + RKx (V. Zingan) Entropy viscosity preserve accuracy outside shocks. Compute error in [0,0.5− 0.025]∪[0.5+ 0.025] at t = 0.25 with DG2. cells dofs h L1-error R1 L2-error R2 5 15 2e-01 4.039e-02

  • 8.362e-02
  • 10

30 1e-01 8.040e-03 2.33 1.398e-02 2.58 20 60 5e-02 2.242e-03 1.84 6.584e-03 1.08 40 120 2.5e-02 2.149e-04 3.38 5.229e-04 3.65 80 240 1.25e-02 1.366e-05 3.98 1.621e-05 5.01 160 480 6.25e-03 1.644e-06 3.06 1.949e-06 3.06 320 960 3.125e-03 2.018e-07 3.03 2.410e-07 3.02 640 1920 1.5625e-03 2.505e-08 3.01 3.003e-08 3.01

slide-64
SLIDE 64

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Example (1D Burgers) DG3 + RKx (V. Zingan) Entropy viscosity preserve accuracy outside shocks. Compute error in [0,0.5− 0.025]∪[0.5+ 0.025] at t = 0.25 with DG3. cells dofs h L1-error R1 L2-error R2 5 20 2e-01 1.678e-02

  • 2.556e-02
  • 10

40 1e-01 9.932e-03 0.76 2.445e-02 0.10 20 80 5e-02 2.019e-03 2.30 6.712e-03 1.86 40 160 2.5e-02 1.761e-04 3.52 6.608e-04 3.35 80 320 1.25e-02 5.716e-06 4.95 7.317e-06 6.50 160 640 6.25e-03 5.791e-07 3.30 7.531e-07 3.28 320 1280 3.125e-03 6.225e-08 3.22 7.843e-08 3.26 640 2560 1.5625e-03 7.485e-09 3.06 9.052e-09 3.12

slide-65
SLIDE 65

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Example (1D Nonconvex flux) Fourier approximation 1D equation

∂tu +∂xf(u) = 0, u(x,0) = u0(x)

Flux f(u) =

  • 1

4 u(1− u)

if u < 1

2 , 1 2 u(u − 1)+ 3 16

if u ≥ 1

2 ,

Initial data u0(x) =

  • 0,

x ∈ (0,0.25], 1, x ∈ (0.25,1]

0.3 0.4 0.5 0.6 0.7 0.8 0.9 1 −0.1 1 1.1

X−Axis

t = 1 with N = 200, 400, 800, and 1600.

slide-66
SLIDE 66

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Example (2D Burgers)

P1 finite elements.

2D Burgers

∂tu +∂x( 1

2 u2)+∂y( 1 2 u2) = 0

Initial data u0(x,y) =

         −0.2

if x < 0.5, y > 0.5

−1

if x > 0.5, y > 0.5 0.5 if x < 0.5, y < 0.5 0.8 if x > 0.5, y < 0.5 Solution at t = 1

2 , 3×104 nodes.

slide-67
SLIDE 67

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Example (2D Burgers)

P1 and P2 finite elements. P1 approximation

h P1 L2 rate L1 rate 5.00E-2 2.3651E-1 – 9.3661E-2 – 2.50E-2 1.7653E-1 0.422 4.9934E-2 0.907 1.25E-2 1.2788E-1 0.465 2.5990E-2 0.942 6.25E-3 9.3631E-2 0.449 1.3583E-2 0.936 3.12E-3 6.7498E-2 0.472 6.9797E-3 0.961

P2 approximation

h P2 L2 rate L1 rate 5.00E-2 1.8068E-1 – 5.2531E-2 – 2.50E-2 1.2956E-1 0.480 2.7212E-2 0.949 1.25E-2 9.5508E-2 0.440 1.4588E-2 0.899 6.25E-3 6.8806E-2 0.473 7.6435E-3 0.932

slide-68
SLIDE 68

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Example (Buckley Leverett)

P2 finite elements.

The equation

∂tu +∂xf(u)+∂yg(u) = 0.

Flux f(u) =

u2 u2+(1−u)2 ,

g(u) = f(u)(1− 5(1− u)2) Non-convex fluxes (composite waves) Initial data u(x,y,0) =

  • 1,
  • x2 + y2 ≤ 0.5

0, else Solution at t = 1

2 , 3×104 nodes.

slide-69
SLIDE 69

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Example (KPP)

P2 and Q4 finite elements.

The equation

∂tu +∂xf(u)+∂yg(u) = 0.

Flux f(u) = sin(u), g(u) = cos(u), Non-convex fluxes (composite waves) Initial data u(x,y,0) =

  • 7

2π,

  • x2 + y2 ≤ 1

1 4π,

else

P2

Solution uh

Q4

Viscosity µh

slide-70
SLIDE 70

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Compressible Euler equations Leonhard Euler

1

INTRODUCTION

2

SCALAR CONSERVATION

3

NUMERICAL ILLUSTRATIONS

4

EULER EQUATIONS

5

EULER, NUMERICAL ILLUSTRATIONS

slide-71
SLIDE 71

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Compressible Euler equations

∂tc+∇·F(c) = 0,

c =

  ρ

m E

 ,

F(c) =

 

m

1

ρ m⊗ m

1

ρ m(E + p)

 

Equation of state Ideal gas e.g. p = (γ− 1)(E − 1 2ρ m2).

slide-72
SLIDE 72

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Compressible Euler equations

∂tc+∇·F(c) = 0,

c =

  ρ

m E

 ,

F(c) =

 

m

1

ρ m⊗ m

1

ρ m(E + p)

 

Equation of state Ideal gas e.g. p = (γ− 1)(E − 1 2ρ m2). Entropy inequality

∂S +∇·(uS) ≥ 0,

u := m

ρ

S = ρlog(eρ1−γ), e := 1

ρ(E − 1

2ρ m2)

slide-73
SLIDE 73

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Viscous regularization? Entropy viscosity = min(µmax,µE).

slide-74
SLIDE 74

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Viscous regularization? Entropy viscosity = min(µmax,µE). What is a good viscous regularization of Euler? µmax?

slide-75
SLIDE 75

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Lax-Friedrich regularization (parabolic regularization) In 1D, LxF is an approximation of

∂tc+∇·F(c)− 1

2 (|u|+ a)h∇2c = 0 where h is the mesh size, a is the speed of sound (Perthame, CW Shu (1996)).

slide-76
SLIDE 76

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Lax-Friedrich regularization (parabolic regularization) In 1D, LxF is an approximation of

∂tc+∇·F(c)− 1

2 (|u|+ a)h∇2c = 0 where h is the mesh size, a is the speed of sound (Perthame, CW Shu (1996)). Not Gallilean/rotational invariant.

slide-77
SLIDE 77

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Navier-Stokes regularization

∂tc+∇·F(c)−∇·q = 0,

q =

  µ∇su κ∇T  

T is the temperature.

µ > 0, κ > 0.

slide-78
SLIDE 78

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Navier-Stokes regularization

∂tc+∇·F(c)−∇·q = 0,

q =

  µ∇su κ∇T  

T is the temperature.

µ > 0, κ > 0.

No regularization on the mass. Discrete positivity of ρ?

slide-79
SLIDE 79

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Navier-Stokes regularization

∂tc+∇·F(c)−∇·q = 0,

q =

  µ∇su κ∇T  

T is the temperature.

µ > 0, κ > 0.

No regularization on the mass. Discrete positivity of ρ? Case κ = 0, ideal gas

ρ(∂ts + u·∇s)−∇·(κe−1∇T) = µ

e |∇su|2 + κ e2 ∇T·∇e

slide-80
SLIDE 80

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Navier-Stokes regularization

∂tc+∇·F(c)−∇·q = 0,

q =

  µ∇su κ∇T  

T is the temperature.

µ > 0, κ > 0.

No regularization on the mass. Discrete positivity of ρ? Case κ = 0, ideal gas

ρ(∂ts + u·∇s)−∇·(κe−1∇T) = µ

e |∇su|2 + κ e2 ∇T·∇e Sets {s(ρ,e) > s0} are not positively invariant if κ = 0. (See e.g. Serre (1999) Discrete positivity of e?

slide-81
SLIDE 81

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Minimum principle on the specific entropy Formally, solutions to Euler equations should satisfy

ρ(∂ts + u·∇s) ≥ 0.

slide-82
SLIDE 82

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Minimum principle on the specific entropy Formally, solutions to Euler equations should satisfy

ρ(∂ts + u·∇s) ≥ 0.

Minimum principle (assuming ρ > 0, no vacuum) s(x,t) ≥ min

z s(z,0),

a.e. x, t.

slide-83
SLIDE 83

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Minimum principle on the specific entropy Formally, solutions to Euler equations should satisfy

ρ(∂ts + u·∇s) ≥ 0.

Minimum principle (assuming ρ > 0, no vacuum) s(x,t) ≥ min

z s(z,0),

a.e. x, t. Provided ρ > 0 ⇒ e > 0 (minimum principle on e).

slide-84
SLIDE 84

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Minimum principle on the specific entropy Formally, solutions to Euler equations should satisfy

ρ(∂ts + u·∇s) ≥ 0.

Minimum principle (assuming ρ > 0, no vacuum) s(x,t) ≥ min

z s(z,0),

a.e. x, t. Provided ρ > 0 ⇒ e > 0 (minimum principle on e). Is there a viscous regularization that can reproduce this property?

slide-85
SLIDE 85

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Minimum entropy preserving regularization

∂tc+∇·F(c)−∇·q = 0,

q =

 

f g h+ g·u

 

slide-86
SLIDE 86

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Minimum entropy preserving regularization

∂tc+∇·F(c)−∇·q = 0,

q =

 

f g h+ g·u

 

f, g, h to be determined so that

ρ(∂ts + u·∇s)−∇·(κ(ρ,e)∇ϕ(s))+ conservative ≥ 0,

and

∂tS +∇·(uS) ≥ 0.

slide-87
SLIDE 87

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Minimum entropy preserving regularization

∂tc+∇·F(c)−∇·q = 0,

q =

 

f g h+ g·u

 

f, g, h to be determined so that

ρ(∂ts + u·∇s)−∇·(κ(ρ,e)∇ϕ(s))+ conservative ≥ 0,

and

∂tS +∇·(uS) ≥ 0.

Key hypotheses f·∇ρ ≥ 0 ⇒ {ρ > 0} positively invariant set.

slide-88
SLIDE 88

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Minimum entropy preserving regularization

∂tc+∇·F(c)−∇·q = 0,

q =

 

f g h+ g·u

 

f, g, h to be determined so that

ρ(∂ts + u·∇s)−∇·(κ(ρ,e)∇ϕ(s))+ conservative ≥ 0,

and

∂tS +∇·(uS) ≥ 0.

Key hypotheses f·∇ρ ≥ 0 ⇒ {ρ > 0} positively invariant set.

ϕ′(s) ≥ 0, κ(ρ,e) ≥ 0 ⇒ {s(ρ,e) > s0} positively invariant sets.

slide-89
SLIDE 89

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Strategy

ρsρ×mass balance+ se×internal energy balance

Recombine the terms so that conservative term is −∇·κ∇s, rhs is positive, and hope for the best.

slide-90
SLIDE 90

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Simple choice f = κ sρ

ρsρ − ese ∇ρ.

g = µ∇su+ u⊗ f. h = κ∇e − 1 2 u2f.

slide-91
SLIDE 91

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Simple choice f = κ sρ

ρsρ − ese ∇ρ.

g = µ∇su+ u⊗ f. h = κ∇e − 1 2 u2f. Proposition (JLG-BP (2012)) Assume ideal gas, γ > 1. Assume existence of a smooth solution. The sets {s(ρ,e) > s0} are positively invariant and

ρ(∂ts + u∇s)−∇·(κ∇s) = µ

e |∇su|2 + κ e2 ∇T·∇e.

∂tS +∇·(uS +κ(∇s + γ− 1 γ

s∇log(ρ))) ≥ 0. Similar properties hold for a stiffened gas (conjecture: holds on a large class of eos)

slide-92
SLIDE 92

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Example Ideal gas f = κ cv

γ− 1 γ ∇ρ ρ .

slide-93
SLIDE 93

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Connection with a phenomenological model by H. Brenner (2006) Seems a bit controversial in the physics literature Seems to give some leeway in the analysis of Navier-Stokes? (Feireisl-Vasseur (2008))

slide-94
SLIDE 94

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Connection with a phenomenological model by H. Brenner (2006) Seems a bit controversial in the physics literature Seems to give some leeway in the analysis of Navier-Stokes? (Feireisl-Vasseur (2008)) Brenner’s model (ideal gas) um = u−ρ−1f f = κ cp

∇ρ ρ ∂tρ+∇·(umρ) = 0 ∂t(ρu)+∇·(u⊗ρum)+∇p −∇·τv = 0 ∂t(ρe)+∇·(ume)+ p∇·u−∇·(κ∇T)−∇·(τv·v) = 0

Our regularization (ideal gas) um = u−ρ−1f f = κ cp 1

γ− 1 ∇ρ ρ ∂tρ+∇·(umρ) = 0 ∂t(ρu)+∇·(u⊗ρum)+∇p −∇·τv = 0 ∂t(ρe)+∇·(ue)+ p∇·u−∇·(κ∇T)−∇·(τv·v) = 0

slide-95
SLIDE 95

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

The algorithm, S =

ρ

log(eρ1−γ)

Compute cell entropy residual, Dh|K := ∂tS +∇·(uS) Compute interface entropy residual Jh|∂K = [[(∇uS) : (n⊗ n)]] Define

µE|K = cEh2

K max(Dh|K L∞(K),Jh|∂K L∞(∂K))

Compute maximum local viscosity: µmax,K = cmaxhkρu+(γT)

1 2 ∞,K

Compute entropy viscosity

µK = min(µmax,K ,µE|K ).

Define artificial thermal diffusivity

κK = PµK ,

P ≈ 0.2.

slide-96
SLIDE 96

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

The algorithm (continued) Use Galerkin for space approximation (use your favorite method: FE, FD, Fourier, Spectral, DG, etc.) Use explicit RK to step in time.

slide-97
SLIDE 97

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

1D Euler flows + Fourier Solution method: Fourier + RK4 + entropy viscosity

slide-98
SLIDE 98

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

1D Euler flows + Fourier Solution method: Fourier + RK4 + entropy viscosity

10 0.325 1 1.4 2 3 4 5 6 7 8 9 0.5 1 2 3 4 5 0.5 0.6 0.7 0.8 0.9 1 2 3 4 5 6 7

Figure: Lax shock tube, t = 1.3, 50, 100, 200 points. Shu-Osher shock tube, t = 1.8, 400, 800 points. Right: Woodward-Collela blast wave, t = 0.038, 200, 400, 800, 1600 points.

slide-99
SLIDE 99

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

DG, 2D Riemann problem Density Q1, Q2, and Q3

slide-100
SLIDE 100

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

DG, 2D Riemann problem Density Q3 and associated dynamic viscosity

slide-101
SLIDE 101

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Cylinder in a channel, Mach 2, P1 FE (By M. Nazarov)

slide-102
SLIDE 102

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Bubble, density ratio 10−1, Mach 1.65, P1 FE (by M. Nazarov)

slide-103
SLIDE 103

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Mach 3 Wind Tunnel with a Step, P1 finite elements, 1.3 105 nodes

slide-104
SLIDE 104

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Mach 10 Double Mach reflection, P1 finite elements

P1 FE, 4.5 105 nodes, t = 0.2

Movie, density field

slide-105
SLIDE 105

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Sod shocktube. Lagrangian hydro. Q1 FEM, 1 × 1024 (V. Tomov)

slide-106
SLIDE 106

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Riemann pb. Lagrangian hydro. Q2 FEM, 32 × 32, (V. Tomov)

slide-107
SLIDE 107

INTRODUCTION SCALAR CONSERVATION NUMERICAL ILLUSTRATIONS EULER EQUATIONS EULER, NUMERICAL ILLUSTRATIONS

Sedov explosion. Lagrangian hydro. Q3 FEM, 32 × 32, (V. Tomov)