SLIDE 22 Numerical methods Spatial discretizations
Fully discrete stability: leap-frog-DG
Assuming the periodic boundary condition, then the fully discrete scheme with central and alternating fluxes, satisfies En+1
h
− En
h = −
ǫ0∆t 4ω2
pτ
(Jn+1
h
+ Jn
h )2dx −
ǫ0aθ∆t 8ω2
v τv
(σn+1
h
+ σn
h)2dx ≤ 0,
(19) En
h
=
µ0 2 Hn+1/2
h
Hn−1/2
h
+ ǫ0ǫ∞ 2 (En
h )2 +
ǫ0 2ω2
p
(Jn
h )2 +
ǫ0ω2 2ω2
p
(Pn
h )2
(20) + ǫ0aθ 4ω2
v
(σn
h)2 +
ǫ0aθ 2 Qn
h (En h )2 +
3ǫ0a(1 − θ) 4 (En
h )4 +
ǫ0aθ 4 (Qn
h )2dx
is the discrete energy. In addition, Eh ≥ 0 if θ ∈ [0, 3
4 ] and the CFL condition ∆t h
≤ C⋆√µ0ǫ0ǫ∞ is satisfied. The fully discrete scheme with the upwind flux satisfies En+1
h
− En
h = −
ǫ0∆t 4ω2
pτ
(Jn+1
h
+ Jn
h )2dx −
ǫ0aθ∆t 8ω2
v τv
(σn+1
h
+ σn
h)2dx
(21) − ∆t 8
ǫ0ǫ∞
N
[Hn−1/2
h
+ Hn+1/2
h
]2
j+1/2 −
∆t 8
µ0
N
[En
h + En+1 h
]2
j+1/2 ≤ 0,
En
h
=
µ0 2 Hn+1/2
h
Hn−1/2
h
+ ǫ0ǫ∞ 2 (En
h )2 +
ǫ0 2ω2
p
(Jn
h )2 +
ǫ0ω2 2ω2
p
(Pn
h )2 +
ǫ0aθ 4ω2
v
(σn
h)2
+ ǫ0aθ 2 Qn
h (En h )2 +
3ǫ0a(1 − θ) 4 (En
h )4 +
ǫ0aθ 4 (Qn
h )2dx +
∆t 8
ǫ0ǫ∞
N
([Hn−1/2
h
][Hn−1/2
h
+ Hn+1/2
h
])j+1/2 (22) is the discrete energy. In addition, Eh ≥ 0 if θ ∈ [0, 3
4 ] and the CFL condition ∆t h
≤
C⋆µ0 min(1, ǫ0ǫ∞ µ0 ) ( √ 2+min(1, ǫ0ǫ∞ µ0 ))
is satisfied. Yingda Cheng (MSU) Energy stable DG for nonlinear Maxwell ICERM workshop, June 2018 Page 22