Motion of the Frenet trihedron as a rigid body

[5/0%]
LaTeX

Prove that for the curve x=etsin⁡t,y=etcos⁡t,z=etx = e^{t} \sin t, y = e^{t} \cos t, z = e^{t}, each edge of the accompanying Frenet trihedron forms a constant angle with the zz-axis.

?

Prove that the acceleration vector a\mathbf{a} of a moving material point is perpendicular to the binormal of the trajectory of motion, and find its decomposition along the tangent vector and the principal normal vector. Prove that

∣a∣=v4R2+(dvdt)2 \left|\mathbf{a}\right| = \sqrt{\frac{v^{4}}{R^{2}}+\left(\frac{d v}{d t}\right)^{2}}

where v=∣v∣,v=dr/dt,Rv = \left|\mathbf{v}\right|, \mathbf{v} = d \mathbf{r} / d t, R is the radius of curvature of the trajectory of motion.

?

Prove that for a three-times continuously differentiable curve Γ={M(s);0⩽s⩽S}\Gamma = \left\{ M(s) ; 0 \leqslant s \leqslant S\right\}, where ss is the variable arc length:

?
(1)

the formula

r(s+Δs)−r(s)=(Δs−16k2(s)Δs3)τ(s)+(12k(s)Δs2++16k′(s)Δs3)ν(s)+16k(s)ϰ(s)Δs3β(s)+o(Δs3),Δs→0 \begin{aligned} \mathbf{r}(s+\Delta s) - & \mathbf{r}(s) = \left(\Delta s-\frac{1}{6} k^{2}(s) \Delta s^{3}\right) \tau (s)+\left(\frac{1}{2} k(s) \Delta s^{2}+\right. \\ & \left.+\frac{1}{6} k^{\prime }(s) \Delta s^{3}\right) \nu (s)+\frac{1}{6} k(s) \varkappa (s) \Delta s^{3} \beta (s)+\mathrm{o}\left(\Delta s^{3}\right), \Delta s \rightarrow 0 \end{aligned}
(2)

if by ξ,η,ζ\xi , \eta , \zeta we denote the coordinates of a point in the coordinate system given by the unit vectors τ(s),ν(s),β(s)\mathbf{\tau }(s), \mathbf{\nu }(s), \mathbf{\beta }(s), then in a neighborhood of the point M(s)M(s) of the curve, the projection of the curve onto the osculating plane has the form

η=12k(s)ξ2+o(ξ2),ξ→0 \eta = \frac{1}{2} k(s) \xi ^{2}+o\left(\xi ^{2}\right), \quad \xi \rightarrow 0

the projection onto the normal plane has the form

η=9k(s)2ϰ2(s)3ζ2/3+o(ζ2/3),ζ→0,ϰ(s)≠0 \eta = \sqrt[3]{\frac{9 k(s)}{2 \varkappa ^{2}(s)}} \zeta ^{2 / 3}+o\left(\zeta ^{2 / 3}\right), \quad \zeta \rightarrow 0, \quad \varkappa (s) \neq 0

the projection onto the rectifying plane has the form

ζ=16k(s)ϰ(s)ξ3+o(ξ3),ξ→0. \zeta = \frac{1}{6} k(s) \varkappa (s) \xi ^{3}+o\left(\xi ^{3}\right), \quad \xi \rightarrow 0.

Prove that if, on a three-times continuously differentiable curve Γ={r(s);0⩽s⩽S}\Gamma = \left\{ \mathbf{r}(s) ; 0 \leqslant s \leqslant S\right\}, where ss is the variable arc length, the parameter ss is regarded as time, then as it changes the accompanying Frenet trihedron moves along the curve like a rigid body with angular velocity ω=ϰτ+kβ\omega = \varkappa \tau +k \beta. Thus the curvature is numerically equal to the speed of rotation of the Frenet trihedron about the binormal (this rotation always occurring from the tangent vector τ\tau toward the principal normal vector ν\nu), and the torsion is the speed of its rotation about the tangent.

?

Prove that the Frenet formulas can be written in the form

dτds=[ω,τ],dνds=[ω,ν],dβds=[ω,β] \frac{d \tau }{d s} = [\omega , \tau ], \quad \frac{d \nu }{d s} = [\omega , \nu ], \quad \frac{d \beta }{d s} = [\omega , \beta ]

(the vector ω\omega is defined in the previous problem).

?

References

[ККЧ+03] Кудрявцев Л.Д., Кутасов А.Д., Чехлов В.И., Шабунин М.И. Предел. Непрерывность. Дифференцируемость. 2-е изд., ФИЗМАТЛИТ, 2003.