Loading [MathJax]/jax/output/HTML-CSS/jax.js

Thursday, December 8, 2016

The conditioning number of a helix, part 2

Recall the previous attempt to find the conditioning number of a helix (see post "The conditioning number of a helix, part 1," 2016-10-31). Here we complete the approach and although exact solutions are hard to find, we give close approximations.

The setting was a helix C of radius r and stretch c, so given as the zero locus of xrcos(z/c) and yrsin(z/c), and we wanted to find where the normal plane at a point pC intersects C again. It may intersect C several times, but we are only interested in the shortest distances. Without loss of generality, assume that p=(r,0,0). The normal plane at p is then given by
0=det[xrcos(pz/c)yrsin(pz/c)zpz10rsin(pz/c)/c01rcos(pz/c)/c]=det[xryz10001r/c]=rcy+z.Since the cylinder on which the helix C lies is x2+y2=r2, the curve C representing the intersection of the plane with the cylinder is given by the zero locus of ±rx2r2+cz. This allows us to find the intersection with the helix. However, since C is parametrized with z the free variable and C with x free, its is easier to switch to cylindrical coordinates
(r=x2+y2,θ=arctan(y/x),z=z).Doing so gives a nice description of C and C as below.C:(rcos(z/c),rsin(z/c),z)=(r,θ,θc)C:(x,r2x2,rr2x2/c)=(r.θ,r2sin(θ)/c)The switch in coordinates is represented by the diagram below, where we have only used the top half of C.
Finding CC is equivalent to solving c2r2=sin(θ)θ for θ, a task that can not be solved exactly. Instead we take the tangent lines to C on the unrolled cylinder at its base, and see where those intersect the line θc. Inspecting the areas of the tangent lines closer and calculating the euclidean distances in R3 from p to a and b, which is, I can't believe I'm saying this, a great exercise for the reader, we get the distances to be
d(p,a)=2r2(1+cos(πc2r2c2))+(πcr2r2c2)2,d(p,b)=2r2(1cos(2πc2r2+c2))+(2πcr2r2+c2)2.Truthfully, the diagrams are tricky to draw in TikZ and I don't want to simply have a scan of some rough work. More importantly, d(p,a)=d(p,b) implies c=r/3, meaning that when the stretch c is larger than r/3, the normal planes certainly do not intersect the helix again.

No comments:

Post a Comment