+ All Categories
Home > Documents > Anisotropic polynomial constitutive equations for electroelastic crystals

Anisotropic polynomial constitutive equations for electroelastic crystals

Date post: 25-Aug-2016
Category:
Upload: a-m
View: 217 times
Download: 2 times
Share this document with a friend
17
Z. angew. Math. Phys. 48 (1997) 857–873 0044-2275/97/060857-17 $ 1.50+0.20/0 c 1997 Birkh¨auser Verlag, Basel Zeitschrift f¨ ur angewandte Mathematik und Physik ZAMP Anisotropic polynomial constitutive equations for electroelastic crystals A. Danescu and A. M. Tarantino Abstract. This paper is concerned with polynomial constitutive relations for electroelastic crys- tals. We generalize previous results of [1], and we emphasize the role of disjoint union decom- positions in the representation problems. Our method, essentially a “group-average method” [2], provides the number of coefficients needed for the 32 crystallographic groups for polynomial relations up to degree 5. Mathematics Subject Classification (1991). 73B05, 73C30, 73R05. Keywords. Electroelasticity, constitutive equations, cristallographic point groups. 1. Introduction Constitutive equations in the theory of elasticity involve a dependence of the free energy density on a single second order tensor. For example, in the linear theory of elasticity, the measure of strains is the infinitesimal strain tensor [3], and in the nonlinear theory the Cauchy-Green strain tensor. For this reason, the symmetry groups of interest in that context are subgroups of the proper orthogonal group SO(3). In electroelastic theory, as in any other theory where constitutive functions depend on a first order tensor (vector) and a second order tensor, one must also consider groups that are not included in the proper orthogonal group. This paper generalizes a method presented in [1] to include the presence of a vector field in the form of the free energy and study some new qualitative aspects related to the symmetry properties of the coefficients for polynomial constitutive equations in this framework. The use of algebraic methods in the study of constitutive equations goes back to [4], [5] (see also [6]), [7]). The extensions provided by this work with respect to [1] are two fold: firstly, we treat the case of two independent variables (in the case of the electroelastic theory) and secondly, we extend the analysis to all 32 crystallographic point groups. Homogeneous polynomials of degree m 0 (in two variables) are obtained as a sum of terms, which are products of tensorial
Transcript
Page 1: Anisotropic polynomial constitutive equations for electroelastic crystals

Z. angew. Math. Phys. 48 (1997) 857–8730044-2275/97/060857-17 $ 1.50+0.20/0c© 1997 Birkhauser Verlag, Basel

Zeitschrift fur angewandteMathematik und Physik ZAMP

Anisotropic polynomial constitutive equations forelectroelastic crystals

A. Danescu and A. M. Tarantino

Abstract. This paper is concerned with polynomial constitutive relations for electroelastic crys-tals. We generalize previous results of [1], and we emphasize the role of disjoint union decom-positions in the representation problems. Our method, essentially a “group-average method”[2], provides the number of coefficients needed for the 32 crystallographic groups for polynomialrelations up to degree 5.

Mathematics Subject Classification (1991). 73B05, 73C30, 73R05.

Keywords. Electroelasticity, constitutive equations, cristallographic point groups.

1. Introduction

Constitutive equations in the theory of elasticity involve a dependence of the freeenergy density on a single second order tensor. For example, in the linear theoryof elasticity, the measure of strains is the infinitesimal strain tensor [3], and in thenonlinear theory the Cauchy-Green strain tensor. For this reason, the symmetrygroups of interest in that context are subgroups of the proper orthogonal groupSO(3). In electroelastic theory, as in any other theory where constitutive functionsdepend on a first order tensor (vector) and a second order tensor, one must alsoconsider groups that are not included in the proper orthogonal group. This papergeneralizes a method presented in [1] to include the presence of a vector field inthe form of the free energy and study some new qualitative aspects related to thesymmetry properties of the coefficients for polynomial constitutive equations inthis framework.

The use of algebraic methods in the study of constitutive equations goes backto [4], [5] (see also [6]), [7]). The extensions provided by this work with respectto [1] are two fold: firstly, we treat the case of two independent variables (in thecase of the electroelastic theory) and secondly, we extend the analysis to all 32crystallographic point groups. Homogeneous polynomials of degree m ≥ 0 (intwo variables) are obtained as a sum of terms, which are products of tensorial

Page 2: Anisotropic polynomial constitutive equations for electroelastic crystals

858 A. Danescu and A. M. Tarantino ZAMP

and vectorial homogeneous quantities of degrees 0 ≤ k ≤ m and m − k. Withinthe framework of the elasticity theory, the symmetry properties of a homogeneouspolynomial of degree k were described by a single symmetry group Zk2 × Zk. Inthe present case, the symmetry properties are described by k + 2 groups eachacting on the real vector space of homogeneous polynomials of partial degrees(k,m−k). A particular aspect of the results presented in [1] was the use of disjointunion decomposition to reduce the general problem to cyclic groups. We devotea part of this paper to disjoint union decompositions for crystallographic groups,and we discuss their consequences on the number of independent coefficients forpolynomial constitutive equations.

