Smooth endpoint criterion for a surface of revolution
ID: smooth-endpoint-criterion-for-a-surface-of-revolution
Suppose a smooth profile has , just to the right of , and . Use as a local parameter and write . The rotated surface is smooth at the pole if and only ifnear zero for a smooth function . It is then locally the smooth graph . Equivalently, the even reflection is smooth; in particular all odd derivatives of at zero vanish and the profile meets the rotation axis orthogonally. The analogous condition holds at the other endpoint.
New to topics? Read the docs here!