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

  • Thread starter Thread starter cristina89
  • Start date Start date
  • Tags Tags
    Proof
Click For Summary

Homework Help Overview

The discussion revolves around proving that the cross product of the gradients of two differentiable scalar fields, \( \nabla f \times \nabla g \), is solenoidal. Participants are exploring the conditions under which a vector field is considered solenoidal.

Discussion Character

  • Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • Participants discuss the requirement that \( \nabla \cdot (\nabla f \times \nabla g) \) must equal zero to establish that the vector field is solenoidal. There is a question about why the expression simplifies to zero.

Discussion Status

Some participants have provided insights into relevant identities of the del operator, such as \( \nabla \times \nabla f = 0 \), which may guide the proof. However, there is no explicit consensus on the proof's details or resolution of the questions raised.

Contextual Notes

Participants are encouraged to show their work and reasoning as they explore the proof, indicating a collaborative approach to understanding the problem.

cristina89
Messages
29
Reaction score
0
Be f and g two differentiable scalar field. Proof that ([itex]\nabla[/itex]f) x ([itex]\nabla[/itex]g) is solenoidal.
 
Physics news on Phys.org
cristina89 said:
Be f and g two differentiable scalar field. Proof that ([itex]\nabla[/itex]f) x ([itex]\nabla[/itex]g) is solenoidal.

Show what you've done so far. What would you do to show a vector field is solenoidal?
 
Dick said:
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 [itex]\nabla[/itex] [itex]\cdot[/itex] ([itex]\nabla[/itex]f x [itex]\nabla[/itex]g) needs to be 0.

So,

[itex]\nabla[/itex] [itex]\cdot[/itex] ([itex]\nabla[/itex]f x [itex]\nabla[/itex]g) = [itex]\nabla[/itex]g [itex]\cdot[/itex] ([itex]\nabla[/itex] x [itex]\nabla[/itex]f) - [itex]\nabla[/itex]f [itex]\cdot[/itex] ([itex]\nabla[/itex] x [itex]\nabla[/itex]g)

Right? But why is this equal to zero?
 
Last edited:
I like Serena said:
Welcome to PF, cristina89! :smile:

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!
 

Similar threads

  • · Replies 26 ·
Replies
26
Views
3K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 26 ·
Replies
26
Views
3K
Replies
1
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
22
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
5
Views
2K