The product rules are much more difficult. We have two ways of making a
scalar product -
and
. We can make two vector
products as well -
and
(note that we will not
worry about the ``pseudo'' character of the cross product unless it
matters to the point we are trying to make). There are as it turns out
six different product rules!
The first is obvious and simple, the second is difficult to prove but important to prove as we use this identity a fair bit. Note well that:
We have two divergence rules:
The first is again fairly obvious. The second one can easily be proven
by distributing the divergence against the cross product and looking for
terms that share an undifferentiated component, then collecting those
terms to form the two cross products. It can almost be interpreted as
an ordinary product rule if you note that when you pull
``through''
you are effectively changing the order of the cross
product and hence need a minus sign. The product has to be
antisymmetric in the interchange of
and
, so there has
to be a sign difference between the otherwise symmetric terms from
distributing the derivatives.
Finally, we have two curl rules:
The first is again rememberable as the usual product rule but with a
minus sign when we pull
to the other side of
. The second
one is nasty to prove because there are so very many terms in the fully
expanded curl of the cross-product that must be collected and
rearranged, but is very useful. Note that in electrodynamics we will
often be manipulating or solving vector partial differential equations
in contexts where e.g.
or
, so
several of these terms might be zero.