Journal of Function Spaces

Journal of Function Spaces / 2012 / Article

Research Article | Open Access

Volume 2012 |Article ID 643458 | https://doi.org/10.1155/2012/643458

L. Flodén, A. Holmbom, M. Olsson Lindberg, "A Strange Term in the Homogenization of Parabolic Equations with Two Spatial and Two Temporal Scales", Journal of Function Spaces, vol. 2012, Article ID 643458, 9 pages, 2012. https://doi.org/10.1155/2012/643458

A Strange Term in the Homogenization of Parabolic Equations with Two Spatial and Two Temporal Scales

Academic Editor: Bjorn Birnir
Received23 Mar 2011
Accepted28 Sep 2011
Published02 Feb 2012

Abstract

We study the homogenization of a parabolic equation with oscillations in both space and time in the coefficient 𝑎(𝑥/𝜀,𝑡/𝜀2) in the elliptic part and spatial oscillations in the coefficient 𝜌(𝑥/𝜀) that is multiplied with the time derivative 𝜕𝑡𝑢𝜀. We obtain a strange term in the local problem. This phenomenon appears as a consequence of the combination of the spatial oscillation in 𝜌(𝑥/𝜀) and the temporal oscillation in 𝑎(𝑥/𝜀,𝑡/𝜀2) and disappears if either of these oscillations is removed.

1. Introduction

We study the homogenization of𝜌𝑥𝜀𝜕𝑡𝑢𝜀𝑎𝑥(𝑥,𝑡)𝜀,𝑡𝜀2𝑢𝜀𝑢(𝑥,𝑡)=𝑓(𝑥,𝑡)inΩ×(0,𝑇),𝜀𝑢(𝑥,0)=𝑔(𝑥)inΩ,𝜀(𝑥,𝑡)=0on𝜕Ω×(0,𝑇),(1.1) which contains oscillations in both space and time in the coefficient 𝑎(𝑥/𝜀,𝑡/𝜀2) in the elliptic part and spatial oscillations in the coefficient 𝜌(𝑥/𝜀) that is multiplied with the time derivative 𝜕𝑡𝑢𝜀. The technique is an adaption of two-scale convergence to parabolic homogenization. To deal with the oscillations of 𝜌(𝑥/𝜀), we need to make a special choice of test functions for our approach to apply, which is the reason why an additional term is obtained in the local problem. This phenomenon appears as a consequence of the combination of the spatial oscillation in 𝜌(𝑥/𝜀) and the temporal oscillation in 𝑎(𝑥/𝜀,𝑡/𝜀2) and disappears if either of these oscillations is removed. Understanding (1.1) in terms of physics, the coefficient 𝜌(𝑥/𝜀) means that the density and the heat capacity may follow a pattern of spatial heterogeneity similar to the thermal conductivity. It is worth noting that the strange term in the local problem appears with a coefficient 𝜌(𝑥/𝜀) with spatial oscillations with the same frequency as the heat conductivity coefficient but without the corresponding temporal oscillations. To the authors’ knowledge the physical interpretation of this phenomenon remains to be understood.

A related problem is studied by Nandakumaran and Rajesh in [1], with the temporal oscillations of the same frequency as the spatial ones and hence the resonance phenomenon in the local problem that we obtain for (1.1) does not appear; see also Remarks 3.3 and 3.4. They investigate𝜕𝑡𝜌𝑥𝜀,𝑢𝜀𝑥𝑎𝜀,𝑡𝜀,𝑢𝜀,𝑢𝜀=𝑓(𝑥,𝑡)inΩ×(0,𝑇),(1.2) with mixed boundary conditions under certain continuity and monotonicity assumptions on 𝜌 and 𝑎. There will turn out to be a significant difference between the treatment of the cases where the speed of the temporal oscillations is governed by 𝜀, as in (1.2), and 𝜀2, which is considered in the main result of this paper. Simpler linear problems without temporal oscillations are found in, for example, [2, 3].

2. Two-Scale Convergence

Our main tools are some versions of two-scale convergence. Two-scale convergence was first introduced by Nguetseng in [4]. The definition below was established by Allaire in [5] and has become the standard way to define two-scale convergence. It is a slight modification of the original definition in [4].

