Introduction To Tensors
Introduction To Tensors
4 Constitutive Equations
The equation of mass conservation and the energy equation yield two equations, while
the linear momentum balance equation yields three equations (one for each displacement
component), thus giving a total of five equations. The balance of angular momentum is
used up implicitly by assuming the stress tensor to be symmetric, and thus having only
six independent components. The unknowns to be solved for are the density, displace-
ment field, stress tensor components, temperature, internal energy, entropy and conduc-
tivity vector, viz, ρ, u (3 unknowns), τ (6 unknowns), θ, e, η and q (3 unknowns), giving a
total of sixteen unknowns. So we need eleven more equations to solve for all the remain-
ing unknowns. These equations are provided by the constitutive relations, an example of
which is
τ = τ̃ ( F, θ ), (6 equations)
q = q̃(ρ, θ ), (3 equations)
e = ẽ(ρ, θ ), (1 equation)
η = η̃ (ρ, θ ). (1 equation)
The fact that the mathematical model developed so far is incomplete is also evident
on physical grounds. While the equations developed so far are valid for any material,
irrespective of whether it is solid, liquid or gas, it is clear that the nature of the underlying
material should be taken into account. For example, for a given set of forces, the resulting
deformations are different if the body is made of steel or of rubber.
In this chapter, we discuss the restrictions imposed on constitutive relations by the prin-
ciple of material frame-indifference, also known as the principle of material objectivity. This prin-
ciple states that constitutive equations must be invariant (in the sense that they have the
same form) under changes of frame. As an example, consider an object attached to the end
of a spring, and spinning at steady speed. It is tacitly assumed that the spring constant,
which has been found in a non-rotating condition, is unaffected by the rigid rotation. The
principle of material frame-indifference extends this assumption to general constitutive re-
lations, so that, for example, we postulate that the constitutive relation for the stress in a
given body is unchanged even if a rigid-body motion is superimposed on it.
Downloaded from https://www.cambridge.org/core. Indian Institute of Technolgy Bombay, on 26 Aug 2018 at 09:30:21, subject to the Cambridge Core terms of use, available
at https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781316134054.005
i i
i i
i i
z
y
Z x
x O frame
c(t)
Y
x∗
X
O∗ frame
Fig. 4.1 Frames of reference.
particular event to which a place and time ( x, t) are assigned by the framing O may be
assigned another place and timing ( x∗ , t∗ ) in another framing O∗ , as shown in Fig. 4.1. Let
c(t) be the vector connecting the origins of these two coordinate systems as shown. If x,
x∗ and c are all expressed in terms of the basis vectors of either the O or the O∗ frame,
then we have the relation x∗ = x + c; if ei∗ are the (Cartesian) basis vectors associated
with the O∗ frame, it follows that x∗ · ei∗ = x · ei∗ + c · ei∗ . However, in practice, it is more
convenient to express x in terms of the basis vectors of the O frame. Let ei denote the
basis vectors associated with the O frame, and let Q(t) = ek ⊗ e∗k , with components with
respect to the starred frame given by Qij = ei∗ · e j , i.e., Q = [e1 | e2 | e3 ]. Then we have
ei∗ = (ei∗ · e j )e j = Qij e j , so that x · ei∗ = x · ( Qij e j ) = Qij x · e j . If we use the symbols
x∗ , x and c to represent the components of these vectors with respect to the O∗ , O and
O∗ frames, respectively, i.e., if x∗ ≡ ( x∗ · e1∗ , x∗ · e2∗ , x∗ · e3∗ ), x ≡ ( x · e1 , x · e2 , x · e3 ), and
c ≡ (c · e1∗ , c · e2∗ , c · e3∗ ), then x∗ = Q(t) x + c(t). Assuming that the clock in O is set
differently from that in O∗ by an amount a, we thus have the following relations:
x ∗ = Q ( t ) x + c ( t ),
(4.1)
t∗ = t − a.
A change of frame of reference should not be confused with a change of coordinate axes.
In any given frame, we have an infinite number of coordinate systems, and the components
of a vector and a tensor with respect to any two different coordinate axes are related as
per Eqns. (1.99) and (1.100). However, the Q matrix in these relations is time-independent
(although, of course, v or T themselves could be time-dependent), in contrast to the Q
matrix in Eqn. (4.1), which is time-dependent. The invariance of the governing equations
under change of coordinate axes in a given frame of reference is ensured merely by writing
the equations in tensor form. Following Einstein’s ‘covariance principle’, however, we
postulate the more extensive principle that there are no preferred reference frames (such
as the ‘inertial frame’ in the classical setup), and that the axioms that we have stated have
the same form in reference frames that are in arbitrary motion with respect to each other.
We will investigate the implications of this principle in Section 4.4. We now consider a few
examples illustrating the first relation in Eqn. (4.1).
Consider the case shown in Fig. 4.2a. The frame O is fixed at the point under obser-
vation, and consequently, the position vector of this point is the zero vector with respect
Downloaded from https://www.cambridge.org/core. Indian Institute of Technolgy Bombay, on 26 Aug 2018 at 09:30:21, subject to the Cambridge Core terms of use, available
at https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781316134054.005
i i
i i
i i
Fig. 4.2 Two observers in (a) translatory; (b) translatory and rotatory relative motion.
to O. On the other hand, since the observer in frame O∗ is translating to the left, the posi-
tion vector of the observed point is c(t), as shown in the figure. Thus, the position vectors
observed by O and O∗ are related as
x ∗ = c ( t ) = I ( 0 ) + c ( t ),
which is a special case of Eqn. (4.1) with Q(t) = I.
Now consider the situation shown in Fig. 4.2b. The observer in frame O∗ is stationary.
Assume that a Cartesian coordinate system in this frame is fixed at the center of the rotating
disc as shown. The observer in frame O has the coordinate system fixed at a distance
R, which is the distance of the mass from the center before the disc starts spinning. The
observer O spins with the disc. The position of the center of the mass with respect to the
observer in frame O∗ is
x ∗ = ( R + δ) cos θ = δ cos θ + R cos θ,
y∗ = ( R + δ) sin θ = δ sin θ + R sin θ,
z∗ = 0,
where δ is the elongation of the spring, and θ (t) is the angle made by the groove with the
horizontal. The coordinates of the center of the mass with respect to the observer in frame
O are x = δ, y = 0 and z = 0. Thus, once again, we see that the position vectors in the two
frames are related via Eqn. (4.1), with c(t) = ( R cos θ, R sin θ, 0), and
h i cos θ − sin θ 0
Q(t) = e1 | e2 | e3 = sin θ cos θ 0 .
0 0 1
Note that c(0) = [ R, 0, 0] is not the zero vector. Some other examples are presented by
Malvern [207].
If scalar, vector and tensor functions, φ, v and T, transform according to the ‘expected’
transformations,
φ∗ ( x∗ , t∗ ) = φ( x, t),
Downloaded from https://www.cambridge.org/core. Indian Institute of Technolgy Bombay, on 26 Aug 2018 at 09:30:21, subject to the Cambridge Core terms of use, available
at https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781316134054.005
i i
i i
i i
v∗ ( x∗ , t∗ ) = Q(t)v( x, t),
they are said to be objective. We shall soon see that some kinematical quantities are objec-
tive, while some others are not. Note that two different observers observe the same value,
magnitude and eigenvalues, respectively, of objective scalar, vector and tensor quantities.
where Q ∈ Orth+ , t∗ = t − a, Q(0) = I and c(0) = 0. From Eqn. (4.3), we see that the
configurations χ∗ ( X, t∗ ) and χ( X, t) are related by a rigid deformation (see Fig. 4.3). Two
motions related by Eqn. (4.3) will be referred to as equivalent.
x∗ = χ∗(X, t∗ )
Q(t)x + c(t)
X
x = χ(X, t)
Fig. 4.3 Change of observer can be given the alternative interpretation of a superposed rigid body
motion.
We now determine how the various kinematical quantities transform under a change of
observer. When a quantity is a function of time alone, we use a superposed dot to indicate
the time derivative, e.g., Q̇ ≡ dQ/dt. Note that since t∗ = t − a, the time derivative of any
quantity with respect to either t∗ or t is the same.
Since F = ∇χ, we have
letting Q(0) = Q0 , which is not necessarily the identity tensor, and c(0) = c0 , which is not necessarily zero (as
in the rotating disc example in the previous section), so that X ∗ = Q0 X + c0 . In this case, some of the relations
derived below get modified, e.g., Eqn. (4.4) gets modified to F ∗ = QFQ0T ; however, whether a quantity is objective
or not is not affected by this change. For a more detailed discussion, see [198].
Downloaded from https://www.cambridge.org/core. Indian Institute of Technolgy Bombay, on 26 Aug 2018 at 09:30:21, subject to the Cambridge Core terms of use, available
at https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781316134054.005
i i
i i
i i
Thus, the deformation gradient transforms like a vector under a change of frame. Since
det Q = 1, we have det F ∗ = det F. The transformations for the right and left Cauchy–
Green strain tensors are
C ∗ = ( F ∗ ) T F ∗ = F T Q T QF = F T F = C,
B∗ = F ∗ ( F ∗ ) T = QFF T Q T = QBQ T .
Hence, the transformations for the Lagrangian and Eulerian measures of strain are
U ∗ = U,
V ∗ = QV Q T ,
E∗ = E, (4.5)
∗ T
Ē = Q ĒQ . (4.6)
Since F = RU, it follows that R∗ = QR. Since B ∈ Sym, it can be expressed as ∑ik=1 λi Pi ,
where λi are the distinct eigenvalues and Pi the associated eigenprojections. Thus, B∗ =
∑ik=1 λi Gi , where Gi := QPi Q T are also projections. By using Eqn. (1.312), it follows that
!
k k
log B∗ = ∑ (log λi )Gi = Q ∑ λi Pi Q T = Q(log B) Q T . (4.7)
i =1 i =1
where w is the axial vector of the skew tensor Q̇Q T . From the above relation, we see that
w represents the angular velocity of the unstarred frame with respect to the starred frame.
To find the relation for the acceleration, we take the material derivative of Eqn. (4.8) to
get
a∗ = Qa + 2Q̇v + Q̈x + c̈. (4.9)
From Eqns. (4.8) and (4.9), it is apparent that the velocity and acceleration vectors are not
objective. Physically, to see that the velocity vector is not indifferent consider a small ball
moving outward along a straight radial groove on a spinning disc; with respect to an ob-
server on the spinning disc, the ball moves radially outward with nonzero velocity, while
with respect to an observer on the ball, the velocity of the ball is zero. Thus, the two ob-
servers observe different velocity vectors, and one cannot be obtained from the other by an
orthogonal transformation.
Downloaded from https://www.cambridge.org/core. Indian Institute of Technolgy Bombay, on 26 Aug 2018 at 09:30:21, subject to the Cambridge Core terms of use, available
at https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781316134054.005
i i
i i
i i
One observation that we make at this point is that although physical scalar field vari-
ables (such as temperature, density and so on) are objective, artificially constructed scalar
field variables (e.g., v · v) need not be objective.
Using Eqn. (2.49) and the invertibility of F (and hence, also of F ∗ ), we have
DF ∗ ∗ −1 DF
L∗ = ( F ) = (Q + Q̇F ) F −1 Q T ,
Dt Dt
which yields
Downloaded from https://www.cambridge.org/core. Indian Institute of Technolgy Bombay, on 26 Aug 2018 at 09:30:21, subject to the Cambridge Core terms of use, available
at https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781316134054.005
i i
i i
i i
where
(cof F ∗ )n0 (cof Q)(cof F )n0 (cof F )n0
n∗ = = =Q = Q(t)n,
|(cof F ∗ )n0 | |(cof Q)(cof F )n0 | |(cof F )n0 |
and x∗ = Q(t) x + c(t). Since by Cauchy’s relation, t = τn, Eqn. (4.14) can be written in
terms of the Cauchy stress tensor as
Downloaded from https://www.cambridge.org/core. Indian Institute of Technolgy Bombay, on 26 Aug 2018 at 09:30:21, subject to the Cambridge Core terms of use, available
at https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781316134054.005
i i
i i
i i
∂τrs ∗
= Qir e
∂xs i
= Q∇ x · τ,
where we have assumed that the Cauchy stress tensor τ is objective. From the above equa-
tion, we see that the term ∇ · τ transforms as a vector. Thus, if Eqn. (3.19) is to have the
same form in all frames, then the term ρ(b − a) must also transform as a vector, i.e., we
must have
Hence, using Eqn. (4.9), the transformation law for the body force vector is
or, alternatively,
h i
b = Q T b∗ − (Ẇ + W 2 )( Qx) − 2W ( Qv) − c̈ , (4.17)
If w denotes the axial vector of W, it can be easily shown (see Problem 17, Chapter 1)
that Ω = Q T w is the axial vector of Q T W Q, or, in other words, the components of Ω
are simply the components of the vector w with respect to the unstarred coordinate frame.
Since Qij = ei∗ · e j , we have (noting that the starred frame is stationary with respect to itself)
so that
ė2 · e3
Ω = ė3 · e1 ,
(4.19)
ė1 · e2
w = QΩ.
In terms of the Euler angle representation of Q given by Eqn. (1.108), the axial vector
corresponding to W is
θ̇ cos ψ + φ̇ sin θ sin ψ
w = θ̇ sin ψ − φ̇ sin θ cos ψ . (4.20)
ψ̇ + φ̇ cos θ
Downloaded from https://www.cambridge.org/core. Indian Institute of Technolgy Bombay, on 26 Aug 2018 at 09:30:21, subject to the Cambridge Core terms of use, available
at https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781316134054.005
i i
i i
i i
θ̇ cos φ + ψ̇ sin θ sin φ
Ω = wQT W Q = −θ̇ sin φ + ψ̇ sin θ cos φ , (4.21a)
φ̇ + ψ̇ cos θ
d
dt ( θ̇ cos φ + ψ̇ sin θ sin φ )
Ω̇ = wQT Ẇ Q = dtd (−θ̇ sin φ + ψ̇ sin θ cos φ) . (4.21b)
d
dt ( φ̇ + ψ̇ cos θ )
If we assume the ‘∗’ frame to be ‘stationary’ with a body force b∗ = − gez , and the
unstarred frame to be rotating and translating with respect to the ‘∗’ frame, then we see
from Eqn. (4.18) that b now includes among other forces, the centrifugal and Coriolis forces.
This is consistent with experience, since we do feel an outward force when sitting in a
vehicle going around a curve, or a backward push when a vehicle suddenly accelerates
forward. When Q and ċ are constant, these ‘extra’ forces vanish, i.e., b∗ = Qb, and such a
change of frame is called a Galilean transformation.
As a simple example, consider the disc shown in Fig. 4.2b rotating with a constant angu-
lar velocity Ω = Ωez , and with the origin of the rotating frame of reference coinciding with
the center of the disc. Assume that the mass on the disc has reached a steady-state position
with respect to the rotating frame of reference, i.e., v = 0. Since c is now zero at all times,
and since Ω̇ = 0, the only term that contributes to the in-plane body forces in Eqn. (4.18)
is the centrifugal body force term. Since e1 = (cos θ, sin θ, 0), e2 = (− sin θ, cos θ, 0),
e3 = (0, 0, 1), from Eqn. (4.19), we get Ω = θ̇ez , and the term −Ω × (Ω × x) evaluates
to ( R + δ)Ω2 e1 , which is consistent with the outward force that the body experiences on
the spinning disc.
We now consider more complicated examples. The spinning disc of radius R shown
in Fig. 4.4 spins about its own axis with an angular velocity γ, and the rod of circular
cross-section to which it is attached spins about the Y-axis with an angular velocity β. The
xyz coordinate frame (assumed to be the unstarred frame) is fixed to the spinning disk,
and is given to be parallel to the XYZ coordinate frame (the ‘∗’-frame) at t = 0. Both γ
and β are given to be constant. We are interested in computing the body forces at a point
x = ( R, 0, 0) with respect to the xyz system, assuming that the body force with respect to
XYZ is b∗ = (0, 0, − g). The matrix Q has components Qij = ei∗ · e j , which in the case of
this example, can be written as Qij = (ei∗ · ê∗m )ê∗m · e j = Qim Qmj , i.e., as a product of the Q
matrices corresponding to the rotations β and γ, respectively. The vector c is the position
vector of the origin of xyz with respect to XYZ. Thus, we get
cos βt 0 sin βt cos γt − sin γt 0
Q= 0 1 0 sin γt cos γt 0
− sin βt 0 cos βt 0 0 1
cos βt cos γt − cos βt sin γt sin βt
= sin γt cos γt 0 , (4.22)
Downloaded from https://www.cambridge.org/core. Indian Institute of Technolgy Bombay, on 26 Aug 2018 at 09:30:21, subject to the Cambridge Core terms of use, available
at https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781316134054.005
i i
i i
i i
z
y γ
Z
γt x
R
L
βt Y
X
Fig. 4.4 Body forces experienced by a point on a spinning disc.
L sin βt
c = 0 .
L cos βt
By means of Eqn. (4.19) (or by comparing the entries of the Q matrix with the Euler angle
representation given by Eqn. (1.108), observing that θ = βt, ψ = π/2, and φ = γt − π/2,
and substituting these values into Eqns. (4.20)–(4.21b)), we get,
γ sin βt β sin γt βγ cos γt
w = β , Ω = β cos γt , Ω̇ = − βγ sin γt . (4.23)
γ cos βt γ 0
Note that w and Ω are the angular velocities of the xyz frame expressed with respect to
the XYZ and xyz frames, respectively. Since the point x = ( R, 0, 0) is fixed with respect to
xyz, we have v = 0. Substituting these quantities into Eqn. (4.18), we get the required body
force as
g sin βt cos γt + Rβ2 cos2 γt + Rγ2
b = − g sin βt sin γt − Rβ2 sin γt cos γt .
Note that the body forces experienced by the point are oscillatory!
As another example, consider the flow through a pipe of radius R that is spinning about
its own axis with a constant angular speed Ω a , and about the Z-axis with constant angular
speed Ω p , as shown in Fig. 4.5.
Downloaded from https://www.cambridge.org/core. Indian Institute of Technolgy Bombay, on 26 Aug 2018 at 09:30:21, subject to the Cambridge Core terms of use, available
at https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781316134054.005
i i
i i
i i
Z Ωp
Y
er
eθ θ + Ωa t
ez
Ωp t
Ωa
X
Fig. 4.5 Flow in a pipe spinning about two axes; the origins of the er –eθ –ez and XYZ frames are
shown separated simply for clarity, although actually they coincide.
sin(Ω a t + θ ) cos(Ω a t + θ ) 0
Ω p sin(Ω a t + θ ) Ω p Ω a cos(Ω a t + θ )
Ωa 0
Note again that Ω is simply the angular velocity of the pipe expressed with respect to the
er –eθ –ez frame. The centrifugal term in the body force, Ω × (Ω × x) = −∇ |Ω × x|2 /2,
can be absorbed into the ∇ p term in Eqn. (7.104). Using Eqn. (4.18), the body force com-
ponents (excluding the centrifugal force) at a point x = rer + zez in the rotating frame
are
where (vr , vθ , vz ) are the velocity components of the fluid particle at x as measured with
respect to the rotating frame. Substituting the above body force components into Eqns.
(A.2) of Appendix A, Vol. II, and solving these equations in conjunction with the other
governing equations (such as the continuity equation), subject to the boundary condition
v|r= R = 0, and the given initial condition, we can solve for the velocity field of the fluid in
the pipe. Note that the Coriolis terms can have a significant influence on the solution.
We have already seen that provided the balance of linear momentum holds, the balance
of angular momentum is equivalent to the symmetry of the stress tensor. Thus, the balance
Downloaded from https://www.cambridge.org/core. Indian Institute of Technolgy Bombay, on 26 Aug 2018 at 09:30:21, subject to the Cambridge Core terms of use, available
at https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781316134054.005
i i
i i
i i
of angular momentum is frame-indifferent (in the sense that it has the same form in any
arbitrary frame) since the balance of linear momentum is frame-indifferent and since
We now show that balance of energy coupled with the axiom of frame-indifference
is equivalent to all the balance laws that have been derived so far! As usual, let ρ( x, t),
t ( x, t, n), b( x, t), e( x, t), Qh ( x, t) be the density, surface tractions, body force per unit mass,
the internal energy per unit mass, and the heat supply per unit mass, respectively. In
addition, let γ( x, t, n) represent the heat flux across a surface with unit normal n. Note that
γ( x, t, n) depends on the normal to the surface across which the heat conduction is taking
place, and is, thus, analogous to the traction term t ( x, t, n).
As we have seen in Eqn. (3.75), the first law of thermodynamics states that the rate of
increase of total energy (kinetic and internal) of any portion of the body equals the rate of
work done on that portion by the body forces and surface tractions, plus the rate of increase
of heat energy from the heat source, and the heat flow across the boundary, i.e.,
d 1
Z Z Z
ρ e+ v·v dV = (t · v + γ) dS + ρ(b · v + Qh ) dV. (4.24)
dt V (t) 2 S(t) V (t)
with the transformations relations for v∗ and a∗ given by Eqns. (4.8) and (4.9). Then, we
have the following fascinating result:
Theorem 4.3.1. Let the balance of energy given by Eqn. (4.24) hold. Assume that
under a change of observer, the form of Eqn. (4.24) still holds. Then there exist functions
τ and q such that t = τn and γ = −q · n, and conservation of mass, balance of linear
momentum and balance of angular momentum all hold.
Conversely, if there exists a function τ such that t = τn, and the balance principles
all hold, then the balance of energy has the same form under a change of observer.
Then Eqn. (4.24) can be written using transport theorem I (note that transport
theorem II cannot be used since conservation of mass is not assumed to hold) as
Df
Z Z Z
+ f ∇ · v dV = (t · v + γ) dS + ρ(b · v + Qh ) dV. (4.25)
V (t) Dt S(t) V (t)
Downloaded from https://www.cambridge.org/core. Indian Institute of Technolgy Bombay, on 26 Aug 2018 at 09:30:21, subject to the Cambridge Core terms of use, available
at https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781316134054.005
i i
i i
i i
If Eqn. (4.25) holds under a change of observer, then, since ρ∗ = ρ, Q∗h = Qh and
γ∗ = γ, J ∗ = J (so that dV ∗ = dV),
Df∗
Z Z Z
+ f ∗ ∇ x∗ · v∗ dV = (t ∗ · v∗ + γ) dS + ρ(b∗ · v∗ + Qh ) dV,
V (t) Dt S(t) V (t)
(4.26)
where f ∗ = ρ∗ (e∗ + v∗ · v∗ /2). Subtracting Eqn. (4.25) from Eqn. (4.26), and
using Eqn. (4.13), we have
D ∗
Z Z
( f − f ) + ( f ∗ − f )∇ · v dV = (t ∗ · v∗ − t · v) dS
V (t) Dt S(t)
Z
+ ρ(b∗ · v∗ − b · v) dV. (4.27)
V (t)
Using the expressions for f ∗ and f , the left-hand side of the above equation is
given by
1 ∗ ∗ Dρ ρ D ∗ ∗
Z
LHS = (v · v − v · v) + ρ∇ · v + (v · v − v · v) dV
V (t) 2 Dt 2 Dt
1 Dρ
Z
∗ ∗
= Qv + ( Q̇x + ċ) · ( Q̇x + ċ) + ρ∇ · v + ρ(v · a − v · a) dV.
V (t) 2 Dt
Substituting t ∗ = Qt, (b∗ − a∗ ) = Q(b − a), and the above formula into
Eqn. (4.27), we get
1 Dρ
Z
Qv + ( Q̇x + ċ) · ( Q̇x + ċ) + ρ∇ · v + ρ[ Q( a − b) · ( Q̇x + ċ)] dV
V (t) 2 Dt
Z
= Qt · ( Q̇x + ċ) dS. (4.28)
S(t)
Eqn. (4.28) holds for all Q(t) ∈ Orth+ , and ċ ∈ V. Choose Q ≡ I (Q̇ = 0),
and ċ = constant. Then, Eqn. (4.28) reduces to
1 Dρ
Z Z
v · ċ + ċ · ċ + ρ∇ · v + ρ( a − b) · ċ dV = t · ċ dS.
V (t) 2 Dt S(t)
Now, using an argument analogous to that in Theorem 3.5.1 yields the existence
of a tensor τ such that t = τn. Substituting this result into Eqn. (4.25), and again
using a similar argument yields the existence of a vector function q such that
γ = −q · n. Since n∗ = Q(t)n, and since γ is objective, we get q∗ = Q(t)q.
Using t = τn and the divergence theorem, the right-hand side of Eqn. (4.28)
can be simplified as
Z Z
Qt · ( Q̇x + ċ) dS = Qτn · ( Q̇x + ċ) dS
S(t) S(t)
Downloaded from https://www.cambridge.org/core. Indian Institute of Technolgy Bombay, on 26 Aug 2018 at 09:30:21, subject to the Cambridge Core terms of use, available
at https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781316134054.005
i i
i i
i i
Z
= τ T Q T ( Q̇x + ċ) · n dS
S(t)
Z
= ∇ · [τ T Q T ( Q̇x + ċ)] dV
V (t)
Z Z
= (∇ · τ ) · Q T ( Q̇x + ċ) dV + τ : Q T Q̇ dV
V (t) V (t)
Z Z
= Q(∇ · τ ) · ( Q̇x + ċ) dV + τ : Q T Q̇ dV.
V (t) V (t)
Now choosing Q ≡ I (Q̇ = 0), and ċ = λe, where λ ∈ <, and e is a unit vector,
we get
λ2
Dρ
Z Z
λ(v · e) + + ρ∇ · v dV = λ [∇ · τ + ρ(b − a)] · e dV.
V (t) 2 Dt V (t)
(4.30)
Differentiating Eqn. (4.30) twice with respect to λ, we get
Dρ
Z
+ ρ∇ · v dV = 0,
V (t) Dt
which is valid for an arbitrary volume V (t), and hence implies the conservation
of mass, i.e.,
Dρ
+ ρ∇ · v = 0. (4.31)
Dt
Substituting this result into Eqn. (4.30), and using the arbitrariness of V (t) and
e, we get
∇ · τ + ρ(b − a) = 0, (4.32)
which is nothing but the balance of linear momentum.
For W ∈ Skw, let Q(t) = eW t . Then Q T Q̇ = W (since Q̇ = W Q = QW).
Using Eqns. (4.31) and (4.32), Eqn. (4.29) reduces to
Z
τ : W dV = 0,
V (t)
which being valid for any arbitrary volume V (t), and any arbitrary skew tensor
W, yields the fact that τ is symmetric (see Problem 8, Chapter 1). Thus, the
balance of angular momentum holds.
Downloaded from https://www.cambridge.org/core. Indian Institute of Technolgy Bombay, on 26 Aug 2018 at 09:30:21, subject to the Cambridge Core terms of use, available
at https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781316134054.005
i i
i i
i i
To prove the converse, note that since now we are given that t = τn,
Eqn. (4.29) represents the difference between Eqn. (4.25) and (4.26). Given that
Eqn. (4.25) holds, we want to prove that Eqn. (4.26) holds. By the above com-
ment, it suffices to show that Eqn. (4.29) holds. Since by assumption, mass con-
servation, balance of linear momentum and balance of angular momentum hold,
and since Q T Q̇ ∈ Skw, Eqn. (4.29) holds, and thus the converse is proved.
A methodology similar to the above is used to derive the governing equations for liquid
crystals. See [73], [185]–[187] and [313] for more details.
From Eqn. (3.64), we see that since τ : D (which is also equal to T : Ḟ/J and S : Ė/J) is
frame-indifferent, the quantity
Z Z
t · v dS + ρ(b − a) · v dV,
S(t) V (t)
which is nothing but the mechanical power minus the rate of change of kinetic energy of
the material volume (see Eqn. (3.65)), is also frame-indifferent. Thus, the mechanical power
itself is not frame-indifferent. This is also evident from Eqn. (4.24), since e, γ and Qh are
frame-indifferent.
Though the stress tensor is postulated to be objective, the stress rate is not objective in
general, as can be seen by taking the material derivative of Eqn. (4.15):
Dτ ∗ T
= Q̇τQ T + Qτ̇Q T + Qτ Q̇ ,
Dt
which shows that the stress rate is objective if and only if
T
Q̇τQ T + Qτ Q̇ = 0 ∀ Q ∈ Orth+ , (4.33)
which in turn is valid if and only if τ ( x, t) = λ( x, t) I, for all x and t. To see this, let
W ∈ Skw, and let Q = eW t . From the results of Section 1.10, we know that Q̇ = W Q.
Substituting this expression into Eqn. (4.33) and noting that W is arbitrary, we get
By Problem 18, Chapter 1, this proves that QτQ T is of the form λI, and hence that τ = λI.
Many rate-dependent materials need to be described in terms of stress rates, and the
resulting constitutive models must be frame-indifferent. Hence, it is essential to derive
stress rates that are objective. The simplest way of generating an objective stress rate uses
the fact that the second Piola–Kirchhoff stress tensor remains unchanged under a change
of observer, which is proved quite easily as follows:
S ∗ = J ∗ ( F ∗ ) −1 τ ∗ ( F ∗ ) − T
= JF −1 Q−1 QτQ T Q−T F −T
= JF −1 τF −T
= S.
Downloaded from https://www.cambridge.org/core. Indian Institute of Technolgy Bombay, on 26 Aug 2018 at 09:30:21, subject to the Cambridge Core terms of use, available
at https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781316134054.005
i i
i i
i i
τ ∇ := τ̇ − Ŵ τ + τ Ŵ, (4.37)
where Ŵ is a skew-symmetric part of L. This stress rate is obtained by substituting L =
D + Ŵ into Eqn. (4.36), and shifting all terms with D to the left, i.e.,
τ ∇ = τ ◦ + Dτ + τD − (tr D )τ.
That τ ∇ is objective is easily seen from the above equation, since τ ◦ , D and τ are all objec-
tive.
Writing Eqn. (4.37) as
T
τ ∇ = τ̇ + Ŵ τ + τ Ŵ,
substituting Ŵ = L − D, and shifting all terms with D to the left, we get the convective
stress rate given by
τ := τ̇ + L T τ + τL. (4.38)
Downloaded from https://www.cambridge.org/core. Indian Institute of Technolgy Bombay, on 26 Aug 2018 at 09:30:21, subject to the Cambridge Core terms of use, available
at https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781316134054.005
i i
i i
i i
τ = τ ∇ + Dτ + τD.
By replacing Ŵ with ṘR T (since ṘR T is skew-symmetric) into Eqn. (4.37), we obtain
the Green–Naghdi stress rate:
τ 4 := τ̇ − ṘR T τ + τ ṘR T .
If Ē is defined in a manner analogous to τ , then from Eqns. (2.62) and (4.38), we see
that
Ē = D. (4.39)
Similar frame-indifferent rates can also be formulated for the heat flux vector. Using
the result of Problem 3, Chapter 2, we see that the fluxes in the reference and deformed
configurations q0 and q, respectively, are related by q0 = JF −1 q. Since F ∗ = QF and
q∗ = Qq, we have q0∗ = q0 , which in turn implies that q̇0∗ = q̇0 . Taking the material time
derivative of the relation q0 = JF −1 q, and using Eqns. (2.50) and (2.51), we get
is objective. As in the stress case, there are an infinite number of such objective flux rates.
For example, other objective rates are
q4 := q̇ − Lq. (4.41)
∇
q := q̇ − Ŵ q, (4.42)
where Ŵ = ( L − L T )/2. Objective rates such as those given by Eqns. (4.40)–(4.42) can be
used in a non-Fourier heat conduction law (see Eqns. (7.14) and (7.64)).
Downloaded from https://www.cambridge.org/core. Indian Institute of Technolgy Bombay, on 26 Aug 2018 at 09:30:21, subject to the Cambridge Core terms of use, available
at https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781316134054.005
i i
i i
i i
frame-indifference, namely, observer invariance, merely requires that the material response
function be objective, which, in the context of our example, means that two observers ob-
serve the same spring constant. Suppose that the spring constant has been found to be k0
under stationary conditions. If now the turntable is rotated with an angular speed ω, then
although observer invariance states that two observers would observe the same spring
constant, that by itself does not rule out the possibility that the spring constant is a function
of ω, i.e., one could have k = k̂(ω ) with k̂(0) = k0 . Muller’s example of a constitutive rela-
tion obtained from the kinetic theory of gases [228] also depends on the spin of the frame
of reference, and is thus, analogous to the dependence of k on ω. From a practical view-
point, observer invariance by itself is clearly incapable of relating k̂ (ω ) to k0 . However,
material frame-indifference as traditionally formulated (see, e.g, [108] or [337]) implicitly
assumes that in addition to observer invariance, form-invariance also holds. The hypothesis
of form-invariance states that the constitutive relations have the same form in all frames of
reference, and hence depend only on variables intrinsic to the material; thus, for example,
dependence on the rotation rate of the frame of reference is excluded. In the context of our
spring example, form invariance implies that k̂(ω ) = k0 . This hypothesis, if valid, is clearly
useful from a practical viewpoint, since a designer using the value of the spring constant
found under stationary conditions can analytically determine the extension of the spring
for any ω, which otherwise would have to be determined experimentally for every ω.
If τ̂ ∗ and τ̂ represent the constitutive relations for τ ∗ and τ, respectively, i.e., if τ ∗ =
τ̂ (l ∗ ), and τ = τ̂ (l ), where l is a list of kinematical parameters on which τ is assumed to
∗
depend, and l ∗ is the same list of parameters as observed by O∗ , then Eqn. (4.15) implies
that
τ̂ ∗ (l ∗ ) = τ̂ (l ∗ ), (4.44)
The above condition, often alluded to as the invariance of the constitutive relation under su-
perposed rigid-body motion, or, as the principle of material frame-indifference is a restriction that
leads us in many cases to the so-called reduced form of the constitutive relations. For ex-
ample, in the case of our spring example, Eqn. (4.43) does not preclude a dependence of the
spring constant on the angular speed ω, but Eqn. (4.45) does. We have shown that granted
observer invariance, form-invariance is equivalent to the hypothesis of invariance under
superposed rigid body motion, i.e., Eqns. (4.43) and (4.44) together imply Eqn. (4.45). It is
also easily seen that Eqns. (4.44) and (4.45) together imply Eqn. (4.43), and that Eqns. (4.43)
and (4.45) together imply Eqn. (4.44). Thus, any two hypothesis out of observer invariance,
form-invariance and invariance under superposed rigid body motions implies the third.
Downloaded from https://www.cambridge.org/core. Indian Institute of Technolgy Bombay, on 26 Aug 2018 at 09:30:21, subject to the Cambridge Core terms of use, available
at https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781316134054.005
i i
i i
i i
Note that while observer invariance involves the same motion as observed by two dif-
ferent observers, invariance under superposed rigid body motions involves two differ-
ent motions as seen by one observer. Thus, clearly, these two notions are conceptually
quite different. Muller’s examples of constitutive relations are observer-invariant, but
not form-invariant, or, equivalently, not invariant under superposed rigid body motion.
Notwithstanding these examples (which, to the best of our knowledge, have not been ver-
ified experimentally), form-invariance, or, equivalently, the principle of material frame-
indifference, is satisfied by a large class of materials.
Murdoch ([230]–[232]) has claimed that the restrictions on constitutive relations can be
deduced by purely objective considerations without the requirement of form-invariance
of constitutive relations. Liu [199] remarks that such a claim if true would be a truly re-
markable result, since one can easily come up with a counterexample of a constitutive
relation that satisfies the observer invariance condition given by Eqn. (4.43), but is not
form-invariant, and hence does not satisfy Eqn. (4.45) such as, for example,
τ̂ ( E) = αE, (4.46)
where α is a material constant. By defining τ̂ ∗ ( E∗ ) := αQ(t) E∗ Q(t) T and recalling that
E∗ = E, we see that
τ̂ ∗ ( E∗ ) = Q(t)τ̂ ( E) Q(t) T .
Thus, the observer invariance condition given by Eqn. (4.43) is satisfied. On the other hand,
Downloaded from https://www.cambridge.org/core. Indian Institute of Technolgy Bombay, on 26 Aug 2018 at 09:30:21, subject to the Cambridge Core terms of use, available
at https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781316134054.005
i i
i i
i i
where F is the deformation gradient, and the variable s, which varies from 0 to ∞, has been
introduced to represent the history dependence that the constitutive relation of a material
might have. The value s = 0 corresponds to the present time t, while large s gives the
distant past. This function, which is a material property is called the constitutive equation of
the simple material. Thus, the stress at a point is determined by the history of the defor-
mation gradient relative to some configuration at that point. The adjective ‘simple’ is used
to indicate that the deformation gradient is the only characteristic of the motion involved
in the constitutive equation.
Note that we have assumed that the constitutive relation for a simple material is not
dependent explicitly on time. Thus, we are assuming that aging does not occur. Also
note that the constitutive relation does not depend on the motion χ, since, otherwise, the
Cauchy stress would vary if the body is rigidly translated. In addition, the stress at a point
x is assumed not to depend on the deformation gradient F (Y, t) evaluated at all other
points Y of the domain, as well as on higher-order gradients, e.g., ∂2 χk /∂Xi ∂X j .
In spite of the simplicity of this model, we shall find that most constitutive models
currently in use fall in this category. For example, a material is said to be elastic if the
history dependence in Eqn. (4.48) is excluded. In this case the Cauchy stress depends only
on the current value of the deformation gradient, i.e.,
τ ( x, t) = τ̂ ( X, F ( X, t)), x = χ( X, t). (4.49)
We note, however, that the constitutive relation given by Eqn. (4.49) may be taken to be a
good approximation only for ‘small’ values of F; for large values of F, plasticity or fracture
may occur invalidating this relation.
Downloaded from https://www.cambridge.org/core. Indian Institute of Technolgy Bombay, on 26 Aug 2018 at 09:30:21, subject to the Cambridge Core terms of use, available
at https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781316134054.005
i i
i i
i i
As another example, we shall see that the constitutive relation for a Newtonian fluid
depends on the velocity gradient L, which can be expressed as ḞF −1 . Thus, we see that
due to the presence of the term Ḟ, the stress at a given instant of time is influenced by the
history of the deformation, even though not a significant amount of such history might
need to be considered.
By virtue of the relations of the first and second Piola–Kirchhoff stresses with the Cauchy
stress, we also have the following equations corresponding to Eqn. (4.48):
∞
T ( X, t) = T̂ ( X, F ( X, t − s)),
s =0
∞
S( X, t) = Ŝ ( X, F ( X, t − s)).
s =0
In what follows, we will often make the assumption that the body is homogeneous
or isotropic. A homogeneous body is one that has identical properties at all points. A
body is isotropic with respect to certain properties if these properties are identical in all
directions. These two properties of homogeneity and isotropy are completely independent
of each other, i.e., one could have a non-homogeneous isotropic body or a non-isotropic
homogeneous body.
For a homogeneous body, the explicit dependence of the constitutive relations on X can
be dropped. Thus, for a homogeneous body, we have
∞
τ ( x, t) = τ̂ ( F ( X, t − s)).
s =0
Downloaded from https://www.cambridge.org/core. Indian Institute of Technolgy Bombay, on 26 Aug 2018 at 09:30:21, subject to the Cambridge Core terms of use, available
at https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781316134054.005
i i
i i
i i
∞
= Q(t) τ̂ ( X, F ( X, t − s)) Q(t)T .
s =0
Since for any F ∈ Lin+ , we can find a motion χ such that ∇χ = F (the motion χ =
FX + c(t) does the job), we can write the above equation as
∞ ∞
τ̂ ( X, Q(t − s) F ( X, t − s)) = Q(t) τ̂ ( X, F ( X, t − s)) Q(t) T ∀ F ∈ Lin+ , Q ∈ Orth+ , (4.51)
s =0 s =0
Theorem 4.5.1. Let τ̂ : V0 × Lin+ → Sym be the response function for the Cauchy
stress. Then the following are equivalent:
(i) τ̂ satisfies the axiom of material frame-indifference, i.e., Eqn. (4.51) holds for all
X ∈ V0 , and for all t ∈ <.
(ii) For all X ∈ V0 , and for all t ∈ <,
∞ ∞
τ̂ ( X, F ( X, t − s)) = R( X, t) τ̂ ( X, U ( X, t − s)) R( X, t) T ∀ F = RU ∈ Lin+ .
s =0 s =0
(4.52)
(iii) There exists a mapping S̃ : V0 × Psym → Sym, such that, for all X ∈ V0 , and for
all t ∈ <,
∞ ∞
Ŝ ( X, F ( X, t − s)) = S̃ ( X, F T F ( X, t − s)) ∀ F ∈ Lin+ , (4.53)
s =0 s =0
∞
where Ŝ is the response function for the second Piola–Kirchhoff stress.
s =0
To show that (ii) implies (iii), note that the above equation can be written as
∞ ∞
τ̂ ( X, F ( X, t − s)) = FU −1 ( X, t) τ̂ ( X, U ( X, t − s))U −1 F ( X, t) T ,
s =0 s =0
so that
∞
∞
−1
Ŝ ( X, F ( X, t − s)) = (det F ) F τ̂ ( X, F ( X, t − s)) F −T
s =0 s =0
Downloaded from https://www.cambridge.org/core. Indian Institute of Technolgy Bombay, on 26 Aug 2018 at 09:30:21, subject to the Cambridge Core terms of use, available
at https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781316134054.005
i i
i i
i i
∞
= S̃ ( X, F T F ( X, t − s)),
s =0
where
∞ ∞
S̃ ( X, C ( X, t − s)) := (det U )U −1 ( X, t) τ̂ ( X, U ( X, t − s))U −1 ( X, t),
s =0 s =0
√
U= C, ∀C ∈ Psym.
Note that we have written the above relation for all C ∈ Psym, since for any
C ∈ Psym, we have C = UU = U T U, where U ∈ Psym ⊂ Lin+ .
Finally, (iii) implies (i) since
∞ ∞
1
τ̂ ( X, Q(t − s) F ( X, t − s)) = Q(t) F ( X, t) Ŝ ( X, Q(t − s) F ( X, t − s)) F ( X, t) T Q(t) T
s =0 det( QF ) s =0
∞
= (det F )−1 Q(t) F ( X, t) S̃ ( X, F T F ( X, t − s)) F ( X, t)T Q(t)T
s =0
h ∞ i
= Q(t) (det F )−1 F ( X, t) Ŝ ( X, F ( X, t − s)) F ( X, t)T Q(t)T
s =0
∞
= Q(t) τ̂ ( X, F ( X, t − s)) Q(t)T .
s =0
Using Eqns. (4.47), we get the following restrictions on the constitutive relations for the
first and second Piola–Kirchhoff stress:
∞ ∞
T̂ ( X, Q(t − s) F ( X, t − s)) = Q(t) T̂ ( X, F ( X, t − s)) ∀ F ∈ Lin+ , Q ∈ Orth+ , (4.54)
s =0 s =0
∞ ∞
Ŝ ( X, Q(t − s) F ( X, t − s)) = Ŝ ( X, F ( X, t − s)) ∀ F ∈ Lin+ , Q ∈ Orth+ . (4.55)
s =0 s =0
∞ ∞
It is clear that the response functions T̂ and Ŝ satisfy the axiom of material frame-
s =0 s =0
indifference if and only if the above relations are satisfied. Equation (4.52), known as
Richter’s theorem, says that the response function τ̂ is completely determined by its re-
striction to Psym. Another form of Richter’s theorem that is useful is obtained by defining
∞ ∞
τ̃ ( X, C ( X, t − s)) := U −1 ( X, t) τ̂ ( X, U ( X, t − s))U −1 ( X, t), C = U 2.
s =0 s =0
∞
Then, we have the result that the response function τ̂ ( X, C ( X, t − s)) is frame-indifferent
s =0
if and only if the stress is given by the constitutive relation
∞
τ ( x, t) = F ( X, t) τ̃ ( X, C ( X, t − s)) F ( X, t) T . (4.56)
s =0
Eqn. (4.53), which relates the right Cauchy–Green tensor (and hence the Lagrangian
measure of strain) to the stress tensor, explains why constitutive relations are known as
stress–strain relations.
Downloaded from https://www.cambridge.org/core. Indian Institute of Technolgy Bombay, on 26 Aug 2018 at 09:30:21, subject to the Cambridge Core terms of use, available
at https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781316134054.005
i i
i i
i i
[(90o CW) ◦ (90o CW)] ◦ (270o CCW) = 90o CW ◦ [(90o CW) ◦ (270o CCW)].
∇( f ◦ g )( X ) = ∇ f (Y ) ◦ ∇ g ( X ) = FG.
Hence,
∞ ∞
τ̂ κ ( X, FG ) = τ̂ µ (Y, F ) ∀ F, ∈ Lin+ . (4.57)
s =0 s =0
Since X and Y are the positions occupied by the same material particle in different config-
urations, the stress response with respect to the configurations is the same if
∞ ∞
τ̂ κ ( X, A) = τ̂ µ (Y, A) ∀ A ∈ Lin+ , (4.58)
s =0 s =0
Downloaded from https://www.cambridge.org/core. Indian Institute of Technolgy Bombay, on 26 Aug 2018 at 09:30:21, subject to the Cambridge Core terms of use, available
at https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781316134054.005
i i
i i
i i
µ
Y = g(X)
f
f ◦g
X κ
Fig. 4.6 Stress response with respect to two different reference configurations.
Thus, from Eqns. (4.57) and (4.58), the condition for the stress response at a point X to be
the same is
∞ ∞
τ̂ κ ( X, FG ) = τ̂ κ ( X, F ) ∀ F, G ∈ Lin+ . (4.59)
s =0 s =0
Note that the above definition is for a single particle X. Thus, H ∈ ∂κX is not a field, but
rather, it is just the gradient at X of a deformation of κ into a configuration with the same
material properties at the particle X.
Downloaded from https://www.cambridge.org/core. Indian Institute of Technolgy Bombay, on 26 Aug 2018 at 09:30:21, subject to the Cambridge Core terms of use, available
at https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781316134054.005
i i
i i
i i
ρκ ( X ) = ρµ (Y ) and τ κ ( X ) = τ µ (Y ).
In view of the above considerations, we can say that the two reference configurations κ and
µ are materially isomorphic at X if and only if G = ∇ g ∈ ∂κX .
As with the plane rotations of the square, the set of symmetry transformations is a
group with respect to composition of the symmetry transformations.
Theorem 4.6.1. The material symmetry group ∂κX is a group with respect to tensor
multiplication.
Proof. We shall drop the explicit dependence of τ̂ on X for notational conve-
nience. Let H 1 , H 2 ∈ ∂κX . Then necessarily H 1 , H 2 ∈ Unim+ , and since Unim+
is a group with respect to tensor multiplication, H 1 H 2 ∈ Unim+ . Also, for any
F ∈ Lin+ , we have
∞ ∞
τ̂ κ ( F ( H 1 H 2 )) = τ̂ κ (( F H 1 ) H 2 )
s =0 s =0
∞
= τ̂ κ ( F H 1 ) (since H 2 ∈ ∂κX )
s =0
∞
= τ̂ κ ( F ) (since H 1 ∈ ∂κX ).
s =0
Downloaded from https://www.cambridge.org/core. Indian Institute of Technolgy Bombay, on 26 Aug 2018 at 09:30:21, subject to the Cambridge Core terms of use, available
at https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781316134054.005
i i
i i
i i
Theorem 4.6.2. Let the reference configurations κ and µ be connected through a de-
formation g as shown in Fig. 4.6 with G = ∇ g, where G is not necessarily a proper
unimodular tensor. Then for any material particle X,
∂µX = G ( X )∂κX G −1 ( X ).
Thus, G ( X ) HG −1 ( X ) ∈ ∂µX .
Conversely, if G ( X ) HG −1 ( X ) ∈ ∂µX , then the following argument using
Eqn. (4.57) shows that H ∈ ∂κX :
∞ ∞
τ̂ κ ( F H ) = τ̂ κ ( F HG −1 ( X ) G ( X ))
s =0 s =0
∞
= τ̂ µ ( F HG −1 ( X ))
s =0
∞
= τ̂ µ ( FG −1 ( X ) G ( X ) HG −1 ( X ))
s =0
∞
= τ̂ µ ( FG −1 ( X ))
s =0
Downloaded from https://www.cambridge.org/core. Indian Institute of Technolgy Bombay, on 26 Aug 2018 at 09:30:21, subject to the Cambridge Core terms of use, available
at https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781316134054.005
i i
i i
i i
∞
= τ̂ κ ( FG −1 ( X ) G ( X ))
s =0
∞
= τ̂ κ ( F ).
s =0
Observe that if the reference configuration µ is obtained from the reference configura-
tion κ by a dilatation, i.e., G = λI where λ > 0, then ∂κX = ∂µX (see Problem 1). Thus, it is
possible to have the same symmetry group with respect to different configurations κ and µ
at a given particle X with unequal densities at the particle in the two configurations.
For orthogonal members of the symmetry group, we can get special results by using
the principle of material frame-indifference.
∞ ∞
τ̂ κ ( QFQ T ) = τ̂ κ ( QFQ T Q)
s =0 s =0
∞
= τ̂ κ ( QF )
s =0
∞
= Q τ̂ κ ( F ) Q T (by material frame-indifference).
s =0
Downloaded from https://www.cambridge.org/core. Indian Institute of Technolgy Bombay, on 26 Aug 2018 at 09:30:21, subject to the Cambridge Core terms of use, available
at https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781316134054.005
i i
i i
i i
The two previous results were derived without using a constitutive equation that au-
tomatically satisfies material frame-indifference. If we start with the reduced form of the
constitutive equation given by Eqn. (4.56), we get the following result:
∞
Theorem 4.6.4. In terms of the reduced response function τ̃ , the material group of the
s =0
particle X relative to the configuration κ is given by
∞ ∞
∂κX = H ∈ Unim+ : H τ̃ κ ( H T CH ) H T = τ̃ κ (C ) ∀C (t) ∈ Psym .
s =0 s =0
By using Eqn. (4.56), the above requirement for a given particle X can be written
as
∞ ∞
F (t) H τ̃ κ (( F H ) T ( F H ))( F (t) H ) T = F (t) τ̃ κ (C ) F T (t) ∀ F ∈ Lin+ .
s =0 s =0
The requirement that the above condition hold for all C (t) ∈ Psym follows from
the fact that every C ∈ Psym can be written as UU = U T U, where U belongs to
Psym, and hence to Lin+ . Thus, every F ∈ Lin+ generates C = F T F ∈ Psym,
and every C ∈ Psym can be written as F T F, where F ∈ Lin+ .
As a corollary of the above theorem, we have the following companion to Theorem 4.6.3:
Downloaded from https://www.cambridge.org/core. Indian Institute of Technolgy Bombay, on 26 Aug 2018 at 09:30:21, subject to the Cambridge Core terms of use, available
at https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781316134054.005
i i
i i
i i
Orth+ ⊂ ∂κX ,
Physically, the above equation corresponds to the idea that the stress remains the same
even if we carry out an arbitrary rotation of the body about the point X before carrying out
the deformation F. Since χ = FQX + c(t) in this deformed configuration, an alternative
interpretation is that the Cauchy stress remains unaltered when the reference configura-
tion is rotated by Q around X. Note that while characterizing frame-indifferent materials,
we rotate the deformed configuration, so that the product QF appears in the characteriza-
tion, while in the case of characterizing isotropy, we rotate the material and then carry out
the deformation, which results in the appearance of the product FQ. If Eqn. (4.63) is not
satisfied for some Q ∈ Orth+ , then the material is said to be anisotropic at X.
It is important to note that isotropy is a property that holds only with respect to spe-
cial configurations, namely, the undistorted configurations κ in Eqn. (4.63). The material
symmetry group relative to any other reference configuration µ is given by Eqn. (4.61) as
∂µX = G ( X )∂κX G −1 ( X ),
∞
Theorem 4.7.1. The response functional τ̂ is isotropic and material frame-indifferent
s =0
∞
at a particle X with respect to a configuration κ if and only if there exists a mapping τ̄ ,
s =0
such that
∞ ∞
τ̂ κ ( X, F ( X, t − s)) = τ̄ κ ( X, FF T ( X, t − s)) ∀ F ∈ Lin+ , (4.64)
s =0 s =0
Downloaded from https://www.cambridge.org/core. Indian Institute of Technolgy Bombay, on 26 Aug 2018 at 09:30:21, subject to the Cambridge Core terms of use, available
at https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781316134054.005
i i
i i
i i
Proof. We drop the dependence on X in the proof. Note that in the polar de-
composition F = V R, V ∈ Lin+ and R ∈ Orth+ . Assuming that the particle is
isotropic at X, by Eqn. (4.63) we have
∞ ∞ ∞ ∞
τ̂ κ ( F ) = τ̂ κ (V R) = τ̂ κ (V ) = τ̄ κ ( B),
s =0 s =0 s =0 s =0
where V 2 = B = FF T . Thus,
∞ ∞
Q τ̄ κ ( B) Q T = Q τ̂ κ ( F ) Q T
s =0 s =0
∞
= τ̂ κ ( QFQ T ) (by Theorem 4.6.3)
s =0
∞
= τ̄ κ ( QFQ T QF T Q T )
s =0
∞
= τ̄ κ ( QFF T Q T )
s =0
∞
= τ̄ κ ( QBQ T ).
s =0
which proves that the particle is isotropic. Substituting B = FF T into Eqn. (4.65),
we have
∞ ∞
τ̄ κ ( QF ( QF ) T ) = Q τ̄ κ ( FF T ) Q T ,
s =0 s =0
Downloaded from https://www.cambridge.org/core. Indian Institute of Technolgy Bombay, on 26 Aug 2018 at 09:30:21, subject to the Cambridge Core terms of use, available
at https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781316134054.005
i i
i i
i i
If we pour a fluid from a container into a test-tube, the fluid undergoes large deforma-
tions. Yet, intuitively, it is clear that the density at a fluid particle is preserved, and that
the stress response at that particle is the same. Thus, if the stress response at a particle X
is unaltered by any density preserving deformation, we say that the material at X is fluid,
i.e., a fluid particle has the maximum amount of material symmetry.
Definition: A body is fluid at a particle X if there exists a reference configuration κ such
that
∂κX = Unim+ .
Theorem 4.7.2. Let a simple body be fluid at a particle X. Then for any configuration
µ, ∂µX = Unim+ .
G ( X ) ĤG −1 ( X ) = G ( X ) G −1 ( X ) HG ( X ) G −1 ( X ) = H,
i.e., H ∈ ∂µX . Hence, Unim+ ⊂ ∂µX . By definition, ∂µX ⊂ Unim+ , and therefore
∂µX = Unim+ .
Thus, a fluid particle has no preferred reference configurations; this is in contrast to the
‘undistorted configuration’ in the definition of an isotropic particle.
Suppose that a body is a fluid at a particle X. Then ∂κX = Unim+ for any reference
configuration κ, and since Orth+ ⊂ Unim+ , Orth+ ⊂ ∂κX . Thus, we have
Theorem 4.7.3. Fluid particles of bodies are isotropic with all reference configurations
being undistorted.
If we apply a load to a bar so that it gets deformed, and now choose the deformed bar
as the new reference configuration, and apply the same load, then one would expect the
response of the bar in the starting and new reference configurations to be different. Thus,
we would expect the stress response of a ‘solid’ to be altered by nonrigid deformation of
its reference configuration, although rigid deformations may or may not alter its response.
More precisely, we define a solid as follows:
Definition: A body is solid at a particle X if there exists a reference configuration κ, called
undistorted, such that
∂κX ⊂ Orth+ .
Downloaded from https://www.cambridge.org/core. Indian Institute of Technolgy Bombay, on 26 Aug 2018 at 09:30:21, subject to the Cambridge Core terms of use, available
at https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781316134054.005
i i
i i
i i
∂µX = G ( X )∂κX G −1 ( X ).
For Q ∈ Orth+ , generally G ( X ) QG −1 ( X ) does not belong to Orth+ . So, generally, ∂µX is
not a subgroup of Orth+ . However, we have
The proof follows from the fact that Orth+ being a group, if R, Q ∈ Orth+ , then
RQR T ∈ Orth+ , and hence ∂µX ⊂ Orth+ .
Suppose that a body is solid at a particle X. Then there exists a reference configuration
κ such that ∂κX ⊂ Orth+ . For a particle to be a fluid, we need ∂κX = Unim+ . Since by
Theorem 1.12.10, Orth+ is a proper subgroup of Unim+ , we conclude that
However, a particle can be both solid and isotropic. To see this, suppose that a body is
solid at a particle X. Then there exists a reference configuration κ such that ∂κX ⊂ Orth+ . If
the particle X is also isotropic, then there exists a reference configuration κ̂ such that
The latter possibility implies that X is a fluid particle. However, by hypothesis, it is a solid
particle, and it cannot be both solid and fluid (Theorem 4.7.5). Hence,
By Eqn. (4.61),
Downloaded from https://www.cambridge.org/core. Indian Institute of Technolgy Bombay, on 26 Aug 2018 at 09:30:21, subject to the Cambridge Core terms of use, available
at https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781316134054.005
i i
i i
i i
In terms of R defined by
1
R := √ G ∈ Orth+ ,
λ
Q = R Q̂R T . (4.67)
Now let Q̃ ∈ Orth+ . Then since Orth+ is a group, R T Q̃R ∈ Orth+ = ∂κ̂X . Letting R T Q̃R
play the role of Q̂ in Eqn. (4.67), we get
R( R T Q̃R) R T = Q̃ ∈ ∂κX .
∂κX = Orth+ .
Summarizing, we have
Theorem 4.7.6. Suppose that a particle X of a body is both solid, meaning that there
exists a reference configuration κ such that ∂κX ⊂ Orth+ , and isotropic, meaning that
there exists a reference configuration κ̂ such that Orth+ ⊂ ∂κ̂X . Then
Thus, for an isotropic solid particle, the material symmetry groups relative to the special
reference configurations employed in the definition of solid and isotropic (both termed
undistorted) each√ coincide with the orthogonal group. Note that the deformation gradient
G is given by λR, i.e., in general, it is a scalar multiple of a rotation matrix. Hence,
the undistorted reference configuration κ and κ̂ need not be the same, and, in general,
need not even have the same density. However, by choosing λ = 1 and R = I, we can
make the undistorted reference configurations coincide, so that the undistorted reference
configuration associated with the isotropy is also an undistorted reference configuration
for the solidity, and vice versa.
We have seen that an isotropic particle of a body can be fluid (Theorem 4.7.3) or solid
(Theorem 4.7.6). A spectacular consequence of the maximality of the orthogonal group in
the unimodular group (Theorem 1.12.11) is that these are the only two possibilities for an
isotropic material.
Proof. Suppose that a body is isotropic at a particle X. Then there exists a refer-
ence configuration κ such that
Downloaded from https://www.cambridge.org/core. Indian Institute of Technolgy Bombay, on 26 Aug 2018 at 09:30:21, subject to the Cambridge Core terms of use, available
at https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781316134054.005
i i
i i
i i
∂κX = Orth+ ,
∂κX = Unim+ ,
In addition to fluid and solid particles, we can have yet another category of particles,
which we refer to as fluid crystals.
Definition: A particle X of a body is a fluid crystal if it is not solid, i.e., X is a fluid crystal
if there does not exist a reference configuration κ such that ∂κX ⊂ Orth+ , or, equivalently, if
∂κX 6⊂ Orth+ for all configurations κ.
Thus, for a fluid crystal, ∂κX always contains some nonorthogonal elements. While a
fluid crystal cannot be solid, it can be fluid or isotropic, as seen from the following result:
Theorem 4.7.8. A fluid crystal particle of a body is fluid if and only if it is isotropic.
Proof. Suppose if a fluid crystal particle is isotropic. Then by Theorem 4.7.7, it is
either a solid or fluid particle. But a fluid crystal, by definition, cannot be solid.
Hence, it is fluid.
Conversely, if a fluid crystal particle is fluid then it has to be isotropic, since
all fluid particles are isotropic by Theorem 4.7.3.
Based on the above discussion, a particle can either be solid or fluid or an anisotropic
fluid crystal. We need to show that anisotropic fluid crystals exist (at least mathematically).
First, we construct a proper subgroup of ∂κX that contains some nonorthogonal elements.
Let e ∈ V be a unit vector, and consider
0 0 1
defines a proper unimodular tensor that is not in G(e), so G(e) 6= Unim+ . Similarly,
1 0 1
H = 0 1 0
0 0 1
Downloaded from https://www.cambridge.org/core. Indian Institute of Technolgy Bombay, on 26 Aug 2018 at 09:30:21, subject to the Cambridge Core terms of use, available
at https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781316134054.005
i i
i i
i i
Downloaded from https://www.cambridge.org/core. Indian Institute of Technolgy Bombay, on 26 Aug 2018 at 09:30:21, subject to the Cambridge Core terms of use, available
at https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781316134054.005
i i
i i
i i
A particle X of a body is
• isotropic if Orth+ ⊂ ∂κX , κ undistorted;
• solid if ∂κX ⊂ Orth+ , κ undistorted;
• a fluid crystal if ∂κX 6⊂ Orth+ ∀ configurations κ.
EXERCISES
g ( X ) = Y 0 + α ( X − X 0 ), α ∈ <,
do not affect the material symmetry group of a body, i.e., ∂κX = ∂µX . Deformations of
this type are called dilatations if α > 0, and central inversions if α < 0.
Downloaded from https://www.cambridge.org/core. Indian Institute of Technolgy Bombay, on 26 Aug 2018 at 09:30:21, subject to the Cambridge Core terms of use, available
at https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781316134054.005
i i
i i