The paper is organized as follows: the second section recall the general lines ofthe nonlinear electromagnetic deformable bodies (as presented in [8]). This formu-lation evidences that constitutive relations are completely specified by a free energyfunction Ψ, whose derivatives provide constitutive relations compatible with theClausius-Duhem inequality. As we mentioned above, in the context of electroe-lastic materials the free energy function depends only on two variables: one is asymmetric second order tensor (the right Cauchy-Green strain tensor), and theother is a vector (the electric field in the material description). The third sectionanalyses the structure of polynomial constitutive equations and emphasizes therelation between invariant polynomials and fixed point subspaces. This relationallows us to use the trace formula to compute the number of independent coeffi-cients in this context. The fourth section gives an explicit formula for the numberof independent coefficients and for arbitrary polynomial constitutive equations.

As in the context of nonlinear elasticity theory, we show how the groups de-scribing the symmetry properties of the coefficients involved in the descriptionof constitutive relations, determine completely the number of independent coeffi-cients. Based on the results of the fourth section, we explicitly compute in thefifth section the characters involved in the description of polynomial constitutiverelations for electroelastic materials up to degree 5. We evidence an interesting fea-ture of this framework: a purely algebraic argument shows that characters used tocompute coupling coefficients are expressed as products between characters arisingin elasticity theory and in dielectrics.

In the framework of nonlinear elasticity, in [1] the number of independent coeffi-cients for the dihedral groups, for the tetragonal group and for the cubic group hasbeen related to the number of coefficients for the cyclic groups. In the same spirit,in the sixth section we exploit this powerful result related to the trace formula.Specifically, we show that the number of independent coefficients for 8 crystallo-graphic groups allows the computation of the number of independent coefficientsfor all other 24 groups. The key of this result is the disjoint union decompositionformulas presented in section 6. Combining the general results, we find the num-ber of independent coefficients for polynomial constitutive relations up to degree5 for all 32 crystallographic groups.

Page 3: Anisotropic polynomial constitutive equations for electroelastic crystals

Vol. 48 (1997) Anisotropic constitutive equations 859

2. Nonlinear electromagnetic theory

For sake of completeness, the general lines of the nonlinear electromagnetic theoryare recalled following [8], [14]. Neglecting the jump conditions, the field equationsare:

1. Maxwell’s equations:

∇ ·D = qe, ∇×E +1c

∂B∂t

= 0, (2.1− 2)

∇ ·B = 0, ∇×H− 1c

∂D∂t

=1cJ, (2.3− 4)

supplemented by the relations

D = E + P, B = H + M. (2.5− 6)

2. Thermomechanical balance laws:

ρ+ ρ∇ · v = 0, (2.7)

tkl,k + ρ(fl − vl) + Mfl = 0, (2.8)

t[kl] = E[kPl] +B[kMl], (2.9)

ρε− tklvl,k −∇ · q− ρh− ρE · (P/ρ)· +M· B− I · E = 0, (2.10)

ρη −∇ · (q/θ) − ρh/θ ≥ 0. (2.11)

In the above equations the square brackets indicate the antisymmetry (e.g.,a[kl] = (akl − alk)/2), and the symbols employed denote: ρ - mass density, v -velocity field, t = (tkl) - Cauchy stress tensor, f = (fl) - mechanical body forcedensity, M f = (Mfl) - electromagnetic body force density, E - electric vector, P -polarization field, B - magnetic induction field, M - magnetization vector, ε - inter-nal energy density, q - heat flux, h - heat source density, θ - absolute temperature,η - entropy, D - dielectric displacement vector, qe - charge density, B - magneticinduction, H - magnetic induction, J - current vector. The electromagnetic fieldsin a moving frame are given by

E = E +1cv×B, H = H− 1

cv×D, (2.12− 13)

M = M− 1cv×P, I = J− qev. (2.14− 15)

The electromagnetic body force M f is defined by

M f = qeE +1cJ×B + (∇E) ·P + (∇B) ·M +

1c

[(P×B)vk],k. (2.16)

Page 4: Anisotropic polynomial constitutive equations for electroelastic crystals

860 A. Danescu and A. M. Tarantino ZAMP

In the classical treatment [8], a canonical decomposition of the nonsymmetricalstress tensor tkl provides the symmetrical tensor Etkl, viz.

Etkl = tkl + PkEl +MkBl, (2.17)

and the Clausius-Duhem inequality imposes some restrictions on the constitutiverelations similar to those appearing in nonlinear elasticity. Let F denote the de-formation gradient from a fixed reference configuration and let Π and ET denotethe polarization vector corresponding to P in the material description and, re-spectively, the second order Piola-Kirchhoff stress tensor corresponding to Et, i.e.,Π = ρ0/ρF−1P and ET = ρ0/ρF−1(Et)F−T . If the free energy density Ψ, definedas

Ψ = ε− θη − 1ρ0E0 · Π, (2.18)

is supposed to depend on C (the right Cauchy-Green strain tensor), θ,∇θ, E0 (theelectric field in material description) and B, it can be shown that Ψ is a potentialfor the constitutive relations [8], namely,

ET = 2ρ0∂Ψ∂C

, Π = −ρ0∂Ψ∂E0

, (2.19− 20)

M = −ρ0∂Ψ∂B

, η = −∂Ψ∂θ

. (2.21− 22)

Finally, two constitutive relations (for the heat flux q and current I) are so re-stricted by the reduced Clausius-Duhem inequality

1θq · ∇θ + I · E ≥ 0. (2.23)

All above equations can be directly specialized to the nonlinear electroelastictheory by neglecting magnetic and temperature effects.

3. Polynomial constitutive relations

This section presents the general structure of polynomial constitutive relations andthe restrictions imposed by symmetry requirements. For the sake of simplicity weshall formally replace the tensorial variable by A and the vectorial one by v.

In the sequel, we denote by G a subgroup of the orthogonal group O(3) and byPn(Sym,R3) the real vector space of scalar valued polynomials of degree ≤ n intwo variables (A,v) ∈ Sym × R3. The actions of the symmetry group G on Symand R3, denoted by Φ1 and Φ2 respectively, are defined through

Φ1 : G× Sym→ Sym, Φ1(Q,A) = QAQT , (3.1)

Page 5: Anisotropic polynomial constitutive equations for electroelastic crystals

Vol. 48 (1997) Anisotropic constitutive equations 861

andΦ2 : G× R3 → R3, Φ2(Q,v) = Qv. (3.2)

The natural action of the group G on Pn(Sym,R3), induced by the material sym-metry requirements Φ : G × Pn(Sym,R3) → Pn(Sym,R3) is defined, taking intoaccount (3.1) and (3.2), as:

Φ(Q, p(A,v)) = p(Φ1(Q,A),Φ2(Q,v)). (3.3)

The real vector subspace of Pn(Sym,R3) containing all polynomials p that satisfythe restriction

Φ(Q, p) = p, (3.4)

is designed by PnG(Sym,R3). In the next section a general result for the dimensionof PnG(Sym,R3) as a function of G and n, is provided. A first step of our analysisis the following reduction argument. A general polynomial form for the potentialΨ can always be written in the form

Ψ(A,v) =n∑

m=0

Hm(A,v), (3.5)

where Hm(A,v) are homogeneous polynomials of degree m. In turn, each homo-geneous polynomial Hm(A,v) can be expressed as

Hm(A,v) =∑

0≤k≤mK(k,m−k)[A(1), . . . ,A(k),v(1), . . . ,v(m−k)]. (3.6)

For 0 ≤ k ≤ m, we indicate with K(k,m−k) the real vector space of homo-geneous polynomials of total degree m (i.e., p(λA, λv) = λmp(A,v)) and partialhomogeneous degree k in the first variable (i.e., p(λA,v) = λkp(A,v)). Obviously,K(k,m−k) is invariant with respect to the action Φ, namely

p ∈ K(k,m−k) =⇒ Φ(Q, p) ∈ K(k,m−k), (3.7)

for every Q ∈ G and for every G subgroup of O(3). We denote by Φ(k,m−k)

the restriction to G × K(k,m−k) of the action Φ of G on PnG(Sym,R3). Thus,Φ(k,m−k) : G×K(k,m−k) → K(k,m−k) and

Φ(k,m−k)(Q, p(A,v)) = p(QAQT ,Qv). (3.8)

Let K(k,m−k)G be the real vector subspace of invariant polynomials of K(k,m−k);

thenK(k,m−k)G = K(k,m−k) ∩ PnG(Sym,R3). (3.9)

Page 6: Anisotropic polynomial constitutive equations for electroelastic crystals

862 A. Danescu and A. M. Tarantino ZAMP

Obviously, we have

Pn(Sym,R3) =⊕

O≤k≤m≤nK(k,m−k) (3.10)

PnG(Sym,R3) =⊕

O≤k≤m≤nK(k,m−k)G . (3.11)

and to conclude our reduction argument we state the following proposition:

Proposition 3.1. The dimension of the vector space PnG(Sym,R3) equalsn∑

m=0

m∑k=0

dimK(k,m−k)G . (3.12)

Proof follows from relation (3.11). We are thus led to study the dimension ofthe real vector space of invariant homogeneous polynomials of the total degree ofhomogeneity m and the partial degree of homogeneity with respect to the firstvariable k, (k < m).

We recall that the action of the symmetry group on each vector space K(k,m−k)

provides a character, indicated by χ(k,m−k), which is expressed as

χ(k,m−k)(Q) = tr Φ(k,m−k)(Q, ·). (3.13)

Fix 0 ≤ k ≤ m ≤ n and denominate by M(k,m−k) the set of multilinear applica-tions from Symk ×R3(m−k) symmetric with respect to permutations of the first kvariables and symmetric with respect to permutations of the last m− k variables.Thus, the action of the symmetry group G on K(k,m−k) induces an action φk,m−k

of G on M(k,m−k) defined through

φk,m−k : G×M(k,m−k) →M(k,m−k),

φk,m−k(Q,M)[A(1), . . . ,A(k),v(1), . . . ,v(m−k)]

= M [Φ1(A(1)), . . . ,Φ1(A(k)),Φ2(v(1)), . . . ,Φ2(v(m−k))]. (3.14)In this way the following proposition is obtained.

Proposition 3.2. The fixed-point subspace of M(k,m−k), with respect to the ac-tion φk,m−k defined in (3.14), is isomorphic to K(k,m−k)

G .

The exact symmetry requirements for elements inM(k,m−k) will be describedin the following section. We can now apply the trace formula to obtain a generalresult for the dimension of K(k,m−k)

G .

Theorem 3.1. If G is a subgroup of the orthogonal group O(3), then

dimK(k,m−k)G =

∫G

χ(k,m−k)(Q)dQ. (3.15)

