Paper 4, Section II, G

Differential Geometry
Part II, 2014

Let I=[0,l]I=[0, l] be a closed interval, k(s),τ(s)k(s), \tau(s) smooth real valued functions on II with kk strictly positive at all points, and t0,n0,b0\mathbf{t}_{0}, \mathbf{n}_{0}, \mathbf{b}_{0} a positively oriented orthonormal triad of vectors in R3\mathbf{R}^{3}. 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 t(s),n(s),b(s)\mathbf{t}(s), \mathbf{n}(s), \mathbf{b}(s) for sIs \in I satisfying the differential equations

t=kn,n=ktτb,b=τn\mathbf{t}^{\prime}=k \mathbf{n}, \quad \mathbf{n}^{\prime}=-k \mathbf{t}-\tau \mathbf{b}, \quad \mathbf{b}^{\prime}=\tau \mathbf{n}

with initial conditions t(0)=t0,n(0)=n0\mathbf{t}(0)=\mathbf{t}_{0}, \mathbf{n}(0)=\mathbf{n}_{0} and b(0)=b0\mathbf{b}(0)=\mathbf{b}_{0}, and that {t(s),n(s),b(s)}\{\mathbf{t}(s), \mathbf{n}(s), \mathbf{b}(s)\} forms a positively oriented orthonormal triad for all sIs \in I. Assuming this fact, consider α:IR3\alpha: I \rightarrow \mathbf{R}^{3} defined by α(s)=0st(t)dt\alpha(s)=\int_{0}^{s} \mathbf{t}(t) d t; show that α\alpha defines a smooth immersed curve parametrized by arc-length, which has curvature and torsion given by k(s)k(s) and τ(s)\tau(s), and that α\alpha is uniquely determined by this property up to rigid motions of R3\mathbf{R}^{3}. Prove that α\alpha is a plane curve if and only if τ\tau is identically zero.

If a>0a>0, calculate the curvature and torsion of the smooth curve given by

α(s)=(acos(s/c),asin(s/c),bs/c), where c=a2+b2\alpha(s)=(a \cos (s / c), a \sin (s / c), b s / c), \quad \text { where } c=\sqrt{a^{2}+b^{2}}

Suppose now that α:[0,2π]R3\alpha:[0,2 \pi] \rightarrow \mathbf{R}^{3} is a smooth simple closed curve parametrized by arc-length with curvature everywhere positive. If both kk and τ\tau are constant, show that k=1k=1 and τ=0\tau=0. If kk is constant and τ\tau is not identically zero, show that k>1k>1. Explain what it means for α\alpha to be knotted; if α\alpha is knotted and τ\tau is constant, show that k(s)>2k(s)>2 for some s[0,2π]s \in[0,2 \pi]. [You may use standard results from the course if you state them precisely.]