Module-1: Tensor Algebra: Lecture-7: The Skewsymmetric Tensor
Module-1: Tensor Algebra: Lecture-7: The Skewsymmetric Tensor
Choosing u = v, we have
(u, W u) = −(u, W u)
=⇒ (u, W u) = 0, ∀u ∈ V (2)
From Eq. (2), we conclude that the vector W u is either orthogonal to the vector u or
W u = 0. Choosing u = ei and v = ej in Eq. (1), we get
Wij = −Wji .
Thus, any skewsymmetric tensor defined over three dimensional space has three indepen-
dent components.
W u = w × u, ∀u ∈ V (4)
Since the determinant of tensor W is zero there must exist at least one zero eigenvalue.
Let p be a unit eigenvector corresponding to zero eigenvalue i.e., W p = 0. Consider
q and r are two mutually orthogonal unit vectors such that they are orthogonal to the
vector p. Thus, the set {p, q, r} forms an orthonormal basis to the vector space V. Since
W is a second-order tensor we can have the following representation.
Since the set {p, q, r} is an orthonormal basis, the components of W can be written as
Using Eq. (2), we get (p, W p) = (q, W q) = (r, W r) = 0. The relation W p = 0 give
rise to (q, W p) = (r, W p) = 0. In addition, using skewsymmetric nature of tensor W ,
we have
In summary, the components of tensor in orthonormal basis {p, q, r}: W11 = (p, W p) =
0, W12 = −W21 = (p, W q) = 0, W13 = −W31 = (p, W r) = 0, W22 = (q, W p) = 0,
W33 = (r, W r) = 0, W23 = (q, W r) = −(r, W q) = −W32 . If W is non-zero then W23
and W32 are only non-zero components. Furthermore, W23 = −W32 . Substituting these
components in Eq. (6), we obtain
W = W23 (q ⊗ r − r ⊗ q)
W u = W23 (q ⊗ r − r ⊗ q)u
= W23 ((r · u)q − (q · u)r)
= W23 ((r × q) × u)
Let w = γp then
W u = w × u, ∀u ∈ V.
Thus, there is an axial vector w corresponding to every skewsymmetric tensor W .
Conversely, if the vector w is given then we need to show that there exists a corre-
sponding skewsymmetric tensor W . For every vector u ∈ V there is a vector v such
that
w × u = v.
There is an output vector for every input vector and hence, the operation with given
vector is a transformation from vector space to vector space. The linearity of the preceding
operation follows from the distributive property of cross product.
w × (αu + βv) = α(w × u) + β(w × v), ∀u, v ∈ V and ∀α, β ∈ <
Therefore, the cross product with a given vector w is a linear transformation. Conse-
quently, there should exist a second-order tensor corresponding to the operation. Let W
be a second-order tensor such that
W u = w × u, ∀u ∈ V.
Writing the preceding equation in indicial notation, we get
(W u)i = (w × u)i
Wij uj = ikj wk uj
Wij uj = −ijk wk uj
Arbitrariness of vector u implies Wij = −ijk wk . It is easy to see that Wij = −Wji . There-
fore, the second-order tensor W is a skewsymmetric tensor. Thus, there is a skewsym-
metric tensor W associated with a given vector w.
Using principal invariants, we get the following characteristic equation for the tensor W .
λ3 + |w|2 λ = 0 (11)
where λ is the eigenvalue. This cubic equation has one zero root and two purely imaginary
√
roots. If i is imaginary number −1 then the eigenvalues can be expressed as λ1 = 0,
λ2 = i|w| and λ3 = −i|w|. It can be verified that eigenvalues satisfy the characteristic
equation. Geometrically, there are no real eigenvectors for the skewsymmetric tensor
except the axial vector. Furthermore, the axial vector also maps to the zero vector as it
is corresponding to zero eigenvalue. In conclusion, the skewsymmetric tensor W assumes
a diagonal form if the field is extended to the complex numbers.
Skewsymmetric tensor in higher dimensional vector space:
Let us consider a skewsymmetric tensor in n-dimensional vector space. The following
property is true for any dimension,
(u, W u) = 0, ∀u ∈ V
From the geometrical interpretation, all eigenvalues are either complex numbers or zeros.
In other words either the directions undergo orthogonal rotation or the directions have
zero scale factors.
It is easy to see that any skewsymmetric tensor defined over n-dimensional vector space
has n(n − 1)/2 independent components. Consequently, the skewsymmetric tensor can
not be associated with a vector in the vector space other than three dimensional space.
Thus, three dimensional space has special property that every skewsymmetric tensor can
be associated with a unique vector and vice versa.
Reference