Geodesic - How can we continue?

686 Views Asked by At

I want to show that a geodesic with nowhere vanishing curvature is a plane curve if and only if it is a line of curvature.

I have done the following:

Let $\gamma$ be a geodesic with nowhere vanishing curvature and a plane curve.

Let $N$ be the unit normal of the surface.

We have that $\|N\|^2=1 \Rightarrow N\cdot N=1 \Rightarrow (N\cdot N)'=0\Rightarrow N'\cdot N=0 \Rightarrow N'\bot N$.

$\gamma'$ is the tangent vector of $\gamma$.

Since $N'$ is perpendicular to $N$, which is perpendicular to the curve $\gamma$ we have that $N'$ is parallel to $\gamma$, so it is also parallel to $\gamma'$. So $N'=-\lambda \gamma'$, for some $\lambda$, which means that $\gamma$ is a line of curvature.

Is this correct?

$$$$

For the other direction:

Let $\gamma$ be a geodesic with noehere curvature and a line of curvature.

Without loss of generality, we suppose that $\gamma$ is unit-speed.

Let $a=N\times\gamma$. Differentiating this we get $a'=N'\times\gamma'+N\times\gamma''$. Since $\gamma$ is a line of curvature we have that there is a $\lambda$ such that $N'= \lambda\gamma'$, i.e., $N'$ is paralle to $\gamma'$. So $N'\times\gamma'=0$. Since $\gamma$ is geodesic we have that $N\times\gamma''=0$.

How could we continue to conclude that the geodesic is a line of curvature.

1

There are 1 best solutions below

0
On BEST ANSWER

Well, if $c\colon I\subset \mathbb{R}\longrightarrow S$ is a geodesic of a surface $S$ then we have : $$N(c(s))\parallel n(s),\ \forall s\in I,$$ where $N$ is the unit normal of $S$ and $n(s)$ the first normal of the curve $c$. Therefore, $$N(c(s))=\pm n(s),\ \forall s\in I.$$ By differentiating we obtain $$(N\circ c)'(s)=dN_{c(s)}(c'(s))=\pm n'(s),\ \forall s\in I.$$ By Frenet equations we have that $$n'(s)=-k(s)t(s)+\tau(s)b(s)$$ where $k(s)$ and $\tau(s)$ is the curvature and the torsion of $c$ respectively $(t(s):=c'(s)$ and $b(s)$ is the second normal of $c$. Thus, we obtain $$dN_{c(s)}(t(s))=-k(s)t(s)+\tau(s)b(s).$$ Now the result follows immediately:

  • $(\Rightarrow)$ If $c$ is a plane curve then the torsion $\tau=0$. Thus, $$dN_{c(s)}(t(s))=-k(s)t(s)$$ which implies that $c$ is a line of curvature.
  • $(\Leftarrow)$ If $c$ is a line of curvature then $dN_{c(s)}(t(s))=\lambda(s)t(s)$ and the equation above implies that $\tau=0$ and therefore $c$ is a plane curve.