From the Boltzmann equation to incompressible viscous hydrodynamics - - PowerPoint PPT Presentation

from the boltzmann equation to incompressible viscous
SMART_READER_LITE
LIVE PREVIEW

From the Boltzmann equation to incompressible viscous hydrodynamics - - PowerPoint PPT Presentation

From the Boltzmann equation to incompressible viscous hydrodynamics Diogo Ars enio CNRS & Universit e Paris Diderot (Paris 7) 10 th International Conference on Operations Research Partial Differential Equations Session La Habana 6-9


slide-1
SLIDE 1

From the Boltzmann equation to incompressible viscous hydrodynamics

Diogo Ars´ enio

CNRS & Universit´ e Paris Diderot (Paris 7)

10th International Conference on Operations Research Partial Differential Equations Session La Habana 6-9 March 2012

slide-2
SLIDE 2

Fluid dynamics

  • D. Ars´

enio Hydrodynamic limits

slide-3
SLIDE 3

Fluid dynamics

Particle number density: F(t, x, v) ≥ 0

(t,x,v)∈[0,∞)×Ω×RD Ω⊂RD, D≥2 (D=1)

  • D. Ars´

enio Hydrodynamic limits

slide-4
SLIDE 4

Fluid dynamics

Particle number density: F(t, x, v) ≥ 0

(t,x,v)∈[0,∞)×Ω×RD Ω⊂RD, D≥2 (D=1)

Maxwellian distribution: F(t, x, v) =

ρ (2πθ)

D 2 e− |v−u|2 2θ

  • statistical

equilibrium

  • D. Ars´

enio Hydrodynamic limits

slide-5
SLIDE 5

Fluid dynamics

Particle number density: F(t, x, v) ≥ 0

(t,x,v)∈[0,∞)×Ω×RD Ω⊂RD, D≥2 (D=1)

Maxwellian distribution: F(t, x, v) =

ρ (2πθ)

D 2 e− |v−u|2 2θ

  • statistical

equilibrium

  • The incompressible Navier-Stokes-Fourier system:

∂tu + u · ∇xu − ν∆xu = −∇xp ∇x · u = 0

D+2 2

(∂tθ + u · ∇xθ) − κ∆xθ = 0

  • D. Ars´

enio Hydrodynamic limits

slide-6
SLIDE 6

Fluid dynamics

Particle number density: F(t, x, v) ≥ 0

(t,x,v)∈[0,∞)×Ω×RD Ω⊂RD, D≥2 (D=1)

Maxwellian distribution: F(t, x, v) =

ρ (2πθ)

D 2 e− |v−u|2 2θ

  • statistical

equilibrium

  • The incompressible Navier-Stokes-Fourier system:

∂tu + u · ∇xu − ν∆xu = −∇xp ∇x · u = 0

D+2 2

(∂tθ + u · ∇xθ) − κ∆xθ = 0 The Boltzmann equation: (∂t + v · ∇x) F(t, x, v) = B (F, F) (t, x, v)

  • D. Ars´

enio Hydrodynamic limits

slide-7
SLIDE 7

The Boltzmann collision operator

  • D. Ars´

enio Hydrodynamic limits

slide-8
SLIDE 8

The Boltzmann collision operator

B (F, F) (t, x, v) =

  • RD
  • SD−1 (F ′F ′

∗ − FF∗) b (v − v∗, σ) dσdv∗

F ′ = F(t, x, v′), F ′

∗ = F(t, x, v′ ∗),

F∗ = F(t, x, v∗) v′ = v+v∗

2

+ |v−v∗|

2

σ, v′

∗ = v+v∗ 2

− |v−v∗|

2

σ

  • D. Ars´

enio Hydrodynamic limits

slide-9
SLIDE 9

The Boltzmann collision operator

B (F, F) (t, x, v) =

  • RD
  • SD−1 (F ′F ′

∗ − FF∗) b (v − v∗, σ) dσdv∗

F ′ = F(t, x, v′), F ′

∗ = F(t, x, v′ ∗),

F∗ = F(t, x, v∗) v′ = v+v∗

