# Vector identity proof using index notation

1. Sep 15, 2010

### baffledboy

1. The problem statement, all variables and given/known data
Using index notation to prove

$$\vec{\nabla}\times\left(\vec{A}\times\vec{B}\right) = \left(\vec{B}\bullet\vec{\nabla}\right)\vec{A} - \left(\vec{A}\bullet\vec{\nabla}\right)\vec{B} + \vec{A}\left(\vec{\nabla}\bullet\vec{B}\right) - \vec{B}\left(\vec{\nabla}\bullet\vec{A}\right)$$

2. Relevant equations
--?

3. The attempt at a solution
I tried converting the right side first...
$$B_{a}A_{k,a}-A_{a}B{k,a}+A_{a}\epsilon_{abc}B_{b,c}-$$$$B_{a}\epsilon_{abc} A_{b,c}$$

but i don't really know if this is right... i'm very very new to the index notation system. i don't really understand the rules beyond the basics. will someone please give me some clue as to where to go from here?

2. Sep 15, 2010

### ystael

Systems of index notation vary, so you may need to give a reference or a description of your system. Using the index notation I know, the del operator is written $$\partial_a$$, so the right side becomes $$B^b \partial_b A^a - A^b \partial_b B^a + A^a \partial_b B^b - B^a \partial_b A^b$$, and the left side becomes $$\mathbf{\nabla}\times \epsilon_{abc} A^b B^c = \epsilon^{ade} \partial_d \epsilon_{ebc} A^b B^c$$. From there, try to figure out how to contract the epsilons on the left against each other. You definitely shouldn't have any epsilons on the right side, because all you have is dot products, they're not antisymmetric.

3. Sep 16, 2010

### baffledboy

Thanks for your response. I'm not sure what system the professor is using. He doesn't use superscripts at all and uses commas for derivatives. He didn't give a name for it other than "index notation" though.

is it okay to just change $$\epsilon_{ade}\partial_{d}\epsilon_{ebc}A_{b}B_{c}$$ to $$\epsilon_{ade}\epsilon_{ebc}\partial_{d}A_{b}B_{c}$$ or does this mess with the meaning?

Last edited: Sep 16, 2010
4. Sep 16, 2010

### vela

Staff Emeritus
That's fine. It's what makes index notation so useful in deriving identities like this.

5. Sep 16, 2010

### baffledboy

okay, so I've got

$$\epsilon_{ade}\epsilon_{ebc}\partial_{d}A_{b}B_{c} = \left(\delta_{ab}\delta_{dc}-\delta_{ac}\delta_{db}\right)\partial_{d}A_{b}B_{c} = \partial_{d}A_{a}B_{d}-\partial_{d}A_{d}B_{a} = \vec{A}\left(\vec{\nabla}\bullet\vec{B}\right)-\left(\vec{\nabla}\bullet\vec{A}\right)\vec{B}$$

but I can't figure out how to get that to have four terms, like on the right... It seems like I'm missing something here. Do I just keep adding onto terms in the second part with A, B, & del in different orders until I get something that looks right?

6. Sep 16, 2010

### vela

Staff Emeritus
You have to be a bit more careful. Remember the derivative acts on the product of Aa and Bc, so you need to use the product rule before you can simplify the indices using the Kronecker deltas.