Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Einstein notation stuff

  1. Nov 7, 2006 #1


    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    I'm reading a text on tensor analysis (on R³), and I don't understand the following exemple...


    To pass from the second to the last equality, he commuted the second pair of [itex]x_jx_i[/itex] into [itex]x_ix_j[/itex]. But he can't do that for it then changes radically the nature of P, for if we redistribute the [itex]a_{ij}[/itex], we are no longer summing according to the Einstein notation.

    If what I just said is not clear, consider this. I am asserting that the author did the following in order to pass from the second to the third equality:


    On the LHS, we are summing over j but not in the RHS. So this commutation changes the nature of the expression.
  2. jcsd
  3. Nov 7, 2006 #2

    James R

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    There's no problem commuting [itex]x_i[/itex] with [itex]x_j[/itex], since both of these are just numbers and numbers commute when you multiply them.

    Note also that in the expression [itex]a_{ij} x_i x_j[/itex], you are summing over BOTH i and j, because both have a repeated index.
  4. Nov 7, 2006 #3
    Let's take things slowly and suppose that we're working in Minkowski space, or indeed in [itex]\mathbb{R}^n[/itex]. We suppose that we have some rank-2 tensor with components [itex]a_{ij}[/itex] and a vector with components [itex]x^i[/itex]. Then [itex]P[/itex] is defined by

    [tex]P \equiv \frac{1}{2}\sum_{i,j}(a_{ij} + a_{ji})x_ix_j[/tex]

    Using the Einstein summation convention this is

    [tex]P = \frac{1}{2}(a_{ij} + a_{ji}) x^i x^j[/tex]


    [tex]P = \frac{1}{2}(a_{ij} + a_{ji})x^i x^j
    = \frac{1}{2}(a_{ij} x^i x^j + a_{ji} x^i x^j)
    = \frac{1}{2}(a_{ij} x^i x^j + a_{ij} x^j x^i)
    = \frac{1}{2}a_{ij}(x^i x^j + x^j x^i)

    However, there's no problem setting [itex]x^ix^j=x^jx^i[/itex] since the [itex]x^i[/itex] are just numbers (they are just the components of some vector, not the vector itself). Therefore

    [tex]P = \frac{1}{2}a_{ij}(x^i x^j + x^i x^j)
    = a_{ij}x^i x^j[/tex]

    I think that you might be missing the essential point that since both [itex]i[/itex] and [itex]j[/itex] are repeated indices in the definition of [itex]P[/itex] then they both have to be summed over.
    Last edited: Nov 7, 2006
  5. Nov 7, 2006 #4


    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    Is the rule "As soon as some expression has indices that appear more than once in the expression, summation is implied"?

    Why did you lift up the i and j of the x's? My text does not do that.
  6. Nov 7, 2006 #5
    Einstein's summation convention involves summing over repeated indices. The problem with the passage you quoted above is that all of the indices are `downstairs.' This is a very old-fashioned notation - all modern texts with which I'm familiar use the upstairs-downstairs notation to make it explicitly clear which indices are to be summed over.

    There's also another benefit to using the modern notation. If, for example, I have some quantity [itex]\alpha_i[/itex] and another quantity [itex]x^j[/itex] then

    [tex]\alpha_i x^i[/tex]

    is actually an expression of an inner product between [itex]\alpha[/itex] (which is a one-form) and [itex]x[/itex] (which is a vector). This notation makes a lot of sense because of its generality - it's easily extended to non-trivial manifolds. However, in your case (where you're dealing with [itex]\mathbb{R}^3[/itex]) the distinction between raising and lowering indices is essentially unimportant.
  7. Nov 8, 2006 #6


    User Avatar
    Science Advisor

    In non-Euclidean tensors, the Einstein convention is that if an index appears once as a subscript and once as a superscript, then a summation is implied. Since the original post had everything as subscripts, I suspect the problem is in Euclidean tensors where the metric tensor is trivial.
  8. Nov 9, 2006 #7
    further, latin indices are used, implying that the summation is from 1 to 3, not from 0 to 3 as you would expect in relativity where the super- and sub- scripts are important.
  9. Nov 9, 2006 #8
    That depends on which text you're reading from. Plenty of books (Wald being an obvious example) use latin indices for both spacetime and spatial components. Usually, early latin indices (a,b,c,...) run from 0 to 3 while mid-range indices (i,j,k,...) run from 1 to 3.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook