# Rotational invariance conditions in elasticity, gradient elasticity and its connection to isotropy

## Abstract

For homogeneous higher gradient elasticity models we discuss frame-indifference and isotropy requirements. To this end, we introduce the notions of local versus global SO(3)-invariance and identify frame-indifference (traditionally) with global left SO(3)-invariance and isotropy with global right SO(3)-invariance. For specific restricted representations, the energy may also be local left SO(3)-invariant as well as local right SO(3)-invariant. Then we turn to linear models and consider a consequence of frame-indifference together with isotropy in nonlinear elasticity and apply this joint invariance condition to some specific linear models. The interesting point is the appearance of finite rotations in transformations of a geometrically linear model. It is shown that when starting with a linear model defined already in the infinitesimal symmetric strain , the new invariance condition is equivalent to isotropy of the linear formulation. Therefore, it may be used also in higher gradient elasticity models for a simple check of isotropy and for extensions to anisotropy. In this respect we consider in more detail variational formulations of the linear indeterminate couple stress model, a new variant of it with symmetric force stresses and general linear gradient elasticity.

Key words: invariance conditions, frame-indifference, covariance, isotropy, orthogonal group, strain gradient elasticity, couple stress, polar continua, symmetric stress, hyperstresses, modified couple stress model, rotational invariance, form-invariance, Rayleigh product

AMS Math 74A10 (Stress), 74A35 (polar materials), 74B05 (classical linear elasticity), 74A30 (nonsimple materials), 74A20 (theory of constitutive functions), 74B20 (nonlinear elasticity)

###### Contents

- 1 Introduction
- 2 Objectivity and isotropy in nonlinear elasticity
- 3 A short look at objectivity and isotropy in linearized elasticity
- 4 Simultaneous rotation of spatial and referential coordinates
- 5 Objectivity and isotropy in linear higher gradient elasticity
- 6 The isotropic linear indeterminate couple stress theory
- 7 Conclusions and outlook
- References
- A.1 Overview
- A.2 Quadratic norms
- A.3 Transformation law for Kröner’s incompatibility tensor
- A.4 Transformation law for the dislocation density tensor
- A.5 The Rayleigh product

## 1 Introduction

This paper is motivated by our endeavour to better understand isotropy conditions in higher gradient elasticity theories. Therefore, we make use of the old idea expressed by Truesdell [54, Lecture 6] albeit including higher gradient continua.^{1}

In nonlinear elasticity, isotropy requirements are fundamentally different from frame-indifference requirements. Indeed, isotropy rotates the referential coordinate system, while frame-indifference rotates the spatial coordinate system. Both spaces, referential and spatial, are clearly independent of each other and the corresponding rotations of frames are not connected to each other.

In this paper, however, we will later apply the same rotation to the referential and spatial frame simultaneously. It is clear that this is not equivalent to frame-indifference or isotropy as we show with simple explicit examples. What, then, is the use of such a specific transformation (which we will call the -transformation in Section 4). Indeed, once we consider reduced energy expressions which already encode frame-indifference, then applying the -transformation and requiring form-invariance of the energy under this transformation is equivalent to isotropy. Surprisingly, the -transformation remains operative in exactly the same way when applying it to the geometrically linear context. It is this insight that we follow when discussing isotropy conditions for higher gradient continua. We do not believe that our development leads to new results for the representation of isotropic formulations,^{2}

Further, we give a contribution to the discussion in [33], where a fundamental aspect of strain gradient elasticity as proposed by Mindlin [37] is doubted. There we read: ”However, the approach described by equation (1) includes a serious flaw:^{3}

The paper is now structured as follows. After notational agreements we recall the gradient of continuum rotation, which is the curvature measure in linear couple stress-elasticity. Identities from the scalar triple product built a basis to study transformation rules for this curvature measure later in the text. In Section 2 we start our investigation in the context of nonlinear hyperelasticity by discussing frame-indifference and isotropy for first and second gradient continua. Then we consider the simultaneous transformation of the deformation to new spatial and referential coordinates. The consequence of this transformation in linearized elasticity follows in Section 3. Further, we prepare for higher gradient elasticity by giving details on transformation rules and apply them to the linear momentum balance equations of several models in Section 4. We then define form-invariance in higher gradient elasticity in Section 5 and specify our result for several couple stress theories in Section 6. Finally, we conclude and give an outlook.

### 1.1 Notational agreements and preliminary results

By we denote the set of real second order tensors, written with capital letters. Vectors in are denoted by small letters. Additionally, tensors in are necessary for our discussion, where significant symbols like , , and will be used. The components of vectors and tensors are given according to orthogonal unit vectors , which may be rotated by . Throughout this paper Latin subscripts specify the direction of components in index notation and take the values . For repeating subscripts Einstein’s summation convention applies.

We adopt the usual abbreviations of Lie-algebra theory, i.e., is the Lie-algebra of skew symmetric tensors and is the Lie-algebra of traceless tensors. For all we set , and the deviatoric part and we have the orthogonal Cartan-decomposition of the Lie-algebra

(1.1) |

simply allowing to split every second order tensor uniquely into its trace-free symmetric part, skew-symmetric part and spherical part, respectively. For

(1.2) |

the functions and are given by

(1.3) |

with for even permutation, for odd permutation, and else. Note that the skew-symmetric part of a tensor can be written by the combination of permutations via

(1.4) |

From eq.(1.4) and eq.(1.3) one obtains

(1.5) |

In index notation the typical conventions for differential operations are implied such as comma followed by a subscript to denote the partial derivative with respect to the corresponding coordinate. The gradient of a scalar field and the gradient of a vector field are given by

(1.6) |

(1.7) |

Similarly, we also define the gradient of a tensor field :

(1.8) |

For vectors we let

(1.9) |

denote the inner and outer product on with associated vector norm . The standard Euclidean inner product on is given by

(1.10) |

and thus the Frobenius tensor norm is . Similarly, on we consider the inner product

(1.11) |

and the tensor norm . The identity tensor on will be denoted by , so that and . Further, we will make repeated use of the identity . The divergence of a vector field reads:

(1.12) |

Note that we do not introduce symbolic notation for the double contraction or more complicated contractions for higher order tensors, since this may be confusing and also limited for certain cases. Instead, we use generally index notation for contractions being not defined by the scalar product. Thus, the divergence of a second order tensor is given by

(1.13) |

Similarly, the divergence of a third order tensor reads

(1.14) |

The curl of a vector is given by

(1.15) |

Similarly, the Curl of a second order tensor field is defined by

(1.16) |

Using eq.(1.5) the curl of a vector can be written in terms of a gradient via

(1.17) |

In this work we consider a body which occupies a bounded open set of the three-dimensional Euclidian space and assume that its boundary is a piecewise smooth surface. An elastic material fills the domain and we refer the motion of the body to the displacement field shifting any point of the reference configuration to the actual configuration .

Since the gradient of a scalar is curl-free

(1.18) |

the definition in eq.(1.16) is such that the gradient of a vector field is also curl-free:

(1.19) |

However, the skew-symmetric part of the gradient of a vector field is generally not curl-free:

(1.20) |

In the indeterminate couple stress model the gradient of the continuum rotation defines the curvature measure

(1.21) |

From eq.(1.17) and (1.1) it follows that

(1.22) |

Further, it has been shown in [20] (see also [48, p. 27]) that can be also written in terms of

(1.23) |

The representations of with the skew-symmetric gradient in eq.(1.22) on the one hand, and the symmetric gradient in eq.(1.23) on the other hand seems amazing. For the proof of relation (1.23) we use eq.(1.1), (1.1), and to obtain the above statement:

(1.24) |

Note that the trace of is zero:

(1.25) |

### 1.2 Identities from the Levi-Civita tensor

In section 1.1 we have used the baseless permutation to define some functions. Therefore, the base of the functions argument yields the base of the function automatically. On the one hand, this is convenient but on the other hand not sufficiently precise to investigate some transformation rules to be considered in section 4. Thus, we make use of the third order Levi-Civita tensor

(1.26) |

The components of the Levi-Civita tensor are the scalar triple product of an orthogonal unit base, which may be rotated. Therefore, let be a constant rotation tensor with and , mapping the orthogonal referential system of Euclidean vectors to a rotated system via

(1.27) |

Note that the components are defined by the commutative inner product. However, the rotation tensor is generally not symmetric: . Since the referential basis vectors are considered to be orthogonal and of unit length the rotated basis vectors are orthogonal and of unit length as well:

(1.28) |

Thus, the Levi-Civita tensor can be written in terms of the rotated base with components

(1.29) |

Since the scalar triple product does not depend on the direction of the orthogonal unit base, the components of the Levi-Civita tensor are independent concerning the direction of the orthogonal unit base^{4}

(1.30) |

Since the symbolic notation of tensor products is only established in we prescind from defining a new kind of simple contraction. This would be necessary to switch from index to symbolic notation in eq.(1.30), where each rotation tensor has one simple contraction with the corresponding index of the permutation.^{5}

(1.31) |

Another identity can be found via simple contraction of and the Levi-Civita tensor, which is considered in the basis on the left hand side and by the basis on the right hand side:

(1.32) |

Note that eq.(1.32) links a linear to a quadratic term of .

## 2 Objectivity and isotropy in nonlinear elasticity

### 2.1 Objectivity and isotropy in nonlinear elasticity - the local case

