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 if
near 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.

Articles by others on the same topic (0)

There are currently no matching articles.