Proof: $(\nabla f \times \nabla g)$ is Solenoidal

[cristina89]

Be f and g two differentiable scalar field. Proof that (\nablaf) x (\nablag) is solenoidal.

 

[Dick]

Be f and g two differentiable scalar field. Proof that (\nablaf) x (\nablag) is solenoidal.

Show what you've done so far. What would you do to show a vector field is solenoidal?

 

[cristina89]

Show what you've done so far. What would you do to show a vector field is solenoidal?

Well, to be solenoidal, I know that \nabla \cdot (\nablaf x \nablag) needs to be 0.

So,

\nabla \cdot (\nablaf x \nablag) = \nablag \cdot (\nabla x \nablaf) - \nablaf \cdot (\nabla x \nablag)

Right? But why is this equal to zero?

 

[I like Serena]

Welcome to PF, cristina89!

Did you know that $\nabla \times \nabla f = 0$ for any differential scalar field f?

It is one of the non-trivial identities of the del operator.
See for instance: http://en.wikipedia.org/wiki/Curl_(mathematics)#Identities

 

[cristina89]

Welcome to PF, cristina89!

Did you know that $\nabla \times \nabla f = 0$ for any differential scalar field f?

It is one of the non-trivial identities of the del operator.
See for instance: http://en.wikipedia.org/wiki/Curl_(mathematics)#Identities

Thank you so much!