Theorem
Curves and the Frenet-Serret formulas
Adapted
Attaches to a space curve of nonvanishing curvature an orthonormal moving frame , derives the three Frenet-Serret formulas that express its rate of turning through the curvature and the torsion alone, and states the fundamental theorem that and determine the curve up to a rigid motion, with the uniqueness half proved here.
Prerequisites: Partial derivatives and the chain rule, Vector algebra and index notation, Line integrals and conservative fields, Existence and uniqueness of solutions
Let be an open interval. A regular parametrized curve is a map with continuous derivatives of every order and for all .
- Its arc length measured from is (line integrals). Since , the function has a smooth inverse , and traces the same set with . We call the unit-speed (or arc-length) parametrization, and write .
- The unit tangent is . Differentiating gives , so . The curvature is and is the radius of curvature.
- Standing hypothesis. From here on for every . (A point with is what do Carmo calls a singular point of order ; the frame below is not defined there.) The principal normal is then the unit vector fixed by and the binormal is . The ordered triple is an orthonormal right-handed basis of at each , the Frenet trihedron.
- The plane through spanned by and is the osculating plane; the plane spanned by and is the normal plane, and the one spanned by and the rectifying plane.
- The torsion is the number defined by which the statement below shows to be well defined. Where , is the radius of torsion.
Sign convention. We follow Riley, Hobson and Bence, who set . do Carmo defines torsion by , with no minus sign, and warns in the same paragraph that authors differ; his is therefore the negative of ours. Every formula below is written in our convention, and the two places where the difference shows (the third Frenet formula and the sign in the arbitrary-parameter formula for ) are flagged again in the remark.
Let be a unit-speed curve with throughout, and let be its Frenet trihedron.
- (Torsion is well defined.) is a scalar multiple of , so there is exactly one function with , and is smooth.
- (Frenet-Serret formulas.) Equivalently, the matrix of the map in the frame itself is skew-symmetric with entries and only.
- (Plane curves.) If throughout, then on if and only if lies in a plane.
- (do Carmo's fundamental theorem for curves.) Let and be smooth on . Then there is a unit-speed curve whose arc length is , whose curvature is and whose torsion is . Any other curve with the same and differs from it by a rigid motion: there are an orthogonal linear map of with and a vector with .
do Carmo states part 4 with his own sign for . The statement is unaffected by the convention, because the data ranges over all smooth real-valued functions either way: a curve realizing in his convention realizes in ours.
Each of the three frame vectors has constant length , so each derivative is orthogonal to the vector itself; that alone forces the matrix of derivatives in the frame to be skew-symmetric, leaving only three independent entries. Two of them are named and by definition. The third, the -component of , is not a new quantity: differentiating and using makes it vanish. So the local geometry is controlled by exactly two scalar functions. The uniqueness half of the fundamental theorem then follows by a stability argument: move one curve by a rigid motion until the two frames agree at a single point, and watch the total squared discrepancy ; the Frenet formulas make its derivative cancel identically, so it stays at its initial value .
Part 1. is a unit vector, so differentiating gives : the derivative has no -component. For the -component, differentiate by the product rule for the cross product,
where was used (this is where the hypothesis enters, since it is what makes and hence exist). A cross product with is orthogonal to , so . Having no - and no -component in an orthonormal basis, is a multiple of . Writing that multiple as defines uniquely, and is smooth because and are.
Part 2. The first and third formulas are the definitions of and . For the middle one, use (valid because the frame is right-handed and orthonormal) and differentiate:
using and . So no third scalar appears.
Part 3. Suppose lies in a plane with unit normal . Then ; differentiating twice gives and , so, since , both and are orthogonal to , whence is constant and .
Conversely let . Then , so is a fixed unit vector, and
The bracket vanishes at , so it vanishes identically: the curve lies in the plane through normal to .
Part 4, existence. Fix . Regard the nine components of as unknowns in the linear system of ordinary differential equations given by the three Frenet formulas, with the coefficients and as given data and with an arbitrary right-handed orthonormal triple as initial value at . The coefficients are smooth, so the system has a unique solution on all of (existence and uniqueness for ODEs; the system is linear, so the solution does not escape in finite time). The skew-symmetry of the coefficient matrix makes the six inner products constant, so the solution stays orthonormal, and is then a unit-speed curve with the prescribed curvature and torsion. do Carmo states this part and defers its proof to the appendix of his Chapter 4; we record it as his statement.
Part 4, uniqueness. Arc length, curvature and torsion are built from inner and cross products of derivatives, and a rigid motion with leaves all of these unchanged; so we may move by such a motion and assume and , , (the motion taking one right-handed orthonormal frame to another has positive determinant, which is why no reflection is needed). Put
Both frames obey the Frenet formulas with the same and , by hypothesis. Hence
Substituting the three formulas, the first term is ; the third is ; the second is . The four terms cancel in pairs, so . Since and , we get , that is (and likewise for ). Finally , and the difference vanishes at , so .
- everywhere. This is the hypothesis that does all the work. It is what makes , and with it and the osculating plane, exist at all; it is used again in Part 3 to pass from to . Without it the frame can jump. do Carmo's Exercise 10 (p. 26) builds a smooth curve, two half-branches of glued in perpendicular planes at , which is regular and has (his part (b) asks one to show that is nonzero except at and , so the vanishing is not confined to the join), yet whose osculating planes have different limits from the two sides; there can be set to although the curve is not planar, so Part 3 genuinely needs .
- Unit speed. Only here do and coincide, and only here is automatic. For a general parameter one must either reparametrize or use the formulas of the method below; is not the curvature, because it also contains the change of speed.
- Regularity . This is what makes strictly increasing and so invertible; a curve with a cusp, such as at , has no unit-speed reparametrization through that point.
- Right-handedness. in Part 2 and the "no reflection needed" step in the uniqueness proof both use that is positively oriented. A reflection of preserves but reverses the sign of , which is why the fundamental theorem asks for .
- Convention. In do Carmo's sign convention the third formula reads and the middle one ; his arbitrary-parameter formula (his Exercise 12c) carries a minus sign that ours does not. Mixing the two conventions inside one calculation flips the handedness of the answer.
Given regular, with the derivatives with respect to :
- Speed and arc length. , and . Never reparametrize unless the integral is elementary; steps 2–4 do not need it.
- Curvature.
- Torsion (requires , i.e. ): In do Carmo's convention the right-hand side carries a minus sign.
- Frame. , , .
- Check. must come out ; a negative value means an arithmetic slip. For a plane curve step 3 must give .
Why steps 2 and 3 are right: write and differentiate with the chain rule , giving and then . Hence , which gives step 2 on taking lengths, and , which gives step 3.
Take the curve that winds up the cone with exponentially growing radius,
Step 1: derivatives. Writing , and factoring out each time,
Step 2: speed and arc length. because . So , and the arc length from to is
Step 3: the cross product. Expanding the determinant and taking the common factor out of both rows,
because the third entry is . Its squared length is
so . As a cross-check, the Lagrange identity (vector algebra) with and gives , the same answer.
Step 4: curvature. , so
Step 5: torsion. Pairing with ,
the two quadratic terms cancelling exactly. Hence
Step 6: the numbers. At the curve passes through with
The ratio being constant says the curve is a generalized helix: its tangent makes a fixed angle with the cone's axis, here , since . Both and decay like : the spiral straightens as it opens out, exactly as the self-similarity of the cone demands.
Acceleration. For a particle at with speed , the chain rule and the first Frenet formula give
The tangential part changes the speed, the normal part is the centripetal acceleration, and the binormal part is zero whatever the path: an acceleration can never point out of the osculating plane. This decomposition is how banking angles, -loads on a roller coaster and the lateral force on a vehicle in a bend are computed.
Transition curves. Because the lateral force is , a track joining a straight () directly to a circular arc () subjects a passenger to a jump in force. Railways and highways therefore insert a clothoid, the plane curve with proportional to , so that at constant speed the lateral force ramps up linearly and the jerk stays bounded. That such a curve exists and is unique up to a rigid motion is precisely the plane case of the fundamental theorem.
Charged particles. A particle of charge and mass moving with speed in a uniform field follows a circular helix, the unique curve with constant and constant . Write for the pitch angle between and and for the gyrofrequency. The orbit is with gyroradius , and the formulas of the method give the constants
So the radius of curvature is not the gyroradius: , the two agreeing only for a purely perpendicular orbit, . (At with : , , but .) Magnetic-mirror and tokamak confinement arguments are usually phrased in exactly these two constants.
Rods and polymers. In Kirchhoff's theory of a thin elastic rod, the strain of the centreline is measured by and relative to their unstressed values, and the elastic energy is a quadratic form in them. The same two functions are the standard coarse-grained description of double-stranded DNA, where bending stiffness couples to and the supercoiling that packs the molecule into a cell couples to .