1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Proving vector identities with index notation (help with the del operator)

  1. Apr 10, 2010 #1
    1. The problem statement, all variables and given/known data

    Prove the vector identity: [tex]\left(a\times\nabla\right)\bullet\left(u \times v\right)=\left(a \bullet u \right)\left(\nabla \bullet v \right)+\left(v \bullet \nabla \right)\left(a \bullet u \right)-\left(a \bullet v \right)\left(\nabla \bullet u \right)-\left(u \bullet\nabla\right)\left(a \bullet v \right)[/tex]
    Where a, u, and v are vectors (and a is a "constant vector")

    2. Relevant equations


    3. The attempt at a solution

    Okay, so in index notation I've gotten the left-hand side as...

    Which, since the dot product on the RHS is commutative, it seems that the RHS is just twice the LHS I've come up with in index notation. What am I missing here? Is there some weird property of the del operator in index notation that I can just double the terms?
  2. jcsd
  3. Apr 10, 2010 #2


    User Avatar
    Homework Helper

    I haven't checked your calculation for the LHS, but [itex]\nabla \cdot v \neq v \cdot \nabla[/itex]. So you can't just add them together,
  4. Apr 10, 2010 #3
    Okay well then it seems I'm even more thoroughly confused than I originally thought. I still think I have the LHS correct but I'm not entirely sure about using the gradient/del in index notation. Does it matter if you move it around within the term? Such as, are the following terms equivalent:
    [tex]a_{l}\partial_{m}u^{l}v^{m}=a_{l}u^{l}\partial_{m}v^{m}[/tex] ? Or does the order you write the stuff in matter when the del operator is involved?

    I think what has really confused me is when you have a dot product with a del operator on the outside, that somehow results in one of the vectors times the partial derivative of the other plus the other vector times the partial derivative of the other. Help?
  5. Apr 10, 2010 #4


    User Avatar
    Homework Helper
    Gold Member

    Keep in mind that [itex]\partial_m[/itex] is a differential operator, and so order of operations and brackets are important. For example, [itex]\partial_m\left[f(x_1,x_2,x_3)g(x_1,x_2,x_3)\right]=(\partial_m f)g+f(\partial_m g)[/itex].
  6. Apr 10, 2010 #5


    User Avatar
    Homework Helper

    Don't let the indices get to you it is just the product rule. Also keep in mind that the exercise states that a is a constant vector. Without that fact you won't be able to prove the identity.

    If you did everything correctly you get [itex]a_m\partial_n(u_mv_n)-a_n \partial_m(u_mv_n)[/itex] before using the product rule on the LHS.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook