Torsion of a curve



In the elementary differential geometry of curves in three dimensions, the torsion of a curve measures how sharply it is twisting out of the plane of curvature. Taken together,
the curvature and the torsion of a space curve are analogous to the curvature of a plane curve. For example, they are coefficients in the system of differential equations for the Frenet frame given by the Frenet–Serret formulas.




Contents





  • 1 Definition


  • 2 Properties


  • 3 Alternative description


  • 4 Notes


  • 5 References




Definition




Animation of the torsion and the corresponding rotation of the binormal vector


Let C be a space curve parametrized by arc length sdisplaystyle ss and with the unit tangent vector t. If the curvature κdisplaystyle kappa kappa of C at a certain point is not zero then the principal normal vector and the binormal vector at that point are the unit vectors


n=t′κ,b=t×n,displaystyle mathbf n =frac mathbf t 'kappa ,quad mathbf b =mathbf t times mathbf n ,mathbf n=frac mathbf t'kappa ,quad mathbf b=mathbf ttimes mathbf n,

where the prime denotes the derivative of the vector with respect to the parameter sdisplaystyle ss. The torsion τdisplaystyle tau tau measures the speed of rotation of the binormal vector at the given point. It is found from the equation


b′=−τn.displaystyle mathbf b '=-tau mathbf n .mathbf b'=-tau mathbf n.

which means


τ=−n⋅b′.displaystyle tau =-mathbf n cdot mathbf b '.tau =-mathbf ncdot mathbf b'.

Remark: The derivative of the binormal vector is perpendicular to both the binormal and the tangent, hence it has to be proportional to the principal normal vector. The negative sign is simply a matter of convention: it is a by-product of the historical development of the subject.


The radius of torsion, often denoted by σ, is defined as


σ=1τ.displaystyle sigma =frac 1tau .sigma =frac 1tau .

Geometric relevance: The torsion τ(s)displaystyle displaystyle tau (s)displaystyle tau (s) measures the turnaround of the binormal vector. The larger the torsion is, the faster the binormal vector rotates around the axis given by the tangent vector (see graphical illustrations).
In the animated figure the rotation of the binormal vector is clearly visible at the peaks of the torsion function.



Properties


  • A plane curve with non-vanishing curvature has zero torsion at all points. Conversely, if the torsion of a regular curve with non-vanishing curvature is identically zero, then this curve belongs to a fixed plane.

  • The curvature and the torsion of a helix are constant. Conversely, any space curve whose curvature and torsion are both constant and non-zero is a helix. The torsion is positive for a right-handed[1] helix and is negative for a left-handed one.


Alternative description


Let r = r(t) be the parametric equation of a space curve. Assume that this is a regular parametrization and that the curvature of the curve does not vanish. Analytically, r(t) is a three times differentiable function of t with values in R3 and the vectors


r′(t),r″(t)displaystyle mathbf r' (t),mathbf r'' (t)mathbf r'(t),mathbf r''(t)

are linearly independent.


Then the torsion can be computed from the following formula:


τ=det(r′,r″,r‴)‖r′×r″‖2=(r′×r″)⋅r‴‖r′×r″‖2.displaystyle tau =det left(r',r'',r'''right) over left=left(r'times r''right)cdot r''' over left.tau =det left(r',r'',r'''right) over left=left(r'times r''right)cdot r''' over left.

Here the primes denote the derivatives with respect to t and the cross denotes the cross product. For r = (x, y, z), the formula in components is


τ=x‴(y′z″−y″z′)+y‴(x″z′−x′z″)+z‴(x′y″−x″y′)(y′z″−y″z′)2+(x″z′−x′z″)2+(x′y″−x″y′)2.displaystyle tau =frac x'''(y'z''-y''z')+y'''(x''z'-x'z'')+z'''(x'y''-x''y')(y'z''-y''z')^2+(x''z'-x'z'')^2+(x'y''-x''y')^2.tau =frac x'''(y'z''-y''z')+y'''(x''z'-x'z'')+z'''(x'y''-x''y')(y'z''-y''z')^2+(x''z'-x'z'')^2+(x'y''-x''y')^2.


Notes




  1. ^ http://mathworld.wolfram.com/Torsion.html




References



  • Pressley, Andrew (2001), Elementary Differential Geometry, Springer Undergraduate Mathematics Series, Springer-Verlag, ISBN 1-85233-152-6.mw-parser-output cite.citationfont-style:inherit.mw-parser-output qquotes:"""""""'""'".mw-parser-output code.cs1-codecolor:inherit;background:inherit;border:inherit;padding:inherit.mw-parser-output .cs1-lock-free abackground:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center.mw-parser-output .cs1-lock-limited a,.mw-parser-output .cs1-lock-registration abackground:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center.mw-parser-output .cs1-lock-subscription abackground:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registrationcolor:#555.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration spanborder-bottom:1px dotted;cursor:help.mw-parser-output .cs1-hidden-errordisplay:none;font-size:100%.mw-parser-output .cs1-visible-errorfont-size:100%.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-formatfont-size:95%.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-leftpadding-left:0.2em.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-rightpadding-right:0.2em









這個網誌中的熱門文章

How to read a connectionString WITH PROVIDER in .NET Core?

Node.js Script on GitHub Pages or Amazon S3

Museum of Modern and Contemporary Art of Trento and Rovereto