Abstract
We derive two different effective models from a heterogeneous Cosserat continuum taking into account the Cosserat intrinsic length of the constituents. We pass to the limit using homogenization via periodic unfolding and in doing so we provide rigorous proof to the results introduced by Forest, Pradel, and Sab (Int. J. Solids Struct. 38 (26-27): 4585-4608 ’01). Depending on how different characteristic lengths of the domain scale with respect to the Cosserat intrinsic length, we obtain either an effective classical Cauchy continuum or an effective Cosserat continuum. Moreover, we provide some corrector type results for each case.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In recent years it has been widely observed that mechanical properties of composite materials that are used in a variety of applications depend on different characteristic lengths. These characteristic lengths are determined either by the structure itself or by the characteristics of an underlying microstructure or by a combination of both [22,23,24, 34, 36]. The phenomena described above can give rise to corresponding macroscopic properties of the composite that may be vastly different from the underlying material properties. Moreover, in cases where these characteristic lengths of the problem become comparable with the characteristic length of the microstructure, classical theory of continuum mechanics loses its accuracy in describing the mechanical behavior of such materials. These type of phenomena described above are often referred to as size effects and one way of accounting for size effects in composites is to model them using generalized continuum theories. One of the earliest generalized continuum theories was that of the Cosserat brothers [3] where they introduced the notion of the couple-stress. Their original development of the theory was largely underappreciated during their time only to be revisited again (and expanded) in the early sixties onwards [10,11,12, 26,27,28,29, 32, 40, 41]. Cosserat continuum mechanics incorporates size effects naturally through an intrinsic length scale parameter \(\ell _c\) which, loosely speaking, can be considered as a measure of the absolute size of the constituents in the unit cell. Generalized continuum theories have applications in the modeling of materials with microstructure, granular materials, fibrous materials, or materials with a lattice structure [13, 14, 27, 28, 39]. One of the methods specifically designed for the analysis of highly heterogeneous and microstructured materials is the theory of homogenization [1, 2, 30, 38]. In this theory, the effective material properties of periodic structures are defined by the analysis on a periodicity cell and, in turn, these properties depend on the mechanics of constituents and the geometry of the periodic structure but are independent of the external boundary conditions and applied forces. They are normally determined in the limit as the size of the microstructure \(\varepsilon \rightarrow 0\). Moreover, homogenization seems like a natural fit to explore connections between generalized continuum theories and classical theory for heterogenous structures.
Generalized continuum theories fall into two categories: higher grade theory that introduces higher gradients of the displacement field to the usual strain tensor and higher order theory that includes additional degrees of freedom. Regarding the former there is a vast literature of deriving second grade models through constitutive modelling, dimensional reduction or homogenization techniques [9, 16, 18, 19, 35, 37, 39]. We point out that the authors in [9] provide a historical perspective and theoretical overview of higher grade continua. Regarding the latter, where one allows for additional degrees of freedom as in a Cosserat continuum, a series of works appeared in the late nineties addressing estimation of effective properties of heterogenous Cosserat materials taking into account size effects [13,14,15]. In particular, the authors in [13] consider periodic heterogenous Cosserat material taking into account a hierarchy of three characteristic lengths when obtaining the homogenous equivalent medium: the characteristic size of inhomogeneities, the Cosserat intrinsic length of the constituents, and the typical size of the considered structure. Heuristically, using two-scale expansions, the authors derived different homogenized models based on how the three characteristic lengths scale with respect to one another and, moreover, validated their results using finite element calculations.
The aim of this work is to provide the mathematical underpinnings that make the work in [13] mathematically rigorous. Specifically, we consider a periodic Cosserat body \(\Omega \) with body forces and body-couples acting on it,
with \(\sigma \) the non-symmetric stress tensor, \(\mu \) the couple-stress tensor, \({\pmb \epsilon }\) the Levi-Civita tensor with \({{\pmb \epsilon }:\sigma } = \sum _{j,k=1}^{3} {\pmb \epsilon }_{ijk}\sigma _{jk}\) for \(i \in \{ 1,2,3 \}\), \({\pmb f}\) are body forces, and \({\pmb g}\) are body couples. Moreover, the constitutive relations are given by,
for i,j \(\in \{ 1,2,3 \}.\)
Here, we have defined the non-symmetric strain tensor and the torsion tensor (or curvature-twist tensor or curvature tensor or curvature) respectively, by,
where \({\pmb u}\) is the displacement and \({\pmb \varphi }\) is the rotation. In this work we will assume we deal with centro-symmetric bodies and hence the fourth order tensor \(B_{ijk\ell } \equiv 0\) for \(i,j,k,\ell \in \{ 1, 2, 3 \}\) [32]. Using the dimensional analysis done in [13] to obtain the hierarchy of models based on the scaling of the Cosserat intrinsic length \(\ell _c\) with respect to the overall length of the domain \(\underline{{\pmb l}}\) or the length of the periodic cell \(\ell \), and the periodic unfolding method we pass to the limit in each case. We obtain two different effective models: If \(\ell _c / \ell \) remains constant when \(\ell / \underline{{\pmb l}}\) goes to zero we obtain an effective Cauchy continuum where the effective moduli tensor depends on a standard set of local problems as in classical homogenization and on a set of local problems that contain the contribution of the rotations. If \(\ell _c / \underline{{\pmb l}}\) remains constant when \(\ell / \underline{{\pmb l}}\) goes to zero then we obtain an effective Cosserat continuum. In both cases we verify the results in [13]. Additionally, we prove certain corrector type results using the adjoint of the unfolding operator (the averaging operator).
The paper is organized as follows: In Sect. 2 we reproduce the dimensional analysis in [13], provide some background, and set up the model. In Sect. 3 we recall the definition of the unfolding and averaging operators and prove the main results. Section 4 is devoted to proving certain corrector type results using the averaging operator. We need to remark that we refer to the above as corrector type results as they involve both the displacement and the rotations unlike in classical elasticity where only the displacement is involved. To the author’s knowledge, these corrector type results are new in their entirety. Finally, in Sect. 5 we provide some conclusions and remarks.
2 Background and set up of the problem
2.1 Cosserat intrinsic length of the constituents
Let \(\underline{{\pmb l}}\) be the characteristic length of the domain \(\Omega \) and \(\ell \) the characteristic length of the periodic cell. We define the dimensionless coordinates, displacement, and rotation as in [13],
In Cosserat media there is another length scale parameter that is of importance, namely, the Cosserat intrinsic length \(\ell _c\) of the constituents [13, 14]. The following nondimensionalization was done in [13, 14] and we include it here for completion of the presentation. Hence, in accordance with [13], the Cosserat intrinsic length is defined as follows,
where \({\mathcal {L}} = \max _{{\pmb z} \in Y_\ell } |L_{jikl}({\pmb z})|\), \({\mathcal {C}} = \max _{{\pmb z} \in Y_\ell } |C_{jikl}({\pmb z})|\) for \(i,j,k,l \in \{ 1,2,3 \}\), and \(Y_\ell =(-\ell /2,\ell /2]^d\) is periodic cell characterizing the body \(\Omega \). Additionally, the non-symmetric strain and curvature nondimensionalize respectively as,
Moreover, we define the nondimensional stress, couple-stress, and fourth order material tensors as follows,
We remark that the fourth order material tensors \({\mathbb {L}}^*({\pmb x}^*) = \{ L^*_{jik\ell } ({\pmb x}*) \}_{j,i,k,\ell =1}^{3}\) and \({\mathbb {C}}^*({\pmb x}^*)=\{C^*_{jik\ell } ({\pmb x}*) \}_{j,i,k,\ell =1}^{3}\) are \(Y^*\) periodic where,
Hence, the system of Eq. in (1.1) scales as,
where \({\pmb f}^*\), and \({\pmb g}^*\) are the appropriately scaled body forces and body-couples (see [13, Eq. (14), pg. 4589]) and with constitutive laws,
Thus, one can generate an \(\varepsilon \) periodic problem by defining the nondimensional number \(\varepsilon \) as the ratio of \(\ell / \underline{{\pmb l}}\) and let \(\varepsilon \rightarrow 0\) to obtain an effective medium. However, different cases ought to be considered depending on how \(\ell _c\) scales with \(\ell \) and \(\underline{{\pmb l}}\), respectively [13]. Here we consider the cases,
If \(\ell _c / \ell \sim 1\) then \(\mu ^*_{ji} = \sum _{k,\ell =1}^{3}\left( \frac{\ell _c}{\underline{{\pmb l}}} \right) ^2 \, L^*_{jik\ell } \kappa ^*_{k\ell }\) for \(i,j \in \{ 1,2,3 \}\). Using the definition \(\varepsilon =\ell /\underline{{\pmb l}}\) and omitting the \(*\) notation the couple stress becomes,
![figure a](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs11587-021-00610-3/MediaObjects/11587_2021_610_Figa_HTML.png)
If \(\ell _c / \underline{{\pmb l}} \sim 1\) then \(\mu ^*_{ji} = \sum _{k,\ell =1}^{3} \left( \frac{\ell _c}{\underline{{\pmb l}}} \right) ^2 \, L^*_{jik\ell } \kappa ^*_{k\ell }\) for \(i,j \in \{ 1,2,3 \}\) becomes,
![figure b](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs11587-021-00610-3/MediaObjects/11587_2021_610_Figb_HTML.png)
The former allows one to pass from a Cosserat continuum in the microscale to a Cauchy continuum in the macroscale as \(\varepsilon \rightarrow 0\) where all the relevant information are now captured in a new homogenized tensor which can be computed explicitly with the aid of an additional set of local problems. The latter allows one to obtain an effective Cosserat medium as \(\varepsilon \rightarrow 0\).
2.2 Notation
To expedite the presentation of our results, here onwards we will make use of the following notation:
-
We employ the Einstein notation of repeated indices unless otherwise stated.
-
The real numbers \(\alpha , \beta \in {{\mathbb {R}}}\) are generic constants such that \(0<\alpha \) and \(0<\beta \).
-
For any two second order tensors \(\mathrm{A}\) and \(\mathrm{B}\) we define the Frobenius inner product as \(\mathrm{A : B} = A_{ij} B_{ij}\).
-
= \(\big \{all\,fourth\,order\,tensors\,in\,L^\infty (\Omega ; \mathbb {R}^{d\times d \times d \times d})\) acting on matrices such that for any matrix \(\zeta \in \mathbb {R}^{d \times d}\), \({\mathbb {L}}({\pmb x}) \, \zeta :\zeta \ge \alpha |\zeta |^2 \text { and } \beta \, |\zeta |^2 \le {\mathbb {L}}^{-1}({\pmb x}) \, \zeta :\zeta \) for a.e. \({\pmb x} \in \Omega \big \}\).
-
Any fourth order tensor of the form \({\mathbb {T}}^\varepsilon ({\pmb x})\) is defined, as usual, by \({\mathbb {T}}^\varepsilon ({\pmb x}) :={\mathbb {T}} \Big ( \frac{{\pmb x}}{\varepsilon } \Big )\).
-
In addition to the standard Sobolev space \(H^1(\Omega )\) we define the following spaces:
$$\begin{aligned} H^1_{\Gamma _0}(\Omega )= & {} \left\{ w \in H^1(\Omega ) \mid \, w{\big |_{\Gamma _0}} = 0 \text { on } \Gamma _0 \right\} , \\ H(\mathrm{curl}; \Omega )= & {} \left\{ w \in L^2(\Omega ; {{\mathbb {R}}}^d) \mid \, \mathrm{curl}(w) \in L^2(\Omega ; {{\mathbb {R}}}^d) \right\} . \end{aligned}$$ -
The third order tensor \({\pmb \epsilon }_{ijk}\) is the Levi-Civita symbol that is equal to 1 if (i, j, k) is an even permutation of (1, 2, 3), \(-1\) if it is an odd permutation, and zero if any index is repeated.
-
We set \(\widetilde{{\mathbb {L}}}^\varepsilon ({\pmb x})\) to be a general place holder under the schemes (HS 1) and (HS 2) as follows,
$$\begin{aligned}&\widetilde{{\mathbb {L}}}^\varepsilon ({\pmb x}) := \varepsilon ^2 \, {\mathbb {L}}^\varepsilon ({\pmb x}) \text { under the scheme } (HS 1), \end{aligned}$$(2.10)$$\begin{aligned}&\widetilde{{\mathbb {L}}}^\varepsilon ({\pmb x}) := {\mathbb {L}}^\varepsilon ({\pmb x}) \text { under the scheme } (HS 2). \end{aligned}$$(2.11) -
\({\mathbb {I}}_{\mathrm{D}}({\pmb x})= {\left\{ \begin{array}{ll} 1 \text { if } {\pmb x} \in \mathrm{D},\\ 0 \text { otherwise } \end{array}\right. }\) denotes the indicator function over some domain \(\mathrm{D} \subset {{\mathbb {R}}}^d\).
2.3 The model
We consider an elastic composite with periodic microstructure of period \(\varepsilon \) occupying a region \(\Omega \subset {{\mathbb {R}}}^d, \, d \in \{2, 3\}\). The region \(\Omega \) that the composite occupies, is assumed to be bounded, open, and multiply connected. \(Y=(-1/2,1/2]^d\) is the unit cube in \({{\mathbb {R}}}^d\), and \({{\mathbb {Z}}}^d\) is the set of all d–dimensional vectors with integer components.
For every positive \(\varepsilon \), let \(N_\varepsilon \) be the set of all points \(m \in {\mathbb {Z}}^d\) such that \(\varepsilon (m+Y)\) is strictly included in \(\Omega \) and denote by \(|N_\varepsilon |\) their total number. Let T be the closure of an open connected set with sufficiently smooth boundary, compactly included in Y. We define, for every \(\varepsilon > 0\) and \(m \in N_\varepsilon \), \(T^\varepsilon _m:=\varepsilon (m+ T)\) as the region containing one of the material phases and by \(S^\varepsilon _m = \partial T^\varepsilon _m\) denote the interphase boundary separating the two different material phases (see Fig. 2). We now define the following subsets of \(\Omega \):
Moreover, we denote by \(\partial \Omega \) the boundary of \(\Omega \). The exterior boundary component will be denoted by \(\Gamma _0\) and the remaining boundary components by \(S^\varepsilon _m\), \(m \in N_\varepsilon \). The vector \({\pmb n}\) will be unit normal on \(\Gamma _0\) pointing in the outward direction.
The heterogeneous Cosserat continuum is characterized by the following coupled system for \(i \in \{ 1,2,3 \}\),
Here \(\sigma ^\varepsilon \) is the stress, \(\mu ^\varepsilon \) is the couple-stress, \({\pmb u}^\varepsilon \) is the displacement, and \({\pmb \varphi }^\varepsilon \) is the rotation. The system of Eq. (2.12) characterizes the mechanical deformation that the body undergoes. The equations are fully coupled and the system is closed with homogeneous Dirichlet boundary conditions on \(\Gamma _0\). In addition to computing the displacement we must also compute the rigid rotations which makes for a fully coupled system of partial differential equations.
Constitutive relations. We content ourselves in the case of “centrosymmetric medium” where stress is related to the strain though the fourth order material tensor \({\mathbb {C}}^\varepsilon ({\pmb x})\) by the relation (see [32]),
while the couple-stress is related to the curvature through the fourth order material tensor \(\widetilde{{\mathbb {L}}}^\varepsilon ({\pmb x})\) by the relation,
The tensors \({\mathbb {C}}^\varepsilon =\{ C^\varepsilon _{jik\ell } \}_{j,i,k,\ell =1}^{3}\) and \(\widetilde{{\mathbb {L}}}^\varepsilon = \{ {\widetilde{L}}^\varepsilon _{jik\ell } \}_{j,i,k,\ell =1}^{3}\) are linear isotropic tensors in each phase and have the following form,
respectively. The coefficients \(\vartheta _\varepsilon ({\pmb x}):=\vartheta \, \left( \frac{{\pmb x}}{\varepsilon }\right) \), \(\theta _\varepsilon ({\pmb x}):=\theta \, \left( \frac{{\pmb x}}{\varepsilon }\right) \), \(\alpha _\varepsilon ({\pmb x}):=\alpha \left( \frac{{\pmb x}}{\varepsilon }\right) \), \(\beta _\varepsilon ({\pmb x}):=\beta \left( \frac{{\pmb x}}{\varepsilon }\right) \), \(\varrho _\varepsilon ({\pmb x}):=\varrho \left( \frac{{\pmb x}}{\varepsilon }\right) \), and \(\rho _\varepsilon ({\pmb x}):=\rho \left( \frac{{\pmb x}}{\varepsilon }\right) \), are material parameters that are piecewise constant in each phase. Thermodynamic stability relations immediately yield the symmetries, \(C^\varepsilon _{jik\ell } = C^\varepsilon _{k\ell ji}\) and \({\widetilde{L}}^\varepsilon _{jik\ell } = {\widetilde{L}}^\varepsilon _{k\ell ji}\).
2.4 Assumptions
We frame the heterogeneous Cosserat continuum model (2.12, 2.13, 2.14) under the following general assumptions:
-
\(\Omega \) is a bounded, multiply connected domain such that \(\mathrm{mes}(\Gamma _0)>0\), \(\mathrm{mes}(S_\ell ^\varepsilon )>0\), and \(S_\ell ^\varepsilon \cap S_p^\varepsilon = \emptyset \) for \(\ell , p \in N_\varepsilon \) with \(\ell \ne p\).
-
\(\Gamma _0\) and \(S^\varepsilon _\ell \) are surfaces of class \(C^{2}\) and \(\Gamma _0 \cap S^\varepsilon _\ell = \emptyset \) for every \(\ell \in N_\varepsilon \).
-
The functions \({\pmb f}\) and \({\pmb g}\) are such that \({\pmb f} \in L^2(\Omega ; {{\mathbb {R}}}^d)\) and \({\pmb g} \in H(\mathrm{curl}, \Omega )\).
-
The fourth order material characterization tensors are such that and
Existence and uniqueness. The Cosserat brothers [3] developed their theory to be derived from the principle of least action of Hamilton. Starting from the total energy of the system described in (2.12),
where \({\mathbb {C}}^\varepsilon \, \gamma : \gamma = C^\varepsilon _{jik\ell } \, \gamma _{\ell k} \, \gamma _{ji}\) and \(\widetilde{{\mathbb {L}}}^\varepsilon \, \kappa : \kappa = {\widetilde{L}}^\varepsilon _{jik\ell } \, \kappa _{\ell k} \, \kappa _{ji}\), one can readily observe that the above energy is sequentially weakly lower semicontinuous and coersive by [20, Thm. 3.1] (see also [21, 31]) in \(H^1_{\Gamma _0}(\Omega ,{{\mathbb {R}}}^d) \times H^1_{\Gamma _0}(\Omega ,{{\mathbb {R}}}^d)\). Moreover, the following estimates hold under (HS 1) and (HS 2), respectively:
for some generic constant c independent of \(\varepsilon \). Additionally, the energy is convex in the arguments \(\nabla {\pmb u}\) and \(\nabla {\pmb \varphi }\). Hence, using the compact embedding of Rellich-Kondrachov we can apply the direct method to obtain existence and uniqueness. Furthermore, we can characterize the solution to (2.12) as the unique minimizer of,
By computing the first variation of \({\mathcal {E}}_\varepsilon \) we obtain the Euler-Lagrange equations,
If we group terms in the Euler-Lagrange equation above we obtain the weak form of (2.12) which reads as follows: Find \(({\pmb u}^\varepsilon , {\pmb \varphi }^\varepsilon ) \in H^1_{\Gamma _0}(\Omega , {{\mathbb {R}}}^d) \times H^1_{\Gamma _0}(\Omega , {{\mathbb {R}}}^d)\) such that,
Using (2.22–2.23) we can recover the strong form of the Eq. in 2.12 in the sense of distributions as usual.
3 Homogenization of the Cosserat continuum
In the next two subsections we recall the definitions and properties of the periodic unfolding and averaging operators [5,6,7,8] and present our main results. We will list some of their properties, leaving the interested reader to consult [5, 6, 8] for further details regarding proofs.
3.1 The periodic unfolding and averaging operators
We define the following domain decompositions (see [5,6,7,8]):
Let \([{\pmb z}]_Y = (\lfloor z_1\rfloor , \ldots , \lfloor z_d \rfloor )\) denote the integer part of \({\pmb z} \in {{\mathbb {R}}}^d\) and denote by \(\{{\pmb z}\}_Y\) the difference \({\pmb z} - [{\pmb z}]_Y\) which belongs to Y. Regarding our multiscale problem that depends on a small length parameter \(\varepsilon > 0\), we can decompose any \({\pmb x} \in {{\mathbb {R}}}^d\) using the maps \([\cdot ]_Y: {{\mathbb {R}}}^d \mapsto {{\mathbb {Z}}}^d\) and \(\{\cdot \}_Y: {{\mathbb {R}}}^d \mapsto Y\) the following way (see Fig. 1 (right)),
For any Lebesgue measurable function \(\varphi \) on \(\Omega \) we define the periodic unfolding operator by,
![](http://media.springernature.com/lw404/springer-static/image/art%3A10.1007%2Fs11587-021-00610-3/MediaObjects/11587_2021_610_Equ29_HTML.png)
Proposition 3.1
For any \(p \in [1,+\infty )\) the unfolding operator is linear, continuous, and has the following properties:
-
(i)
for every pair of Lebesgue measurable functions \(\varphi \), \(\psi \) on \(\Omega \)
-
(ii)
For every \(\varphi \in L^1(\Omega )\) we have,
(3.4) -
(iii)
for every \(\varphi \in L^p(\Omega )\)
-
(iv)
strongly in \(L^p(\Omega \times Y)\) for \(\varphi \in L^p(\Omega )\) as \(\varepsilon \rightarrow 0\)
-
(v)
If \(\{ \varphi _\varepsilon \}_{\varepsilon }\) is a sequence in \(L^p(\Omega )\) such that \(\varphi _\varepsilon \rightarrow \varphi \) strongly in \(L^p(\Omega )\), then strongly in \(L^p(\Omega \times Y)\)
-
(vi)
If \(\varphi \in L^p(Y)\) is Y-periodic and \(\varphi _\varepsilon ({\pmb x}) = \varphi \left( \frac{{\pmb x}}{\varepsilon } \right) \) then strongly in \(L^p(\Omega \times Y)\) as \(\varepsilon \rightarrow 0\)
-
(vii)
If \(\phi _\varepsilon \rightharpoonup \phi \) in \(H^{1}(\Omega )\) then there exists an non-relabelled subsequence and a \({\hat{\phi }} \in L^2(\Omega ; H^1_{\mathrm{per}}(Y))\) such that
-
(a)
in \(L^2(\Omega ; H^1(Y))\)
-
(b)
in \(L^2(\Omega \times Y)\)
-
(viii)
Let \(\phi _\varepsilon \in H^{1}(\Omega )\) and assume that \(\{\phi _\varepsilon \}_{\varepsilon }\) is a bounded sequence in \(L^2(\Omega )\) satisfying \(\varepsilon \, \left\| \nabla \phi _\varepsilon \right\| _{L^2(\Omega ; {{\mathbb {R}}}^d)} \le c\) (c is a constant independent of \(\varepsilon \)) then there exists an non-relabelled subsequence and a \({\hat{\phi }} \in L^2(\Omega ; H^1_{\mathrm{per}}(Y))\) such that
-
(a)
in \(L^2(\Omega ; H^1(Y))\)
-
(b)
in \(L^2(\Omega \times Y)\)
In a similar fashion we define the averaging operator for \(p \in [1,+\infty )\), which acts as a pseudo-inverse of the unfolding operator, by:
![](http://media.springernature.com/lw400/springer-static/image/art%3A10.1007%2Fs11587-021-00610-3/MediaObjects/11587_2021_610_Equ31_HTML.png)
Proposition 3.2
For any \(p \in [1,+\infty )\) the averaging operator has the following properties:
-
(i)
If \(\{ w_\varepsilon \}_\varepsilon \in L^p(\Omega \times Y)\) is a bounded sequence such that \(w_\varepsilon \rightharpoonup w\) in \(L^p(\Omega \times Y)\) as \(\varepsilon \rightarrow 0\) then
(3.6)If w is independent of \({\pmb y}\) then the convergence above is strong (see [6, Cor. 2.26, pg. 1599]).
-
(ii)
If \(\{w_\varepsilon \}_\varepsilon \) is a sequence in \(L^p(\Omega )\) then the following are equivalent:
-
(a)
in \(L^p(\Omega \times Y)\)
-
(b)
in \(L^p(\Omega )\)
-
(iii)
If \(\{w_\varepsilon \}_\varepsilon \) is a sequence in \(L^p(\Omega )\) then the following are equivalent:
-
(a)
in \(L^p(\Omega \times Y)\) and \(\int _{\Lambda _\varepsilon ^-} |w_\varepsilon |^p \, d{\pmb x} \rightarrow 0\)
-
(b)
in \(L^p(\Omega )\)
3.2 Main results
3.2.1 Homogenization under the HS 1 scheme
Theorem 3.1
If \(({\pmb u}^\varepsilon , {\pmb \varphi }^\varepsilon )\) is the solution set to (2.12) then, under the HS 1 scheme, there exist \({\pmb u}^0 \in H^1_{\Gamma _0}(\Omega ; {{\mathbb {R}}}^d)\), \({\pmb u}^1 \in L^2(\Omega ; H^1_{per}(Y; {{\mathbb {R}}}^d))\), \({\pmb \varphi ^0} \in L^2(\Omega ; H^1_{\mathrm{per}}(Y; {{\mathbb {R}}}^d)) \) such that,
![](http://media.springernature.com/lw229/springer-static/image/art%3A10.1007%2Fs11587-021-00610-3/MediaObjects/11587_2021_610_Equ33_HTML.png)
![](http://media.springernature.com/lw312/springer-static/image/art%3A10.1007%2Fs11587-021-00610-3/MediaObjects/11587_2021_610_Equ34_HTML.png)
![](http://media.springernature.com/lw231/springer-static/image/art%3A10.1007%2Fs11587-021-00610-3/MediaObjects/11587_2021_610_Equ35_HTML.png)
and \(({\pmb u}^0, {\pmb \varphi }^0, {\pmb u}^1)\) is the unique solution set of,
for all \({\pmb V} \in H^1_0(\Omega ; {{\mathbb {R}}}^d)\) and \(\overline{{\pmb W}} \in L^2(\Omega ; H^1(Y; {{\mathbb {R}}}^d))\). Furthermore, (3.10) is equivalent to the following homogenized linear elasticity problem,
if \({\pmb u}^1\) and \({\pmb \varphi }^0\) have the following form,
and we select \(\overline{{\pmb W}} \equiv {\pmb 0}\) in (3.10). Here \(\sigma ^{\mathrm{eff}}_{ij}:=\Big ( C^\mathrm{eff}_{ijpq} \, \partial _{x_q} u^0_p - \frac{1}{2} {\pmb \epsilon }_{\nu ij} \, g_\nu \Big )\) is the Cauchy stress,
are the effective coefficients, and \({\pmb \zeta }^{k\ell }\) and \({\pmb \xi }^{k\ell }\) are the local solutions satisfying the variational problems,
Proof
Using (2.18) and Proposition 3.1vii. and viii. we obtain (3.7–3.9). Additionally, the weak form (2.21) of the Cosserat continuum reads: Find \(({\pmb u}^\varepsilon , {\pmb \varphi }^\varepsilon ) \in H^1_{\Gamma _0}(\Omega _0; {{\mathbb {R}}}^d) \times H^1_{\Gamma _0}(\Omega ; {{\mathbb {R}}}^d)\) such that,
Unfold the above expression using Proposition 3.1 properties \(i., ii., \text { and } iv)\) and obtain,
![](http://media.springernature.com/lw491/springer-static/image/art%3A10.1007%2Fs11587-021-00610-3/MediaObjects/11587_2021_610_Equ44_HTML.png)
Set \({\pmb v}:={\pmb V}({\pmb x})\) and \({\pmb \psi }:={\pmb \Psi }({\pmb x})\) for any test functions \({\pmb V} \in C_0^\infty (\Omega ; {{\mathbb {R}}}^d)\) and \({\pmb \Psi } \in C_0^\infty (\Omega ; {{\mathbb {R}}}^d)\) in (3.18) and let \(\varepsilon \rightarrow 0\) to obtain,
Select now test functions of the form \({\pmb v}={\pmb v}^\varepsilon :=\varepsilon \, U({\pmb x}) \, {\pmb W} \left( \frac{{\pmb x}}{\varepsilon } \right) \) where \(U \in C_0^\infty (\Omega )\) and \({\pmb W} \in H^1_{\mathrm{per}}(Y; {{\mathbb {R}}}^d)\). It is cleat that \({\pmb v}^\varepsilon \rightarrow {\pmb 0}\) in \(L^2(\Omega ; {{\mathbb {R}}}^d)\). Moreover, we have \(\partial _{x_j} v^\varepsilon _i ({\pmb x}) = \varepsilon \partial _{x_j} U({\pmb x}) W_i({\pmb x}/\varepsilon ) + U({\pmb x}) \partial _{y_j} W_i({\pmb x}/\varepsilon )\) which implies in \(L^2(\Omega \times Y)\) as \(\varepsilon \rightarrow 0\) where \({\overline{W}}_i({\pmb x},{\pmb y}):=U({\pmb x}) \, W_i({\pmb y})\). Likewise, we select as test function for the rotations \({\pmb \psi }={\pmb \psi }^\varepsilon :=\varepsilon \, \Phi ({\pmb x}) \, {\pmb \Xi } \left( \frac{{\pmb x}}{\varepsilon } \right) \) where \(\Phi \in C_0^\infty (\Omega )\) and \({\pmb \Xi } \in H^1_{\mathrm{per}}(Y; {{\mathbb {R}}}^d)\) with \({\pmb \psi }^\varepsilon \rightarrow {\pmb 0}\) in \(L^2(\Omega ; {{\mathbb {R}}}^d)\) and in \(L^2(\Omega \times Y)\) as \(\varepsilon \rightarrow 0\) where \({\overline{\Xi }}_i({\pmb x}, {\pmb y}):=\Psi ({\pmb x}) \, \Xi _i({\pmb y})\). Hence, unfolding (3.18) with the above test functions we obtain,
![](http://media.springernature.com/lw494/springer-static/image/art%3A10.1007%2Fs11587-021-00610-3/MediaObjects/11587_2021_610_Equ46_HTML.png)
Letting \(\varepsilon \) tend to zero in (3.20) we obtain,
Defining \(\overline{{\pmb W}}({\pmb x},{\pmb y}) := U({\pmb x}) {\pmb W}({\pmb y})\) and adding (3.19) and (3.21) we obtain,
By the density of \(C_0^{\infty }(\Omega ) \otimes H^1_{\mathrm{per}}(Y; {{\mathbb {R}}}^d)\) in \(L^2(\Omega ; H^1_{\mathrm{per}}(Y; {{\mathbb {R}}}^d))\) the result holds for all \(\overline{{\pmb W}}({\pmb x},{\pmb y}) \in L^2(\Omega ; H^1_\mathrm{per}(Y; {{\mathbb {R}}}^d))\).
The above equation is not immediately in a form that we recognize. However, using the properties of the Levi-Civita tensor, we can re-write \(g_i=\frac{1}{2} {\pmb \epsilon }_{ipq} \, {\pmb \epsilon }_{jpq} \, g_j.\) Grouping the terms in (3.22) by test function we obtain,
From here we can obtain two sets of equations. By considering, first, that \(({\pmb V}, \overline{{\pmb W}}, {\pmb \Psi }) = ({\pmb V}, \overline{{\pmb W}}, {\pmb 0})\) we have,
By considering \(({\pmb V}, \overline{{\pmb W}}, {\pmb \Psi }) = ({\pmb 0}, {\pmb 0}, {\pmb \Psi })\) we have,
If in (3.24) we select \({\pmb V} \equiv {\pmb 0}\) we can see that both \({\pmb u}^1\) and \({\pmb \varphi ^0}\) depend on \(\nabla _x {\pmb u}^0\) linearly. In some sense, this could be interpreted as the macroscopic displacement having contributions from the microscopic displacement and rotation, independently. Hence, the form of \({\pmb u}^1\) and \({\pmb \varphi }^0\) look as follows,
where the correctors \({\pmb \zeta }^{k\ell }\) and \({\pmb \xi }^{k\ell }\) are the local solutions satisfying the following variational problems,
Existence and uniqueness for (3.28) follows from classical theory of variational inequalities [25]. While for problem (3.29) one can show existence (up to an additive constant) as in [17, Thm. 3.4, pg. 45].
Returning to (3.24) and substituting \(\overline{{\pmb W}}={\pmb 0}\), \({\pmb u}^1\) and \({\pmb \varphi }^0\) from (3.26 and 3.27) respectively, we obtain,
where
and
Using Eq. (3.25) we see that \(\sigma _{ij}^{\mathrm{eff}} = \sigma _{ji}^{\mathrm{eff}}\) exactly like the Cauchy stress in classical linear elasticity. These are precisely the homogenized equations obtained by [13] using two-scale expansions under their scheme HS1. \(\square \)
Remark 3.1
Equation (3.29) is an additional local problem that does not appear in the homogenization of classical linear elasticity. Its appearance is solely a contribution of the non-symmetric part of the strain tensor. Upon closer examination, local problem (3.29) is one that involves rotations (or curls) which implies that certain curvature-twist effects are present in the microscale. Moreover, these curvature-twist effects manifest themselves macroscopically as part of the effective material tensor of a linear elastic material and not independently.
Proposition 3.3
If we use the notation \(\gamma ^0_{ji} := \partial _{x_j} u_i^0\), and \(\gamma ^1_{ji}:=\partial _{y_j} u_i^1 - {\pmb \epsilon }_{kji} \varphi _k^0\) then under the assumptions of Theorem 3.1 we have the following convergence results,
Proof
Using the weak lower semicontinuity of the integrals, the fact that tensors \({\mathbb {C}}^\varepsilon \) and \(\widetilde{{\mathbb {L}}}^\varepsilon \) belong in \({\mathcal {M}}^4_d(\alpha , \beta , \Omega )\), and properties of the limit infimum we obtain,
![](http://media.springernature.com/lw344/springer-static/image/art%3A10.1007%2Fs11587-021-00610-3/MediaObjects/11587_2021_610_Equ61_HTML.png)
which is precisely (3.33). We remark that the last equality came from equation (3.22). Moreover, (3.33) implies (3.34). \(\square \)
Remark 3.2
Immediately one can observe from Proposition 3.3 that the following result holds,
![](http://media.springernature.com/lw555/springer-static/image/art%3A10.1007%2Fs11587-021-00610-3/MediaObjects/11587_2021_610_Equ62_HTML.png)
Corollary 3.1
The Cosserat strain \(\gamma ^\varepsilon \) converges strongly in \(L^2(\Omega \times Y; {{\mathbb {R}}}^{d \times d})\),
![](http://media.springernature.com/lw300/springer-static/image/art%3A10.1007%2Fs11587-021-00610-3/MediaObjects/11587_2021_610_Equ63_HTML.png)
Proof
By expanding the square of the expression below we have,
![](http://media.springernature.com/lw514/springer-static/image/art%3A10.1007%2Fs11587-021-00610-3/MediaObjects/11587_2021_610_Equ64_HTML.png)
The first term converges from (3.36) while the rest of the terms converge by (3.7) and properties of the unfolding operator. Hence, all the terms on the right hand side above sum to zero in the limit and the result follows. \(\square \)
3.2.2 Homogenization under the HS 2 scheme
Theorem 3.2
If \(({\pmb u}^\varepsilon , {\pmb \varphi }^\varepsilon )\) is the solution set to (2.12) then, under the HS 2 scheme, there exist \({\pmb u}^0 \in H^1_{\Gamma _0}(\Omega ; {{\mathbb {R}}}^d)\), \({\pmb u}^1 \in L^2(\Omega ; H^1_{per}(Y; {{\mathbb {R}}}^d))\), \({\pmb \varphi ^0} \in H^1_{\Gamma _0}(\Omega ; {{\mathbb {R}}}^d)\), \({\pmb \varphi }^1 \in L^2(\Omega ; H^1_{per}(Y;{{\mathbb {R}}}^d))\) such that,
![](http://media.springernature.com/lw229/springer-static/image/art%3A10.1007%2Fs11587-021-00610-3/MediaObjects/11587_2021_610_Equ65_HTML.png)
![](http://media.springernature.com/lw312/springer-static/image/art%3A10.1007%2Fs11587-021-00610-3/MediaObjects/11587_2021_610_Equ66_HTML.png)
![](http://media.springernature.com/lw231/springer-static/image/art%3A10.1007%2Fs11587-021-00610-3/MediaObjects/11587_2021_610_Equ67_HTML.png)
![](http://media.springernature.com/lw315/springer-static/image/art%3A10.1007%2Fs11587-021-00610-3/MediaObjects/11587_2021_610_Equ68_HTML.png)
and \(({\pmb u}^0, {\pmb u}^1, {\pmb \varphi }^0, {\pmb \varphi }^1)\) is the unique solution set of
for all \({\pmb V} \in H^1_0(\Omega ; {{\mathbb {R}}}^d)\) and \(\overline{{\pmb W}} \in L^2(\Omega ; H^1(Y; {{\mathbb {R}}}^d))\). Furthermore, (3.43) is equivalent to,
if \({\pmb u}^1\) and \({\pmb \varphi }^1\) have the form,
and we set \(\overline{{\pmb W}} \equiv {\pmb 0}\) and \(\overline{{\pmb \Xi }} \equiv {\pmb 0}\). Here,
are the effective Cosserat coeffcients with \({\pmb \zeta }^{pq}\) and \({\pmb \xi }^{pq}\) being the local solutions on the unit cell satisfying the second order elliptic problems,
Proof
Once again, using (2.19) and Proposition 3.1vii. we obtain (3.39–3.42) as \(\varepsilon \rightarrow 0\). Furthermore, the weak form (2.21) of the Cosserat continuum reads: Find \(({\pmb u}^\varepsilon , {\pmb \varphi }^\varepsilon ) \in H^1_{\Gamma _0}(\Omega ; {{\mathbb {R}}}^d) \times H^1_{\Gamma _0}(\Omega ; {{\mathbb {R}}}^d)\) such that,
Unfold the above expression using Proposition 3.1 properties \(i., ii., \text { and } iv)\) and obtain,
![](http://media.springernature.com/lw491/springer-static/image/art%3A10.1007%2Fs11587-021-00610-3/MediaObjects/11587_2021_610_Equ78_HTML.png)
Select the same test functions as before. Namely, set \({\pmb v}:={\pmb V}({\pmb x})\) and \({\pmb \psi }:={\pmb \Psi }({\pmb x})\) for any test functions \({\pmb V} \in C_0^\infty (\Omega ; {{\mathbb {R}}}^d)\) and \({\pmb \Psi } \in C_0^\infty (\Omega ; {{\mathbb {R}}}^d)\) in (3.52) and let \(\varepsilon \rightarrow 0\) to obtain,
Select now the test functions from before \({\pmb v}={\pmb v}^\varepsilon :=\varepsilon \, U({\pmb x}) \, {\pmb W} \left( \frac{{\pmb x}}{\varepsilon } \right) \) and \({\pmb \psi }={\pmb \psi }^\varepsilon :=\varepsilon \, \Phi ({\pmb x}) \, {\pmb \Xi } \left( \frac{{\pmb x}}{\varepsilon } \right) \). Recall that \({\pmb v}^\varepsilon \rightarrow 0\), \({\pmb \psi }^\varepsilon \rightarrow {\pmb 0}\) in \(L^2(\Omega ; {{\mathbb {R}}}^d)\) and in \(L^2(\Omega \times Y)\).
With the above test functions we obtain,
Adding (3.53 and 3.54) we obtain,
Using the density of \(C_0^\infty (\Omega ; {{\mathbb {R}}}^d)\) in \(H^1_{\Gamma _0}(\Omega ; {{\mathbb {R}}}^d)\) and \(C_0^\infty (\Omega ) \otimes H^1_{\mathrm{per}}(Y; {{\mathbb {R}}}^d)\) in \(L^2(\Omega ; H^1_{\mathrm{per}}(Y; {{\mathbb {R}}}^d))\) the result holds true for all \({\pmb V} \in H^1_{\Gamma _0}(\Omega ; {{\mathbb {R}}}^d)\) and all \(\overline{{\pmb W}} \in L^2(\Omega ; H^1_{\mathrm{per}}(Y; {{\mathbb {R}}}^d))\).
Taking \(({\pmb V}, \overline{{\pmb W}}, {\pmb \Psi }, \overline{{\pmb \Xi }}) = ({\pmb V}, \overline{{\pmb W}},{\pmb 0},{\pmb 0})\) we obtain,
Taking \(({\pmb V}, \overline{{\pmb W}}, {\pmb \Psi }, \overline{{\pmb \Xi }}) = ({\pmb 0},{\pmb 0}, {\pmb \Psi }, \overline{{\pmb \Xi }})\) we obtain,
Moreover, if we select \({\pmb V} \equiv {\pmb 0}\) in (3.56) we obtain that \({\pmb u}^1\) has the following form,
While, if we set \({\pmb \Psi } \equiv {\pmb 0}\) in (3.57) we obtain \({\pmb \varphi }^1\) the following form,
where \({\pmb \zeta }^{pq}\) and \({\pmb \xi }^{pq}\) satisfy (3.49) and (3.50), respectively and \(\kappa _i({\pmb x})\) is some generic constant function in \({\pmb y}\). We remark that existence and uniqueness for \({\pmb \zeta }^{pq}\) and \({\pmb \xi }^{pq}\) follow from the theory of variational inequalities.
Rewriting, (3.55) and substituting in \(\overline{{\pmb W}}\equiv {\pmb 0}\), \(\overline{{\pmb \Xi }}\equiv {\pmb 0}\), \({\pmb u}^1\), and \({\pmb \varphi }^1\) from (3.56) and (3.57), respectively and factoring out common terms we obtain,
where
\(\square \)
Remark 3.3
Under the HS 2 scheme we obtain an effective Cosserat continuum in (3.60). As a result we have two sets of effective coefficients in (3.61) and (3.62). One that relates the non-symmetric strain tensor to the stress and one that relates the curvature-twist tensor to the couple stress. Unlike in the first homogenization scheme, HS 1, the curvature-twist effects manifest themselves as a separate equation.
Proposition 3.4
If we use the notation, \(\gamma ^0_{ji} := \partial _{x_j} u_i^0 - {\pmb \epsilon }_{kji} \varphi _k^0\), \(\gamma ^1_{ji}:=\partial _{y_j} u_i^1 - {\pmb \epsilon }_{kji} \varphi _k^1\), \(\kappa ^0:=\partial _{x_j} \varphi ^0_i\), and \(\kappa ^1:=\partial _{y_j} \varphi ^1_i\) then under the assumptions of Theorem 3.2 we have the following convergence results,
Proof
As before, using the weak lower semicontinuity of the integrals, the fact that tensors \({\mathbb {C}}^\varepsilon \) and \(\widetilde{{\mathbb {L}}}^\varepsilon \) belong in \({\mathcal {M}}^4_d(\alpha , \beta , \Omega )\), and properties of the limit infimum we obtain,
![](http://media.springernature.com/lw550/springer-static/image/art%3A10.1007%2Fs11587-021-00610-3/MediaObjects/11587_2021_610_Equ91_HTML.png)
which is precisely (3.63). We remark that the last equality came from equation (3.55). Moreover, (3.63) implies (3.64). \(\square \)
Remark 3.4
Immediately one can observe from Proposition 3.4 that the following result holds,
![](http://media.springernature.com/lw584/springer-static/image/art%3A10.1007%2Fs11587-021-00610-3/MediaObjects/11587_2021_610_Equ92_HTML.png)
Corollary 3.2
The following convergence results hold for the Cosserat strain and curvature-twist tensors,
![](http://media.springernature.com/lw300/springer-static/image/art%3A10.1007%2Fs11587-021-00610-3/MediaObjects/11587_2021_610_Equ93_HTML.png)
![](http://media.springernature.com/lw296/springer-static/image/art%3A10.1007%2Fs11587-021-00610-3/MediaObjects/11587_2021_610_Equ94_HTML.png)
Proof
By expanding the square of the expressions below we have,
![](http://media.springernature.com/lw572/springer-static/image/art%3A10.1007%2Fs11587-021-00610-3/MediaObjects/11587_2021_610_Equ95_HTML.png)
Combining terms, using (3.36) and (3.39–3.42) we obtain that the right hand side is zero and the results follow. \(\square \)
4 Some results regarding correctors
In this section, we provide some results that can be interpreted as “corrector” type results for a Cosserat continuum under each homogenization scheme. Classical correctors in the theory of homogenization for linear elasticity, transform the weak converge of the displacement \({\pmb u}^\varepsilon \rightharpoonup {\pmb u}^0\) to strong convergence by subtracting a term involving the gradient of \({\pmb u}^0\) and the local solutions on the unit cell. Given that kinematics of a Cosserat continuum are more convoluted, it is not immediately clear what the form of the corrector should be.
The correctors are obtained using the averaging operator in (3.5) as is done in [6]. Hence, we do not require any additional regularity assumptions of the local solutions (3.28, 3.29, 3.49), (3.50) as is done in standard homogenization problems (see e.g. [33]).
4.1 Correctors under HS 1 scheme
Theorem 4.1
Under the assumptions of Theorem 3.1 we have the following strong convergence,
![](http://media.springernature.com/lw279/springer-static/image/art%3A10.1007%2Fs11587-021-00610-3/MediaObjects/11587_2021_610_Equ96_HTML.png)
Proof
Using (3.33, 3.34, 3.37), and Proposition 3.2iii. we have,
![](http://media.springernature.com/lw315/springer-static/image/art%3A10.1007%2Fs11587-021-00610-3/MediaObjects/11587_2021_610_Equ97_HTML.png)
Since \(\gamma ^0\) is independent of \({\pmb y}\) we can use Proposition 3.2i to obtain,
![](http://media.springernature.com/lw216/springer-static/image/art%3A10.1007%2Fs11587-021-00610-3/MediaObjects/11587_2021_610_Equ98_HTML.png)
Hence, the result follows. \(\square \)
4.2 Correctors under HS 2 scheme
Theorem 4.2
Under the assumptions of Theorem 3.2 we have the following strong convergence results,
![](http://media.springernature.com/lw272/springer-static/image/art%3A10.1007%2Fs11587-021-00610-3/MediaObjects/11587_2021_610_Equ99_HTML.png)
![](http://media.springernature.com/lw268/springer-static/image/art%3A10.1007%2Fs11587-021-00610-3/MediaObjects/11587_2021_610_Equ100_HTML.png)
Proof
Using (3.63, 3.64, 3.67, 3.68) and Proposition 3.2iii. we have,
![](http://media.springernature.com/lw308/springer-static/image/art%3A10.1007%2Fs11587-021-00610-3/MediaObjects/11587_2021_610_Equ101_HTML.png)
![](http://media.springernature.com/lw304/springer-static/image/art%3A10.1007%2Fs11587-021-00610-3/MediaObjects/11587_2021_610_Equ102_HTML.png)
Since both \(\gamma ^0\) and \(\kappa ^0\) are independent of \({\pmb y}\) we can use Proposition 3.2i to obtain,
![](http://media.springernature.com/lw209/springer-static/image/art%3A10.1007%2Fs11587-021-00610-3/MediaObjects/11587_2021_610_Equ103_HTML.png)
and
![](http://media.springernature.com/lw206/springer-static/image/art%3A10.1007%2Fs11587-021-00610-3/MediaObjects/11587_2021_610_Equ104_HTML.png)
Thus, completing the proof. \(\square \)
5 Conclusions
We derived effective models for a heterogeneous Cosserat continuum taking into account the Cosserat intrinsic length of the constituents by the method of homogenization and periodic unfolding. In doing so, we provide rigorous proof to the results obtained in [13] by two-scale expansion.
Depending on how the Cosserat intrinsic length scales with respect to the characteristic length of the domain or the chatacteristic length of the periodic cell, we are led to two different effective models. The first effective model is of a classical Cauchy continuum where all the information regarding displacements and rotations at the unit cell are contained in the fourth order stiffness tensor characterizing the material and can be computed by the help of two local problems one of which is related to the curvature-twist. The second effective model is of a Cosserat continuum with two fourth order effective tensors relating the non-symmetric strain to the non-symmetric stress and the curvature-twist to the couple-stress, proving new constitutive laws for Cosserat media.
Additionally, we provide some corrector type results using the averaging operator for each of the effective models. By and large, the results should hold true in the case where one of the materials is a void by adjusting the unfolding and averaging operators, respectively, as in [4].
References
Bensoussan, A., Lions, J.-L., Papanicolaou, G.: Asymptotic analysis for periodic structures. AMS Chelsea Publishing, Providence, RI (1978)
Bakhvalov, N., Panasenko, G.: Homogenisation: averaging processes in periodic media: mathematical problems in the mechanics of composite materials. Kluwer Academic Publishers, Amsterdam (1989)
Cosserat, E., Cosserat, F.: Théorie des Corps Déformables. Librairie Scientifique A. Hermann et Fils, 6, Rue de la Sorbonne, (1909)
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.: Éclatement périodique et homogénéisation. C. R. Acad. Sci. Paris Sér. I Math. 335, 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., Griso, G.: The periodic unfolding method theory and applications to partial differential problems. series in contemporary mathematics, 1st edn. Springer, New York (2018)
Damlamian, A.: An elementary introduction to periodic unfolding. Gakuto Int. Series Math. Sci. Appl. 24, 1651–1684 (2005)
dell’Isola, F., Corte, A.D., Giorgio, I.: Higher-gradient continua: the legacy of Piola, Mindlin, Sedov and Toupin and some future research perspectives. Math. Mech. Solids 22(4), 852–872 (2017)
Eringen, A.C.: Linear theory of micropolar elasticity. J. Math. Mech. 15(6), 909–923 (1966)
Eringen, A.C., Suhubi, E.S.: Nonlinear theory of simple microelastic solids-I. Int. J. Eng. Sci. 2(2), 189–203 (1964)
Eringen, A.C., Suhubi, E.S.: Nonlinear theory of simple microelastic solids-II. Int. J. Eng. Sci. 2(4), 389–404 (1964)
Forest, S., Pradel, F., Sab, K.: Asymptotic analysis of heterogeneous Cosserat media. Int. J. Solids Struct. 38(26–27), 4585–4608 (2001)
Forest, S., Sab, K.: Cosserat overall modeling of heterogeneous material. Mech. Res. Commun. 25(4), 449–454 (1998)
Forest, S., Sab, K.: Estimating the overall properties of heterogeneous Cosserat materials. Modell. Simul. Mater. Sci. Eng. 7(5), 829–840 (1999)
Germain, P.: La méthode des puissances virtuelles en mécanique des milieux continus, I: Théorie du second gradient. J. Mécanique 12(2), 235–274 (1973)
Girault, V., Raviart, P.-A.: Finite element methods for Navier-Stokes equations: theory and algorithms, 1st edn. Springer Publishing Company, New York (2011)
Guadiello, A., Zappale, E.: Juntion in a thin multidomain for a fourth order problem. Math. Models Methods Appl. Sci. 16(12), 1887–1918 (2006)
Guadiello, A., Zappale, E.: A model of joined beams as limit of a 2D plate. J. Elast. 103(2), 205–233 (2011)
Hlavacek, I., Hlavacek, M.: On the existence and uniqueness of solution and some variational principles in linear theories of elasticity with couple-stresses. Aplikace Matematiky 14, 387–409 (1969)
Hlavácel, I., Necas, J.: On inequalities of Korn’s type. i. boundary-value problems for elliptic systems of partial differential equations. Arch. Ration. Mech. Anal. 36, 305–311 (1970)
Lakes, R.S.: Size effects and micromechanics of porous solids. J. Mat. Scien. 18, 2572–2581 (1983)
Lakes, R.S.: Strongly Cosserat elastic lattice and foam materials for enhanced toughness. Cell. Polym. 12, 17–30 (1993)
Lakes, R.S.: On the torsional properties of single osteons. J. Biomech. 28, 1409–1410 (1995)
Lions, J.-L.: Quelques méthodes de résolutions des problèmes aux limites non linéaires. Gauthier-Villars, Paris (1969)
Mindlin, R.D., Eshel, N.N.: On first strain-gradient theories in linear elasticity. Int. J. Solids Struct. 4(1), 109–124 (1968)
Mindlin, R.D.: Micro-structure in linear elasticity. Arch. Rat. Mech. Anal. 16, 51–78 (1964)
Mindlin, R.D.: On the equations of elastic materials with micro-structure. Int. J. Solids Struct. 1(1), 73–78 (1965)
Mindlin, R.D., Tiersten, H.F.: Effects of couple-stresses in linear elasticity. Arch. Rat. Mech. Anal. 11, 415–448 (1962)
Mei, C.C., Vernescu, B.: Homogenization methods for multiscale mechanics. World Scientific, Singapore (2010)
Necas, J.: Les Méthodes Directes en Théorie des equations Elliptiques, 1st edn. Masson, Paris (1967)
Nowacki, W.: The theory of micropolar elasticity. Springer, New York (1972)
Onofrei, D., Vernescu, B.: Error estimates for periodic homogenization with non-smooth coefficients. Asym. Anal. 54, 103–123 (2007)
Park, H.C., Lakes, R.S.: Cosserat micromechanics of human bone: strain redistribution by a hydration-sensitive constituent. J. Biomech. 19, 385–397 (1986)
Pideri, C., Seppecher, P.: A second grade material resulting from the homogenization of a heterogeneous linear elastic medium. Cont. Mech. Thermodyn. 9(5), 241–257 (1997)
Rueger, Z., Lakes, R.S.: On the torsional properties of single osteons. Z. Angew. Math. Mech. 68(54), 1–9 (2017)
Seppecher, P., Aliberti, J.J., dell’Isola, F.: Linear elastic trusses leading to continua with exotic mechanical interactions. J. Phys.: Conf. Ser. 319, 012018 (2011)
Sanchez-Palencia, E.: Non-homogeneous media and vibration theory lecture notes in physics. Springer-Verlag, Berlin Heidelberg (1980)
Triantafyllidis, N., Bardenhagen, S.: The influence of scale size on the stability of periodic solids and the role of associated higher order gradient continuum models. J. Mech. Phys. Solids 44(11), 1891–1928 (1996)
Toupin, R.: Elastic materials with couple-stresses. Arch. Rat. Mech. Anal. 11(1), 385–414 (1962)
Toupin, R.: Theory of elasticity with couple-stress. Arch. Rat. Mech. Anal. 17, 85–112 (1964)
Acknowledgements
The author gratefully acknowledges the funding by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy – The Berlin Mathematics Research Center MATH+ (EXC-2046/1, project ID: 390685689) in project AA2-10. Moreover, the author expresses his gratitude to Prof. Alain Damlamian for his useful remarks and careful critique of the manuscript and to the anonymous referee for the corrections and suggestions. They have, without a doubt, improved its content.
Funding
Open Access funding enabled and organized 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.
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
Nika, G. Derivation of effective models from heterogenous Cosserat media via periodic unfolding. Ricerche mat 73, 381–406 (2024). https://doi.org/10.1007/s11587-021-00610-3
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11587-021-00610-3