2

+ |v−v∗|

2

σ, v′

∗ = v+v∗ 2

− |v−v∗|

2

σ

  • v + v∗ = v′ + v′

(conservation of momentum)

|v|2 + |v∗|2 = |v′|2 + |v′

∗|2

(conservation of energy)

  • D. Ars´

enio Hydrodynamic limits

slide-10
SLIDE 10

The Boltzmann collision operator

B (F, F) (t, x, v) =

  • RD
  • SD−1 (F ′F ′

∗ − FF∗) b (v − v∗, σ) dσdv∗

F ′ = F(t, x, v′), F ′

∗ = F(t, x, v′ ∗),

F∗ = F(t, x, v∗) v′ = v+v∗

2

+ |v−v∗|

2

σ, v′

∗ = v+v∗ 2

− |v−v∗|

2

σ

  • D. Ars´

enio Hydrodynamic limits

slide-11
SLIDE 11

The Boltzmann collision operator

B (F, F) (t, x, v) =

  • RD
  • SD−1 (F ′F ′

∗ − FF∗) b (v − v∗, σ) dσdv∗

F ′ = F(t, x, v′), F ′

∗ = F(t, x, v′ ∗),

F∗ = F(t, x, v∗) v′ = v+v∗

2

+ |v−v∗|

2

σ, v′

∗ = v+v∗ 2

− |v−v∗|

2

σ 5 hypotheses: binary collisions (rarefied gas) localization in time and space of collisions elastic collisions micro-reversibility of collisions molecular chaos

  • D. Ars´

enio Hydrodynamic limits

slide-12
SLIDE 12

The Boltzmann collision operator

B (F, F) (t, x, v) =

  • RD
  • SD−1 (F ′F ′

∗ − FF∗) b (v − v∗, σ) dσdv∗

F ′ = F(t, x, v′), F ′

∗ = F(t, x, v′ ∗),

F∗ = F(t, x, v∗) v′ = v+v∗

2

+ |v−v∗|

2

σ, v′

∗ = v+v∗ 2

− |v−v∗|

2

σ

  • D. Ars´

enio Hydrodynamic limits

slide-13
SLIDE 13

The Boltzmann collision operator

B (F, F) (t, x, v) =

  • RD
  • SD−1 (F ′F ′

∗ − FF∗) b (v − v∗, σ) dσdv∗

F ′ = F(t, x, v′), F ′

∗ = F(t, x, v′ ∗),

F∗ = F(t, x, v∗) v′ = v+v∗

2

+ |v−v∗|

2

σ, v′

∗ = v+v∗ 2

− |v−v∗|

2

σ The collision kernel: b(v − v∗, σ) = b(|v − v∗| , cos θ) ≥ 0

  • D. Ars´

enio Hydrodynamic limits

slide-14
SLIDE 14

The Boltzmann collision operator

B (F, F) (t, x, v) =

  • RD
  • SD−1 (F ′F ′

∗ − FF∗) b (v − v∗, σ) dσdv∗

F ′ = F(t, x, v′), F ′

∗ = F(t, x, v′ ∗),

F∗ = F(t, x, v∗) v′ = v+v∗

2

+ |v−v∗|

2

σ, v′

∗ = v+v∗ 2

− |v−v∗|

2

σ The collision kernel: b(v − v∗, σ) = b(|v − v∗| , cos θ) ≥ 0 Hard spheres: b(v − v∗, σ) = |v − v∗| ∈ L1

loc

  • D. Ars´

enio Hydrodynamic limits

slide-15
SLIDE 15

The Boltzmann collision operator

B (F, F) (t, x, v) =

  • RD
  • SD−1 (F ′F ′

∗ − FF∗) b (v − v∗, σ) dσdv∗

F ′ = F(t, x, v′), F ′

∗ = F(t, x, v′ ∗),

F∗ = F(t, x, v∗) v′ = v+v∗

2

+ |v−v∗|

2

σ, v′

∗ = v+v∗ 2

− |v−v∗|

2