Page 7: Anisotropic polynomial constitutive equations for electroelastic crystals

Vol. 48 (1997) Anisotropic constitutive equations 863

4. General results for χ(k,m−k)

In this section the computation of the characters χ(k,m−k) corresponding to repre-sentations of an arbitrary subgroup of the orthogonal group is performed. The firststep toward this end is a description of the symmetry properties of the multilinearforms in M(k,m−k). We once again recall that, for 0 ≤ k ≤ m ≤ n, M(k,m−k)

represents the set of multilinear applications from Symk×R3(m−k) symmetric withrespect to permutations of the first k variables and symmetric with respect to per-mutations of the last m− k variables. There is therefore a natural action Λ of thegroup S(k,m−k) = Zk2 ×Zk ×Zm−k on a set with k+m elements. If θ ∈ S(k,m−k),then θ = (σ1, . . . , σk, τ, ζ) and the action Λ is defined as

Λ(θ, (x1, . . . , x2k, x2k+1, . . . , xm+k)) =

= (τ(σ1(x1, x2), . . . , σk(x2k−1, x2k)), ζ(x2k+1, . . . , xm+k)). (4.1)

Each element M ∈ M(k,m−k) can be expressed, via coefficients Mi1i2...im+k whichsatisfy

Mi1i2...im+k = Mθ(i1i2...im+k), (4.2)

for every θ ∈ S(k,m−k). These symmetry properties have some direct implicationson the character formulas. For θ ∈ S(k,m−k), we denote by nc(θ) the number ofdisjoint cycles of θ and, for 1 ≤ j ≤ nc(θ), by l(cj) the length of the jth cycle of θ.

Theorem 4.1. If 0 ≤ k ≤ m, the following formula holds:

χ(k,m−k)(Q) =∑

θ∈S(k,m−k)

nc(θ)∏j=1

Ql(cj) (4.3)

Proof. The identity of L(M(k,m−k),M(k,m−k)) (i.e., the space of linear applica-tions fromM(k,m−k) into itself) is given by

I(k,m−k)i1,... ,i2(m+k)

=

=1

22k(m− k)!2k!2∑

θ1,θ2∈S(k,m−k)

δθ1(i1)θ2(im+k+1) . . . δθ1(im+k)θ2(i2m+2k−1) (4.4)

and for Q ∈ O(3) the linear mapping Φ(k,m−k)(Q) (which also belongs toL(M(k,m−k),M(k,m−k))) has components given by

(Φ(k,m−k)(Q))i1,... ,i2(m+k)=

Page 8: Anisotropic polynomial constitutive equations for electroelastic crystals

864 A. Danescu and A. M. Tarantino ZAMP

=1

22k(m− k)!2k!2∑

κ1,κ2∈S(k,m−k)

Qκ1(i1)κ2(im+k+1) . . . Qκ1(im+k)κ2(i2m+2k−1).

(4.5)The definition of the trace then gives

χ(k,m−k)(Q) = I(k,m−k) : Φ(k,m−k)(Q), (4.6)

and interchanging the terms in the expressions for I(k,m−k) and Φ(k,m−k)(Q) (for-mulas (4.4) and (4.5)) we obtain

χ(k,m−k)(Q) =1

24k(m− k)!4k!4·

·

∑θ∈S(k,m−k)

δi1θ(im+k+1) . . . δim+kθ(i2m+2k−1)

··

∑κ∈S(k,m−k)

Qi1κ(im+k+1) . . . Qim+kκ(i2m+2k−1)

. (4.7)

Each product between a term in the first bracket and one of the second bracket in(4.7) furnishes

Qθ(im+k+1)κ(im+k+1) . . . Qθ(i2m+2k−1)κ(i2m+2k−1), (4.8)

for some θ and κ in S(k,m−k) and after interchanging the factors each of theseterms can be rewritten as

Qi1ζ(i1) . . . Qim+kζ(im+k), (4.9)

for some ζ ∈ S(k,m−k). There are 22k(m− k)!2k!2 terms like (4.8) providing2k(m− k)!k! different terms like (4.9) (each term (4.9) is found to occur exactly2k(m− k)!k! times). Thus we obtain

χ(k,m−k)(Q) =1

2k(m− k)!k!

∑κ∈S(k,m−k)

Qi1κ(i1) . . . Qim+kκ(im+k). (4.10)

Denoting by c1, . . . , cnc(κ) the disjoint cycles of κ, we finally note that

Qi1κ(i1) . . . Qim+kκ(im+k) =∏

j=1,nc(κ)

trQl(cj)

and proof is complete. �

Page 9: Anisotropic polynomial constitutive equations for electroelastic crystals

Vol. 48 (1997) Anisotropic constitutive equations 865

For practical reasons, to compute the character χ(k,m−k) one can decomposeall the permutations (that describe the symmetry properties of M) of the m + kindices of M in disjoint cycles, to count those for which the number and the lengthof disjoint cycles is the same and, finally, to write the character formula (4.3).This observation provides an interesting result which is peculiar to a frameworkinvolving two or more variables of different order, namely:

Theorem 4.2. For 0 ≤ k ≤ m, the following formula holds:

χ(k,m−k)(Q) = χ(k,0)(Q)χ(0,m−k)(Q). (4.11)

