Computation of entropic measure-valued solutions for Euler equations

Similar documents
Dedicated with appreciation to Tai-Ping Liu on his 60 th birthday

Variational formulation of entropy solutions for nonlinear conservation laws

ENTROPY STABLE APPROXIMATIONS OF NAVIER STOKES EQUATIONS WITH NO ARTIFICIAL NUMERICAL VISCOSITY

c 2012 Society for Industrial and Applied Mathematics

Entropy stable schemes for compressible flows on unstructured meshes

Novel entropy stable schemes for 1D and 2D fluid equations

Hyperbolic Systems of Conservation Laws. in One Space Dimension. II - Solutions to the Cauchy problem. Alberto Bressan

On the entropy stability of Roe-type finite volume methods

Entropy and Relative Entropy

Entropy stable schemes for degenerate convection-diffusion equations

Applications of the compensated compactness method on hyperbolic conservation systems

Hyperbolic Systems of Conservation Laws. I - Basic Concepts

Équation de Burgers avec particule ponctuelle

Entropy-stable discontinuous Galerkin nite element method with streamline diusion and shock-capturing

A NUMERICAL STUDY FOR THE PERFORMANCE OF THE RUNGE-KUTTA FINITE DIFFERENCE METHOD BASED ON DIFFERENT NUMERICAL HAMILTONIANS

Hyperbolic Systems of Conservation Laws. in One Space Dimension. I - Basic concepts. Alberto Bressan. Department of Mathematics, Penn State University

Measure-valued - strong uniqueness for hyperbolic systems

Velocity averaging, kinetic formulations and regularizing effects in conservation laws and related PDEs. Eitan Tadmor. University of Maryland

Well-Balanced Schemes for the Euler Equations with Gravity

FUNDAMENTALS OF LAX-WENDROFF TYPE APPROACH TO HYPERBOLIC PROBLEMS WITH DISCONTINUITIES

On the Dependence of Euler Equations on Physical Parameters

Finite volume approximation of the relativistic Burgers equation on a Schwarzschild (anti-)de Sitter spacetime

Affordable, entropy-consistent, Euler flux functions

A numerical study of SSP time integration methods for hyperbolic conservation laws

A high order adaptive finite element method for solving nonlinear hyperbolic conservation laws

Improved Seventh-Order WENO Scheme

The Role of Convection and Nearly Singular Behavior of the 3D Navier-Stokes Equations

Well-balanced DG scheme for Euler equations with gravity

Chapter 2. General concepts. 2.1 The Navier-Stokes equations

Finite difference Hermite WENO schemes for the Hamilton-Jacobi equations 1

Weak-Strong Uniqueness of the Navier-Stokes-Smoluchowski System

A class of the fourth order finite volume Hermite weighted essentially non-oscillatory schemes

Piecewise Smooth Solutions to the Burgers-Hilbert Equation

arxiv: v1 [cs.na] 22 Sep 2012

ICES REPORT A Multilevel-WENO Technique for Solving Nonlinear Conservation Laws

A New Fourth-Order Non-Oscillatory Central Scheme For Hyperbolic Conservation Laws

arxiv: v1 [math.na] 30 Jan 2018

Blow-up or No Blow-up? the Role of Convection in 3D Incompressible Navier-Stokes Equations

Effects of a Saturating Dissipation in Burgers-Type Equations

CapSel Roe Roe solver.

Energy-Preserving and Stable Approximations for the Two-Dimensional Shallow Water Equations

HFVS: An Arbitrary High Order Flux Vector Splitting Method

Nonlinear Regularizing Effects for Hyperbolic Conservation Laws

A Very Brief Introduction to Conservation Laws

Foundations of Computational Mathematics: Hong Kong 2008

FLOW AROUND A SYMMETRIC OBSTACLE

Notes: Outline. Diffusive flux. Notes: Notes: Advection-diffusion

Numerische Mathematik

An Improved Non-linear Weights for Seventh-Order WENO Scheme

Non-linear Wave Propagation and Non-Equilibrium Thermodynamics - Part 3

Inverse Lax-Wendroff Procedure for Numerical Boundary Conditions of. Conservation Laws 1. Abstract

V (r,t) = i ˆ u( x, y,z,t) + ˆ j v( x, y,z,t) + k ˆ w( x, y, z,t)

3 Generation and diffusion of vorticity

AMath 574 February 11, 2011

ANOMALOUS SHOCK DISPLACEMENT PROBABILITIES FOR A PERTURBED SCALAR CONSERVATION LAW

0.2. CONSERVATION LAW FOR FLUID 9

