# PlanetPhysics/Tensor

Tensors are another abstract mathematical tool at our disposal for solving problems from rotating rigid bodies to the structure of the 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 systems.

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

${\displaystyle {\bar {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 {\bar {x}}^{i_{1}}}{\partial x^{r_{1}}}}{\frac {\partial {\bar {x}}^{i_{2}}}{\partial x^{r_{2}}}}\cdots {\frac {\partial {\bar {x}}^{i_{p}}}{\partial x^{r_{p}}}}{\frac {\partial x^{s_{1}}}{\partial {\bar {x}}^{j_{1}}}}{\frac {\partial x^{s_{2}}}{\partial {\bar {x}}^{j_{2}}}}\cdots {\frac {\partial x^{s_{q}}}{\partial {\bar {x}}^{j_{q}}}}}$

where the tensor rank is ${\displaystyle n=p+q}$, the contravariant rank is ${\displaystyle p}$ and the covariant rank is ${\displaystyle 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 scalars, vectors and matrices. A scalar quantity such as 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 ${\displaystyle p=1}$ and ${\displaystyle q=0}$, then ${\displaystyle n=1}$ and we have a contravariant vector

${\displaystyle {\bar {T}}^{i_{1}}=T^{r_{1}}{\frac {\partial {\bar {x}}^{i_{1}}}{\partial x^{r_{1}}}}}$

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

${\displaystyle {\bar {T}}_{j_{1}}=T_{s_{1}}{\frac {\partial x^{s_{1}}}{\partial {\bar {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 transformation between cartesian coordinates and polar coordinates and the transformation between cartesian basis vectors and polar basis vectors.