σ The collision kernel: b(v − v∗, σ) = b(|v − v∗| , cos θ) ≥ 0 Hard spheres: b(v − v∗, σ) = |v − v∗| ∈ L1

loc

Intermolecular forces deriving from an inverse power potential: φ(r) =

1 rs−1 ,

s > 2 b(v − v∗, σ) = |v − v∗|γ b0(cos θ), γ = s−5

s−1

sinD−2 θb0(cos θ) ≈

1 θ1+ν /

∈ L1

loc,

ν =

2 s−1

  • D. Ars´

enio Hydrodynamic limits

slide-16
SLIDE 16

The Boltzmann collision operator

B (F, F) (t, x, v) =

  • RD
  • SD−1 (F ′F ′

∗ − FF∗) b (v − v∗, σ) dσdv∗

F ′ = F(t, x, v′), F ′

∗ = F(t, x, v′ ∗),

F∗ = F(t, x, v∗) v′ = v+v∗

2

+ |v−v∗|

2

σ, v′

∗ = v+v∗ 2

− |v−v∗|

2

σ The collision kernel: b(v − v∗, σ) = b(|v − v∗| , cos θ) ≥ 0 Hard spheres: b(v − v∗, σ) = |v − v∗| ∈ L1

loc

Intermolecular forces deriving from an inverse power potential: φ(r) =

1 rs−1 ,

s > 2 b(v − v∗, σ) = |v − v∗|γ b0(cos θ), γ = s−5

s−1

sinD−2 θb0(cos θ) ≈

1 θ1+ν /

∈ L1

loc,

ν =

2 s−1

long-range interactions ⇒ grazing collisions ⇒ non-integrable kernel

  • D. Ars´

enio Hydrodynamic limits

slide-17
SLIDE 17

Microscopic-macroscopic link

Conservation laws

  • D. Ars´

enio Hydrodynamic limits

slide-18
SLIDE 18

Microscopic-macroscopic link

Conservation laws

(∂t + v · ∇x) F(t, x, v) = B (F, F) (t, x, v)

  • D. Ars´

enio Hydrodynamic limits

slide-19
SLIDE 19

Microscopic-macroscopic link

Conservation laws

(∂t + v · ∇x) F(t, x, v) = B (F, F) (t, x, v) Macroscopic variables: density: ρ(t, x) =

  • RD F(t, x, v) dv

bulk velocity: ρu(t, x) =

  • RD F(t, x, v)v dv

temperature: ρθ(t, x) =

  • RD F(t, x, v) |v−u(t,x)|2

D

dv

  • D. Ars´

enio Hydrodynamic limits

slide-20
SLIDE 20

Microscopic-macroscopic link

Conservation laws

(∂t + v · ∇x) F(t, x, v) = B (F, F) (t, x, v) Macroscopic variables: density: ρ(t, x) =

  • RD F(t, x, v) dv

bulk velocity: ρu(t, x) =

  • RD F(t, x, v)v dv

temperature: ρθ(t, x) =

  • RD F(t, x, v) |v−u(t,x)|2

D

dv Microscopic conservation laws:

  • RD B (F, F) (t, x, v)

    

1 v

|v|2 2      dv = 0

  • D. Ars´

enio Hydrodynamic limits

slide-21
SLIDE 21

Microscopic-macroscopic link

Conservation laws

(∂t + v · ∇x) F(t, x, v) = B (F, F) (t, x, v) Macroscopic variables: density: ρ(t, x) =

  • RD F(t, x, v) dv

bulk velocity: ρu(t, x) =

  • RD F(t, x, v)v dv

temperature: ρθ(t, x) =

  • RD F(t, x, v) |v−u(t,x)|2

D

dv

  • D. Ars´

enio Hydrodynamic limits

slide-22
SLIDE 22

Microscopic-macroscopic link

Conservation laws

(∂t + v · ∇x) F(t, x, v) = B (F, F) (t, x, v) Macroscopic variables: density: ρ(t, x) =

  • RD F(t, x, v) dv

bulk velocity: ρu(t, x) =

  • RD F(t, x, v)v dv