CHAPTER 4 BOUNDARY LAYER FLOW APPLICATION TO EXTERNAL FLOW

MATH 220: Problem Set 3 Solutions

CENTRAL DISCONTINUOUS GALERKIN METHODS ON OVERLAPPING CELLS WITH A NON-OSCILLATORY HIERARCHICAL RECONSTRUCTION

AA214B: NUMERICAL METHODS FOR COMPRESSIBLE FLOWS

Multi-Domain Hybrid Spectral-WENO Methods for Hyperbolic Conservation Laws

E = where γ > 1 is a constant spesific to the gas. For air, γ 1.4. Solving for p, we get. 2 ρv2 + (γ 1)E t

Blow-up or No Blow-up? Fluid Dynamic Perspective of the Clay Millennium Problem

0.3.4 Burgers Equation and Nonlinear Wave

The 2-d isentropic compressible Euler equations may have infinitely many solutions which conserve energy

Formulation of the problem

Riemann Solvers and Numerical Methods for Fluid Dynamics

Weighted Essentially Non-Oscillatory limiters for Runge-Kutta Discontinuous Galerkin Methods

The Discontinuous Galerkin (dg) method is a popular numerical method that has received much attention

Semi-Discrete Central-Upwind Schemes with Reduced Dissipation for Hamilton-Jacobi Equations

Solving the Euler Equations!

On a class of numerical schemes. for compressible flows

Numerical Methods for Modern Traffic Flow Models. Alexander Kurganov

Antony Jameson. AIAA 18 th Computational Fluid Dynamics Conference

Conservation of Mass. Computational Fluid Dynamics. The Equations Governing Fluid Motion

Positivity-preserving high order schemes for convection dominated equations

2 The incompressible Kelvin-Helmholtz instability

Governing Equations of Fluid Dynamics

12.1 Viscous potential flow (VPF)

On a simple model of isothermal phase transition

A recovery-assisted DG code for the compressible Navier-Stokes equations

Wave operators with non-lipschitz coefficients: energy and observability estimates

International Engineering Research Journal

A Bound-Preserving Fourth Order Compact Finite Difference Scheme for Scalar Convection Diffusion Equations

Euler equations and Turbulence.

Lecture Notes on Hyperbolic Conservation Laws

Methods of Vanishing Viscosity for Nonlinear Conservation Laws

Hierarchical Reconstruction with up to Second Degree Remainder for Solving Nonlinear Conservation Laws

Analisis para la ecuacion de Boltzmann Soluciones y Approximaciones

A minimum entropy principle of high order schemes for gas dynamics. equations 1. Abstract

ACCURATE NUMERICAL SCHEMES FOR APPROXIMATING INITIAL-BOUNDARY VALUE PROBLEMS FOR SYSTEMS OF CONSERVATION LAWS.

ON THE GLOBAL REGULARITY OF SUB-CRITICAL EULER-POISSON EQUATIONS WITH PRESSURE

The inviscid limit to a contact discontinuity for the compressible Navier-Stokes-Fourier system using the relative entropy method

From Boltzmann Equations to Gas Dynamics: From DiPerna-Lions to Leray

Derivation of relativistic Burgers equation on de Sitter background

Renormalized and entropy solutions of partial differential equations. Piotr Gwiazda

Waves and characteristics: Overview 5-1

Well-balanced DG scheme for Euler equations with gravity

The Scalar Conservation Law

POSITIVITY PROPERTY OF SECOND-ORDER FLUX-SPLITTING SCHEMES FOR THE COMPRESSIBLE EULER EQUATIONS. Cheng Wang. Jian-Guo Liu

Transcription:

Computation of entropic measure-valued solutions for Euler equations Eitan Tadmor Center for Scientific Computation and Mathematical Modeling (CSCAMM) Department of Mathematics, Institute for Physical Science & Technology University of Maryland Laboratoire Jacques-Louis Lions Universite Pierre et Marie Curie, June 7 6 Collaborators: U. Fjordholm R. Käppeli S. Mishra

