A NNALI DELLA
S CUOLA N ORMALE S UPERIORE DI P ISA Classe di Scienze
H. A TTOUCH
G. B UTTAZZO
Homogenization of reinforced periodic one-codimensional structures
Annali della Scuola Normale Superiore di Pisa, Classe di Scienze 4
esérie, tome 14, n
o3 (1987), p. 465-484
<http://www.numdam.org/item?id=ASNSP_1987_4_14_3_465_0>
© Scuola Normale Superiore, Pisa, 1987, tous droits réservés.
L’accès aux archives de la revue « Annali della Scuola Normale Superiore di Pisa, Classe di Scienze » (http://www.sns.it/it/edizioni/riviste/annaliscienze/) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utilisa- tion commerciale ou impression systématique est constitutive d’une infraction pénale.
Toute copie ou impression de ce fichier doit contenir la présente mention de copyright.
Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques
http://www.numdam.org/
Periodic One-Codimensional Structures
H. ATTOUCH - G. BUTTAZZO
1. Introduction
Periodic reinforced structures
play
animportant
role in modemtechnology:
stratified, alveolar,
fibred reinforced materials arefrequently
used in civilengineering,
aeronautics...Such structures are characterized
by
thegeometrical properties
of thereinforced zone
(especially
its"codimension")
andby
three parameters:e the
period
of the structure,r the "thickness" of the reinforced zone,
A the
physical parameter (conductivity, elasticity coefficient)
of the reinforced zone.
Typically,
for such structures, e is small withrespect
to the size of theglobal
structure, r is small withrespect
to e, and A islarge
withrespect
to thesurrounding (non reinforced)
material.The
macroscopic
behaviour of such material is describedby
meansof the
asymptotic analysis (called homogenization
andreinforcement)
of theconstitutive
(which
we take second order linearelliptic) equations
asWe focus our attention here on the case of one-codimensional reinforced structures
(stratified, alveolar...),
the case of fibres in dim 3(two
codimensionalstructures) being
much more involved(cf.
Attouch - Buttazzo[22],
paper inpreparation),
one reasonbeing
that a one-codimensional manifold has astrictly positive capacity
while a two-codimensional one has zerocapacity!
For such one-codimensional reinforced structures we show the existence of a critical
ratio
andcompute, depending
on the limit of~,
the limithomogenized-reinforced
material.(We
stress the fact that our results hold without any restriction on theshape
of the reinforcedzone).
Pervenuto alla Redazione il 5 novembre 1986.
This
asymptotic analysis
isperformed by
means ofr-convergence method,
the solutionsbeing expressed
as minimizers of thecorresponding
energy functionals.By
the way, convergence of theenergies
and of the momentum(dual solutions)
are also obtained. The effective coefficients areexplicitely computed (in
the- lastsection)
for some structures ofparticular interest,
thereinforced-homogenized
formula(5.1) being proved
efficient and flexible for numericalcomputation.
Let us
finally
mention somerecent
related works where someaspects
of theabove
problem
are considered: Chabi[11 ] (stratified structure),
Cioranescu-Saint Jean Paulin[12] (first e
--~0,
then(r,A)
-(0, +oo)
for structures withparticular _ symmetries),
Bakhvalov-Panasenko[3] (formal asymptotic expansions),
andCaillerie
[9].
2. Statement of the result
Let n be a bounded open subset of R" with a
Lipschitz boundary;
wewant to
study
theconductivity problem
in H(with
agiven charge density)
when many thin
highly
conductivelayers
areperiodically
distributed in it.More
precisely,
let Y =[0, l[n
be the unit cube in and let S c Y bea smooth
(or piecewise smooth) n -
1 dimensional surface.For every c >
0,
r >0, A
> 0 set(see figure 1)
Fig.
1and consider the functional defined on
by
The functional
F.,r,). (u) represents
the electrostatical energy of thebody
f2
(subjected
to thepotential u)
when theperiodically
distributedlayers
are
supposed
to have aconductivity
coefficient A.Given a
charge density 9
EL2(0),
we want tostudy
theasymptotic
behaviour
(when e
--~0,
r --~0,
A -+oo)
of the solutions ug,,r,a of the variationalproblems
and to characterize the limit of as the solution u of a new variational
problem
The
problem
is then reduced to the identification of the r-limit F of the functionals defined in(2.1). Indeed, by
well-known results(see Proposition 2.1)
thisimmediately implies
the convergence of to u.For
simplicity,
in thefollowing
we shall oftenomit
the limit variable in theexpressions lim,
liminf,
lim sup.,-
For the reader’s convenience we recall the definitions of r-limits
(further
information can be found for instance in Attouch
[ 1 ],
Buttazzo[5],
Buttazzo-Dal Maso
[6],
Carbone-Sbordone[10],
DeGiorgi [14],
DeGiorgi-tiranzoni [15]
and in referencesquoted there).
_Let X be a metric space and let
F, :
X -R(e
>0)
be afamily
offunctionals. For any ac E X we define
Finally,
we say thatFs r(X)-converges
at thepoint ac
E X ifand this common value is denoted
by
It ispossible
to prove that the infima in(2.2), (2.3)
areactually minima,
so thatFs r(X)-converges
to F at x if and
only
ifThe link between
r-convergence
and Calculus of Variations isgiven by
the
following proposition (see
referencesquoted above).
PROPOSITION 2.1. Assume that
F; r(X)-converges
to F at anypoint
x E Xand that
F,
areequi-coercive,
that isfor
any t E ll~ there exists a compact subsetKt of
X such thatThen we have:
i)
thefunctional
F admits a minimum on X andmin
x xF =lim [inf F.];
ii) if
x. --+ Y is such that limF.(x.)
= lim[inf F,],
then z is a minimum, x
point for
F onX;
iii) if
G : X --,, lI~ iscontinuous,
then G + F =r(X) lim~G +~ Fe~.
’Now,
we come back to our functionalsFe,,., a
defined in(2.1 ).
Theproblem
we are interested
in,
is the characterization of ther(L2 (0) )-limit
ofFs,,.,a
whenthe three
parameters
E, r, A tend to0, 0,
+oosimultaneously.
This r-limitactually depends
on the way the threeparameters
go to0, 0,
+oorespectively.
Infact,
our result is the
following,
where is the n - 1 dimensional Hausdorff measure, W is the space of all functions in which areY-periodic,
and
DTv
denotes thetangential
derivative of v on STHEOREM 2.2. Assume that
~r --~
k > 0. Then there exists apositive definite, symmetric quadratic form
onsuch that:
i) for
every u E there existsr(L2(n))
lim =F (u);
ii)
we haveF(u) = f f (Du)dx for
everyu E H1(O);
0
iii)
thefollowing represention formula for f
holds:REMARK 2.3. From Theorem 2.2 and
Proposition
2.1 it follows that forevery 9 E and a > 0 the solutions u.,r,~ of the
problems
converge in
L2(0)
to the solution u ofBy
well-knownr-convergence arguments (see
for instance Attouch[1],
Buttazzo-Dal Maso
[6],
Carbone-Sbordone[10],
Marcellini[18])
we can prove that the same conclusion holds if u.,r,~ and u arerespectively
solutions ofThe
r(L2(0))-limit
of the functionals has beenstudied,
in differentsituations, by
several authors. Forexample,
when Å is fixed and r goes to zero with the same order as ewith f -~ 4~
then the limitanalysis
is classic(see
for instance
Bensoussan-Lions-Papanicolaou [4],
Marcellini[18])
and the limit functional iswhere the
quadratic
formf>
isgiven by
the so-calledhomogenization
formulaOn the
contrary,
if e is fixed and r goes to zero with the same order asI /A
with Ar -ek,
then the limits functional is(see
for instance Attouch[1],
Carbone-Sbordone
[10],
Sanchez-Palencia[19])
Our Theorem 2.2
permits
to calculate the r-limits of the functionalsFo,o,a
and defined in
(2.6), (2.7) respectively;
infact,
thefollowing
result holds(see
also Cioranescu-Saint Jean Paulin[12]).
THEOREM 2.4.
Indicating by
F theFE,,.,a
when e --~ 0,r 2013~
0,
A 2013~ k, we have:i)
F(as
À ~+00);
ii)
F -~0).
PROOF. Since all functionals we consider are
L2 (n)-equicoercive,
ther(L2 (fl))-convergence
is inducedby
acompact
metric d(see
Attouch[ 1 ],
DeGiorgi [13,14],
DeGiorgi-Franzoni [15]).
By
the classichomogenization result,
for every A > 0 we can find asuch that
setting
r= ¥
we haveTheorem 2.2
implies
that to F(as
A -+oa), hence, by
thetriangle inequality
and this proves
i).
Theproof
ofii)
isanalogous..
3. Proof of the result
In all this section we denote
by
w - the weaktopology
ofHI (0),
and
by
c anarbitrary positive
constant; thequantities E,
r, A aresupposed
to tendto
0, 0,+oo respectively,
with~r --~ k
E[0, +00[.
When there is noambiguity
we shall write Ws instead of Us instead of ... The
following
lemmawill be useful.
LEMMA 3.1.
Let we -
0 in w - then = 0.PROOF. For
simplicity,
denoteby 11
thequantity
and let u be a smooth function. For every y E Y we havewhere is the
point
on ,S of least distancefrom y,
and v is the unit normal vector to s at thepoint
~.By integration
weget
The continuous
imbedding
ofHI(y)
intoL2(S) gives
so
that, by (3.1 )
Setting v(y)
=u(y/E)
andperforming
thechange
of variables x = sy we obtainwhere the constant c
depends only
on S. Formula(3.2)
holds for every celle(Y
+y)
with y so thattaking
the sum on all cells contained in f2 onehas for every smooth function v
Formula
(3.3)
can be extendedby
adensity argument
to all functions v E H1(0),
so that if we - 0 in w - we
get
lim sup
Denote
by
!1 the class of all open subsets of 11. Forevery A
andevery u E HI
(A)
setLEMMA 3.2. There exists a constant c > 0 such that
for
every A E A andu E
-
PROOF. Since
F+ (., A)
isL2 (A)-lower
semicontinuousand u -- f IDul2dx
A
is
HI (A)-continuous,
we may reduce ourselves to prove the assertion when u is a smooth function. In this case setwhere
a(z)
is thepoint
onS,
of least distance from x. Then(3.4) F+ (u, A) !5
lim supF~,,.,a (u~,,., A)
Moreover,
since u is smooth(take u Lipschitz
with constantL)
which tends to zero.
Let us
finally
consider the termAssuming u
EC Z
we first obtainHence
lim sup
Applying inequality (3.3)
of Lemma 3.1 to v = Du we obtainCombining
these two lastinequalities
Thus, by (3.4), (3.5), (3.6)
we obtainREMARK 3.3. It follows in a
straight
way from Lemma 3.2that,
whenthat
is,
thehighly
conductivelayers
have anegligible macroscopic
effect.This result can also be obtained
(see
Attouch[1],
Carbone-Sbordone[10]) by noticing
that in that caseIndeed f p (1
+HN_1 (s) . t),
the casear --~
k E]0, +oo[
o
’ ’
corresponds
to thefollowing property:
"the sequence a.,r,À is bounded in but not
equiintegrable".
Let us now examine the
properties
of F+(u, .)
and F-(u, .).
LEMMA 3.4. Let
A,
B bedisjoint,
and let u E HI(A
UB).
ThenPROOF. It follows
straightforward
from the definition ofF- (u, ~) ~
LEMMA 3.5.
Let A, B, C
E It with C cc A U B, and let u E UB).
Then
PROOF.
Let Us
- u inand ve
-+ u inL2(B)
be such thatSince we may assume that
F+ (u, A)
andF+ (u, B)
arefinite,
we haveLet p
Eego (A)
be such that0 ~
1and p
= 1 in aneighbourhood
ofC -
B,
and defineu in
L2(C)
and we have forevery t
E~0,1~ [
so that
where is a constant
depending
on p. Since u,and v«
converge to u inL2(A n B)
we have I-moreover,
taking
into account(3.8),
Lemma 3.1yields
Therefore, using (3.7), (3.9)
weget
and,
since t E]o,1 [
wasarbitrary,
theproof
is achieved..REMARK 3.6. In a similar way we can prove that for every
A,
B E A withB c c
A,
and for everycompact
subset K of Bfor every u E
HI(A). By
Lemma 3.2 thisimplies
thatIn order to prove Thorem 2.2 we have to show that for all u E
HI (0)
where
f
is thequadratic
form defined in(2.5).
PROOF of PART
a). By
a standarddensity argument
it isenough
to provea) only
for a dense class in say thepiecewise
affinefunctions;
moreover,by
Lemma3.5,
Remark3.6,
and Lemma3.2,
we may reduce ourselves to consideronly
linear functions.Thus,
let~(x) _
z, x > with ze Rn;
ourgoal
is to prove that
Let wE,,.,a be the solution of the
problem
and let
By
Poincareinequality,
andby taking
w = 0 in(3.11)
weget
so that
Hence ve,r,À tends to u in
L2(0). Now,
we obtainSince
r/e
-~ 0 it is known(see
Attouch[1 ],
Carbone-Sbordone[10],
Sanchez-Palencia[19])
that the functionals converge to the functionalso that
Therefore, by (3.14)
and(3.15)
and
(3.10)
isproved. *
PROOF of PART
b).
As inpart a),
it isenough
to proveb)
for allpiecewise
affine
functions;
moreover,by
Lemma 3.4 we may reduce ourselves to consideronly
linear functions.Thus,
letu(x) =
z, x > with z E and let(u,,,,,B)
be a
given family converging
to u inL2(0).
Ourgoal
is to prove thatIf the
right-hand
side is +oo,(3.16)
isobvious; otherwise,
we may assume that(ua
stands foru~,,.,a)
hence u,
- uweakly
in Define Vø,r,Å as in(3.12),
andlet p
Ebe such that
0 ~
1. Then we have .As in the
proof
ofpart a)
weget
Moreover,
since = 0,integrating by parts
Recalling (3.13)
and(3.17), by
Lemma 3.1so
that, by (3.18), (3.19), (3.20)
lim inf ,
and, since p
wasarbitrary, (3.16)
isproved
THEOREM 3.7. Let us consider
where
and A is a
symmetric, positive definite
matrix with continuouscoefficients.
Theconclusions
of
Theorem 2.2 still hold with thefollowing formula for f :
where the matrix B is related to A via the
following formula:
(v is
the normal vector toS).
PROOF of THEOREM 3.7. The
proof
isquite
similar to theproof
ofTheorem
2.2,
theonly
modificationcoming
from formulae(3.23)
and(3.24)
which extend to the case of a matrix A
(instead
of theidentity)
the formula(3.15) (see
Acerbi-Buttazzo-Percivale[21]).
4.
Convergence
of Dual VariablesThe dual variables
(momentum)
whoseexpression
isplay
animportant
role too(in
theelasticity mo4el
= stress tensor, in elec-trostatics = current
field...) (see (2.1 )...
for the definition ofu6,,., a ).
Theconvergence of cannot be obtained
directly
from the convergence of a.,r,Å and U.,r,Å since E]0,
The idea is to express U .,r,), as solution of a dual minimization
problem.
Following
classicalduality approach
via’perturbation
functions(in
the convexsetting)
let us introducewhere the
perturbation
variable r is taken inCo (0).
Themarginal
functionh,,,,.x
isgiven by
and o~~,,., a is solution of
For
e, r, A
fixed a,,r,, isclearly
in but one cannotexpect
the sequence~‘,,.,a to be bounded better than in This is made clear
by
thefollowing majorization (resp. minorization)
ofh,,,,.B (resp.
which in turn
implies
Thus,
in order tostudy
the convergence of the sequence(~~,,.,a) by
means ofr-convergence
method we have to prove the(4.7) of
the sequence .(see Proposition 2.1).
’ ’
From the
continuity properties
of theLegendre-Fenchel
transform withrespect
to
r-convergence (see
Attouch[ 1 ]
and moreprecisely
Aze[2]
in this nonreflexive
setting), property (4.7)
isequivalent
to theThe
equi-local Lipschitz property
of this sequence( hs,,., a )
onC ° (this
is adirect consequence of
(4.5))
makes ther(s - C°)
convergence beequivalent
topointwise
convergence;using again
the variationalproperties
ofr-convergence
and the definition of
h,,,.,,B,
the finalproblem
is:(4.9) for
every r ECO fixed, study
ther(s -
of (F.,r,Å (., r)).
This is solvedby
thefollowing
theorem:THEOREM 4.1.
i)
For every r ECO fixed
there existswhere
f
isgiven by
thehomogenization formula (2.5) of
Theorem 2.2.COROLLARY 4.2. The
following
convergence holds:where u =
A(Du),
u is the solutionof
the limithomogenized problem
andA =
a f
is thehomogenized
matrix associated to thequadratic form f (see (2.5)).
5. Some
examples
In
previous
sections wecomputed
the r-limit of thefamily
of functionalsA similar result can be obtained if the
conductivity
coefficient in 0 is assumed to beequal
to 6 >0,
thatis,
theapproximating
energy functionals areIf 5 is very
small,
the limit energy is closeto f
where thequadratic
n
form
f
isgiven by
If the dimension n is
equal
to2,
formula(5.1) permits
someexplicit
calculations.In
fact,
in this case ,S is a(assume
it isparametrized by
thecurvilinear abscissa
s),
sothat, indicating by
L thelength
of 1, formula(5.1 )
becomes
where the minimum is taken over all functions w
satisfying
theperiodicity
conditions. An
analogous
formula holds if ,S is the union offinitely
manycurves ïi
(s) (i
=1, ~ ~ ~ , N):
The
advantage
of formula(5.2)
is that it is very easy tocompute;
infact,
the necessary conditions for minimumgive
’
where ci are constants which can be obtained from the
periodicity
conditions.Then
(5.2)
becomesWe show now three
examples
of two-dimensional net structures for which wemade this calculation.
Fig.
2Unitary
cell Network structureFig. 3 Unitary
cell Network structureFig. 4 Unitary
cellAfter some
elementary
calculations weget:
Network structure
in
example
offigure
2in
example
offigure
3in
example
offigure
4REFERENCES
[1]
H. ATTOUCH, Variational Convergence for Functions and Operators . Pitman,Appl.
Math. Ser., Boston (1984).
[2]
D. AZE, Homogénéisation primale et duale par epi-convergence. Applications àl’élasticité. Publications A V AMAC 84-06, Université de
Perpignan,
Perpignan (1984).[3]
N.S. BAHVALOV - G.P. PANASENKO, Averaged processes in periodic media. Moscow, Nauka 1984 (in russian).[4]
A. BENSOUSSAN - J.L. LIONS - G. PAPANICOLAOU, Asymptotic Analysis for PeriodicStructures. North-Holland, Amsterdam (1978).
[5]
G. BUTTAZZO, Su una definizione generale dei 0393-limiti. Boll. Un. Mat. Ital., 14-B (1977), 722-744.[6]
G. BUTTAZZO - G. DAL MASO,0393-limits of integral
functionals. J. Analyse Math., 37(1980),
145-185.[7]
G. BUTTAZZO - G. DAL MASO, Singular perturbation problems in the calculus ofvariations. Ann. Scuola Norm.
Sup.
Pisa Cl. Sci., 11 (1984), 395-430.[8]
G. BUTTAZZO - G. DAL MASO, Integral representation and relaxation of local functionals. Nonlinear Anal., 9 (1985), 515-532.[9]
D. CAILLERIE, Etude de la conductivité stationnaire dans un domaine comportantune répartition périodique d’inclusions minces de
grande
conductivité. RAIRO Anal.Numér., 17 (1983), 137-159.
[10]
L. CARBONE - C. SBORDONE, Some properties of 0393-limits of integral functionals.Ann. Mat. Pura
Appl.,
122 (1979), 1-60.[11]
E.H. CHABI, Homogénéisation de structures présentant de nombreuses inclusions(strates, fibres) fortement conductrices. Thèse, Université de
Perpignan, Perpignan
(1986).[12]
D. CIORANESCU - S.J. PAULIN, Reinforced and alveolar structures. Publication 85042 du Laboratoired’Analyse Numérique
Paris VI, Paris (1985).[13]
E. DE GIORGI, Convergence problems for functionals and operators.Proceedings
"Recent Methods in Nonlinear
Analysis",
Rome 1978, editedby
E. DeGiorgi -
E.Magenes - U. Mosco, Pitagora, Bologna (1979), 131-188.
[14]
E. DE GIORGI,G-operators
and0393-convergence. Proceedings
of the InternationalCongress
of Mathematicians, Warszawa 1983.[15]
E. DE GIORGI - T. FRANZONI, Una presentazione sintetica dei 0393-limiti generalizzati.Portugal. Math., 41 (1982), 405-436.
[16]
G. DAL MASO - L. MODICA, A general theory of variational functionals."Topics
inFunctional
Analysis
1980-81", Scuola NormaleSuperiore,
Pisa (1982), 149-221.[17]
J.L. LIONS, Some Methods in the Mathematical Analysis of Systems and their Control.Science Press,
Beijing
(China); Gordon Breach, New York (1981).[18]
P. MARCELLINI, Periodic solutions andhomogenization
of nonlinear variationalproblems. Ann. Mat. Pura
Appl.,
117 (1978), 139-152.[19]
E. SANCHEZ-PALENCIA, Non Homogeneous Media and Vibration Theory. LectureNotes in Phys.,
Springer-Verlag,
Berlin (1980).[20]
C. SBORDONE, Su alcune applicazioni di un tipo di convergenza variazionale. Ann.Scuola Norm.
Sup.
Pisa Cl. Sci., 2 (1975), 617-638.Additional
bibliography
[21]
E. ACERBI - G. BUTTAZZO - D. PERCIVALE, Thin inclusions in linear elasticity: avariational approach, J. Reine Angew, Math. (to appear).
[22]
H. ATTOUCH - G. BUTTAZZO, Homogenization of reinforced fibred structures. (Paperin
preparation).
Universite de
Perpignan
Avenue de Villeneuve 66025
Perpignan,
FranceScuola Normale
Superiore
Piazza dei Cavalieri, 7
56100 Pisa