temperature: ρθ(t, x) =

  • RD F(t, x, v) |v−u(t,x)|2

D

dv Macroscopic conservation laws:        ∂tρ + ∇x · (ρu) = 0 ∂t (ρu) + ∇x · (ρu ⊗ u + P) = 0 ∂t

  • ρ |u|2

2 + D 2 ρθ

  • + ∇x ·
  • ρ |u|2

2 + D 2 ρθ

  • u + Pu + q
  • = 0

stress tensor: P(t, x) =

  • RD F(t, x, v)(v − u) ⊗ (v − u) dv

thermal flux: q(t, x) =

  • RD F(t, x, v)(v − u)|v − u|2 dv
  • D. Ars´

enio Hydrodynamic limits

slide-23
SLIDE 23

Hydrodynamic regimes

Compressible Euler

  • D. Ars´

enio Hydrodynamic limits

slide-24
SLIDE 24

Hydrodynamic regimes

Compressible Euler

(∂t + v · ∇x) Fǫ(t, x, v) = 1 ǫ

↑ Knudsen number ≈mean free path

B (Fǫ, Fǫ) (t, x, v)

  • D. Ars´

enio Hydrodynamic limits

slide-25
SLIDE 25

Hydrodynamic regimes

Compressible Euler

(∂t + v · ∇x) Fǫ(t, x, v) = 1 ǫ

↑ Knudsen number ≈mean free path

B (Fǫ, Fǫ) (t, x, v) Hyperbolic scaling: Fǫ(t, x, v) = F t

ǫ, x ǫ , v

  • D. Ars´

enio Hydrodynamic limits

slide-26
SLIDE 26

Hydrodynamic regimes

Compressible Euler

(∂t + v · ∇x) Fǫ(t, x, v) = 1 ǫ

↑ Knudsen number ≈mean free path

B (Fǫ, Fǫ) (t, x, v) Hyperbolic scaling: Fǫ(t, x, v) = F t

ǫ, x ǫ , v

  • Continuum limit ǫ → 0 :

Fǫ → F ⇒ B(F, F) = 0 ⇒ F = ρ (2πθ)

D 2

e− |v−u|2

is a Maxwellian ⇒ P = Idρθ, q = 0

  • D. Ars´

enio Hydrodynamic limits

slide-27
SLIDE 27

Hydrodynamic regimes

Compressible Euler

(∂t + v · ∇x) Fǫ(t, x, v) = 1 ǫ

↑ Knudsen number ≈mean free path

B (Fǫ, Fǫ) (t, x, v) Hyperbolic scaling: Fǫ(t, x, v) = F t

ǫ, x ǫ , v

  • Continuum limit ǫ → 0 :

Fǫ → F ⇒ B(F, F) = 0 ⇒ F = ρ (2πθ)

D 2

e− |v−u|2

is a Maxwellian ⇒ P = Idρθ, q = 0 Compressible Euler system:        ∂tρ + ∇x · (ρu) = 0 ∂t (ρu) + ∇x · (ρu ⊗ u) + ∇x (ρθ) = 0 ∂t

  • ρ |u|2

2 + D 2 ρθ

  • + ∇x ·
  • ρ |u|2

2 + D+2 2 ρθ

  • u
  • = 0
  • D. Ars´

enio Hydrodynamic limits

slide-28
SLIDE 28

Hydrodynamic regimes

Incompressible Navier-Stokes-Fourier

  • D. Ars´

enio Hydrodynamic limits

slide-29
SLIDE 29

Hydrodynamic regimes

Incompressible Navier-Stokes-Fourier

( ǫ

↑ Strouhal number

∂t + v · ∇x)Fǫ(t, x, v) = 1 ǫ

↑ Knudsen number ≈mean free path

B (Fǫ, Fǫ) (t, x, v)

  • D. Ars´

enio Hydrodynamic limits

slide-30
SLIDE 30

Hydrodynamic regimes

Incompressible Navier-Stokes-Fourier

( ǫ

↑ Strouhal number

∂t + v · ∇x)Fǫ(t, x, v) = 1 ǫ

↑ Knudsen number ≈mean free path

