Part 1 ELEMENTS OF CONTINUUM MECHANICS

Transcription

1 Part 1 ELEMENTS OF CONTINUUM MECHANICS

2 CHAPTER 1 TENSOR PRELIMINARIES 1.1. Vectors An orthonormal basis for the three-dimensional Euclidean vector space is a set of three orthogonal unit vectors. The scalar product of any two of these vectors is { 1, if i = j, e i e j = δ ij = 1.1.1) 0, if i j, δ ij being the Kronecker delta symbol. An arbitrary vector a can be decomposed in the introduced basis as a = a i e i, a i = a e i ) The summation convention is assumed over the repeated indices. The scalar product of the vectors a and b is The vector product of two base vectors is defined by a b = a i b i ) e i e j = ɛ ijk e k, 1.1.4) where ɛ ijk is the permutation symbol 1, if ijk is an even permutation of 123, ɛ ijk = 1, if ijk is an odd permutation of 123, 0, otherwise ) The vector product of the vectors a and b can consequently be written as The triple scalar product of the base vectors is so that In view of the vector relationship a b = ɛ ijk a i b j e k ) e i e j ) e k = ɛ ijk, 1.1.7) a 1 b 1 c 1 a b) c = ɛ ijk a i b j c k = a 2 b 2 c 2 a 3 b 3 c ) e i e j ) e k e l )=e i e k )e j e l ) e i e l )e j e k ), 1.1.9)

3 there is an ɛ δ identity In particular, ɛ ijm ɛ klm = δ ik δ jl δ il δ jk ) ɛ ikl ɛ jkl =2δ ij, ɛ ijk ɛ ijk = ) The triple vector product of the base vectors is Thus, e i e j ) e k = ɛ ijm ɛ klm e l = δ ik e j δ jk e i ) which confirms the vector identity a b) c = a i b j c i e j c j e i ), ) a b) c =a c)b b c)a ) 1.2. Second-Order Tensors A dyadic product of two base vectors is the second-order tensor e i e j, such that e i e j ) e k = e k e j e i )=δ jk e i ) For arbitrary vectors a, b and c, it follows that a b) e k = b k a, a b) c =b c)a ) The tensors e i e j serve as base tensors for the representation of an arbitrary second-order tensor, A = A ij e i e j, A ij = e i A e j ) A dot product of the second-order tensor A and the vector a is the vector b = A a = b i e i, b i = A ij a j ) Similarly, a dot product of two second-order tensors A and B is the secondorder tensor C = A B = C ij e i e j, C ij = A ik B kj ) The unit identity) second-order tensor is which satisfies I = δ ij e i e j, 1.2.6) A I = I A = A, I a = a ) The transpose of the tensor A is the tensor A T, which, for any vectors a and b, meets Thus, if A = A ij e i e j, then A a = a A T, b A a = a A T b ) A T = A ji e i e j )

4 The tensor A is symmetric if A T = A; it is antisymmetric or skewsymmetric) if A T = A. IfA is nonsingular det A 0), there is a unique inverse tensor A 1 such that A A 1 = A 1 A = I ) In this case, b = A a implies a = A 1 b. For an orthogonal tensor A T = A 1, so that det A = ±1. The plus sign corresponds to proper and minus to improper orthogonal tensors. The trace of the tensor A is a scalar obtained by the contraction i = j) operation tr A = A ii ) For a three-dimensional identity tensor, tr I = 3. Two inner scalar or double-dot) products of two second-order tensors are defined by The connections are A B =tra B) =A ij B ji, ) A : B =tr A B T ) =tr A T B ) = A ij B ij ) A B = A T : B = A : B T ) If either A or B is symmetric, A B = A : B. Also, tr A = A : I, tr a b) =a b ) Since the trace product is unaltered by any cyclic rearrangement of the factors, we have A B C) =A B) C =C A) B, ) A :B C) = B T A ) : C = A C T ) : B ) A deviatoric part of A is defined by A = A 1 tr A)I, ) 3 with the property tr A = 0. It is easily verified that A : A = A : A and A A = A A. A nonsymmetric tensor A can be decomposed into its symmetric and antisymmetric parts, A = A s + A a, such that A s = 1 A + A T ), A a = 1 A A T ) ) 2 2 If A is symmetric and W is antisymmetric, the trace of their dot product is equal to zero, tr A W) = 0. The axial vector ω of an antisymmetric tensor W is defined by W a = ω a, ) for every vector a. This gives the component relationships W ij = ɛ ijk ω k, ω i = 1 2 ɛ ijkw jk )

