Let be rotation by ninety degrees in the oriented tangent plane, . In local coordinates seek a curve withThis 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, sinceThe 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
There are currently no matching articles.