Relative entropy methods in the mathematical theory of complete - PowerPoint PPT Presentation

Relative entropy methods in the mathematical theory of complete fluid systems Eduard Feireisl Institute of Mathematics, Academy of Sciences of the Czech Republic, Prague and Erwin Schroedinger International Institute for Mathematical Physics, Vienna joint work with A. Novotn´ y (Toulon) 14th International Conference on Hyperbolic Problems: Theory, Numerics, Applications June 25-29, 2012 - University of Padua, Italy Eduard Feireisl Relative entropies and complete fluids

Mathematical model State variables Mass density Absolute temperature Velocity field ̺ = ̺ ( t , x ) ϑ = ϑ ( t , x ) u = u ( t , x ) Thermodynamic functions Pressure Internal energy Entropy p = p ( ̺, ϑ ) e = e ( ̺, ϑ ) s = s ( ̺, ϑ ) Transport Viscous stress Heat flux S = S ( ϑ, ∇ x u ) q = q ( ϑ, ∇ x ϑ ) Eduard Feireisl Relative entropies and complete fluids

Field equations Equation of continuity ∂ t ̺ + div x ( ̺ u ) = 0 Momentum balance Claude Louis Marie Henri Navier ∂ t ( ̺ u ) + div x ( ̺ u ⊗ u ) + ∇ x p ( ̺, ϑ ) = div x S + ̺ ∇ x F [1785-1836] Entropy production � q � ∂ t ( ̺ s ( ̺, ϑ )) + div x ( ̺ s ( ̺, ϑ ) u ) + div x = σ ϑ George σ = ( ≥ ) 1 � S : ∇ x u − q · ∇ x ϑ � Gabriel ϑ ϑ Stokes [1819-1903]

Constitutive relations Fourier’s law q = − κ ( ϑ ) ∇ x ϑ Fran¸ cois Marie Charles Fourier [1772-1837] Newton’s rheological law � x u − 2 � ∇ x u + ∇ t S = µ ( ϑ ) 3 div x u + η ( ϑ ) div x u I Isaac Newton [1643-1727] Eduard Feireisl Relative entropies and complete fluids

Gibbs’ relation Gibbs’ relation: � 1 � ϑ Ds ( ̺, ϑ ) = De ( ̺, ϑ ) + p ( ̺, ϑ ) D ̺ Willard Gibbs [1839-1903] Thermodynamics stability: ∂ p ( ̺, ϑ ) > 0 , ∂ e ( ̺, ϑ ) > 0 ∂̺ ∂ϑ Eduard Feireisl Relative entropies and complete fluids

Boundary conditions Impermeability u · n | ∂ Ω = 0 No-slip No-stick u tan | ∂ Ω = 0 [ S n ] × n | ∂ Ω = 0 Thermal insulation q · n | ∂ Ω = 0 Eduard Feireisl Relative entropies and complete fluids

A bit of history of global existence for large data Olga Aleksandrovna Jean Leray [1906-1998] Ladyzhenskaya Global existence of weak [1922-2004] Global solutions for the existence of classical incompressible solutions for the Navier-Stokes system (3D) incompressible 2D Navier-Stokes system Pierre-Louis Lions [*1956] Global existence of weak solutions for the compressible barotropic Navier-Stokes system (2,3D) and many, many others... Eduard Feireisl Relative entropies and complete fluids

Relative entropy (energy) Dynamical system d d t u ( t ) = A ( t , u ( t )) , u ( t ) ∈ X , u (0) = u 0 Relative entropy U : t �→ U ( t ) ∈ Y a “trajectory” in the phase space Y ⊂ X � � � E u ( t ) � U ( t ) , E : X × Y → R � Eduard Feireisl Relative entropies and complete fluids

Basic properties Positivity(distance) E { u | U } is a “distance” between u , and U , meaning E ( u | U ) ≥ 0 and E { u | U } = 0 only if u = U Lyapunov function � � u ( t ) | ˜ is a Lyapunov function provided ˜ E U is an equilibrium U � � � � ˜ t �→ E u ( t ) U is non-increasing � Gronwall inequality � τ � � � � � � � � � E u ( τ ) � U ( τ ) ≤ E u ( s ) � U ( s ) + c ( T ) E u ( t ) � U ( t ) d t � � � s if U is a solution of the same system (in a “better” space) Y

