Visualising Tensors: Physics Explanation & Examples

[nolanp2]

Can anyone help me to unerstand what tensors are in physics, a few basic examples would probably do, and how they actually go about giving you the results. the only explanations I've been given of them are through maths which are useless to me since i still can't manage to visualise what a matrix is actually doing in many cases. need help urgently!

 

[arunma]

I've always had trouble with this too. I took both differential geometry and cosmology, and I still didn't get it. I only started to understand tensors when I got an easier introduction to them in special relativity.

Here's my understanding. Tensors are essentially matrices, except they can exist in more than two dimensions. For example, a tensor with one index is a vector. If you were to write it out as a matrix, it would exist in one dimension. Tensors with two dimensions are just typical square matrices. A tensor of three indices can be thought of as a three-dimensional box of numbers. And it just goes from there.

Of course, I've never quite understood the difference between covarient and contravarient tensors. Let me know if you ever find out!

 

[cristo]

Of course, I've never quite understood the difference between covarient and contravarient tensors. Let me know if you ever find out!

Do you know the difference between a covariant and a contravariant vector?

 

[robphy]

Here are some past posts
https://www.physicsforums.com/showpost.php?p=1175763&postcount=7
https://www.physicsforums.com/showpost.php?p=1173978&postcount=12

Here is a short article to get you started:
http://arxiv.org/abs/gr-qc/9807044

(I am actually working on a VPython program to visualize tensors.)

 

[arunma]

Do you know the difference between a covariant and a contravariant vector?

Well, I know that one has raised indices, and the other has lowered indices. And I know that raising or lowering both indices simultaneously means that that tensor becomes its inverse. So I can brainlessly do the operation. But I've never understood why this is the case.

 

[quasar987]

The words covariant and contravariant refer to the way the components of the tensor transform as the basis is transformed (contravariant = in a contrary way and covariant = in a ...well in the same way :P).

I feel I cannot say more without rewriting the whole theory from scratch so I refer you to say Sharipov's ebook: http://uk.arxiv.org/abs/math/0403252/

 

[mjsd]

Can anyone help me to unerstand what tensors are in physics, a few basic examples would probably do, and how they actually go about giving you the results. the only explanations I've been given of them are through maths which are useless to me since i still can't manage to visualise what a matrix is actually doing in many cases. need help urgently!

how do you actually want to visualise it? As apples and oranges ? or as a collection of numbers/symbols/sea shells group together in some meaningful way? and that they follow particular rules when you try to juggle the content...?

I guess you may have a chance to visualise tensors if you limit yourself to tensors with very small ranks and very low dimensionality. Otherwise, it would be as difficult as to visualising a 10-dimensional hypercube for instance.

remember tensors are defined by how they transform, and certainly not all tensors naturally lead to some "everyday" visualizations.

 

[baryon]

A tensor is a collection of values that alters a field.

 

[CPL.Luke]

from my very limited understanding of them they can work as follows

an mXm matrix will take a vector and transform it to produce another vector in the same "space" (ex. R^m)

now what if you had an array of several matrices? if you were to multiply this by a vector such that each component of the vector gave a certain "weight" to each of the component matrices in the tensor, thus producing a new matrix that could then be used to tranform a vector.

I believe that general relativity works in this way.

but most simply put a tensor is an array of matrices, and ghigher dimensional tensors are then arrays of lower dimensional tensors. similar in effect to a hypercube.

NOTE: I have no formal traiing or even informal self-study of tensors, I just gathered this from a couple of brief chapters on general relativity a while back, so what I said could easily be very wrong.

 

[Magister]

The contravariant and convariant vectors are related by the way you get the components of the vector. If you use the paralelogram rule of the vectors you get the contravariants components, for instance if you get the components by tracing a line ortogonal to the axis you get the covariant components. Is because of this that in R^3 the contravariants and covariants of a vector are equal.
I suppose that the name covariant cames from the fact that when you change one axis only the components related to this axis change while when working with contravariant components all the components change.

I hope I have made my self clear.

 

[Hurkyl]

IMHO, one thing that would help is to try to understand what a tensor is before you try and understand what a tensor field is.

