PlanetPhysics/Tensor

Tensors are another abstract mathematical tool at our disposal for solving problems from rotating [[../CenterOfGravity/|rigid bodies]] to the structure of the [[../MultiVerses/|Universe]]. Not only does the use of tensor notation clean up complex equations, but also allows us to embody the invariance of physical quantities within tensors. This is worth repeating: we can use tensors to write physical equations independent of the choice of coordinate [[../SimilarityAndAnalogousSystemsDynamicAdjointnessAndTopologicalEquivalence/|systems]].

In the most general way we define a tensor $T$ based on how it behaves under coordinate transformations

${\overline{T}}_{j_1,j_2,\cdots j_q}^{i_1,i_2,\cdots i_p}=T_{s_1,s_2,\cdots s_q}^{r_1,r_2,\cdots r_p}\frac{\partial {\overline{x}}^{i_1}}{\partial x^{r_1}}\frac{\partial {\overline{x}}^{i_2}}{\partial x^{r_2}}\cdots \frac{\partial {\overline{x}}^{i_p}}{\partial x^{r_p}}\frac{\partial x^{s_1}}{\partial {\overline{x}}^{j_1}}\frac{\partial x^{s_2}}{\partial {\overline{x}}^{j_2}}\cdots \frac{\partial x^{s_q}}{\partial {\overline{x}}^{j_q}}$

where the tensor rank is $n=p+q$, the contravariant rank is $p$ and the covariant rank is $q$. Note that rank is also referred to as the tensor order.

Although Eq. (1) can be intimidating at first, one can familiarize themselves by working simple examples and pulling from experience with [[../Vectors/|scalars]], [[../Vectors/|vectors]] and [[../Matrix/|matrices]]. A scalar quantity such as [[../BoltzmannConstant/|temperature]] or density is invariant under coordinate transformation and is labeled as a tensor of rank zero. The next step is a tensor of rank 1. If $p=1$ and $q=0$, then $n=1$ and we have a contravariant vector

${\overline{T}}^{i_1}=T^{r_1}\frac{\partial {\overline{x}}^{i_1}}{\partial x^{r_1}}$

If $p=0$ and $q=1$, then $n=1$ and we have a covariant vector

${\overline{T}}_{j_1}=T_{s_1}\frac{\partial x^{s_1}}{\partial {\overline{x}}^{j_1}}$

It is important to realize the differences between Eq. (2) and Eq. (3), i.e. Eq. (2) can represent the transformation of familiar vectors, while Eq. (3) can represent the transformation between basis vectors. This can best be illustrated with the simple examples of the [[../TransformationBetweenCartesianCoordinatesAndPolarCoordinates/|transformation between cartesian coordinates and polar coordinates]] and the [[../TransformationBetweenCartesianBasisVectorsAndPolarBasisVectors/|transformation between cartesian basis vectors and polar basis vectors]].