arxiv: v1 [math-ph] 15 Nov 2018

Transcription

1 DETERMINISTIC HOMOGENIZATION OF VARIATIONAL INEQUALITIES WITH UNILATERAL CONSTRAINTS arxiv: v [math-ph] 5 Nov 208 HERMANN DOUANLA AND CYRILLE KENNE Abstract. The article studies the reiterated homogenization of linear elliptic variational inequalities arising in problems with unilateral constrains. We assume that the coefficients of the equations satisfy and abstract hypothesis covering on each scale a large set of concrete deterministic behavior such as the periodic, the almost periodic, the convergence at infinity. Using the multi-scale convergence method, we derive a homogenization result whose limit problem is of the same type as the problem with rapidly oscillating coefficients.. Introduction Let be a bounded domain in R N (integer N 2) locally located on one side of its Lipschitz boundary. Let (ψ ε ) ε>0 be a sequence of functions in {u H (), γ 0 (u) 0 sur } (where γ 0 denotes the zero order trace operator on ) that satisfies ψ ε ψ 0 in H () as ε 0. (.) For fixed ε > 0, we define K ε = {v H 0 (); v ψ ε a.e., in }. Given f L 2 (), we study the asymptotic behavior (as 0 < ε 0) of the solution to the following variational inequality Find u ε K ε such that A(x, x ε, x ε 2 ) u ε(x) (v(x) u ε (x))dx f(x)(v(x) u ε (x))dx (.2) for all v K ε, where the matrix A = (a ij ) i,j N with rapidly oscillating coefficients satisfies the following hypotheses: for any i, j N, we have a ij L 2 (; B(R N y RN z )), (.3) a ij = a ji, (.4) and there exist two positive real constants α > 0 and β > 0 such that for almost all x and for all (y, z) R N y RN z α ξ 2 N a ij ξ i ξ j β ξ 2 ξ = (ξ i ) i N R N. (.5) i,j= Date: November, Mathematics Subject Classification. 76M50, 35B40, 35B27, 35Q35. Key words and phrases. deterministic homogenization, variational inequality, unilateral constraint, multiscale convergence.

2 2 HERMANN DOUANLA AND CYRILLE KENNE The problems of this form are usualy refered to as obstacle or unilateral problems [0]. Indeed, the set K ε in made up of functions constrained to stay on one side of and obstacle modeled by the function ψ ε. The problems of type (.2) ussually appears when modelling phenomena in plasticity theory, unilateral contact mechanics, economics, and engineering ([0, 3]). This type of problems may also arise in thermal diffusion problems or in biology, in the modeling of chemical flows in cells surrounded by semipermeable membranes [24]. Since the pioneering work of Signorini [22], the mathematical theory of variational inequalities with unilateral constrains has attracted the attention of a huge number of researchers ([3, 6, 0,, 3, 20, 23] and references therein). The limiting behavior of solutions to variational inequalities with constraints has also been studied by many scientists, see for exemple [4, 2, 2, 24] and references therein. But since the development of the theory of deterministic homogenization hinted in [27] and developed in e.g., [5, 7, 25], see also [8, 9, 9, 26] where it has been utilized, it hasn t been used to address the homogenization of variational inequalities. Our main result formulates as follows. Theorem.. For any ε > 0, let u ε be the unique solution to the variational inequality (.2) with the hypotheses (.), (.3)-(.5) and (3.). Then as 0 < ε 0, we have u ε u 0 in H0 ()-weak, and strongly in L2 (), where u 0 is the unique solution to the following homogenized variational inequality u 0 K 0, A (x) u 0 (v 0 u 0 ) dx f(v 0 u 0 ) dx, for all v 0 K 0, where, K 0 = {H0 (), v 0 ψ 0 a.e in } and where, for almost every x, the homogenized matrix is given by A (x) = M[A(I + z χ)(i + y θ)], the functions χ and θ being the solutions to the microscopic problem (4.3) and the mesoscopic problem (4.8), respectively, while M denotes the mean value operator. The paper is organized as follows: In Section 2 we briefly present the concepts of algebra with mean value and that of multiscale convergence. Section 3 deals with estimates and the passage to the limit while the main result is proved in Section 4. Finally, for the sake of simplicity, vector spaces are consider over R. 2. Algebras with mean value and multiscale convergence In this section, we recall the concept of algebra with mean value [25, 27] and that of multiscale convergence [, 6, 7, 25, 26]. A detail treatment of the results in this section may be found in [25]. 2.. Algebra with mean value. Let H = (H ε ) ε>0 be the action of R + (the multiplicative group of positive real numbers) on the numerical space R N defined by H ε (x) = x (x R N ) (2.) ζ(ε)

3 HOMOGENIZATION OF VARIATIONAL INEQUALITIES 3 where ζ is a strictly positive function of ε tending to zero together with ε. For u L 2 loc (RN ) and ε > 0, we defined u ε (x) = u(h ε (x)) (x R N ), (2.2) a function lying in L 2 loc (RN ). A bounded uniformly continuous real-valued function on R N possesses a mean value for H if the sequence (u ε ) ε>0 weakly* converges in L (R N ). An algebra with mean value for H (algebra wmv, in short) on R N is defined to be a closed subalgebra of the algebra of bounded uniformly continuous real-valued function on R N, BUC(R N ), which contains the constants, is translation invariant and is such that any of its element possesses a mean value. Now, Let A be an algebra wmv. The mean value of u A, denoted hereafter by M(u), writes as M(u) = lim u(y)dy (2.3) R + B R B R where B R stands for the bounded open ball in R N centered at the origin and with radius R, and B R denotes its Lebesgue measure. Indeed, let R be a positive number and set ζ(ε) = R. Then R + as ε 0. Since uε M(u) in L (R N )- weak*, we have u ε χ R N B dx M(U) B as R +, where B denotes the unit ball in R N and χ B its characteristic function. But u ε χ R N B dx = B u(rx)dx, and a change of variable y = Rx gives u(rx)dx = B B R N u(y)dy = u(y)dy, B B R B R B R and our claim is justified. We recall that given an algebra wmv A and a positive integer m 0, we define regular subalgebras of A by setting A m = {ψ C m (R N ) : D α ψ A, α = (α,, α N ) N N with α m}, where D α ψ =. For finite m the norm u m = sup yn α m D α ψ, makes A m a Banach space. We also define α ψ α y α N A = {ψ C (R N ) : D α ψ A, α = (α,, α N ) N N }, a Fréchet space when endowed with the locally convex topology defined by the family of norms m. Moreover the space A is dense in any A m (m N). As we are concerned in this work with reiterated homogenization, the notion of product algebra wmv will be useful. In this direction, we first recall some facts about vector-valued algebra wmv. Let F be a Banach space. We recall that BUC(R N ; F), the space of bounded uniform continuous functions u : R N F, is a Banach space when endowed with the following norm u = sup y R N u(y) F (u BUC(R N ; F)), where F stands for the norm in F. Let A be an algebra wmv, we denote by A F the space of functions of the form u i e i, u i A and e i F, finite where the function u i e i is defined by (u i e i )(y) = u i (y)e i for y R N. This being so, we define the vector-valued algebra wmv A(R N ; F) as the closure of A F in BUC(R N ; F).

