A Stable Spectral Difference Method for Triangles Webseite...A Stable Spectral Difference Method for...

A Stable Spectral Difference Method for Triangles

Aravind Balan1, Georg May1, and Joachim Schoberl2

1AICES Graduate School, RWTH Aachen, Germany

2Institute for Analysis and Scientific Computing, Vienna Technical University, Austria

AIAA Aerospace Sciences MeetingJanuary 4, 2011Orlando, Florida

Aravind Balan (AICES, RWTH Aachen) New Spectral Difference Jan 4, Orlando 1 / 33

Outline

1 Background and Motivation

2 Spectral Difference(SD) Method

3 SD Method with Raviart-Thomas Elements

4 Stability Analysis

5 Results

Background and Motivation

Spectral Difference (SD)→ high-order method for hyperbolic PDEs

A quadrature free (pre-integrated) nodal Discontinuous Galerkin scheme

Simple in formulation and implementation

Found linearly unstable for triangles for order of accuracy > 2

Found stable with flux interpolation on Raviart-Thomas elements

SD Method for Triangles

Hyperbolic conservation equation∂u(~x,t)∂t +∇ · ~f (u) = 0

Transformation from reference element Φ : ξ → x with J = ∂x/∂ξ(0,1)

(1,0)(0,0)x

Φ :(ξ, η) (x,y)

Hyperbolic equation in reference domain∂u(ξ,t)∂t + 1

|J|∇ξ ·(|J |J−1 ~f (u)

DefineSolution collocation nodes - ξj

Flux collocation nodes - ξj

Approximation of solution

uh (ξ) =∑Nm

j=1 uj lj (ξ) lj ∈ Pm

lj(ξk) = δjk ⇒ uj = uh

)no. of degrees of freedom = Nm = (m+1)(m+2)

Approximation of flux~fh (ξ) =

∑Nm+1

j=1~fj lj (ξ) lj ∈ Pm+1

lj(ξk) = δjk ⇒ ~fj = ~fh

)~fj =

{|J |J−1 ~f

)ξj ∈ T

~fnum ξj ∈ ∂T~fnum · n = h → standard numerical flux

no. of degrees of freedom = 2Nm+1

Final form of the Spectral Difference scheme

du(i)j

|J (i)|

Nm+1∑k=1

∇ξ lk(ξj

)· ~f (i)k = 0, j = 1, ..., Nm

Linearly unstable for m ≥ 2 for triangles [Van den Abeele et al., 2008 ]

Note - Each of the flux vectors need not be in Pm+1 for the div to be in Pm

→ Raviart Thomas space→ Smallest space having div in Pm

SD Method with Raviart-Thomas Elements

DefineSolution points - ξj

Flux points - ξj , Directions - sj

Approximation of solutionuh (ξ) =

j=1 uj lj (ξ)

lj(ξk) = δjk ⇒ uj = uh

)Approximation of flux function in Raviart-Thomas (RT ) space

~fh (ξ) =∑NRT

mj=1 fj ~ψj (ξ)

~ψj(ξk) · sk = δjk ⇒ fj = ~fh

)· sj

{|J |J−1 ~f

)· sj ξj ∈ T

h ξj ∈ ∂Th → standard numerical fluxNRTm = (m+ 1) (m+ 3)

For a degree m, the RT space is defined as

RTm = [Pm]2

+ (x, y)TPm.

For m = 1, the monomials which form a basis in the RT space(10

)Less number of flux degrees of freedom compared to standard SD

2Nm+1 −NRTm = m+ 3

Flux nodes distribution :

m+ 1 nodes on each edge and NRTm − 3(m+ 1) in the interior

Final form of the new Spectral Difference scheme

du(i)j

|J (i)|

Nrtm∑

(∇ξ · ~ψk

)= 0, j = 1, ..., Nm

Linearly stable for m = 1, 2, 3 in a simplified stability analysis

Numerical experiments prove the viability of the scheme

Linear Stability Analysis

Linear advection equation

∂u(~x, t)

