arxiv: v3 [math.ap] 20 Sep 2019

arXiv:1808.10297v3 [math.AP] 20 Sep 2019

AND COMPRESSIBLE EULER EQUATIONS

QUOC-HUNG NGUYEN, PHUOC-TAI NGUYEN, AND BAO QUOC TANG

Abstract. Energy conservations are studied for inhomogeneous incompressible and compressible Euler equations with general pressure law in a torus or a bounded domain. We provide sufficient conditions for a weak solution to conserve the energy. By exploiting a suitable test function, the spatial regularity for the density is only required to be of order 2/3 in the incompressible case, and of order 1/3 in the compressible case. When the density is constant, we recover the existing results for classical incompressible Euler equation.

Contents

1. Introduction and Main results 1

2. Proof of Theorem 1.1 7

2.1. Estimate of (A) 8

2.2. Estimate of (B) 10

2.3. Estimate of (C) 12

2.4. Conclusion 13

3. Proof of Theorem 1.3 14

3.1. Estimate of (D) 14

3.2. Estimate of (E) 16

3.3. Estimate of (F ) 17

3.4. Estimate of (D3) + (E3) 18

3.5. Conclusion 20

4. Proof of Theorem 1.5 20

4.1. Conclusion 24

5. Proof of Theorem 1.7 24

Appendix A. Appendix 25

References 27

1. Introduction and Main results

Let Ω be either T^d or a bounded and connected domain in R^d with C² boundary ∂Ω, with d ≥ 2. This paper studies the conservation of energy for weak solutions to the inhomogeneous

Date: September 23, 2019.

2010 Mathematics Subject Classification. 35Q31, 76B03.

Key words and phrases. Inhomogeneous incompressible Euler equation; Compressible isentropic Euler equation;

Energy conservation; Onsager’s conjecture.

1

incompressible Euler equation























∂t̺ + ∇ · (̺u) = 0, in Ω × (0, T ),

∂t(̺u) + ∇ · (̺u ⊗ u) + ∇P = 0, in Ω × (0, T ),

∇ · u = 0, in Ω × (0, T ),

u(x, t) · n(x) = 0, on ∂Ω × (0, T ), (̺u)(x, 0) = ̺₀(x)u₀(x), in Ω,

̺(x, 0) = ̺0(x), in Ω,

(E)

as well as the compressible Euler equation with general pressure law















∂t̺ + ∇ · (̺u) = 0, in Ω × (0, T ),

∂t(̺u) + ∇ · (̺u ⊗ u) + ∇p(̺) = 0, in Ω × (0, T ), u(x, t) · n(x) = 0, on ∂Ω × (0, T ), (̺u)(x, 0) = ̺0(x)u0(x), in Ω,

̺(x, 0) = ̺0(x), in Ω,

(Ec)

where T > 0 is the time horizon, n(x) denotes the outward unit normal vector field to the boundary

∂Ω¹, ̺ : Ω × (0, T ) → R+ is the scalar density of a fluid, and u : Ω × (0, T ) → R^d denotes its velocity. In system (E), P : Ω × (0, T ) → R stands for the scalar pressure, while the general pressure law p : [0, ∞) → R in (Ec) satisfies some conditions, which will be specified later. Note that when p(̺) = ̺^γ for some γ > 1, (Ec) is the well-known isentropic compressible Euler equation.

In his celebrated paper [Ons49] Onsager conjectured that there is dissipation of energy for homogeneous Euler equation (namely ̺ ≡ 1 in (E)) for weak solutions with low regularity. More precisely, if a weak solution is in C^α for α > 1/3 then the energy is conserved while the energy is dissipated if α < 1/3. The first landmark result concerning the loss (or gain) of energy is due to Scheffer [Sch93] in which he proved the existence of a weak solution having compact support both in time and space. This was later also recovered by Shnirelman [Shn97] for the torus T^d. This direction of research has been greatly pushed forward by a series of works of De Lellis and Sz´ekelyhidi in e.g. [DS12, DS13, DS14, BDIS15]. The Onsager’s conjecture has been recently settled by Isett in [Ise18a, Ise18]. The other direction, i.e. the conservation of energy, was first proved by Constant-E-Titi [CET94] for the torus T³. The case of bounded domains is studied only recently in [BT18,BTW] in the context of H¨older spaces and in [DN18,NN19] in the context of Besov spaces.

Much less works concerning the inhomogeneous incompressible Euler equation (E) and the compressible equation (Ec) have been published in the literature and so far only the case of a bounded domain with periodic boundary condition, namely T^d, has been treated (see the recent papers [LS16, FGGW17, CY, ADSW]). More precisely, in [FGGW17], Feireisl et al. provided sufficient conditions in terms of Besov regularity both in time and space of the density ̺, the velocity u and the momentum m = ̺u to guarantee the conservation of the energy. Their method relies on the idea in [CET94] and requires also regularity conditions on the pressure. Recently, by using a different approach, Chen and Yu [CY] obtained the energy conservation, under a different set of regularity conditions. Their method has the advantage of dealing with vacuum. However, since the authors used the convolution both in time and space, additional regularity in time for the density ̺ is required.

In this paper, we provide modest sufficient conditions for a weak solution to conserve the energy for both inhomogeneous incompressible Euler equation (E) and compressible Euler equation (Ec).

