Abstract
The paper is dedicated to the asymptotic behavior of \(\varepsilon\)-periodically perforated elastic (3-dimensional, plate-like or beam-like) structures as \(\varepsilon \to 0\). In case of plate-like or beam-like structures the asymptotic reduction of dimension from \(3D\) to \(2D\) or \(1D\) respectively takes place. An example of the structure under consideration can be obtained by a periodic repetition of an elementary “flattened” ball or cylinder for plate-like or beam-like structures in such a way that the contact surface between two neighboring balls/cylinders has a non-zero measure. Since the domain occupied by the structure might have a non-Lipschitz boundary, the classical homogenization approach based on the extension cannot be used. Therefore, for obtaining Korn’s inequalities, which are used for the derivation of a priori estimates, we use the approach based on interpolation. In case of plate-like and beam-like structures the proof of Korn’s inequalities is based on the displacement decomposition for a plate or a beam, respectively. In order to pass to the limit as \(\varepsilon \to 0\) we use the periodic unfolding method.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
This paper deals with the linearized elasticity problem posed in different periodic domains. These domains are obtained by reproducing a representative cell of size \(\varepsilon \) in such a way that one can get beam-like, plate-like or \(N\)-dimensional structures. It is assumed that a part of their exterior boundary denoted by \(\varGamma _{\varepsilon }\) is fixed.
The \(\varepsilon \)-cells are made of elastic materials. The reference cell is denoted by \({\mathbf{C}}\) (Fig. 1). We assume that \(\mathbf{C}\) has a Lipschitz boundary and that the interior of the closure of the union of two contiguous cells is connected. Under these assumptions, the whole periodic structure might have a non-Lipschitz boundary. Throughout this article, the cell \({\mathbf{C}}\) is included in the unit parallelotope of \({\mathbb{R}}^{N}\) (resp. \({\mathbb{R}}^{3}\)), and one can replace this parallelotope by any bounded domain having the paving property with respect to a discrete group of rank \(N\) (resp. 3).
Our aim is to investigate the asymptotic behavior of these elastic periodic structures as \(\varepsilon \) tends to 0. Since these structures might be non-Lipschitz, one of the main difficulties is to obtain a priori estimates. The classical extension approach (see [25]) and Korn’s inequalities for Lipschitz domains (see [9, 10]) cannot be used. Thus, in order to derive a priori estimates we use interpolations as suggested in [14, Sect. 5.5]. This makes it possible to prove Korn’s inequalities with constants independent of \(\varepsilon \). Note that in case of beam-like and plate-like domains the derivation of Korn’s inequalities is also based on the decomposition of beam or plate displacements. These decompositions have been introduced in [2, 18].
To derive the limit problems, we use the periodic unfolding method introduced in [11]. This method has been applied to a vast number of problems such as problems in perforated domains [5, 6, 13, 16], transmission problems [17], contact problems [20, 22], problems including a thin layer [21], problems in domains with “rough boundary” [1, 3, 4], to name but a few. In our work, in contrast to earlier works for plate-like or beam-like structures [14, 19, 21, 22, 24], we simultaneously proceed to the homogenization and reduction of dimension. The periodic unfolding method used in this paper includes the following steps:
-
introducing and applying appropriate unfolding operators, depending on the problem,
-
obtaining a priori estimates for the displacements, then uniform estimates for the unfolded displacements, which, in turn, are used to pass to a weak limit in appropriate spaces over a fixed domain,
-
establishing an unfolded limit problem from which a homogenized problem is derived.
As a general reference for the homogenization of elasticity problems in \(3D\) periodically perforated domains with Lipschitz boundary we refer to [25]. In case of a plate-like domain we mention [14, Chapter V] where the interaction of homogenization and domain reduction, involving two small parameters such as plate thickness \(\delta \) and periodicity \(\varepsilon \), in its large dimensions was investigated. For similar results in case of a beam-like domain we refer to [19]. The novelty of this paper is the extension of the results to non-Lipschitz perforated domains.
The paper is organized as follows. Sections 2, 3 and 4 deal with periodically perforated \(3D\), plate-like and beam-like domains, respectively. We begin every of these sections by introducing the notation and describing the specific type of a periodic domain. Then, for every type of a periodic domain, we introduce the unfolding operator, we derive weak limits of the fields, we specify the limit problem for characterize the limit fields. Moreover, at the end of every section, there is a conclusion in which we provide an approximation of the solution to the elasticity problem.
The proofs of Korn’s inequalities for different types of domains, namely \(N\)-dimensional, plate-like and beam-like, are given in Appendix A. The proofs of all lemmas and propositions are given in Appendix B.
Throughout this paper we use Einstein’s summation convention. Moreover, in all the estimates the constants do not depend on \(\varepsilon\) .
2 \(N\)-Dimensional Periodic Domain
This section deals with the asymptotic behavior of the solution to the linearized elasticity problem for \(\varepsilon \)-periodically perforated \(N\)-dimensional structures as \(\varepsilon \to 0\). At first, we explain the notation, introduce the structure and state the elasticity problem. Then, we introduce the unfolding operator and its properties. And finally, we derive the unfolded limit problem and the homogenized problem.
2.1 Notation and Geometric Setting
Let \(\varOmega \subset {\mathbb{R}}^{N}\), \(N\in {\mathbb{N}}\setminus \{0,1\}\), be a bounded domain with a Lipschitz boundary and \(\varGamma \) be a subset of \(\partial \varOmega \) with non-zero measure. We assume that there exists an open set \(\varOmega ^{\prime }\) with a Lipschitz boundary such that \(\varOmega \subset \varOmega ^{\prime }\) and \(\varOmega ^{\prime }\cap \partial \varOmega = \varGamma \).
We will use the following notations through this section:
-
\(Y\doteq (-1/2,1/2)^{N}\) is the unit cube,
-
\({\mathbf{C}}\subset Y\) is a domain with Lipschitz boundary such that the \(\hbox{interior}\big (\overline{\mathbf{C}}\cup (\overline{\mathbf{C}}+{\mathbf{e}}_{i}) \big )\), \(i=\overline{1,N}\), is connected,
-
\(\varXi _{\varepsilon }\doteq \big \{\xi \in {\mathbb{Z}}^{N}\;|\; \varepsilon (\xi +Y)\cap \varOmega \neq \emptyset \big \}\),
-
\(\varXi '_{\varepsilon }\doteq \big \{\xi \in {\mathbb{Z}}^{N}\;|\; \varepsilon (\xi +Y)\cap \varOmega '\neq \emptyset \big \}\),
-
\(\varXi _{\varepsilon ,i}\doteq \big \{\xi \in \varXi _{\varepsilon }\;|\;\xi +{ \mathbf{e}}_{i}\in \varXi _{\varepsilon }\big \}\), \(i=\overline{1,N}\),
-
\(\varOmega ^{*}_{\varepsilon }\doteq \hbox{interior}\Big ( \bigcup _{\xi \in \varXi _{\varepsilon }}\varepsilon (\xi + \overline{\mathbf{C}})\Big )\),
-
\(\varOmega ^{ext}_{\varepsilon }\doteq \hbox{interior}\Big ( \bigcup _{\xi \in \varXi _{\varepsilon }}\varepsilon (\xi +\overline{Y}) \Big )\),
-
\(\varOmega ^{\prime\,*}_{\varepsilon }\doteq \hbox{interior}\Big ( \bigcup _{\xi \in \varXi '_{\varepsilon }}\varepsilon (\xi + \overline{\mathbf{C}})\Big )\),
-
\(\varOmega _{1}\doteq \big \{x\in {\mathbb{R}}^{N}\;|\; \hbox{dist}(x, \varOmega )<1\big \}\),
-
\(M_{s}^{N}\) is the space of \(N\times N\) symmetric matrices,
-
for a.e. \(x\in {\mathbb{R}}^{N}\) one has
$$ x=\varepsilon \left (\left [\frac{x}{\varepsilon }\right ]+\left \{ \frac{x}{\varepsilon }\right \} \right ),\qquad \hbox{where }\; \left [ \frac{x}{\varepsilon }\right ]\in {\mathbb{Z}}^{N},\;\; \left \{ \frac{x}{\varepsilon }\right \} \in Y. $$
Note that \({\bigcup _{i=1}^{N} } \varXi _{ \varepsilon ,i}\subset \varXi _{\varepsilon }\) and that the domains \(\varOmega ^{*}_{\varepsilon }\), \(\varOmega^{\prime\,*}_{\varepsilon }\) are connected.
We are interested in the elastic behavior of a structure occupying the domain \(\varOmega ^{*}_{\varepsilon }\) which is fixed on a part of its boundary \(\varGamma _{\varepsilon }=\varGamma \cap \varOmega _{\varepsilon }^{*}\). The space of all admissible displacements is
This means that the displacements belonging to \({\mathbf{V}}_{\varepsilon }\) “vanish” on the part \(\varGamma _{\varepsilon }\) of \(\partial \varOmega ^{*}_{\varepsilon }\).
Remark 1
Note that the domain \(\varOmega ^{*}_{\varepsilon }\) might be non-Lipschitz (see Fig. 2). In this case, one cannot extend the displacements to the holes of this domain as it is proposed in [25].
2.2 Statement of the Elasticity Problem
For a displacement \(u\in H^{1}(\varOmega ^{*}_{\varepsilon })^{N}\), we denote by \(e\) the linearized strain tensor (or symmetric gradient)
Let \(a_{ijkl}\in L^{\infty }({\mathbf{C}}), i,j,k,l=\overline{1,N}\) be the components of the elasticity tensor. These functions satisfy the usual symmetry and positivity conditions:
-
\(a_{ijkl}(X)=a_{jikl}(X)=a_{klij}(X) \hbox{ for a.e. } X\in {\mathbf{C}}\);
-
for any \(\tau \in M_{s}^{N}\), there exists \(c_{0}>0\) such that
$$ a_{ijkl}(X)\tau _{ij}\tau _{kl}\geq c_{0} \tau _{ij}\tau _{ij} \quad \hbox{for a.e. } X\in {\mathbf{C}}. $$(2.2)
The constitutive law for the material occupying the domain \(\varOmega ^{*}_{\varepsilon }\) is given by the relation between the linearized strain tensor and the stress tensor
where the coefficients \(a_{ijkl}^{\varepsilon }\) are given by
Let \(f\) be in \({L^{2}(\varOmega _{1})}^{N}\), one defines the applied forces \(f_{\varepsilon }\) by
The unknown displacement \(u_{\varepsilon }:\varOmega ^{*}_{\varepsilon }\to \mathbb{R}^{N}\) is the solution to the linearized elasticity system in the strong formulation
where \(\nu _{\varepsilon }\) is the outward normal vector to \(\partial \varOmega ^{*}_{\varepsilon }\).
The variational formulation of (2.5) is given by
2.3 The Unfolding Operator
As mentioned above, for the derivation of the limit problem we use the periodic unfolding method. This method requires the introduction of an unfolding operator depending on the geometry of the problem. One of the main properties of this operator is that it replaces the integrals over the periodically oscillating domain \(\varOmega ^{*}_{\varepsilon }\) by integrals over the “almost fixed” domain \(\varOmega ^{ext}_{\varepsilon }\times {\mathbf{C}}\) which includes the whole domain \(\varOmega \) and the periodicity cell \({\mathbf{C}}\). Moreover, it allows us to decompose any function into a main part without micro-oscillations and a remainder which takes the micro-oscillations into account. Below, in a similar way as for domains with holes (see [14]), we introduce a specific unfolding operator and give its properties.
Definition 1
For every measurable function \(\phi \,:\, \varOmega ^{*}_{\varepsilon }\to \mathbb{R}\), the unfolding operator \({\mathcal{T}}_{\varepsilon }^{*}\,:\, \varOmega ^{ext}_{\varepsilon }\times {\mathbf{C}}\to \mathbb{R}\) is defined as follows:
Below are some properties of \({\mathcal{T}}_{\varepsilon }^{*}\), which are similar to those of the unfolding operators introduced in [14]. That is due to the fact that
Proposition 1
For every \(\phi \in L^{1}(\varOmega ^{*}_{\varepsilon })\)
For every \(\phi \in L^{2}(\varOmega ^{*}_{\varepsilon })\)
For every \(\phi \in H^{1}(\varOmega ^{*}_{\varepsilon })\)
For more properties see [14].
2.4 Weak Limits of the Fields and the Limit Problem
Set
Denote by \(H^{1}_{N,per}({\mathbf{C}})\) the subspace of the periodic functions belonging to \(H^{1}_{loc}({({\mathbb{R}}^{N})}^{*}_{\varepsilon })\)
by \(H^{1}_{N,per,0}({\mathbf{C}})\) the subspace of the functions in \(H^{1}_{N,per}({\mathbf{C}})\) with zero mean
and by \(H^{1}_{\varGamma }(\varOmega )\) the space of the functions in \(H^{1}(\varOmega )\) that vanish on \(\varGamma \)Footnote 1
The proof of the following lemma is given in Appendix B.1.
Lemma 1
The solution \(u_{\varepsilon }\)of problem (2.5) satisfies
The proof of the proposition below is also postponed to Appendix B.1.
Proposition 2
(The unfolded limit problem)
Let \(u_{\varepsilon }\)be the solution of problem (2.5). There exist \(u \in H^{1}_{\varGamma }(\varOmega )^{N}\)and \(\widehat{u}\in L^{2}(\varOmega ; H^{1}_{N,per,0}({\mathbf{C}}))^{N}\)such that
and the pair \((u, \widehat{u})\)is the unique solution to the following unfolded problem:
where for all \(\widehat{v}\in H^{1}({\mathbf{C}})^{N}\)
2.5 Homogenization
In this section, we give the expressions of the microscopic field \(\widehat{u} \) in terms of the macroscopic displacement \(u\). First, taking \(v=0\) as a test function in (2.12), we obtain
This shows that the displacement \(\widehat{u} \) can be written in terms of the elements of the tensor \(e(u)\).
Denote by \({\mathbf{M}}^{np}\) the \(N\times N\) symmetric matrix with following coefficients
where \(\delta _{ij}\) is the Kronecker symbol.
Since the tensor \(e(u)\) has \(N^{2}\) components, we introduce the \(N^{2}\) correctors
which are solutions to the following cell problems
Observe that \(\widehat{\chi }_{np}=\widehat{\chi }_{pn}\)\(n,p=\overline{1,N}\). As a consequence, the function \(\widehat{u} \) can be written in the form
Theorem 1
(The homogenized limit problem)
The limit displacement \(u\in H^{1}_{\varGamma }(\varOmega )^{N}\)is the unique solution of the following homogenized problem:
whereFootnote 2
Proof
Taking \(\widehat{v}= 0\) as a test function in (2.12) and using (2.14) provides
After straightforward computations, we have
and the assertion of the theorem follows.
Now, we prove that the operator in problem (2.15) is elliptic. Using formulas (2.16) of the homogenized coefficients and (2.13), we obtain
where
Then, in view of (2.2) and following the proof of [14, Lemma 11.19], we have
Thus, the operator in problem (2.15) is elliptic and by virtue of the Lax-Milgram theorem this problem admits a unique solution. □
2.6 Conclusion
We summarize the result of this section: for \(\varepsilon \)-periodic porous materials with a known structure, for e.g. structures made of beams whose thicknesses are of order \(\varepsilon \), or dense packages of small compressed balls, the solution to the linearized elasticity problem (2.5)-(2.6) in a heterogeneous \(3D\) domain is approximated by
where \(u\) is the solution of the homogenized problem (2.16) and where the correctors \(\widehat{\chi }_{np}\) are given by (2.13). In (2.17), the sum represents the warpings of the cells.
3 Periodic Plate
This section is devoted to the study of the asymptotic behavior of the solution to the linearized elasticity problem for a \(\varepsilon \)-periodic plate-like structure as \(\varepsilon \to 0\). Note that this structure is 3-dimensional and only periodic in two directions. In the third direction it is “thin”, that is, its thickness is of the same order \(\varepsilon \) as the period of the other two dimensions. The section is organized in a similar way as the previous one. It can be considered as an extension of the results obtained for the homogenization of a periodic plate (see [8], [14, Chap. 11], [22], [23], [26, Sect. 3.2] and also [24] for a shell).
3.1 Notation and Geometric Setting
We consider a bounded domain \(\omega \) in \({\mathbb{R}}^{2}\) with Lipschitz boundary. As in Sect. 2, we introduce \(\gamma \), a subset of \(\partial \omega \) with a non-zero measure. We assume that there exists a bounded domain \(\omega '\) with Lipschitz boundary such that
In this section we use the following notations:
-
\(Y'\doteq (-1/2,1/2)^{2}\), \(Y\doteq Y'\times (-1/2,1/2)=(-1/2,1/2)^{3}\),
-
\({\mathbf{C}}\subset Y\) is a domain with Lipschitz boundary such that the \(\hbox{interior}\big (\overline{\mathbf{C}}\cup (\overline{\mathbf{C}}+{\mathbf{e}}_{\alpha })\big )\), \(\alpha =\overline{1,2}\), is connected,
-
\(\varXi _{\varepsilon }\doteq \big \{\xi \in {\mathbb{Z}}^{2}\; |\; ( \varepsilon \xi +\varepsilon Y')\cap \omega \neq \emptyset \big \}\),
-
\(\varOmega _{\varepsilon }^{*}=\hbox{interior}\Big (\bigcup _{\xi \in \varXi _{\varepsilon }}(\varepsilon \xi +\varepsilon \overline{\mathbf{C}})\Big )\),
-
\(\varXi ^{\prime }_{\varepsilon }\doteq \big \{\xi \in {\mathbb{Z}}^{2}\;| \;(\varepsilon \xi +\varepsilon Y')\cap \omega ^{\prime }\neq \emptyset \big \}\),
-
\(\varOmega ^{\prime *}_{\varepsilon }\doteq \hbox{interior}\Big (\bigcup _{ \xi \in \varXi ^{\prime }_{\varepsilon }}(\varepsilon \xi +\varepsilon \overline{\mathbf{C}})\Big )\),
-
\(\omega ^{{ext}}_{\varepsilon }=\hbox{interior}\Big (\bigcup _{ \xi \in \varXi _{\varepsilon }}(\varepsilon \xi +\varepsilon \overline{Y'}) \Big )\),
-
\(\omega _{1}=\big \{ x\in {\mathbb{R}}^{2}\;|\;\hbox{dist}(x,\omega )< 1 \big \}\), \({\omega }\subset \omega _{1}\),
-
\(\omega ^{int}_{3\varepsilon }=\big \{x\in \omega \;|\;\hbox{dist}(x, \partial \omega )>3\varepsilon \big \}\),
-
\(\omega ^{'\,int}_{3\varepsilon }=\big \{x\in \omega \;|\; \hbox{dist}(x, \partial \omega ')>3\varepsilon \big \}\),
-
\(\varXi ^{int}_{\varepsilon }\doteq \big \{\xi \in {\mathbb{Z}}^{2}\;|\; ( \varepsilon \xi +\varepsilon Y')\subset \omega ^{int}_{3\varepsilon } \big \}\),
-
\(\varOmega ^{int}_{\varepsilon }=\hbox{interior}\Big (\bigcup _{\xi \in \varXi ^{int}_{\varepsilon }}(\varepsilon \xi +\varepsilon \overline{\mathbf{C}})\Big )\),
-
\(\varXi ^{\prime \,int}_{\varepsilon }\doteq \big \{\xi \in \varXi _{\varepsilon }\;|\;(\varepsilon \xi +\varepsilon Y')\cap \omega ^{'\,int}_{3 \varepsilon }\neq \emptyset \big \}\),
-
\(\varOmega ^{\prime \, int}_{\varepsilon }\doteq \hbox{interior}\Big ( \bigcup _{\xi \in \varXi ^{\prime \, int}_{\varepsilon }}(\varepsilon \xi +\varepsilon \overline{\mathbf{C}})\Big )\),
-
\(\varXi _{\varepsilon ,\alpha }\doteq \big \{\xi \in \varXi _{\varepsilon }\; \; |\;\; \xi +{\mathbf{e}}_{\alpha }\in \varXi _{\varepsilon }\big \}\), \(\alpha =\overline{1,2}\).
Note that the domain \(\varOmega _{\varepsilon }^{*}\) is a connected open set, and if \(\varepsilon \) is small enough, we have \(\varOmega _{\varepsilon }^{*}\subset \omega _{1}\times (-\varepsilon /2, \varepsilon /2)\).
The space of all admissible displacements is denoted by \({\mathbf{V}}_{\varepsilon }\):
3.2 Statement of the Elasticity Problem
We are interested in the elastic behavior of a structure occupying the domain \(\varOmega _{\varepsilon }^{*}\) and fixed on the part \(\varGamma _{\varepsilon }\) of its boundary, \(\varGamma _{\varepsilon }\doteq (\gamma \times (-\varepsilon /2, \varepsilon /2)) \cap \varOmega ^{*}_{\varepsilon }\).
Let \(f\) be in \({L^{2}(\omega _{1})}^{3}\). We define the applied forces \(f_{\varepsilon }\) as follows
Again, the unknown displacement \(u_{\varepsilon }:\varOmega _{\varepsilon }^{*}\to \mathbb{R}^{3}\) is the solution to the linearized elasticity system
in the strong formulation, where \(\nu _{\varepsilon }\) is the outward normal vector to \(\partial \varOmega _{\varepsilon }^{*}\).
The variational formulation of problem (3.2) is given by
3.3 The Unfolding-Rescaling Operator
Below, we introduce the unfolding operator for a plate-like structure and state its properties. Note that, since this structure is periodic only in two directions and it is “thin” in the third one, the unfolding operator is a “rescaling” operator in the third direction. As a consequence, the asymptotic reduction from \(3D\) plate-like structure to \(2D\) takes place. The reduction of dimension is done by the standard scaling to a fixed thickness (see the pioneer papers [7, 15]).
Definition 2
For every measurable function \(u:\; \varOmega _{\varepsilon }^{*} \to \mathbb{R}^{3}\) the unfolding operator \({\mathcal{T}}^{*}_{\varepsilon }\) is defined as follows:
where \(x^{\prime }=(x_{1},x_{2}),\, X=(X^{\prime }, X_{3})=(X_{1},X_{2},X_{3})\).
Below we recall some properties of \({\mathcal{T}}^{*}_{\varepsilon }\) (for further results see [14]).
Proposition 3
For every \(u \in L^{1}(\varOmega _{\varepsilon }^{*})\)
For every \(u \in H^{1}(\varOmega _{\varepsilon }^{*})\)
3.4 Weak Limits of the Fields and the Limit Problem
Denote by \(H^{1}_{\gamma }(\omega )\) the space of functions in \(H^{1}(\omega )\) that vanish on \(\gamma \),
and by \(H^{2}_{\gamma }(\omega )\) the space of functions in \(H^{2}(\omega )\) that vanish on \(\gamma \) and their first derivatives vanish on \(\gamma \) as well
Since we are dealing with a plate-domain, we use the decomposition of the displacements of a plate (see [18] and Sect. A.2 of Appendix A). Any displacement \(u \in {\mathbf{V}}_{\varepsilon }\) can be decomposed as
where \({\mathcal{U}}\) stands for the displacement of the mid-surface of the plate restricted to \(\varOmega ^{*}_{\varepsilon }\cap \{x_{3}=0\}\), \({\mathcal{R}}(x')\land x_{3}{\mathbf{e}}_{3}\) represents the small rotation of a “fiber” from \(x'\in \varOmega ^{*}_{\varepsilon }\cap \{x_{3}=0\}\) and \(\overline{u}\) is the warping of the “fibers”.
Here, \({\mathcal{U}}\in H^{1}_{\gamma }(\omega ^{'\,int}_{3\varepsilon })^{3}\), \({\mathcal{R}}\in H^{1}_{\gamma }(\omega ^{'\,int}_{3\varepsilon })^{2}\) and \(\overline{u}\in H^{1}\big (\omega ^{'\,int}_{3\varepsilon }\times (- \varepsilon /2,\varepsilon /2)\big )^{3}\).Footnote 3
In the next step, we compute the strain tensor of the displacement \(u\), using the decomposition (3.6)
Further, we extend \({\mathcal{U}}\), ℛ by 0 to \(\omega '\setminus \overline{\omega ^{'int}_{3\varepsilon }}\) and the field \(\overline{u}\) by 0 to \(\varOmega ^{\prime }_{\varepsilon }\setminus \overline{\varOmega ^{\prime \, int}_{\varepsilon }}\).
The following lemma is proved in Appendix B.2.
Lemma 2
The solution \(u_{\varepsilon }\)of the problem (3.2) satisfies
The proof of the following lemma is postponed to Appendix B.2.
Lemma 3
Let \(\{u_{\varepsilon }\}_{\varepsilon }\)be a sequence of displacements belonging to \({\mathbf{V}}_{\varepsilon }\), decomposed as in (3.6) and satisfying
Then, for a subsequence of \(\{\varepsilon \}\), still denoted by \(\{\varepsilon \}\),
-
(i)
there exist \({\mathcal{U}}_{\alpha }\in H^{1}(\omega '),\;\;\alpha =1,2,\; {\mathcal{U}}_{3} \in H^{2}(\omega ')\)such that
$$ \begin{aligned} &\frac{1}{\varepsilon ^{2}}{\mathcal{U}}_{\varepsilon ,\alpha }{\mathbf{1}}_{ \omega ^{' int}_{3\varepsilon }} \to {\mathcal{U}}_{\alpha }\quad \textit{strongly in}\quad L^{2}(\omega '), \\ &\frac{1}{\varepsilon }{\mathcal{U}}_{\varepsilon ,3}{\mathbf{1}}_{ \omega ^{' int}_{3\varepsilon }} \to {\mathcal{U}}_{3} \quad \textit{strongly in }\quad L^{2}(\omega '), \\ &\frac{1}{\varepsilon ^{2}}\nabla {\mathcal{U}}_{\varepsilon , \alpha }{\mathbf{1}}_{\omega ^{' int}_{3\varepsilon }}\rightharpoonup \nabla {\mathcal{U}}_{\alpha }\quad \textit{weakly in}\quad L^{2}(\omega ')^{2}, \\ &\frac{1}{\varepsilon }\nabla {\mathcal{U}}_{\varepsilon ,3}{\mathbf{1}}_{ \omega ^{' int}_{3\varepsilon }}\rightharpoonup \nabla {\mathcal{U}}_{3} \quad \textit{weakly in}\quad L^{2}(\omega ')^{2}, \end{aligned} $$(3.9) -
(ii)
there exists \({\mathcal{R}}\in {H^{1}(\omega ')}^{2}\)such that
$$ \begin{aligned} &\frac{1}{\varepsilon }{\mathcal{R}}_{\varepsilon ,\alpha } {\mathbf{1}}_{ \omega ^{' int}_{3\varepsilon }} \to {\mathcal{R}}_{\alpha }\quad \textit{strongly in } \quad L^{2}(\omega '), \\ &\frac{1}{\varepsilon }{\nabla \mathcal{R}}_{\varepsilon ,\alpha }{\mathbf{1}}_{ \omega ^{' int}_{3\varepsilon }} \rightharpoonup \nabla {\mathcal{R}}_{\alpha }\quad \textit{weakly in } \quad {L^{2}(\omega ')}^{2}, \end{aligned} $$(3.10)and
$$ {\mathcal{R}}_{1}=- \frac{\partial {\mathcal{U}}_{3}}{\partial x_{2}},\quad { \mathcal{R}}_{2}=\frac{\partial {\mathcal{U}}_{3}}{\partial x_{1}} \quad \textit{a.e. in}\;\; \omega ', $$(3.11)furthermore, the fields \({\mathcal{U}}_{\alpha }\), ℛ, \({\mathcal{U}}_{3}\)and \(\nabla {\mathcal{U}}_{3}\)vanish in \(\omega ^{\prime }\setminus \overline{\omega }\),
-
(iii)
there exists \(\overline{u}\in L^{2}(\omega ';H^{1}_{2,per}({\mathbf{C}}))^{3}\)such that
$$ \frac{1}{\varepsilon ^{2}}{\mathcal{T}}_{\varepsilon }^{*}(\overline{u}_{\varepsilon }{\mathbf{1}}_{\omega ^{' int}_{3\varepsilon }} ) \rightharpoonup \overline{u}\quad \textit{weakly in } L^{2}(\omega ' ; H^{1}({ \mathbf{C}}))^{3}. $$(3.12)
Since the fields \({\mathcal{U}}_{\alpha }\), ℛ, \({\mathcal{U}}_{3}\) and the gradient \({\mathcal{U}}_{3}\) vanish in \(\omega '\setminus \overline{\omega }\), we obtain
Lemma below is proven in Appendix B.2.
Lemma 4
For a subsequence, still denoted \(\{\varepsilon \}\), we have
and
For any \(u\in H^{1}(\omega )^{2}\), \(v\in H^{2}(\omega )\) we denote
Define
The following proposition provides the first main result of this section. Its proof is given in Appendix B.2.
Proposition 4
(The unfolded limit problem)
Let \(u_{\varepsilon }\)be the solution to (3.2). Then the following convergences hold:
Moreover
where \({\mathcal{U}}_{m}\doteq ({\mathcal{U}}_{1}, {\mathcal{U}}_{2})\in {H_{\gamma }^{1}( \omega )}^{2},\,{\mathcal{U}}_{3}\in H_{\gamma }^{2}(\omega ),\,\widehat{u} \in L^{2}(\omega ; H_{2,per,0}^{1}({\mathbf{C}}))^{3}\)are the solution to the following unfolded problem:
3.5 Homogenization
In this section, we give the expressions of the microscopic displacement \(\widehat{u}\) in terms of the membrane displacements \({\mathcal{U}}_{m}\) and the bending \({\mathcal{U}}_{3}\).
Taking \({\mathcal{V}}=0\) as a test function in (3.17), we obtain
This shows that the microscopic displacement \(\widehat{u}\) can be written in terms of the tensors \(E^{M},\,E^{B}\).
Define
Since the tensors \(E^{M}({\mathcal{U}}_{1},{\mathcal{U}}_{2}),\,E^{B}({\mathcal{U}}_{3})\) have 6 components
we introduce 6 correctors
which are the unique solutions to the following cell problems
for all \(\widehat{v}\in L^{2}(\omega ; H_{2,per,0}^{1}({\mathbf{C}}))^{3}\).
As a consequence, the function \(\widehat{u}\) from (3.16) is given in terms of \({\mathcal{U}}\) as follows
This substitution allows us to separate the scales and formulate the second main result:
Theorem 2
(The homogenized limit problem)
The limit field
is the unique solution to the homogenized problem
where
Proof
Take \(\widehat{v}=0\) as a test function in (3.17). Replacing \(\widehat{u}\) by its representation (3.19), yields
Taking into account the variational problems (3.18) satisfied by the correctors, the problem (3.20) with the homogenized coefficients given by (3.21) is obtained by a simple computation.
Now, we prove the ellipticity of the operator in Problem (3.20). Using the formulas (3.21) for the homogenized coefficients, we obtain
where
Then, in view of (2.2) and following the proof of [14, Lemma 11.19], we obtain
Thus, the operator of problem (3.20) is elliptic and this problem has a unique solution. □
3.6 Conclusion
We summarize the results of this section. The solution to the linearized elasticity problem (3.2) (in the strong form), or (3.3) (in the weak/variational form) is approximated by
where \({\mathcal{U}}\) is the solution of the homogenized \(2D\)-problem with constant effective coefficients (3.21) and \(\chi _{\alpha \beta }^{M},\,\chi _{\alpha \beta }^{B}\in {H_{2,per}^{1}({ \mathbf{C}})}^{3}\) with \(\alpha ,\,\beta =1,2\) are 6 \(3D\) displacement correctors, the solutions of auxiliary problems (3.18) on the periodicity cell (see Fig. 3).
As usual for a plate, we first recognize a Kirchhoff-Love displacement plus here a second term which represents the warpings of the cells.
4 Periodic Beam
In this section, we study the asymptotic behavior of the solution to the linearized elasticity problem for \(\varepsilon \)-periodic beam-like structure as \(\varepsilon \to 0\). This structure is 3-dimensional and periodic in one dimension. In two other directions the structure is “thin”, that is, its size in each of these directions, is of order \(\varepsilon \). The section is organized in a similar way as the previous ones. It can be considered as an extension of the results of [19] to beam-like structures with a boundary that does not have to be a Lipschitz boundary.
4.1 Notation and Geometric Setting
Let \({\mathbf{C}}\in {\mathbb{R}}^{3}\) be a bounded domain with Lipschitz boundary and let \(L\) be a fixed positive constant. In this section, we also assume that the interior of \(\overline{\mathbf{C}}\cup (\overline{\mathbf{C}}+{\mathbf{e}}_{3})\) is connected and \({\mathbf{C}}\cap ({\mathbf{C}}+{\mathbf{e}}_{3})=\emptyset \). The beam-like structure is introduced in the following way:
We choose as centerline of the structure the segment whose direction is \({\mathbf{e}}_{3}\) and place the origin at the center of mass of the first cell (thus the centers of mass of the other cells are also on this segment). The orthonormal basis \(({\mathbf{e}}_{1},\,{\mathbf{e}}_{2}, {\mathbf{e}}_{3})\) is chosen in such a way that \(\int _{\mathbf{C}}\,x_{1}x_{2}\,dx=0\), and we set
Concerning the directions \({\mathbf{e}}_{1}\) and \({\mathbf{e}}_{2}\), it is important to note that they do not necessary correspond to the principal axes of inertia.
The space of all admissible displacements is denoted by \({\mathbf{V}}_{\varepsilon }\)
4.2 Statement of the Elasticity Problem
As before, we are interested in the elastic behavior of a structure occupying the domain \(\varOmega ^{*}_{\varepsilon }\) and fixed on the part \(\varGamma_{\varepsilon }\) of its boundary.
Let \(f\) and \(g\) be in \(L^{2}(0,L)^{3}\), we define the applied forces \(f_{\varepsilon }\in L^{2}(\varOmega ^{*}_{\varepsilon })^{3}\) by
The unknown displacement \(u_{\varepsilon }:\varOmega ^{*}_{\varepsilon }\to \mathbb{R}^{3}\) is the solution to the linearized elasticity system
where \(\nu _{\varepsilon }\) is the outward normal vector to \(\partial \varOmega ^{*}_{\varepsilon }\).
The variational formulation of problem (4.2) is given by
4.3 The Unfolding-Rescaling Operator
Below, we introduce the unfolding operator for a beam-like structure and provide its properties. Note that since this structure is only periodic in one direction and is “thin” in the other two directions, the unfolding operator is a “rescaling” operator in two direction. As a consequence, the asymptotic reduction from \(3D\) beam-like structure to \(1D\) takes place.
Definition 3
For every measurable function \(\phi :\,\varOmega ^{*}_{\varepsilon }\to \mathbb{R}^{3}\), the unfolding-rescaling operator \({\mathcal{T}}_{\varepsilon }^{*}\) is defined as follows:
Proposition 5
(Properties of the operator \({\mathcal{T}}_{\varepsilon }^{*}\))
-
(a)
For every \(\phi \in L^{2}(\varOmega ^{*}_{\varepsilon })\)
$$ \begin{aligned} &\int _{(0,L) \times {\mathbf{C}}}{\mathcal{T}}_{\varepsilon }^{*}( \phi )(x_{3},X) \,dx_{3} dX =\frac{1}{\varepsilon ^{2}} \int _{\varOmega ^{*}_{ \varepsilon }} \phi (x)\,dx, \\ &\|{\mathcal{T}}^{*}_{\varepsilon }( \phi )\|_{L^{2}((0,L)\times {\mathbf{C}})} =\frac{1}{\varepsilon } \|\phi \|_{L^{2}(\varOmega ^{*}_{\varepsilon })}. \end{aligned} $$(4.4) -
(b)
For every \(\phi \in H^{1}(\varOmega ^{*}_{\varepsilon })\)
$$ {\mathcal{T}}^{*}_{\varepsilon }(\nabla \phi )(x_{3},X)= \frac{1}{\varepsilon } \nabla _{X}{\mathcal{T}}^{*}_{\varepsilon }( \phi )(x_{3},X)\quad \textit{for a.e. }(x_{3},X)\in (0,L)\times {\mathbf{C}}. $$(4.5)
4.4 Weak Limits of the Fields and the Limit Problem
Denote
As in [18], we decompose the displacement field \(u \in {\mathbf{V}}_{\varepsilon }\) in the following way:
where \({\mathcal{U}}, {\mathcal{R}}\in H^{1}_{\varGamma }(0,L)^{3}\). The displacement \(\overline{u}\) belongs to \({\mathbf{V}}_{\varepsilon }\).
The field \({\mathcal{U}}\) stands for the displacement of the centerline of the structure. The term \({\mathcal{R}}(x_{3}) \wedge (x_{1} {\mathbf{e}}_{1}+x_{2} {\mathbf{e}}_{2})\) represents the small rotation of the cross-section at the point \(x_{3}\) of the centerline, whereas the last term \(\overline{u}(\cdot ,x_{3})\) is the warping of the cross-section at the point \(x_{3}\) of the centerline.
The strain tensor of the displacement \(u\) is
In order to simplify the expression of the strain tensor \(e({\mathbf{U}}^{e})\), we define a new triplet \(({\underline{u}},\,{\mathbb{U}},\,\varTheta )\) (see also [19]) by
Then, we have
From now on, we have a new decomposition of the field \({\mathbf{U}}^{e}(x)\)
and the strain tensor of the displacement \({\mathbf{U}}^{e}\) is
Note that the boundary conditions for the terms of this new decomposition are
Also note that, since \({\mathcal{R}}_{\alpha }\in H^{1}_{\varGamma }(0,L)\), we have \({\mathbb{U}}_{\alpha }\in H^{2}_{\varGamma }(0,L)\).
The estimates for the functions from the decomposition of \(u_{\varepsilon }\) can be obtained using Lemma 6 and Lemmas 15, 16 from Appendix A. They are given in the following lemma:
Lemma 5
For every displacement \(u\in {\mathbf{V}}_{\varepsilon }\)one has (\(\alpha =1, \,2\))
and
The proofs of the following two lemmas are given in Appendix B.3.
Lemma 6
The solution \(u_{\varepsilon }\)to problem (4.2) satisfies the following estimate:
Lemma 7
For a subsequence of \(\{\varepsilon \}\), still denoted \(\{\varepsilon \}\),
-
(i)
there exists \({\mathbb{U}}\in H^{2}_{\varGamma }(0,L)^{2}\)such that the following convergences hold:
$$\begin{aligned} &{\mathbb{U}}_{\varepsilon }\rightharpoonup {\mathbb{U}}\quad \textit{weakly in } \quad H^{2}(0,L)^{2}, \end{aligned}$$(4.13)$$\begin{aligned} &{\mathcal{T}}_{\varepsilon }^{*}({\mathbb{U}}_{\varepsilon })\to {{ \mathbb{U}}}\quad \textit{strongly in } \quad L^{2}((0,L); H^{2}(0,1))^{2}, \end{aligned}$$(4.14)$$\begin{aligned} &{\mathcal{T}}_{\varepsilon }^{*}\Big( \frac{d{\mathbb{U}}_{\varepsilon }}{dx_{3}}\Big)\to \frac{d{\mathbb{U}}}{dx_{3}}\quad \textit{strongly in } \quad L^{2}((0,L) ; H^{1}(0,1))^{2}, \end{aligned}$$(4.15)$$\begin{aligned} &{\mathcal{T}}_{\varepsilon }^{*}\Big( \frac{d^{2}{\mathbb{U}}_{\varepsilon }}{dx_{3}^{2}}\Big) \rightharpoonup \frac{d^{2}{\mathbb{U}}}{dx_{3}^{2}}\quad \textit{weakly in } \quad L^{2}((0,L)\times (0,1))^{2}; \end{aligned}$$(4.16) -
(ii)
there exists \(\varTheta \in H^{1}_{\varGamma }(0,L)\)such that the following convergences hold:
$$\begin{aligned} &\varTheta _{\varepsilon }\rightharpoonup \varTheta \quad \textit{weakly in } \quad H^{1}(0,L), \end{aligned}$$(4.17)$$\begin{aligned} &{\mathcal{T}}_{\varepsilon }^{*}(\varTheta _{\varepsilon })\to {\varTheta }\quad \textit{strongly in } \quad L^{2}((0,L) ; H^{1}(0,1)), \end{aligned}$$(4.18)$$\begin{aligned} &{\mathcal{T}}_{\varepsilon }^{*}\Big(\frac{d\varTheta _{\varepsilon }}{dx_{3}} \Big)\rightharpoonup \frac{d\varTheta }{dx_{3}}\quad \textit{weakly in } \quad L^{2}((0,L)\times (0,1)); \end{aligned}$$(4.19) -
(iii)
there exist \({\underline{u}}\in H^{1}_{\varGamma }(0,L)^{3}\), \(\widehat{{\underline{u}}}_{\alpha }\in L^{2}((0,L),H^{1}_{1,per}(0,1)) \,(\alpha =1,2)\)such that
$$\begin{aligned} &\frac{1}{\varepsilon }{\underline{u}}_{\varepsilon }\rightharpoonup { \underline{u}}\quad \textit{weakly in } \quad H^{1}(0,L)^{3}, \end{aligned}$$(4.20)$$\begin{aligned} &\frac{1}{\varepsilon }{\mathcal{T}}_{\varepsilon }^{*}({\underline{u}}_{\varepsilon })\to {\underline{u}}\quad \textit{strongly in } \quad L^{2}((0,L) ; H^{1}(0,1))^{3}, \end{aligned}$$(4.21)$$\begin{aligned} &\frac{1}{\varepsilon }{\mathcal{T}}_{\varepsilon }^{*}\Big( \frac{d{\underline{u}}_{\varepsilon ,\alpha }}{dx_{3}}\Big) \rightharpoonup \frac{d{\underline{u}}_{\alpha }}{dx_{3}}+ \frac{\partial \widehat{{\underline{u}}}_{\alpha }}{\partial X_{3}} \quad \textit{weakly in } \quad L^{2}((0,L)\times (0,1)),\quad \alpha =1,2, \end{aligned}$$(4.22)$$\begin{aligned} &\frac{1}{\varepsilon }{\mathcal{T}}_{\varepsilon }^{*}\Big( \frac{d{\underline{u}}_{\varepsilon ,3}}{dx_{3}}\Big) \rightharpoonup \frac{d{\underline{u}}_{3}}{dx_{3}}\quad \textit{weakly in } \quad L^{2}((0,L)\times (0,1)), \end{aligned}$$(4.23) -
(iv)
there exists \(\overline{u}\in L^{2}((0,L);H^{1}_{1,per}({\mathbf{C}}))^{3}\)such that
$$ \begin{aligned} &\frac{1}{\varepsilon ^{2}} {\mathcal{T}}_{\varepsilon }^{*}(\overline{u}_{\varepsilon })\rightharpoonup \overline{u} \quad \textit{weakly in } L^{2}((0,L);H^{1}({ \mathbf{C}}))^{3}, \\ &\frac{1}{\varepsilon } {\mathcal{T}}_{\varepsilon }^{*}(\nabla \overline{u}_{\varepsilon })\rightharpoonup \nabla _{X} \overline{u} \quad \textit{weakly in } L^{2}((0,L)\times {\mathbf{C}})^{3\times 3}, \\ &\frac{1}{\varepsilon }{\mathcal{T}}_{\varepsilon }^{*}(e(\overline{u}_{\varepsilon }))\rightharpoonup e_{X}(\overline{u}) \quad \textit{weakly in } L^{2}((0,L) \times {\mathbf{C}})^{3\times 3}. \end{aligned} $$(4.24)
Let us introduce the following vector space:
For every \(({\underline{u}},\,{\mathbb{U}},\,\varTheta )\in {\mathbf{V}}_{M}\), we define the symmetric tensor \(E\) by
The following proposition provides the first main result of this section. Its proof is given in Appendix B.3.
Proposition 6
(The unfolded limit problem)
Let \(u_{\varepsilon }\)be the solution to (4.2). There exist functions \(({\underline{u}},\,{\mathbb{U}},\,\varTheta )\in {\mathbf{V}}_{M}\)and \(\widehat{u}\in L^{2}((0,L) ; H^{1}_{1,per,0}C))^{3}\)such that the following convergences hold:
and
where the functions \({\underline{u}},\,{\mathbb{U}},\,\varTheta ,\,\widehat{u}\)are the solutions to the following unfolded problem:
4.5 Homogenization
In this section, we derive the representation of the microscopic displacement \(\widehat{u}\) in terms of the macroscopic fields \({\underline{u}}\), \({\mathbb{U}}\) and \(\varTheta \).
Taking \(({\underline{v}},\,{\mathbb{V}},\,{\mathbf{T}})=0\) as a test function in (4.27), we obtain
This shows that the microscopic displacement \(\widehat{u}\) can be written in terms of the tensor \(E\).
Define
The tensors \(E({\underline{u}},\,{\mathbb{U}},\,\varTheta )\) have 6 components
and we introduce 6 correctors
which are the unique solutions to the following cell problems
for all \(\widehat{v}\in H_{1,per,0}^{1}({\mathbf{C}})^{3}\).
Thus, the function \(\widehat{u}\) can be represented in terms of \({\underline{u}},\,{\mathbb{U}},\,\varTheta \) in the following way
Theorem 3
(The homogenized limit problem)
The limit field \(({\underline{u}},\,{\mathbb{U}},\,\varTheta )\in {\mathbf{V}}_{M}\)is the unique solution to the homogenized problem (\(\alpha ,\alpha '\in \{1,2\}\), \(m\in \{1,2,3\}\))
where
Proof
We take \({\widehat{v}}=0\) in (4.27). Replacing \(\widehat{u}\) by its expression (4.29), for every \(({\underline{v}},\,{\mathbb{V}},\,{\mathbf{T}})\in {\mathbf{V}}_{M}\) yields
Taking into account the variational problems (4.28) satisfied by the correctors, the problem (4.30) with the homogenized coefficients given by (4.31) is obtained by a simple computation.
Now, we show that the operator on the left-hand side problem (4.30) is uniformly elliptic. Using formulas (4.31) of the homogenized coefficients, we obtain
where
Then, in view of (2.2) and following the proof of [14, Lemma 11.19], we obtain
□
4.6 Conclusion
For \(\varepsilon \)-periodic porous materials, the solution of problem (4.2) (in the strong form), or (4.3) (in the weak/variational form) is approximated by (for \(x\in \varOmega ^{*}_{\varepsilon }\))
where \(({\underline{u}},\,{\mathbb{U}},\,\varTheta )\in {\mathbf{V}}_{M}\) is the solution to the homogenized \(1D\) problem (4.30) and \(\chi _{m}^{\underline{u}},\,\chi _{\alpha }^{\mathbb{U}},\,\chi ^{\varTheta }\in H^{1}_{1,per,0}({\mathbf{C}})^{3}\), \(\alpha =1,2,\,m=1,2,3\), are the solutions to corresponding auxiliary cell problems (4.28) (see Fig. 4).
The first term in the previous formula is a Bernoulli-Navier displacement completed by the displacements \(\varepsilon \underline{u}\), and the term \(\varepsilon \underline{u}_{3}\) stands for the stretching-compression of the structure. The remaining terms represents the warpings of the cells.
Notes
Every function in \(H^{1}_{\varGamma }(\varOmega )\) is extended to a function in \(H^{1}_{\varGamma }(\varOmega ')\) which vanishes on \(\varOmega '\setminus \overline{\varOmega }\).
It is easy to prove the usual conditions of symmetry.
Note, that such a decomposition for plate-domains can also be written in a slightly different way, as in [14, Chap. 11].
References
Arrieta, J.-M., Villanueva-Pesqueira, M.: Thin domains with non-smooth periodic oscillatory boundaries. J. Math. Anal. Appl. 446(1), 130–164 (2017)
Blanchard, D., Griso, G.: Decomposition of deformations of thin rods. Application to nonlinear elasticity. Anal. Appl. 7(1), 21–71 (2009)
Blanchard, D., Gaudiello, A., Griso, G.: Junction of a periodic family of elastic rods with a 3d plate. Part I. J. Math. Pures Appl. 88(1), 1–33 (2007)
Blanchard, D., Gaudiello, A., Griso, G.: Junction of a periodic family of elastic rods with a 3d plate. Part II. J. Math. Pures Appl. 88(2), 149–190 (2007)
Cabarrubias, B., Donato, P.: Homogenization of a quasilinear elliptic problem with nonlinear Robin boundary conditions. Appl. Anal. 91(6), 1–17 (2011)
Cabarrubias, B., Donato, P.: Homogenization of some evolution problems in domains with small holes. Electron. J. Differ. Equ. 2016, 169 (2016)
Caillerie, D.: Thin elastic and periodic plates. Math. Models Methods Appl. Sci. 6(1), 159–191 (1984)
Casado-Díaz, J., Luna-Laynez, M., Martín, J.D.: An adaptation of the multi-scale methods for the analysis of very thin reticulated structures. C. R. Acad. Sci., Sér. 1 Math. 332, 223–228 (2001)
Ciarlet, P.: Mathematical Elasticity, vol. I. North-Holand, Amsterdam (1988)
Ciarlet, P., Ciarlet, P.G.: Another approach to linearized elasticity and a new proof of Korn’s inequality. Math. Models Methods Appl. Sci. 15(2), 259–271 (2005)
Cioranescu, D., Damlamian, A., Griso, G.: Periodic unfolding and homogenization. C. R. Acad. Sci., Sér. 1 Math. 1, 99–104 (2002)
Cioranescu, D., Damlamian, A., Griso, G.: The periodic unfolding method in homogenization. SIAM J. Math. Anal. 40(4), 1585–1620 (2008)
Cioranescu, D., Damlamian, A., Donato, P., Griso, G., Zaki, R.: The periodic unfolding method in domains with holes. SIAM J. Math. Anal. 44(2), 718–760 (2012)
Cioranescu, D., Damlamian, A., Griso, G.: The Periodic Unfolding Method: Theory and Applications to Partial Differential Problems. Springer, Berlin (2018)
Damlamian, A., Vogelius, M.: Homogenization limits of the equations of elasticity in thin domains. SIAM J. Math. Anal. 18(2), 435–451 (1987)
Donato, P., Yang, Z.: The periodic unfolding method for the wave equation in domains with holes. Adv. Math. Sci. Appl. 22(2), 521–551 (2012)
Donato, P., Le Nguyen, H., Tardieu, R.: The periodic unfolding method for a class of imperfect transmission problems. J. Math. Sci. 176(6), 891–927 (2011)
Griso, G.: Decompositions of displacements of thin structures. J. Math. Pures Appl. 89, 199–223 (2008)
Griso, G., Miara, B.: Homogenization of periodically heterogeneous thin beams. Chin. Ann. Math., Ser. B 39(3), 397–426 (2018)
Griso, G., Migunova, A., Orlik, J.: Homogenization via unfolding in periodic layer with contact. Asymptot. Anal. 99(1–2), 23–52 (2016)
Griso, G., Migunova, A., Orlik, J.: Asymptotic analysis for domains separated by a thin layer made of periodic vertical beams. J. Elast. 128(2), 291–331 (2017)
Griso, G., Orlik, J., Wackerle, S.: Asymptotic behavior for textiles. SIAM J. Math. Anal. 52(2), 1639–1689 (2020)
Griso, G., Orlik, J., Wackerle, S.: Asymptotic behavior for textiles in von-Kármán regime. Preprint arXiv:1912.10928
Griso, G., Hauck, M., Orlik, J.: Asymptotic analysis for periodic perforated shells. Preprint available as HAL: https://hal.archives-ouvertes.fr/hal-02285421
Oleinik, O.A., Shamaev, A.S., Yosifian, G.A.: Mathematical Problems in Elasticity and Homogenization, vol. 26. North Holland, Amsterdam (1992)
Panasenko, G.: Multi-Scale Modelling for Structures and Composites. Springer, Dordrecht (2005). ISBN 1-4020-2981-0
Acknowledgements
Open Access funding provided by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A: Korn’s Inequalities
For every open bounded set \({\mathcal{O}}\) in \({\mathbb{R}}^{N}\) and \(\delta >0\), denote \({\mathcal{O}}^{int}_{\delta }=\big \{x\in {\mathcal{O}}\;|\; \hbox{dist}(x,\partial {\mathcal{O}})>\delta \big \}\). The following lemma is used to pass from convergences in \({\mathcal{O}}^{int}_{\delta }\) to convergences in the whole domain \(\mathcal{O}\).
Lemma 8
Let \({\mathcal{O}}\)be an open bounded set in \({\mathbb{R}}^{N}\), and let \(\{\phi _{\varepsilon }\}_{\varepsilon }\)be a sequence of functions belonging to \(H^{1}({\mathcal{O}}^{int}_{\kappa \varepsilon })\) (\(\kappa \)is a fixed strictly positive constant) satisfying
where \(C\)does not depend on \(\varepsilon \). We extend \(\phi _{\varepsilon }\)by 0 to \({\mathbb{R}}^{N}\setminus \overline{{\mathcal{O}}^{int}_{\kappa \varepsilon }}\) (extension with the same name).
Then, there exists a subsequence of \(\{\varepsilon \}\), still denoted by \(\{\varepsilon \}\), and \(\phi \in H^{1}({\mathcal{O}})\)such that
Proof
It follows from (A.1) that there exist \(\phi \in L^{2}({\mathcal{O}})\) and \(\varPhi \in L^{2}({\mathcal{O}})^{N}\) such that (up to a subsequence still denoted by \(\{\varepsilon \}\))
Now, we show that \(\nabla \phi =\varPhi \), so \(\phi \) belongs to \(H^{1}({\mathcal{O}})\).
Let \({\mathcal{O}}'\) be an open subset of \({\mathcal{O}}\) such that \({\mathcal{O}}'\) is strictly included in \({\mathcal{O}}\). If \(\varepsilon \) is small enough, one has \({\mathcal{O}}'\subset {\mathcal{O}}^{int}_{\kappa \varepsilon }\). For all \(\psi \in {\mathcal{D}}({\mathcal{O}}')^{N}\), using the convergences given above we obtain on the one hand
and on the other hand
Hence \(\varPhi =\nabla \phi \) in every open set \({\mathcal{O}}'\) strictly included in \({\mathcal{O}}\). Thus \(\varPhi =\nabla \phi \) a.e. in \({\mathcal{O}}\). So, we have \(\phi \in H^{1}({\mathcal{O}})\). □
1.1 A.1 Korn’s Inequality on \(N\)-Dimensional Domains
See Sect. 2.1 for the principal notations. We also denote (see Fig. 5)
First, we recall the following results proved in [14, Lemmas 5.21, 5.23 and 5.34]:
Proposition 7
Let \(\varOmega \)be a bounded domain in \({\mathbb{R}}^{N}\)with Lipschitz boundary. There exists \(\delta _{0}>0\)such that for all \(\delta \in (0,\delta _{0}]\)the sets \(\varOmega _{\delta }^{int}\)are uniformly Lipschitz.
Proposition 8
Suppose \(p\in [1,+\infty )\). Let \(\ell \)be a function defined on \(\varXi _{\varepsilon }\). There exists a constant \(C\)which only depends on \(p\)and \(\partial \varOmega \)such that
Proposition 9
(Poincaré-Wirtinger inequality for \(\varOmega ^{int}_{\delta }\))
Let \(\varOmega \)be a bounded domain in \({\mathbb{R}}^{N}\)with Lipschitz boundary. Then, there exists \(\delta _{0}>0\)such that the domains \(\varOmega _{\delta }^{int}\)for \(\delta \in (0,\delta _{0}]\)are uniformly Lipschitz. These domains satisfy a uniform Poincaré-Wirtinger inequality for every \(p\in [1,+\infty )\), i.e., there exists a constant \(C\)independent of \(\delta \) (\(C\)depends only on \(p\)and \(\partial \varOmega \)) such that
where \({\mathcal{M}}_{\varOmega _{\delta }^{int}}(\varphi )\)is the mean value of the function \(\varphi \)in the domain \(\varOmega _{\delta }^{int}\).
Below, in every cell we compare a displacement to a rigid displacement. Then, in a second step, we compare the rigid displacements obtained in two neighboring cells. After that, we build a global displacement in order to obtain a Korn’s type inequality.
Let \({\mathbf{C}}_{i}=\hbox{interior}(\overline{\mathbf{C}}\cup {\overline{C}+{\mathbf{e}}_{i}})\) and \(\varPhi \) be a displacement in \({W^{1,p}({\mathbf{C}}_{i})}^{N}\), \(p\in (1,+\infty )\) and \(i\in \{1,\ldots ,N\}\). Applying Korn’s inequality in \({\mathbf{C}}\) and \({\mathbf{C}}+{\mathbf{e}}_{i}\) yields two rigid displacements \({\mathbf{R}}_{i,0}\), \({\mathbf{R}}_{i,1}\), given by
where \({\mathbf{B}}_{i,0}\), \({\mathbf{B}}_{i,1}\) are antisymmetric \(N\times N\) matrices. We have
where the constant depends only on \({\mathbf{C}}\).
Lemma 9
The following estimates hold:
where the constant \(C\)depends only on \({\mathbf{C}}\).
Proof
Since the domain \({\mathbf{C}}_{i}\) is connected and has a Lipschitz boundary, it satisfies Korn’s inequality. Hence, there exists a rigid displacement \({\mathbf{R}}_{i}\),
where \({\mathbf{B}}_{i}\) is an antisymmetric \(N\times N\) matrix. The rigid displacement \({\mathbf{R}}_{i}\) satisfies
where the constant \(C\) depends on \({\mathbf{C}}_{i}\). Hence, by (A.3) and (A.5)
Taking into account the inequality (A.6), we obtain
Subtracting yields (A.4)1.
Now we prove (A.4)2. First observe that
Besides, we have
The previous estimate together with (A.8) and (A.7) gives
Similarly, we obtain
Hence (A.4)2 holds. Thus Lemma 9 is proved. □
Now, let \(u\) be a displacement in \({W^{1,p}(\varOmega _{\varepsilon }^{*})}^{N}\). By Korn’s inequality in \(\varepsilon (\xi + {\mathbf{C}})\) there exist rigid displacements \({\mathbf{R}}_{\varepsilon \xi }\) (\(\xi \in \varXi _{\varepsilon }\)),
such that (using (A.3) and after \(\varepsilon \)-scaling)
As above we obtain the following estimates for every \(\xi \in \varXi _{\varepsilon ,i}\):
where \({\mathbf{C}}_{i}^{\xi }=\hbox{interior} \big ((\overline{\mathbf{C}}+\xi )\cup ({ \mathbf{e}}_{i}+\xi +\overline{\mathbf{C}})\big )\).
An immediate consequence of Lemma 9, we have
Lemma 10
The following estimates hold:
where the constant \(C\)depends only on \({\mathbf{C}}\).
Let \(\xi \) be in \(\varXi _{\varepsilon }\). If all the vertices of the parallelotope \(\varepsilon (\xi +\overline{Y})\) belong to \(\varXi _{\varepsilon }\), we extend the field \({\mathbf{a}}\) (or \({\mathbf{B}}\), resp.) to this parallelotope as the \(Q_{1}\) interpolate of its values at the vertices of the parallelotope.
We obtain a field, still denoted \({\mathbf{a}}\) (or \({\mathbf{B}}\), resp.), defined at least in \(\varOmega ^{int}_{2\varepsilon \sqrt{N}}\). This field belongs to \(W^{1,\infty }(\varOmega ^{int}_{2\varepsilon \sqrt{N}})^{N}\) (resp. \(W^{1,\infty }(\varOmega ^{int}_{2\varepsilon \sqrt{N}})^{N\times N}\)).
Lemma 11
For every displacement \(u\in W^{1,p}(\varOmega _{\varepsilon }^{*})^{N}\)the following estimates hold
where the constants do not depend on \(\varepsilon \).
Proof
A straightforward calculation and the estimates in Lemma 10 yield (A.11)1,2. Then (A.11)2 gives (A.11)3 (recall that \({\mathbf{B}}\) is an antisymmetric \(N\times N\) matrix). Thus Lemma 11 is proved. □
We assume that there exists a domain \(\varOmega '\) with a Lipschitz boundary such that \(\varOmega \subset \varOmega '\) and \(\varOmega '\cap \partial \varOmega =\varGamma\).
Denote
where
Theorem 4
(Korn’s inequality)
For every displacement \(u\in W^{1,p}(\varOmega _{\varepsilon }^{*})^{N}\), \(p\in (1,+\infty )\), there exists a rigid displacement \({\mathbf{R}}\)such that
Furthermore, if \(u\in W^{1,p}_{\varGamma }(\varOmega _{\varepsilon }^{*})^{N}\)then
where the constants \(C\)in (A.12), (A.13) do not depend on \(\varepsilon \).
Proof
Since the boundary of \(\varOmega ^{int}_{2\varepsilon \sqrt{N}}\) is uniformly Lipschitz, Korn’s inequality and (A.11)3 give a rigid displacement \(\overline{{\mathbf{R}}}\) such that
Then (A.11)2 and the previous estimate lead to
Denote \({\mathcal{B}}=\nabla \overline{{\mathbf{R}}}\). Hence
The estimate (A.10)1 in Lemma 10 together with the previous estimate and Lemma 8 yield
Now, from Proposition 9 and (A.11)3, there exits \(a\in {\mathbb{R}}\) such that
Hence
The estimates (A.14), (A.10)2 together with the previous estimate and Lemma 8 yield
Let \({\mathbf{R}}=a+{\mathcal{B}}x\). Then estimates (A.9) and (A.14), (A.15) lead to (A.12).
If \(u\) belongs to \(W^{1,p}_{\varGamma }(\varOmega _{\varepsilon }^{*})^{N}\), applying the previous result (A.12) with \(u'\) in place of \(u\), and \(\varOmega '\) in place of \(\varOmega \), gives a rigid displacement \({\mathbf{R}}'\) such that
Let \({\mathcal{O}}\) be an open set such that \({\mathcal{O}}\) strictly included in \(\big (\varOmega '\setminus \overline{\varOmega }\big )\). For \(\varepsilon \) small enough, the function \(u'\) vanishes in \({\mathcal{O}}\cap \varOmega ^{\prime *}_{\varepsilon }\).
Hence
which yields an estimate, independent of \(\varepsilon \), for the components of \({\mathbf{R}}'\). Thus the estimate (A.13) follows. □
1.2 A.2 Korn’s Inequality on a Plate-Like Domain
In this subsection, the proofs of the lemmas are similar to the proofs of those in the previous subsection.
The notations are those of Sect. 3.1. We recall that \({\mathbf{C}}\) is a domain with Lipschitz boundary included in \(Y=(-1/2,1/2)^{3}\) and such that the sets \({\mathbf{C}}_{\alpha }=\hbox{interior}\big (\overline{\mathbf{C}}\cup ( \overline{\mathbf{C}}+{\mathbf{e}}_{\alpha })\big )\), \(\alpha =1,2\), are connected.
Let \(u\) be in \(H^{1}(\varOmega ^{*}_{\varepsilon })^{3}\). For every \(\xi \in \varXi _{\varepsilon }\) there exists a rigid displacement \({\mathbf{R}}_{\varepsilon \xi }\),
such that
Remark 2
By construction, the fields \(\boldsymbol{\mathcal{U}},\,\boldsymbol{\mathcal{R}}\) are piecewise linear in each cell.
In the same way as in Lemma 10 we get the following lemma:
Lemma 12
The following estimates hold:
The constant \(C\)depends only on \({\mathbf{C}}\).
As in the previous subsection, using \(Q_{1}\) interpolation we extend the fields \(\boldsymbol{\mathcal{U}}\) and \(\boldsymbol{\mathcal{R}}\) to the whole domain \(\omega ^{int}_{3\varepsilon }\) and obtain two fields \({\mathcal{U}}\in W^{1,\infty }(\omega ^{int}_{3\varepsilon })^{3}\) and \({\mathcal{R}}\in W^{1,\infty }(\omega ^{int}_{3\varepsilon })^{2}\) satisfying
Below, we use the plate decomposition from [18]. We define the displacement \({\mathbf{U}}^{e}\) as
Lemma 13
For every displacement \(u\in H^{1}(\varOmega _{\varepsilon }^{*})^{3}\)we have
The constant \(C\)depends only on \({\mathbf{C}}\).
Proof
The estimates (A.18) are the consequences of (A.17) and the fact that the fields \({\mathcal{U}}\) and ℛ are piecewise linear in every cell. □
Theorem 5
For every displacement \(u\in H^{1}(\varOmega ^{*}_{\varepsilon })^{3}\), there exists a rigid displacement \({\mathbf{R}}\)such that
The constant \(C\)does not depend on \(\varepsilon \).
Proof
From Proposition 9, there exits \((b_{1}, b_{2})\in {\mathbb{R}}^{2}\) such that
Then, the previous estimate, (A.17)1 and Proposition 8 yield
Furthermore, (A.18)2 and (A.19) lead to
Proceeding as above, there exists \(a_{3}\in {\mathbb{R}}\) such that
From (A.18)2 we also obtain
Since the boundary of \(\omega ^{int}_{3\varepsilon }\) is uniformly Lipschitz, Korn’s inequality for \(2D\) gives a rigid displacement \(r(x_{1},x_{2})=(a_{1}-b_{3} x_{2}){\mathbf{e}}_{1}+(a_{2}+b_{3} x_{1}){ \mathbf{e}}_{2}\) such that
These estimates and (A.18)2 imply that
Then, as above, we obtain
By choosing \({\mathbf{R}}(x)=a+b\land x\) and using (A.16) we complete the proof of the theorem. □
Let \(\gamma \) be a subset of \(\partial \omega \) with a non-zero measure. Assume that there exists a domain \(\omega '\) with Lipschitz boundary such that
Denote
where
Theorem 6
For every displacement \(u\)in \({\mathbf{V}}_{\varepsilon }\)the following estimates hold
The constant \(C\)does not depend on \(\varepsilon \).
Proof
Since \(u\) belongs to \({\mathbf{V}}_{\varepsilon }\), there exists \(u'\in H^{1}(\varOmega ^{\prime *}_{\varepsilon })^{3}\) such that \(u=u'_{|\varOmega ^{*}_{\varepsilon }}\), \(u'=0\) in \(\varOmega ^{\prime *}_{\varepsilon }\,\setminus \, \overline{\varOmega ^{*}_{\varepsilon }}\). Then, applying Theorem 5 with \(u'\) in place of \(u\), and \(\varOmega '\) in place of \(\varOmega \), gives a rigid displacement \({\mathbf{R}}'\) such that
Let \({\mathcal{O}}\) be an open set such that \({\mathcal{O}}\) is strictly included in \(\big (\omega '\setminus \overline{\omega }\big )\). For \(\varepsilon \) small enough, the function \(u'\) vanishes in \({\mathcal{O}}\times (-\varepsilon /2,\varepsilon /2)\cap \varOmega ^{\prime *}_{\varepsilon }\). Then the terms of its decomposition \({\mathcal{U}}'\) and \({\mathcal{R}}'\) also vanish in \({\mathcal{O}}\). Hence, one can choose \({\mathbf{R}}'=0\) without changing the estimates (A.21). So, (A.20) follows. □
As a consequence of the two previous theorems, we obtain the following result
Corollary 1
For every displacement \(u\)in \({\mathbf{V}}_{\varepsilon }\)the following estimates hold:
and
The constants \(C\)do not depend on \(\varepsilon \).
1.3 A.3 Korn’s Inequality on a Beam-Like Domain
In this subsection, the notations are those of Sect. 4.1.
For every displacement \(u\in H^{1}(\varOmega ^{*}_{\varepsilon })^{3}\), Korn’s inequality applied on the domain \(\varepsilon (\xi +{\mathbf{C}}), \,\xi \in \varXi _{\varepsilon }\), gives a rigid displacement \({\mathbf{R}}_{\varepsilon \xi }\),
such that
Remark 3
By construction, the fields \(\boldsymbol{\mathcal{U}}\) and \(\boldsymbol{\mathcal{R}}\) are piecewise constant.
In the same way as in Lemmas 10-12 we get
Lemma 14
The following estimates hold:
The constant \(C\)depends only on \({\mathbf{C}}\).
Define
Now, using \(Q_{1}\) interpolation, we extend the fields \(\boldsymbol{\mathcal{U}}\) and \(\boldsymbol{\mathcal{R}}\) to fields \({\mathcal{U}}\), ℛ belonging to \(W^{1,\infty }(0,L)^{3}\) and such that
Let us introduce the displacement \({\mathbf{U}}^{e}\) as follows:
Lemma 15
For every displacement \(u\in H^{1}(\varOmega ^{*}_{\varepsilon })^{3}\)the following estimates hold:
Moreover,
The constant \(C\)in (A.26), (A.27) depends only on \(\mathbf{C}\).
Proof
The estimates (A.25) yield (A.26)1,2. A straightforward calculation and (A.26)1,2 lead to (A.26)3. Then, taking into account (A.24), we obtain (A.27). □
Denote
Lemma 16
For every displacement \(u\in {\mathbf{V}}_{\varepsilon }\)the following estimates hold:
and
The constant \(C\)in (A.28), (A.29) does not depend on \(\varepsilon \).
Proof
We extend \(u\) by 0 to the cell \(\varepsilon \big (-{\mathbf{e}}_{3}+{\mathbf{C}})\). Then, proceeding as in Lemma 9 we obtain
Without losing the estimates (A.26), we set \({\mathcal{U}}(0)={\mathcal{R}}(0)=0\). Estimates (A.28) are the immediate consequences of (A.26)1,2 and the Poincaré inequality. Finally (A.24) and (A.28) lead to (A.29). □
As a consequence of the previous lemma and (A.24), we have the following decomposition of a displacement \(u \in {\mathbf{V}}_{\varepsilon }\):
where the displacement \({\mathbf{U}}^{e}\) is given by
and where the displacement \(\overline{u}\in {\mathbf{V}}_{\varepsilon }\) satisfies the estimates (see [18])
The constant \(C\) in (A.30) does not depend on \(\varepsilon \).
Appendix B: Proofs of the Results of Sects. 2, 3 and 4
2.1 B.1 Results of Sects. 2
Proof of Lemma 1
From (A.13) in Theorem 4, we have
Then, using the Cauchy-Schwarz inequality, we obtain
and thus (2.10) follows from (2.2). □
Proof of Proposition 2
There exists a subsequence of \(\{\varepsilon \}\), still denoted \(\{\varepsilon \}\), and exist \(u \in H^{1}_{\varGamma }(\varOmega )^{N}\) and \(\widehat{u}\in L^{2}(\varOmega ; H^{1}_{N,per,0}({\mathbf{C}}))^{N}\) such that (see [14, Theorem 4.43])
In order to obtain the limit problem (2.12), we use the same approach as in [13, Theorem 4.3]. Let us introduce the following fields
and take \(v_{\varepsilon }(x)=v(x)+\varepsilon \psi _{\varepsilon }(x)\varphi (x)\) as a test function in (2.6), where \(\psi _{\varepsilon }(x)=\psi \Big (\frac{x}{\varepsilon } \Big )\). Note that
Then, applying \({\mathcal{T}}_{\varepsilon }^{*}\) to \(v_{\varepsilon }\), gives
Unfolding the left-hand side of (2.6), using \(\|e(v_{\varepsilon })\|_{L^{2}(\varLambda ^{ext}_{\varepsilon })}=\|e(v)\|_{L^{2}( \varLambda ^{ext}_{\varepsilon })} \to 0\) and passing to the limit, we obtain
Taking into account (2.4) and using \(\|v_{\varepsilon }\|_{L^{2}(\varLambda ^{ext}_{\varepsilon })}=\|v\|_{L^{2}( \varLambda ^{ext}_{\varepsilon })}\to 0\), we have
Hence, the convergences given above lead to
Finally, since the functions \(v\in H^{1}(\varOmega _{1})^{N}\) satisfying \(v=0\;\; \hbox{in }\; \varOmega _{1}\cap \big (\varOmega '\setminus \overline{\varOmega }\big )\) are dense in \(H^{1}_{\varGamma }(\varOmega )\) and since the tensor product \({\mathcal{D}}(\varOmega ) \otimes H^{1}_{N,per,0}({\mathbf{C}})\) is dense in \(L^{2}(\varOmega ; H^{1}_{N,per,0}({\mathbf{C}}))\), we obtain (2.12).
The solution to the variational problem (2.12) is unique. Indeed, if there are two solutions \((u_{1},\widehat{u}_{1})\) and \((u_{2},\widehat{u}_{2})\) to this problem, denote \(U=u_{1}-u_{2}\) and \(\widehat{U}=\widehat{u}_{1}-\widehat{u}_{2}\). Taking into account the respective equalities from (2.12) and choosing the test functions \(U,\; \widehat{U}\), we obtain
The property (2.2) of the elasticity tensor \(\{a_{ijkl}\}\) yields
So \(e(\widehat{U})=-e(U)\) and thus the field \(\widehat{U}\) is an affine function with respect to \(X\). Since \(\widehat{U}\) is periodic with respect to \(X\) and belongs to \(L^{2}(\varOmega ; H^{1}_{N,per,0}({\mathbf{C}}))^{N}\), it is equal to 0 (because its mean value on the cell is equal to 0). Hence, \(e(U)=0\) and due to the boundary conditions we obtain \(U=0\). Finally, the whole sequences in (B.1) converge to respective limits.
Now, we prove the strong convergences (2.11)2,3. By Proposition 1, (2.6) and (2.12) we have
Thus, the strong convergence (2.11)3 holds. □
2.2 B.2 Results of Sects. 3
Proof of Lemma 2
Taking into account the decomposition of the displacements introduced in Sect. A.2 of Appendix A, the Cauchy–Schwarz inequality and the estimates (A.16) and (A.23) of Corollary 1, we have
Each term on the right-hand side of (B.2) can be estimated as follows:
Hence
And finally, from the previous two estimates
Using this estimate, we obtain (3.8). □
Proof of Lemma 3
In order to prove (i)-(ii), we note that from the estimates (3.8) and \(\text{(A.22)}_{1}\) in Corollary 1 and Lemma 8, it follows that there exist functions \({\mathcal{U}}\in H^{1}(\omega ')^{3}\) and \({\mathcal{R}}\in H^{1}(\omega ')^{2}\) such that the following convergences hold
Now we prove that the fields \({\mathcal{U}}_{\alpha }\), ℛ, \({\mathcal{U}}_{3}\) and \(\nabla {\mathcal{U}}_{3}\) vanish in \(\omega ^{\prime }\setminus \overline{\omega }\).
Let \({\mathcal{O}}\) be an open subset such that \({\mathcal{O}}\) is strictly included in \(\omega '\setminus \overline{\omega }\). Since \(u_{\varepsilon }\) vanishes in \(\varOmega ^{\prime *}_{\varepsilon }\setminus \overline{\varOmega _{\varepsilon }^{*}}\), then the fields \({\mathcal{U}}_{\varepsilon }\), \({\mathcal{R}}_{\varepsilon }\) vanish in \(\omega ^{\prime }_{\varepsilon }\setminus \overline{\omega ^{\prime int}_{3\varepsilon }}\). If \(\varepsilon \) is small enough then \({\mathcal{O}}\subset \omega ^{\prime }_{\varepsilon }\setminus \overline{\omega ^{\prime int}_{3\varepsilon }}\). Thus, by construction, the fields \({\mathcal{U}}_{\varepsilon ,\alpha }\), \({\mathcal{R}}_{\varepsilon }\), \({\mathcal{U}}_{\varepsilon ,3}\) and \(\nabla {\mathcal{U}}_{\varepsilon ,3}\) vanish in \({\mathcal{O}}\). As a consequence, their weak limits also vanish in \({\mathcal{O}}\). Since this holds for every open set \(\mathcal{O}\) strictly included in \(\omega '\setminus \overline{\omega }\), this is also satisfied in the full set \(\omega '\setminus \overline{\omega }\). Estimate \(\text{(A.18)}_{2}\) in Lemma 13 leads to
From convergences (3.9)4 and (3.10)1 we also have
and then we get the equalities (3.11). Thus, we have \({\mathcal{U}}_{3}\in H^{2}(\omega ')\).
(iii) From estimates \(\text{(A.22)}_{3,4}\) in Corollary 1, we obtain
Thus, for a subsequence, still denoted by \(\{\varepsilon \}\), there exists \(\overline{u}\in L^{2}(\omega ^{\prime };H^{1}_{2,per}({\mathbf{C}}))\) such that the convergences \(\text{(3.12)}_{1,2}\) hold. □
Proof of Lemma 4
Applying [12, Proposition 2.9] and the equality (3.11) we have the convergences (3.13)1,2, (3.14)1 and there exist functions \(\widehat{\mathcal{{R}}}_{\alpha },\;\widehat{\mathcal{{U}}}_{\alpha },\; \widehat{\mathcal{{U}}}_{3} \in L^{2}(\omega ';H^{1}_{2,per,0}({\mathbf{C}})), \,( \alpha =1,2)\) such that
From Remark 2, the functions \({\mathcal{R}}_{\varepsilon ,\alpha },\,{\mathcal{U}}_{\varepsilon ,\alpha },\; { \mathcal{U}}_{\varepsilon ,3}\) are piecewise linear with respect to the variables \(X_{\beta }\,(\beta =\overline{1,2})\). Thus, the functions \(\widehat{\mathcal{R}}_{\alpha },\,\widehat{\mathcal{U}}_{\alpha },\, \widehat{\mathcal{U}}_{3}\) are also piecewise linear. As they are periodic, these fields are independent of \(X_{\beta }\), \(\beta \in \{1,2\}\). Hence
and the convergences \(\text{(3.13)}_{3}\), \(\text{(3.14)}_{2}\) hold. □
Proof of Proposition 4
From \(\text{(3.13)}_{1,2}\), \(\text{(3.14)}_{1}\) and \(\text{(3.12)}_{2}\), we obtain the convergences (3.15).
From estimate \(\text{(A.18)}_{2}\) and (3.8) we have
Then there exists \({\mathcal{X}}\in {L^{2}(\omega )}^{2}\) such that
Due to \(\text{(3.14)}_{2}\), (B.4) and [14, Lemma 11.11], there exists a function \(\widehat{\mathcal{{Z}}}\in L^{2}(\omega ;H^{1}_{2,per}({\mathbf{C}}))\) such that, up to subsequence,
where the field \(\widehat{{\mathcal{R}}}_{\alpha }\) is introduced in Lemma 4 (see (B.3)). Since \(\widehat{\mathcal{{R}}}\) is independent of \(X_{1}\) and \(X_{2}\) and mean value of \(\widehat{\mathcal{{R}}}\) on a cell equal to zero, we have
In order to prove \(\text{(3.16)}_{1}\), note that from (3.7) and convergences (3.13), (3.14), we have
Denote
where \(C\) is determined in order to get \(\int _{\mathbf{C}}\,\widehat{u}(\cdot ,X)\,dX=0\) a.e. in \(\omega \). And thus \(\text{(3.16)}_{1}\) follows. Then, taking into account the definition (2.3), we have \(\text{(3.16)}_{2}\).
To obtain the limit problem (3.17), let us define the following fields
and take the test function in (3.3) as
where \(\psi _{\varepsilon }(x)=\psi \Big (\frac{x}{\varepsilon } \Big )\). Then
Applying the unfolding operator \({\mathcal{T}}_{\varepsilon }^{*}\) to the stress tensor \(e(v_{\varepsilon })\), given by (B.6), and passing to the limit as \(\varepsilon \to 0\), we obtain
where \({\mathcal{V}}_{m}=({\mathcal{V}}_{1},{\mathcal{V}}_{2})\).
Unfolding the left-hand side of (3.3) and taking into account that by virtue of (3.8), (B.6) and Cauchy-Schwarz inequality
we have
Unfold the right hand side of (3.3)
Taking into account the form of the applied forces (3.1), the first term on the right-hand side of (B.8) can be rewritten as follows
and, thus, as \(\varepsilon \to 0\) we obtain
Using (3.1) the second term on the right-hand side of (B.8) can be rewritten as follows
and, thus, as \(\varepsilon \to 0\)
Hence, taking into account \(\text{(3.16)}\), (B.7) and the convergences obtained above, we can pass to the limit as \(\varepsilon \to 0\)
Finally, since the tensor product \({\mathcal{D}}(\omega ) \otimes H^{1}_{2,per}({\mathbf{C}})\) is dense in \(L^{2}(\omega ; H^{1}_{2,per}({\mathbf{C}}))\), we obtain the limit problem (3.17). □
2.3 B.3 Results of Sects. 4
Proof of Lemma 6
Taking into account the estimates in Lemma 16, we have
and thus (4.12) follows. □
Proof of Lemma 7
(i)-(iii) From (4.10)1,3 in Lemma 5, [12, Theorem 3.6] and [14, Corollary 1.37] it follows that there exist functions \({\mathbb{U}}\in H^{2}_{\varGamma }(0,L),\,\varTheta \in H^{1}_{\varGamma }(0,L), \,{\underline{u}}\in H^{1}_{\varGamma }(0,L)^{3}\) such that the convergences (4.13), \(\text{(4.14)}_{1,2}\), (4.17), \(\text{(4.18)}_{1}\), (4.20) and \(\text{(4.21)}_{1}\) hold.
The functions \({\mathcal{R}}_{\varepsilon }\), \({\underline{u}}_{\varepsilon ,3}\) are piecewise linear with respect to the variable \(x_{3}\), hence
As a consequence, we obtain
From the estimates (4.12) and (4.10), there exists \(\widehat{{\underline{u}}}_{\alpha }\in L^{2}((0,L),H^{1}_{1,per}(0,1))\) (\(\alpha \in \{1,2\}\)) such that
(iv) From (4.11), \(\text{(4.4)}_{2}\) and (4.5), it follows that
and, thus, for a subsequence, still denoted by \(\{\varepsilon \}\), there exists \(\overline{u}\in L^{2}((0,L);H^{1}({\mathbf{C}}))\) such that the convergence \(\text{(4.24)}_{1}\) holds. The periodicity of \(\overline{u}\), that is \(\overline{u} \in L^{2}((0,L),H^{1}_{1,per}({\mathbf{C}}))\), can be proved in a similar way as in [13, Theorem 2.1]. From \(\text{(4.24)}_{1}\) and \(\text{(4.4)}_{2}\) we have \(\text{(4.24)}_{2}\) and \(\text{(4.24)}_{3}\). □
Proof of Proposition 6
From \(\text{(4.14)}_{1,2}\), \(\text{(4.18)}_{1}\), \(\text{(4.21)}_{1}\) and \(\text{(4.24)}_{1}\), we obtain the convergences (4.25).
By virtue of (4.9), \(\text{(4.14)}_{3}\), \(\text{(4.18)}_{2}\) and \(\text{(4.21)}_{2,3}\) we have
Denote
where \(C\) is determined in order to get \(\int _{\mathbf{C}}\,\widehat{u}(\cdot ,X)\,dX=0\) a.e. in \((0,L)\). And thus \(\text{(4.26)}_{1}\) follows. Then, taking into account the definition (2.3), we get \(\text{(4.26)}_{2}\).
To obtain the limit problem (4.27), let us introduce the following fields
and take the test function in (4.3) as
where \(\psi _{\varepsilon }(x)=\psi \Big (\frac{x}{\varepsilon } \Big )\), \(\psi \in {H^{1}_{1,per}({\mathbf{C}})}^{3}\). Then
Applying the unfolding operator \({\mathcal{T}}_{\varepsilon }^{*}\) to the stress tensor \(e(v_{\varepsilon })\) (B.9) and passing to the limit as \(\varepsilon \to 0\), we obtain
Unfolding the left-hand side of (4.3) gives
Unfolding the right-hand side of (4.3) and applying (4.1) leads
Hence, taking into account \(\text{(4.26)}\), (B.10) and the convergences obtained above, we can pass to the limit as \(\varepsilon \to 0\)
Finally, since the tensor product \({\mathcal{D}}(0,L) \otimes H^{1}_{1,per}({\mathbf{C}})\) is dense in \(L^{2}((0,L); H^{1}_{1,per}({\mathbf{C}}))\), we obtain the limit problem (4.27). □
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Griso, G., Khilkova, L., Orlik, J. et al. Homogenization of Perforated Elastic Structures. J Elast 141, 181–225 (2020). https://doi.org/10.1007/s10659-020-09781-w
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10659-020-09781-w
Keywords
- Homogenization
- Periodic unfolding method
- Dimension reduction
- Linear elasticity
- Perforated non-Lipschitz domains
- Plate
- Beam
- Extension operators
- Korn’s inequalities