In geometrically nonlinear hyperelasticity we know that frame-indifference is left-invariance of the energy under SO(3)-action and isotropy is right-invariance under SO(3), i.e.^{6}

(2.1) | ||||

(2.2) |

Therefore, by specifying we obtain also the necessary invariance condition

(2.3) |

Note that condition (2.3) does not imply objectivity, as can be seen from considering the energy expressions

(2.4) |

satisfying (2.3) but not being frame-indifferent [19]. With the same example one sees that condition (2.3) does not imply isotropy. Therefore, applying the transformation (i.e. the -transformation defined in eq.(2.9)) has no intrinsic meaning in nonlinear elasticity theory as such.

It is clear that every frame-indifferent elastic energy can be expressed in the right Cauchy-Green tensor in the sense that there is a function such that

(2.5) |

Of course, any of the form (2.5) is automatically frame-indifferent. Applying the isotropy condition (2.2) to the representation in eq. (2.5) we must have

(2.6) |

Therefore, for reduced energy expressions (2.5) the isotropy requirement can be equivalently stated as

(2.7) |

In eq.(2.7) we see that isotropy is invariance of the function under simultaneous spatial and referential rotation of the coordinate system with the same rotation by interpreting the Cauchy-Green tensor as a linear mapping , which transforms under such a change of coordinate system as

(2.8) |

We may now define a transformation of the deformation to new spatial and referential coordinates via^{7}

(2.9) |

Then^{8}

(2.10) |

and

(2.11) |

Gathering our findings so far we can state:

The nonlinear hyperelastic formulation is frame-indifferent and isotropic if and only if there exists such that and | (2.12) |

In nonlinear elasticity, invariance of the formulation under eq.(2.9) is a consequence of objectivity (left -invariance of the energy). Therefore, the transformation in eq.(2.9) may be used to probe objectivity and isotropy of the formulation, while it is not equivalent to both. If we assume already the reduced representation in , then rotational invariance of the formulation under eq.(2.9) is equivalent to isotropy, see also [36, p. 220] .

The well-known representation theorems imply that any satisfying the isotropy condition and the classical format of material frame-indifference,

(2.13) |

must be expressible in terms of the principal invariants of , i.e.,

(2.14) |

where

(2.15) |

Incidentally, is not only invariant under compatible changes of the reference configuration with rigid rotations (constant rotations), but also under inhomogeneous rotation fields , that is,

(2.16) |

since

(2.17) |

Therefore, the principal invariants are unaffected by inhomogeneous rotations. However, we must stress that isotropy per se is not defined as invariance under right multiplication with . The difference between form-invariance under compatible transformations with rigid rotations (isotropy) and right-invariance under inhomogeneous rotation fields will only become visible in higher gradient elasticity treated in the next section. In any first gradient theory both requirements coincide. Note that likewise, (2.16) is invariant under left multiplication with inhomogeneous rotation fields. We define for further use

(2.18) |

Similarly, we define for constant rotations

(2.19) |

With these definitions we have shown that for both, local and global, left and right SO(3) invariance are satisfied. Left-global SO(3)-invariance is identical to the Cosserat’s invariance under ”action euclidienne” [8].

### 2.2 Isotropy in second gradient nonlinear elasticity

In this subsection we would like to extend the ”local” picture of the previous subsection to second gradient materials.
Using the Noether theorem and Lie-point symmetries, the explicit expressions of the isotropy condition in linear gradient elasticity of grade-2 and in linear gradient elasticity of grade-3 have been derived by Lazar and Anastassiadis
[32, eq.(4.76)] and Agiasofitou and Lazar [2, eqs.(57) and (58)], respectively, as consequence of global rotational invariance.

For the sake of clarity we leave first objectivity aside and discuss only isotropy. Moreover, we make the following simplifying assumptions. We consider a homogeneous material given as a finite-sized ball and we want to formalize the statement that first rotating the ball and then to apply the loads leaves invariant the response in the sense that this is indistinguishable from not rotating the ball, see Fig. 1. This is in accordance with the statement in Truesdell & Noll [55, p. 78]: ”For an isotropic material in an undistorted state, a physical test cannot detect whether or not the material has been rotated arbitrarily before the test ist made.”

Let the elastic energy of the body depend also on second gradients of the deformation, i.e. we consider therefore,

(2.20) |

We first transform eq.(2.20) to new coordinates via introducing an orientation preserving diffeomorphism ,

(2.21) |

see also [40, 51]. For further reference, we compute some relations connected to the transformation (2.21). Taking the first and second derivative with respect to in (2.21) and using (2.21) we obtain

(2.22) |

and

(2.23) |

With help of eq.(2.22) the latter implies

(2.24) |

Connected to the coordinate transformation (2.21) we consider the deformation expressed in these new coordinates via setting

(2.25) |

The standard chain rule induces for the first and second derivative of with respect to the following relations