14.4: C.4 3rd-Order Isotropic Tensors
- Page ID
- 18107
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Let a 3rd-order isotropic tensor \(\underset{\sim}{A}\) be subjected to an infinitesimal rotation \(\underset{\sim}{\delta} +\underset{\sim}{r}\). Then
\[A_{i j k}^{\prime}=A_{l m n} C_{l i} C_{m j} C_{n k}=A_{i j k}. \nonumber \]
Reasoning as in the last section (see derivation of Equation 14.3.1), we obtain
\[A_{i l k} r_{l j}+A_{l j k} r_{l i}+A_{i j l} r_{l k}=0.\label{eqn:1} \]
Again, we have changed all dummy indices to \(l\) for tidiness. (And again, this is safe only because they appear in separate terms!) Equation \(\ref{eqn:1}\) represents 27 equations, one for each combination of the index values 1, 2 and 3. It will simplify things if we classify those 27 combinations as follows:
- all values equal (111, 222 and 333)
- two values equal and one different (e.g., 223)
- all values different (123, 231, 312, 213, 321 and 132).
Case 1: \(i\) = 1, \(j\) = 1, \(k\) = 2
With {\(i, j, k\)} = {1,1,2}, Equation \(\ref{eqn:1}\) becomes
\[\begin{aligned}
A_{112} r_{11} &+A_{122} r_{21}+A_{132} r_{31} \\
+A_{112} r_{11} &+A_{212} r_{21}+A_{312} r_{31} \\
+A_{111} r_{12} &+A_{112} r_{22}+A_{113} r_{32}=0.
\end{aligned} \nonumber \]
Using the antisymmetry of \(\underset{\sim}{r}\), we can write this as
\[\left(A_{122}+A_{212}-A_{111}\right) r_{21}+\left(A_{132}+A_{312}\right) r_{31}+A_{113} r_{32}=0. \nonumber \]
Since the coefficients must vanish separately, we have three equations:
\[\begin{align}
A_{122}+A_{212} &=A_{111} \label{eqn:2}\\
A_{132} &=-A_{312} \label{eqn:3}\\
A_{113} &=0 \label{eqn:4}
\end{align} \nonumber \]
The third equation tells us that an element with two equal indices is zero. Let us guess that this is true for all such elements. If we have guessed right, then the first equation tells us that an element with all three indices equal is zero. Finally, in the second equation, interchanging two indices changes the sign.
Are these patterns generally true? Let us try another case to check.
Case 2: \(i\) = 2, \(j\) = 3, \(k\) = 2
Repeating the previous case with {\(i, j, k\)} changed to {2,3,2}, we have
\[\begin{aligned}
A_{212} r_{13} &+A_{222} r_{23}+A_{232} r_{33} \\
+A_{132} r_{12} &+A_{232} r_{22}+A_{332} r_{32} \\
+A_{231} r_{12} &+A_{232} r_{22}+A_{233} r_{32}=0
\end{aligned} \nonumber \]
or
\[\begin{align}
A_{332}+A_{233} &=A_{222}\label{eqn:5} \\
A_{132} &=-A_{231}\label{eqn:6} \\
A_{212} &=0.\label{eqn:7}
\end{align} \nonumber \]
The pattern is the same as in case 1. The third equation tells us that an element with two equal indices is zero. If this is generally true, then the first equation tells us that an element with three equal indices is zero. Finally, interchanging two indices changes the sign.
You can check as many cases as you like; the results are always the same. Note that the only “rule” that matters here is the second one: interchanging two indices changes the sign. The other two rules follow from this one, because they both involve elements with two or more equal indices. Interchanging two equal indices makes no difference, but it also changes the sign. That only works if the value is zero.
We conclude that a 3rd-order tensor can be isotropic only if it is completely antisymmetric, i.e., interchanging any two indices changes the sign. In section D.1, we show that the only completely antisymmetric 3rd-order tensor is, to within a multiplicative constant, the Levi-Civita alternating tensor \(\underset{\sim}{\varepsilon}\). The most general isotropic 3rd-order tensor is therefore
\[\underset{\sim}{A}=a \underset{\sim}{\varepsilon} \nonumber \]
where \(a\) is any scalar.