Professional Documents
Culture Documents
Physical and Anholonomic Components of Tensors
Physical and Anholonomic Components of Tensors
To cite this article: W. Altman & A. Marmo de Oliveira (2011) Physical and Anholonomic Components of Tensors
via Invariance of the Tensor Representation, Mechanics of Advanced Materials and Structures, 18:6, 454-466, DOI:
10.1080/15376494.2010.538893
Taylor & Francis makes every effort to ensure the accuracy of all the information (the “Content”) contained
in the publications on our platform. However, Taylor & Francis, our agents, and our licensors make no
representations or warranties whatsoever as to the accuracy, completeness, or suitability for any purpose of the
Content. Any opinions and views expressed in this publication are the opinions and views of the authors, and
are not the views of or endorsed by Taylor & Francis. The accuracy of the Content should not be relied upon and
should be independently verified with primary sources of information. Taylor and Francis shall not be liable for
any losses, actions, claims, proceedings, demands, costs, expenses, damages, and other liabilities whatsoever
or howsoever caused arising directly or indirectly in connection with, in relation to or arising out of the use of
the Content.
This article may be used for research, teaching, and private study purposes. Any substantial or systematic
reproduction, redistribution, reselling, loan, sub-licensing, systematic supply, or distribution in any
form to anyone is expressly forbidden. Terms & Conditions of access and use can be found at http://
www.tandfonline.com/page/terms-and-conditions
Mechanics of Advanced Materials and Structures, 18:454–466, 2011
Copyright © Taylor & Francis Group, LLC
ISSN: 1537-6494 print / 1537-6532 online
DOI: 10.1080/15376494.2010.538893
nomic components of tensors of single and double field based on the (b) maintain the tensor properties.
method of invariance of the tensor representation. It obtains formu-
las that describe a more general tensor calculus, which includes, as
a particular case, the tensor calculus based on coordinate transfor- The search for such components leads to the concept of phys-
mation. Explicit expressions of the usual connections are obtained ical and anholonomic components of tensors. The notion of
from a study of the anholonomic connections. Also, expressions of physical components of vectors was first introduced by Ricci
the anholonomic components of the covariant derivative of a ten- and Levi-Civita [1] in a celebrated memoir published in 1901.
sor are provided. As an application of this theory, the nonlinear
kinematic equations of a body are written in terms of anholonomic Since then, Thirring [2], Hencky [3], and Cissotti [4] have some-
components. how contributed to the initial development of the Tensor Calcu-
lus (see Altman and Oliveira [5] for a more detailed historical
Keywords tensors, covariant, contravariant, explicit expressions, ten- introduction). An entirely satisfactory theory of physical com-
sor calculus ponents in orthogonal curvilinear coordinates was presented by
McConnell [6].
With respect to non-orthogonal coordinate systems, several
1. INTRODUCTION authors have defined physical components of second order ten-
sors (e.g., Green and Zerna [7], Sedov [8], Synge and Schild
The covariant and contravariant components of a vector in
[9], and Truesdell [10]). All these definitions differ except in the
general differ from the components used in physics. Consider,
case of orthogonal coordinates, where they are all equivalent to
for example, the components of the velocity v in a system of
McConnell’s physical components.
spherical coordinates:
Truesdell [10] noted that whenever tensors occur in classical
physics they can be defined in terms of vectors and scalars. In
∂r ∂θ ∂φ
vr = , vθ = , vφ = . (1a–c) these definitions, he replaced the vector components by their
∂t ∂t ∂t physical counterparts and made the hypothesis that the physical
components (of the tensor being defined and of the given vec-
These vector components are not dimensionally homogeneous,
tors) shall satisfy analogous relations to those existing among
since dim vr = LT−1 , dim v θ = T−1 , and dim v φ = T−1 . Thus,
the tensor and vector components. This hypothesis will be re-
they do not always present the dimension of the velocity, which
ferred in the sequel as “Truesdell’s hypothesis.”
is LT−1 .
In [10], Truesdell dealt only with mixed second order tensor
We note that the dimension of a tensor can be defined as
components and, in reference [11], he pointed out the connection
being the dimension of its components in an orthonormal Carte-
between his method and the theory of anholonomic components
sian system of coordinates. To remove the above-mentioned
[12, 13].
discrepancies, the tensor must have components that
A theory developed by Altman and Oliveira [14, 15] and
Oliveira and Altman [16], which includes all physical compo-
nents (mixed, covariant, and contravariant), shows the compat-
ibility and relationship among some of these definitions.
In reference [17], Altman and Oliveira presented some as-
Received 14 January 2010; accepted 22 August 2010.
Address correspondence to Wolf Altman, Instituto Tec- pects of the theory of physical and anholonomic components
nológico de Aeronáutica, São José dos Campos, Brazil. E-mail: of tensors by associating these components to the spaces of
miriam@miriamaltman.psc.br linear transformations and tensor products, respectively. More
454
PHYSICAL AND ANHOLONOMIC COMPONENTS OF TENSORS 455
specifically, two different methods associated with the theory erence and deformed configurations, are defined as follows:
developed by the authors in the above-mentioned references
can be used to determine the physical components of tensors, G ,J , G I J = G
J = R I ·G J =G
J ·G
I = GJI
both of them yielding the same result. They are as follows: × (I, J = I, I I, I I I ) (2a–d)
(a) The physical component method, which is based upon the
“Truesdell’s hypothesis.” In this case, each tensor was seen I = GI J G
G J, I ·G
GI J = G J =G I = GJI = G
J ·G
as a linear transformation between two vector spaces prop- D
(2e–i)
erly chosen. The concept of physical components depends
fundamentally on this linear transformation and on the unit
bases of the mentioned vector spaces. g j = r, j , gi j = gi · g j = g J · gi = g ji (i, j = 1, 2, 3).
(b) The method of “invariance of the tensor representation,” (3a–d)
which does not need the “Truesdell’s hypothesis.” The point
here is that such components are obtained by means of the g
invariance of the tensorial representation along with the de- g i = g i j g j , g i j = g i · g j = g j · g i = g ji = (3e–i)
d
composition of the tensor on both anholonomic and natural
Downloaded by [Australian National University] at 03:50 02 January 2015
∂ TI K
Downloaded by [Australian National University] at 03:50 02 January 2015
where
where
j j
eaj eb = δab , f ja f b = δab , (11c,d)
eφ = − sin(φ)ı + cos(φ)j . (13b)
where i, j, a, b = 1, 2, 3. To verify relation (10c), for example,
substitute Writing the expression of the position vector r in terms of
spherical coordinates, we have
ea = eaj g j and eb = ebi gi (11e,f)
r = xı + yj + z k = sin(θ) cos(φ)ı + sin(θ) sin(φ)j + cos(θ)k.
into the condition of reciprocity of the bases e = {e1 , e2 , e3 } and (14a,b)
e∗ = {e 1 , e 2 , e 3 }, i.e.,
Consequently, the expressions of the natural basis vectors are
given by
0 if a = b
e a · eb = a, b = 1, 2, 3 (11g)
1 if a = b ∂r
gθ = (14c)
= cos(θ)cos(φ)ı + cos(θ) sin(φ)j − sin(θ)k,
∂θ
to get the desired result. Relations (11a,b) and (10d) are obtained
in a similar manner.
We note that since b is a generic basis, the pair of formulas ∂r
(8g) and (8h) can be transformed into corresponding formulas gφ = = − sin(θ) sin(φ)ı + sin(θ) cos(φ)j , (14d)
∂φ
referred to the bases e or f by means of a suitable change of
bases and factors of bases transformations. where
Example: In order to illustrate these concepts, consider the
transformation ∂r ∂r
= gθ · gθ = 1 and = gφ · gφ = sin(θ).
∂θ ∂φ
x = sin(θ) cos(φ), y = sin(θ) sin(φ), z = cos(θ), (12a–c) (14e–h)
458 W. ALTMAN AND A. MARMO DE OLIVEIRA
At this point, it is easy to verify that the basis vectors gθ and 4. PHYSICAL AND ANHOLONOMIC COMPONENTS
gφ satisfy the constrained condition of the natural or holonomic OF VECTORS
basis. In fact, The physical dimensions of the covariant and contravariant
components vk and v k of the same vector
∂ gφ ∂ gθ
= = cos(θ) − sin(φ)ı + cos(φ)j . (14i,j)
∂θ ∂φ v = v k gk = vk g k , k = 1, 2, 3 (17a–b)
The substitution of the set of formulas (13c,d) into are generally different, since the vector of their bases are not
generally of unit length. The goal of finding components of
∂r ∂r ∂r ∂r vectors whose dimensions coincide with those of the vectors
eθ = and eφ = (15a,b)
∂θ ∂θ ∂φ ∂φ themselves, is accomplished by constructing the unit bases
ga g a
and, taking into account that ea = √ and fa = √ aa (18a,b)
gaa g
∂r ∂r
= 1, = sin(θ)
Downloaded by [Australian National University] at 03:50 02 January 2015
and, taking into account that eθ = gθ are unit vectors, we can v = [v a ]e ea = [v a ] f f a = [va ]e∗ e a = [va ] f ∗ f a = v a ga
write = va g a , a = 1, 2, 3, (20a–f)
e1 = e11 g1 where e11 = 1, since e1 = g1 . (15g–i) where
√ va
Similarly, [v a ]e = gaa v a , [v a ] f = √ aa (20g,h)
g
va
1 1 [va ] f ∗ = g va , [va ]e∗ = √
aa (20i,j)
e2 = e22 g2 where e22 = , since e2 =
g2 . g aa
sin(θ) sin(θ)
(15j–l)
Secondly, in order to verify whether the basis (e1 , e2 ) is non- are called physical components of v relative to the bases e, f ,
holonomic, let us calculate the terms of the condition f ∗ , e∗ , respectively. The bracket notation [·]B denotes physical
or anholonomic components of a vector (or tensor) referred to
∂e2 ∂e1 anholonomic basis B of the considered vector (or tensor) space.
= (2) , (15a) Since the physical components are special cases of anholonomic
∂ x (1) ∂x
components, they can also be written as
where
[v a ]e = eka v k , [v a ] f = f ka v k , (21a,b)
∂ ∂ ∂ 1 ∂
= and = , (16b,c) [va ] f ∗ = f ak vk , [va ]e∗ = eak vk , (21c,d)
∂x (1) ∂θ ∂x (2) sin(θ) ∂φ
as follows where the factors of basis transformation are obtained after com-
parison of formulas (19g,j) with (20a,d). Thus,
∂e2 ∂e2
(a) = , (16d) √ δa
∂x (1) ∂θ eka = δak gkk , f ka = k , (22a,b)
∂e1 1 ∂e1 cos(θ) g kk
(b) = = e2 = cot(θ)e2 . (16e–g) δk
∂ x (2) sin(θ) ∂φ sin(θ) f ak = δak g kk , eak = √ a . (22c,d)
gkk
Therefore, the basis (e1 , e2 ) is nonholonomic.
PHYSICAL AND ANHOLONOMIC COMPONENTS OF TENSORS 459
TABLE 1 TABLE 2
Anholonomic counterparts of the components of a Physical counterparts of the components of a second-order
second-order tensor of single field tensor of single field
√ √ √
[T ab ]e⊗e = i, j T i j eia ebj [T ab ]e⊗ f = i, j T i j eia f jb [T ab ]e⊗e = T ab gaa gbb [T ab ]e⊗ f = T ab gaa / g bb
√ √ √
[T ab ] f ⊗e = i, j T i j f ia ebj [T ab ] f ⊗ f = i, j T i j f ia f jb [T ab ] f ⊗e = T ab gbb / g aa [T ab ] f ⊗ f = T ab / g aa g bb
·j ·j √ √ √
[Ta· b ]e∗ ⊗e = i, j Ti eai ebj [Ta· b ]e∗ ⊗ f = i, j Ti eai f jb [Ta· b ]e∗ ⊗e = Ta· b gbb / gaa [Ta· b ]e∗ ⊗ f = Ta· b / gaa g bb
·j ·j √ √ √
[Ta· b ] f ∗ ⊗e = i, j Ti f ai ebj [Ta· b ] f ∗ ⊗ f = i, j Ti f ai f jb [Ta· b ] f ∗ ⊗e = Ta· b g aa gbb [Ta· b ] f ∗ ⊗ f = Ta· b g aa g bb
√ √ √
[T·ab ]e⊗e∗ = i, j
j
T·i j eia eb [T·ab ]e⊗ f ∗ = i, j
j
T·i j eia f b [T·ab ]e⊗e∗ = T·ab gaa / gbb [T·ab ]e⊗ f ∗ = T·ab gaa g bb
√ √ √
[T·ab ] f ⊗e∗ = i, j T·i j f ia eb
j
[T·ab ] f ⊗ f ∗ = i, j T·i j f ia f b
j [T·ab ] f ⊗e∗ = T·ab / g aa gbb [T·ab ] f ⊗ f ∗ = T·ab g bb / g aa
Downloaded by [Australian National University] at 03:50 02 January 2015
√ √ √
[Tab ]e∗ ⊗e∗ =
j
Ti j eai eb [Tab ]e∗ ⊗ f ∗ = Ti j eai f b
j [Tab ]e∗ ⊗e∗ = Tab / gaa gbb [Tab ]e∗ ⊗ f ∗ = Tab g bb / gaa
i, j i, j
√ √ √
[Tab ] f ∗ ⊗e∗ = Ti j f ai eb
j
[Tab ] f ∗ ⊗ f ∗ = Ti j f ai f b
j [Tab ] f ∗ ⊗e∗ = Tab g aa / gbb [Tab ] f ∗ ⊗ f ∗ = Tab g aa g bb
i, j i, j
TBAa F⊗e⊗F ∗
= TKI i FIA eia FBK . (28b) where h i = g ii . The 3 × 3 matrices E, F, E ∗ , and F ∗ are
called matrices of transformation of frames. The Cartan matrix
The substitution of formulas (21a–d) into formula (28b) leads C(J ) of a differentiable nonsingular square matrix J is defined
to by [18]
√
gaa √ B B Aa C(J ) = (d J ) · J −1 . (31a)
=√
Downloaded by [Australian National University] at 03:50 02 January 2015
TBAa F⊗e⊗F ∗ G TB
G AA
As an example of a Cartan matrix, let us take
(no summation over the double
(29a) ⎡ ⎤
indices in the metric symbols),
h1 0 0
⎢ ⎥
J = ⎣ 0 h2 0 ⎦ (31b)
which is the expression of the physical component of the third-
order tensor of double field referred to the basis B = F ⊗e⊗ F ∗ . 0 0 h3
Since the covariant derivatives of vector and tensor compo-
nents have also a tensor character, the above theory can be used from relation (31i) and its inverse
to obtain their anholonomic counterparts. For instance, by us- ⎡ 1
⎤
ing formula (29a), the covariant derivative of the components h1
0 0
⎢ ⎥
Ŝ Aa of the first Piola-Kirchhoff stress tensor with respect to X B , J −1 = ⎣ 0 1
h2
0 ⎦. (31c)
Aa
denoted by Ŝ;B , reads 0 0 1
h3
√
gaa √ B B Aa Thus,
Aa
Ŝ;B F⊗e⊗F ∗
=√ G S;B , (29b)
G AA ⎡ ⎤⎡ 1 ⎤
dh 1 0 0 h1
0 0
⎢ ⎥⎢ ⎥
Aa
which is the expression of the physical components of S;B (d J ) · J −1 = ⎣ 0 dh 2 0 ⎦ ⎣ 0 h12 0 ⎦
∗
referred to the basis B = F ⊗ e ⊗ F . 0 0 dh 3 0 0 h13
⎡ 1 ⎤
dh
0 0
⎢ h ⎥
1
6. ANHOLONOMIC CONNECTIONS = ⎣ 0 h2 0 ⎥
⎢ 2
dh (33a,b)
⎦
6.1. Frames and Matrices dh 3
0 0 h3
Definition. A system of basis vectors g = {gi }, i = 1, 2, 3,
is called a frame and is denoted as a column vector. For typo- is the Cartan matrix C(J ) of the differentiable nonsingular
graphical convenience, a column vector will usually be written square matrix J . The following notation will be used in the
as a generic vector in braces. sequel:
The frames e = {ea }, f ∗ = { f a }, e∗ = {ea }, and f = { f a },
where a = 1, 2, 3, are related with the frames g = {gi } and d(h a ) b i b
(C(J ))ab = δ , Jai = δia h i , (J −1 )ib = Nib = δ ,
g ∗ = {g a } as follows: hb a hi i
(34a–d)
where N = J −1 .
δi
{ea } = E {gi } = √ a {gi }, (31a,b)
gii
6.2. Matrices of Connections
Now, let us take a differentiable curve r = r(t) through a
δia
{ f a } = F ∗ g i = {g i }, (31c,d) point r0 of the body. The tangent vector dr to this curve can be
g ii written as
√
{ea } = E ∗ g i = δia gii {g i }, (31e,f) dr = d x i gi = [d x a ]e ea = [d x a ] f f a (35a–c)
462 W. ALTMAN AND A. MARMO DE OLIVEIRA
d{ba } = {bb }. (37) Since our reference is the natural basis, we can write, in terms
of the bracket notation,
The next theorem provides us with an expression to calculate
in function of . b
·ac
b
= ac b⊗b∗ ⊗b∗
, (40c)
Theorem 1. Let be a natural connection. If is a matrix of
connection relative to J , then that is, ·ac
b
are the anholonomic components of ac b
. Note that b
∗ ∗
stands for either e, e , f , or f . For instance, from the formula
b
= J J −1 + C(J ), (38a) b·ac = ac f ⊗ f ∗⊗ f ∗
. (40d)
Since
1 (1/ h α ),c b
b
[ac ] f ⊗e∗ ⊗e∗ = b + δ . (40i)
d{ba } = {bb } = J {g j }, (38f,g) h a h c h b ac hb hc a
we have that
6.4. Anholonomic Derivatives
J {g j } = (d J + J ){g j }, (38h) Let w = wa ba be a vector field, where the letters wa = [wa ]b
and wa = [wa ]b∗ , denote the anholonomic components of w.
which implies
For each connection there are two kinds of components of
∂
w,
called anholonomic covariant derivatives of w, which are
= C(J ) + J J −1 . (38i) ∂xc
defined as follows:
In terms of components, the above formula reads ∂ ∂
= (w;cb )bb ⇐⇒ w;cb = c (w)
(w) · b b (41a,b)
j j ∂x c ∂x
·ab = Jai i N bj + d(Jai )Nib = Jai i N bj + (C(J ))b·a , (39a,b)
PHYSICAL AND ANHOLONOMIC COMPONENTS OF TENSORS 463
and where gi j and G I J are the metrics in the current and reference
configurations of a point of the body C .
∂ ∂
= (wb;c )b b ⇐⇒ wb;c = c (w)
(w) · bb (41c,d) The strain tensor E I J may be expressed in terms of the dis-
∂x c ∂x placement vector u , or in its components with respect to the base
I or gi . In terms of displacement vector expression (43)
vectors G
To calculate the anholonomic covariant derivatives of w we will
becomes
prove the following:
Theorem 2. If bb ac
b
= ∂c (ba ) then EI J =
1 I · u ,J + u ,I · u ,J ).
(G J · u ,I + G (44)
2
w;cb = w,c
b
+ wa ac
b
. (42j) Observe that from the relations (44) and (47c,d) we infer the
◦ ◦
symmetry of E I J = E J I and E I J = E J I . The anholonomic
◦
Similar result holds for wb;c , i.e., components of E I J and E I J , both referred to the basis E ∗ ⊗ E ∗
read
wb;c = wb,c − wa bc
a
. (42k)
[E AB ] E ∗ ⊗E ∗ = E AI E BJ E I J (48a)
Likewise results hold for tensors of all orders. For instance, if
we consider the component Tba of a mixed second-order tensor and
we have
◦ ◦
a
Tb;c = a
Tb,c + Tbd dc
a
− Tda bc
d
. (42l) E AB = E AI E BJ E I J . (48b)
E ∗ ⊗E ∗
From this point on, for the sake of simplicity, we shall introduce
7. KINEMATIC EQUATIONS an additional notation in which we leave out the brackets and
We define a symmetric tensor E I J , called the strain tensor, the indication of the basis in the standard bracket notation. Also,
by the equation we underline the letters excluding the indices. For instance,
◦ ◦
1 [E AB ] E ∗ ⊗E ∗ = E AB and E AB = E AB . (48c)
EI J = (gi j − G I J ), (43)
2 E ∗ ⊗E ∗
464 W. ALTMAN AND A. MARMO DE OLIVEIRA
After substituing expression (47a,b) in (48a) we obtain In order to have the second term of the second member of
expression (53a) written in terms of anholonomic components
◦ 1 substitute the formulas
E AB = E AI E BJ E I J = E AI E BJ E I J + U;IM U M;J , (49a,b)
2 C C
U C;A = U;A E⊗E ∗
= U,A E⊗E ∗
+ U B E CB A E⊗E ∗ ⊗E ∗
where A, B = I, I I, I I I . From the anholonomic components, (55a,b)
and
C
U C;A = U;A E⊗E ∗
= EM E A U;IM ,
C I
(50a,b)
U C;B = UC;B E ∗ ⊗E ∗ = UC,B E ∗ ⊗E ∗ − [U A ] E ∗ CA B E⊗E ∗ ⊗E ∗
(55c,d)
in the nonlinear term U C;A U C;B to obtain
U C;B = UC;B E ∗ ⊗E ∗ = E CM E BJ U M;J , (50c,d)
C C C !
together with formulas (48a–d), we have U;A E⊗E ∗ [UC;B ] E ∗ ⊗E ∗ = U;A E⊗E ∗ + [U B
] E ∗
B A E⊗E ⊗E ∗ ·
◦ ◦
Downloaded by [Australian National University] at 03:50 02 January 2015
E I J = E IA E JB E AB , E I J = E IA E JB E AB , (51a,b)
!
UC;B E ∗ ⊗E ∗ − [U A ] E ∗ CA B E⊗E ∗ ⊗E ∗ (55e)
Similarly, the equations (56a,b) can be represented d x i = g i · gi d x i , i
= 1, 2, . . . , n. (62b)
in component form referred to the anholonomic basis
E, by the equation
From (61a,b) and (62a,b) we have
AC
Ŝ;A + ρ0 P C E = ρ0 Ü C E , ∂xi
E
gii
= g i · gi
= , (63a)
[ν A ] F ∗ Ŝ AC F⊗E = F C E . (59a,b) ∂ xi
Formula (64b) can be expressed in the traditional form 5. W. Altman and A.M. Oliveira, A Historical Outline of Physical Components
of coordinates transformation: of Tensors, Tensor, vol. 36, pp. 195–199, 1982.
6. A.J. McConnell, Applications of Absolute Differential Calculus, Blackie,
∂ X A ∂xc ∂xk ∂ X R London, 1931.
Ij
TbA
Dc
= Tk R , (64c) 7. A.E. Green and W. Zerna, Theoretical Elasticity, Oxford University Press,
B
∂ X I ∂ x j ∂ x b
∂ X D
Oxford, 2nd ed., 1968.
8. L.I. Sedov, Introduction to the Mechanics of Continuous Medium, Addison-
where Wesley, London, 1965.
9. J.L. Synge and A. Schild, Tensor Calculus. Toronto University Press,
∂xc ∂XR Toronto, 1949. Re-published by Dover, New York, 1978.
g cj = , R
GD
= (64d)
∂x j ∂ X D
10. C. Truesdell, The Physical Components of Vectors and Tensors, Z. Angew
Math. Mech., vol. 33, pp. 345–356, 1953.
and the (holonomic) factors of bases transformation 11. C. Truesdell, Remarks on the Paper “The Physical Components of Vectors
and Tensors,” Z. Angew Math. Mech, vol. 34, pp. 69–70, 1954.
G IA and gbk
were defined above. This shows that the tra- 12. J.A. Schouten, Tensor Analysis for Physicists, Clarendon Press, Oxford,
ditional coordinate transformation is a particular case UK, 1951.
of formula (64a). Therefore, the change of bases al- 13. J.L. Ericksen, Tensor Fields. Handbuch der Physik, Band III/1, [Ten-
lows for the unification of both the anholonomic and sor Fields. Physics Handbook, Volume II/1], Springer-Verlag, Berlin,
Downloaded by [Australian National University] at 03:50 02 January 2015