Mostrar $\nabla\cdot\left(\mathbf{F}\times\mathbf{G}\right)=\mathbf{G}\cdot(\nabla\times\mathbf{F})-\mathbf{F}\cdot(\nabla\times\mathbf{G})$

Question

La pregunta de la siguiente manera.

Supongamos que $\mathbf{F}$,$\mathbf{G}:\mathbb{R^3}\rightarrow\mathbb{R^3}$ y $\phi:\mathbb{R^3}\rightarrow\mathbb{R}$ son lisas. Mostrar mediante el convenio de sumación de que $$\nabla\cdot\left(\mathbf{F}\times\mathbf{G}\right)=\mathbf{G}\cdot(\nabla\times\mathbf{F})-\mathbf{F}\cdot(\nabla\times\mathbf{G}).$$

Hasta ahora he a $$\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}.$$

Yo estoy bajo la impresión de que esto debería ser $0$ como la ampliación de la $\mathrm{RHS}$ da $2\partial_iF_jG_k\epsilon_{ijk}$. Esto es cierto y es cierto, porque para $\partial_iF_jG_k\ne0$ fib $i=j$ o $i=k$ pero si $i=j$ o $i=k$$\epsilon_{ijk}=0$?

Answer 1

$$ \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 ) $$