1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: Obtaining vector identities

  1. Mar 3, 2009 #1
    1. The problem statement, all variables and given/known data
    The vectors F and G are arbitrary functions of position. Starting w/ the relations F x (∇ x G) and G x (∇ x F), obtain the identity

    ∇(F . G) = (F . ∇)G + (G . ∇)F + F x (∇ x G) + G x (∇ x F)

    2. Relevant equations

    3. The attempt at a solution

    I started off with the relation F x (∇ x G) and used the BAC-CAB rule:

    F x (∇ x G) = ∇(F . G) - (G . ∇)F

    so ∇(F . G = (G . ∇)F + F x (∇ x G) which seems to contradict the identity I am supposed to get. What am I doing wrong?
  2. jcsd
  3. Mar 3, 2009 #2
    you can't apply the BAC-CAB rule here. That was derived for vectors by assuming that A X B = - B X A

    However with the del operator del X A is a vector, but A X del is an operator.....so there's a world of difference
  4. Mar 4, 2009 #3


    User Avatar
    Homework Helper

    The trouble is commuting an opperator adds a commutator term
    In single variable calculus
    D(uv)=uDv+vDu not uDv
    we can use partial opperators to avoid this
    let a opperant in {} be fixed

    ∇(F . G )=∇({F} . G )+∇(F . {G} )
    ∇({F} . G )=Fx(∇xG)+(F.∇)G
    ∇(F . {G} )=Gx(∇xF)+(G.∇)F
    ∇(F . G )=∇({F} . G )+∇(F . {G} )=Fx(∇xG)+(F.∇)G+Gx(∇xF)+(G.∇)F
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook