I Deriving Frenet-Serret Formulas: Why -τᴿ?

  • I
  • Thread starter Thread starter Arya Prasetya
  • Start date Start date
  • Tags Tags
    Formulas
Arya Prasetya
Messages
8
Reaction score
3
Hi, I'm trying to derive the Frenet Serret Formulas, but I am having trouble to understand why, after some checking, that the derivative of binormal vector is:

\frac{d\hat{b}}{ds}=-\tau\hat{n}

I understand that, \hat{t}\wedge\frac{d\hat{n}}{ds}\parallel\hat{n} and |\frac{d\hat{b}}{ds}|=\tau, but why the negative sign? Isn't it equally possible that it has a positve sign?
 
Physics news on Phys.org
Wikipedia has a nice write up on the Frenet Serret formulas:

https://en.wikipedia.org/wiki/Frenet–Serret_formulas

B is the cross-product of T and N specifically:

B = T x N so this specifies a particular direction via the right-hand rule.

http://galileo.math.siu.edu/mikesullivan/Courses/251/S11/torsion.pdf

In part (c) of the proof, It looks like the ##-\tau## is chosen so that the formula for N' comes out without two negative terms in it.
 
Since ## \tau ## is simply a constant of proportionality, I believe the choice is arbitrary, but whatever sign that is used for ## \tau ## needs to be consistent with the other Frenet equation involving ## \tau ##. The equations with their choice of the sign of ## \tau ## is apparently somewhat standard. It's a somewhat specialized topic, but I think you might find most of the textbooks use the same sign convention.
 
Arya Prasetya said:
Hi, I'm trying to derive the Frenet Serret Formulas, but I am having trouble to understand why, after some checking, that the derivative of binormal vector is:

##\frac{d\hat{b}}{ds}=-\tau\hat{n}##

I understand that, ##\hat{t}\wedge\frac{d\hat{n}}{ds}\parallel\hat{n}[/itex] and |\frac{d\hat{b}}{ds}|=\tau##, but why the negative sign? Isn't it equally possible that it has a positive sign?
<br /> <br /> ##\frac{d\hat{b}}{ds}= \frac{d\hat{t×n}}{ds}= \frac{d\hat{t}}{ds}×\hat{n} + d\hat{t}×\frac{d\hat{n}}{ds} = 0 + \hat{t}×κ\hat{b} = κ\hat{t}×\hat{t}×\hat{n}##<br /> <br /> Now use the cross product identity ##T×T×N = T(T⋅N) - N(T⋅T)##
 
Last edited:
Hello! There is a simple line in the textbook. If ##S## is a manifold, an injectively immersed submanifold ##M## of ##S## is embedded if and only if ##M## is locally closed in ##S##. Recall the definition. M is locally closed if for each point ##x\in M## there open ##U\subset S## such that ##M\cap U## is closed in ##U##. Embedding to injective immesion is simple. The opposite direction is hard. Suppose I have ##N## as source manifold and ##f:N\rightarrow S## is the injective...
Back
Top