[math, computation] vector calculus identities with symbolic computation :Ep2-Computation

As i noticed in my former post, at this post we will see the equations in detail.

where A,B are vectors and f,g are scalar.

Here we will derive these 16 equation one by one. If you are familiar with its symbol and definition of inner product and cross product it is just nothing but a computation.

---

• 1

Using the properties of determinant which its value is invariant under the exchange of odd number of rows or columns

• 2

Using the two products of Levi-civita symbol with one repeated index

• 3

First let me write down the form of curl and divergence

Then automatically from symmetric argument (since partial derivatives commutes) we have

• 4

Note f is scalar, since gradient of scalar reproduce a vector we can write, and again with same reason in 3

• 5

Using the two products of Levi-civita symbol with one repeated index

• 6

Using product rule,

• 7
  re-labeling the index properly and using the two products of Levi-civita symbol with one repeated index

• 8
  using product rule
  

• 9
  using product rule and the definition of cross product
  

• 10
  using product rule, definition of cross product and the two products of Levi-civita symbol with one repeated index

• 11
  using product rule, definition of cross product and the two products of Levi-civita symbol with one repeated index

• 12

using the definition of cross product and the two products of Levi-civita symbol with one repeated index

• 13

• 14
  From the determinant property which det(A) = det(A^T),
  

• 15
  It naturally comes from equation 13 and the properties of cross product, i.e.,

• 16

Now i guess you can do the other vector calculus identities via the same process