4 4 HERMANN DOUANLA AND CYRILLE KENNE We can now introduce the notion of product algebra wmv. Let N and N 2 be two strictly positive integers and let A y and A z be two algebras wmv on R N y and R N2 z, respectively. The product algebra wmv of A y and A z is denoted by A y A z and defines as the vector-valued algebra wmv A y (R N y ; A z) ( A z (R N2 z ; A y). Obviously, A = A y A z is an algebra wmv on Ry,z N+N2. We recall that the vector-valued Marcinkiewicz space M 2 (R N ; F) is defined as the set of functions u L 2 loc (RN ; F) such that lim sup u(y) 2 F dy <. R + B R B R Endowed with the seminorm ( ) /2 u 2,F = lim sup u(y) 2 F R + B R dy, B R M 2 (R N, F) is a complete seminormed space containing A(R N, F). Next, the generalized Besicovitch space BA 2 (RN ) is defined to be the closure of the vector-valued algebra wmv A(R N ; F) in M 2 (R N ; F). Then the following holds true: (i) The mean value M : A(R N ; F) F extends by continuity to a continuous linear mapping (still denoted by M) on BA 2 (RN ; F) satisfying T (M(u)) = M(T (u)) for all T F and all u BA 2 (RN ; F). Moreover, for u BA 2 (RN ; F) we have u 2,F = [ M( u 2 F) ] [ 2 = lim R + ] u(y) 2 2 F dy B R B R (ii) Let N = {u BA 2 (RN ; F) : u 2,F = 0}. Then the quotient space BA 2 (RN ; F) = BA 2 (RN ; F)/N is a Banach space when endowed with the norm u + N 2,F = u 2,F for u BA(R 2 N ; F). Moreover, if F is a Hilbert space, then so is BA 2 (RN ; F) with inner product (u, v) 2 = M [(u, v) F ] for u, v B 2 A(R N ; F). (2.4) The standard case F = R is of particular interest. In this case we simplify the notations and write B 2 A (RN ), B 2 A (RN ) and 2 in place of B 2 A (RN ;R), B 2 A (RN ;R) and 2,R, respectively. Also, we recall that the space B,2 A (RN ) = {u B 2 A(R N ) : y u (B 2 A(R N )) N } endowed with the seminorm u,2 = ( u 2 ) 2, which is a complete seminormed space. Its Banach counterpart is defined as follows. B,2 A (RN ) = {u B 2 A(R N ) : y u (B 2 A(R N )) N }, where y = ( / y i ) i=,,n and / y i is defined by y i (u + N ) := u y i + N for u B,2 A (RN ). (2.5) It is important to note that / y i is also defined as the infinitesimal generator in the ith direction coordinate of the strongly continuous group T (y) : B 2 A (RN ) B 2 A (RN ); T (y)(u + N ) = u( + y) + N. Let us denote by : B 2 A (RN ) B 2 A (RN ) =

5 HOMOGENIZATION OF VARIATIONAL INEQUALITIES 5 BA 2 (RN )/N, (u) = u + N, the canonical surjection. B,2 A (RN ) then (u) B,2 A (RN ) with (see (2.5)) ( ) (u) u =. y i y i We remark that if u As pointed out in [9, Remark 2.3], if there exist translation invariant elements in the algebra wmv that are not constants, the result obtained after the homogenization process might be useless. Definition 2.. An algebra wmv A on R N is said to be ergodic if any u B 2 A (RN ) such that T (y)u = u for every y in R N, is a constant. Let us give some examples of algebra wmv. We denote by AP (R N ) the space of all Bohr almost periodic functions. The space AP (R N ) is the algebra of functions on R N that are uniform approximations of finite linear combinations of functions in the set {y cos(2πk y), y sin(2πk y), k R N }. It is well known that AP (R N ) is an ergodic algebra wmv called the almost periodic algebra wmv on R N. We also recall that C per (Y ) the space of continuous Y = (0, ) N periodic functions on R N is an ergodic algebra wmv on R N. The space B (R N ) of continuous functions on R N that converge at infinity is an ergodic algebra wmv. That is the space of all function u B(R N ) such that lim y u(y) R. In this case the mean value reduces to M(u) = lim y u(y). Now, owing to [9, Theorem 2.2], the following equalities holds: AP (R N y ) AP (R N2 z ) = AP (R N y R N2 z ), C per (Y ) C per (Z) = C per (Y Z) (with Y = (0, ) N and Z = (0, ) N2 ) and C per (Y ) AP (R N z ) = C per (Y ; AP (R N z )). Many more examples may be provided, see e.g., [7, Section 2.3] and [26, Section 3]. We assume in the sequel that all algebras wmv are ergodic. To the space BA 2 (RN ) we attach the following corrector space B,2 #A (RN ) = {u W,2 loc (RN ) : u B 2 A(R N ) N and M( u) = 0}. Two elements of B,2 #A (RN ) are identify by their gradients, viz, u = v in B,2 #A (RN ) if and only if (u v) = 0, i.e. (u v) 2 = 0. We may therefore equip B,2 #A (RN ) with the gradient norm u #,2 = u 2. This defines a Banach space [5, Theorem 3.2] containing B,2 A (RN ) as a subspace The multiscale convergence. Let A y (resp. A z ) be an ergodic algebra wmv on R N y (resp. RN z ) for the action H = (H ε ) ε>0 (resp. H = (H ε ) ε>0) of R + on R N given by H ε (x) = x ε (resp. H ε (x) = x ε ) and let A = A 2 y A z be their product, an algebra wmv on R N R N for the product action H = H H of R + on R 2N = R N R N given by H = (H ε ) ε>0, with ( y H ε (y, z) = ε, z ) ε 2 for y, z R N and ε > 0. The mean value on R N for the actions H, H and H are respectively denoted by M y, M z and M. Also, the letter E denote throughout an ordinary sequence of strictly positive real numbers admitting zero as accumulation point. Finally, let be throughout this section a nonempty open subset of R N.

6 6 HERMANN DOUANLA AND CYRILLE KENNE Definition 2.2. A sequence (u ε ) ε>0 L 2 () is said to weakly multiscale converge in L 2 () to some u 0 L 2 (; BA 2 (R2N )) if as E ε 0, we have u ε (x)v(x, x ε, x ε 2 ) dx M(u(x, )v(x, )) dx for every v L 2 (, A), where for a.e. x, v(x, )(y, z) = v(x, y, z) for (y, z) R N R N w ms. We express this by u ε u 0 in L 2 (). Definition 2.3. A sequence (u ε ) ε>0 L 2 () is said to strongly multiscale converge in L 2 () to some u 0 L 2 (; BA 2 (R2N w ms )) if as E ε 0, we have u ε u 0 s ms and u ε L2 () u 0 L 2 (;BA 2 )). We express this by u (R2N ε u 0 in L 2 (). Without the following compactness theorems, the multiscale convergence theory would be of no interest. Theorem 2.. Let (u ε ) ε E be a bounded sequence in L 2 (). Then there exist a subsequence E of E and a function u L 2 (; BA 2 (R2N w ms )) such that u ε u 0 in L 2 () as E ε 0. Theorem 2.2. Let (u ε ) ε E be a bounded sequence in H (). Then there exist a subsequence E of E and a triple u= (u 0, u, u 2 ) H () L 2 (; B,2 (R N )) L 2 (; B 2 A y (R N y ; B,2 #A z (R N ))) such that, as E ε 0, and u ε x j u ε u 0 in H () weak (2.6) w ms u 0 x j + u y j + u 2 z j in L 2 () ( j N). (2.7) 3. Estimates and passage to the limit The homogenization procedure starts with a boundedness result for the sequence (u ε ) ε>0. The passage to the limit requires a structural hypothesis. In addition to (.) and (.3)-(.5), we assume that for almost all x ( ) N N A(x) BA 2 y A z, (3.) where A y and A z are ergodic algebras wmv on R N y A y A z is the product algebra wmv of A y and A z. Proposition 3.. The sequence (u ε ) ε>0 is bounded in H 0 (). and R N z, respectively, and Proof. Let ψ ε + = max(ψ ε; 0) = 2 (ψ ε + ψ ε ), then ψ ε + K ε. Moreover, since ψ ε converges strongly in H (), there exists a constant C > 0 such that ψ ε + H 0 () C. Taking v = ψ ε + in (.2), we get A(x, x ε, x ε 2 ) u ε(x) (ψ ε + (x) u ε (x))dx f(x)(ψ ε + (x) u ε (x))dx, from which we deduce A(x, x ε, x ε 2 ) u ε u ε dx A(x, x ε, x ε 2 ) u ε ψ + ε dx + f(u ε ψ + ε )dx.

7 HOMOGENIZATION OF VARIATIONAL INEQUALITIES 7 Thus α u ε 2 L 2 () A(x, x N ε, x ε 2 ) u ε ψ ε + dx + f(u ε ψ ε + )dx ( f L 2 () ψ + ε L 2 () + u ε L ()) 2 + C uε L2 () N ψ+ ε L 2 () N Taking δ = 2C 2 α f L 2 () ( C + u ε L 2 ()) + C uε L 2 () N f L2 () ( C + C 2 u ε L2 ()) + C uε L 2 () N C f L 2 () + C 2 f L 2 () u ε L 2 () + C u ε L2 () [ ] N δ 2 C f L 2 () + C 2 2 f 2 L 2 () + δ 2 2 u ε 2 L 2 () N [ ] θ 2 +C 2 + θ 2 2 u ε 2 L 2 () (Young s inequality with (δ, θ) (R N + )2 ) δ 2 C 2 2 u ε 2 L 2 () + C θ 2 N 2 u ε 2 L 2 () + C δ 2 N 2 2 f 2 L 2 () +C f L2 () + C θ2 2. and θ = 2C α, we obtain α u ε 2 L 2 () N α 4 u ε 2 L 2 () N + α 4 u ε 2 L 2 () N + K, where K = C f L2 () + C2 2 α f 2 L 2 () + C2 α. Hence, we are led to u ε L2 () N 2K α, and the proof is completed. The dependence on ε of the closed convex set K ε appearing in the problem (.2) is a problem with respect to the limit passage. The problem (.2) need to be reformulated. Let us introduce the following space K = {v H (); v 0 a.e in }. It is straightforward that u ε K ε is a solution to (.2) if and only if û ε = u ε ψ ε K solves the following problem: Find û ε K such that A ε (x) (û ε (x) + ψ ε (x)) (ˆv ε (x) û ε (x))dx f(x)(ˆv ε (x) û ε (x))dx for all ˆv ε K. (3.2) We need the following spaces in the sequel: V := H () L 2 (; B,2 (R N )) L 2 (; B p A y (R N y ; B,2 #A z (R N ))), and K 2 = {(v 0, v, v 2 ) V; v 0 0 a.e in } K 3 = {(v 0, v, v 2 ) V; v 0 ψ 0 a.e in }.

8 8 HERMANN DOUANLA AND CYRILLE KENNE Theorem 3.. There exist a triple (u 0, u, u 2 ) V and a subsequence E of E such that as E ε 0, u ε u 0 in H ()-weak, (3.3) u ε w ms u 0 + y u + z u 2 in L 2 () N. (3.4) Moreover, the triple (u 0, u, u 2 ) V is the unique solution to the variational inequality Find (u 0, u, u 2 ) K 3 such that M[A( u 0 + y u + z u 2 ) ( (v 0 u 0 )+ y (v u )+ z (v 2 u 2 ))]dx f(v 0 u 0 )dx for all (v 0, v, v 2 ) K 3. (3.5) Proof. The sequence (û ε ) ε E is bounded in H () because (u ε ) ε E is bounded in H () and (ψ ε ) ε E converges strongly in H (). Therefore, according to Theorem 2.2, there exist a triple (û 0, û, û 2 ) V and a subsequence E of E such that û ε û 0 in H ()-weak, w ms û ε û 0 + y û + z û 2 in L 2 () N. Indeed, û 0 0 almost everywhere in so that (û 0, û, û 2 ) K 2. Now let ˆv 0 C0 (), ˆv C0 () A y and ˆv 2 C0 () A, with ˆv 0 0, and define ˆv ε (x) = ˆv 0 (x) + εˆv (x, x ε ) + ε2ˆv 2 (x, x ε, x ), (x, ε > 0). ε2 We assume that ˆv ε (x) 0 for all x, if not we may consider ε small enough to have it. We have ˆv ε (x) = ˆv 0 (x) + ε xˆv (x, x ε ) + yˆv (x, x ε ) + ε2 xˆv 2 (x, x ε, x ε 2 ) +ε yˆv 2 (x, x ε, x ε 2 ) + zˆv 2 (x, x ε, x ε 2 ) and we recall that as ε 0 the following convergence takes place s ms ˆv ε ˆv 0 + yˆv + zˆv 2 in L 2 () N. Passing to the limit as E ε 0 in problem (3.2) yields (û 0, û, û 2 ) K 2 : M[A( û 0 + y û + z û 2 + ψ 0 ) ( (ˆv 0 û 0 ) + y (ˆv û ) + z (ˆv 2 û 2 ))] dx f(ˆv 0 û 0 )dx for all (ˆv 0, ˆv, ˆv 2 ) K 2. But, the change of variables u 0 = û 0 + ψ 0, u = û and u 2 = û 2 show that the above problem appears to be equivalent to the problem (3.5). Hence, the triple (u 0, u, u 2 ) V is a solution to the variational inequality (3.5). By means of the Stampacchia s lemma it is actually its unique solution.

9 HOMOGENIZATION OF VARIATIONAL INEQUALITIES 9 4. Main result: Macroscopic problem In order to derive the macroscopic problem, we need to formulate the microscopic and mesoscopic ones. 4.. Microscopic problem. Taking v 0 = u 0 and v = u in (3.5), we get M [A(x, y, z)( u 0 + y u + z u 2 ) z v 2 ] dx 0 for all v 2 L 2 (; BA 2 y (R N y ; B,2 #A z (R N ))). Since L 2 (; BA 2 y (R N y ; B,2 #A z (R N ))) is a vector space, we obtain the following variational equation M [A(x, y, z)( u 0 + y u + z u 2 ) z v 2 ] dx = 0 (4.) for all v 2 L 2 (; BA 2 y (R N y ; B,2 #A z (R N ))). Now we take v 2 = ϕ ω with ϕ C0 () A y and ω A z, and realize that for almost all (x, y) R N, the function u 2 (x, y) B,2 #A z (R N ) solves the following problem { Mz [A(x, y, z) z u 2 z ω] = M z [A(x, y, z)( u 0 + y u ) z ω] for all ω A z. (4.2) This being so, for almost all (x, y) R N we introduce the following microscopic problem: χ j χ j (x, y) B,2 #A z (R N ) such that [ M z A(x, y, z) z χ j z ω ] [ N ] = M z k= a jk ω z k for all ω B,2 #A z (R N ) (4.3) which possesses a unique solution. Setting χ = (χ j ) j N, it is easy to check that the function (x, y, z) χ(z)( u 0 (x) + y u (x, y)) is a solution to (4.2). Therefore by uniqueness of the solution to (4.2), it holds allmost everywhere in R N R N that u 2 = χ ( u 0 + y u ). Letting ( z χ) ij = χj ( i, j N), we may then z i write z u 2 (x, y, z) = [ z χ(z)] ( u 0 (x) + y u (x, y)) (4.4) for almost every (x, y, z) R N R N. We are now in a position to upscale to the mesoscopic scale Mesoscopic problem. Taking v 0 = u 0 and v 2 = u 2 in (3.5), we are led to M [A(x, y, z)( u 0 + y u + z u 2 ) z v ] dx = 0 (4.5) for all v L 2 (; B,2 (R N )). Choosing v = ϕ ω with ϕ C0 () and ω A y in (4.5), it appears that for almost all x, u (x) is a solution to the following problem u (x) B,2 (R N ), M[A(x, y, z)(i + z χ)( u 0 + y u ) y ω] = 0 (4.6) for all ω A y,

10 0 HERMANN DOUANLA AND CYRILLE KENNE which also writes u (x) B,2 (R N ), M y [Ã(x, y) yu y ω] = M y [Ã(x, y) u 0 y ω] for all ω A y. (4.7) Where Ã(x, y) = M z[a(x, y, z)(i + z χ)] is the well-known symmetric positivedefinite averaged matrix. For almost all x R N, we introduce the mesoscopic problem: Find θ j B,2 (R N ) such that M y [Ã yθ j y ω] = M y [ N ω k= ãkj for all ω B,2 (R N ). y k ], (4.8) and recall that it possesses a unique solution. It is not difficult to check that the function (x, y) θ(y) u 0 (x) is also a solution to (4.7), so that almost everywhere in R N, it holds by uniqueness of the solution to (4.7) that u (x, y) = θ(y) u 0 (x). With the matrix notation, ( y θ) ij = θj y i, ( i, j N), it follows that y u (x, y) = y θ(y) u 0 (x) a.e in (x, y) R N (4.9) 4.3. Homogenization result: Macroscopic problem. Let K 0 = {H0(), v 0 ψ 0 a.e in }. Choosing v 2 = u 2 and v = u in (3.5) leads to M[A( u 0 + y u + z u 2 ) (v 0 u 0 )] dx f(v 0 u 0 ) dx, (4.0) for all v 0 K 0, which rewrites using (4.4) and (4.9) as M[A(I + z χ)(i + y θ) u 0 (v 0 u 0 )] dx for all v 0 K 0. f(v 0 u 0 ) dx, (4.) It is classical that the matrix M[A(I + z χ)(i + y θ)] is symmetric and positivedefinite [2]. Thus, the problem (4.) admits a unique solution so that the whole fundamental sequence (u ε ) ε E weakly converges to u 0 in H0 (). The arbitrariness of the fundamental sequence E implies the convergence of the generalized sequence (u ε ) ε>0. This end the proof of our main result. Theorem 4.. For any ε > 0, let u ε be the unique solution to the variational inequality (.2) with the hypotheses (.), (.3)-(.5) and (3.). Then as 0 < ε 0, we have u ε u 0 in H0()-weak, and strongly in L 2 (), where u 0 is the unique solution to the following homogenized variational inequality u 0 K 0, A (x) u 0 (v 0 u 0 ) dx f(v 0 u 0 ) dx, (4.2) for all v 0 K 0, where, for almost every x, the symmetric positive-definite homogenized matrix is given by A (x) = M[A(I + z χ)(i + y θ)], the functions χ and θ being the solutions to the microscopic problem (4.3) and the mesoscopic problem (4.8), respectively.

11 HOMOGENIZATION OF VARIATIONAL INEQUALITIES References [] G. Allaire and M. Briane; Multiscale convergence and reiterated homogenization, Proc. R. Soc. Edingurgh Sect. A 26 (996), [2] A. Bensoussan, J.L. Lions and G. Papanicolaou, Asymptotic analysis for periodic structures, NorthHolland, Amsterdam, 978. [3] H. Brézis, Problèmes unilatéraux, J. Math. Pures Appl. 5, (972) -68. [4] L. Caffarelli and A. Mellet, Random homogenization of fractional obstacle problems. Networks and Heterogeneous Media, 3 (2008) [5] J. Casado Diaz and I. Gayte, The two-scale convergence method applied to generalized Besicovitch spaces. Proc. R. Soc. Lond. A 458 (2002), [6] C. Conca, F. Murat and C. Timofte, A Generalized Strange Term in Signorini s Type Problems, ESAIM: Modél. Math. Anal. Numér. (M2AN) 37(2003), [7] H. Douanla and N. Svanstedt, Reiterated homogenization of linear eigenvalue problems in multiscale perforated domains beyond the periodic setting, Commun. Math. Anal. (20), [8] H. Douanla, G Nguetseng and JL Woukeng, Incompressible viscous Newtonian flow in a fissured medium of general deterministic type, Journal of Mathematical Sciences 9 (203) [9] H. Douanla and J.L. Woukeng, Almost periodic homogenization of a generalized Ladyzhenskaya model for incompressible viscous flow, Jounal of Mathematical Sciences 89 (3), [0] G. Duvaut and J. L. Lions,Les inéquations en mécanique et en physique, Dunod, Paris, 972. [] G. Fichera, Problemi elastostatici con vincoli unilaterali: il problema di Signorini con ambigue condizioni al contorno, Mem. Accad. Naz. Lincei, Serie 8, 7, (964) [2] M. Focardi, Homogenization of Random Fractional Obstacle Problems via Gamma- Convergence, Communication in Partial Differential equations, 34 (2009) [3] N. Kikuchi and J. T. Oden, Contact Problems in Elasticity : A Study of Variational Inequalities and Finite Element Methods, SIAM, Philadelphia, 988. [4] J.L. Lions and G. Stampacchia, Variational inequalities, Comm. Pure Appl. Math. 20 (967) [5] D. Marcon, J.F. Rodrigues and R. Teymurazyan, Homogenization of obstacle problems in Orlicz-Sobolev spaces, Preprint, arxiv: [math.ap]. [6] G. Nguetseng; A general convergence result for a functional related to the theory of homogenization, SIAM Journal on Mathematical Analysis, 20 (989) [7] G. Nguetseng, Homogenization structures and applications I, Z. Anal. Anwen. 22 (2003) [8] G. Nguetseng, M. Sango, J.L. Woukeng, Reiterated ergodic algebras and applications, Commun. Math. Phys. 300 (200) [9] G. Nguetseng, R.E. Showalter and, J.L. Woukeng, Diffusion of a single-phase fluid through a general deterministic partially-fissured medium, Electron. J. Differ. Equ. 204 (204), No. 64, pp [20] E. S. Palencia, Non homogeneous media and vibration theory, Lectures Notes in Phys. vol. 27, Springer-Verlag, Berlin, 980. [2] G.V. Sandrakov, Homogenization of nonlinear equations and variational inequalities with obstacles, Doklady Mathematics 73 (2006) [22] A. Signorini, Sopra alcune questioni di Elastostatica, Atti della Soc. Ital. per il Progresso delle Scienze, 933. [23] A. N. Tikhonov and A. A. Samarskii; Equations of Mathematical Physics, Nauka, Moscow, 977. [24] C. Timofte, Upscaling of variational inequalities arising in nonlinear problems with unilateral constraints, Z. Angew. Math. Mech. 87 (2007) [25] J.L. Woukeng, Homogenization in algebras with mean value, Banach J. Math. Anal. 9 (205) [26] M. Sango, N. Svanstedt, J.L. Woukeng, Generalized Besicovitch spaces and application to deterministic homogenization, Nonlin. Anal. TMA 74 (20) [27] V.V. Zhikov, E.V. Krivenko, Homogenization of singularly perturbed elliptic operators, Matem. Zametki 33 (983) (english transl.: Math. Notes, 33 (983) ).

12 2 HERMANN DOUANLA AND CYRILLE KENNE Hermann Douanla, Department of Mathematics, University of Yaounde, P.O. Box 82, Yaounde, Cameroon address: Cyrille Kenne, Department of Mathematics, University of Yaounde, P.O. Box 82, Yaounde, Cameroon address: