I will devote this article to Cartan’s package.

Assume is a vector field on . The flow of is denoted as . Suppose is diffeomorphism, and its inverse is with push-forward .

**Definition1**: For vector field with flow , the Lie derivative of a tensor is defined as .

**Definition2**: For a vector , define interior product of tensor with vector as , satisfying

.

Cartan’s package is

.

***************************************************************************

1) Assume

**Proof:**

2)

**Proof by induction:**

.

Suppose it holds for , then we can prove it also holds for

3)

**Proof:**

4)

**Proof:**

5)

**Proof: **

due to skey-symmetry.

6)

**Proof:**

7)

**Proof by induction:**

Supppose it holds for , prove it for

****************************************************************************

When we look back, we may find it has many terms on RHS because the manifold is not flat, i.e. the frame is changing with manifold. So when we take derivative, we not only need to differentiate the component of the tensor fields, which is a function of manifold, but also need to differentiate the frame, which also rely on the space point. In the end, we get several terms when we calculate the derivative.

## Leave a Reply