Notation 1. 𝐹#(𝑌) means the space of all functions in 𝐹loc(𝑁) that are 𝑌-periodic repetitions of some function in 𝐹(𝑌). Ω is a bounded open set in 𝑁 with a smooth boundary and Ω𝑇=Ω×(0,𝑇).

Definition 2.1. One says that a sequence {𝑢𝜀} in 𝐿2(Ω) two-scale converges to 𝑢0𝐿2(Ω×𝑌) if Ω𝑢𝜀(𝑥𝑥)𝑣𝑥,𝜀𝑑𝑥Ω𝑌𝑢0(𝑥,𝑦)𝑣(𝑥,𝑦)𝑑𝑦𝑑𝑥(2.1) for any 𝑣𝐿2(Ω;𝐶#(𝑌)) when 𝜀0. One writes 𝑢𝜀2𝑢0.

Translating to the appropriate evolution setting we introduce the next variant.

Definition 2.2. One says that a sequence {𝑢𝜀} in 𝐿2(Ω𝑇)(2,2)-scale converges to 𝑢0𝐿2(Ω𝑇×𝑌×(0,1)) if Ω𝑇𝑢𝜀𝑥(𝑥,𝑡)𝑣𝑥,𝑡,𝜀,𝑡𝜀2𝑑𝑥𝑑𝑡Ω𝑇10𝑌𝑢0(𝑥,𝑡,𝑦,𝑠)𝑣(𝑥,𝑡,𝑦,𝑠)𝑑𝑦𝑑𝑠𝑑𝑥𝑑𝑡(2.2) for any 𝑣𝐿2(Ω𝑇;𝐶#(𝑌×(0,1))) when 𝜀0. One writes 𝑢𝜀(𝑥,𝑡)2,2𝑢0(𝑥,𝑡,𝑦,𝑠).(2.3)

The somewhat weaker type of convergence defined next is an essential tool in the homogenization of (1.1) and under certain assumptions works without the requirement on boundedness in 𝐿2 which is necessary to obtain convergence up to a subsequence in usual two-scale convergence, see [6].

Definition 2.3. One says that a sequence {𝑤𝜀} in 𝐿1(Ω𝑇)(2,2)-scale converges very weakly to 𝑤0𝐿1(Ω𝑇×𝑌×(0,1)) if Ω𝑇𝑤𝜀(𝑥,𝑡)𝑣1(𝑥)𝑣2𝑥𝜀𝑐1(𝑡)𝑐2𝑡𝜀2𝑑𝑥𝑑𝑡Ω𝑇10𝑌𝑤0(𝑥,𝑡,𝑦,𝑠)𝑣1(𝑥)𝑣2(𝑦)𝑐1(𝑡)𝑐2(𝑠)𝑑𝑦𝑑𝑠𝑑𝑥𝑑𝑡(2.4) for any 𝑣1𝐷(Ω), 𝑣2𝐶#(𝑌)/, 𝑐1𝐷(0,𝑇), and 𝑐2𝐶#(0,1) when 𝜀0. One writes 𝑢𝜀(𝑥,𝑡)2,2𝑣𝑤𝑢0(𝑥,𝑡,𝑦,𝑠).(2.5)

Let 𝑊12(0,𝑇;𝐻10(Ω),𝐿2(Ω)) be the space of all functions in 𝐿2(0,𝑇;𝐻10(Ω)) such that the time derivative belongs to 𝐿2(0,𝑇;𝐻1(Ω)); see, for example, [7, Chapter  23]. For {𝑢𝜀} bounded in 𝑊12(0,𝑇;𝐻10(Ω),𝐿2(Ω)) we also have a characterization of the (2,2)-scale limit for the gradients 𝑢𝜀 and the corresponding very weak limit for {𝑢𝜀/𝜀}.

Theorem 2.4. Let {𝑢𝜀} be a bounded sequence in 𝑊12(0,𝑇;𝐻10(Ω),𝐿2(Ω)). Then, there exists a subsequence such that 𝑢𝜀(𝑥,𝑡)𝑢(𝑥,𝑡)in𝐿2Ω𝑇,𝑢𝜀(𝑥,𝑡)𝑢(𝑥,𝑡)in𝐿20,𝑇;𝐻10,(Ω)(2.6)𝑢𝜀(𝑥,𝑡)2,2𝑢(𝑥,𝑡)+𝑦𝑢1(𝑥,𝑡,𝑦,𝑠),(2.7) where 𝑢𝑊12(0,𝑇;𝐻10(Ω),𝐿2(Ω)) and 𝑢1𝐿2(Ω𝑇×(0,1);𝐻1#(𝑌)/). Moreover 𝑢𝜀(𝑥,𝑡)𝜀2,2𝑣𝑤𝑢1(𝑥,𝑡,𝑦,𝑠).(2.8)

Proof. The results in (2.7) and (2.8) can be seen as the period special case for the corresponding results in terms of Σ-convergence in [8]; see, for example, Defintion  3.1, Lemma  3.4 and Section  4.2 in [8]. We can also obtain (2.7) by a slight modification of the standard proof for bounded sequences in 𝐻1(Ω) if we observe (2.6), that is, that any bounded sequence in 𝑊12(0,𝑇;𝐻10(Ω),𝐿2(Ω)) contains a subsequence that converges strongly in 𝐿2(Ω𝑇); see, for example, [9]. In the same way (2.8) can be concluded from [6, Theorem  4].

Remark 2.5. Limits of the type in (2.8) appear in the proof of the homogenization result for (1.1) in Section 3. The important point here is to find a limit for a sequence {𝑢𝜀/𝜀}, where the denominator 𝜀 passes to zero, while the numerator 𝑢𝜀 does not. The reason why we assume that 𝑌𝑣2(𝑦)𝑑𝑦=0 in Definition 2.3 is that 𝑣2 has to be generated in a certain manner for the proof of (2.8) to work. This is not so with, for example, 𝑐2; see, for example, [6, 8, 9].

Remark 2.6. The results in Theorem 2.4 can also be obtained under the assumption that {𝑢𝜀} apart from being a sequence of solutions to (1.1) and hence bounded in 𝐿2(0,𝑇;𝐻10(Ω)) is also bounded in 𝐿(Ω𝑇). These conditions together imply that {𝑢𝜀} converges strongly in 𝐿2(Ω𝑇) up to a subsequence and hence the boundedness of {𝑢𝜀} in 𝐿(Ω𝑇) replaces the boundedness of {𝜕𝑡𝑢𝜀} in 𝐿2(0,𝑇;𝐻1(Ω)); see Lemma  3.3 and (4.1) in [1]. The proof is then possible to perform in the same way as for {𝑢𝜀} bounded in 𝑊12(0,𝑇;𝐻10(Ω),𝐿2(Ω)). The only difference is that 𝑢 will belong to 𝐿2(0,𝑇;𝐻10(Ω)) instead of the space 𝑊12(0,𝑇;𝐻10(Ω),𝐿2(Ω)).

3. Homogenization

We develop a homogenization procedure for (1.1) and obtain the result in the theorem below. Omitting the rapid temporal oscillations, that is, replacing 𝑎(𝑥/𝜀,𝑡/𝜀2) with 𝑎(𝑥/𝜀), there are no important consequences of the appearance of 𝜌(𝑥/𝜀) and the local problem would be the same as for 𝜌=1. With the temporal oscillations the situation is, however, sometimes different from what it should have been with, for example, 𝜌=1. We need to apply (2.8) to find the local problem but encounter a difficulty in the sense that 𝜌𝑣 does not in general have average zero over 𝑌 for 𝑣𝐶#(𝑌) or even 𝑣𝐶#(𝑌)/. This necessitates a construction of special test functions to be used in the weak form (3.6) of (1.1) in the proof of Theorem 3.1. We assume that 𝜌𝐶#(𝑌), 𝜌𝐶>0, 𝑓𝐿2(Ω𝑇), and𝑎(𝑦,𝑠)𝑐𝑐𝐴|𝑐|2,𝐴>0,(3.1) where 𝑎𝐿#(𝑌×(0,1))𝑁×𝑁. It can be proven along the lines of the corresponding proof in [7, Section  23.9] that {𝑢𝜀} is bounded in the space 𝐿2(0,𝑇;𝐻10(Ω)); see also [2]. For, for example, 𝜌=1 it also holds that {𝜕𝑡𝑢𝜀} is bounded in 𝐿2(0,𝑇;𝐻1(Ω)) and hence {𝑢𝜀} is bounded in the stronger space 𝑊12(0,𝑇;𝐻10(Ω),𝐿2(Ω)). Here, we instead make the physically quite natural assumption that {𝑢𝜀} is bounded in 𝐿(Ω𝑇); see [1] and the references therein.

Theorem 3.1. Let {𝑢𝜀} be a sequence of solutions to (1.1), where 𝜀0, and assume that {𝑢𝜀} is bounded in 𝐿(Ω𝑇). Then, 𝑢𝜀𝑢in𝐿20,𝑇;𝐻10,(Ω)(3.2) where 𝑢 is the solution to 𝑌𝜌(𝑦)𝑑𝑦𝜕𝑡𝑢(𝑥,𝑡)(𝑏𝑢(𝑥,𝑡))=𝑓(𝑥,𝑡)inΩ𝑇,𝑢(𝑥,0)=𝑔(𝑥)inΩ,𝑢(𝑥,𝑡)=0on𝜕Ω×(0,𝑇),(3.3) with 𝑏𝑢(𝑥,𝑡)=10𝑌𝑎(𝑦,𝑠)𝑢(𝑥,𝑡)+𝑦𝑢1(𝑥,𝑡,𝑦,𝑠)𝑑𝑦𝑑𝑠,(3.4) where 𝑢1𝐿2(Ω𝑇×(0,1);𝐻1#(𝑌)/) solves 𝜌(𝑦)𝜕𝑠𝑢1(𝑥,𝑡,𝑦,𝑠)𝑦𝑎(𝑦,𝑠)𝑢(𝑥,𝑡)+𝑦𝑢1(𝑥,𝑡,𝑦,𝑠)=𝜌(𝑦)𝑌𝑎(𝑦,𝑠)𝑢(𝑥,𝑡)+𝑦𝑢1(𝑥,𝑡,𝑦,𝑠)𝑦1𝜌.(𝑦)𝑑𝑦(3.5)

Remark 3.2. For 𝜌=1, the right-hand side of (3.5) is zero and hence the strange term in the local problem disappears. An interesting question is to investigate if there are ways to make the strange term disappear and obtain a more conventional local problem also when 𝜌 is oscillating. This would simplify the use of standard software for the solution of the local problem. See Remark 3.3, where this is discussed for the case where the temporal oscillations are of the same frequency as the spatial ones, and Remark 3.4.

Proof. Let us study the weak form Ω𝑇𝑥𝜌𝜀𝑢𝜀(𝑥,𝑡)𝑣(𝑥)𝜕𝑡𝑥𝑐(𝑡)+𝑎𝜀,𝑡𝜀2𝑢𝜀(=𝑥,𝑡)𝑣(𝑥)𝑐(𝑡)𝑑𝑥𝑑𝑡Ω𝑇𝑓(𝑥,𝑡)𝑣(𝑥)𝑐(𝑡)𝑑𝑥𝑑𝑡,(3.6)𝑣𝐻10(Ω), 𝑐𝐷(0,𝑇) of (1.1). We apply (2.6) and (2.7), pass to the limit and arrive, up to a subsequence, at the homogenized problem Ω𝑇10𝑌𝜌(y)𝑢(𝑥,𝑡)𝑣(𝑥)𝜕𝑡𝑐(𝑡)+𝑎(𝑦,𝑠)𝑢(𝑥,𝑡)+𝑦𝑢1=(𝑥,𝑡,𝑦,𝑠)𝑣(𝑥)𝑐(𝑡)𝑑𝑦𝑑𝑠𝑑𝑥𝑑𝑡Ω𝑇𝑓(𝑥,𝑡)𝑣(𝑥)𝑐(𝑡)𝑑𝑥𝑑𝑡.(3.7) To find a local problem we choose 𝑣(𝑥)=𝜀𝑣1̃𝑣𝑥(𝑥)𝜀(3.8) in (3.6), where 𝑣1𝐷(Ω), ̃𝑣(𝑦)=𝑣2(𝐶𝑦)𝜌(𝑦),𝑣2𝐶#(𝑌),(3.9)𝐶=𝑌𝜌(𝑦)𝑣2(𝑦)𝑑𝑦.(3.10) Hence, we have 𝑌̃𝜌(𝑦)𝑣(𝑦)𝑑𝑦=0.(3.11) Further, we let 𝑐(𝑡)=𝑐1(𝑡)𝑐2𝑡𝜀2,𝑐1𝐷(0,𝑇),𝑐2𝐶#(0,1)(3.12) and arrive at Ω𝑇𝑥𝜌𝜀𝑢𝜀(𝑥,𝑡)𝑣1(̃𝑣𝑥𝑥)𝜀𝜀𝜕𝑡𝑐1(𝑡)𝑐2𝑡𝜀2+𝜀1𝑐1(𝑡)𝜕𝑠𝑐2𝑡𝜀2𝑥+𝑎𝜀,𝑡𝜀2𝑢𝜀(𝑥,𝑡)𝜀𝑣1̃𝑣𝑥(𝑥)𝜀+𝑣1(𝑥)𝑦̃𝑣𝑥𝜀𝑐1(𝑡)𝑐2𝑡𝜀2=𝑑𝑥𝑑𝑡Ω𝑇𝑓(𝑥,𝑡)𝜀𝑣1̃𝑣𝑥(𝑥)𝜀𝑐1(𝑡)𝑐2𝑡𝜀2𝑑𝑥𝑑𝑡.(3.13) The choice of ̃𝑣 is motivated by the requirement that we should have (3.11) for (2.8) to be applicable. We let 𝜀0 in (3.13) and apply (2.7) and (2.8) to Ω𝑇𝑎𝑥𝜀,𝑡𝜀2𝑢𝜀(𝑥,𝑡)𝑣1(𝑥)𝑦̃𝑣𝑥𝜀𝑐1(𝑡)𝑐2𝑡𝜀2𝑑𝑥𝑑𝑡,Ω𝑇𝑥𝜌𝜀𝑢𝜀(𝑥,𝑡)𝑣1̃𝑣𝑥(𝑥)𝜀𝜀1𝑐1(𝑡)𝜕𝑠𝑐2𝑡𝜀2𝑑𝑥𝑑𝑡,(3.14) respectively. Noting that the rest of terms in (3.13) vanish, we obtain, up to a subsequence, Ω𝑇10𝑌𝜌(𝑦)𝑢1(𝑥,𝑡,𝑦,𝑠)𝑣1̃(𝑥)𝑣(𝑦)𝑐1(𝑡)𝜕𝑠𝑐2(𝑠)+𝑎(𝑦,𝑠)𝑢(𝑥,𝑡)+𝑦𝑢1(𝑥,𝑡,𝑦,𝑠)𝑣1(𝑥)𝑦̃𝑣(𝑦)𝑐1(𝑡)𝑐2(𝑠)𝑑𝑦𝑑𝑠𝑑𝑥𝑑𝑡=0.(3.15) Hence, observing that 𝑌𝜌(𝑦)𝑢1𝐶(𝑥,𝑡,𝑦,𝑠)𝜌(𝑦)𝑑𝑦=𝑌𝐶𝑢1(𝑥,𝑡,𝑦,𝑠)𝑑𝑦=0(3.16) and recalling (3.9), we arrive at Ω𝑇10𝑌𝜌(𝑦)𝑢1(𝑥,𝑡,𝑦,𝑠)𝑣1(𝑥)𝑣2(𝑦)𝑐1(𝑡)𝜕𝑠𝑐2(𝑠)+𝑎(𝑦,𝑠)𝑢(𝑥,𝑡)+𝑦𝑢1(𝑥,𝑡,𝑦,𝑠)𝑣1(𝑥)𝑦𝑣2(C𝑦)𝑐𝜌(𝑦)1(𝑡)𝑐2(𝑠)𝑑𝑦𝑑𝑠𝑑𝑥𝑑𝑡=0.(3.17) We write Ω𝑇10𝑌𝜌(𝑦)𝑢1(𝑥,𝑡,𝑦,𝑠)𝑣1(𝑥)𝑣2(𝑦)𝑐1(𝑡)𝜕𝑠𝑐2(𝑠)+𝑎(𝑦,𝑠)𝑢(𝑥,𝑡)+𝑦𝑢1(𝑥,𝑡,𝑦,𝑠)𝑣1(𝑥)𝑦𝑣2(𝑦)𝑐1(𝑡)𝑐2(𝑠)𝑑𝑦𝑑𝑠𝑑𝑥𝑑𝑡Ω𝑇10𝑌𝑎(𝑦,𝑠)𝑢(𝑥,𝑡)+𝑦𝑢1(𝑥,𝑡,𝑦,𝑠)𝑣1(𝑥)𝑦𝐶𝜌(𝑦)𝑑𝑦𝑐1(𝑡)𝑐2(𝑠)𝑑𝑠𝑑𝑥𝑑𝑡=0.(3.18) Applying repeatedly the variational lemma, we find that 10𝑌𝜌(𝑦)𝑢1(𝑥,𝑡,𝑦,𝑠)𝑣2(𝑦)𝜕𝑠𝑐2(𝑠)+𝑎(𝑦,𝑠)𝑢(𝑥,𝑡)+𝑦𝑢1(𝑥,𝑡,𝑦,𝑠)𝑦𝑣2(𝑦)𝑐2=(𝑠)𝑑𝑦𝑑𝑠10𝑌𝑎(𝑦,𝑠)𝑢(𝑥,𝑡)+𝑦𝑢1(𝑥,𝑡,𝑦,𝑠)𝑦𝐶𝑐𝜌(𝑦)𝑑𝑦2(𝑠)𝑑𝑠(3.19) and, according to the definition (3.10) of 𝐶, 10𝑌𝜌(𝑦)𝑢1(𝑥,𝑡,𝑦,𝑠)𝑣2(𝑦)𝜕𝑠𝑐2(𝑠)+𝑎(𝑦,𝑠)𝑢(𝑥,𝑡)+𝑦𝑢1(𝑥,𝑡,𝑦,𝑠)𝑦𝑣2(𝑦)𝑐2=(𝑠)𝑑𝑦𝑑𝑠10𝑌𝜌(𝑦)𝑌𝑎(𝑦,𝑠)𝑢(𝑥,𝑡)+𝑦𝑢1(𝑥,𝑡,𝑦,𝑠)𝑦1𝜌(𝑦)𝑑𝑦𝑣2(𝑦)𝑐2(𝑠)𝑑𝑦𝑑𝑠(3.20) which is the weak form of (3.5).

Remark 3.3. We also briefly comment on case (1.2) originally studied in [1]. Restricting (1.2) to the linear setting studied in this paper means that we obtain 𝜌𝑥𝜀𝜕𝑡𝑢𝜀𝑎𝑥(𝑥,𝑡)𝜀,𝑡𝜀𝑢𝜀(𝑥,𝑡)=𝑓(𝑥,𝑡)inΩ𝑇.(3.21) Introducing test functions corresponding to those used to find the local problem (3.5) in the weak form of (3.21), we arrive at Ω𝑇𝑥𝜌𝜀𝑢𝜀(̃𝑣𝑥𝑥,𝑡)𝑣(𝑥)𝜀𝜀𝜕𝑡𝑐1(𝑡)𝑐2𝑡𝜀+𝑐1(𝑡)𝜕𝑠𝑐2𝑡𝜀𝑥+𝑎𝜀,𝑡𝜀𝑢𝜀̃𝑣𝑥(𝑥,𝑡)𝜀𝑣(𝑥)𝜀+𝑣1(𝑥)𝑦̃𝑣𝑥𝜀𝑐1(𝑡)𝑐2𝑡𝜀=𝑑𝑥𝑑𝑡Ω𝑇̃𝑣𝑥𝑓(𝑥,𝑡)𝜀𝑣(𝑥)𝜀𝑐1(𝑡)𝑐2𝑡𝜀𝑑𝑥𝑑𝑡.(3.22) Letting 𝜀 go to zero, we find, following the same procedure as in the proof of Theorem 3.1, that 𝑦𝑎(𝑦,𝑠)𝑢(𝑥,𝑡)+𝑦𝑢1(𝑥,𝑡,𝑦,𝑠)=𝜌(𝑦)𝑌𝑎(𝑦,𝑠)𝑢(𝑥,𝑡)+𝑦𝑢1(𝑥,𝑡,𝑦,𝑠)𝑦1𝜌,(𝑦)𝑑𝑦(3.23) and hence it seems like a strange term has appeared also in the local problem for the homogenization of (3.21). However, we do not need very weak two-scale convergence to pass to the limit in (3.22), and hence we can replace ̃𝑣 with any 𝑣2𝐶#(𝑌) and obtain the more conventional local problem 𝑦𝑎(𝑦,𝑠)𝑢(𝑥,𝑡)+𝑦𝑢1(𝑥,𝑡,𝑦,𝑠)=0(3.24) without any strange term. Observing that 1/𝜌𝐶#(𝑌) and hence is an admissible choice of the test function 𝑣2 in the weak form of (3.24), this means that the right-hand side in (3.23) is zero and hence (3.23) reduces to (3.24).

Remark 3.4. The question of obtaining a cancellation of the strange term for the homogenization of (1.1) similar to what we saw in Remark 3.3 is delicate. For {𝜕𝑡𝑢𝜀} bounded in 𝐿2(Ω𝑇), a such cancellation appears but under the present conditions of boundedness of {𝑢𝜀} in 𝐿2(0,𝑇;𝐻10(Ω)) and 𝐿(Ω𝑇) and strong convergence in 𝐿2(Ω𝑇) there are counterexamples. Hence, this far, we have only found ways to neutralize the strange term in (3.5) by means of nonstandard boundedness assumptions for (1.1). Forthcoming studies will address these questions in more detail.

References

  1. A. K. Nandakumaran and M. Rajesh, “Homogenization of a nonlinear degenerate parabolic differential equation,” Electronic Journal of Differential Equations, vol. 2001, no. 17, pp. 1–19, 2001. View at: Google Scholar | Zentralblatt MATH
  2. L. Persson, L. E. Persson, N. Svanstedt, and J. Wyller, The Homogenization Method, Studentlitteratur, Lund, Chartwell-Bratt Ltd., Bromley, UK, 1993.
  3. V. V. Jikov, S. M. Koslov, and O. A. Oleinik, Homogenization of Differential Operators and Integral Functionals, Springer, Berlin, Germany, 1994.
  4. G. Nguetseng, “A general convergence result for a functional related to the theory of homogenization,” SIAM Journal on Mathematical Analysis, vol. 20, no. 3, pp. 608–623, 1989. View at: Publisher Site | Google Scholar | Zentralblatt MATH
  5. G. Allaire, “Homogenization and two-scale convergence,” SIAM Journal on Mathematical Analysis, vol. 23, no. 6, pp. 1482–1518, 1992. View at: Publisher Site | Google Scholar | Zentralblatt MATH
  6. L. Flodén, A. Holmbom, M. Olsson, and J. Persson, “Very weak multiscale convergence,” Applied Mathematics Letters, vol. 23, no. 10, pp. 1170–1173, 2010. View at: Publisher Site | Google Scholar | Zentralblatt MATH
  7. E. Zeidler, Nonlinear Functional Analysis and Its Applications IIA, Springer, New York, NY, USA, 1990.
  8. G. Nguetseng and J. L. Woukeng, “Σ-convergence of nonlinear parabolic operators,” Nonlinear Analysis. Theory, Methods & Applications, vol. 66, no. 4, pp. 968–1004, 2007. View at: Publisher Site | Google Scholar | Zentralblatt MATH
  9. A. Holmbom, “Homogenization of parabolic equations: an alternative approach and some corrector-type results,” Applications of Mathematics, vol. 42, no. 5, pp. 321–343, 1997. View at: Publisher Site | Google Scholar | Zentralblatt MATH

Copyright © 2012 L. Flodén et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.


More related articles

 PDF Download Citation Citation
 Download other formatsMore
 Order printed copiesOrder
Views769
Downloads436
Citations

Related articles

We are committed to sharing findings related to COVID-19 as quickly as possible. We will be providing unlimited waivers of publication charges for accepted research articles as well as case reports and case series related to COVID-19. Review articles are excluded from this waiver policy. Sign up here as a reviewer to help fast-track new submissions.