∂t+∇ · ~f (u) = 0, ~f(u) = (u|c|cosθ, u|c|sinθ), θ ∈ [0,

Consider Cartesian mesh with each element formed by fusing twotriangles

SD formulation, using upwind fluxes

∆tU (i,j) = −ν(AU (i,j) +BU (i−1,j) + CU (i,j−1)

Linear stability analysis (LSA)⇒ Fourier transformation : u→ u

Linear Stability Analysis

SD discretization of the Fourier mode uei(kxx+kyy)

∆tZu Z = −

(A+Be−iσ + Ceiκ

)(σ, κ) = (kxh, kyh)

Full stability = Stability of spacial discretization + time discretization

Stability of spacial discretization→ eigensystem of Z

Stable flux nodes→ Re(λ(Z)) ≤ 0

Optimal flux nodes→Max(|λ(Z)|) (Spectral Radius) is minimum

Stability is independent of the position of solution nodes

Stability is independent of the position of flux nodes on the edges

LSA - Spatial Discretization

RT1 → 1 interior flux point at centroid - stable

RT2 → 3 interior points each with two ortho directions form 6 flux nodes

3 interior points are varied as

ξi = ξc + α(ξei − ξc), i = 1, 2, 3 α ∈ [0, 1]

Stable→ 0.5 ≤ α ≤ 0.521, considering θ ∈ [0, π2]

Stable and optimal→ α = 0.5 [higher order quadrature nodes]

RT3 → 6 interior points each with two ortho directions form 12 flux nodes6 interior points are varied as

ξi = ξc + α(ξei − ξc), i = 1, 2, 3 α ∈ [0, 1]

ξi = ξc + β(ξei − ξc), i = 4, 5, 6 β ∈ [0, 1]

Stable and optimal→ α = 0.725 β = 0.676 [higher order quadraturenodes]

Stability and optimality for RT3

0.5 0.55 0.6 0.65 0.7 0.75 0.8 0.85 0.9 0.95 1

Stable Region

Stable and optimal flux points

RT10.4 0.2 0 0.2 0.4 0.6 0.8 1

RT20.4 0.2 0 0.2 0.4 0.6 0.8 1 1.2

0.4 0.2 0 0.2 0.4 0.6 0.8 1 1.2

LSA - Full Discretization

Full discretization→ un+1 = Gun

L2 stability→ ρ(G) ≤ 1→ Get allowable CFL number (= |c|∆th )

Max CFL number for Shu-RK3 time discretization

0 5 10 15 20 25 30 35 40 450.05

RT1RT2RT3

Results - 2D Linear Advection Equation

Linear advection equation

∂u(~x, t)

∂t+∇ · ~f (u) = 0, ~f(u) = (cxu, cyu)T

Convergence study

1 1.2 1.4 1.6 1.8 2−8

Log(N)

L ∞ E

RT1RT2RT3

Results - 2D Euler Equations

Euler equations in 2D

∂f(u)

∂x+∂g(u)

∂y= 0

ρρuρvE

ρu2 + pρuv

u (E + p)

ρvρuv

ρv2 + pv (E + p)

,NACA0012 - 1440 mesh elements

-0.5 0 0.5 1 1.5 2 2.5 3 3.5 4

Relaxation Technique

Backward Euler / Damped Newton

(I −∆t

dR(Un)

)∆Un = ∆tR(Un),

∆t→∞⇒ Newton iteration (Quadratic convergence)

Preconditioning - Incomplete LU factorization

Linear system solver - Restarted GMRES algorithm

Test case 1 - Free stream Mach number - 0.3, Angle of attack - 0 degree

Figure: Mach contours - RT2 scheme

Test case 1 - Convergence of residual

0 5 10 15 20 25−14

Iterations

RT1RT2RT3

Test case 1 -Comparison of 4th order DG and RT3 schemes

Test case 2 - Convergence of Residual

0 5 10 15 20 25−14

Iterations

RT1RT2RT3

Test case 2 -Comparison of 4th order DG and RT3 Schemes

Summary and Outlook

Difference between SD and new SD

New SD formulation is found to be linearly stable

Numerical results show the viability

Needs to be extended to solve NS equations, also to simulate transonicflows

Acknowledgement

Financial support from the Deutsche Forschungsgemeinschaft(German Research Association) through grant GSC 111, and by

the Air Force Office of Scientific Research, Air Force MaterielCommand, USAF, under grant number FA8655-08-1-3060, is

gratefully acknowledged

Stability and optimality for RT2

0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.90

0.5 0.55 0.6 0.65 0.7 0.75 0.8 0.85 0.9 0.950

1 x 10−3

0.40.6

Runge-Kutta Time stepping

The solution at (n+ 1)-th iteration, Un+1, is obtained from Un as

w(0) = Un,

w(k) =

k−1∑l=0

αklw(l) + ∆tβklR

(l) k = 1, ..., p,

Un+1 = w(p),

For stability analysis

w(0) = Un,

w(k) =

k−1∑l=0

αklw(l) + νβklZw

(l) k = 1, ..., p, (1)

Un+1 = w(p).

If G(k) is the amplification matrix in the k-th intermediate step, then oneobtains

G(0) = I, G(k) =

k−1∑l=0

(αklI + νβklZ)G(l) k = 1, ..., p.

Runge-Kutta Time Stepping

Shu-RK3

13 0 2

, β =

40 0 2

.5 stage 4th order SSP

0.4443704940 0.55562950590.6201018513 0 0.37989814860.1780799541 0 0 0.82192004580.0068332588 0 0.5172316720 0.1275983113 0.3483367577

0.3917522270

0 0.36841059260 0 0.25189177420 0 0 0.54497475020 0 0 0.0846041633 0.2260074831

Backward-Euler Time Stepping

Backward Euler

Un+1 − Un

∆t= R(Un+1),

Taylor series for R

R(Un+1) = R(Un) +dR(Un)

dt∆t+ ....

Rewrite

dR(Un)

dt∆t =

dR(Un)

dt∆t ' dR(Un)

dU(Un+1 − Un).

If (Un+1 − Un) is denoted as ∆Un, the implicit scheme is(I −∆t

dR(Un)

)∆Un = ∆tR(Un),

Stability Analysis

Numerical schemes should posess non-linear stability properties

Eg. Total Variation Diminishing (TVD)

TV (un) =

NT∑i=1

|uni+1 − uni |,

TV(un+1

)≤ TV (un) .

TVD property→ convergence

A conservative numerical scheme can be made to satisfy TVD by usinglimiters

Linearly unstable→ limiter will act on smooth regions→ affect order ofaccuracy

Finding Transfer Matrix

Solution interpolation

uh (ξ) =

Nm∑j=1

uj lj (ξ) uh

Solution at flux nodes

Nm∑j=1

)Dubiner basis

χ (ξ) =

Nm∑j=1

χj lj (ξ) χj = χ(ξj

)Dubiner basis at flux nodes

χ(ξk

Nm∑j=1

χj lj

Finding Differentiation Matrix

The monomials in the RT space at solution nodes

NRTm∑k=1

an,k ~ψk

)an,k = ~φn

)· sk

Its divergence

∇ξ · ~φn(ξj

NRTm∑k=1

(∇ξ · ~ψk

A Stable Spectral Difference Method for Triangles Webseite...A Stable Spectral Difference Method for...

Documents

6.6 Similar Triangle Right Triangles · Similar Triangles in Right Triangles 6.6 ... triangles and write and solve proportions as needed. 6.6 ... Right triangles,

Spectral representations of sum- and max-stable processes - uni … · 2018. 6. 28. · Spectral representations of sum- and max-stable processes Zakhar Kabluchko⁄ September 3,

Real-oriented homotopy theory and an analogue of …web.math.rochester.edu/people/faculty/doug/otherpapers/...1. Introduction The Adams}Novikov spectral sequence calculating stable

29-May-14Created by Mr. Lafferty1 Drawing Triangles 2.Select SAS triangles 2.Select SAS triangles 3.Select ASA triangles 3.Select ASA triangles 4.Select

Cutting 30° Triangles - s31968.pcdn.co · Degree-Triangles 30° triangles are a common shape, used frequently for diamond rectangle units and setting triangles. Cutting 30° Triangles

{Research article} A stable pattern of EEG spectral ......{Research article} A stable pattern of EEG spectral coherence distinguishes children with autism from neuro-typical controls

Classifying Triangles Angle Measures of Triangles

Stable Distributions - prac.im.pwr.wroc.plprac.im.pwr.wroc.pl/~burnecki/chap1.pdf · vi Contents 5.2.2 Spectral measures . . . . . . . . . . . . . . . . . . . . . . . . . . . 191

Towards an Entropy Stable Spectral Element Framework for ...€¦ · Towards an Entropy Stable Spectral Element Framework for Computational Fluid Dynamics Mark H. Carpenter ... Therein,

Congruent Triangles; Triangles; G...Congruent Triangles Reporting Category Triangles Topic Exploring congruent triangles, using constructions, proofs, and coordinate methods Primary

Special Right Triangles 45:45:90 Right Triangles

A Stable Pattern of EEG Spectral Coherence

Triangles Triangles Exploration Activity Topic: Medians

Dissecting Triangles into Isosceles Triangles

Chapter 6: Spectral Theory - KU Leuven · Spectral Theory: Force operator formalism (5) 6-12 ☞ Stability in ideal MHD • For ideal MHD, transition from stable to unstable through

An entropy stable spectral vanishing viscosity for

Similar Triangles Notes.notebook - East Irondequoit …€¦ · · 2013-02-26Similar Triangles Notes.notebook 3 ... Name. Unit 7 Guided Practice Ëang0esN Similar Triangles: Triangles

4.6 Isosceles Triangles. Objectives Use properties of isosceles triangles Use properties of equilateral triangles

Congruent Triangles - Weeblycmwarren.weebly.com/uploads/1/2/0/8/120830366/triangle_congrue… · Congruent Triangles • Congruent triangles have • The parts of congruent triangles

YL9100 HPLC - ESSECIGROUP 9100... · The YL9100 HPLC delivers a very stable baseline to ... photo diode array detectors. The spectral data, ... Electrochemical Detector