(much like it's easier to learn about vectors before you try to learn about a vector field)


If you've chosen a basis, the coordinates of a vector form an nx1 array of numbers. The coordinates of a covector form a 1xn array of numbers.

In coordinates, a tensor product is a generalization of a scalar product. For example, in three dimensions, if I tensor the covector [a b c] with something (could be anything: a scalar, a vector, a covector, a matrix, or some other kind of tensor)

<br /> \left[\begin{array}{ccc}a &amp; b &amp; c\end{array} \right] \otimes \mathbf{v}<br /> = \left[\begin{array}{ccc}a\mathbf{v} &amp; b\mathbf{v} &amp; c\mathbf{v}\end{array}\right]<br />

If v was, say, the vector with coordinates x, y, and z, this tensor product would be the matrix:

<br /> \left[\begin{array}{ccc}a &amp; b &amp; c\end{array} \right] \otimes<br /> \left[\begin{array}{c}x \\ y \\ z\end{array} \right]<br /> =<br /> \left[\begin{array}{ccc}<br /> a \left[\begin{array}{c}x \\ y \\ z\end{array} \right]<br /> &amp; b \left[\begin{array}{c}x \\ y \\ z\end{array} \right]<br /> &amp; c \left[\begin{array}{c}x \\ y \\ z\end{array} \right]\end{array} \right]<br /> =<br /> \left[\begin{array}{c|c|c}ax &amp; bx &amp; cx \\<br /> ay &amp; by &amp; cy \\<br /> az &amp; bz &amp; cz<br /> \end{array} \right]

Actually, we would drop the partitions in this case: they're more useful for other cases, such as if v happened to be the covector [p q r]:

<br /> \left[\begin{array}{ccc}a &amp; b &amp; c\end{array} \right] \otimes<br /> \left[\begin{array}{ccc}p &amp; q &amp; r\end{array} \right] <br /> =<br /> \left[\begin{array}{ccc|ccc|ccc}<br /> ap &amp; aq &amp; ar &amp; bp &amp; bq &amp; br &amp; cp &amp; cq &amp; cr \end{array}\right]<br />



Mind you, this is all in a coordinate representation: just like with vectors, we can do algebra with tensors without resorting to coordinates.

 

[Mentz114]

This intended to help the fellows above who want to know about covariant and contravariant components. As magister above points out, if the axes of our co-ordinate system are not orthogonal, or are curved, there are two ways of relating a point to an axis. One way is to drop a perpendicular, the other way is to go parallel to another axis. So we have 2 numbers where we had one. These are the contravariant and covariant components. We used to describe a point in 2D with 2 co-ords, x and y, now we have a choice of x (contra), x (covar), y(contra), y (covar).

Now switching notation so super- and subscripts are the dimension ( eg 0=time, 1=x, 2=y etc), if we have 2 points in 2D (X,Y) we have 8 numbers ( n=0,1)

x^n, x_n , y^n, y_n

Luckily the only quantities we can use in physics are products of contravariant and covariant components, so only two sensible choices exist to work with these numbers,

x_m y^m = x_0 y^0 + x_1 y^1

and

x^n y_n

which are the same thing. All the intricacies of tensor analysis follow from the fact that physical quantities are scalars.

I haven't mentioned the metric tensor, to keep it simpler.

 

[CPL.Luke]

I haven't mentioned the metric tensor, to keep it simpler.

hmm I'm intrigued

 

[Mentz114]

Hi CPL - what I've posted is the first step in a journey of a thousand leagues.
B Reimann in the 1840's(roughly) investigated systems where the axes were not straight or orthogonal, realising that concepts like position coords are no longer useful, but that distances could be kept invariant.

I can recommend Stephani's book "General Relativity" as an introduction.

M.

 

[nolanp2]

ok I'm trying to focus on seeing low dimensional tensors in simple instances, such as how tensors would be useful in a force field or something similar. can anybody help me with an example of this?

 

[robphy]

Although it has been raised earlier, it's not clear if you are looking for
a geometric visualization (akin to visualizing a vector as an arrow and vector addition via the parallelogram rule)
or
an organizational typeset visualization (akin to visualizing a vector as a column matrix and vector addition via component-wise addition).

If you are looking for a geometric visualization, did you consult the arxiv.org paper?

 

[Mentz114]

Hi Nolanp2. I don't think visualising tensors helps to understand them.
Thinking about geometry might help. You mention force fields, so I'll give you an example of how and why tensors are used. Consider the equation of motion of a charge in an electric field,

m.a = e(E + v x B ), i.e. mass times acceleration is electric charge times E + v x B, where v is the velocity vector and E and B are electric and magnetic field vectors. x is the vector cross-product.Note that this equation is really 3 equations, one each for x, y and z.
This formula is fine but it is not relativistic. It won't work if you put it in a moving frame of reference.
To make the equation obey special relativity, we go to four dimensions,
t,x,y,z, with stipulation that the time dimension has a negative sign, and
that we multiply all times by c=velocity of light to make them distances.
We can now rewrite the equation in tensor notation,
ma^{\mu} = e F^{\mu\nu}v_{\nu}
which is four equations since \mu can be t,x,y,or z. F is the EM field tensor ( see Wiki for instance).
But the point is that this equation is relativistically covariant, i.e it transforms properly between inertial frames. It's also very elegant.

To do a calculation from this formula, say for x ( mu=1), we expand the tensor to give,
ma^{1} = e F^{10}v_{0} + e F^{11}v_{1} + e F^{12}v_{2} + e F^{13}v_{3}
Note that all the indexes are numbers, and we can plug in the values of the components to get an algebraic differential equation. The tensors are gone.

 

[nolanp2]

as a specific example I'm looking through small oscillations in s dimensions and it gives the formula U= 1/2 SUM[K_(ik)*x_(i)*x_(k)]. is the constant K a tensor in this case and if so what is it doing? need help badly!

 

[Mentz114]

I think this is just using the tensor summation convention. Expand it over all
values of i and k thus,

U = K(0,0)*x(0)*x(0) + K(0,1)*x(0)*x(1) + K(0,2)*x(0)*x(2) + ...

In fact this just matrix multiplication.

All you need now are the values ( components) of K and some x's.

M

 

[nolanp2]

All you need now are the values ( components) of K and some x's.

M

so do the different k values represent different springs (for example) being stretched when one particle connected to them is moved or does it mean a spring is acting different when pulled in different directions? or does a second degree of freedom mean there's a second partcle and the two are connected via springs? in particular what would k_11 or k_22 represent?

 

[nolanp2]

Although it has been raised earlier, it's not clear if you are looking for
a geometric visualization (akin to visualizing a vector as an arrow and vector addition via the parallelogram rule)
or
an organizational typeset visualization (akin to visualizing a vector as a column matrix and vector addition via component-wise addition).

If you are looking for a geometric visualization, did you consult the arxiv.org paper?

it's a geometric interpretation of tensors I'm looking for, i looked at this article but didn't find much useful information on it, it seemed more related to arunma's comment

 

[Mentz114]

It looks as if U is a potential energy of a some system. The different K values are spring constants and the x(i) i=1..s are displacements but I can't
work out the configuration right now. I'll have to think about it.

I've thought about and I think the x's represent displacements from some origin in
the different dimensions. K is the spring tensor, so Kii is the resistance in the
purely dimension i direction, and Kij is the resistance for a combined i, j dimension
direction. If you see what I mean.

The spring tensor is similar to a space metric in geometry, except the x's are infinitessimals.

 

[robphy]

it's a geometric interpretation of tensors I'm looking for, i looked at this article but didn't find much useful information on it, it seemed more related to arunma's comment

Well... let me take a stab at what you may be looking for.
(And while writing this, I see that Mentz114 has the same interpretation.)

Since you provided the example of small oscillations in s-dimensions,
your object K is generally a symmetric tensor: K_{ab}=K_{(ab)} (where K_{(ab)} \equiv \frac{1}{2!} (K_{ab}+K_{ba})), which linearly maps a pair of vectors to the real-numbers. Thus, U is a scalar.

In the special case, K_{ab}=k g_{ab}, where k is a scalar constant and g_{ab} is the metric tensor. In this case, it is like having a single spring. In the more general case, it is like having a system of coupled oscillators.

Geometrically, the symmetric tensor can be pictured as an ellipsoid [in s-dimensions]. (The moment of inertia tensor has a similar interpretation.)

 

[nolanp2]

ok that makes sense, or at least when i think in two dimensions i can make sense of it! thanks to both of you for the help. actually robphy could you give a brief explanation of the last comment about the ellipsoid please? prefferably with s<4!

 

[robphy]

Side detail: K_{ab}x^a x^b=x^a K_{ab} x^b =x_a K^a{}_{b}x^b = \vec x^\top K \vec x

Consider the [level] surface:
1=\vec x^\top K \vec x = <br /> \left(<br /> \begin{array}{ccc}<br /> x &amp; y &amp; z<br /> \end{array}<br /> \right)<br /> \left(<br /> \begin{array}{ccc}<br /> A &amp; D &amp; E\\<br /> D &amp; B &amp; F \\<br /> E &amp; F &amp; C <br /> \end{array}<br /> \right)<br /> \left(<br /> \begin{array}{c}<br /> x \\<br /> y \\<br /> z<br /> \end{array}<br /> \right)<br />

Upon multiplying this out, this is an ellipsoid with axes rotated away from the standard axes. (You can locate these axes by finding the eigenvectors of this matrix [which is associated with "diagonalizing this matrix"].) If the off-diagonal elements are zero, then the ellipsoid is lined up with the standard axes. Further, if these diagonal elements are equal (with the off-diagonal elements zero), then we have a sphere.

 

[Mentz114]

That's neat, Robphy. The diagonal elements do the axis scaling, the off diagonals do the rotations. Very geometric.

 

[venuprasanna]

A mathematician explained to me that the rank of the second rank tensor represents the number of directions.

For example, in case of a stress tensor, stress involves two directions, one that of the force and the normal of the plane in which it is applied.

Scalar doesn't have any direction so rank 0 tensor, Vector has one, thus rank 1 tensor.

I am not sure if this can be extend to higher rank tensors.