Verification and Validation of Pseudospectral Shock Fitted - - PowerPoint PPT Presentation
Verification and Validation of Pseudospectral Shock Fitted - - PowerPoint PPT Presentation
Verification and Validation of Pseudospectral Shock Fitted Simulations of Supersonic Flow over a Blunt Body Gregory P . Brooks Air Force Research Laboratory, WPAFB, Ohio Joseph M. Powers University of Notre Dame, Notre Dame, Indiana 42nd
Motivation
- Develop verified and validated high accuracy flow
solver for Euler equations in space and time – verification: solving the equations “right” – validation: solving the right equations
- ultimate use for fundamental shock stability questions
for inert and reactive flows, detonation shock dynamics, shape optimization
Review: Blunt Body Solutions
- Lin and Rubinov, J. Math. Phys., 1948
- Van Dyke, J. Aero/Space Sci., 1958
- Evans and Harlow, J. Aero. Sci., 1958
- Moretti and Abbett, AIAA J., 1966
- Kopriva, Zang, and Hussaini, AIAA J., 1991
- Kopriva, CMAME, 1999
- Brooks and Powers, J. Comp. Phys., 2004 (to appear)
Model: Euler Equations
- two-dimensional
- axisymmetric
- inviscid
- calorically perfect ideal gas
Model: Euler Equations
∂ρ ∂t + u∂ρ ∂r + w∂ρ ∂z + ρ ∂u ∂r + ∂w ∂z + u r
- = 0
∂u ∂t + u∂u ∂r + w∂u ∂z + 1 ρ ∂p ∂r = 0 ∂w ∂t + u∂w ∂r + w∂w ∂z + 1 ρ ∂p ∂z = 0 ∂p ∂t + u∂p ∂r + w∂p ∂z + γp ∂u ∂r + ∂w ∂z + u r
- = 0
Model: Secondary Equations
ωθ = ∂u ∂z − ∂w ∂r dωθ dt = ωθ ρ dρ dt + 1 ρ2 ∂ρ ∂z ∂p ∂r − ∂ρ ∂r ∂p ∂z
- + ωθ
u r T = 1 γ − 1 p ρ, s = ln p ργ
- ,
ds dt = 0 Ho = γ γ − 1 p ρ + 1 2
- u2 + w2
= constant
Flow Geometry and Boundary Conditions
−0.4 −0.2 0.2 0.4 0.6 0.8 1 0.6 0.8 1 1.2 0.2 0.4 z r η ξ Shock v∞
h(ξ,τ)
Body (R=Z b)
- body: zero mass flux
- shock: RH jump
- center: homeoentropic
- outflow: supersonic
Flow Geometry in Transformed Space
. . . .
Outflow Shock Centerline Body η ξ 1 0.8 0.6 0.4 0.2 1 0.8 0.6 0.4 0.2
- (r, z, t) → (ξ, η, τ)
- unsteady
- shock-fitted to avoid low
first
- rder
accuracy
- f
shock capturing
Outline: Pseudospectral Solution Procedure
- Define collocation points in computational space.
- Approximate all continuous functions and their spatial
derivatives with Lagrange interpolating polynomials, which have global support for high spatial accuracy.
- PDEs
spatial discretization
− − − − − − − − − − − − → DAEs
algebra
− − − − → ODEs.
- Cast ODEs as dx
dt = q(x).
- Solve ODEs using high accuracy solver LSODA.
Taylor-Maccoll: Flow over a Sharp-Nose Cone
−0.2 0.2 0.4 0.6 0.8 1 0.2 0.4 0.6 0.8 1 1.2 −0.4
r z
ξ η Body Shock M∞
ro
- Similarity solution
available for flow over a sharp cone
- Non-trivial post-shock
flow field
- Ideal verification
benchmark
Verification: Taylor-Maccoll Time-Relaxation
2 4 6 8 10 10
−15
10
−10
10
−5
10 τ L∞[Ω] residual in ρ
steady state error
- M∞ = 3.5
- 5 × 17 grid
- t → ∞, error → 10−12
Verification: Taylor-Maccoll Spatial Resolution
10 10
1
10
2
10
3
10
−15
10
−10
10
−5
10 η number of nodes in direction L∞[Ω] error in ρ
- spectral convergence
- roundoff error realized
at coarse resolution,
5 × 17
- run time ∼ 102 s;
800 MHz machine
Blunt Body Flow: Mach Number Field
−0.2 0.2 0.4 0.6 0.8 0.5 1 1.5 z r
. 2 0.4 0.6 . 8 1 1.2 1 . 4 1 . 4 1 . 6 1 . 6 1 . 8 1.8
- R =
√ Z
- M∞ = 3.5
- 17 × 9 grid
- transonic flow field
predicted
- qualitatively correct
- not a verification
Blunt Body Flow: Pressure Field
−0.2 0.2 0.4 0.6 0.8 0.5 1 1.5 z r
5.5 6.5 7 . 5 8.5 1 1 1 . 5 13.5 15 1 6
- high pressure at nose
- qualitatively correct
- not a verification
Blunt Body Flow: Vorticity Field
- 0.2
0.2 0.4 0.6 0.8 1 0.5 1 1.5 z r
- 3
- 3
- 2
- 1
- 2
- 4
- 1.5
- 1
- Helmholtz Theorem:
dρ dt , ∇p × ∇ρ, shock
curvature, flow divergence induce dωθ
dt
- intuition difficult
- not a verification
Verification: Blunt Body Pressure Coefficient
0.2 0.4 0.6 0.8 1 0.2 0.4 0.6 0.8 1 1.2 1.4 1.6 1.8 r Cp Pseudospectral prediction Modified Newtonian theory
- Cp = 2p(ξ,0,τ)−1
γM 2
∞
- Newtonian theory gives
prediction in high Mach number limit
- comparison quantitatively
excellent
- not global
Verification: Blunt Body Entropy Field
- 0.2
0.2 0.4 0.6 0.8 1 0.5 1 1.5
z
r 0.3 0.4 0.5 0.6
- ds
dt = ∂s ∂t + ∇ · v = 0
- if stable, ∂s
∂t → 0 as
t → ∞
- thus, v · ∇s → 0
- quantitative difference
approaches roundoff error
Proof: Total Enthalpy is Constant
- Ho ≡
γ γ−1 p ρ + 1 2
- u2 + w2
(definition)
- ρdHo
dt = ρT ds
dt
- =0
+ ∂p ∂t
- → 0
(from Euler equations)
- Ho = constant on streamline as t → ∞
- RH shock jump equations admit no change in Ho
- If Ho is spatially homogeneous before the shock, it
will remain so after the shock; Ho = constant. QED.
Verification: Blunt Body Total Enthalpy
−2.5 −2 −1.5 −1 −0.5 0.5 x 10
−5
0.5 1 0.5 1 1.5 z r
- Ho: a true constant
- deviation from freestream
value measures error
- 17 × 9, error ∼ 10−5
- 29 × 15, error ∼ 10−9
- good quantitative
verification
Verification: Blunt Body Grid Convergence
10
1
10
2
10
3
10
−10
10
−5
number of nodes L∞[Ω] error in ρ
- “exact solution” from
65 × 33 grid
- spectral convergence
- error → 10−12
- best quantitative
verification
Validation: Flow over a Sphere
−0.6 −0.4 −0.2 0.2 0.4 0.6 0.8 1 0.2 0.4 0.6 0.8 1 1.2 1.4 z r Body surface Pseudospectral prediction Billig
- Shock shape
predictions match Billig’s (JSR, 1967)
- Error ∼ 10−2
Unsteady Problem: Acoustic Wave/Shock Interaction
20 40 60 80 100 10
−12
10
−10
10
−8
10
−6
10
−4
10
−2
10 reduced frequency (fk) P(fk) ∆ ρ∞|z=−1 ∆ ρ∞ ∆ h
- low-frequency
freestream input disturbance
- low-amplitude,
high-frequency response captured by high accuracy method
- 33 × 17 grid; run
time, 7.5 hrs.
Conclusions
- Pseudospectral method coupled with shock fitting
gives solutions with high accuracy and spectral convergence rates in space for Euler equations.
- Standardized formulation of dx
dt = q(x) allows use of
integration methods with high accuracy in time.
- Algorithm has been verified to 10−12.
- Predictions have been validated to 10−2.
- Discrepancy between prediction and experiment is
not attributable to truncation error.
- Challenge to determine which factor (e.g. neglected
physical mechanisms, inaccurate constitutive data, measurement error, etc.) best explains the remaining discrepancy between prediction and observation.
- Challenge also to exploit verification and validation for