Prologue. Perfect derivatives and conservative differences u }{{} u ν+ u ν uu }{{} ( ) uν+ u ν u ν but... u 3 u }{{} u 3 ν ( uν+ u ν b a b a u d = boundary terms of u ( u ν+ u ν ) = boundary terms (u ) {}}{ uu d = boundary terms of u telescoping sum {}}{ ( u ν u ν+ u ν u ν b a ) ) = quadratic boundary terms 4 (u4 ) {}}{ u 3 u d = quartic boundary terms of u no perfect deriv. {( }}{ u 3 ν u ν+ u ν uν 3 ) no cancellation

Prologue. Perfect derivatives and conservative differences ( ) Set u 3 ( u 4 ν+ uν 4 4 ( 3 u 4 ν+ uν 4 4 uν+ 3 u4 ν uν 4 u3 ν uν 3 uν 3 ( 3 u 4 ν+ u 4 u3 ν 4 ν uν+ 3 u3 ν uν+ 3 u4 ν uν 4 u3 ν uν 3 uν 3 u4 ν u 4 ν u 3 ν u 3 ν = 3 ( u 3 4 ν+ uν) ( 3 uν+ 4 u4 ν uν+ 3 u3 ν ) ) boundary terms of u ) = ) boundary terms of u 4 How do we come up with ( )? Can we conserve general multipliers η (u)u = η(u) Applications entropic solution for nonlinear conservation laws

Strong and weak entropic solutions Euler equations with pressure law p := (γ ) ( E ρ (u + v ) ) : ρ ρu ρv ρu t ρv + ρu + p ρuv + ρuv ρv + p = E u(e + p) v(e + p) Nonlinear conservation laws: u t + f(u) = ; u := (ρ, ρu, ρv, E) balance of conservative variables u over spatial variables = (,,...) Strong solutions pointwise values u(, t) Weak solutions give up the certainty in pointvalues Instead observe the cell averages u(, t) := d u(, t)+ dt [ t+ t τ=t f ( u(+ ), τ) dτ Compute cell averages and numerical flues: t+ t τ=t f + / / u(y, t)dy ( u( ) ], τ) dτ = d dt u ν(t) + f ν+ f ν =

Weak solutions and entropy stability η (u), u t + f(u) = entropy {}}{ η(u) t + perfect derivatives? { }}{ η (u), f(u) = η(u) is an entropy iff η (u), f(u) = F (u) Entropy stability: { = η(u) t + F (u) Euler equations specific entropy S = ln(pρ γ ): η(u) {}}{ ( ρs) t + F (u) {}}{ ( ρus) { = Computation impose the entropy stability requirement d dt η(u ν(t)) + F ν+ F { ν =

D radial shock tube problem u L, r Radial initial data u () = + ɛ(δu )() u R, > r [ ] [ (δu )() sin(π ) Perturbation of steady-state ɛ = : = (δv )() sin(π ) Convergence: Fi ɛ =. keep mesh refinement...ρ ɛ at t =.4: ] (a) 8 (b) 56 (c) 5 64 8 56 5 (d) u u / L Figure: Approimate density of the perturbed Sod problem (ɛ =.) computed with TeCNO scheme at t =.4 Stability as ɛ...

y y Kelvin-Helmholtz instability u L, H < H Initial state of three layers u () = u R, H or H fied u L,R ; perturbed interface H j (, ω) = j 4 + ɛy j(, ω), j =, ɛ = : u L ( ) [ 4, 3 4 ] + u R( ) [, ] [ 3 4,] is an entropic steady state Perturbed state u (, ω) = u L ( ) [H,H ] + u R ( ) [,H ] [H,]: Y j (, ω) = a n (ω) cos(b n (ω) + nπ ) an = so that ɛy j ɛ n density, sample, t = density, sample, t = Lack of convergence: Fi ω, ɛ =. keep mesh refinement...ρ ɛ at t = :.9.9.8.8.7.7.6.6.5.5.4.4.3.3.......3.4.5.6.7.8.9...3.4.5.6.7.8.9 KH (a) initial 8 data: amplitude(b) perturbation 56 (left) and phase (c) 5 perturbation (right)(d) with4 ɛ =.

The notion of entropic weak solution is not enough (d > ).4. 64 8 56 5 (e) L rates vs. number of gridpoints with ɛ =...5..5. (f) L error with respect to ɛ, at a fied 4 mesh Figure: L differences in density ρ at time t = for the Kelvin-Helmholtz problem These are NOT numerical artifacts but... contemplate lack of uniqueness [De Lellis, Szekelyhidi, E. Chiodaroli, O. Kreml, et. al.] Just because we cannot prove that compressible flows with prescribed initial values eist doesn t mean that we cannot compute them [La 7] The question is what information is encoded in our computations?

Back to weak solutions ν,t = δ u(,t) (certainty of strongly convergent averages) Ron DiPerna Answer: Young measures and measure valued solutions Recall weak convergence: u n u and f(u n ) f What is the relation f and f(u )? f (, t) depends linearly and positively on f: hence f (, t) = ν,t, f in terms of measure ν = ν,t Complete description in terms of Young measure ν,t Luc Tartar Certainty: strong convergence with Dirac Mass ν,t = δ u (,t) f = f(u ) Entropy measure valued (EMV) solutions: u(, t) ν,t : u t + f(u) = t ν,t, id + ν,t, f = η(u) t + F (u) t ν,t, η + ν,t, F ν,t is the (weighted) probability of having the value ν,t, id at (, t) Measure valued solutions give up the certainty in a given solution Instead observe averages in configuration space

Young measures as quantifiers of uncertainty 3 3 3 3 3 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5..4.6.8..4.6.8..4.6.8..4.6.8..4.6.8 (a) t = (b) t =.5 (c) t = (d) t =.5 (e) t = Figure: The approimate PDF for density ρ ν,t at = (.5,.7). More about this later... how do we compute these Entropic Measure-Valued solutions (EMVs)?

Computing Entropy Measure Valued (EMV) solutions (Formally) arbitrarily high-order of accuracy; Entropy stability as a selection principle Essentially non-oscillatory in the presence of discontinuities; Convergence for linear systems; How to realize (the configuration space of) EMVs? Computationally efficient; The class of the entropy Conservative Non-Oscillatory (TeCNO) schemes which compute faithful samples required for the ensemble of EMVs b,c Fjordholm, Mishra, ET, Arbitrarily high-order accurate entropy stable schemes..., SINUM b Fjordholm, Kappeli, Mishra & ET, Construction of approimate entropy measure valued solutions for hyperbolic systems of conservation laws, FoCM (5) c FMT, On the computation of measure-valued solutions, Acta Numerica (6)

Entropy inequality: PDEs numerical approimations η (u), u t + f(u) = Semi-discrete approimations: d dt u ν(t) + [ ] f ν+ f ν η (u), f(u) =F (u) = η(u) t + F (u) { = = f ν+ = f(u ν p+,..., u ν+p ) Entropy conservative discretization given η find f s.t. d f f dt u ν+ ν(t) + ν =? d dt η(u ν(t)) + F ν+ F ν { = Does so that = η (u ν ), f ν+ f ν ν η(u ν (t)) { =? Fν+ F ν } ν η(u ν ())

Entropy variables and entropy conservative schemes Fi an entropy η(u). Set Entropy variables: v v(u) := η (u). Conveity of η( ) implies that u v is -: v ν = η (u ν )... Entropy conservation: η (u ν ), f ν+ perfect difference { }}{ vν, f f ν+ ν if and only if f?= ν Fν+ F ν perfect difference { }}{ vν+ v ν, f ν+ : Entropy conservative flu: v ν+ v ν, f = ψ(v ν+ ν+ ) ψ(v ν ) Entropy flu potential: ψ(v) := v, f(v) F (u(v)) Abbreviation entropy conservative schemes: v ν+, f = ψ ν+ ν+

#. Scalar eamples: f ν+ = ψ(v ν+) ψ(v ν ) v ν+ v ν Toda flow: u t + (e u ) = with Ep entropy pair: (e u ) t + (e u ) = η(u) = v(u) = e u, F (u) = eu and potential ψ(v) := vf F = v Entropy-conservative flu: f ν+ = ψ(v ν+) ψ(v ν ) v ν+ v ν = v ν+ v ν = v ν+ v ν (v ν + v ν+ ) = [ ] e uν + e u ν+ d Toda flow: dt u ν(t) = euν+(t) e uν (t) d e u ν(t) = Const. dt Inviscid Burgers: u t + ( u ) = quadratic entropy ( u ) t + ( 3 u3 ) = η(u) = u u3, v(u) = u, F (u) = 3 and potential ψ(v) := vf F = 6 u3 Entropy conservative 3 -rule : d dt u ν(t)= [ u ν+ u ] ν 3 4 3 [ u ν u ν+ u ν ] u ν(t) =Const.

#. Linear equations Linear transport: How to discretize u such that u t + u = conserves the balance of quartic perfect derivatives ( u 4) t + ( u 4) =? Conservative differences of u and 4u 3 u = ( u 4) : η(u) = u 4, v = 4u 3, f (u) = u, F = u 4 and ψ(u) = 3u 4 = ψ ν+ = 3 v ν+ 4 u 3 ν+ u3 ν ( ) Indeed set u =ν 3 f ν+ 3 4 ( u 4 ν+ uν 4 uν+ 3 u3 ν ( 3 u 4 ν+ u 4 u3 ν 4 ν uν+ 3 u3 ν = 3 4 uν+ 4 u4 ν, u ( u 4 ν+ uν 4 4 u4 ν u 4 ν u 3 ν u 3 ν u4 ν u 4 ν u 3 ν u 3 ν f f ν+ ν u4 ν u 4 ν u 3 ν u 3 ν ) then uν+ 3 u3 ν ) boundary terms of u ) ( u 3 ν+ u 3 ν) ( u 4 ν+ u4 ν u 3 ν+ u3 ν = ) quartic boundary terms

#3. Second and higher-order accuracy The u 4 entropy conservative flu is nd-order accurate: f f ν+ ν f ν+ = 3 uν+ 4 u4 ν 4 uν+ 3 : u3 ν is nd-order approimation of u 8u 3 ν+ u f = ψ ν+ u = 3 uν+ 4 u4 ν 4 uν+ 3 3 u3 ν 4 6u ν+ u u ν+ The general case: epress the flu in the viscosity form viscosity form : f ν+ d dt u ν(t) = nd-order: = (f ν + f ν+ ) D ν+ (u ν+ u ν ) nd order centered differencing (Du ) {}}{ [ f (uν+ ) f (u ν ) ] + [{}} ]{ D u ν+ ν+ D u ν ν D := ( ( ν+ ξ ) f ( ) ) u 8 ν+ dξ u ν+ f ν+ ξ= The entropy-conservative flu is nd-order accurate Entropy conservative flues to any order of accuracy (LeFloch & Rohde )

#4. Systems: v ν+ v ν, f ν+ = ψ(vν+ ) ψ(v ν ) Choice of path: N linearly independent directions { r j} N Intermediate states { v j ν+ } N j= : Starting with v = v ν+ ν, and followed by ( v ν+ v ν+ v ν ) v j+ = v j + l j, v ν+ ν+ ν+ r j, j =,,..., N (v N+ = v ν+ ν+ ) [ET 3] The conservative scheme d dt u ν(t) = [ ] f f ν+ ν N ψ ( v j+ ) ( f ν+ ψ v j ) = ν+ ν+ j= l j l j, v ν+ is entropy conservative: v ν+ v ν, f ν+ = ψ(vν+ ) ψ(v ν ) j=

#5. Entropy conservative Euler scheme (with W.-G. Zhong) f ν+ = N ψ ( v j+ ) ( ν+ ψ v j ) ν+ l j l j, v ν+ j= Entropy function: η(u) = ρs E/e S + γ + Euler entropy variables: v(u)=η u (u)= q/θ /θ Euler entropy flu potential ψ(v) = v, f F (u) = (γ )m path in phase-space: v = v ν, v j+ = v j + l j, v ν+ r j, v 4 = v ν+ {r j } 3 : three linearly independent directions in v-space (Riemann path) j= { l j } 3 : the corresponding orthogonal system j= { m j } 3 : intermediate values of the momentum along the path j= 3 f m j+ m j = (γ ) ν+ l j, v j= ν+ lj

#6. Affordable entropy conservative flues for Euler eqs [Ismail & Roe & (9)] D Euler eqs u t + f + g y = : Epress an entropy conservative flu f := (f, f, f 3, f 4 ) ν+ ρ in terms of z := u z ν+ := (z ν + z ν+ ) p v and the averages z ln z ν+ := ν+ p log(z) ν+ f ν+ f ν+ = (z ) ν+ (z 4 ) ln ν+ = (z 4) ν+ (z ) ν+ + (z ) ν+ (z ) ν+ f ν+ f 3 ν+ f 4 ν+ = (z 3) ν+ (z ) f ν+ ν+ = (z ) ν+ ( γ+ γ (z ) ln ν+ f + (z ν+ ) ν+ f + (z ν+ 3 ) ν+ f 3 ν+ satisfies the compatibility relation v ν+ v ν, f ν+ = ψ(v ν+ ) ψ(v ν ) )

ρ p...3.4.5.6.7.8.9 u D Euler,density,γ=.4,C v =76,κ=,entropy= ρ ln(pρ γ ), t=.5e 5, =.,T ma =..6 D Euler,velocity,γ=.4,C v =76,κ=,entropy= ρ ln(pρ γ ), t=.5e 5, =.,T ma =..9 t=. t=.5 t=..4 t=. t=.5 t=..8..7.6.8.5.6.4.4.3.......3.4.5.6.7.8.9 D Euler,pressure,γ=.4,C v =76,κ=,entropy= ρ ln(pρ γ ), t=.5e 5, =.,T ma =..38 D Euler, entropy conservative scheme w/ 3rd R K mtd, entropy vs time,entropy = ρ ln(pρ γ ) t=..9 t=.5 t=..38.8.38.7.38.6.5.4.3 U (total entropy).38.38.38..38..38...3.4.5.6.7.8.9.38...3.4.5.6.7.8.9. t Entropy conservative results for Euler s Sod problem: density, velocity, pressure & entropy. spatial grids, η(u) = ρ ln (pρ ) γ

ρ p...3.4.5.6.7.8.9 u.9 D Euler,density,γ=.4,C v =76,κ=,entropy= ρ ln(pρ γ ), t=.5e 5, =.5,T ma =. t=. t=.5 t=..6.4 D Euler,velocity,γ=.4,C v =76,κ=,entropy= ρ ln(pρ γ ), t=.5e 5, =.5,T ma =. t=. t=.5 t=..8..7.6.8.5.6.4.4.3.......3.4.5.6.7.8.9.9 D Euler,pressure,γ=.4,C v =76,κ=,entropy= ρ ln(pρ γ ), t=.5e 5, =.5,T ma =. t=. t=.5 t=..38.38 D Euler, entropy conservative scheme w/ 3rd R K mtd, entropy vs time,entropy = ρ ln(pρ γ ).8.38.7.6.5.4 U (total entropy).38.38.38.3.38...38...3.4.5.6.7.8.9.38...3.4.5.6.7.8.9. t Entropy conservative density, velocity, pressure & entropy w/4 spatial grids, η(u) = ρ ln (pρ ) γ Does not enforce physical solution with numerical viscosity

The question of entropy stability dissipation Entropy conservation: η(u) t + F (u) = Entropy decay due to shock discontinuities (La): η(u) t + F (u) Entropy decay is balanced by perfect derivatives: η(u(, t ))d η(u(, t ))d, t > t Q. How much entropy decay is enough? Entropic measure-valued solutions: d f f dt u ν+ ν(t)+ ν = ɛ(dv ) ; d dt η(u ν(t))+ F ν+ F ν =. ɛ dictates the small scale of dissipation...

#7. Entropy balance in Navier-Stokes (NS) eq s A semi-discrete scheme of NS equations u t + f(u) = ɛ (D( )v ) {}} vν { η (u ν ), d dt u ν(t) + ( ) ( f f = ɛ D ν+ ν ν+ Recall f ν+ is entropy-conservative: Euler flues conserve entropy: d dt d d NS dissipate: η(u η(u ν (t)) ν (t)) = = ɛ dt dt ν ν ν d ( ρ ν S ν ) = dt ν v ν+ v ν+, f ν+ D ν = ψ ν+ η(u ν (t)) = ψ ν+ v ν+, D ν+ v ν+ v ν ) = ν viscosity heat conduction {}}{{}}{ (λ + µ) ( q ν+ ) ( ) κ ( θ ν+ ) ( ) θ ν+ ν θ ν+ ν

ρ p...3.4.5.6.7.8.9 u.9 D N S,density,λ+µ=.8e 5,γ=.4,C v =76,κ=,entropy= ρ ln(pρ γ ), t=.5e 5, =.5 t=. t=.5 t=.. D N S,velocity,λ+µ=.8e 5,γ=.4,C v =76,κ=,entropy= ρ ln(pρ γ ), t=.5e 5, =.5 t=. t=.5 t=..8.8.7.6.6.5.4.4..3......3.4.5.6.7.8.9.9 D N S,pressure,λ+µ=.8e 5,γ=.4,C v =76,κ=,entropy= ρ ln(pρ γ ), t=.5e 5, =.5 t=. t=.5 t=..38 D N S, entropy conservative scheme w/ 3rd R K mtd,entropy vs time,entropy = ρ ln(pρ γ ).38.8.7.384.6.5.4 U (total entropy).386.388.3.39...39...3.4.5.6.7.8.9.394...3.4.5.6.7.8.9. t Navier-Stokes equations for Sod s problem: viscosity but no heat conduction; 4 spatial grids. η(u) = ρ ln (pρ ) γ

ρ p...3.4.5.6.7.8.9 u D Euler,density,γ=.4,C v =76,κ=.3,entropy= ρ ln(pρ γ ), t=.5e 5, =.5,T ma =..4 D Euler,velocity,γ=.4,C v =76,κ=.3,entropy= ρ ln(pρ γ ), t=.5e 5, =.5,T ma =..9 t=. t=.5 t=.. t=. t=.5 t=..8.7.8.6.6.5.4.4.3.......3.4.5.6.7.8.9 D Euler,pressure,γ=.4,C v =76,κ=.3,entropy= ρ ln(pρ γ ), t=.5e 5, =.5,T ma =..38 D Euler, entropy conservative scheme w/ 3rd R K mtd, entropy vs time,entropy = ρ ln(pρ γ ) t=..9 t=.5 t=..38.8.7.384.6.5.4 U (total entropy).386.388.3.39...39...3.4.5.6.7.8.9.394...3.4.5.6.7.8.9. t Entropy conservative results for Sod s problem: heat conduction but no viscosity; 4 spatial grids. η(u) = ρ ln (pρ ) γ

ρ p...3.4.5.6.7.8.9 u D N S,density,λ+µ=.8e 5,γ=.4,C v =76,κ=.3,entropy= ρ ln(pρ γ ), t=.5e 5, =..4 D N S,velocity,λ+µ=.8e 5,γ=.4,C v =76,κ=.3,entropy= ρ ln(pρ γ ), t=.5e 5, =..9 t=. t=.5 t=.. t=. t=.5 t=..8.7.8.6.6.5.4.4.3.......3.4.5.6.7.8.9 D N S,pressure,λ+µ=.8e 5,γ=.4,C v =76,κ=.3,entropy= ρ ln(pρ γ ), t=.5e 5, =..38 D N S, entropy conservative scheme w/ 3rd R K mtd,entropy vs time,entropy = ρ ln(pρ γ ) t=..9 t=.5 t=..38.8.7.384.6.5.4 U (total entropy).386.388.3.39...39...3.4.5.6.7.8.9.394...3.4.5.6.7.8.9. t Navier-Stokes equations Sod problem: both viscosity and heat conduction; spatial grids, η(u) = ρ ln (pρ ) γ

ρ p...3.4.5.6.7.8.9 u D N S,density,λ+µ=.8e 5,γ=.4,C v =76,κ=.3,entropy= ρ ln(pρ γ ), t=.5e 5, =.5. D N S,velocity,λ+µ=.8e 5,γ=.4,C v =76,κ=.3,entropy= ρ ln(pρ γ ), t=.5e 5, =.5.9 t=. t=.5 t=. t=. t=.5 t=..8.8.7.6.6.5.4.4..3......3.4.5.6.7.8.9 D N S,pressure,λ+µ=.8e 5,γ=.4,C v =76,κ=.3,entropy= ρ ln(pρ γ ), t=.5e 5, =.5 t=. t=.5.9 t=..38.38 D N S, entropy conservative scheme w/ 3rd R K mtd,entropy vs time,entropy = ρ ln(pρ γ ).8.7.384.6.5.4 U (total entropy).386.388.39.3..39..394...3.4.5.6.7.8.9.396...3.4.5.6.7.8.9. t Navier-Stokes equations Sod problem: viscosity and heat conduction; 4 spatial grids, η(u) = ρ ln (pρ ) γ

#8. TeCNO: Arbitrarily high-order entropy stable schemes Set numerical viscosity f ν+ f ν+ Any D ν+ is high order and f ν+ = f D ν+ ν+ (v ν+ v ν ) such that entropy stable: v ν+, D ν+ v ν+ < > will do for entropy dissipation; but... v ν+ p ; non-oscillatory? To overcome first order accuracy: D ν+ A class of arbitrarily high-order entropy-stable schemes: ( ) f ν+ := f (v) ν+ D ν+ v ν+, v ν+ := v ν+ v+ ν Entropy stability requires v ν+, D ν+ v ν+ <...? Interface values v ± : reconstructed by ENO (Harten, Engquist, Osher, Shu,..) (i) ENO reconstruction is highly accurate: D ν+ v ν+ v ν+ (ii) It is Essentially Non-Oscillatory (hence the acronym...) ; and... (iii) [FMT ] The sign property: sign v ν+ = sign v ν+ p ( )!

Back to computation of entropy measure valued solutions EMV solutions ν,t : t ν,t, id + ν,t, f = How to compute a realization of the Young measure ν,t? Every Young measure can be realized as a law of random variable: (Ω, Σ, P) : ν,t (E) = P(u(, t, ω) E) Initial data: Realize the law of σ = ν (,t=) by a random field u (, ω) Classical case atomic initial delta: σ = δ u () Beyond classical case uncertainty in initial measurement Compute the entropy measure valued solutions: To be well-defined, we need to make sure {u(, t, ω)} form a measurable ensemble in the right space (Ω, Σ, P) (X, B(X )) Scalar case X = L (Risebro, Schwab, Weber,...) Systems? Eample Back to D Euler realize steady KH as MC average: δ u () = Eu (, ω) M M u k (, ω), u (, ω) = a n cos(b n + nπ ) k=

#9. Computation of EMV solutions cont d Evolution: compute the ensemble of entropic solutions u,k (, ω) u,k (, t, ω) Realize the EMVs by propagating the law of MC simulation ν,t = M δ M u,k (,t,ω), ν,t, g(λ) = g(u,k (, t, ω)) M k= This is an approimate entropic MV solution: for all φ(, t) C φ t ν,t, id + φ ν,t, f t + φ t ν,t, id + φ ν,t, f ddt + φ( ν, φ(, ) σ ) σ, id, id d = = ν,t n R + R d ν R d and for all conve entropy pairs (η, F ) with φ C φ t ν,t, η + φ ν,t, F t + φ t ν,t, η + φ ν,t, F ddt + φ( ν, φ(, ) σ ) σ, id, id d ν,t n R + R d ν R d Entropic ν,t with weak BV-bound weak lim ν,t k = ν,t is an EMV

On entropic measure-valued solutions... Entropic ν,t with weak BV-bound weak lim ν,t The scalar case Wasserstein W -stability: for all ξ s in R: ν,t, u(, t) ξ d σ, u () ξ d. R d R d In particular, if σ = δ u at t = then ν,t = δ u(,t) No uniqueness for non-atomic initial data = ν,t is an EMV Systems weak-strong W -stability: if u W, classical solution ν,t, u(, t) ξ d σ, u () ξ d. R d R d There is no uniqueness but compute the observables the mean: ν,t, λ Eu (, t, ω) the variance: ν,t, λ E ( u (, t, ω) Eu ), etc.,

#. The computed observables.8.8.8.8.8.8.8.8.6.6.6.6.6.6.6.6.4.4.4.4.4.4.4.4.........5.5.5.5 (a) 8 (b) 56 (c) 5 (d) 4 Figure: Approimate sample means of the density for the Kelvin-Helmholtz problem at t = and different mesh resolutions. All results are with 4 Monte Carlo samples......8.5.8.5.8.5.8.5.6.4..6.4..6.4..6.4...5..5..5..5.5.5.5.5 (a) 8 (b) 56 (c) 5 (d) 4 Figure: Approimate sample variances of the density for the Kelvin-Helmholtz problem at t = and different mesh resolutions. All results are with 4 Monte Carlo samples.

Comments on the computation of EMVs MC slow convergence Eu (, t, ω) Eu,M (, t, ω) < M / Key point: Each ensemble was computed with M = 4 samples...!..3.3.6.5 8 56 5 4 8 56 5 4 8 56 5 4 (a) Pointwise (b) Mean (c) Variance (d) W -rate Figure: Kelvin-Helmholtz. (a) The Cauchy rates at t = for the density (y-ais) for a single sample of the Kelvin-Helmholtz problem, vs. (b)+(c) different mesh resolutions (-ais) (d).9 64 8 56 5 Cauchy rates in the W distance at t = for the density (y-ais) with respect to different mesh resolutions (-ais) Richtmeyer-Meshkov instability: similar computations; other methods...

Computing EMVs: Young measures quantify uncertainty 3 3 3 3 3 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5..4.6.8..4.6.8..4.6.8..4.6.8..4.6.8 (a) t = (b) t =.5 (c) t = (d) t =.5 (e) t = 3 3 3 3 3 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5..4.6.8..4.6.8..4.6.8..4.6.8..4.6.8 (f) t = (g) t =.5 (h) t = (i) t =.5 (j) t = Figure: The approimate PDF for density ρ at = (.5,.7) (first row) and = (.5,.8) (second row) on a grid of 4 mesh points. 5 5 5 5 5 5 5 5 5 5 5 5..4.6.8..4.6.8..4.6.8 (a) n = 8 (b) n = 56 (c) n = 5 (d) n = 4 Figure: The approimate PDF for density ρ at the points = (.5,.7) (first row) and = (.5,.8) (second row) a series of meshes...4.6.8

Entropy stability theory for difference approimations of nonlinear conservation laws..., Acta Numerica 3 FMT, ENO reconstruction and ENO interpolation are stable, FoCM FMT Arbitrarily high order accurate entropy stable ENO schemes for systems of conservation laws, SINUM FM(K b )T, Construction of approimate entropy measure valued solutions for hyperbolic systems of conservation laws, J. FoCM (5) FMT, Computation of measure-valued solutions Acta Numerica (6) Fjordholm, Lanthaler, Mishra, Statistical solutions of hyperbolic conservation laws I: Foundations, ArXiv. Fjordholm, Mishra Tadmor; b R. Kappli

THANK YOU