INSTITUTE OF MATHEMATICS THE CZECH ACADEMY OF SCIENCES. Homogenization of a non homogeneous heat conducting fluid

Transcription

1 INSTITUTE OF MATHEMATICS THE CZECH ACADEMY OF SCIENCES Homogenization of a non homogeneous heat conducting fluid Eduard Feireisl Yong Lu Yongzhong Sun Preprint No PRAHA 2018

2

3 Homogenization of a non homogeneous heat conducting fluid Eduard Feireisl Yong Lu Yongzhong Sun April 24, 2018 Institute of Mathematics of the Academy of Sciences of the Czech Republic Žitná 25, CZ Praha 1, Czech Republic feireisl@math.cas.cz and Department of Mathematics, Nanjing University 22 Hankou Road, Gulou District, Nanjing, China luyong@nju.edu.cn and Department of Mathematics, Nanjing University 22 Hankou Road, Gulou District, Nanjing, China sunyz@nju.edu.cn Abstract We consider a non homogeneous incompressible and heat conducting fluid confined to a 3D domain perforated by tiny holes. The ratio of the diameter of the holes and their mutual distance is critical, the former being equal to ε 3, the latter proportional to ε, where ε is a small parameter. We identify the asymptotic limit for ε 0, in which the momentum equation contains a friction term of Brinkman type determined uniquely by the viscosity and geometric properties of the perforation. Besides the inhomogeneity of the fluid, we allow the viscosity and the heat conductivity coefficient to depend on the temperature, where the latter is determined via the Fourier law with homogenized (oscillatory heat conductivity coefficient that is different for the fluid and the solid holes. To the best of our knowledge, this is the first result in the critical case for the inhomogenous heat conducting fluid. Keywords: Non-homogeneous Navier Stokes system, homogenization, heat conducting fluid, incompressible fluid, Brinkman law The research of E.F. leading to these results has received funding from the European Research Council under the European Union s Seventh Framework Programme (FP7/ / ERC Grant Agreement The Institute of Mathematics of the Academy of Sciences of the Czech Republic is supported by RVO: The research of Y. Sun was partially supported by NSF of China under Grant

4 1 Introduction We study the motion of a non homogeneous, incompressible viscous and heat conducting fluid contained in a bounded spatial domain perforated by a system of tiny holes. The mass density ϱ = ϱ(t, x, the velocity u = u(t, x and the temperature Θ = Θ(t, x satisfy a variant of the Navier Stokes Boussinesq system proposed by Chandrasekhar [3] (see also Lignières [12] : t ϱ + div x (ϱu = 0, div x u = 0, (1.1 t (ϱu + div x (ϱu u + x P = div x S(Θ, x u Θ x F, S(Θ, x u = µ(θ ( x u + T x u, (1.2 div x (κ x Θ = x F u. (1.3 Here the last equation can be seen as a quasi static (high Péclet number approximation of the conventional heat equation t (ϱθ + div x (ϱθu div x (κ x Θ = x F u, where F is the gravitational potential. We refer to [10, Chapter 4, Section 4.3] for a rigorous derivation of system ( in the spatially homogeneous case ϱ 1. The fluid is contained in a bounded domain R 3, on the boundary of which the velocity obeys the no-slip condition u ε = 0. (1.4 Extending u to be zero outside we may therefore assume that the equation of continuity (1.1 is satisfied in the whole space R 3. Similarly, we suppose whereas (1.3 is satisfied in, with κ f > 0 if x, κ = κ ε (x = κ s > 0 if x \ where, in general, we allow κ f κ s. For definiteness, we prescribe the homogeneous Dirichlet boundary conditions for the temperature, 1.1 Perforated domain Θ = 0. (1.5 We now introduce the perforated domain under consideration. Let 0 < ε < 1 be a small parameter. We suppose = \ k=1 T k,ε, 2

5 where T k,ε = x k + ε 3 U k,ε, k = 1, 2,...,, (1.6 with dist[x i, x j ] > c ε whenever i j, dist[x i, ] > c ε, for some constant c > 0 independent of ε. By a normalization process, we may assume c = 1. Here {U k,ε } ε>0,k=1,..., are assumed to be uniformly C 2+ν simply connected domains satisfying { x < 1 } { U k,ε U k,ε x < 3 } 2 4 for any ε, k. (1.7 Thus possible spatial configuration of the holes T k,ε includes the so called critical case, the holes being of radius ε 3 with their mutual distance proportional to ε, cf. Allaire [1] among others. The assumptions (1.6 (1.7 imposed on the distribution of holes guarantee the holes are pairwise disjoint. Note that no periodicity of the holes is a priori assumed. Finally, for the sake of simplicity, we suppose that is smooth, of class C 2+ν. We use C to denote a universal constant whose value is independent of ε. 1.2 Weak solutions We consider weak solutions to problem ( emanating from the initial data and belonging to the regularity class ϱ(0, = ϱ 0,ε, u(0, = u 0,ε, (1.8 ϱ C([0, T ]; L 1 (, 0 < ϱ ϱ ϱ a.a. in (0, T, Θ L (0, T ; W 0 (, Θ(t, C ν (, Θ(t, C ν ( C for a.a. t (0, T, ν > 0, u L (0, T ; L 2 (; R 3 L 2 (0, T ; W 0 (; R 3. (1.9 The equations (1.1, (1.2, (1.3 will be interpreted in the weak sense. More specifically, T 0 [ϱ t ϕ + ϱu x ϕ] dx dt = R 3 ϱ 0,ε ϕ(0, dx R 3 (1.10 for any ϕ C 1 c ([0, T R 3, where u 0 outside ; div x u = 0 a.a. in (0, T ; T 0 T = 0 [ϱu t ϕ + ϱu u : x ϕ] dx dt T S(Θ, x u : x ϕ dx + Θ x F ϕ dx dt ϱ 0,ε u 0,ε ϕ(0, dx 0 (1.11 3

6 for any ϕ Cc 1 ([0, T ; R 3, div x ϕ = 0; κ ε x Θ(τ, x φ dx = for a.a. τ (0, T and φ Cc 1 (. In addition, we suppose that the energy inequality 1 τ 2 ϱ u 2 (τ, dx + κ ε x Θ 2 dx dt + 0 τ 0 u(τ, x F φ dx (1.12 µ(θ 2 xu + t xu 2 dx dt 1 2 ϱ 0,ε u 0,ε 2 dx (1.13 holds for a.a. τ (0, T. In view of the DiPerna Lions theory [8], and the anticipated regularity of ϱ, u stated in (1.9, the weak formulation (1.10 implies its renormalized variant T [b(ϱ t ϕ + b(ϱu x ϕ] dx dt = 0 R 3 b(ϱ 0,ε ϕ(0, dx R 3 (1.14 for any ϕ C 1 c ([0, T R 3 and any b C((0, (actually any Borel b, due to the lower and upper bound restriction of ϱ. We remark that, for any fixed ε > 0, the existence of renormalized weak solutions can be derived following the nowadays well understood argument in Lions s book [13]. 1.3 Main result Let K { x < 1} be a compact set. We define the matrix C i,j (K = x v i : x v l dx, i, j = 1,... 3, { x <1}\K where v i is the unique solution of the model problem v i + x q i = 0, div x v i = 0 in { x < 1} \ K, v i K = e i, v i { x =1} = 0. (1.15 Here {e i } 3 i=1 denotes the standard orthogonal basis of the vector space R 3. Note that v i is the unique minimizer of the Dirichlet integral R 3 x v 2 dx over the set {v W (R, div x v = 0, v K = e i, v { x 1} = 0}. Finally, we suppose that there is a positive definite symmetric matrix field D L (; Rsym 3 3 such that lim C i,j (ε 3 U k,ε = D i,j (x dx for any Borel set B, (1.16 T k,ε B B 4

7 where U k,ε are related to T k,ε via (1.6. Note that the limit (1.16 exists in the spatially periodic case with holes of uniform shape studied in the nowadays classical papers by Allaire [1], [2]. Other relevant examples can be found in Desvillettes, Golse, and Ricci [6], or Marchenko, Khruslov [14]. We are ready to formulate our main result: Theorem 1.1. Let { } ε>0 be a family of perforated domains specified in Section 1.1, where the asymptotic distribution of holes satisfies (1.5. Let the initial data be given such that ϱ 0,ε L (R 3, ϱ 0,ε (x = ϱ s > 0 a positive constant for x R 3 \ 0 < ϱ ϱ 0,ε (x ϱ, ϱ 0,ε ϱ 0 in L 1 (; (1.17 div x u 0,ε = 0, u 0,ε = 0 in R 3 \, u 0,ε u 0 in L 2 (; R 3 ; (1.18 Finally, suppose that x F L (; R 3 and that µ = µ(θ is a positive continuous function of Θ. Let (ϱ ε, u ε, Θ ε be a weak solution of the problem ( , (1.4, (1.5, (1.8. Then, up to a subsequence, we have ϱ ε ϱ C([0, T ]; L 1 (, 0 < ϱ ϱ ε (t, x ϱ, Θ ε Θ in L q ((0, T for any 1 q <, and weakly-(* in L (0, T ; W 0 (, u ε u in L 2 ((0, T ; R 3 and weakly in L 2 (0, T ; W 0 (; R 3, where (ϱ, u, Θ is a weak solution of the problem t ϱ + div x (ϱu = 0, div x u = 0, t (ϱu + div x (ϱu u + µ(θdu + x P = div x S(Θ, x u + Θ x F, S(Θ, x u = µ(θ ( x u + x u t, div x (κ f x Θ = x F u, in (0, T, satisfying the boundary conditions (1.4, (1.5, and the initial conditions (ϱ 0, u 0. The rest of the paper is devoted to the proof of Theorem 1.1. It is worth noting that the limit process includes in fact two homogenization procedures: the first one in the momentum equation due to the domain perforation, the second one in the heat equation due to the spatial oscillations of the heat conductivity coefficient. The two processes interact via the temperature dependent viscosity coefficient µ. Besided the nowadays standard homogenization technique developed in the pioneering paper by Allaire [1], our method leans essentially on the uniform estimates of the Hölder norm of the temperature Θ ε. To the best of our knowledge, this is the first result concerning the critical case for the inhomogeneous heat conducting fluid. It is worth noting that the Brikman type term in the asymptotic limit is independent of the density of the fluid, cf. the nowadays classical paper of Cioranescu and Murat [4], [5] concerning the background of this extra term. The paper is organized as follows. In Section 2, we derive some preliminary estimates that follow directly from the renormalized formulation and the available energy bounds, in particular we derive 5

8 the uniform bounds on the Hölder norm of the temperature. The homogenization process in the momentum equation is performed in Section 3. Finally, the limit passage is completed in Section 4. To conclude, let us remark that, in contrast with the bulk of the available homogenization literature almost exclusively focused on stationary problems, the evolutionary setting requires essential modifications of the limit process. 2 Preliminaries - uniform estimates We start with uniform bounds for ϱ and Θ. Using hypothesis (1.17 we can take b(ϱ = [ϱ ϱ] +, b(ϱ = [ϱ ϱ] as test functions in the renormalized equation (1.14 to deduce 0 < ϱ ϱ ε (t, x ϱ for a.a. (t, x (2.1 uniformly in ε 0. Next, using the lower bound for (2.1 for ϱ, we we deduce from the energy inequality (1.13, combined with (1.18, that T ess sup u ε (t, L 2 (;R 3 + x Θ ε 2 L 2 ( C (2.2 t [0,T ] 0 Note that u ε 0 outside. Now, seeing that Θ ε solves for a.a. fixed time the elliptic equation (1.12, with the diffusion coefficient 0 < min{κ s, κ f } κ max{κ s, κ f }, we may use the standard elliptic theory, see e.g. Ladyzhenskaya, Uralceva [11, Chapter 3, Theorem 12.1], to obtain the estimate ess sup t (0,T Θ ε (t, C ν ( C (2.3 for a certain ν > 0. It is important that the bound in (2.3 depends solely on κ s, κ f, and the constant in (2.2, specifically on the norm of the initial data. In particular, Θ Θ ε (t, x Θ for a.a. (t, x. (2.4 Going back to the energy balance (1.13 and using the positivity of µ on the range [ Θ, Θ] we may infer that T 0 x u ε 2 L 2 (;R 3 C. (2.5 Now, using (2.1, (2.5, the renormalized equation (1.14 and hypothesis (1.17, we get ϱ ε ϱ in C weak ([0, T ]; L q ( for any 1 < q <, u ε u weakly-(* in L (0, T ; L 2 (; R 3 and weakly in L 2 (0, T ; W 0 (; R 3, (2.6 6

9 passing to suitable subsequences as the case may be. In addition, the standard Aubin Lions argument yields immediately that ϱ, u satisfy (1.10. Finally, by DiPerna Lions theory [8], the same equation holds in the renormalized sense (1.14. In particular, it can be shown that ϱ ε 2 L 2 ( ϱ 2 L 2 ( in C[0, T ]; whence ϱ ε ϱ in C([0, T ]; L q ( for any 1 q <. (2.7 3 Homogenization We start with the elliptic problem associated to the momentum equation (1.2: div x [ µ(θ ( x U ε + t xu ε ] + x P ε = f ε, div x U ε = 0 in, U ε ε = 0. (3.1 For a given Θ C ν ( and f ε W ( ; R 3, problem (3.1 admits a weak solution U ε, P ε, unique in the class U ε W 0 ( ; R 3, P ε L 2 (, P ε dx = 0, (3.2 such that the equations in (3.1 are satisfied in the weak sense: for any φ Cc ( and any ϕ Cc ( ; R 3, there holds U ε x φ dx = 0, (3.3 and µ(θ ( x U ε + t xu ε : x ϕ P ε div x ϕ dx = f ε, ϕ W 0 (. (3.4 We remark that the solution can be obtained as the minimizer of the functional 1 U R 2 µ(θ xu + t xu 2 dx f ε U 3 over the space of functions { } U W (R 3 ; R 3 div x U = 0, U R 3 \=0. Our goal in this section is to show the following result. Proposition 3.1. Let { } ε>0 be a family of domains satisfying the same hypotheses as Theorem 1.1. Suppose that Θ C ν (, lim sup f ε f W (;R 3 M (3.5 for some f W (; R 3 independent of ε and some M 0. 7

10 Let U ε, P ε be the unique (weak solution of problem (3.1. Then, up to the zero extension and a substraction of subsequence, there holds U ε U weakly in W 0 (; R 3, P ε P weakly in L 2 ( as ε 0, (3.6 where U, P is the solution of the problem div x [ µ(θ ( x U + t xu ] + µ(θdu + x P = f + r, div x U = 0 in, U = 0 (3.7 for some r W 0 (; R 3 satisfying r W 0 (;R 3 CM. The rest of this section is devoted to proving Proposition 3.1. This is done in the following subsections step by step by employing similar arguments as in [9], where the main idea goes back to [6]. We recall the the following pointwise and integral estimates of the solution (v i, q i to the model problem (1.15. The proof follows from the proof of Lemma 4.1 in [9]. Lemma 3.2. Let (v i, q i be a solution to (1.15 with K B(0, r B(0, d B(0, 1. Then there holes the estimates α v i r C x, q i r C, x B(0, 1 \ B(0, r, ( α x 2 where α N 3, α 2, and B(0,d B(0,d v i 2 dx Cr 2 d, q i 2 dx Cr, B(0,d x v i 2 dx Cr, ( Uniform estimates Since Θ C ν (, it admit a lower and upper bound. By the assumption that µ(θ is positive and continuous function in Θ, we have that for some positive constants µ and µ, 0 < µ µ(θ µ <. (3.10 By a density argument, the weak formulation (3.4 is satisfied for any ϕ W 0 ( ; R 3. By (3.2, we can take the solution U ε itself to be a test function in (3.4 and obtain µ(θ x U ε + t xu ε 2 dx = 2 fε, U ε W 0 ( 2 f ε W ( U ε W 0 ( 2( f + M U ε ε W 0 (. ε (3.11 8

11 By (3.10-(3.11, applying Korn s inequality and Poincaré s inequality gives U ε 2 C W 0 ( xu ε 2 L 2 ( C ε xu ε + t xu ε 2 L 2 ( C µ(θ x U ε + t xu ε 2 dx C( f W ( + M U ε W 0 (. (3.12 ε This implies the uniform estimate: sup U ε W 0 ( C( f ε W ( + M. (3.13 0<ε<1 Theorem 2.3 in [7] applies to the setting of perforated domains in this paper. As a result, there exits a linear uniform bounded Bogovskii type operator such that for any f L 2 0(, B ε : L 2 0( W 0 ( ; R 3, div x B ε (f = f in, B ε (f W 0 (;R 3 C f L 2 (, (3.14 for some constant C independent of ε. Since P ε L 2 0( which is the collection of L 2 ( functions with zero mean value, we have B ε (P ε W 0 ( ; R 3. Taking B ε (P ε as a test function in the weak formulation (3.4 implies P ε 2 dx = µ(θ ( x U ε + t xu ε : x B ε (P ε dx f ε, B ε (P ε W 0 (. (3.15 ε Together with (3.13 and (3.14, we obtain from (3.15 that P ε 2 L 2 ( C( f W ( + M B ε (P ε W 0 ( C( f W ( + M P ε L 2 (, (3.16 which implies sup P ε L 2 ( C( f W ( + M. (3.17 0<ε<1 Hence, by the uniform estimates in (3.13 and (3.17, up to the zero extensions and a substraction of subsequence, there holds U ε U weakly in W 0 (; R 3, P ε P weakly in L 2 ( as ε 0. (3.18 By the divergence free property of U ε, we have div x U = 0. It is left to prove that the limit (U, P solves the Brinkman type equations in (3.7. This is done in the next subsection. 9

12 3.2 Decompositions Let χ be a function satisfying χ C c ( 1, 1, χ = 1 on [ 3 4, 3 4], 0 χ 1, 0 χ 4. (3.19 Define the cut-off function φ k,ε near each hole T k,ε by ( x xk φ k,ε (x := χ. (3.20 By the assumptions (1.6 (1.7 of the distribution of holes, there holds φ k,ε (x = 1 on T k,ε, φ k,ε φ k,ε = 0 whence k k. Let v i ε be the solution to the model problem (1.15 with K = U k,ε. For any ϕ = (ϕ i i=,3 C c (; R 3, we define ϕ ε W 0 ( ; R 3 as ε 3 ϕ ε := ϕ ϕ ε 1 ϕ ε 2, (3.21 with ϕ ε 1(x := (ϕ(x ϕ(x k φ k,ε (x, ϕ ε 2(x := k=1 k=1 3 ϕ i (x k vε(x i x k φ k,ε (x. i=1 Give the above definition, it is immediately to find (3.22 ϕ ε = 0, So there does holds ϕ ε W 0 ( ; R 3 with on k=1 T k,ε. (3.23 ϕ ε W 0 (;R 3 C ϕ W 0 (;R 3. Moreover, similarly as Lemma 5.2 in [9], a direct calculation gives ϕ ε 1 0, strongly in W 0 (; R 3, as ε 0, ϕ ε 2 0, weakly in W 0 (; R 3, as ε 0. (3.24 Let (U, P be the limit we obtained in (3.18. For any given κ > 0, there exits U 0 C c (; R 3 such that U = U 0 + U κ, U κ W ( κ. (

13 As in (3.21 and (3.22, we consider the decomposition U 0 = U 0 ε + U 0 ε,1 + U 0 ε,2, (3.26 where U 0 ε,1 and U 0 ε,2 are defined in the same manner as in (3.22 and satisfy the same convergence results as in (3.24. We thus consider the decomposition of U ε as U ε = U 0 ε + U r ε, (3.27 where U 0 ε comes from the decomposition (3.26. It is crucial to study the property of the remainder U r ε = U ε U 0 ε W 0 ( ; R 3. Due to the fact U ε U = U 0 + U κ, U 0 ε U 0, weakly in W 0 (; R 3, as ε 0, it is straightforward to obtain that U r ε U U 0 = U κ, weakly in W 0 (; R 3, as ε 0. (3.28 Then the Rellich-Kondrachov compact embedding theorem implies, up to a substraction of subsequence, that U r ε U κ, strongly in L q (; R 3, q [2, 6, as ε 0. (3.29 A consequence is that lim sup U r ε L q ( C(q U κ L q ( C(q U κ W 0 ( C(qκ, q [2, 6. (3.30 Moreover, it can be shown that lim sup U r ε L 2 ( h(κ 0, as κ 0. (3.31 In order to estimate U r ε L 2 (, choosing U r ε as a test function in the weak formulation (3.4 implies µ(θ ( x U r ε + t xu r ε : x U r ε = µ(θ ( x U 0 ε + t xu 0 ε : x U r ε dx ε + P ε div x U r ε dx + f ε, U r ε W 0 ( ε = µ(θ ( x U 0 + t xu 0 : x U r ε dx + P ε div x U r ε dx + f ε, U r ε W 0 ( ε + µ(θ ( x U 0 ε,1 + t xu 0 ε,1 : x U r ε dx + µ(θ ( x U 0 ε,2 + t xu 0 ε,2 : x U r ε dx. (3.32 Then starting from (3.32, by (3.28 (3.30, together with the strong convergence of U 0 ε,1 and weak convergence of U 0 ε,2, by using the property of vε i as the solution to the model problem (1.15 with K = U k,ε (see Lemma 3.2, a similar argument as the proof of Lemma 5.1 in [9] implies our desired result in (

14 3.3 Limit equations Now we deduce the equations satisfied by the limit couple (U, P. Let ϕ = (ϕ i i=,3 Cc (; R 3 and let ϕ ε W 0 ( ; R 3 be defined as in (3.21. Employing the decomposition (3.27 and taking ϕ ε as a test function in (3.4 gives ( + t x U 0 U 0 ε,1 U 0 ε,2 : x (ϕ ϕ ε 1 ϕ ε 2 dx µ(θ ( ( x U 0 U 0 ε,1 U 0 ε,2 ε + µ(θ ( x U r ε + t xu r ε : x ϕ ε dx = P ε div x (ϕ ϕ ε 1 ϕ ε 2 dx + f ε, ϕ ε W 0 (. (3.33 We first look at the right-hand side of (3.33. By the convergence in (3.24 and the assumption (3.5, we have lim f, ϕε W 0 ( = f, ϕ ε W 0 ( and Thus for some r W 0 (; R 3 satisfying lim sup f ε f, ϕ ε W 0 ( CM ϕ ε W 0 (. lim f ε, ϕ ε W 0 ( = f, ϕ W 0 ( + r, ϕ W 0 (, (3.34 r W 0 (;R 3 CM. By the weak convergence of P ε in (3.18 and the strong convergence of ϕ ε 1 in (3.24, we have P ε div x ϕ dx P div x ϕ dx, P ε div x ϕ ε 1 dx 0, as ε 0. (3.35 By the definition of ϕ ε 2 in (3.22, and the divergence free property of v i ε, we have div x ϕ ε 2(x = k=1 3 ϕ i (x k vε(x i x k x φ k,ε (x. i=1 Thus, by the property of v i ε shown in Lemma 3.2 and the property of the cut-off function φ k,ε (x 12

15 in (3.19 (3.20, we have P ε div x ϕ ε 2 dx = = P ε k=1 k=1 3 i=1 Cε 3 C 3 ϕ i (x k vε(x i x k x φ k,ε (x dx i=1 { 3 4 ε3 x x k ε 3 } k=1 { 3 4 ε3 x x k ε 3 } k=1 { 3 4 ε3 x x k ε 3 } 0, as ε 0. P ε ϕ i (x k v i ε(x x k x φ k,ε (x dx P ε dx P ε 2 dx (3.36 We turn to consider the left-hand side of (3.33. By (3.31, we have µ(θ ( x U r ε + t xu r ε : x ϕ ε dx Ch(κ, (3.37 which tends to 0 when κ 0. By the strong convergence of ϕ ε 1 and weak convergence of ϕ ε 2 in (3.24 and similar convergence for U 0 ε,1 and U 0 ε,2, there holds and as ε 0. µ(θ ( ( ( x U 0 U 0 ε,1 U 0 ε,2 + t x U 0 U 0 ε,1 U 0 ε,2 : x (ϕ ϕ ε 1 dx µ(θ ( x U 0 + t xu 0 : x ϕ dx µ(θ ( x ( U 0 U 0 ε,1 It is left to study the limit lim (3.38 ( + t x U 0 U 0 ε,1 : x ϕ ε 2 dx 0 (3.39 µ(θ ( x U 0 ε,2 + t xu 0 ε,2 By the definition in (3.22, x ψ ε, where ψ ε {U 0 ε,2, ϕ ε 2}, has two parts: : x ϕ ε 2 dx. (3.40 x ψ ε = ψ ε,1 + ψ ε,2, (

16 where ψ ε,1 := k=1 3 ψ i (x k vε(x i x k x φ k,ε (x, ψ ε,2 := i=1 k=1 3 ψ i (x k x vε(x i x k φ k,ε (x. (3.42 By using (3.41 (3.42, we then can write (3.40 into four parts, and by a similarly argument as (3.36, any part involves ψ ε,2 convergence to 0 as ε 0. Thus lim µ(θ ( x U 0 ε,2 + t xu 0 ε,2 : x ϕ ε 2 dx 3 = lim µ(θ U 0,i (x k ( 3 x vε i + t xvε i (x xk φ k,ε (x : ϕ j (x l x vε(x j x l φ l,ε (x dx k=1 i=1 l=1 j=1 3 = lim µ(θ U 0,i (x k ( x vε i + t xvε i (x xk φ k,ε (x : ϕ j (x k x vε(x j x k φ k,ε (x dx. k=1 i,j=1 (3.43 Again by a similarly argument as (3.36, and by the divergence free property of vε, j we deduce from (3.43 that lim µ(θ k=1 i,j=1 = lim µ(θ = 0. 3 U 0,i (x k t xvε(x i x k φ k,ε (x : ϕ j (x k x vε(x j x k φ k,ε (x dx k=1 i,j=1 3 U 0,i (x k vε(x i x k φ k,ε (x ϕ j (x k x vε(x j x k t xφ k,ε (x dx i=1 (3.44 By (3.43 (3.44, by the definition of the cut-off function φ k,ε in (3.19 (3.20, there holds lim µ(θ ( x U 0 ε,2 + t xu 0 ε,2 : x ϕ ε 2 dx 3 (3.45 = lim µ(θ U 0,i (x k ϕ j (x k φ 2 k,ε(x x vε i : x vε(x j x k dx. x x k ε 3 k=1 i,j=1 Hence, by the assumption (1.16, together with Lemma 3.2, we obtain lim µ(θ ( x U 0 ε,2 + t xu 0 ε,2 : x ϕ ε 2 dx = = 3 i,j=1 µ(θd i,j (xu 0,i (xϕ j (x dx µ(θdu 0 ϕ dx. (

17 The final step is to pass κ 0. Recall the fact U U 0 W 0 ( κ. Then, by summarizing the limits in (3.34, (3.35, (3.36, (3.37, (3.38, (3.39 and (3.46 and by passing κ 0, we deduce that µ(θ ( x U + t xu : x ϕ dx + µ(θdu ϕ dx = P div x ϕ dx + f + r, ϕ W 0 (. The proof of Proposition 3.1 is completed. 4 Asymptotic limit Our ultimate goal is to perform the asymptotic limit in the evolutionary system ( Compactness in time of the velocities We start by showing compactness in time of the family {u ε } ε>0 of the velocity fields. Let ϕ Cc (; R 3, div x ϕ = 0. Set f = ϕ + D ϕ L (; R 3. Let ϕ ε be the unique solution of the Stokes problem In accordance with Proposition 3.1, ϕ ε + x P ε = f, div x ϕ = 0 in, ϕ W 0 ( ; R 3. ϕ ε ϕ weakly in W 0 (; R 3 ; whence ϕ ε ϕ in L 2 (; R 3. Now, we have ϱ ε u ε ϕ dx = ϱ ε u ε (ϕ ϕ ε dx = ϱ ε u ε ϕ ε dx, where, by virtue of the bounds (2.1, (2.2, ess sup t (0,T ϱ ε u ε (ϕ ϕ ε dx 0 as ε 0. (4.1 In addition, using ψ(tϕ ε, ψ Cc (0, T as a test function in the variational formulation of the momentum balance (1.11, we deduce that the family { } t ϱ ε u ε ϕ ε dx is precompact in C([0, T ]. (4.2 ε>0 Combining (4.1, (4.2, we conclude that [ ] [ ] t ϱ ε u ε ϕ dx t ϱu ϕ dx in L (0, T for any ϕ Cc (; R 3, div x ϕ = (4.3

18 Using the density of smooth compactly supported functions in W 0,div (; R3 - the Sobolev space W 0 (; R 3 of solenoidal vector fields - we deduce from (4.3 that ϱ ε u ε ϱu in L q ([0, T ]; W div (; R3. (4.4 Thus, finally, relation (4.4, together with (2.6, (2.7, imply that T T ϱ u ε 2 dx ϱ u 2 dx, yielding 4.2 Strong convergence of the temperature In view of (2.2, we may assume 0 0 u ε u in L 2 ((0, T ; R 3. (4.5 Θ ε Θ weakly in L 2 (0, T ; W 0 ( and weakly-(* in L ((0, T, passing to a subsequence as the case may be. Moreover, by virtue of (4.5, the limit Θ solves (1.3 in the sense of (1.12, with κ ε = κ f. Note that κ ε κ f weakly-(* in L ( and in L 1 (. (4.6 As a matter of fact, Θ being a solution of the limit problem with constant heat conductivity coefficient enjoys more regularity than Θ ε, specifically, Θ L (0, T ; W 2,2 W 0 (. (4.7 Finally, writing Θ ε Θ 2 C κ W 0 ( ε x Θ ε x Θ 2 dx C (κ ε x Θ ε κ f x Θ ( x Θ ε x Θ dx + C (κ f κ ε x Θ ( x Θ ε x Θ dx = C (u ε u x F (Θ ε Θ dx + C (κ f κ ε x Θ ( x Θ ε x Θ dx we deduce from ( that Relation (4.8, together with (2.3, yields the final conclusion Θ ε Θ in L 2 (0, T ; W 0 (. (4.8 Θ ε Θ in L q (0, T ; C ν ( for all 1 q < and some ν > 0. (4.9 Note that ν in (4.9 is strictly smaller than its companion in (

19 4.3 Asymptotic limit in the momentum equation Our ultimate goal is to perform the asymptotic limit in the momentum equation (1.11. To this end, we use the time regularization by means of a convolution with a family of regularization kernels χ δ = χ δ (t, χ δ (t = 1 ( t 1 δ χ, χ Cc ( 1, 1, χ 0, χ( z = χ(z, χ (z 0 for z 0, χ(z dz = 1. δ As we are interested only in the behavior of u ε on compact subsets of (0, T, this step can be performed rigorously by considering χ δ (τ tφ(x, φ Cc (; R 3, div x φ = 0 as a test function in the weak formulation (1.11. Denoting [v] δ = χ δ v we get [ µ(θε ( ] x u ε + t xu ε : δ xφ dx = [(ϱ ε u ε u ε ] δ : x φ dx t [ϱ ε u ε ] δ φ dx. (4.10 at any fixed τ (δ, T δ. Now, in view of (2.6, (2.7, and (4.5, it is easy to show that [ϱ ε u ε u ε (τ, ] δ [ϱu u(τ, ] δ in L 2 (; R 3 3 as ε 0, for any τ (δ, T δ, (4.11 and, similarly, t [ϱ ε u ε (τ, ] δ t [ϱu(τ, ] δ in L 2 (; R 3 as ε 0 for any τ (δ, T δ. (4.12 Using (4.11, (4.12, we obtain the desired conclusion from (4.9 by application of Proposition 3.1 as soon as we show a suitable estimate for the commutator [ µ(θε ( x u ε + t xu ε ] δ µ([θ] ω ( x [u ε ] δ + t x [u ε ] δ, where δ > 0, ω > 0 are small parameters. To begin, by virtue of (2.2, (4.9, observe that [ µ(θε ( x u ε + t xu ε ]δ [ µ(θ ( ] x u ε + t xu ε 0 in δ L2 (; R 3 3 as ε 0 uniformly for τ (δ, T δ; whence it is enough to control [ µ(θ ( x u ε + t xu ε ] δ µ([θ] ω ( x [u ε ] δ + t x [u ε ] δ. (4.13 To handle (4.13, we write [ µ(θ ( x u ε + t xu ε ]δ µ([θ] ω ( x [u ε ] δ + t x [u ε ] δ = [ (µ(θ µ([θ] ω ( x u ε + t xu ε ] µ([θ] ω ( x [u ε ] δ + t x [u ε ] δ. 17 δ + [ µ([θ] ω ( x u ε + t xu ε ]δ 1

20 Now, [ (µ(θ µ([θ] ω ( x u ε + t xu ε ] δ L 2 (;R 3 3 Thus, in view of (2.2, (4.9, [ (µ(θ µ([θ]ω ( x u ε + t xu ε ] (µ(θ µ([θ]ω ( x u ε + t xu L ε 2 (;R 3 3 µ(θ µ([θ] ω L ( x u ε + t xu L ε. 2 (;R 3 3 δ 0 in Lq (0, T ; L 2 (; R as ω 0 (4.14 for any 1 q < 2, uniformly in ε and δ. On the other hand, if ω > 0 is fixed, the function [Θ] ω is continuously differentiable with respect to the spatial variable. Thus we deduce that [ µ([θ]ω ( x u ε + t xu ε ]δ µ([θ] ω ( x [u ε ] δ + t x [u ε ] δ = [ µ([θ] ω ( ] x u ε + t xu ε µ([θ] δ ω [ x u ε + t xu ε ]δ 0 in L 2 ((0, T ; R 3 3 as δ 0 uniformly in ε for any fixed ω > 0. Summing up relations (4.14, (4.15, we may rewrite (4.10 in the form µ([θ] ω ( x [u ε ] δ + t x[u ε ] δ : x φ dx = [(ϱ ε u ε u ε ] δ : x φ dx t [ϱ ε u ε ] δ φ dx ε ( + R 1 ω,δ,ε + R 2 ω,δ,ε : x φ dx at any fixed τ (δ, T δ, where R 1 ω,δ,ε 0 in L q (0, T ; L 2 (; R 3 3 as ω 0, 1 q < 2, uniformly in ε, δ, R 2 ω,δ,ε 0 in L 2 (0, T ; L 2 (; R 3 3 as δ 0 for any fixed ω > 0 and uniformly in ε. (4.15 Thus performing successively the limits ε 0, δ 0, and, finally, ω 0, we deduce the desired conclusion. Theorem 1.1 has been proved. References [1] G. Allaire. Homogenization of the Navier-Stokes equations in open sets perforated with tiny holes. I. Abstract framework, a volume distribution of holes. Arch. Rational Mech. Anal., 113(3, , [2] G. Allaire. Homogenization of the Navier-Stokes equations in open sets perforated with tiny holes. II. Noncritical sizes of the holes for a volume distribution and a surface distribution of holes. Arch. Rational Mech. Anal., 113(3, ,

21 Powered by TCPDF ( [3] S. Chandrasekhar. Hydrodynamic and hydrodynamic stability. Clarendon Press, Oxford, [4] D. Cioranescu and F. Murat. Un terme étrange venu d ailleurs. In Nonlinear partial differential equations and their applications. Collège de France Seminar, Vol. II (Paris, 1979/1980, volume 60 of Res. Notes in Math., pages , Pitman, Boston, Mass., [5] Doïna Cioranescu and François Murat. Un terme étrange venu d ailleurs. II. In Nonlinear partial differential equations and their applications. Collège de France Seminar, Vol. III (Paris, 1980/1981, volume 70 of Res. Notes in Math., pages , Pitman, Boston, Mass., [6] L. Desvillettes, F. Golse, and V. Ricci. The meanfield limit for solid particles in a Navier Stokes flow. J. Stat. Physics, 131, , [7] L. Diening, E. Feireisl, Y. Lu. The inverse of the divergence operator on perforated domains with applications to homogenization problems for the compressible Navier Stokes system. ESAIM: Control Optim. Calc. Var., 23 (3 (2017, [8] R.J. DiPerna and P.-L. Lions. Ordinary differential equations, transport theory and Sobolev spaces. Invent. Math., 98: , [9] E. Feireisl, Y. Namlyeyeva, Šárka Nečasová. Homogenization of the evolutionary Navier Stokes system. Manuscripta Math. 149, (2016 [10] E. Feireisl and A. Novotný. Singular limits in thermodynamics of viscous fluids. Birkhäuser- Verlag, Basel, [11] O. A. Ladyzhenskaya and N. N. Uralceva. Linear and quasilinear elliptic equations. Academic Press, New York and London, [12] F. Lignières. The small Péclet number approximation in stellar radiative zones. Astronomy and astrophysics, pages 1 10, [13] P.-L. Lions. Mathematical topics in fluid dynamics, Vol.1, Incompressible models. Oxford Science Publication, Oxford, [14] V. A. Marchenko and E. Ya. Khruslov. Homogenization of partial differential equations, volume 46 of Progress in Mathematical Physics. Birkhäuser Boston, Inc., Boston, MA, Translated from the 2005 Russian original by M. Goncharenko and D. Shepelsky. 19