Paper 4, Section II, G
Let be a closed interval, smooth real valued functions on with strictly positive at all points, and a positively oriented orthonormal triad of vectors in . An application of the fundamental theorem on the existence of solutions to ODEs implies that there exists a unique smooth family of triples of vectors for satisfying the differential equations
with initial conditions and , and that forms a positively oriented orthonormal triad for all . Assuming this fact, consider defined by ; show that defines a smooth immersed curve parametrized by arc-length, which has curvature and torsion given by and , and that is uniquely determined by this property up to rigid motions of . Prove that is a plane curve if and only if is identically zero.
If , calculate the curvature and torsion of the smooth curve given by
Suppose now that is a smooth simple closed curve parametrized by arc-length with curvature everywhere positive. If both and are constant, show that and . If is constant and is not identically zero, show that . Explain what it means for to be knotted; if is knotted and is constant, show that for some . [You may use standard results from the course if you state them precisely.]