Applications Stability of equilibria Any solution ranging in X stabilizes to an equilibrium belonging to Y (to be proved!) Weak-strong uniqueness Solutions ranging in the “better” space Y are unique among solutions in X . Singular limits Stability and convergence of a family of solutions u ε corresponding to A ε to a solution U = u of the limit problem with generator A . Eduard Feireisl Relative entropies and complete fluids

Navier-Stokes-Fourier system revisited Total energy balance (conservation) d � � 1 � 2 ̺ | u | 2 + ̺ e ( ̺, ϑ ) − ̺ F d x = 0 d t Ω Total entropy production d � � ̺ s ( ̺, ϑ ) d x = σ d x ≥ 0 d t Ω Ω Total dissipation balance d � � 1 � � 2 ̺ | u | 2 + ̺ e ( ̺, ϑ ) − Θ ̺ s ( ̺, ϑ ) − ̺ F d x + σ d x = 0 d t Ω Ω Eduard Feireisl Relative entropies and complete fluids

Equilibrium (static) solutions Equilibrium solutions minimize the entropy production u ≡ 0 , ϑ ≡ Θ > 0 a positive constant Static problem ∇ x p (˜ ̺, Θ) = ˜ ̺ ∇ x F Total mass and energy are constants of motion � � ̺ d x = M 0 , ˜ ̺ e (˜ ˜ ̺, Θ) − ˜ ̺ F d x = E 0 Ω Ω Eduard Feireisl Relative entropies and complete fluids

Total dissipation balance revisited � 1 � d � 2 ̺ | u | 2 + H Θ ( ̺, ϑ ) − ∂ H Θ (˜ ̺, Θ) ( ̺ − ˜ ̺ ) − H Θ (˜ ̺, Θ) d x d t ∂̺ Ω � + σ d x = 0 Ω Ballistic free energy � � H Θ ( ̺, ϑ ) = ̺ e ( ̺, ϑ ) − Θ s ( ̺, ϑ ) Eduard Feireisl Relative entropies and complete fluids

Coercivity of the ballistic free energy ̺,̺ H Θ ( ̺, Θ) = 1 ∂ 2 ̺∂ ̺ p ( ̺, Θ) ∂ ϑ H Θ ( ̺, ϑ ) = ̺ ( ϑ − Θ) ∂ ϑ s ( ̺, ϑ ) Coercivity ̺ �→ H Θ ( ̺, Θ) is convex ϑ �→ H Θ ( ̺, ϑ ) attains its global minimum (zero) at ϑ = Θ Eduard Feireisl Relative entropies and complete fluids

Relative entropy � � � E ̺, ϑ, u � r , Θ , U � � � 1 2 ̺ | u − U | 2 + H ( ̺, ϑ ) − ∂ H Θ ( r , Θ) � = ( ̺ − r ) − H Θ ( r , Θ) d x ∂̺ Ω Eduard Feireisl Relative entropies and complete fluids

Dissipative solutions Relative entropy inequality �� τ � � � E ̺, ϑ, u � r , Θ , U � t =0 � τ � Θ � S ( ϑ, ∇ x u ) : ∇ x u − q ( ϑ, ∇ x ϑ ) · ∇ x ϑ � + d x d t ϑ ϑ 0 Ω � τ ≤ R ( ̺, ϑ, u , r , Θ , U ) d t 0 for any r > 0, Θ > 0, U satisfying relevant boundary conditions Eduard Feireisl Relative entropies and complete fluids

