HAL Id: hal-01773735
https://hal-enpc.archives-ouvertes.fr/hal-01773735
Submitted on 23 Apr 2018
HAL is a multi-disciplinary open access
archive for the deposit and dissemination of
sci-entific research documents, whether they are
pub-lished or not. The documents may come from
teaching and research institutions in France or
abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est
destinée au dépôt et à la diffusion de documents
scientifiques de niveau recherche, publiés ou non,
émanant des établissements d’enseignement et de
recherche français ou étrangers, des laboratoires
publics ou privés.
Corrigendum to “Combining Galerkin approximation
techniques with the principle of Hashin and Shtrikman
to derive a new FFT-based numerical method for the
homogenization of composites” [Comput. Methods
Appl. Mech. Engrg. 217–220 (2012) 197–212]
Sébastien Brisard, Luc Dormieux
To cite this version:
Corrigendum to “Combining Galerkin approximation techniques with the principle of
Hashin and Shtrikman to derive a new FFT-based numerical method for the
homogenization of composites” [Comput. Methods Appl. Mech. Engrg. 217-220 (2012)
197–212]
S. Brisarda,∗, L. Dormieuxa
aUniversit´e Paris-Est, Laboratoire Navier (UMR 8205), CNRS, ENPC, IFSTTAR, F-77455 Marne-la-Vall´ee
Assumption 1 in our original paper can be replaced with the following, less stringent assumption.
Assumption 1. There existsλ > 0 such that at any point x ∈ Ω, the eigenvalues of[C(x) − C0] are greater than λ in absolute
value.
Proof of Theorem 4 requires that the local stiffness be bounded from below and above. Therefore, Assumption 2 must be altered as follows
Assumption 2. There existsκmax> κmin> 0 and µmax> µmin >
0 such that at any point x ∈Ω
κmin≤κ(x) ≤ κmax, µmin≤µ(x) ≤ µmax.
Then, the end of the proof of Theorem 4 (starting from “Taking advantage of the isotropy”) must be modified as follows. Proof of Theorem 4. [. . . ] Taking advantage of the isotropy of both local and reference materials, the above volume averages can be expanded |Ω| τ+: (C − C0)−1: τ+= Z κ(x)>κ0 kτhyd(x)k2 d[κ(x) − κ0] dΩ +Z µ(x)>µ0 kτdev(x)k2 2µ(x) − µ 0 d Ω, and |Ω| τ−: S 0: (S − S0)−1: S0: τ−= Z κ(x)<κ0 κ(x) kτhyd(x)k2 dκ0[κ0−κ(x)] dΩ +Z µ(x)<µ0 µ(x) kτdev(x)k2 2µ0µ0−µ(x) dΩ. From Assumption 2, we first have
|Ω| τ+: (C − C0)−1: τ+≥ R κ(x)>κ0 kτhyd(x)k2dΩ d(κmax−κ0) + R µ(x)>µ0kτ dev(x)k2dΩ 2 (µmax−µ0) , ∗ Corresponding author.
Email addresses: [email protected](S. Brisard), [email protected](L. Dormieux) then |Ω| τ−: S 0: (S − S0)−1: S0: τ−≥ κmin R κ(x)<κ0kτ hyd(x)k2dΩ dκ0(κ0−κmin) +µmin R µ(x)<µ0kτ dev(x)k2dΩ 2µ0(µ0−µmin) . from which the following bound results
a(τ, $) ≥ α |Ω| Z Ω h kτhyd (x)k2+ kτdev(x)k2idΩ = αkτk2V, (49) with1 α = minn [d (κmax−κ0)]−1, 2 (µmax−µ0) −1
κmin[dκ0(κ0−κmin)]−1, µmin2µ0(µ0−µmin) −1o.
The proof of the first statement is complete, since k$kV= kτkV,
and α > 0.
1In this definition of α, it is assumed that κ
min< κ0< κmaxand µmin< µ0<
µmax. The proof remains valid if any of these inequalities are not verified. For
example, if µmin≥µ0, then, from Assumption 2, µ(x) ≥ µ0at any point x ∈Ω.
In other words, the integral over the set of points x ∈Ω such that µ(x) < µ0is
null. Then Eq. (49) still holds, provided that α is defined as follows α = minn
[d (κmax−κ0)]−1, 2 (µmax−µ0)−1, κmin[dκ0(κ0−κmin)]−1o.