A flywheel spins freely on a fixed axle

PHYSICS · Multi-part · Fermi University Physics · Mathematical Methods for Physics · Tensors and differential geometry · Tensors and differential geometry

Invariance, Ch Manifolds, charts and tangent spaces

Problem

A flywheel spins freely on a fixed axle. Its configuration is the angular position θ\theta of a marked point on its rim, with θ\theta and θ+2π\theta+2\pi identified, so the configuration space is the circle S1S^1, drawn as the unit circle x2+y2=1x^2+y^2=1 with x=cos⁡θx=\cos\theta, y=sin⁡θy=\sin\theta. ((a)) Chart AA projects each point of the circle from the point θ=π\theta=\pi onto the yy-axis: u=y1+xu=\dfrac{y}{1+x}. Show that u=tan⁡(θ/2)u=\tan(\theta/2), that AA is defined and smooth for every θ≠π\theta\ne\pi, and that it is a bijection of that domain onto R\mathbb{R}. ((b)) Chart BB projects from the point θ=0\theta=0: u′=y1−xu'=\dfrac{y}{1-x}. Show that u′=cot⁡(θ/2)u'=\cot(\theta/2), defined and smooth for every θ≠0\theta\ne0. ((c)) On the overlap of the two domains, find u′u' as a smooth function of uu, and confirm it has no singularity there. ((d)) Explain why {A,B}\{A,B\} is an atlas that makes the flywheel's configuration space a smooth one-dimensional manifold, and why chart AA alone could never do the job.

Browse the problem library