Proving Identity of $\nabla \times (\nabla \times F)$

[Benny]

Hi, I am having an immense amount of trouble trying to show that the following identity is true.

Q. Let F be a C^2 vector field. Prove that

\nabla \times \left( {\nabla \times \mathop F\limits^ \to } \right) = \nabla \left( {\nabla \bullet \mathop F\limits^ \to } \right) - \nabla ^2 \mathop F\limits^ \to

Firstly, I know that this can be done by using the definitions to find the ith component of the LHS. However, the use of this method requires something to be noted about the curl of a vector field and since I don't understand how one can just somehow notice that, I will not use this method.

I attempted this question by using:

<br /> \nabla \times \mathop F\limits^ \to = \sum\limits_{i = 1}^3 {\mathop {e_i }\limits^ \to \times \partial _i \mathop F\limits^ \to } <br />

<br /> \nabla \bullet \mathop F\limits^ \to = \sum\limits_{i = 1}^3 {\mathop {e_i }\limits^ \to \bullet \partial _i \mathop F\limits^ \to } <br />

<br /> \nabla ^2 \mathop F\limits^ \to = \sum\limits_{i = 1}^3 {\partial _i ^2 \mathop F\limits^ \to } <br />

where e_i is the usual basis vector, the d_i is the ith first order partial derivative.

Using the above I proceeded as follows.

<br /> \nabla \times \left( {\nabla \times \mathop F\limits^ \to } \right) = \nabla \times \left( {\sum\limits_{i = 1}^3 {\mathop {e_i }\limits^ \to \times \partial _i \mathop F\limits^ \to } } \right)<br />

<br /> = \sum\limits_{j = 1}^3 {\sum\limits_{i = 1}^3 {\left( {\mathop {e_j }\limits^ \to \times \left( {\mathop {e_j }\limits^ \to \times \partial _j \partial _i \mathop F\limits^ \to } \right)} \right)} } <br />

<br /> = \sum\limits_{j = 1}^3 {\sum\limits_{i = 1}^3 {\left( {\mathop {e_j }\limits^ \to \bullet \partial _j \partial _i \mathop F\limits^ \to } \right)} } \mathop {e_i }\limits^ \to - \sum\limits_{j = 1}^3 {\sum\limits_{i = 1}^3 {\left( {\mathop {e_j }\limits^ \to \bullet \mathop {e_i }\limits^ \to } \right)} } \partial _j \partial _i \mathop F\limits^ \to <br />

Where I have used the vector triple product.

<br /> = \sum\limits_{j = 1}^3 {\sum\limits_{i = 1}^3 {\left( {\mathop {e_j }\limits^ \to \bullet \partial _j \partial _i \mathop F\limits^ \to } \right)} } \mathop {e_i }\limits^ \to - \sum\limits_{j = 1}^3 {\sum\limits_{i = 1}^3 {\partial _j ^2 \mathop F\limits^ \to } } <br /> since the second sum kind of disappears when i and j are not equal and when i and j are equal the dot product is equal to one.

<br /> = \sum\limits_{j = 1}^3 {\sum\limits_{i = 1}^3 {\left( {\mathop {e_j }\limits^ \to \bullet \partial _j \partial _i \mathop F\limits^ \to } \right)} } \mathop {e_i }\limits^ \to - \nabla ^2 \mathop F\limits^ \to <br />

At this point I'm having trouble trying to get a div in there somewhere. Is there anything I can do with the stuff inside the remaining double sum? Any help would be good thanks.

 

[greytomato]

notice that the LHS equals to:

[ F'yz - F'zy , F'xz - F'zx , F'xy - F'yx ]
in differential math, F'ab = F'ba (where a,b = x,y,z)
so you get [0 , 0 , 0] on the LHS.
hope this helps...

 

[robphy]

Benny, your notation is not familiar to me. (What is the first term in your summation for the curl?) What would your notation for the gradient of scalar field be? Are you familiar with the alternating epsilon notation?

notice that the LHS equals to:

[ F'yz - F'zy , F'xz - F'zx , F'xy - F'yx ]
in differential math, (where a,b = x,y,z)
so you get [0 , 0 , 0] on the LHS.
hope this helps...

If the LHS were identically zero, then (for example) the usual derivation to obtain the wave equation from the Maxwell Equations would fail.

Note that F'ab = F'ba (which appears to be the equality of mixed partials) is true when the object whose mixed-partial-derivatives are being taken is a scalar field.

 

[Benny]

<br /> \nabla \times \mathop F\limits^ \to = \sum\limits_{i = 1}^3 {\mathop {e_i }\limits^ \to \times } \partial _i \mathop F\limits^ \to <br />

So if i = 1 then e_i = e_1 = (1,0,0) and \partial _i \mathop F\limits^ \to = \partial _1 \mathop F\limits^ \to = \frac{{\partial \mathop F\limits^ \to }}{{\partial x_i }}.

The gradient of a scalar field would be \nabla f = \sum\limits_{i = 1}^n {\mathop {e_i }\limits^ \to } \partial _i f.

In any case I think I've got it now but it involved moving the squiggly d's around a bit.

 

[nizi]

FYA
Allowing summation convention,
\nabla \times \left( {\nabla \times \mathop F\limits^ \to } \right)
= \frac{\partial}{\partial x^{i}} \mathop {e_i }\limits^ \to \times \left( {\frac{\partial}{\partial x^{j}} \mathop {e_j }\limits^ \to \times \mathop F\limits^ \to } \right)
= \frac{\partial}{\partial x^{i}} \frac{\partial}{\partial x^{j}} \left( { \mathop {e_i }\limits^ \to \times \left( { \mathop {e_j }\limits^ \to \times \mathop F\limits^ \to } \right) } \right)
= \frac{\partial}{\partial x^{i}} \frac{\partial}{\partial x^{j}} \left( { \mathop {e_j }\limits^ \to \left( { \mathop F\limits^ \to \bullet \mathop {e_i }\limits^ \to } \right) - \mathop F\limits^ \to \left( { \mathop {e_i }\limits^ \to \bullet \mathop {e_j }\limits^ \to } \right) } \right)
= \mathop {e_j }\limits^ \to \frac{\partial^{2} F_i}{\partial x^{i} \partial x^{j}} - \frac{\partial^{2} \mathop F\limits^ \to}{\partial x^{i} \partial x^{j}} \delta_{ij}
= \mathop {e_j }\limits^ \to \frac{\partial}{\partial x^{j}} \left( { \frac{\partial F_i}{\partial x^{i}} } \right) - \frac{\partial^{2} \mathop F\limits^ \to}{\partial x^{i} \partial x^{i}}
= \nabla \left( { \nabla \bullet \mathop F\limits^ \to } \right) - \nabla \bullet \left( { \nabla \otimes \mathop F\limits^ \to } \right)
where
\nabla \bullet \left( { \nabla \otimes \mathop F\limits^ \to } \right) = \nabla^{2} \mathop F\limits^ \to

 

[Benny]

I can't believe this thread was revived after well over a year. It brings back memories though. This was one of the problems I was struggling on while working through my problem booklet.

Since then I've learned to use the summtation convention and I can get the answer out in a few lines without going to double sums! Although I think the notation I use is slightly different to yours.

 

[nizi]

I happened to find this thread while searching for 'vector identity'.
I would appreciate if you show the slight difference for my study in your spare time.
Thank you in advance.

 

[Benny]

There isn't much difference, it's just that I've been using cartesian tensor methods and an identity involving the epsilon and delta tensors to do problems with with cross products. I won't have much free time in the next few weeks so if you're interested in different notations my suggestion would be to just look them up in books.