# Transformation of some formula

There is a transformation:

$$\vec{E}\times\left(\nabla\times\vec{E}\right)= \vec{k}_{i}\epsilon_{ijk}E_j\left(\nabla\times\vec{E}\right)_k= \vec{k}_{i}\epsilon_{jk}E_j\epsilon_{klm}\nabla_l E_m= \vec{k}_i\epsilon_{ijk}\epsilon_{klm}E_j\nabla_l E_m =\vec{k}_i\left(\delta_{il}\delta_{jm}-\delta_{im}\delta_{jl}\right)E_j\nabla_l E_m=$$
$$=\vec{k}_i\delta_{il}\delta_{jm}E_j\nabla_l E_m-\vec{k}_i\delta_{im}\delta_{jl}E_j\nabla_l E_m=\vec{k}_i jE_j\nabla_i E_j-\vec{k}_i E_j\nabla_j E_i={{1}\over{2}}\nabla E^2-\left(\vec{E}\nabla\right)\vec{E}$$

I think it is connected somehow to matrixes, but I do not get it at all. The way how it is done looks quite nice so maybe it is worth to learn this method. Can someone just help me with understanding it?

PS. Sorry if I posted it in a wrong forum, i just do not know where I am supposed to write it...

Cyosis
Homework Helper
With "I do not get it at all" do you mean that you don't understand a single step? It would be nice to narrow it down as much as possible.

Just to check what you know or don't know:

1)Do you know what the Levi-Civita tensor, $\epsilon_{ijk}$?
2)Do you know the Kronecker delta symbol, $\delta_{ij}$?
3)Do you know how to write vectors/cross products in components, index notation?

Last edited:
Just I am not too familiar with this Einstein's notation. Starting from the very first part of this equation:
$$\vec{E}\times\left(\nabla\times\vec{E}\right)= \vec{k}_{i}\epsilon_{ijk}E_j\left(\nabla\times\vec {E}\right)_k$$

So cross product can be written as:
$$\vec{u} \times \vec{v}= u^j v^k (\mathbf{e}_j \times \mathbf{e}_k ) = u^j v^k\epsilon^i_{jk} \mathbf{e}_i$$

I assume we do not care about lower or upper position of indexes? If yes, that would be ok I think.

1) yes, theoretically, but I have never used them so think I have problems with using them "fluently"
2) yes, on a decent level I think
3) same as first

But now:
$$\vec{k}_{i}\epsilon_{jk}E_j\epsilon_{klm}\nabla_l E_m= \vec{k}_i\epsilon_{ijk}\epsilon_{klm}E_j\nabla_l E_m$$
I do not know how this rotation turn into gradient and how to play with this indexes while changing their positions.

Last edited:
Cyosis
Homework Helper
Well in your LHS you lost and index, which I now see you missed in your original equation as well? Is this a typo or intended? Secondly k is a unit vector so it's better to write it with a hat on top of it, or as e_i.

Switching the Levi-Civita symbol and E_j is not a problem at all, realise that these are just numbers inside of a sum.

To make it a bit more clear (hopefully) I will use normal summation instead of Einstein summation:

\begin{align*} \vec{a} \times (\vec{b} \times \vec{c}) & = \sum_{i,j,k} \epsilon_{ijk} \hat{e_i}a_j(\vec{b} \times \vec{c})_k & = \sum_{i,j,k} \epsilon_{ijk} \hat{e_i}a_j \left(\sum_{l,m} \epsilon_{klm}b_l c_m \right) & = \sum_{i,j,k} \sum_{l,m} \epsilon_{ijk} \hat{e_i}a_j \epsilon_{klm}b_l c_m \end{align*}

In the last expression is it clear that you can just rearrange the terms as long as they aren't operators?

Last edited:
Hmm I just copied it from some Wiki-book. If you want to check it by yourself here is the link but it is not in english I am afraid http://pl.wikibooks.org/wiki/Fizyka_matematyczna/Zasady_zachowania_a_twierdzenia_o_właściwościach_pola_elektromagnetycznego [Broken] .

Yes, I must play more with this notation, becouse I think I do not see this changing numbers inside of a sum as I do not see this rot->grad change unfortunately...