1Naturally, the boundary condition u · n = 0 is neglected when Ω = T^d.

An attempt to avoid the time regularity of the density is to use the test function _̺¹ε(̺u)^ε instead of u^ε, where the convolution is only taken in spatial variable (see the definition of u^εand ̺^ε in the list of notations). This choice of test functions was used in [LS16] for density-dependent Navier-Stokes equations and in [FGGW17, Remark 4.2] for Euler equations, and it allows to avoid any regularity in time for the density ̺. However, by way of compensation, one has to exclude vacuum, or at least assume that the inverse density is essentially bounded, i.e. ̺⁻¹ ∈ L^∞(Ω × (0, T )). In this work, we improve this by using the test function ^φ_̺^η,εε (̺u)^ε where φη,ε is the cut-off function which vanishes when ̺^ε ≤ η (see the definition of φη,ε in (30)). This helps us to weaken the condition

̺⁻¹ ∈ L^∞(Ω × (0, T )) to ̺⁻¹ ∈ L^r1(Ω × (0, T )) for some r₁ > 0, with the price that the density needs to be smoother near vacuum (see e.g. Theorem 1.1). Naturally, in case of no vacuum, these additional regularity assumptions are not any more necessary. Moreover, we are able to reduce the spatial smoothness required for the density. More precisely, ̺ ∈ L^∞(0, T ; B_∞^α,∞(T^d)) (with α = ²₃ for (E) and α = ¹₃ for (Ec)) instead of ̺ ∈ L^p(0, T ; W^1,p(T^d)) as in [CY]. Our techniques are also suitable to deal with both the case of a torus or a bounded domain.

To state our results, we need first the definition of weak solutions for (E) and (Ec).

Definition 1.1. A triple (̺, u, P ) is called a weak solution to (E) if (i)

ˆ T 0

ˆ

Ω

(̺∂tϕ + ̺u∇ϕ)dxdt = 0 for every test function ϕ ∈ C₀^∞(Ω × (0, T )).

(ii)

ˆ T 0

ˆ

Ω

(̺u · ∂tψ + ̺u ⊗ u : ∇ψ + P ∇ · ψ)dxdt = 0 (1) for every test vector field ψ ∈ C₀^∞(Ω × (0, T ))^d.

(iii) ̺(·, t) ⇀ ̺0 in D^′(Ω) as t → 0, i.e.

limt→0

ˆ

Ω

̺(x, t)ϕ(x)dx = ˆ

Ω

̺₀(x)ϕ(x)dx (2)

for every test function ϕ ∈ C₀^∞(Ω).

(iv) (̺u)(·, t) ⇀ ̺0u₀ in D^′(Ω) as t → 0, i.e.

limt→0

ˆ

Ω

(̺u)(x, t)ψ(x)dx = ˆ

Ω

(̺0u₀)(x)ψ(x)dx (3)

for every test vector field ψ ∈ C₀^∞(Ω)^d.

A weak solution for (Ec) can be defined in the same way where in (1), the scalar pressure P is replaced by the general pressure law p(̺).

For β > 0, δ > 0 and p ≥ 1, we define, in the case of the torus T^d, the quantity² kf k_V^β,p

δ (T^d) := sup

|h|<δ

