(a) Let x=r(s) be a smooth curve parametrised by arc length s. Explain the meaning of the terms in the equation
dsdt=κn,
where κ(s) is the curvature of the curve.
Now let b=t×n. Show that there is a scalar τ(s) (the torsion) such that
dsdb=−τn
and derive an expression involving κ and τ for dsdn.
(b) Given a (nowhere zero) vector field F, the field lines, or integral curves, of F are the curves parallel to F(x) at each point x. Show that the curvature κ of the field lines of F satisfies
F3F×(F⋅∇)F=±κb
where F=∣F∣.
(c) Use (∗) to find an expression for the curvature at the point (x,y,z) of the field lines of F(x,y,z)=(x,y,−z).