Let be rotation by ninety degrees in the oriented tangent plane, . In local coordinates seek a curve with
This smooth second-order ordinary differential equation, written as a first-order system for , has a unique local solution with the specified initial position and velocity. Its speed is constant, since
The initial speed is one, so the parameter is arc-length and the signed geodesic curvature is . Conversely every requested curve satisfies this system, which proves the claimed uniqueness as well as existence on some .

Articles by others on the same topic (0)

There are currently no matching articles.