- C. Negulescu, 22/05/2018
1
Some nice features of AP-schemes
Anisotropic transport equations
Claudia Negulescu Institut de Mathématiques de Toulouse Université Paul Sabatier
Some nice features of AP-schemes Anisotropic transport equations - - PowerPoint PPT Presentation
1 Some nice features of AP-schemes Anisotropic transport equations Claudia Negulescu Institut de Mathmatiques de Toulouse Universit Paul Sabatier C. Negulescu, 22/05/2018 Introduction/Motivation 2 Objective: Numerical study of highly
Claudia Negulescu Institut de Mathématiques de Toulouse Université Paul Sabatier
Kinetic models Fluid models Hybrid models
τpe τce τpi τci τa τcs τei L ρe ρi
τa: Alfen wave period τcs: Ion sound period τei: Electr-ion collision time τpe,pi: Inv. electr./ion plasma freq. τce,ci: Electr./ion cyclotron period λD: Debye length ρe,i: Electr./ion Larmor radius c: sound speed
δe δi
δe,i = c/ωpe,pi: Electr./ion skin depth ωpe,pi: Electr./ion plasma frequency
λD
∂tfε
i + v · ∇xfε i + E · ∇vfε i + 1
ε (v × B) · ∇vfε
i = η ∇v · [vfε i + ∇vfε i ] .
∂tfe + 1 ε v ∂xfe − 1 ε E(t, x) ∂vfe = 0 , ∀t ∈ R+ , ∀(x, v) ∈ Ω ⊂ R2 −∂xxϕ = 1 − ne , ne(t, x) =
fe(t, x, v) dv , E = −∂xϕ .
∂tωε + 1 ε uε · ∇ωε = 0 , −∆Ψε = ωε , uε =⊥ ∇Ψε .
Work based on: [1] B. Fedele, C. Negulescu, Numerical study of an anisotropic Vlasov equation arising in plasma
physics, to appear in KRM (Kinetic and Related Models), 2018.
B(x) |B(x)|; magnitude (x) := |B(x)|; ∇ · B = 0.
T := (v × B) · ∇v T : D(T ) → L2(Ω × R3) , D(T ) :=
dX ds = 0 , dV ds = (X(s)) V (s) × b(X(s)) , X(s; x, v) = x , V (s; x, v) = cos((x) s) v⊥ + sin((x) s) ⊥v + v|| , ∀s ∈ R
2 π
(x);
S1
b := {̟ ∈ R3 / |̟| = 1, ̟ · b = 0}
v = v|| + v⊥ = vb b + r ̟ , r := |v⊥| , ̟ := v⊥ |v⊥| ∈ S1
b .
J : L2(Ω × R3) → ker(T ) (orthog. proj. on ker(T )) J (f)(x, v) := 1 Tc(x) Tc(x) f(X(s; x, v), V (s; x, v)) ds = 1 2 π
b
f(x, vb b + |v⊥| ̟) d̟ .
L2(Ω × R3) = ker(T ) ⊕⊥ ker(J ) f = J (f) + f′ T : D(T ) ∩ ker(J ) → ker(J ) ,
f0 ∈ ker(T )
i.e.
(v × B) · ∇vf0 = 0 ∂tf0 + J (v · ∇xf0) + J (E · ∇vf0) = 0 .
(V )ε ∂tfε + a ∂xfε + b ε ∂yfε = 0 , ∀(t, x, y) ∈ [0, T] × [0, Lx] × [0, Ly] , fε(0, x, y) = fin(x, y) = sin(x)
fε
ex(t, x, y) = fin(x − at, y − b
ε t) = sin
εt
2 4 6 8 10 12 −2 −1.5 −1 −0.5 0.5 1 1.5 2
t fε
ex(t,xNx−1,yNy−1) ε = 1 (exact) ε = 0.5 ε = 0.1
∂tf0 + a∂xf0 = 0 , ∀(t, x) ∈ [0, T] × [0, Lx], f0(0, x) = ¯ fin(x) , ∀x ∈ [0, Lx] ,
Average or Projection:
¯ fε(t, x) := 1 Ly Ly fε(t, x, y)dy .
f0(t, x) = ¯ fin(x − at) = sin
4 0.2 0.4 2 3 0.6 2 0.8 1 1
Model
∂tf + v · ∇xf +
ε (v × B)
B = ez . v|| = (0, 0, vz)t , v⊥ = (vx, vy, 0)t ,
⊥v := (vy, −vx, 0)t = v × B
v = (vx, vy, vz) ⇔ (r, θ, vz) , vx := r cos(θ) vy := r sin(θ) , θ ∈ [0, 2π) r ≥ 0 . ∂tF + vz∂zF + Ez∂vzF + (Ex cos θ + Ey sin θ) ∂rF − 1 r (Ex sin θ − Ey cos θ) ∂θF +r (cos θ∂xF + sin θ∂yF) − 1 ε ∂θF = 0 .
∂tF + r cos θ ∂xF − 1 ε ∂θF = 0 .
∂tf + vy ε ∂vxf − vx ε ∂vyf = 0 .
(V )ǫ ∂tfǫ + a ∂xfǫ + b ǫ ∂yfǫ = 0 , ∀(t, x, y) ∈ [0, T] × [0, Lx] × [0, Ly] , fǫ(0, x, y) = fin(x, y) ,
Hǫ(t, x) := 1 Ly Ly fǫ(t, x, y) dy , hǫ(t, x, y) := fǫ(t, x, y) − Hǫ(t, x) , ¯ hǫ = 0 . (MM)ǫ ∂tHǫ + a∂xHǫ = 0 , ∀(t, x) ∈ [0, T] × [0, Lx] ∂thǫ + a∂xhǫ + b ǫ ∂yhǫ = 0 , ∀(t, x, y) ∈ [0, T] × Ω ¯ hǫ = 0 , ∀(t, x) ∈ [0, T] × [0, Lx] . Advantages/Disadvantages:
(IMEX)ε fε,n+1 − fε,n ∆t + a ∂xfε,n + b ε ∂yfε,n+1 = 0 , ∀n ≥ 0 .
(IMP)ε fε,n+1 − fε,n ∆t + y ε ∂xfε,n+1 − x ε ∂yfε,n+1 = 0, ∀n 0 .
(IMEX)ε fε,n+1 − fε,n ∆t + v · ∇xfε,n + E · ∇vfε,n + 1 ε (v × B) · ∇vfε,n+1 = 0 . Advantages/Disadvantages:
for ε ≪ 1;
(La)ε ∂tfε + a ∂xfε + b ∂yqε = 0 , ∀(t, x, y) ∈ [0, T] × Ω ∂yfε = ε ∂yqε , ∀(t, x, y) ∈ [0, T] × Ω qε
|Γin = 0 ,
(inflow constraint to fix qε)
(La)ε ∂tfε + y ∂xqε − x ∂yqε = 0, y∂xfε − x ∂yfε = ε
− (∆x∆y)γ qε ,
(regularization to fix qε)
(La)ε ∂tfε + v · ∇xfε + E · ∇vfε + T qε = 0, T fε = εT qε − (∆x∆y)γ qε.
(La)ε
fε,n+1−fε,n ∆t
+ a ∂xfε,n + b ∂yqε,n+1 = 0 ∂yfε,n+1 = ε ∂yqε,n+1 qε,n+1
|Γin
= 0 .
(La)ε fε,n+1 − fε,n ∆t + y ∂xqε,n+1 − x ∂yqε,n+1 = 0, y ∂xfε,n+1 − x ∂yfε,n+1 = ε
− (∆x∆y)γ qε,n+1 . Advantages/Disadvantages:
∂tfε + a ∂xfε + b ε ∂yfε = 0
1 2 3 4 5 6 7 8 9 10 0.2 0.4 0.6 0.8 1 1.2 1.4 1.6 1.8 2
t fε
ex(t,yNy−1) ε = 1 ε = 0.5 ε = 0.1 1 2 3 4 5 6 7 8 9 10 0.2 0.4 0.6 0.8 1 1.2 1.4 1.6 1.8 2
t fε
ex(t,yNy−1) ε = 1 (exact) ε = 1 ε = 0.5 ε = 0.1 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1 0.2 0.4 0.6 0.8 1 Evolution of the errors as a function of ε ε η(T), γ(T) Fourier − η Fourier − γ IMEX, MM & Lagrange − η IMEX, MM & Lagrange − γ 10
−1210
−1010
−810
−610
−410
−210 10 10
210
410
610
810
1010
12Condition number of three different schemes as a function of ε (log−log scale) ε Condition number Euler IMEX Micro−Macro Lagrange Scheme
◮ Global errors: ||Fex − Fnum|| ≤ ||Fex − F|| + ||F − Fnum|| A Fex = B + εT , A F = B , (A + δA) Fnum = B + δB ◮ Truncation errors IMEX/La: TI/L = −∇ · (DI/L∇fε) + O(∆t2) + O(∆x2) + O(∆y2) DI := a∆x 2 (1 − α) b∆y 2ε
ε
, α := a∆t ∆x , β := b∆t ∆y . DL := a∆x 2 (1 − α) b∆y 2ε
ε
, α := a∆t ∆x , β := b∆t ∆y . ◮ Round of errors : ||F − Fnum|| ||F|| ≤
cond(A)
1 − ||A−1|| ||δA|| ||δA|| ||A|| + ||δB|| ||B||
x y fε(T,x,y) −3 −2 −1 1 2 3 −3 −2 −1 1 2 3 0.2 0.4 0.6 0.8 1 x y fε(T,x,y) −3 −2 −1 1 2 3 −3 −2 −1 1 2 3 0.2 0.4 0.6 0.8 1
−3 −2 −1 1 2 3 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1 Solution fε at final time T, and at x=0 for IMP scheme y fε(T,0,y) ε = 1 ε=0.1 ε = 0.01 ε = 0.0001 Exact −3 −2 −1 1 2 3 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1 Solution fε at final time T, and at x=0 for Lagrange−multiplier scheme y fε(T,0,y) ε = 1 ε=0.001 ε = 0 exact
◮ Global errors: ||Fex − Fnum|| ≤ ||Fex − F|| + ||F − Fnum|| A Fex = B + εT , A F = B , (A + δA) Fnum = B + δB ◮ Truncation errors IMEX/La: DI := 1 ε yj∆x 2
ε
2ε −xiyj∆t 2ε xi∆y 2
ε
, αj := yj∆t ∆x , βi := xi∆t ∆y . TL1 TL2 = ∇· ∇· DL1 DL2 −εDL2 ∇fε ∇qε + O(∆t2, ∆x2, ∆y2) DL1 := yj∆x 2
ε
2ε −xiyj∆t 2ε xi∆y 2
ε
, DL2 = yj∆x 2 xi∆y 2 .
∂tfe + 1 ε v ∂xfe − 1 ε E(t, x) ∂vfe = 0 −∂xxϕ = 1 − ne , ne(t, x) =
fe(t, x, v) dv , E = −∂xϕ . Work based on: [2] B. Fedele, C. Negulescu, S. Possanner, Asymptotic-Preserving scheme for the resolution of evolution
equations with stiff transport terms, submitted.
(V )ε ∂tfε + b ε · ∇fε = 0 , b := (v, −E(t, x)) fε(0, x) = fin(x) .
(MM)σ
ε
∂tfε,σ + b · ∇qε,σ = 0 b · ∇fε,σ = ε b · ∇qε,σ − σ qε,σ
(Stabilization)
(MM)σ ∂tf0,σ + b · ∇q0,σ = 0 , b · ∇f0,σ + σ q0,σ = 0 .
∂tf0,σ − 1 σ ∇ ·
= 0
fin(x, v) = 1 √ 2π (1 + γ cos(kx)) e−v2/2
5 10 15 20 10
−8
10
−6
10
−4
10
−2
ln(|E(t,⋅)|1) for k=0.5 Time Spectral scheme (DAMM)−scheme Analytic rate Tp/2 = 2.21 ωi = −0.153 5 10 15 20 −1.5 −1 −0.5 0.5 1 1.5x 10
−5
Deviation of plasma & electric energies Time Spectral, P(t)−P(0) Spectral , E(t)−E(0) (DAMM), P(t)−P(0) (DAMM), E(t)−E(0)
fin(x, v) = 1 √ 2 π v2e−v2/2(1 + γ cos(k x))
Initial condition x v 2 4 6 8 10 12 −4 −2 2 4 (DAMM)−scheme, n=50 x v 2 4 6 8 10 12 −4 −2 2 4 −5 5 10 15 0.05 0.1 0.15 0.2 0.25 0.3 Ψ (0,⋅,⋅) f0(0,⋅,⋅) (DAMM)−scheme Fitting −5 5 10 15 0.05 0.1 0.15 0.2 0.25 0.3 Ψ (∞,⋅,⋅) f0(∞,⋅,⋅) (DAMM)−scheme Fitting
∂tωε + uε ε · ∇ωε = ν ∆ωε , −∆Ψε = ωε , uε =⊥ ∇Ψε . Work based on: [3] B. Fedele, C. Negulescu, M. Ottaviani Long-time asymptotics of the vorticity equation and its
numerical study, in preparation.
(V )ε ∂tωε + u ε · ∇ωε = ν ∆ωε ωε(0, x) = ωin(x) .
(MM)σ
ε
∂tωε,σ + u · ∇θε,σ = ν ∆ωε u · ∇ωε,σ = ε u · ∇θε,σ − σ θε,σ
(Stabilization)