5 Since A e i = A ji e j, the determinant of A can be calculated from Eq ) as Thus, det A =[A e 1 ) A e 2 )] A e 3 )=ɛ ijk A i1 A j2 A k ) and by second of Eq ) ɛ αβγ det A) =ɛ ijk A iα A jβ A kγ, ) det A = 1 6 ɛ ijkɛ αβγ A iα A jβ A kγ ) For further details, standard texts such as Brillouin 1964) can be consulted Eigenvalues and Eigenvectors The vector n is an eigenvector of the second-order tensor A if there is a scalar λ such that A n = λn, i.e., A λi) n = ) A scalar λ is called an eigenvalue of A corresponding to the eigenvector n. Nontrivial solutions for n exist if deta λi) = 0, which gives the characteristic equation for A, λ 3 J 1 λ 2 J 2 λ J 3 = ) The scalars J 1, J 2 and J 3 are the principal invariants of A, which remain unchanged under any orthogonal transformation of the orthonormal basis of A. These are J 1 =tra, 1.3.3) J 2 = 1 [ tr A 2) tr A) 2], ) J 3 = det A = 1 [ 2tr A 3) 3 tr A)tr A 2) + tr A) 3] ) If λ 1 λ 2 λ 3 λ 1, there are three mutually orthogonal eigenvectors n 1, n 2, n 3, so that A has a spectral representation 3 A = λ i n i n i ) If λ 1 λ 2 = λ 3, i=1 A =λ 1 λ 2 )n 1 n 1 + λ 2 I, 1.3.7) while A = λi, ifλ 1 = λ 2 = λ 3 = λ. A symmetric real tensor has all real eigenvalues. An antisymmetric tensor has only one real eigenvalue, which is equal to zero. The corresponding eigendirection is parallel to the axial vector of the antisymmetric tensor. A proper orthogonal rotation) tensor has also one real eigenvalue, which is equal to one. The corresponding eigendirection is parallel to the axis of rotation.

6 1.4. Cayley Hamilton Theorem A second-order tensor satisfies its own characteristic equation A 3 J 1 A 2 J 2 A J 3 I = ) This is a Cayley Hamilton theorem. Thus, if A 1 exists, it can be expressed as J 3 A 1 = A 2 J 1 A J 2 I, 1.4.2) which shows that eigendirections of A 1 are parallel to those of A. A number of useful results can be extracted from the Cayley Hamilton theorem. An expression for det F) in terms of traces of A, A 2, A 3, given in Eq ), is obtained by taking the trace of Eq ). Similarly, deti + A) det A =1+J 1 J ) If X 2 = A, an application of Eq ) to X gives A X I 1 A I 2 X I 3 I = 0, 1.4.4) where I i are the principal invariants of X. Multiplying this with I 1 and X, and summing up the resulting two equations yields 1 [ X = A 2 I 2 ) 1 + I 2 A I1 I 3 I ] ) I 1 I 2 + I 3 The invariants I i can be calculated from the principal invariants of A, or from the eigenvalues of A. Alternative route to solve X 2 = A is via eigendirections and spectral representation diagonalization) of A Change of Basis Under a rotational change of basis, the new base vectors are e i = Q e i, where Q is a proper orthogonal tensor. An arbitrary vector a can be decomposed in the two bases as a = a i e i = a i e i, a i = Q ji a j ) If the vector a is introduced, with components a i in the original basis a = a i e i), then a = Q T a. Under an arbitrary orthogonal transformation Q Q Q T = Q T Q = I, det Q = ±1), the components of so-called axial vectors transform according to ωi = det Q)Q jiω j. On the other hand, the components of absolute vectors transform as a i = Q jia j. If attention is confined to proper orthogonal transformations, i.e., the rotations of the basis only det Q = 1), no distinction is made between axial and absolute vectors. An invariant of a is a a. A scalar product of two vectors a and b is an even invariant of vectors a and b, since it remains unchanged under both proper and improper orthogonal transformation of the basis rotation and reflection). A triple scalar product of three vectors is an odd invariant of those vectors, since it remains unchanged under all proper orthogonal transformations det Q = 1), but changes the sign under improper orthogonal transformations det Q = 1).

7 A second-order tensor A can be decomposed in the considered bases as A = A ij e i e j = A ije i e j, A ij = Q ki A kl Q lj ) If the tensor A = A ij e i e j is introduced, it is related to A by A = Q T A Q. The two tensors share the same eigenvalues, which are thus invariants of A under rotation of the basis. Invariants are also symmetric functions of the eigenvalues, such as tr A = λ 1 + λ 2 + λ 3, tr A 2) = λ λ λ 2 3, tr A 3) = λ λ λ 3 3, 1.5.3) or the principal invariants of Eqs ) 1.3.5), J 1 = λ 1 + λ 2 + λ 3, J 2 = λ 1 λ 2 + λ 2 λ 3 + λ 3 λ 1 ), J 3 = λ 1 λ 2 λ ) All invariants of the second-order tensors under orthogonal transformations are even invariants Higher-Order Tensors Triadic and tetradic products of the base vectors are e i e j e k, e i e j e k e l, 1.6.1) with obvious extension to higher-order polyadic products. These tensors serve as base tensors for the representation of higher-order tensors. For example, the permutation tensor is ɛ = ɛ ijk e i e j e k, 1.6.2) where ɛ ijk is defined by Eq ). If A is a symmetric second-order tensor, The fourth-order tensor L can be expressed as A dot product of L with a vector a is ɛ : A = ɛ ijk A jk e i = ) L = L ijkl e i e j e k e l ) L a = L ijkl a l e i e j e k ) Two inner products of the fourth- and second-order tensors can be defined by L A = L ijkl A lk e i e j, L : A = L ijkl A kl e i e j ) If W is antisymmetric and L has the symmetry in its last two indices, L : W = ) The symmetries of the form L ijkl = L jikl = L ijlk will frequently, but not always, hold for the fourth-order tensors considered in this book. We also introduce the scalar products and L :: A B) =B : L : A = B ij L ijkl A kl, 1.6.8) L A B) =B L A = B ji L ijkl A lk )

8 The transpose of L satisfies L : A = A : L T, B : L : A = A : L T : B, ) hence, L T ijkl = L klij. The tensor L is symmetric if L T = L, i.e., L ijkl = L klij reciprocal symmetry). The symmetric fourth-order unit tensor I is I = I ijkl e i e j e k e l, I ijkl = 1 2 δ ik δ jl + δ il δ jk ) ) If L possesses the symmetry in its leading and terminal pair of indices L ijkl = L jikl and L ijkl = L ijlk ) and if A is symmetric A ij = A ji ), then L : I = I : L = L, I : A = A : I = A ) For an arbitrary nonsymmetric second-order tensor A, I : A = A s = 1 2 A + AT ) ) The fourth-order tensor with rectangular components can also be introduced, such that Note the symmetry properties Î ijkl = 1 2 δ ikδ jl δ il δ jk ) ) ÎI : A = A a = 1 2 A AT ) ) Î ijkl = Îklij, Î jikl = Îijlk = Îijkl ) A fourth-order tensor L is invertible if there exists another such tensor L 1 which obeys L : L 1 = L 1 : L = I ) In this case, B = L : A implies A = L 1 : B, and vice versa. The inner product of two fourth-order tensors L and M is defined by L : M = L ijmn M mnkl e i e j e k e l ) The trace of the fourth-order tensor L is tr L = L :: I = L ijij ) In particular, tr I = 6. A fourth-order tensor defined by L d = L 1 tr L)I, ) 6 satisfies The tensor tr L d =0, L d :: L = L d :: L d ) also has the property tr ˆL d =0. ˆL d = L 1 tr L)I I ) 3

9 Under rotational change of the basis specified by a proper orthogonal tensor Q, the components of the fourth-order tensor change according to L ijkl = Q αi Q βj L αβγδ Q γk Q δl ) The trace of the fourth-order tensor is one of its invariants under rotational change of basis. Other invariants are discussed in the paper by Betten 1987) Traceless Tensors A traceless part of the symmetric second-order tensor A has the rectangular components A ij = A ij 1 3 A kkδ ij, ) such that A ii = 0. For a symmetric third-order tensor Z Z ijk = Z jik = Z jki ), the traceless part is Z ijk = Z ijk 1 5 Z mmiδ jk + Z mmj δ ki + Z mmk δ ij ), ) which is defined so that the contraction of any two of its indices gives a zero vector, e.g., Z iij = Z jii = Z iji = ) A traceless part of the symmetric fourth-order tensor L ijkl = L jikl = L ijlk = L klij ) is defined by L ijkl = L ijkl 1 7 L mmijδ kl + L mmkl δ ij + L mmjk δ il + L mmil δ jk +L mmik δ jl + L mmjl δ ik ) L mmnn δ ij δ kl + δ ik δ jl + δ il δ jk ). A contraction of any two of its indices also yields a zero tensor, e.g., ) L iikl = L kiil = L ikli = ) For further details see the papers by Spencer 1970), Kanatani 1984), and Lubarda and Krajcinovic 1993) Covariant and Contravariant Components Vectors A pair of vector bases, e 1, e 2, e 3 and e 1, e 2, e 3, are said to be reciprocal if e i e j = δ j i, 1.7.1) where δ j i is the Kronecker delta symbol Fig. 1.1). The base vectors of each basis are neither unit nor mutually orthogonal vectors, so that 2D e i = ɛ ijk e j e k ), D = e 1 e 2 e 3 ) ) Any vector a can be decomposed in the primary basis as a = a i e i, a i = a e i, 1.7.3)

10 e 2 e 2 0 e 1 Figure 1.1. Primary and reciprocal bases in two dimensions e 1 e 2 = e 2 e 1 = 0). e 1 and in the reciprocal basis as a = a i e i, a i = a e i ) The components a i are called contravariant, and a i covariant components of the vector a Second-Order Tensors Denoting the scalar products of the base vectors by there follows g ij = e i e j = g ji, g ij = e i e j = g ji, 1.7.5) a i = g ij a j, a i = g ij a j, 1.7.6) e i = g ik e k, e i = g ik e k ) This shows that the matrices of g ij and g ij are mutual inverses. The components g ij and g ij are contravariant and covariant components of the secondorder unit metric) tensor I = g ij e i e j = g ij e i e j = e j e j = e j e j ) Note that g i j = δi j and g j i = δ j i, both being the Kronecker delta. The scalar product of two vectors a and b can be calculated from a b = g ij a i b j = g ij a i b j = a i b i = a i b i ) The second-order tensor has four types of decompositions A = A ij e i e j = A ij e i e j = A i je i e j = A j i ei e j )

11 These are, respectively, contravariant, covariant, and two kinds of mixed components of A, such that A ij = e i A e j, A ij = e i A e j, A i j = e i A e j, A j i = e i A e j ) The relationships between different components are easily established by using Eq ). For example, A ij = g ik A k j = A k i g kj = g ik A kl g lj ) The transpose of A can be decomposed as A T = A ji e i e j = A ji e i e j = A i j e i e j = A j i ei e j ) If A is symmetric A a = a A), one has A ij = A ji, A ij = A ji, A i j = A i j, ) although A i j A j i. A dot product of a second-order tensor A and a vector a is the vector b = A a = b i e i = b i e i ) The contravariant and covariant components of b are b i = A ij a j = A i ja j, b i = A ij a j = A j i a j ) A dot product of two second-order tensors A and B is the second-order tensor C, such that C a = A B a), ) for any vector a. Each type of components of C has two possible representations. For example, C ij = A ik B j k = Ai kb kj, C i j = A ik B kj = A i kb k j ) The trace of a tensor A is the scalar obtained by contraction of the subscript and superscript in the mixed component tensor representation. Thus, tr A = A i i = A i i = g ij A ij = g ij A ij ) Two kinds of inner products are defined by A B =tra B) =A ij B ji = A ij B ji = A i jb j i = A j i B i j, ) A : B =tr A B T ) = A ij B ij = A ij B ij = A i jb j i = A j i Bi j ) If either A or B is symmetric, A B = A : B. The trace of A in Eq ) can be written as tr A = A : I, where I is defined by 1.7.8).

12 Higher-Order Tensors An n-th order tensor has one completely contravariant, one completely covariant, and 2 n 2) kinds of mixed component representations. For a third-order tensor Γ, for example, these are respectively Γ ijk,γ ijk, and As an illustration, Γ ij k, Γi k j, Γ jk i, Γ i jk, Γ j ik, Γ k ij ) Γ =Γ ijk e i e j e k =Γ ij k e i e j e k ) The relationships between various components are analogous to those in Eq ), e.g., Γ i jk =Γ im j g mk =Γmkg n mi g nj =Γm np g mi g nj g pk ) Four types of components of the inner product of the fourth- and secondorder tensors, C = L : A, can all be expressed in terms of the components of L and A. For example, contravariant and mixed right-covariant) components are C ij = L ijkl A kl = L ij kl Akl = L ijk l A k l = L ij l k Ak l, ) C i j = L ikl j A kl = L i jkla kl = L i j k lak l = L i jk l A k l ) 1.8. Induced Tensors Let {e i } and {e i } be a pair of reciprocal bases, and let F be a nonsingular mapping that transforms the base vectors e i into and the vectors e i into ê i = F e i = F j i e j, 1.8.1) ê i = e i F 1 =F 1 ) i je j, 1.8.2) such that ê i ê j = δ j i Fig. 1.2). Then, in view of Eqs ) and ) applied to F and F T,wehave F T F =ĝ ij e i e j, F 1 F T =ĝ ij e i e j, 1.8.3) where ĝ ij = ê i ê j and ĝ ij = ê i ê j. Thus, covariant components of F T F and contravariant components of F 1 F T in the original bases are equal to covariant and contravariant components of the metric tensor in the transformed bases I =ĝ ij ê i ê j =ĝ ij ê i ê j ). An arbitrary vector a can be decomposed in the original and transformed bases as Evidently, Introducing the vectors a = a i e i = a i e i =â i ê i =â i ê i ) â i =F 1 ) i ja j, â i = F j i a j ) a =â i e i, a =â i e i, 1.8.6)

