Use angular coordinate . The two surfaces have parametrizations
and
The supplied surface-of-revolution formula gives
Since , the change of coordinate
is a diffeomorphism from to and satisfies . Therefore
is a diffeomorphism and obeys . This is the curvature-matching diffeomorphism between two surfaces of revolution.
No such local isometry exists. The curvatures above are strictly monotone functions of and , so curvature preservation would force the -coordinate of any local isometry to be
The first fundamental forms are
Write the putative map as . The mixed coefficient in its pullback is
A local isometry is locally nonsingular, so ; matching the zero mixed coefficient of therefore gives . The coefficients would then require
The left side depends only on , while the right side varies with , an impossibility. Equal pointwise Gaussian curvature under a diffeomorphism therefore does not suffice for local isometry.

Articles by others on the same topic (0)

There are currently no matching articles.