Need help proving vector identities

Click For Summary
SUMMARY

The discussion centers on proving the vector identity ∇x(FxG)=(G⋅∇)F-(F⋅∇)G+F(∇⋅G)-G(∇⋅F), where F and G are vector fields defined as F=F1,F2,F3 and G=G1,G2,G3. A participant suggests using the Levi-Civita symbol ε_{ijk} as an effective method for proving such identities. The conversation also explores the implications of G being a constant vector while F remains variable, raising questions about the equality of (G⋅∇)F and F(∇⋅G).

PREREQUISITES
  • Understanding of vector calculus, specifically vector fields and operations like the curl and divergence.
  • Familiarity with the Levi-Civita symbol ε_{ijk} and its applications in vector identities.
  • Knowledge of scalar multiplication and cross product operations in three-dimensional space.
  • Basic principles of differential operators such as ∇ (nabla).
NEXT STEPS
  • Study the properties and applications of the Levi-Civita symbol ε_{ijk} in vector calculus.
  • Learn about the implications of vector field constancy on differential operations.
  • Research the derivation and applications of vector identities in physics and engineering contexts.
  • Explore advanced topics in vector calculus, including the use of curl and divergence in fluid dynamics.
USEFUL FOR

Students and professionals in mathematics, physics, and engineering who are working with vector calculus and need to understand vector identities and their proofs.

dooogle
Messages
20
Reaction score
0

Homework Statement



i have to prove that

∇x(FxG)=(G⋅∇)F-(F⋅∇)G+F(∇⋅G)-G(∇⋅F)

where F and G are vector fields with F=F1,F2,F3 and G=G1,G2,G3 ∇=d/dx,d/dy/d/dz

Homework Equations



The Attempt at a Solution



i have tried applying scalar multiplication and the cross product to multiply out the terms
and have got the right hand side as twice the left hand side.

is (G⋅∇)F equal to F(∇⋅G)?

thank you for your time

dooogle
 
Physics news on Phys.org
Do you know about the completely antisymmetric or Levi-Civita symbol \epsilon_{ijk}? This is by far the easiest way I know to prove this sort of identity.

dooogle said:
is (G⋅∇)F equal to F(∇⋅G)?

What if G is a constant vector and F is not?
 

Similar threads

Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
Replies
4
Views
2K
Replies
6
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 2 ·
Replies
2
Views
11K
Replies
8
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K