Lie derivative of forms

Let $X$ be a vector field and $ϕ$ its flow. Let $α$ be a $p$ -form, we define:

L_{X} (α) = \frac{d}{d t} {[ϕ_{t}^{*} α^{}]}_{t = 0} = lim_{t \to 0} \frac{ϕ_{t}^{*} α_{ϕ_{t} x} - α_{x}}{t}

in the sense that

[\frac{d}{d t} ϕ_{t}^{*} α^{}] (Y_{1}, \dots, Y_{p}) =

= \frac{d}{d t} [ϕ_{t}^{*} α^{} (Y_{1}, \dots, Y_{p})] = \frac{d}{d t} |_{t = 0} {α^{} [ϕ_{t *} Y_{1}, \dots, ϕ_{t *} Y_{p}]}

More explicitly:

(L_{X} α)_{q} (\partial_{x_{i, q}}) = \frac{d}{d t} |_{t = 0} (ϕ_{t}^{*} α_{\bar{q}}) (\partial_{x_{i, q}}) = \frac{d}{d t} |_{t = 0} α_{\bar{q}} ((ϕ_{t})_{*} (\partial_{x_{i, q}}))

where $\bar{q} = ϕ_{t} (q)$ .

If we define vector fields $Y_{i}$ extending the previous vectors in a invariant way respect to the flow $ϕ$ , that is, $Y_{i} (ϕ_{t} x) = ϕ_{t *} Y_{i}$ then

L_{X} α^{} (Y_{1}, \dots, Y_{p}) = \frac{d}{d t} {[α_{ϕ_{t} x}^{} (Y_{1}, \dots, Y_{p})]}_{t = 0}

That is, the Lie derivative of a $p$ -form measure the rate of change along the flow of $X$ of the $p$ -form applied to invariant vector fields along $X$ .
It can be generalized to Lie derivative for tensors in general.

Useful formulas: formulas for Lie derivative, exterior derivatives, bracket, interior product.

Components in the canonical coframe: Lie derivative of a 1-form in the canonical coframe.

Proposition
A differential $k$ -form $ω$ on $M$ is invariant under the flow of a vector field $X$ , i.e.,

{ω |}_{\exp (ε X) x} = \exp (- ε X)^{*} ({ω |}_{x})

if and only if $L_{X} (ω) = 0$
$◼$

Proof
See @olver86 proposition 1.65.
$◼$

Especial case: the Lie derivative of a volume form leads to the idea of divergence.