A unified moving grid method for
hyperbolic systems of
partial differential equations
Keh-Ming Shyue
Department of Mathematics National Taiwan University
Taiwan
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 1/73
Talk objective
Describe a unified-coordinate moving grid approach for numerical approximation of first-order hyperbolic system
∂
∂tq (~x, t) +
N
X
j=1
Aj ∂q
∂xj = 0 or ∂
∂tq (~x, t) +
N
X
j=1
∂
∂xj fj (q, ~x) = 0
with discontinuous initial data in general N ≥ 1 geometry
~x = (x1, x2, . . . , xN): spatial vector, t: time q ∈ lRm: vector of m state quantities
Aj ∈ lRm×m: m × m matrix, fj ∈ lRm: flux vector
Model is assumed to be hyperbolic, where PNj=1 αjAj or
PN
j=1 αj (∂fj/∂q) is diagonalizable with real e-values, αj ∈ lR
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 2/73
Talk outline
Preliminary
Sample models in Cartesian coordinates Cartesian cut-cell method & results
Mathematical model in unified coordinates Basic physical equations
Moving grid condition & geometric conservation law Finite volume approximation
Riemann problem & approximate solution Godunov-type method
Numerical examples Future work
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 3/73
Preliminary: model equations
Acoustics in heterogeneous media
∂
∂t
p u1 u2
+
0 K 0
1/ρ 0 0
0 0 0
∂
∂x1
p u1 u2
+
0 0 K
0 0 0
1/ρ 0 0
∂
∂x2
p u1 u2
= 0
Shallow water equations with bottom topography
∂
∂t
h hui
+
N
X
j=1
∂
∂xj
huj
huiuj + 12gh2δij
=
0
−gh∂x∂B
i
, i = 1, . . . , N
p: pressure, ρ: density, K: bulk modulus, ui: xi-velocity h: water height, δij: Kronecker delta, B: bottom topo.
g: gravitational constant
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 4/73
Model equations (Cont.)
Compressible Euler equations
∂
∂t
ρ ρui
E
+
N
X
j=1
∂
∂xj
ρuj
ρuiuj + pδij Euj + puj
= 0, i = 1, . . . , N
E = ρe + ρ PN
j=1 u2j/2: total energy, e(ρ, p): internal energy Note constitutive law for p is required to complete the
model, for example,
Polytropic gas: p = (γ − 1)ρe
Stiffened gas: p = (γ − 1)ρe − γB
van der Waals gas: p = 1−bργ−1 ρe + aρ2 − aρ2
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 5/73
Model equations (Cont.)
Compressible reduced 2-phase flow model
Proposed by Murrone & Guillard (JCP 2005)
Derive from Baer & Nunziato’s model by assuming 1-pressure & 1-velocity across interfaces
∂
∂t
α1ρ1 α2ρ2 ρui
E
+
N
X
j=1
∂
∂xj
α1ρ1uj α2ρ2uj ρuiuj + pδij
Euj + puj
= 0, i = 1, . . . , N
∂α1
∂t +
N
X
j=1
uj ∂α1
∂xj = α1α2 ρ1c21 − ρ2c22 P2
k=1 αkρkc2k
! N X
j=1
∂uj
∂xj
αk: volume fraction for phase k, α1 + α2 = 1, ck:
sound speed, ρ = α1ρ1 + α2ρ2: mixture (total) density
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 6/73
Reduced 2-phase model (Cont.)
Mixture equation of state: p = p(α2, α1ρ1, α2ρ2, ρe) Isobaric closure: p1 = p2 = p
For a class of EOS, explicit formula for p is available For some complex EOS, from (α2, ρ1, ρ2, ρe) in model equations we recover p by solving
p1(ρ1, ρ1e1) = p2(ρ2, ρ2e2) &
2
X
k=1
αkρkek = ρe
Shyue (JCP 1998) & Allaire et al. (JCP 2002) proposed
∂α1
∂t +
N
X
j=1
uj ∂α1
∂xj = 0
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 7/73
Preliminary: model problem
Moving cylindrical vessel with ~ub = (1, 0)
initial condition interface
media 1 media 2
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 8/73
Model problem: grid system
Typical discrete grid systems for cylindrical vessel
−0.5 0 0.5
−0.8
−0.6
−0.4
−0.2 0 0.2 0.4 0.6 0.8
−1 −0.5 0 0.5 1
−1
−0.5 0 0.5
1 Cartesian grid Quadrilateral grid
x1
x1
x 2
x2
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 9/73
Model problem: Cartesian results
Compressible flow case with air-helium interface
initial condition interface
air helium
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 10/73
Model problem: Cartesian results
Compressible flow case with air-helium interface Solution at time t = 0.25
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 11/73
Model problem: Cartesian results
Compressible flow case with air-helium interface Solution at time t = 0.5
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 12/73
Model problem: Cartesian results
Compressible flow case with air-helium interface Solution at time t = 0.75
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 13/73
Model problem: Cartesian results
Compressible flow case with air-helium interface Solution at time t = 1
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 14/73
Cartesian cut-cell method
Finite volume formulation of wave propagation method, QnS gives approximate value of cell average of solution q over cell S at time tn
QnS ≈ 1 M(S)
Z
S
q(X, tn) dV
M(S): measure (area in 2D or volume in 3D) of cell S
C E
D F
G H
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 15/73
Cartesian cut-cell method (Cont.)
First order version: Piecewise constant wave update Godunov-type method: Solve Riemann problem at each cell interface in normal direction & use resulting waves to update cell averages
Qn+1S := Qn+1S −M (Wp ∩ S)
M(S) Rp, Rp being jump from RP
↓
↓
Wp Wp
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 16/73
Cartesian cut-cell method (Cont.)
First order version: Transverse-wave included
Use transverse portion of equation, solve Riemann problem in transverse direction, & use resulting
waves to update cell averages as usual
Stability of method is typically improved, while conservation of method is maintained
↓ ↓
Wpq Wpq
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 17/73
Cartesian cut-cell method (Cont.)
High resolution version: Piecewise linear wave update wave before propagation after propagation
a) b)
c) d)
αpr
p/2
αpr
p/2
λp∆ t
λp∆ t
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 18/73
Embedded boundary conditions
For tracked segments representing rigid (solid wall)
boundary (stationary or moving), reflection principle is used to assign states for fictitious subcells in each time step:
zC := zE (z = ρ, p, α)
~uC := ~uE − 2(~uE · ~n)~n + 2(~ub · ~n)
~ub: moving boundary velocity
C
E F
G H
~n
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 19/73
Cylinder lift-off problem
Moving speed of cylinder is governed by Newton’s law Pressure contours are shown with a 1000 × 200 grid
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
0 0.05 0.1 0.15 0.2
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
0 0.05 0.1 0.15 0.2
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
0 0.05 0.1 0.15 0.2
t = 0
t = 0.1641s
t = 0.30085s
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 20/73
Shock-Bubble Interaction Problem
Cartesian grid results
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 21/73
Shock-Bubble Interaction Problem
Cartesian grid results
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 21/73
Shock-Bubble Interaction Problem
Cartesian grid results
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 21/73
Shock-Bubble Interaction Problem
Cartesian grid results
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 21/73
Shock-Bubble Interaction Problem
Cartesian grid results
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 21/73
Shock-Bubble Interaction Problem
Cartesian grid results
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 21/73
Shock-Bubble Interaction Problem
Cartesian grid results
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 21/73
Shock-Bubble Interaction Problem
Cartesian grid results
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 21/73
Shock-Bubble Interaction Problem
Cartesian grid results
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 21/73
Shock-Bubble Interaction Problem
Cartesian grid results
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 21/73
Shock-Bubble Interaction (cont.)
Approximate locations of interfaces
time=55µs
air R22
time=115µs time=135µs
time=187µs time=247µs time=200µs
time=342µs time=417µs time=1020µs
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 22/73
Cartesian cut-cell: Remarks
Small cell problems Stability
Accuracy
Numerical implementation
Challenging task for embedded 3D geometry
Challenging task for interface tracking in general geometry (even in 2D)
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 23/73
Cartesian cut-cell: Remarks
Small cell problems Stability
Accuracy
Numerical implementation
Challenging task for embedded 3D geometry
Challenging task for interface tracking in general geometry (even in 2D)
This work is aimed at devising a more robust moving grid method than the aforementioned Cartesian cut-cell method
To begin with, take unified coordinate method proposed by Hui & coworkers (JCP 1999, 2001)
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 23/73
Model system in unified coord.
To begin with, consider a general non-rectangular domain Ω (N = 2 shown below) & introduce coordinate change
(~x, t) 7→ (~ξ, τ ) via
ξ = (ξ~ 1, ξ2, . . . , ξN) , ξj = ξj(~x, t), τ = t,
that maps a physical domain Ω to a logical one Ωˆ
−1 0 1
−1.5
−1
−0.5 0
−1 −0.5 0 0.5
−2
−1.5
−1
−0.5
x1 x2
ξ1
ξ2
Ω −→ Ωˆ
mapping
ξ1 = ξ1(x1, x2) ξ2 = ξ2(x1, x2)
logical domain physical domain
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 24/73
Unified coord. model (Cont.)
To derive hyperbolic conservation laws, for example, in this generalized coordinate (~ξ, τ ), using chain rule of partial
differentiation, derivatives in physical space become
∂
∂t = ∂
∂τ +
N
X
i=1
∂ξi
∂t
∂
∂ξi, ∂
∂xj =
N
X
i=1
∂ξi
∂xj
∂
∂ξi for j = 1, 2, . . . , N ,
yielding the equation
∂q
∂τ +
N
X
j=1
∂ξj
∂t
∂q
∂ξj +
N
X
i=1
∂ξi
∂xj
∂fj
∂ξi
!
= 0
Note this is not in divergence form, and hence is not conservative.
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 25/73
Unified coord. model (Cont.)
To obtain a strong conservation-law form as
∂ ˜q
∂τ +
N
X
j=1
∂ ˜fj
∂ξj = ˜ψ
for some q˜, f˜j, & ψ˜, we first multiply J = det
∂~ξ/∂~x−1
to the aforementioned non-conservative equations, and have
J ∂q
∂τ +
N
X
j=1
J ∂ξj
∂t
∂q
∂ξj +
N
X
i=1
∂ξi
∂xj
∂fj
∂ξi
!
= Jψ(q)
Then use differentiation by parts, u dv = d(uv) − v du, yielding
∂ ˜q
∂τ +
N
X
j=1
∂ ˜fj
∂ξj = ˜ψ + G with q = Jq˜ , f˜j = J
q∂ξ∂tj + PN
k=1 fk ∂x∂ξj
k
, ψ = Jψ,˜ & G (see next)
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 26/73
Unified coord. model (Cont.)
Here we have
G = q
∂J
∂τ +
N
X
j=1
∂
∂ξj
J ∂ξj
∂t
+
N
X
j=1
fj
" N X
k=1
∂
∂ξk
J ∂ξk
∂xj
#
With the use of basic grid-metric relations, it is known that
∂J
∂τ +
N
X
j=1
∂
∂ξj
J ∂ξj
∂t
= 0 (geometric conservation law)
N
X
k=1
∂
∂ξk
J ∂ξk
∂xj
= 0 ∀ j = 1, 2, . . . , N (compatibility condition)
and hence G = 0
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 27/73
Unified coord. model (Cont.)
Shallow water equations
∂
∂τ
hJ hJui
+
N
X
j=1
∂
∂ξj J
hUj
huiUj + 12gh2δij ∂ξ∂xj
i
=
0
−ghJ ∂x∂B
i
Compressible Euler equations
∂
∂τ
ρJ ρJui
JE
+
N
X
j=1
∂
∂ξj J
ρUj
ρuiUj + p∂ξ∂xj
i
EUj + pUj − p∂ξ∂tj
=
0
−ρJ ∂x∂φ
i
−ρJ~u · ∇φ
Uj = ∂tξj + PN
i=1 ui∂xiξj: contravariant velocity in ξj-direction
φ: gravitational potential
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 28/73
Unified coord.: Geometric claw
With non-trivial ∂τ~x, we should impose conditions on grid metrics ∂t~ξ & ∇~xξ~ to have the fulfillment of geometrical conservation law
∂J
∂τ +
N
X
j=1
∂
∂ξj
J ∂ξj
∂t
= 0
Here we are interested in an approach that is based on the compatibility condition of ∂τ∂ξjxi & ∂ξj∂τxi, i.e.,
∂
∂τ
∂xi
∂ξj
+ ∂
∂ξj
−∂xi
∂τ
= 0 for i, j = 1, 2, . . . , N.
for unknowns ∂xi/∂ξj, yielding easy computation of J & ∇ξj
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 29/73
Unified coord.: Grid movement
For fluid flow problems, to improve numerical resolution of interfaces (material or slip lines), it is popular to take ∂τ~x as
Lagrangian case: ∂τ~x = ~u (flow velocity)
Lagrangian-like case: ∂τ~x = h0~u (pseudo velocity) h0 ∈ [0, 1] (fixed piecewise const.)
Unified coordinate case: ∂τ~x = h~u
h ∈ [0, 1] but is determined from a PDE constraint arising from such as grid-angle or grid-Jacobian preserving condition
ALE-like case: ∂τ~x = ~U (arbitrary velocity)
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 30/73
Unified coord.: Grid movement
For fluid flow problems, to improve numerical resolution of interfaces (material or slip lines), it is popular to take ∂τ~x as
Lagrangian case: ∂τ~x = ~u (flow velocity)
Lagrangian-like case: ∂τ~x = h0~u (pseudo velocity) h0 ∈ [0, 1] (fixed piecewise const.)
Unified coordinate case: ∂τ~x = h~u
h ∈ [0, 1] but is determined from a PDE constraint arising from such as grid-angle or grid-Jacobian preserving condition
ALE-like case: ∂τ~x = ~U (arbitrary velocity)
For simplicity, we will focus on Lagrangian-like case
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 30/73
Unified coord. model: Summary
With ∂τ~x = h0~u, unified coordinate model for single component compressible flow problems consists of
Physical balance laws
∂
∂τ
ρJ ρJui
JE
+
N
X
j=1
∂
∂ξj J
ρUj
ρuiUj + p∂ξ∂xj
i
EUj + pUj − p∂ξ∂tj
=
0
−ρJ ∂x∂φ
i
−ρJ~u · ∇φ
Geometrical conservation laws
∂
∂τ
∂xi
∂ξj
+ ∂
∂ξj
−∂xi
∂τ
= 0 for i, j = 1, 2, . . . , N.
pressure law p(ρ, e)
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 31/73
Unified coord. model: Remarks
For unified coordinate models mentioned above, it is known that
when h0 = 0 (Eulerian case), the model is hyperbolic when h0 = 1 (Lagrangian case), the model is weakly hyperbolic (do not possess complete eigenvectors) when h0 ∈ (0, 1) (Lagrangian-like case), the model is hyperbolic
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 32/73
Unified coord. model: Remarks
For unified coordinate models mentioned above, it is known that
when h0 = 0 (Eulerian case), the model is hyperbolic when h0 = 1 (Lagrangian case), the model is weakly hyperbolic (do not possess complete eigenvectors) when h0 ∈ (0, 1) (Lagrangian-like case), the model is hyperbolic
If a prescribed velocity ~ub for a rigid body motion is included in the formulation i.e., with ∂τ~x = h0~u + ~ub, we should be able to use the model to solve some moving body problems as well.
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 32/73
Unified coord. model: Review
The work presented here is related to
W.H. Hui et al. (JCP 1999, 2001): Unified coordinated system for Euler equations
W.H. Hui (Comm. Phys. Sci. 2007): Unified coordinate system in CFD
C. Jin & K. Xu (JCP 2007): Moving grid gas-kinetic method for viscous flow
P. Jia et al. (Computers and Fluids 2006) Unified
coordinated system for compressible milti-material flow Z. Chen et al. (Int J. Numer. Meth Fluids 2007): Wave speed based moving coordinates for compressible flow equations
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 33/73
Finite volume approximation
Employ finite volume formulation of numerical solution
Qnijk ≈ 1
∆ξ1∆ξ2∆ξ3 Z
Cijk
q(ξ1, ξ2, ξ3, τn) dV
that gives approximate value of cell average of solution q over cell Cijk at time τn (sample case in 2D shown below)
i − 1 i − 1
i
i j
j
j + 1 j + 1
Cij Cˆij
ξ1 ξ2
mapping
∆ξ1
∆ξ2 logical domain physical domain
←−
x1 = x1(ξ1, ξ2) x2 = x2(ξ1, ξ2) x1
x2
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 34/73
Finite volume (Cont.)
In three dimensions N = 3, equations to be solved take
∂
∂τ q ~ξ, τ + XN
j=1
∂
∂ξj fj
q, ~ξ
= ψ
q, ~ξ
A simple dimensional-splitting method based on f-wave approach of LeVeque et al. is used for approximation, i.e.,
Solve one-dimensional Riemann problem normal at each cell interfaces
Use resulting jumps of fluxes (decomposed into each wave family) of Riemann solution to update cell
averages
Introduce limited jumps of fluxes to achieve high resolution
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 35/73
Finite volume (Cont.)
Basic steps of a dimensional-splitting scheme ξ1-sweeps: solve
∂q
∂τ + f1 ∂
∂ξ, q, ∇~ξ
= 0 updating Qnijk to Q∗ijk
ξ2-sweeps: solve
∂q
∂τ + f2
∂
∂ξ2, q, ∇~ξ
= 0 updating Q∗ijk to Q∗∗ijk
ξ3-sweeps: solve
∂q
∂τ + f3
∂
∂ξ3 , q, ∇~ξ
= 0 updating Q∗∗ijk to Qn+1ijk
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 36/73
Finite volume (Cont.)
Consider ξ1-sweeps, for example, First order update is
Q∗ijk = Qnijk − ∆τ
∆ξ1
h A+1 ∆Qn
i−1/2,jk + A−1 ∆Qn
i+1/2,jk
i
with the fluctuations
(A+1 ∆Q)ni−1/2,jk = X
m:(λ1,m)ni−1/2,jk>0
(Z1,m)ni−1/2,jk
and
(A−1 ∆Q)ni+1/2,jk = X
m:(λ1,m)ni+1/2,jk<0
(Z1,m)ni+1/2,jk
(λ1,m)nι−1/2,jk & (Z1,m)nι−1/2,jk are in turn wave speed and f-waves for the mth family of the 1D Riemann problem solutions
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 37/73
Finite volume (Cont.)
High resolution correction is
Q∗ijk := Q∗ijk − ∆τ
∆ξ1
˜F1n
i+1/2,jk − ˜F1n
i−1/2,jk
with ( ˜F1)ni−1/2,jk = 1 2
mw
X
m=1
sign(λ1,m)
1 − ∆τ
∆ξ1 |λ1,m|
Z˜1,m
n
i−1/2,jk
Z˜ι,m is a limited value of Zι,m
It is clear that this method belongs to a class of upwind schemes, and is stable when the typical CFL (Courant-Friedrichs-Lewy) condition:
ν = ∆τ maxm (λ1,m, λ2,m, λ3,m)
min (∆ξ1, ∆ξ2, ∆ξ3) ≤ 1,
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 38/73
Finite volume: Riemann problem
Riemann problem for our model equations at cell interface ξi−1/2 consists of the equation
∂qi−1,jk
∂τ + f1
∂
∂ξ1 , qi−1,jk
= 0 if ξ1 < (ξ1)i−1/2,
∂qijk
∂τ + f1
∂
∂ξ1 , qijk
= 0 if ξ1 > (ξ1)i−1/2,
together with piecewise constant initial data
q(ξ1, 0) =
Qni−1,jk for ξ < ξi−1/2 Qnijk for ξ > ξi−1/2
qijk = q|(∂ξ2~x, ∂ξ3~x)ijk & f1(∂ξ1, qijk) = f1(∂ξ1, q)|(∂ξ2~x, ∂ξ3~x)ijk
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 39/73
Riemann problem
Riemann problem at time τ = 0
∂τqL + f1 (∂ξ1, qL) = 0 ∂τqR + f1 (∂ξ1, qR) = 0 ξ1 τ
Qni−1,jk Qnijk
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 40/73
Riemann problem
Exact Riemann solution: basic structure
∂τqL + f1 (∂ξ1, qL) = 0 ∂τqR + f1 (∂ξ1, qR) = 0 ξ1 τ
Qni−1,jk Qnijk
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 40/73
Riemann problem
Shock-only approximate Riemann solution: basic structure
∂τqL + f1 (∂ξ1, qL) = 0 ∂τqR + f1 (∂ξ1, qR) = 0 ξ1 τ
Qni−1,jk Qnijk
λ0
λ1 λ2
λ3 qmL− qmL+
qmR
Z1 = fL(qmL− ) − fL(Qni−1,jk) Z2 = fR(qmR) − fR(qmL+ )
Z3 = fR(Qnijk) − fR(qmR)
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 40/73
Shock-only Riemann solver
Rotate velocity vector in Riemann data normal to each cell interface Find midstate velocity υm and pressure pm by solving
φ(pm) = υmR(pm) − υmL(pm) = 0
derived from Rankine-Hugoniot relation iteratively, where
υmL(p) = υL − p − pL
ML(p), υmR(p) = υR + p − pR MR(p)
Propagation speed of each moving discontinuity is determined by
(λ1,1)i−1/2,jk =
(1 − h0)υm − ML(pm) ρmL(pm)
∇X~ ξ1
i−1/2,jk
(λ1,2)i−1/2,jk = (1 − h0)υm
∇X~ξ1
i−1/2,jk
(λ1,3)i−1/2,jk =
(1 − h0)υm + MR(pm) ρmR(pm)
∇X~ ξ1
i−1/2,jk
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 41/73
Lax’s Riemann problem
Ideal gas EOS with γ = 1.4 h0 = 0 Eulerian result
h0 = 0.99 Lagrangian-like result
sharper resolution for contact discontinuity
0 0.5 1
0 0.5 1 1.5 2
x
ρ
Exact h0=0 h0=0.99
0 0.5 1
0 0.5 1 1.5 2
x
u
0 0.5 1
0 1 2 3 4
x
p
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 42/73
Lax’s Riemann problem
Physical grid coordinates at selected times
Each little dashed line gives a cell-center location of the proposed Lagrange-like grid system
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
0 0.05 0.1 0.15
x
time
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 43/73
Woodward-Colella’s problem
Ideal gas EOS with γ = 1.4 h0 = 0 Eulerian result
h0 = 0.99 Lagrangian-like result
sharper resolution for contact discontinuity
0 0.5 1
0 2 4 6 8
ρ
0 0.5 1
−10 0 10 20
0 0.5 1
0 100 200 300 400
u p
t = 0.016 t = 0.016
t = 0.016
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 44/73
Woodward-Colella’s problem
h0 = 0 Eulerian result
h0 = 0.99 Lagrangian-like result
sharper resolution for contact discontinuity
0 0.5 1
0 5 10 15 20
ρ
Fine grid h0=0 h0=0.99
0 0.5 1
−5 0 5 10 15
0 0.5 1
0 200 400 600
u p
t = 0.032 t = 0.032
t = 0.032
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 45/73
Woodward-Colella’s problem
h0 = 0 Eulerian result
h0 = 0.99 Lagrangian-like result
sharper resolution for contact discontinuity
0 0.5 1
0 2 4 6 8
ρ
0 0.5 1
−5 0 5 10 15
0 0.5 1
0 200 400 600
u p
x x
x
t = 0.038 t = 0.038
t = 0.038
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 46/73
Woodward-Colella’s problem
Physical grid coordinates at selected times
Each little dashed line gives a cell-center location of the proposed Lagrange-like grid system
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
0 0.01 0.02 0.03 0.04
x
time
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 47/73
2 D Riemann problem
With initial 4-shock wave pattern
0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
ρ u v p
=
1.5
0 0 1.5
0.532 1.206
0 0.3
0.138 1.206 1.206 0.029
0.532 0 1.206
0.3
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 48/73
2 D Riemann problem
With initial 4-shock wave pattern Lagrangian-like result
Occurrence of simple Mach reflection
0.2 0.4 0.6 0.8 0.2
0.4 0.6 0.8
0.2 0.4 0.6 0.8 0.2
0.4 0.6 0.8
0.2 0.4 0.6 0.8 0.2
0.4 0.6 0.8
Density Pressure Physical grid
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 49/73
2 D Riemann problem
With initial 4-shock wave pattern Eulerian result
Poor resolution around simple Mach reflection
0.2 0.4 0.6 0.8 0.2
0.4 0.6 0.8
0.2 0.4 0.6 0.8 0.2
0.4 0.6 0.8
0.2 0.4 0.6 0.8 0.2
0.4 0.6 0.8
Density Pressure Physical grid
Department of Applied Mathematics, Ta-Tung University, April 23, 2009 – p. 50/73