Boussinesq system with measure forcing

  • PDF / 500,397 Bytes
  • 34 Pages / 439.37 x 666.142 pts Page_size
  • 108 Downloads / 230 Views

DOWNLOAD

REPORT


Mathematische Annalen

Boussinesq system with measure forcing Piotr B. Mucha1 · Liutang Xue2 Received: 13 December 2019 / Revised: 13 August 2020 © The Author(s) 2020

Abstract The paper analyzes the Navier–Stokes system coupled with the convective-diffusion equation responsible for thermal effects. It is a version of the Boussinesq approximation with a heat source. The problem is studied in the two dimensional plane and the heat source is a measure transported by the flow. For arbitrarily large initial data, we prove global in time existence of unique regular solutions. Measure being a heat source limits regularity of constructed solutions and it requires a non-standard framework of inhomogeneous Besov spaces of the L ∞ (0, T ; B sp,∞ )-type. The uniqueness of solutions is proved by using the Lagrangian coordinates. Mathematics Subject Classification Primary 76D03 · 35Q35 · 35Q86

1 Introduction Heat conducting fluids systems are an important part of the fluid mechanics. For the most general models the total energy is usually conserved in time. Viscous fluids generate internal friction and produce thermal effects. Variability of the temperature, on the other hand, creates motion of the fluid. As a basic model the theory considers

Communicated by Y. Giga.

B

Piotr B. Mucha [email protected] Liutang Xue [email protected]

1

Institute of Applied Mathematics and Mechanics, University of Warsaw, ul. Banacha 2, Warsaw, Poland

2

Laboratory of Mathematics and Complex Systems (MOE), School of Mathematical Sciences, Beijing Normal University, Beijing 100875, People’s Republic of China

123

P. B. Mucha, L. Xue

the Navier–Stokes–Fourier system for the compressible flows: ⎧ ⎪ ⎪ ⎨∂t ρ + div(ρu) = 0, ∂t (ρu) + div(ρu ⊗ u) − div S(θ, ∇u)+ ∇ p(ρ, θ) = ρ f ,     ⎪ ⎪ q(θ,∇θ) ⎩∂t ρs(ρ, θ ) + div ρs(ρ, θ )u + div = σ.

(1.1)

θ

In short, ρ, u, θ are sought quantities: the density, velocity and temperature of the fluid, respectively. Functions p(·, ·) and s(·, ·) are the pressure and entropy. The stress tensor S is given in the Newtonian form, the energy flux is given in the Fourier form 2 q = −κ(θ )∇θ and the entropy production σ = θ1 (S : ∇u + κ(θ)|∇θ| ) (for more θ details see [12]). Nowadays mathematics is able to deliver existence of weak solutions [12–14] for the system (1.1), but regular solutions can be obtained for small data [5,24,29] only. The structure of nonlinearities in (1.1) is complex, hence it is natural to look for a reduced version of the system. Taking a low Mach number limit (see [9,15]), we obtain an incompressible limit which takes into account weak thermal effects. This system is known as the Boussinesq approximation ⎧ ⎪ ⎨∂t θ + v · ∇θ − θ = μ, ∂t v + v · ∇v − v + ∇ p = θ ed , ⎪ ⎩ div v = 0,

(1.2)

where d = 2, 3, ed is the last canonical vector of Rd , v is the velocity and θ is the temperature. In simple words, the above system (1.2) is the incompressible Navier– Stokes equations coupled with the heat equation with a drift given by the velocity. Force in the momentum equation is defined by