Science Fair Project Encyclopedia
In vector calculus, the Frenet-Serret formulas describe the dynamic properties of a particle which moves along a continuous, differentiable curve in three-dimensional space . More specifically, the formulas describe the derivatives of the tangent, normal, and binormal unit vectors in terms of each other. The formulas are named after their (independent) discoverers: the Frenchmen Jean Frédéric Frenet and Joseph Alfred Serret.
The normal unit vector N is defined as
and the binormal unit vector B is defined as
From equation (2) it follows, since T always has unit magnitude, that N is always perpendicular to T. From equation (3) it follows that B is always perpendicular to both T and N. Thus, the three unit vectors T, N, and B are all perpendicular to each other.
It can be proven, from the above, that
Then the Frenet-Serret formulas are:
The three vectors: tangent, normal, and binormal, are collectively called the Frenet vectors. Together they form a basis for 3-space, which in turn defines a reference frame with its own coordinate system. The reference frame is called a Frenet frame, and it is neither static nor inertial, since the Frenet frame moves tangentially to the (non-straight) curve, so that it is constantly accelerating. (The curve can be assumed to be parametrically dependent on time: i.e. the Frenet frame can be visualized kinematically).
The Frenet-Serret formulas are also known as Frenet-Serret theorem, and can be stated more concisely using matrix notation:
First prove equations (4) and (5). From equation (3) it follows that
An identity from vector calculus states that
Applying identity (7) to equation (6) yields
but N and T are perpendicular so that their dot product is zero. Also, T is always a unit vector, so the dot product of T with itself is always one. Therefore equation (8) simplifies to equation (4).
Now prove equation (5). From equation (4) it follows that
Applying identity (7) to equation (9) produces
but T and B are perpendicular so that their dot product is zero, and B is always a unit vector so that the dot product of B with itself is always unity. Therefore equation (10) simplifies to equation (5).
Equations (4) and (5) should be intuitively rather obvious.
Let κ equal the magnitude of dT / ds. Then the first Frenet-Serret formula follows from equation (2), where κ is the curvature of the particle's path.
Now prove the third Frenet-Serret formula. From equation (3) it follows that
Applying the first Frenet-Serret formula to this last equation yields
but the cross product of any vector with itself must be zero (due to an identity of vector calculus), so that equation (11) becomes
The cross product of two vectors must necessarily be perpendicular to both vectors, so that dB/ds must be perpendicular to T, but it must also be perpendicular to B, since B is always a unit vector, so that dB/ds must be parallel to N. Let
where τ is torsion, so that the third Frenet-Serret formula has been proven.
Lastly, prove the second Frenet-Serret formula. Equation (4) implies that
Applying the chain rule for the cross product to this last equation yields
Next, substitute the third and first Frenet-Serret formulas into equation (12), producing
Then, applying equations (3) and (5) to the last equation yields the second Frenet-Serret formula. Q.E.D.
A different proof applies the chain rule to dot products instead of to cross products. Let us restate the definitions:
These five quantities: the (1) tangent, (2) normal and (3) binormal vector fields and the (4) curvature and (5) torsion scalar fields are collectively known as the Frenet-Serret apparatus of the curve. By these definitions, T and N must be unit vectors, and then B must be a unit vector as well since it is the cross product of unit vectors.
From the definitions of N and κ the first Frenet-Serret formula follows immediately:
To prove the third Frenet-Serret formula, notice that
The last term on the right side is equal to zero and can be dropped: B is a unit vector so its derivative B′ must be perpendicular to B, i.e. . The product in the second term on the right is equal to −τ by the definition of torsion. Now for the dot product in the first term. Due to the chain rule for the dot product, it is known that
but so . Applying the first Frenet-Serret formula, , and the first term also drops out. We are left with the third Frenet-Serret formula:
To prove the second Frenet-Serret formula, notice that
The second term on the right drops out: N is a unit vector so its derivative N′ must be perpendicular to N, thus . From application of the chain rule we know that
Applying the first and third Frenet-Serret formulas, this last equation reduces to
which is the second Frenet-Serret formula, Q.E.D.
See also: Frenet frame.
- Salas and Hille's Calculus -- One and Several Variables. Seventh Edition. Revised by Garret J. Etgen. John Wiley & Sons, 1995. p. 896.
- Elements of Differential Geometry, by Richard S. Millman and George D. Parker.
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details