Use angular coordinate . The two surfaces have parametrizationsandThe supplied surface-of-revolution formula givesSince , the change of coordinateis a diffeomorphism from to and satisfies . Thereforeis 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 beThe first fundamental forms areWrite the putative map as . The mixed coefficient in its pullback isA local isometry is locally nonsingular, so ; matching the zero mixed coefficient of therefore gives . The coefficients would then requireThe 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
There are currently no matching articles.