13 e 2 0 e 2 e 1 F ^ e 2 ^ 0 ^ e 2 ^ e 1 e 1 ^ e 1 Figure 1.2. Upon mapping F the pair of reciprocal bases e i and e j transform into reciprocal bases ê i and ê j. it follows that â = F 1 a, â = F T a ) The vectors a and a are induced from a by the transformation of bases. The contravariant components of F 1 a in the original basis are numerically equal to contravariant components of a in the transformed basis. Analogous statement applies to covariant components. Let A be a second-order tensor with components in the original basis given by Eq ), and in the transformed basis by A = Âij ê i ê j = Âijê i ê j = Âi jêi ê j =  j i êi ê j ) The components are related through Introducing the tensors  ij =F 1 ) i ka kl F 1 ) j l,  ij = F k ia kl F l j, 1.8.9)  i j =F 1 ) i ka k lf l j,  j i = F k ia l k F 1 ) j l ) A = Âij e i e j, A = Âije i e j, ) A = Âi je i e j, we recognize from Eqs ) and ) that A =  j i ei e j, ) A = F 1 A F T, A = F T A F, ) A = F 1 A F, A = F T A F T ) These four tensors are said to be induced from A by transformation of the bases Hill, 1978). The contravariant components of the tensor F 1 A F T in the original basis are numerically equal to the contravariant components of the tensor A in the transformed basis. Analogous statements apply to covariant and mixed components.

14 1.9. Gradient of Tensor Functions Let f = fa) be a scalar function of the second-order tensor argument A. The change of f associated with an infinitesimal change of A can be determined from ) f df =tr A da ) If da is decomposed on the fixed primary and reciprocal bases as da =da ij e i e j =da ij e i e j =da i je i e j =da j i ei e j, 1.9.2) the gradient of f with respect to A is the second-order tensor with decompositions f A = f A ji ei e j = since then Ogden, 1984) df = f A ji e i e j = f A ij daij = f da ij = A ij f A j i f A i j e i e j = da i j = f Aj i e i e j, 1.9.3) f A j da j i ) i Let F = FA) be a second-order tensor function of the second-order tensor argument A. The change of F associated with an infinitesimal change of A can be determined from df = F da ) A If da is decomposed on the fixed primary and reciprocal bases as in Eq ), the gradient of F with respect to A is the fourth-order tensor, such that F A = for then F A ji ei e j = df = For example, F e i e j = F A ji A j i F A ij daij = F da ij = A ij F A i j e i e j = F Aj i e i e j, da i j = 1.9.6) F A j da j i ) i F A = F ij A lk ei e j e k e l ) As an illustration, if A is symmetric and invertible second-order tensor, by taking a gradient of A A 1 = I with respect to A, it readily follows that A 1 ij = 1 ) A 1 ik A kl 2 A 1 jl + A 1 il A 1 jk ) The gradients of the three invariants of A in Eqs ) 1.3.5) are J 1 A = I, J 2 A = A J 1I, J 3 A = A2 J 1 A J 2 I )

15 Since A 2 has the same principal directions as A, the gradients in Eq ) also have the same principal directions as A. It is also noted that by the Cayley Hamilton theorem 1.4.1), the last of Eq ) can be rewritten as J 3 A = J 3A 1 det A), i.e., A = det A) A ) Furthermore, if F = A A T, then with respect to an orthonormal basis A ij A kl = δ ik δ jl, F ij A kl = δ ik A jl + δ jk A il ) The gradients of the principal invariants J i of A A T with respect to A are consequently J 1 A =2AT, J 2 A =2 A T A A T J 1 A T ), J 3 A =2 J 3 A ) Isotropic Tensors An isotropic tensor is one whose components in an orthonormal basis remain unchanged by any proper orthogonal transformation rotation) of the basis. All scalars are isotropic zero-order tensors. There are no isotropic first-order tensors vectors), except the zero-vector. The only isotropic second-order tensors are scalar multiples of the second-order unit tensor δ ij. The scalar multiples of the permutation tensor ɛ ijk are the only isotropic third-order tensors. The most general isotropic fourth-order tensor has the components L ijkl = aδ ij δ kl + bδ ik δ jl + cδ il δ jk, ) where a, b, c are scalars. If L is symmetric, b = c and L ijkl = aδ ij δ kl +2b I ijkl ) Isotropic tensors of even order can be expressed as a linear combination of outer products of the Kronecker deltas only; those of odd order can be expressed as a linear combination of outer products of the Kronecker deltas and permutation tensors. Since the outer product of two permutation tensors, δ iα δ iβ δ iγ ɛ ijk ɛ αβγ = δ jα δ jβ δ jγ δ kα δ kβ δ kγ, ) is expressed solely in terms of the Kronecker deltas, each term of an isotropic tensor of odd order contains at most one permutation tensor. Such tensors change sign under improper orthogonal transformation. Isotropic tensors of even order are unchanged under both proper and improper orthogonal transformations. For example, the components of an isotropic symmetric sixth-order tensor are S ijklmn = aδ ij δ kl δ mn + bδ ij I klmn) + c δ ik δ lm δ nj ), )

16 where the notation such as δ ij I klmn) designates the symmetrization with respect to i and j, k and l, m and n, and ij, kl and mn Eringen, 1971). Specifically, δ ij I klmn) = 1 3 δ ij I klmn + δ kl I mnij + δ mn I ijkl ), δ ik δ lm δ nj) = 1 4 δ iki jlmn + δ il I jkmn + δ im I klnj + δ in I klmj ) ) In some applications it may be convenient to introduce the fourth-order base tensors Hill, 1965; Walpole, 1981) K = 1 I I, J = I K ) 3 These tensors are such that tr K = K ijij =1,trJ = J ijij = 5, and Consequently, J : J = J, K : K = K, J : K = K : J = ) a 1 J + b 1 K ):a 2 J + b 2 K )=a 1 a 2 J + b 1 b 2 K, ) a 1 J + b 1 K ) 1 = a 1 1 J + b 1 1 K ) An isotropic fourth-order tensor L can be decomposed in this basis as where L = L J J + L K K, ) L K =trl : K ), L K +5L J =trl ) Product of any pair of isotropic fourth-order tensors is isotropic and commutative. The base tensors K and J partition the second-order tensor A into its spherical and deviatoric parts, such that A sph = K : A = 1 3 tr A) I, A dev = J : A = A A sph ) Isotropic Functions Isotropic Scalar Functions A scalar function of the second-order symmetric tensor argument is said to be an isotropic function if f Q A Q T ) = fa), ) where Q is an arbitrary proper orthogonal rotation) tensor. Such a function depends on A only through its three invariants, f = fj 1,J 2,J 3 ). For isotropic fa), the principal directions of the gradient f/ A are parallel to those of A. This follows because the gradients J i / A are all parallel to A, by Eq ). A scalar function of two symmetric second-order tensors A and B is said to be an isotropic function of both A and B, if f Q A Q T, Q B Q T ) = fa, B) )

17 Such a function can be represented as a polynomial of its irreducible integrity basis consisting of the individual and joint invariants of A and B. The independent joint invariants are the traces of the following products A B), A B 2 ), A2 B 2) ) The joint invariants of three symmetric second-order tensors are the traces of A B C), A2 B C ), A2 B 2 C ) ) A superposed asterisk ) indicates that the integrity basis also includes invariants formed by cyclic permutation of symmetric tensors involved. The integrity basis can be written for any finite set of second-order tensors. Spencer 1971) provides a list of invariants and integrity bases for a polynomial scalar function dependent on one up to six second-order symmetric tensors. An integrity basis for an arbitrary number of tensors is obtained by taking the bases for the tensors six at a time, in all possible combinations. For invariants of second-order tensors alone, it is not necessary to distinguish between the full and the proper orthogonal groups. The trace of an antisymmetric tensor, or any power of it, is equal to zero, so that the integrity basis for the antisymmetric tensor X is tr X 2 ). A joint invariant of two antisymmetric tensors X and Y is tr X Y). The independent joint invariants of a symmetric tensor A and an antisymmetric tensor X are the traces of the products X2 A ), X2 A 2), X2 A 2 X A 2) ) In the case of two symmetric and one antisymmetric tensor, the joint invariants include the traces of X A B), X A 2 B), X A 2 B 2 ), X A 2 B A), X A 2 B 2 A), X 2 A B), ) X 2 A 2 B), X 2 A X B), X 2 A X B 2 ) Isotropic Tensor Functions A second-order tensor function is said to be an isotropic function of its second-order tensor argument if F Q A Q T ) = Q FA) Q T ) An isotropic symmetric function of a symmetric tensor A can be expressed as FA) =a 0 I + a 1 A + a 2 A 2, ) where a i are scalar functions of the principal invariants of A. A second-order tensor function is said to be an isotropic function of its two second-order tensor arguments if F Q A Q T, Q B Q T ) = Q FA, B) Q T ) An isotropic symmetric tensor function which is a polynomial of two symmetric tensors A and B can be expressed in terms of nine tensors, such that

18 FA, B) =a 1 I + a 2 A + a 3 A 2 + a 4 B + a 5 B 2 + a 6 A B + B A)+a 7 A2 B + B A 2) + a 8 A B 2 + B 2 A ) + a 9 A2 B 2 + B 2 A 2) ) The scalars a i are scalar functions of ten individual and joint invariants of A and B. An antisymmetric tensor polynomial function of two symmetric tensors allows a representation FA, B) =a 1 A B B A)+a 2 A2 B B A 2) + a 3 B2 A A B 2) + a 4 A2 B 2 B 2 A 2) + a 5 A2 B A A B A 2) + a 6 B2 A B B A B 2) + a 7 A2 B 2 A A B 2 A 2) + a 8 B2 A 2 B B A 2 B 2) ) A derivation of Eq ) is instructive. The most general scalar invariant of two symmetric and one antisymmetric tensor X, linear in X, can be written from Eq ) as ga, B, X) =a 1 tr [A B B A) X]+a 2 tr [ A 2 B B A 2) X ] + a 3 tr [ B 2 A A B 2) X ] + a 4 tr [ A 2 B 2 B 2 A 2) X ] + a 5 tr [ A 2 B A A B A 2) X ] + a 6 tr [ B 2 A B B A B 2) X ] + a 7 tr [ A 2 B 2 A A B 2 A 2) X ] + a 8 tr [ B 2 A 2 B B A 2 B 2) X ] ) The coefficients a i depend on the invariants of A and B. Recall that the trace of the product of symmetric and antisymmetric matrix, such as A B+ B A) X, is equal to zero. The antisymmetric function FA, B) is obtained from Eq ) as the gradient g/ X, which yields Eq ) Rivlin s Identities Applying the Cayley Hamilton theorem to a second-order tensor aa + bb, where a and b are arbitrary scalars, and equating to zero the coefficient of a 2 b, gives A 2 B + B A 2 + A B A I A A B + B A) I B A 2 II A B [tr A B) I A I B ] A [ III A tr A 1 B )] ) I = 0. The principal invariants of A and B are denoted by I A, I B, etc. Identity ) is known as the Rivlin s identity Rivlin, 1955). If B = A, the original Cayley Hamilton theorem of Eq ) is recovered. In addition, from the Cayley Hamilton theorem we have III A tr A 1 B ) =tr A 2 B ) I A tr A B) I B II A )

19 An identity among three tensors is obtained by applying the Cayley Hamilton theorem to a second-order tensor aa + bb + cc, and by equating to zero the coefficient of abc. Suppose that A is symmetric, and B is antisymmetric. Equations ) and ) can then be rewritten as A A B + B A)+A B + B A) A I A A B + B A) II A B A B A = ) Postmultiplying Eq ) with A and using the Cayley Hamilton theorem yields another identity A A B + B A) A + III A B A B A = ) If A is invertible, Eq ) is equivalent to The matrix equation III A A 1 B A 1 = I A B A B + B A) ) Matrix Equation A X + X A = B A X + X A = B ) can be solved by using Rivlin s identities. Suppose A is symmetric and B is antisymmetric. The solution X of Eq ) is then an antisymmetric matrix, and the Rivlin identities ) and ) become A B + B A I A B II A X A X A = 0, ) A B A + III A X I A A X A = ) Upon eliminating A X A, we obtain the solution for X I A II A + III A )X = I A A B + B A) I 2 AB A B A, ) which can be rewritten as Since I A II A + III A )X = I A I A) B I A I A) ) I A II A + III A = deti A I A), ) and having in mind Eq ), the solution for X in Eq ) can be expressed in an alternative form X = [tr I A I A) 1 ] B I A I A) 1 B B I A I A) 1, ) provided that I A I A is not a singular matrix. Consider now the solution of Eq ) when both A and B are symmetric, and so is X. If Eq ) is premultiplied by A, it can be recast in the form A A X 12 ) B + A X 12 ) B A = 1 A B B A) ) 2

20 Since the right-hand side of this equation is an antisymmetric matrix, it follows that Y 2 = A X 1 2 B = 1 2 B X A ) is also antisymmetric, and Eq ) has the solution for Y according to Eq ) or ), e.g., I A II A + III A )Y = I A I A) A B B A) I A I A) ) Thus, from Eq ), the solution for X is X = 1 [ A 1 B + Y)+B Y) A 1] ) 4 For further analysis the papers by Sidoroff 1978), Guo 1984), and Scheidler 1994) can be consulted Tensor Fields Tensors fields are comprised by tensors whose values depend on the position in space. For simplicity, consider the rectangular Cartesian coordinates. The position vector of an arbitrary point of three-dimensional space is x = x i e i, where e i are the unit vectors in the coordinate directions. The tensor field is denoted by Tx). This can represent a scalar field fx), a vector field ax), a second-order tensor field Ax), or any higher-order tensor field. It is assumed that Tx) is differentiable at a point x of the considered domain Differential Operators The gradient of a scalar field f = fx) is the operator which gives a directional derivative of f, such that df = f dx ) Thus, with respect to rectangular Cartesian coordinates, f = f e i, = e i ) x i x i In particular, if dx is taken to be parallel to the level surface fx) = const., it follows that f is normal to the level surface at the considered point Fig. 1.3). The gradient of a vector field a = ax), and its transpose, are the secondorder tensors a = a = a j x i e i e j, They are introduced such that a = a = a i x j e i e j ) da =a ) dx =dx a) )

21 D f x 3 fx) = const. x 1 0 x 2 Figure 1.3. The gradient f is perpendicular to the level surface fx) = const. The gradient of a second-order tensor field A = Ax) is similarly A = A = A ij x k e k e i e j, A = A = A ij x k e i e j e k, so that ) da =A ) dx =dx A) ) The divergence of a vector field is the scalar The divergence of the gradient of a scalar field is f) = 2 f = a =tr a) = a i x i ) 2 f x i x i, 2 = 2 x i x i ) The operator 2 is the Laplacian operator. The divergence of the gradient of a vector field can be written as a) = 2 a = The divergence of a second-order tensor field is defined by 2 a i x j x j e i ) A = A ij x i e j, A = A ij x j e i ) The curl of a vector field is the vector a = ɛ ijk a j x i e k ) It can be shown that the vector field a is an axial vector field of the antisymmetric tensor field a a). The curl of a second-order tensor

