Use Cartan's magic formula. The exterior derivative and interior product of a differential form giveThus , and the first two components cancel:The rotation in the -plane leaves invariant, while the dilation in doubles the infinitesimal weight of , providing a geometric check of this Lie derivative.
Integrating the two vector fields gives their complete flow maps:The first is a simultaneous rotation about the z-axis through angle and a dilation by in the -direction. The second is an isotropic dilation about the origin. Both satisfy the group law for all real and have inverse given by time . In particular is not a pure rotation unless restricted to the plane .
The Jacobian determinant of is , while every coordinate and every coordinate differential is multiplied by under . Hence the pullback of a differential form operation givesTo compare directly with Cartan's magic formula, note and computeThe first two differentiated terms vanish because their coordinate differentials repeat; the last contributes . AlsoTheir sum is , as required. Equivalently the divergence of relative to the standard volume form is one.
Articles by others on the same topic
There are currently no matching articles.