B (Fǫ, Fǫ) (t, x, v) Parabolic scaling: Fǫ(t, x, v) = F t

ǫ2 , x ǫ , v

  • D. Ars´

enio Hydrodynamic limits

slide-31
SLIDE 31

Hydrodynamic regimes

Incompressible Navier-Stokes-Fourier

( ǫ

↑ Strouhal number

∂t + v · ∇x)Fǫ(t, x, v) = 1 ǫ

↑ Knudsen number ≈mean free path

B (Fǫ, Fǫ) (t, x, v) Parabolic scaling: Fǫ(t, x, v) = F t

ǫ2 , x ǫ , v

  • Fluctuations: Fǫ = M(v)(1 + ǫ

↑ Mach number

gǫ) where M(v) =

1 (2π)

D 2 e− |v|2 2

  • D. Ars´

enio Hydrodynamic limits

slide-32
SLIDE 32

Hydrodynamic regimes

Incompressible Navier-Stokes-Fourier

( ǫ

↑ Strouhal number

∂t + v · ∇x)Fǫ(t, x, v) = 1 ǫ

↑ Knudsen number ≈mean free path

B (Fǫ, Fǫ) (t, x, v) Parabolic scaling: Fǫ(t, x, v) = F t

ǫ2 , x ǫ , v

  • Fluctuations: Fǫ = M(v)(1 + ǫ

↑ Mach number

gǫ) where M(v) =

1 (2π)

D 2 e− |v|2 2

(ǫ∂t + v · ∇x)gǫ = −1 ǫ L (gǫ) + Q (gǫ, gǫ)

  • D. Ars´

enio Hydrodynamic limits

slide-33
SLIDE 33

Hydrodynamic regimes

Incompressible Navier-Stokes-Fourier

  • D. Ars´

enio Hydrodynamic limits

slide-34
SLIDE 34

Hydrodynamic regimes

Incompressible Navier-Stokes-Fourier

(ǫ∂t + v · ∇x)gǫ = −1 ǫ L (gǫ) + Q (gǫ, gǫ)

  • D. Ars´

enio Hydrodynamic limits

slide-35
SLIDE 35

Hydrodynamic regimes

Incompressible Navier-Stokes-Fourier

(ǫ∂t + v · ∇x)gǫ = −1 ǫ L (gǫ) + Q (gǫ, gǫ) Continuum limit ǫ → 0: gǫ → g

  • D. Ars´

enio Hydrodynamic limits

slide-36
SLIDE 36

Hydrodynamic regimes

Incompressible Navier-Stokes-Fourier

(ǫ∂t + v · ∇x)gǫ = −1 ǫ L (gǫ) + Q (gǫ, gǫ) Continuum limit ǫ → 0: gǫ → g Order ǫ−1: L(g) = 0 ⇒ g = ρ + v · u +

  • |v|2

2 − D 2

  • θ is an

infinitesimal Maxwellian

  • D. Ars´

enio Hydrodynamic limits

slide-37
SLIDE 37

Hydrodynamic regimes

Incompressible Navier-Stokes-Fourier

(ǫ∂t + v · ∇x)gǫ = −1 ǫ L (gǫ) + Q (gǫ, gǫ) Continuum limit ǫ → 0: gǫ → g Order ǫ−1: L(g) = 0 ⇒ g = ρ + v · u +

  • |v|2

2 − D 2

  • θ is an

infinitesimal Maxwellian Order 1: ∇x · u = 0 and ∇x (ρ + θ) = 0 ⇒ ρ + θ = 0 and g = v · u +

  • |v|2

2 − D+2 2

  • θ
  • D. Ars´

enio Hydrodynamic limits

slide-38
SLIDE 38

Hydrodynamic regimes

Incompressible Navier-Stokes-Fourier

(ǫ∂t + v · ∇x)gǫ = −1 ǫ L (gǫ) + Q (gǫ, gǫ)

  • D. Ars´

enio Hydrodynamic limits

slide-39
SLIDE 39

Hydrodynamic regimes

Incompressible Navier-Stokes-Fourier