Last edited by a moderator:
Cyosis
Homework Helper
That's definitely a mistake from the author. On second thought you mean why the rotation is written as a gradient? I mistook rotation for the swapping around of elements within the sum. So the problem is from the second step to the third step?

Cyosis
Homework Helper
First convince yourself, by writing down all the components, that the k-th component of a cross product can be written as $(\vec{a} \times \vec{b})_k=\epsilon_{klm} a_lb_m$. Einstein summation over the indices l and m implied.

The gradient operator is nothing more than $(\partial_{x_1},\partial_{x_2},\partial_{x_3})$. As a result $$(\nabla \times \vec{a})_k=\epsilon_{klm} \partial_{x_l} a_m=\epsilon_{klm} \nabla_l a_m$$. Differentiation with respect to the l-th coordinate.

Last edited:
I did as you told me to, and this thing:
$(\vec{a} \times \vec{b})_k=\epsilon_{klm} a_lb_m$
Looks for me (almost ofc) like a Laplace determinant expansion with the first versor. It makes more sense now for me.

And rot->grad thing is not so diffcult as it looked like :)

I will try to analyse it one more time and hopefully to the end. Thank you very much for help, especially that such topics are not too easy to explain via forum.

Cyosis
Homework Helper
No problem. The next step, writing a product of Levi-Civita tensors as they sum of the two times the product of two Kronecker deltas is probably the hardest step.

I stucked in the second line.

$$=\vec{k}_i\delta_{il}\delta_{jm}E_j\nabla_l E_m-\vec{k}_i\delta_{im}\delta_{jl}E_j\nabla_l E_m=\vec{k}_i jE_j\nabla_i E_j-\vec{k}_i E_j\nabla_j E_i={{1}\over{2}}\nabla E^2-\left(\vec{E}\nabla\right)\vec{E}$$

I think:
$$\delta_{il}\delta_{jm} = \delta_{im}\delta_{jl} =1$$
But suddenly:
$$\nabla_l E_m=j \nabla_i E_j$$
uh...

Or it is rather:
$$\delta_{il}\delta_{jm}\nabla_l E_m=j \nabla_i E_j$$
$$\delta_{im}\delta_{jl}\nabla_l E_m=E_j\nabla_j E_i$$

Cyosis
Homework Helper
That loose j shouldn't be there, again a mistake from the author. The deltas disappear due to contraction. Lets look at the term $\delta_{jm} E_m$. Now look at the different possibilities. Let $m \neq j$ then $\delta_{jm}=0$, therefore $\delta_{jm} E_m=0$. Let $m= j$ then $\delta_{jm}=1$, therefore $\delta_{jm} E_m=1*E_m=1*E_j=E_j$.

Hehe quite logical!

One last thing I am afraid...
I understand why:
$$\vec{k}_i E_j\nabla_j E_i=\left(\vec{E}\nabla\right)\vec{E}$$

But how:
$$\vec{k}_i E_j\nabla_i E_j={{1}\over{2}}\nabla E^2$$
Why there is 0.5 and where goes the versor k?

Cyosis
Homework Helper
Lets write the i-th component of the gradient as $\partial_{x_i}$again.

Using the Einstein summation convention we get:

$$\hat{e_i}E_j \partial_{x_i} E_j & =\frac{1}{2} \hat{e_i} \partial_{x_i} E_j^2 =\frac{1}{2} \nabla E^2$$

Take a function f(x)^2, then $\partial_x f(x)^2=2 f(x) \partial_{x} f(x)$. This is nothing more than the chain rule.

Last edited:
Oh I see...
But that was I think the most difficult part.
I am glad, however, that I understad it thanks to you of course :)

Cyosis
Homework Helper
You're welcome.

Edit: I overlooked something,$(\vec{E}\nabla)\vec{E}$ should of course be $(\vec{E} \cdot \nabla)\vec{E}$.

Last edited:
Hm yes I think so, and I can trot out that I tried to prove equations from Wiki:
http://en.wikipedia.org/wiki/Vector_calculus_identities
And I can say that I was succesfull in almost every one :) I am still working on some more complicated but it is a matter of time I think.

Cyosis
Homework Helper
Hehe proving all the vector identities using index notation is an excellent way to get the hang of it. Much easier than writing out all the components.