Proof. As its definition shows, the group S(k,m−k) has 2k(m − k)!k! elements. Infact S(k,m−k) can be regarded as a direct product S(k,0) ⊗ S(0,m−k). It followsthat: ∑

κ∈S(k,m−k)

Qi1κ(i1) . . . Qim+kκ(im+k) =

=∑

(κ1,κ2)∈S(k,0)×S(0,m−k)

Qi1κ1(i1) . . . Qi2kκ1(i2k)Qi2k+1κ2(i2k+1) . . . Qim+kκ2(im+k)

= (∑

κ1∈S(k,0)

Qi1κ1(i1) . . .Qi2kκ1(i2k))

(∑

κ2∈S(0,m−k)

Qi1κ2(i1) . . . Qim−kκ2(imkk)),

and we obtain the desired result. �

5. Formulas for characters for constitutive equations up to de-gree 5

We apply now the results obtained in the previous section to a polynomial con-situtive relation for electroelastic materials. Table I lists the characters χ(k,m−k)

for 0 ≤ k ≤ m ≤ 5. Note that the characters χ(m,0) recover polynomial relationsin elasticity, while the χ(0,m) refer to polynomial relations for rigid dielectrics.The theorem 4.2 gives the characters for the coupling coefficients with differentphysical meanings.

Page 10: Anisotropic polynomial constitutive equations for electroelastic crystals

866 A. Danescu and A. M. Tarantino ZAMP

Table 1. Formulas of characters χ(k,m−k)

k m− k χ(k,m−k)

0 1 trQ1 0 ((trQ)2 + trQ2)/20 2 ((trQ)2 + trQ2)/21 1 χ(1,0)χ(0,1)

2 0 ((trQ)4 + 2(trQ)2trQ2 + 2trQ4 + 3(trQ2)2)/80 3 ((trQ)3 + 3trQtrQ2 + 2trQ3)/21 2 χ(1,0)χ(0,2)

2 1 χ(2,0)χ(0,1)

3 0 ((trQ)6 + 3(trQ)4trQ2 + 9(trQ)2(trQ2)2 + +7(trQ2)3

+6trQ2trQ4 + 8(trQ3)2 + 8trQ6 + 6(trQ)2trQ4)/480 4 ((trQ)4 + 5(trQ)2trQ2 + 8trQtrQ3+

+4(trQ2)2 + 6trQ4)/241 3 χ(1,0)χ(0,3)

2 2 χ(2,0)χ(0,2)

3 1 χ(3,0)χ(0,1)

4 0 ((trQ)8 + 4(trQ)6trQ2 + 18(trQ)4(trQ2)2++25(trQ2)4 + 36(trQ2)2trQ4 + 24(trQ)2trQ2trQ4++12(trQ)4(trQ4) + 32trQ2trQ6 + 32(trQ)2trQ6++32trQ2(trQ3)2 + 32(trQ)2(trQ3)2 + 60(trQ4)2+

+48trQ8 + 28(trQ)2(trQ2)3)/3840 5 ((trQ)5 + 24trQ5 + 15trQ(trQ2)2 + 20(trQ)2trQ3+

+10(trQ)3trQ2 + 30trQtrQ4 + 20trQ2trQ3)/1201 4 χ(1,0)χ(0,4)

2 3 χ(2,0)χ(0,3)

3 2 χ(3,0)χ(0,2)

4 1 χ(4,0)χ(0,1)

5 0 (240trQ6(trQ2)2 + 240(trQ3)2(trQ2)2 + 160trQ6trQ4++160(trQ3)2trQ4 + 160(trQ3)2trQ2(trQ)2 + 384(trQ5)2+

+300(trQ4)2trQ2 + 240trQ8trQ2 + 300(trQ)2(trQ4)2++240trQ8(trQ)2 + 180trQ4(trQ2)2(trQ)2 + 140(trQ2)3trQ4+

+125(trQ2)4(trQ)2 + 81(trQ2)5 + 160trQ6trQ2(trQ)2++384trQ10 + 80trQ6(trQ)4 + 80(trQ3)2(trQ)4+

+70(trQ2)3(trQ)4 + 60trQ4trQ2(trQ)4 + 30(trQ2)2(trQ)6++20trQ4(trQ)6 + 5trQ2(trQ)8 + (trQ)10)/3840

6. Disjoint union decomposition formulas

This section presents a major simplification of general results about dimensionof fixed spaces. The main ingredient is the disjoint union decomposition formulaand its role here is to exploit the algebraic structure of the symmetry group. It isinteresting to note that in the context of constitutive equations the disjoint uniondecomposition provides relations between the number of material parameters fordifferent symmetry groups. A new feature of this paper is to use the disjoint union

Page 11: Anisotropic polynomial constitutive equations for electroelastic crystals

Vol. 48 (1997) Anisotropic constitutive equations 867

decomposition for all crystallographic groups in this context. We recall [10] that afinite group G admits a disjoint union decomposition if H1, . . . ,Hs subgroups ofG exist such that:

1. G = H1 ∪H2 ∪ . . . ∪Hs,2. for i 6= j, Hi ∩Hj = e (the identity in G).

We denote a disjoint union decomposition of G by G = H1∪H2∪ . . . ∪Hs ([10]). Adisjoint union decomposition of a finite group provides a powerful simplificationof the trace formula and leads to the following result (originally proved in [11]):

Proposition 6.1. Let G be a finite group acting on a vector space K and supposethat G = H1∪H2∪ . . . ∪Hn. Then

dimKG =1|G| (

n∑i=1

|Hi|dimKHi − (n− 1)dimK). (6.1)

In the following we state the disjoint union decomposition formulas valid forcrystallographic groups, and the consequences of the above proposition. Beforegoing into details, we recall for completeness the following algebraic result (for aproof see [10], [12]):

Lemma 6.1. Let G be a finite group of O(3). Then one of the following holds:(i) G is a finite group of SO(3) (these groups are also called of the first type),(ii) G = G+ ∪ (−1)G+ where G+ = G ∩ SO(3) (groups of the second type),(iii) G is neither of the first type nor of the second type, and in this case, G isa subgroup of index 2 of a group of the second type (these are groups of the thirdtype).

The above lemma divides the 32 crystallographic groups into three classes.There are 11 groups of the first type: isomorphic with the abstract groups: Z1,Z2, Z3, Z4, Z6 (the cyclic groups), D2, D3, D4, D6 (the dihedral groups), T (thetetraedral group) andO (the cubic group); 11 groups of the second type isomorphicto the abstract groups Z2 ⊕ G with G one of the 11 groups of the first type; 10groups of the third type isomorphic with the groups Z−2 , Z−4 , Z−6 , Dz2, Dz3, Dz4, Dz6,Dd4, Dd6, O−. For details concerning the algebraic features about crystallographicgroups we refer to [10] and [12]1.

The structure of groups of second type gives a simple result that we state inthe following.

Lemma 6.2. If G = G+∪G− is a crystallographic group of the second type, then:

dimK(k,m−k)G = 0, if m− k is odd,

1 Different authors use different notations in this context; for this reason we collect in theappendix notations from [8], [10] and [12].

Page 12: Anisotropic polynomial constitutive equations for electroelastic crystals

868 A. Danescu and A. M. Tarantino ZAMP

dimK(k,m−k)G = dimK(k,m−k)

G+ , if m− k is even.

Proof. The proof follows noting simply that χ(k,m−k) is an homogeneous poly-nomial of degree m + k. Thus if m − k is odd so is m + k and in the traceformula for finite groups χ(k,m−k)(Q) cancel with χ(k,m−k)(−Q). If m− k is evenχ(k,m−k)(Q) = χ(k,m−k)(−Q) but the number of elements in G is two times thenumber of elements in G+ so the proof is complete. �

In the following lemma we collect together the disjoint union decompositionfor 13 groups (6 of the first type and 7 of the third type). The proofs are givenin [10] in the context of symmetry-breaking from O(3). In the following, ∪nZpmeans disjoint union of n copies of Zp.

Proposition 6.2. The following disjoint union decomposition formulas hold:

Dn = ∪nZ2∪Zn for n ≥ 2,

O = ∪3Z4∪4Z3∪6Z2,

T = ∪4Z3∪3Z2,

Dzn = Zn∪nZ−2 for n ≥ 2,

Dd2n = Z−2n∪nZ2∪nZ−2 for n ≥ 2,

O− = ∪3Z−4 ∪4Z3∪6Z−2 .

The disjoint union decomposition formulas listed above and the result of lemma6.2 show that in order to compute dimK(k,m−k)

G for all crystallographic groups itis enough to have it only for 8 groups, namely: Z1, Z2, Z3, Z4, Z6, Z−2 , Z−4 et Z−6 .

The exact formulas for dimK(k,m−k)G in the other cases are given by lemma 6.2 for

groups of the second type and by the following theorem for the other 13 groups.

Theorem 6.1. For 0 ≤ k ≤ m, the following formulas hold:

dimK(k,m−k)Dn = dimK(k,m−k)

Z2+ dimK(k,m−k)

Zn /2− dimK(k,m−k)/2,

dimK(k,m−k)Dzn

= dimK(k,m−k)Z−2

+ dimK(k,m−k)Zn /2− dimK(k,m−k)/2,

dimK(k,m−k)T = dimK(k,m−k)

Z3+ dimK(k,m−k)

Z2/2− dimK(k,m−k)/2,

dimK(k,m−k)Dd2n

= dimK(k,m−k)Z2

/2 + dimK(k,m−k)Z−2

/2 + dimK(k,m−k)Z−2n

/2

Page 13: Anisotropic polynomial constitutive equations for electroelastic crystals

Vol. 48 (1997) Anisotropic constitutive equations 869

Table 2. Dimensions of K(k,m−k) for 0 ≤ k ≤ m ≤ 3 for all crystallographic groups.

group (k,m− k)

(1, 0) (0, 1) (2, 0) (1, 1) (0, 2) (3, 0) (2, 1) (1, 2) (0, 3)1 6 3 21 18 6 56 63 36 101 6 0 21 0 6 56 0 36 02 4 1 13 8 4 32 29 20 4m 4 2 13 10 4 32 34 20 6

2/m 4 0 13 0 4 32 0 20 0222 3 0 9 3 3 20 12 12 1

2mm 3 1 9 5 3 20 17 12 3mmm 3 0 9 0 3 20 0 12 0

4 2 1 7 4 2 16 15 10 24 2 0 7 4 2 16 14 10 2

4/m 2 0 7 0 2 16 0 10 0422 2 0 6 1 2 12 5 7 0

4mm 2 1 6 3 2 12 10 7 242m 2 0 6 2 2 12 7 7 1

4/mmm 2 0 6 0 2 12 0 7 03 2 1 7 6 2 20 21 12 43 2 0 7 0 2 20 0 12 032 2 0 6 2 2 14 8 8 13m 2 1 6 4 2 14 13 8 33m 2 0 6 0 2 14 0 8 06 2 1 5 4 2 12 11 8 26 2 0 5 2 2 12 10 8 2

6/m 2 0 5 0 2 12 0 8 0622 2 0 5 1 2 10 3 6 0

6mm 2 1 5 3 2 10 8 6 26m2 2 0 5 1 2 10 5 6 1

6/mmm 2 0 5 0 2 10 0 6 023 1 0 3 1 1 8 4 4 1m3 1 0 3 0 1 8 0 4 0432 1 0 3 0 1 6 1 3 043m 1 0 3 1 1 6 3 3 1m3m 1 0 3 0 1 6 0 3 0

−dimK(k,m−k)/2,

dimK(k,m−k)O = dimK(k,m−k)

Z4/2 + dimK(k,m−k)

Z3/2 + dimK(k,m−k)

Z2/2

−dimK(k,m−k)/2,

dimK(k,m−k)O− = dimK(k,m−k)

Z−4/2 + dimK(k,m−k)

Z3/2 + dimK(k,m−k)

Z−2/2

−dimK(k,m−k)/2.

Page 14: Anisotropic polynomial constitutive equations for electroelastic crystals

870 A. Danescu and A. M. Tarantino ZAMP

Table 3. Dimensions of K(k,m−k) for 4 ≤ k ≤ m ≤ 5 for all crystallographic groups.

group (k,m− k)

(4, 0) (3, 1) (2, 2) (1, 3) (0, 4) (5, 0) (4, 1) (3, 2) (2, 3) (1, 4) (0, 5)1 126 168 126 60 15 252 378 336 210 90 211 126 0 126 0 15 252 0 336 0 90 02 70 80 68 28 9 136 182 176 100 48 9m 70 88 68 32 9 136 196 176 110 48 12

2/m 70 0 68 0 9 136 0 176 0 48 0222 42 36 39 12 6 84 84 96 45 27 3

2mm 42 44 39 16 6 84 98 96 55 27 6mmm 42 0 39 0 6 84 0 96 0 27 0

4 36 40 34 14 5 68 92 88 50 24 54 36 40 34 14 5 68 90 88 50 24 4

4/m 36 0 34 0 5 68 0 88 0 24 0422 25 16 22 5 4 46 39 52 20 15 1

4mm 25 24 22 9 4 46 53 52 30 15 442m 25 20 22 7 4 46 45 52 25 15 2

4/mmm 25 0 22 0 4 46 0 52 0 15 03 42 56 42 20 5 78 126 112 70 30 73 42 0 42 0 5 78 0 112 0 30 032 28 24 26 8 4 52 56 64 30 18 23m 28 32 26 12 4 52 70 64 40 18 53m 28 0 26 0 4 52 0 64 0 18 06 24 28 24 10 3 44 62 60 34 16 36 24 28 24 10 3 44 64 60 36 16 4

6/m 24 0 24 0 3 44 0 60 0 16 0622 19 10 17 3 3 33 24 38 12 11 0

6mm 19 18 17 7 3 33 38 38 22 11 36m2 19 14 17 5 3 33 32 38 18 11 2

6/mmm 19 0 17 0 3 33 0 38 0 11 023 14 12 13 4 2 26 28 32 15 9 1m3 14 0 13 0 2 26 0 32 0 9 0432 11 4 9 1 2 18 11 20 5 6 043m 11 8 9 3 2 18 17 20 10 6 1m3m 11 0 9 0 2 18 0 20 0 6 0

The next section presents numerical results for dimK(k,m−k)G for polynomial

constitutive equations and all crystallographic groups.

6.1. Numerical results

Tables II and III give the numerical results obtained by using the above characterformulas and the disjoint union decompositions for all 32 crystallographic groups.In a column corresponding to a pair (k,m− k) we give the number of invarianthomogeneous polynomials of total degree m and of partial degree k with respectto the tensorial variable.

Page 15: Anisotropic polynomial constitutive equations for electroelastic crystals

Vol. 48 (1997) Anisotropic constitutive equations 871

7. Final remarks

The above results essentially capture the power of group representation techniques(and especially the “group-averaging method”) in the representation problems,with a special accent to the disjoint union decomposition in this context. The ex-plicit constitutive equations are not emphasized because one could easily computethe general forms for the polynomial case via a projection method. The simplestidea is to start with a basis in the space of coefficients and to average each ele-ment of the basis over the symmetry group. A classical Gram-Schmidt proceduretogether with the dimensions provided by our results are than sufficient to obtainthe general forms.

A detailed discussion for second order couplings (which involve third orderderivaties of the free energy) is provided in a previous work [13]. Results obtainedin this paper obviously cover that case, the elastic case (when k = m in termsof (3.5)) and the electric case (when k = 0). With respect to couplings a morepractical reference [15] shows that for fourth order couplings (this means m = 4 inour notations) the measures provide errors of more than 100%. Numerical valuesof different coefficients (second order (ı.e. the linear elastoelectric case), thirdorder and even fourth order) can be found for special materials that fall in thecubic class in [14].