|h|^−βkf (· + h) − f (·)k_L^p_(T^d₎, and in the case of a bounded domain Ω the quantity

kf k_V^β,p

δ (K) := sup

|h|<δ

|h|^−βkf (· + h) − f (·)k_L^p_(K),

2Clearly here is a slight abuse of notation since the definition is not a norm but only a seminorm.

for any K ⊂⊂ Ω with d(K, ∂Ω) > 2δ. For T > 0 we denote by kf k_Lq(0,T ;V_δ^β,p(T^d))=

ˆ _T

0

kf (t)k^q

V_δ^β,p(T^d)dt

^1/q

, for 1 ≤ q < ∞, kf k_L∞(0,T ;V_δ^β,p(T^d))= ess sup

t∈(0,T )

kf (t)k_V^β,p

δ (T^d), and similarly for kf k_Lq(0,T ;V_δ^β,p(K)) with K ⊂⊂ Ω.

For simplicity, we denote by Q_T = Ω × (0, T ) both for Ω to be T^d or a bounded domain with boundary, as it should not lead to any confusion.

Our first main result reads as follows.

Theorem 1.1 (Conservation of energy for (E) in a torus). Let (̺, u, P ) be a weak solution to (E) in the case Ω = T^d. Assume that

u∈ L³(QT) ∩ L³(0, T ; V

1 3,3

δ0 (T^d)), lim sup

δ→0

kukL³(0,T ;V

1 3 ,3

δ (T^d))= 0, P ∈ L³²(QT), (4) 0 ≤ ̺ ∈ L^∞(QT) ∩ L^∞(0, T ; V

2 3,∞

δ0 (T^d)), (5)

̺⁻¹ ∈ L^r1(QT) and 1{̺≤δ0}∂t̺ ∈ L^r2(QT), (6) for some δ₀ > 0 and r₁ > 0, r₂ ≥ 3 such that _r¹

1 + _r¹

2 = ¹₃. Then the energy for (E) conserves for all time, i.e.

ˆ

Ω

(̺|u|²)(x, t)dx = ˆ

Ω

(̺₀|u₀|²)(x)dx ∀t ∈ (0, T ). (7) Remark 1.2.

• In the case of no vacuum, i.e. ̺(x, t) ≥ ̺ > 0, then (6) is obviously satisfied by choosing δ0 < ̺, and therefore we require only the assumption (5) on the density.

• Though we allow the density ̺ to be zero at some places, the condition k̺⁻¹kL^r1(Q_T)< +∞

in particular prevents ̺ to be zero in a set with positive measure. Consequently, we have the following useful limit

lim sup

η→0

|{(x, t) ∈ QT : ̺(x, t) ≤ η}| = 0. (8)

• It is easy to check that if f ∈ W^13,3(T^d), then f ∈ V

1 3,3

δ (T^d) for all δ > 0 and lim sup

δ→0

kf kV

1 3 ,3

δ (T^d)= 0.

Thus, condition (4) holds if u ∈ L³(0, T ; W^13,3(T^d)) and P ∈ L³²(QT).

• When ̺ ≡ const, we recover the classical assumption u ∈ L³(0, T ; W^13,3(T^d)) for the ho- mogeneous incompressible Euler equation (see e.g. [CET94]). Note that the condition P ∈ L³²(QT) is only needed when the density is not constant.

Our results in Theorem 1.1 improve that of [CY] where the authors assume in particular ̺ ∈ L^p(0, T ; W^1,p(T^d)) and u ∈ L^q(0, T ; B_q^α,∞(T^d)) with ¹_p + ³_q ≤ 1 and α > ¹₃. Here we are able to reduce the spatial regularity of the density ̺ to the order ²₃ and keep the original order ¹₃ of the velocity. When kuk_L³_{(0,T ;V}^α,3

δ (T^d)) < ∞ for some α > ¹₃, the limit condition in (4) is automatically satisfied. It’s remarked that [CY] also studies the case where ̺ only belongs to L^∞((0, T ) × T^d) (where vacuum is allowed to happen), but they need to impose Besov regularity for the velocity both in time and space u ∈ B_p^β,∞(0, T ; B_q^α,∞(T^d)) with 2α + β > 1 and α + 2β > 1.

In comparison to [LS16] or [FGGW17, Remark 4.2], where the author also used the test function

1

̺^ε(̺u)^ε, we are able to allow vacuum, though not ”too much”, i.e. ̺⁻¹ ∈ L^r1(QT), by choosing the test function ^φ_̺^η,εε (̺u)^ε where the cut-off φη,ε vanishes when ̺^ε ≤ η. The price to pay is that

∂_t̺ near vacuum needs to be L^r2-integrable. An integrability of the inverse of the density is also imposed in the recent work [ADSW], in which the authors again require time regularity of both the density and the velocity.

For the case of a bounded domain with smooth boundary Ω, we need additionally some behavior of u and P near the boundary. In the sequel, Ωr := {x ∈ Ω : d(x, ∂Ω) > r} for any r ≥ 0 and ffl

Ef dx := _Ld¹(E)

´

Ef dx for any Borel set E ⊂ R^d. Since Ω is a bounded, connected domain with C² boundary, we find r0 > 0 and a unique C_b¹-vector function n : Ω\Ωr0 → S^d−1 such that the following holds true: for any r ∈ [0, r0), x ∈ Ωr\Ωr0 there exists a unique xr ∈ ∂Ωr such that d(x, ∂Ωr) = |x − xr| and n(x) is the outward unit normal vector field to the boundary ∂Ωr at xr. Theorem 1.3 (Conservation of energy for (E) in a bounded domain). Let Ω ⊂ R^d be a bounded domain with C² boundary ∂Ω. Let (̺, u, P ) be a weak solution to (E). Assume that

0 ≤ ̺ ∈ L^∞(QT), u∈ L³(QT), P ∈ L³²(QT), (9) k̺kL^∞(0,T ;V

2 3 ,∞

δ (Ω2δ))+ kuk

L³(0,T ;V

1 3 ,3

δ (Ω2δ)) < ∞, lim sup

ε→0

kukL³(0,T ;V

1 3 ,3

ε (Ωδ)) = 0 ∀δ > 0, (10)

̺⁻¹ ∈ L^r1(QT) and 1_{̺≤δ0}∂t̺ ∈ L^r2(QT), (11) for some δ0 > 0 and r1, r2 > 0 such that _r¹₁ +_r¹₂ = ¹₃. Moreover, we assume the following boundary layer conditions

ˆ _T

0 Ω\Ωε

|u(x, t)|³dxdt

²3 ˆ _T

0 Ω\Ωε

|u(x, t) · n(x)|³dxdt

¹3

= o(1) as ε → 0, (12)

ˆ T 0 Ω\Ωε

|P (x, t)|²³dxdt

^2/3ˆ T 0 Ω\Ωε

|u(x, t) · n(x)|³dxdt

¹3

= o(1) as ε → 0. (13) Then the energy for (E) conserves for all time, i.e.

ˆ

Ω

(̺|u|²)(x, t)dx = ˆ

Ω

(̺₀|u₀|²)(x)dx ∀t ∈ (0, T ). (14) Remark 1.4.

• Note that for the case of bounded domain, we only require the density and velocity belong locally to a Besov space.

• When ̺ ≡ const we recover (and slightly improved) the recent results in [NN19] with the remark that the integrability of the pressure P in (9) is only needed in the inhomogeneous incompressible case.

• Conditions (12) and (13) can be replaced by the following conditions lim sup

ε→0

ˆ T 0 Ω\Ωε

|u(x, t)|³dxdt + lim sup

ε→0

ˆ T 0 Ω\Ωε

|P (x, t)|³²dxdt < ∞ and

lim inf

ε→0

ˆ T 0 Ω\Ωε

|u(x, t) · n(x)|³dxdt = 0.

• As [NN19], we put v(x, t) = u(x, t) · n(x) for any x ∈ Ω\Ωr0. If the function φ : ε 7→ φ(ε) = kvk_L³_{((Ω\Ωε)×(0,T ))}

satisfies φ(ε) ≤ Cε^2/3 for every ε ∈ (0, r0) with some C > 0, then conditions (12) and (13) are fulfilled.

• The conditions in (10) are satisfied if for each δ > 0, ̺ ∈ L^∞(0, T ; W^13,∞(Ω_2δ)) and u∈ L³(0, T ; W^13,3(Ω2δ)).

We now turn to the energy conservation for the compressible Euler equation (Ec). We will assume the following conditions of the pressure law p : (0, ∞) → R,

p ∈ C([0, ∞)) ∩ C²((0, ∞)) and lim sup

z→0

|p(z)| + |p2(z)|

|z| < +∞, (15)

where

p2(z) = z ˆ z

1

p(ℓ)

ℓ² dℓ. (16)

We remark that, in the isentropic case, i.e. p(̺) = ̺^γ for γ > 1, the conditions in (15) are obviously satisfied.

Theorem 1.5 (Conservation of energy for (Ec) in a torus). Let (̺, u) be a weak solution to (Ec) in the case Ω = T^d. Assume that the pressure law satisfies (15), and the density ̺ and the velocity satisfy

0 ≤ ̺ ∈ L^∞(QT), u∈ L³(QT), (17)

k̺kL^∞(0,T ;V

1 3 ,∞

δ0 (T^d))+ kuk

L³(0,T ;V

1 3 ,3

δ0 (T^d)) < ∞, lim sup

δ→0

(kukL³(0,T ;V

1 3 ,3

δ (T^d))+ k̺k

L^∞(0,T ;V

1 3 ,∞

δ (T^d))) = 0, (18) 1_{̺≤δ0}∂t̺ ∈ L³(QT), 1{̺≤δ0}∇̺ ∈ L^∞(QT) and lim

η→0|{(x, t) ∈ QT : ̺(x, t) ≤ η}| = 0, (19) for some δ0 > 0. Then the energy for (Ec) conserves for all time, i.e.

ˆ

T^d

 1

2(̺|u|²)(x, t) + p2(̺)(x, t)

 dx =

ˆ

T^d

 1

2(̺0|u0|²)(x) + p2(̺0)(x)



dx ∀t ∈ (0, T ). (20) Remark 1.6. The conditions (17) and (18) are satisfied if

̺ ∈ L^∞(0, T ; W^13,∞(T^d)) and u∈ L³(0, T ; W^13,3(T^d)).

In comparison to the incompressible case in Theorem1.1, we require in (18) the spatial regularity of ̺ to be only ¹₃ instead of ²₃. This is due to the fact that the general pressure p depends on the density, which allows a finer analysis using smoothness of ̺ itself (see estimate (80)). We are also able to eliminate any condition on ̺⁻¹, though we have to impose the spatial smoothness of

̺ near vacuum in (19). Yet, we still need to assume that the vacuum set has zero measure. The result of Theorem 1.5 is applicable for a large class of pressure law satisfying (15), which includes the isentropic case p(̺) = ̺^γ, γ > 1, as a special situation.

We have the following parallel result for the case of bounded domains.

Theorem 1.7 (Conservation of energy for (Ec) in a bounded domain). Let Ω ⊂ R^d be a bounded domain with C² boundary ∂Ω. Let (̺, u) be a weak solution to (Ec). Assume that the pressure law satisfies (15), and the density and the velocity satisfy

0 ≤ ̺ ∈ L^∞(QT), u∈ L³(QT), (21)

and for some δ0 > 0, k̺kL^∞(0,T ;V

1 3 ,∞

δ (Ω2δ))+ kuk

L³(0,T ;V

1 3 ,3

δ (Ω2δ)) < ∞, lim sup

ε→0

kukL³(0,T ;V

1 3 ,3

ε (Ωδ))+ k̺k

L^∞(0,T ;V

1

ε3 ,∞(Ωδ))= 0, (22) for any 0 < δ < δ0, and

1_{̺≤δ0}∂_t̺ ∈ L³(Q_T), 1_{̺≤δ0}∇̺ ∈ L^∞(Q_T) and lim

η→0|{(x, t) ∈ Q_T : ̺(x, t) ≤ η}| = 0. (23) Moreover,

ˆ T 0 Ω\Ωε

|u(x, t)|³dxdt

²3 ˆ T 0 Ω\Ωε

|u(x, t) · n(x)|³dxdt

¹3

= o(1) as ε → 0, (24) ˆ T

0 Ω\Ωε

|u(x, t) · n(x)|dxdt = o(1) as ε → 0. (25) Then the energy for (E) conserves for all time, i.e.

ˆ

Ω

 1

2(̺|u|²)(x, t) + p2(̺)(x, t)

 dx =

ˆ

Ω

 1

2(̺0|u0|²)(x) + p2(̺0)(x)



dx ∀t ∈ (0, T ). (26) The paper is organized as follows: The proofs of Theorems 1.1, 1.3, 1.5 and 1.7 will be presented in the next four Sections respectively. In Appendix A, we collect some useful estimates which will be used in the proofs.

Notation:

• For convenience, we simply write kf kL^p for kf kL^p(QT) for 1 ≤ p ≤ ∞, recalling that QT = Ω × (0, T ) where either Ω = T^d or Ω ⊂ R^d is a bounded domain with smooth boundary.

• We denote by C a generic constant, whose value can change from line to line or even the same line. Sometimes we write C(λ) to emphasize the dependence on λ > 0.

• For simplicity, we write lim sup

εn;...;ε1→0 for lim sup

εn→0 ... lim sup

ε1→0 .

• Let ω : R^d → R be a standard mollifier, i.e. ω(x) = c0e⁻

1

1−|x|2 for |x| < 1 and ω(x) = 0 for |x| ≥ 1, where c0 is a constant such that ´

R^dω(x)dx = 1. For any ε > 0, we define the rescaled mollifier ωε(x) = ε^−dω(^x_ε). For any function f ∈ L¹_loc(Ω), its mollified version is defined as

f^ε(x) = (f ⋆ ωε)(x) = ˆ

R^d

f (x − y)ωε(y)dy, x ∈ Ωε,

where Ωε = {x ∈ Ω : d(x, ∂Ω) > ε}. Throughout this paper, we will use the notations u^ε(x, t) =´

R^du(x − y, t)ωε(y)dy and ̺^ε(x, t) = ´

R^d̺(x − y, t)ωε(y)dy.

2. Proof of Theorem 1.1

In this section we write T^d instead of Ω. By smoothing (E), we obtain

∂t̺^ε+ ∇ · (̺u)^ε = 0 (27)

and

∂t(̺u)^ε+ ∇ · (̺u ⊗ u)^ε+ ∇P^ε= 0. (28) for any 0 < ε < 1.

Let φ ∈ C^∞(R+) such that

0 ≤ φ ≤ 1, φ = 0 in [0, 1], φ = 1 in [2, ∞) and |φ^′| + |φ^′′| ≤ C in [0, ∞), (29)

for some constant C. For η > 0, put

φη,ε(x, t) = φ ̺^ε(x, t) η



. (30)

We see that φη,ε = 0 in {̺^ε ≤ η}, φη,ε = 1 in {̺^ε≥ 2η} and 0 ≤ φη,ε ≤ 1 in QT.

Let δ0 be the positive constant in (4) and (6). Let M be a positive constant such that k̺kL^∞+ k̺k

L^∞(0,T ;V

2 3 ,∞

δ0 (T^d))+ k̺⁻¹1_{̺≤δ0}kL^r1 + ||∂t̺ 1{̺≤δ0}||L^r2 ≤ M. (31) Take ε > 0 and η > 0 such that 0 < ε²³ < _3M¹ η < _12M¹ δ0.

Multiplying (28) by φη,ε(̺u)^ε

̺^ε then integrating on (τ, t) × T^d, for 0 < τ < t < T , we get ˆ t

τ

ˆ

T^d

φη,ε

(̺u)^ε

̺^ε ∂t(̺u)^εdxds + ˆ t

τ

ˆ

T^d

φη,ε

(̺u)^ε

̺^ε ∇ · (̺u⊗u)^εdxds + ˆ t

τ

ˆ

T^d

φη,ε

(̺u)^ε

̺^ε ∇P^εdxds = 0.

(32) Denote by (A), (B) and (C) the terms on the left-hand side of (32) respectively. We will estimate their convergence separately in the next subsections.

2.1. Estimate of (A). We rewrite (A) as, using ∂t̺^ε = ∇ · (̺u)^ε, (A) = 1

2 ˆ t

τ

ˆ

T^d

φη,ε∂t

 |(̺u)^ε|²

̺^ε



dxds − 1 2

ˆ t τ

ˆ

T^d

φη,ε

(̺^ε)²∇ · [(̺u)^ε− ̺^εu^ε]|(̺u)^ε|²dxds

− 1 2

ˆ t τ

ˆ

T^d

φ_η,ε

(̺^ε)²∇ · (̺^εu^ε)|(̺u)^ε|²dxds

=: (A1) + (A2) + (A3).

(33)

By integration by parts, we have (A1) = 1

2∂t

ˆ t τ

ˆ

T^d

 φη,ε

|(̺u)^ε|²

̺^ε



(x, s)dxds − 1 2

ˆ t τ

ˆ

T^d

∂tφη,ε

|(̺u)^ε|²

̺^ε dxds (34)

=: (A11) + (A12).

From (31), Lemma A.3, the fact that supp ∂tφη,ε = supp (φ^′_η,ε∂t̺^ε) ⊂ {η ≤ ̺^ε ≤ 2η} and H¨older inequality, we obtain

|(A12)| ≤ 1 2η⁻¹

ˆ t τ

ˆ

T^d

 φ^′ ̺^ε

η



∂t̺^ε  

|(̺u)^ε|²

̺^ε dxds

≤ Cη⁻² ˆ t

τ

ˆ

T^d

|∂t̺^ε||(̺u)^ε|²1_{η≤̺^ε_≤2η}dxds

≤ Cη⁻²k∂t̺^ε1_{η≤̺^ε_≤2η}k_L³k(̺u)^ε1_{η≤̺^ε_≤2η}k²_L³.

(35)

By H¨older inequality,

|∂_t̺^ε(x, t)| =   ˆ

|y|<ε

∂_t̺(x − y, t)ω_ε(y)dy  

≤

ˆ

|y|<ε

|∂t̺(x − y)|³dy

¹₃ ˆ

|y|<ε

ωε(y)³²dy

²₃

≤ Cε^−d3

ˆ

|y|<ε

|∂t̺(x − y)|³dy

¹₃ .

This, together with Lemma A.3 and (31), implies ˆ

T^d

|∂t̺^ε(x, t)1_{η≤̺^ε_≤2η}(x, t)|³dx ≤ Cε^−d ˆ

|y|<ε

ˆ

T^d

|∂t̺(x − y, t)1_{η≤̺^ε_≤2η}(x, t)|³dxdy

≤ Cε^−d ˆ

|y|<ε

ˆ

T^d

|∂t̺(x − y, t)1_{¹

3η≤̺≤⁸₃η}(x − y, t)|³dxdy

= Cε^−d ˆ

|y|<ε

ˆ

T^d

|∂t̺(x, t)1_{¹

3η≤̺≤⁸₃η}(x, t)|³dxdy

≤ CM³.

(36)

Also, by H¨older’s inequality,

|(̺u)^ε(x, t)| =   ˆ

|y|<ε

̺(x − y, t)u(x − y)ωε(y)dy  

≤

ˆ

|y|<ε

̺(x − y)³|u(x − y)|³dy

¹₃ ˆ

|y|<ε

ωε(y)³²dy

²₃

= Cε^−d3

ˆ

|y|<ε

̺(x − y)³|u(x − y)|³dy

¹₃ . Consequently, by Lemma A.3(ii),

ˆ

T^d

|(̺u)^ε(x, t)1{η≤̺^ε≤2η}(x, t)|³dx

≤ Cε^−dη³ ˆ

|y|<ε

ˆ

T^d

|u(x − y, t)1_{¹

3η≤̺≤⁸₃η}(x − y, t)|³dxdy

≤ Cε^−dη³ ˆ

|y|<ε

ˆ

T^d

|u(x − y, t)1_{¹

3η≤̺≤⁸₃η}(x − y, t)|³dxdy

= Cη³ku1_{¹

3η≤̺≤⁸₃η}k³_L³_(Td).

(37)

Combining (35), (36) and (37) implies

|(A12)| ≤ CMku1_{¹

3η≤̺≤⁸₃η}k²_L³_(Td). (38)

Therefore, by the dominated convergence theorem, we deduce that lim sup

η;δ;ε;τ →0

|(A12)| = 0.

The term (A11) is the desired term. The term (A3) will be canceled with the term (B22) when estimating (B) (see (51)). Therefore, for (A) it remains to estimate (A2).

By integration by parts and H¨older’s inequality,

|(A2)| ≤ 1 2

ˆ t τ

∇

 φη,ε

|(̺u)^ε|² (̺^ε)²



L³²(T^d)

k((̺u)^ε− ̺^εu^ε)k_L³_(T^d₎ds. (39) For any δ ∈ (ε, δ0), by Lemma A.2(2), we estimate

k(̺u)^ε− ̺^εu^εk_L³_(T^d₎≤ C(M)ε²³kuk

V

1 3 ,3

δ (T^d). (40)

On the other hand

∇



φ_η,ε|(̺u)^ε|² (̺^ε)²



L³²(T^d)

≤

∇φ_η,ε |(̺u)^ε|² (̺^ε)²



L³²(T^d)

+

φ_η,ε∇ |(̺u)^ε|² (̺^ε)²



L³²(T^d)

. (41)

From (31), Lemma A.2 (1) and Lemma A.3, we see that

∇φ_η,ε |(̺u)^ε|² (̺^ε)²



L³²(T^d)

= η⁻¹ φ^′ ̺^ε

η



|∇̺^ε||(̺u)^ε|² (̺^ε)²

L³²(T^d)

≤ Cη⁻³k∇̺^εk_L^∞_(T^d₎k(̺u)^εk²_L³_(Td)

≤ CMη⁻³ε⁻¹³k̺k

V

2 3 ,∞

δ (T^d)kuk²_L³_(Td)

≤ C(M)η⁻³ε⁻¹³kuk²_L³_(Td).

(42)

Next, since supp φη,ε ⊂ {̺^ε ≥ η}, 0 ≤ φη,ε ≤ 1, by LemmaA.3, together with LemmaA.2, we can estimate

φ_η,ε∇ |(̺u)^ε|² (̺^ε)²



L³²(T^d)

≤ 2

φ_η,ε(̺u)^ε∇(̺u)^ε (̺^ε)²

L³²(T^d)

+ 2

φ_η,ε|(̺u)^ε|²∇̺^ε (̺^ε)³

L³²(T^d)

≤ Cη⁻²k(̺u)^εk_L³_(T^d₎k∇(̺u)^εk_L³_(T^d₎+ Cη⁻³k∇̺^εk_L^∞_(T^d₎k(̺u)^εk²_L³_(Td)

≤ C(M)η⁻²ε⁻²³kuk_L³_(T^d₎(kuk

V

1 3 ,3

δ (T^d)+ kuk_L³_(T^d₎) + Cη⁻³ε⁻¹³k̺k

V

2 3 ,∞

δ (T^d)kuk²_L³_(Td).

(43)

Combining (41)–(43) leads to

∇

 φη,ε

|(̺u)^ε|² (̺^ε)²



L³²(T^d)

≤ C(M)ε⁻²³η⁻³kuk_L³_(T^d₎

 kukV

1 3 ,3

δ (T^d)+ kuk_L³_(T^d₎



. (44)

Inserting (40) and (44) into (39) yields

|(A2)| ≤ C(M)η⁻³kukL³kuk

L³(0,T ;V

1 3 ,3 δ (T^d))



kukL³(0,T ;V

1 3 ,3

δ (T^d))+ kukL³



. (45)

Therefore, by assumption (4),

lim sup

η;δ;ε;τ →0

|(A2)| = 0. (46)

We remark that, though there is a factor η⁻³ in (45), the limit in (46) is already 0 after taking the limit δ → 0.

2.2. Estimate of (B). By integration by parts we have (B) = −

ˆ t τ

ˆ

T^d

[(̺u ⊗ u)^ε− (̺u)^ε⊗ u^ε]∇ ·

 φη,ε

(̺u)^ε

̺^ε

 dxds

− ˆ t

τ

ˆ

T^d

(̺u)^ε⊗ u^ε∇ ·

 φη,ε

(̺u)^ε

̺^ε

 dxds

=: (B1) + (B2).

(47)

It can be checked by using Lemma A.2 (2) that k(̺u ⊗ u)^ε− (̺u)^ε⊗ u^εk

L³²(T^d) ≤ C(M)ε²³

 kukV

1 3 ,3

δ (T^d)+ kuk_L³_(T^d₎

 kukV

1 3 ,3 δ (T^d). By similar (even simpler) arguments in obtaining (44), we can estimate

∇ ·



φ_η,ε(̺u)^ε

̺^ε



L³(T^d)

≤ C(M)η⁻²ε⁻²³

 kukV

1 3 ,3

δ (T^d)+ kuk_L³_(T^d₎



. (48)

Thus, by H¨older’s inequality,

|(B1)| ≤ C ˆ t

τ

k(̺u ⊗ u)^ε− (̺u)^ε⊗ u^εk

L³²(T^d)

∇ ·



φ_η,ε(̺u)^ε

̺^ε



L³(T^d)

ds

≤ C(M)η⁻²



kuk²_L³ + kuk²

L³(0,T ;V

1 3 ,3 δ (T^d))



kukL³(0,T ;V

1 3 ,3 δ (T^d)).

(49)

Therefore, by (4),

lim sup

η;δ;ε;τ →0

|(B1)| = 0. (50)

We now turn to the estimate of (B2). Using integration by parts we have (B2) =

ˆ t τ

ˆ

T^d

φη,ε

(̺u)^ε

̺^ε ∇ · [(̺u)^ε⊗ u^ε]dxds = ˆ t

τ

ˆ

T^d

φη,ε

(̺u)^ε

̺^ε [∇(̺u)^εu^ε+ (̺u)^ε∇u^ε]dxds

= −1 2

ˆ t τ

ˆ

T^d

|(̺u)^ε|²∇ ·

 φη,ε

u^ε

̺^ε



dxds + ˆ t

τ

ˆ

T^d

φη,ε

|(̺u)^ε|²

̺^ε ∇ · u^εdxds

= ˆ t

τ

ˆ

T^d

∇φ_η,ε|(̺u)^ε|²u^ε

̺^εdxds + ˆ t

τ

ˆ

T^d

φ_η,ε|(̺u)^ε|² 1

̺^ε∇ · u^ε− 1 2∇ · u^ε

̺^ε

 dxds

= ˆ t

τ

ˆ

T^d

∇φη,ε|(̺u)^ε|²u^ε

̺^εdxds + 1 2

ˆ t τ

ˆ

T^d

φη,ε

|(̺u)^ε|²

(̺^ε)² ∇ · (̺^εu^ε)dxds

=: (B21) + (B22).

(51) It is remarked that (B22) = −(A3), and therefore we only need to estimate the term (B21). We rewrite (B21), using the divergence free condition, as

(B21) = η⁻¹ ˆ t

τ

ˆ

T^d

φ^′ ̺^ε η

 u^ε∇̺^ε

̺^ε |(̺u)^ε|²dxds

= η⁻¹ ˆ t

τ

ˆ

T^d

φ^′ ̺^ε η

 ∇(̺^εu^ε− (̺u)^ε)

̺^ε |(̺u)^ε|²dxds + η⁻¹ ˆ t

τ

ˆ

T^d

φ^′ ̺^ε η

 ∂t̺^ε

̺^ε |(̺u)^ε|²dxds

= −η⁻¹ ˆ t

τ

ˆ

T^d

(̺^εu^ε− (̺u)^ε)∇ ·

 φ^′ ̺^ε

η

 |(̺u)^ε|²

̺^ε

 dxds + η⁻¹

ˆ t τ

ˆ

T^d

φ^′ ̺^ε η

 ∂t̺^ε

̺^ε |(̺u)^ε|²dxds.

It then follows from H¨older’s inequality that

|(B21)| ≤ η⁻¹ ˆ t

τ

k̺^εu^ε− (̺u)^εk_L³_(T^d₎ ∇ ·

 φ^′ ̺^ε

η

 |(̺u)^ε|²

̺^ε



L³²(T^d)

+ Cη⁻²k∂t̺^ε1_η≤̺^ε_≤2ηkL³k(̺u)^ε1_η≤̺^ε_≤2ηk²_L³

=: (B211) + (B212).

The term (B211) can be estimated similarly to (A2) in (39),

|(B211)| ≤ C(M)η⁻³kuk_L³kuk

L³(0,T ;V

1 3 ,3 δ (T^d))



kukL³(0,T ;V

1 3 ,3

δ (T^d))+ kuk_L³

 . Therefore, thanks to assumption (4),

lim sup

η;δ;ε;τ →0

|(B211)| = 0.

The term (B212) can be estimated similarly to (A12), by using (36) and (37),

|(B212)| ≤ CMku1_{¹

3η≤̺≤⁸₃η}k²_L³_(Td). Hence, by the dominated convergence theorem, we obtain

lim sup

η;δ;ε;τ →0

|(B212)| = 0.

Remark 2.1. We remark that we only use the free divergence free condition when estimating (B21), and all the terms related to the pressure. This will be useful in the proof of Theorem 1.5 for compressible Euler equations.

2.3. Estimate of (C). ³ Using the divergence free condition⁴, we estimate (C) =

ˆ t τ

ˆ

T^d

φ_η,ε

̺^ε ((̺u)^ε− ̺^εu^ε)∇P^εdxds − ˆ t

τ

ˆ

T^d

∇φ_η,εu^εP^εdxds

=: (C1) + (C2).

(52)

From Lemma A.3 (i), the fact 0 ≤ φ_η,ε ≤ 1, H¨older’s inequality and Lemma A.2 (2), we get

|(C1)| ≤ Cη⁻¹ ˆ T

0

k(̺u)^ε− ̺^εu^εk_L³_(T^d₎k∇P^εk

L³²(T^d)ds

≤ Cη⁻¹ ˆ T

0

ε²³k̺k

V

2 3 ,∞

δ (T^d)ε¹³kuk

V

1 3 ,3

δ (T^d)ε⁻¹kP k

L²³(T^d)ds

≤ Cη⁻¹k̺k

L^∞(0,T ;V

2 3 ,∞

δ (T^d))kuk

L³(0,T ;V

1 3 ,3

δ (T^d))kP k

L²³.

(53)

By assumption (4), we have

lim sup

η;δ;ε;τ →0

|(C1)| = 0.

Next we estimate the term (C2). By integration by parts, (C2) = η⁻¹

ˆ t τ

ˆ

T^d

φ^′ ̺^ε η



∇̺^εu^εP^εdxds

= η⁻¹ ˆ t

τ

ˆ

T^d

φ^′ ̺^ε η



∇(̺^εu^ε− (̺u)^ε)P^εdxds + η⁻¹ ˆ t

τ

ˆ

T^d

φ^′ ̺^ε η



∂t̺^εP^εdxds

≤ −η⁻¹ ˆ t

τ

ˆ

T^d

(̺^εu^ε− (̺u)^ε)∇ ·

 φ^′ ̺^ε

η

 P^ε

 dxds + 2

ˆ t τ

ˆ

T^d

 φ^′ ̺^ε

η

 ∂t̺^ε

̺^ε P^ε1_{η≤̺ε≤2η}

 dxds.

Hence, using Holder inequality, we deduce

|(C2)| ≤ η⁻² ˆ t

τ

k̺^εu^ε− (̺u)^εk_L³_(T^d₎

φ^′′ ̺^ε η



∇̺^εP^ε

L³²(T^d)

ds

+ η⁻¹ ˆ t

τ

k̺^εu^ε− (̺u)^εk_L³_(T^d₎ φ^′ ̺^ε

η



∇P^ε

L³²(T^d)

ds + C

(̺^ε)⁻¹1_{η≤̺^ε_≤2η}

L^r1k∂t̺^ε1_{η≤̺^ε_≤2η}kL^r2kP^ε1_{η≤̺^ε_≤2η}k

L³² 3When ̺ ≡ const, the term (C) vanishes, and therefore the assumption P ∈ L³²(Q^T) is not needed.

4We observe that except for the term (B21), the divergence free is only used in the proof of Theorem1.1to treat the term involving the pressure. This observation will become helpful when treating compressible Euler equation in the next sections.