Reynolds Transport Theorem for Smooth Deformations of Currents on Manifolds

The Reynolds transport theorem for the rate of change of an integral over an evolving domain is generalized. For a manifold $B$, a differentiable motion $m$ of $B$ in the manifold $\mathcal{S}$, an $r$-current $T$ in $B$, and the sequence of images $m(t)_{\sharp}T$ of the current under the motion, we consider the rate of change of the action of the images on a smooth $r$-form in $\mathcal{S}$. The essence of the resulting computations is that the derivative operator is represented by the dual of the Lie derivative operation on smooth forms.