Remainder R ( ̺, ϑ, u , r , Θ , U ) � � � � � = ̺ ∂ t U + u · ∇ x U · ( U − u ) + S ( ϑ, ∇ x u ) : ∇ x U d x Ω � div U + ̺ �� � � + p ( r , Θ) − p ( ̺, ϑ ) r ( U − u ) · ∇ x p ( r , Θ) d x Ω � � � � � � − s ( ̺, ϑ ) − s ( r , Θ) ∂ t Θ + ̺ s ( ̺, ϑ ) − s ( r , Θ) u · ∇ x Θ ̺ Ω + q ( ϑ, ∇ x ϑ ) � · ∇ x Θ d x ϑ � r − ̺ � � + ∂ t p ( r , Θ) + U · ∇ x p ( r , Θ) d x r Ω Eduard Feireisl Relative entropies and complete fluids

Applications Existence Dissipative (weak) solutions exist (under certain constitutive restrictions) globally in time for any choice of the initial data. Unconditional stability of the equilibrium solutions Any (weak) solution of the Navier-Stokes-Fourier system stabilizes to an equilibrium (static) solution for t → ∞ . Weak-strong uniqueness Weak and strong solutions emanating from the same initial data coincide as long as the latter exists. Strong solutions are unique in the class of weak solutions. Eduard Feireisl Relative entropies and complete fluids

Singular limit in the incompressible, inviscid regime Solutions of the Navier-Stokes-Fourier system converge in the limit of low Mach and high Reynolds and P´ eclet number to the Euler-Boussinesq system. Jean Claude Osborne Ernst Mach Eug` ene Reynolds [1838-1916] P´ eclet [1842-1912] [1793-1857] Eduard Feireisl Relative entropies and complete fluids

Scaled Navier-Stokes-Fourier system Equation of continuity ∂ t ̺ + div x ( ̺ u ) = 0 Balance of momentum 1 ε 2 ∇ x p ( ̺, ϑ ) = ε a div x S ∂ t ( ̺ u ) + div x ( ̺ u ⊗ u ) + Entropy production � q ( ϑ, ∇ x ϑ ) � ∂ t ( ̺ s ( ̺, ϑ )) + div x ( ̺ s ( ̺, ϑ ) u ) + ε b div x ϑ = 1 � ε 2+ a S : ∇ x u − ε b q ( ϑ, ∇ x ϑ ) · ∇ x ϑ � ϑ ϑ Eduard Feireisl Relative entropies and complete fluids

Target system incompressibility div x v = 0 Euler system ∂ t v + v · ∇ x v + ∇ x Π = 0 temperature transport ∂ t T + v · ∇ x T = 0 Basic assumption The incompressible Euler system possesses a strong solution v on a time interval (0 , T max ) for the initial data v 0 = H [ u 0 ] . Eduard Feireisl Relative entropies and complete fluids

Prepared data ̺ (0 , · ) = ̺ + ε̺ (1) 0 ,ε , ̺ (1) 0 ,ε → ̺ (1) in L 2 (Ω) and weakly-(*) in L ∞ (Ω) 0 ϑ (0 , · ) = ϑ + εϑ (1) 0 ,ε , ϑ (1) 0 ,ε → ϑ (1) in L 2 (Ω) and weakly-(*) in L ∞ (Ω) 0 u (0 , · ) = u 0 ,ε → u 0 in L 2 (Ω; R 3 ) , v 0 = H [ u 0 ] ∈ W k , 2 (Ω; R 3 ) , k > 5 2 Eduard Feireisl Relative entropies and complete fluids

Boundary conditions Navier’s complete slip condition u · n | ∂ Ω = 0 , [ S n ] × n | ∂ Ω = 0 Eduard Feireisl Relative entropies and complete fluids

Convergence b > 0 , 0 < a < 10 3 ess sup � ̺ ε ( t , · ) − ̺ � L 2 + L 5 / 3 (Ω) ≤ ε c t ∈ (0 , T ) √ ̺ ε u ε → � loc ((0 , T ]; L 2 loc (Ω; R 3 )) ̺ v in L ∞ and weakly-(*) in L ∞ (0 , T ; L 2 (Ω; R 3 )) ϑ ε − ϑ loc ((0 , T ]; L q loc (Ω; R 3 )) , 1 ≤ q < 2 , → T in L ∞ ε and weakly-(*) in L ∞ (0 , T ; L 2 (Ω)) Eduard Feireisl Relative entropies and complete fluids