Write , , and . On the jet space of a scalar ordinary differential equation, definewhere the total derivative operator isThe order- prolongation of a vector field is
In the coordinates , the given action of the special orthogonal group isDifferentiating at gives the infinitesimal generator of a Lie point symmetryso and . The recursive formula givesandTherefore the second prolongation of the rotation generator for plane graphs is
For ,which vanishes when . Forwe obtainwhich likewise vanishes on the equation. This is the infinitesimal invariance criterion for both equations.
Geometrically, describes straight lines. The signed curvature of a plane graph isso the second equation says and describes consistently oriented arcs of unit circles. Rotation preserves straight lines, circles, and signed curvature, explaining both invariances.
Articles by others on the same topic
There are currently no matching articles.