22 S n dv ds V x 3 x 1 0 x 2 Figure 1.4. Three-dimensional domain V bounded by a closed surface S with unit outward normal n. field is similarly A = ɛ ijk A jl x i e k e l ) It is noted that A = A T ) T, while a = a. We list bellow three formulas used later in the book. If a is an arbitrary vector, x is a position vector, and if A and B are two second-order tensors, then A a) = A) a + A : a), ) A B) = A) B + A T ) B, ) A x) = A) x ɛ : A ) The permutation tensor is ɛ, and : designates the inner product, defined by Eq ). The nabla operator in Eqs ) ) acts on the quantity to the right of it. The formulas can be easily proven by using the component tensor representations. A comprehensive treatment of tensor fields can be found in Truesdell and Toupin 1960), and Ericksen 1960) Integral Transformation Theorems Let V be a three dimensional domain bounded by a closed surface S with unit outward normal nfig. 1.4). For atensor field T=Tx), continuously

23 n S ds x 1 x 3 0 x 2 C Figure 1.5. An open surface S with unit outward normal n and a bounding edge C. differentiable in V and continuous on S, the generalized Gauss theorem asserts that T)dV = n T ds ) V The asterisk ) product can be either a dot ) or cross ) product, and T represents a scalar, vector, second- or higher-order tensor field Malvern, 1969). For example, for a second-order tensor field A, expressed in rectangular Cartesian coordinates, V A ij x i dv = S S n i A ij ds ) Let S be a portion of an oriented surface with unit outward normal n. The bounding edge of the surface is aclosed curve CFig. 1.5). For tensors fields that are continuously differentiable in S and continuous on C, the generalized Stokes theorem asserts that n ) T ds = dc T ) S For example, for a second-order tensor A this becomes, in the rectangular Cartesian coordinates, S C A kl ɛ ijk n i ds = A kl dc k ) x j C

24 References Betten, J. 1987), Invariants of fourth-order tensors, in Application of Tensor Functions in Solid Mechanics, ed. J. P. Boehler, pp , Springer, Wien. Brillouin, L. 1964), Tensors in Mechanics and Elasticity, Academic Press, New York. Ericksen, J. L. 1960), Tensor fields, in Handbuch der Physik, ed. S. Flügge, Band III/1, pp , Springer-Verlag, Berlin. Eringen, A. C. 1971), Tensor analysis, in Continuum Physics, ed. A. C. Eringen, Vol. 1, pp , Academic Press, New York. Guo, Z.-H. 1984), Rates of stretch tensors, J. Elasticity, Vol. 14, pp Hill, R. 1965), Continuum micro-mechanics of elastoplastic polycrystals, J. Mech. Phys. Solids, Vol. 13, pp Hill, R. 1978), Aspects of invariance in solid mechanics, Adv. Appl. Mech., Vol. 18, pp Kanatani, K.-I. 1984), Distribution of directional data and fabric tensors, Int. J. Engng. Sci., Vol. 22, pp Lubarda, V. A. and Krajcinovic, D. 1993), Damage tensors and the crack density distribution, Int. J. Solids Struct., Vol. 30, pp Malvern, L. E. 1969), Introduction to the Mechanics of a Continuous Medium, Prentice-Hall, Englewood Cliffs, New Jersey. Ogden, R. W. 1984), Non-Linear Elastic Deformations, Ellis Horwood Ltd., Chichester, England 2nd ed., Dover, 1997). Rivlin, R. S. 1955), Further remarks on the stress-deformation relations for isotropic materials, J. Rat. Mech. Anal., Vol. 4, pp Scheidler, M. 1994), The tensor equation AX + XA =ΦA, H), with applications to kinematics of continua, J. Elasticity, Vol. 36, pp Sidoroff, F. 1978), Tensor equation AX + XA = H, Comp. Acad. Sci. A Math., Vol. 286, pp Spencer, A. J. M. 1970), A note on the decomposition of tensors into traceless symmetric tensors, Int. J. Engng. Sci., Vol. 8, pp

25 Spencer, A. J. M. 1971), Theory of invariants, in Continuum Physics, ed. A. C. Eringen, Vol. 1, pp , Academic Press, New York. Truesdell, C. and Toupin, R. 1960), The classical field theories, in Handbuch der Physik, ed. S. Flügge, Band III/1, pp , Springer-Verlag, Berlin. Walpole, L. J. 1981), Elastic behavior of composite materials: Theoretical foundations, Adv. Appl. Mech., Vol. 21, pp