Hi everyone!

I am having problem in a classical question, I have to prove that in a regular surface with constant gaussian curvature the geodesics circles have constant geodesic curvature.

I don't konwm how to start...

thanks!

- Dec 2nd 2012, 08:59 AMcharles01Classical question about constant gaussian curvature and geodesics circles.
Hi everyone!

I am having problem in a classical question, I have to prove that in a regular surface with constant gaussian curvature the geodesics circles have constant geodesic curvature.

I don't konwm how to start...

thanks! - Dec 2nd 2012, 09:59 AMxxp9Re: Classical question about constant gaussian curvature and geodesics circles.
don't understand your question. All geodesics have geodesic curvature 0, which is obviously constant. Do you mean "curvature" instead of "geodesic curvature"?

- Dec 2nd 2012, 10:27 AMcharles01Re: Classical question about constant gaussian curvature and geodesics circles.
No, in this question we have to use geodesic polar cordinates. Choose in the plane TpS, p $\displaystyle \in$ S a system of polar coordinates $\displaystyle (r, \theta)$ where r is the polar radius an $\displaystyle \theta$ is the polar angle. Using the exponential map, We may parametrize the points of the V$\displaystyle \in$ S by the $\displaystyle (r, \theta)$ coordinates. By geodesics circles I mean: fix r and make $\displaystyle \theta$ vary in [0,$\displaystyle 2\pi)$. E.g the images by exp_p:U$\displaystyle \rightarrow$V of circles in U centered in 0.

Is of that circles I have to prove the afirmation.

Thanks! :) - Dec 3rd 2012, 05:31 PMxxp9Re: Classical question about constant gaussian curvature and geodesics circles.
The following argument is wrong and I am going to edit tomorrow.

Choose a point o on S and use $\displaystyle (r, \theta)$ as the parameterization. Denote $\displaystyle T = \frac{\partial}{\partial r}$, and $\displaystyle J = \frac{\partial}{\partial \theta}$ as the coordinate vectors. From the definition of the exponential map, we have $\displaystyle \langle T, T \rangle = 1$, and $\displaystyle \langle T, J \rangle = 0$, and $\displaystyle [T, J] = 0 $. Denote N as the unit vector at the direction of J, so that $\displaystyle J = f N$, where $\displaystyle f = |J|$ is smooth. $\displaystyle f(0)=0$

The Jacobi equation says that $\displaystyle D_T D_T J + R(J, T)T = 0$, which yields $\displaystyle \frac{{\partial}^2f}{{\partial}r^2} + f K=0$, where K is the Gaussian curvature as a constant. Solve the equation ( e.g. $\displaystyle f(r)=a sin(\sqrt{K} r)$ when K > 0 ), we find that f doesn't depend on $\displaystyle \theta$ at all, that is, $\displaystyle |J|=|\frac{\partial}{\partial \theta}|$ is constant on the geodesic circle $\displaystyle r = const$.

Let $\displaystyle R_{\alpha}$ be the rotation of any angle $\displaystyle \alpha$ around 0 at the tangent plane, then it is obvious that the map $\displaystyle g: S \rightarrow S, g: p \mapsto exp_o \circ R_{\alpha} \circ exp_o^{-1}(p)$ is an isometry since it keeps the length of both T and J. And we're done since geodesic curvature is invariant under the isometry. - Dec 4th 2012, 02:19 AMcharles01Re: Classical question about constant gaussian curvature and geodesics circles.
Thank you for the help!! :)

- Dec 6th 2012, 02:06 PMxxp9Re: Classical question about constant gaussian curvature and geodesics circles.
Choose a point p on S and let $\displaystyle (r, \theta)$ be the polar coordinates in the tangent plane $\displaystyle S_p$. Since $\displaystyle exp_p: S_p \rightarrow S$ is a diffeomorphism in a neighborhood of p, we can use $\displaystyle (r, \theta)$ as the polar coordinates of S. Denote $\displaystyle \frac{\partial}{\partial r}$ and $\displaystyle \frac{\partial}{\partial \theta}$ the coordinate vectors of the tangent plane, denote T and J the coordinate vectors of S, such that $\displaystyle T_p=dexp_p(\frac{\partial}{\partial r}(0))$ and $\displaystyle J_p=dexp_p(\frac{\partial}{\partial \theta}(0))$.

Denote N as the unit vector at the direction of J. Let $\displaystyle f = |J|$ is smooth, $\displaystyle f(0)=0$, and $\displaystyle J = f N$. From the definition and properties of the exponential map, we have $\displaystyle \langle T, T \rangle = 1$, and $\displaystyle \langle T, J \rangle = 0$, $\displaystyle [T, J] = 0 $, and $\displaystyle D_T T=D_T N=0$.

The Jacobi field equation says that $\displaystyle D_T D_T J + R(J, T)T = 0$. It is easy to verify that $\displaystyle \langle D_T D_T J, T \rangle = 0$ so from the equation we'll get $\displaystyle \frac{{\partial}^2f}{{\partial}r^2} + f K=0$, where K is the Gaussian curvature as a constant. We have already known that f(0)=0.

To compute $\displaystyle \frac{\partial f}{\partial r}(0)$, we compute $\displaystyle D_T J=D_T(fN)=\frac{\partial f}{\partial r} N$. Use normal coordinates around p one can get that $\displaystyle D_{T(0)}(J)=\frac{\partial}{\partial \theta}|_{(1, \theta)}$ so we get that $\displaystyle \frac{\partial f}{\partial r}(0)=1$.

So the initial conditions of f doesn't depend on $\displaystyle \theta$. So solve the equation ( e.g. $\displaystyle f(r)=\frac{1}{\sqrt{K}}sin(\sqrt{K} r)$ when K > 0 ), we find that f doesn't depend on $\displaystyle \theta$ at all, that is, $\displaystyle |J|$ is constant on the geodesic circle $\displaystyle r = const$.

Let $\displaystyle R_{\alpha}$ be the rotation of any angle $\displaystyle \alpha$ around 0 at the tangent plane, then it is obvious that the map $\displaystyle \hat{R_{\alpha}}: S \rightarrow S, \hat{R_{\alpha}}: q \mapsto exp_p \circ R_{\alpha} \circ exp_p^{-1}(q)$ is an isometry since it keeps the length of both T and J. And we're done since geodesic curvature is invariant under the isometry.

The above argument skipped many technical details however you may verify all the assertions on the unit sphere. A standard book on Riemann geometry may be referred to for the skipped details. Actually a so-called space form is locally isometric to a portion of the n-sphere, or the plane, or the hyperbolic space, corresponding to whether that K>0, K=0 or K < 0.