Appendix

As references cited frequently in this paper use different notations for the 32crystallographic groups, we put together in the following table: the names, theHermann-Mauguin notation [8], the notations for abstract groups (used in [10]and in the present paper) and notations from [12].

Page 16: Anisotropic polynomial constitutive equations for electroelastic crystals

872 A. Danescu and A. M. Tarantino ZAMP

Notations used for crystallographic groups.

Nr. System Hermann - Mauguin Class Notation from Notation fromnotation [8] name [10] [12]

1 Triclinic 1 Pedial Z1 C12 1 Pinacoidal Z2 ⊕Z1 S23 Monoclinic 2 Sphenoidal Z2 C24 m Domatic Z−2 CS5 2/m Prismatic Z2 ⊕Z2 C2h6 Orthorhombic 222 Rhombic-disphenoidal D2 D27 2mm Rhombic-pyromidal Dz2 C2v8 mmm Rhombic-dipyramidal Z2 ⊕D2 D2h9 Tetragonal 4 Tetragonal-pyramidal Z4 C410 4 Tetragonal-disphenoidal Z−4 S411 4/m Tetragonal-dipyramidal Z2 ⊕Z4 C4h12 422 Tetragonal-trapezahedral D4 D413 4mm Ditetragonal-pyramidal Dz4 C4v14 42m Tetragonal-scalenohedral Dd4 D2d15 4/mmm Ditetragonal-dipyramidal Z2 ⊕D4 D4h16 Trigonal 3 Trigonal-pyramidal Z3 C317 3 Rhombohedral Z2 ⊕Z3 S618 32 Trigonal-trapezohedral D3 D319 3m Ditrigonal-pyramidal Dz3 C3v20 3m Hexagonal-scalenohedral Z2 ⊕D3 D3v21 Hexagonal 6 Hexagonal-pyramidal Z6 C622 6 Trigonal-dipyramidal Z−6 C3h23 6/m Hexagonal-dipyramidal Z2 ⊕Z6 C6h24 622 Hexagonal-trapezohedral D6 D625 6mm Dihexagonal-pyramidal Dz6 C6v26 6m2 Ditrigonal-dipyramidal Dd6 D3h27 6/mmm Dihexagonal-dipyramidal Z2 ⊕D6 D6h28 Cubic 23 Tetartoidal T T29 m3 Diploidal Z2 ⊕ T Th30 432 Gyroidal O O31 43m Hextetrahedral O− Td32 m3m Hexoctohedral Z2 ⊕O Oh

References

[1] A. Danescu, The number of elastic moduli for anisotropic polynomial constitutive equations,Mech. Res. Comm. 24 (1997), 289-301.

[2] M. M. Smith, G. F. Smith, Group–averaging methods for generating constitutive equations,in Mechanics and Physics of Energy Density, eds. G.C. Sih and E.E. Gdoutos, KluwerAcademic Publishers, 1992, 167–178,

[3] M. E. Gurtin, The Linear Theory of Elasticity. Handbuch der Physik 6a2, Springer-Verlag,Berlin 1972.

[4] S. Bagavantham, T. Venkatarayudu, Theory of Groups and Its Applications to PhysicalProblems, Academic Press, New York 1969.

Page 17: Anisotropic polynomial constitutive equations for electroelastic crystals

Vol. 48 (1997) Anisotropic constitutive equations 873

[5] G. E. Smith, Further results on the stored-energy function for anisotropic elastic materialsArch. Rational Mech. Anal. 10 (1962), 108–118.

[6] G.E. Smith, Constitutive Equations for Anisotropic and Isotropic Materials, North-Holland,Amsterdam 1994.

[7] A. J. M. Spencer, Theory of Invariants, in Continuum Physics (ed. K.A. Eringen), Aca-demic Press, New York 1971.

[8] E. Kiral, A. C. Eringen, Constitutive Equations of Nonlinear Electromagnetic-Elastic Crys-tals, Springer Verlag, Berlin 1990.

[9] G. Maugin, Continuum Mechanics of Electromagnetic Solids, North-Holland, Amsterdam1988.

[10] M. Golubitsky, I.N. Stewart, D.G. Schaeffer, Singularities and Groups in Bifurcation The-ory, Vol. II, Applied Mathematical Sciences 69, Springer Verlag, Berlin 1988.

[11] E. Ihrig, M. Golubitsky, Pattern selection with O(3) symmetry, Physica 12D (1984), 1–33.[12] W. Miller, Symmetry Groups and Their Applications, Academic Press, New-York 1972.[13] A. Danescu, A. M. Tarantino Electro-elastic interactions and second order anisotropic

constitutive equations, Meccanica 31 (1996), 657-664.[14] G.A. Maugin, Nonlinear Electromechanical Effects and Applications, World Scientific, Sin-

gapore 1985.[15] G. Maugin, J. Pouget, R. Drouot, B. Collet, Nonlinear Electromechanical Couplings, John

Wiley & Sons, New York 1992.

A. DanescuLTDS - Ecole Centrale de LyonF 69131 EcullyFrance(Fax: +33.472.18.91.44)

A. M. TarantinoIstituto di Scienza e Tecnica delle CostruzioniUniversita di AnconaI 60131 Ancona, Italia(Fax: +39.71.2204576)

(Received: January 15, 1996)


Recommended