(ǫ∂t + v · ∇x)gǫ = −1 ǫ L (gǫ) + Q (gǫ, gǫ) Order ǫ:    ∂t

  • RD gǫvMdv + 1

ǫ∇x ·

  • RD gǫAMdv = − 1

ǫ∇x

  • RD gǫ

|v|2 D Mdv

∂t

  • RD gǫ
  • |v|2

2 − D+2 2

  • Mdv + 1

ǫ∇x ·

  • RD gǫBMdv = 0

where A = v ⊗ v − |v|2

D Id

and B =

  • |v|2

2 − D+2 2

  • v.
  • D. Ars´

enio Hydrodynamic limits

slide-40
SLIDE 40

Hydrodynamic regimes

Incompressible Navier-Stokes-Fourier

(ǫ∂t + v · ∇x)gǫ = −1 ǫ L (gǫ) + Q (gǫ, gǫ) Order ǫ:    ∂t

  • RD gǫvMdv + 1

ǫ∇x ·

  • RD gǫAMdv = − 1

ǫ∇x

  • RD gǫ

|v|2 D Mdv

∂t

  • RD gǫ
  • |v|2

2 − D+2 2

  • Mdv + 1

ǫ∇x ·

  • RD gǫBMdv = 0

where A = v ⊗ v − |v|2

D Id

and B =

  • |v|2

2 − D+2 2

  • v.

Idea: use that L is Fredholm (index 0) and self-adjoint on L2 (Mdv), so that A, B ∈ Im (L) ⇒ A = L ¯ A

  • , B = L

¯ B

  • .
  • D. Ars´

enio Hydrodynamic limits

slide-41
SLIDE 41

Hydrodynamic regimes

Incompressible Navier-Stokes-Fourier

(ǫ∂t + v · ∇x)gǫ = −1 ǫ L (gǫ) + Q (gǫ, gǫ)

  • D. Ars´

enio Hydrodynamic limits

slide-42
SLIDE 42

Hydrodynamic regimes

Incompressible Navier-Stokes-Fourier

(ǫ∂t + v · ∇x)gǫ = −1 ǫ L (gǫ) + Q (gǫ, gǫ) Handling the fluxes: 1 ǫ ∇x ·

  • RD gǫAMdv

= 1 ǫ ∇x ·

  • RD gǫL

¯ A

  • Mdv

= ∇x ·

  • RD

1 ǫ L (gǫ) ¯ AMdv = ∇x ·

  • RD Q (gǫ, gǫ) ¯

AMdv − ∇x ·

  • RD(ǫ∂t + v · ∇x)gǫ¯

AMdv

  • D. Ars´

enio Hydrodynamic limits

slide-43
SLIDE 43

Hydrodynamic regimes

Incompressible Navier-Stokes-Fourier

(ǫ∂t + v · ∇x)gǫ = −1 ǫ L (gǫ) + Q (gǫ, gǫ)

  • D. Ars´

enio Hydrodynamic limits

slide-44
SLIDE 44

Hydrodynamic regimes

Incompressible Navier-Stokes-Fourier

(ǫ∂t + v · ∇x)gǫ = −1 ǫ L (gǫ) + Q (gǫ, gǫ) We finally obtain in the limit:      ∂tu + u · ∇xu − ν∆xu = −∇xp

D+2 2

(∂tθ + u · ∇xθ) − κ∆xθ = 0 ∇x · u = 0 with ν = 1 (D − 1)(D + 2)

  • RD A : L(A)Mdv

κ = 1 D

  • RD B · L(B)Mdv
  • D. Ars´

enio Hydrodynamic limits

slide-45
SLIDE 45

Hydrodynamic regimes

Other systems

  • D. Ars´

enio Hydrodynamic limits

slide-46
SLIDE 46

Hydrodynamic regimes

Other systems

(ǫs∂t + v · ∇x)Fǫ(t, x, v) = 1

ǫq B (Fǫ, Fǫ) (t, x, v)

Fǫ = M(v)(1 + ǫmgǫ)

