Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Question as follows.

Suppose that $\mathbf{F}$,$\mathbf{G}:\mathbb{R^3}\rightarrow\mathbb{R^3}$ and $\phi:\mathbb{R^3}\rightarrow\mathbb{R}$ are smooth. Show using the summation convention that $$\nabla\cdot\left(\mathbf{F}\times\mathbf{G}\right)=\mathbf{G}\cdot(\nabla\times\mathbf{F})-\mathbf{F}\cdot(\nabla\times\mathbf{G}).$$

So far I have $$\mathrm{LHS}=\partial_i\mathbf{e}_i\cdot\left(F_j\mathbf{e}_j\times G_k\mathbf{e}_k\right)=\partial_i\mathbf{e}_i\cdot(F_j G_k \epsilon_{jki}\mathbf{e}_i)=\partial_iF_jG_k\epsilon_{ijk}.$$

I'm under the impression that this should be $0$ as expanding the $\mathrm{RHS}$ gives $2\partial_iF_jG_k\epsilon_{ijk}$. Is this true and is it true because for $\partial_iF_jG_k\ne0$ iff $i=j$ or $i=k$ but if $i=j$ or $i=k$ then $\epsilon_{ijk}=0$?

share|cite|improve this question
Remember that the left-hand side needs the product rule - the partial derivative $\partial_i$ does not commute with $F_j$ and $G_k$ – Michael Jun 23 '13 at 6:48
So I don't even need the condition $i=k$? Saying that $i=j\Rightarrow \epsilon_{ijk}=0$ is enough? – jamesh625 Jun 23 '13 at 7:04
No, $\partial_i(F_jG_k)=F_{j,i}G_k+F_jG_{k,i}$, where the comma means the partial derivative. – Michael Jun 23 '13 at 7:11

$$ \nabla \cdot \left ( \mathbf F \times \mathbf G\right ) = \left( \mathbf F \times \mathbf G\right )_{i,i} = \left ( e_{ijk} F_j G_k\right )_{,i} = e_{ijk}F_{j,i}G_k + e_{ijk}F_j G_{k,i} = \\ = G_k e_{kij}F_{j,i} + F_j e_{jki} G_{k,i} = G_k e_{kij}F_{j,i} - F_j e_{jik} G_{k,i} = \\ = G_k \left (\nabla \times \mathbf F \right )_k - F_j \left( \nabla \times \mathbf G\right )_j = \mathbf G \cdot \left (\nabla \times \mathbf F \right ) - \mathbf F \cdot \left( \nabla \times \mathbf G\right ) $$

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.