1 Compressible Euler (q = 1, s = 0, m = 0) 2 Acoustic waves (q = 1, s = 0, m > 0)

  • ∂tρ + ∇x · u = 0,

∂t(ρ + θ) + D+2

2 ∇x · u = 0

∂tu + ∇x(ρ + θ) = 0

3 Incompressible Navier-Stokes-Fourier (q = 1, s = 1, m = 1) 4 Incompressible Stokes-Fourier (q = 1, s = 1, m > 1)

  • ∂tu − ν∆xu = −∇xp,

∇x · u = 0 ∂tθ − κ∆xθ = 0

5 Incompressible Euler-Fourier (q > 1, s = 1, m = 1)

  • ∂tu + u · ∇xu = −∇xp,

∇x · u = 0 ∂tθ + u · ∇xθ = 0

  • D. Ars´

enio Hydrodynamic limits

slide-47
SLIDE 47

Hydrodynamic regimes

Other systems

(ǫs∂t + v · ∇x)Fǫ(t, x, v) = 1

ǫq B (Fǫ, Fǫ) (t, x, v)

Fǫ = M(v)(1 + ǫmgǫ)

  • D. Ars´

enio Hydrodynamic limits

slide-48
SLIDE 48

Hydrodynamic regimes

Other systems

(ǫs∂t + v · ∇x)Fǫ(t, x, v) = 1

ǫq B (Fǫ, Fǫ) (t, x, v)

Fǫ = M(v)(1 + ǫmgǫ) It is not possible to obtain a compressible Navier-Stokes-Fourier system! von K´ arm´ an relation: Reynolds ≈ Mach Knudsen

  • D. Ars´

enio Hydrodynamic limits

slide-49
SLIDE 49

From Boltzmann to Navier-Stokes

  • D. Ars´

enio Hydrodynamic limits

slide-50
SLIDE 50

From Boltzmann to Navier-Stokes

Theorem (Ars., Bardos, Golse, Levermore, Lions, Masmoudi, Saint-Raymond, ’91 - ’11) We consider: a collision kernel which derives from an inverse power potential. renormalized solutions Fǫ = M(1 + ǫgǫ) ∈ L∞

t L1 x,v of

(ǫ∂t + v · ∇x)gǫ = −1 ǫ L (gǫ) + Q (gǫ, gǫ) with well-prepared initial data. Then, as ǫ → 0: gǫ is weakly relatively compact in L1 (1 + |v|2)Mdtdxdv

  • .

each limit point g of gǫ satisfies g = v · u +

  • |v|2

2 − D+2 2

  • θ

where (u, θ) ∈ L∞

t L2 x ∩ L2 t ˙

H1

x is a Leray solution of the

incompressible Navier-Stokes-Fourier system.

  • D. Ars´

enio Hydrodynamic limits

slide-51
SLIDE 51

Mathematical difficulties

  • D. Ars´

enio Hydrodynamic limits

slide-52
SLIDE 52

Mathematical difficulties

(ǫ∂t + v · ∇x)gǫ = −1 ǫ L (gǫ) + Q (gǫ, gǫ)

  • D. Ars´

enio Hydrodynamic limits

slide-53
SLIDE 53

Mathematical difficulties

(ǫ∂t + v · ∇x)gǫ = −1 ǫ L (gǫ) + Q (gǫ, gǫ)

1 Lack of a priori estimates! We only have the entropy

inequality.

2 Renormalized solutions: gǫ ∈ L1

loc (at most L log L) such that

(ǫ∂t+v·∇x) gǫ 2 + ǫgǫ = − 2 ǫ (2 + ǫgǫ)2 L (gǫ)+ 2 (2 + ǫgǫ)2 Q (gǫ, gǫ)

3 The macroscopic conservation laws are not known to hold for

renormalized solutions.

4 Time compactness: there are oscillations! 5 Space compactness: there is some compactness thanks to

velocity averaging lemmas. Moreover, we need the nonlinear weak compactness estimate: g2

ǫ

2 + ǫgǫ is weakly compact in L1

loc.

  • D. Ars´

enio Hydrodynamic limits