Let $S$ be a surface in $\mathbb{R}^{3}$ such that every regular curve $\gamma\subset S$ has nowhere vanishing curvature, that is $\kappa(z)\neq 0$ for all $z\in \gamma$. Does this imply that $S$ is a part of a sphere?
-
1$\begingroup$ Why? An ellipsoid has also this property, right? $\endgroup$– Francesco PolizziCommented Dec 15, 2014 at 17:24
-
$\begingroup$ @FrancescoPolizzi Thanks for the comment.yes. Can one say any surface with this property satisfies $Ax.x=c$ where $A$ is a positive definitive $3\times 3$ matrix and $c$ is constant? $\endgroup$– Ali TaghaviCommented Dec 15, 2014 at 17:30
-
1$\begingroup$ @FrancescoPolizzi thanks for the edit the question. $\endgroup$– Ali TaghaviCommented Dec 15, 2014 at 18:40
1 Answer
I'm going to assume that you mean the following property
$S \subset \mathbb{R}^3$ has property (*) if for any regular curve $\gamma\subset S$, the curvature vector $\vec{\kappa}$ of $\gamma$ as a curve in $\mathbb{R}^3$ is nowhere vanishing.
(if you mean the curvature of $\gamma$ as a curve in $S$, then no surface $S$ has such a property, as seen by any geodesic on $S$).
I claim that (*) is equivalent to strict convexity of $S$. For any $\gamma \subset S$, (which we assume to be parametrized by unit speed, for simplicity) the curvature vector (in $\mathbb{R}^3$) is given by $$ \vec{\kappa} = \nabla^{\mathbb{R^3}}_{\dot\gamma}\dot\gamma = \nabla^{S}_{\dot\gamma}\dot\gamma + h(\dot\gamma,\dot\gamma)\nu_S, $$ where $h$ is the second fundamental form of $S$ and $\nu_S$ is the normal vector for $S$ in $\mathbb{R}^3$ (your conventions may vary, but it won't matter much anyways).
We know that $\nabla^{S}_{\dot\gamma}\dot\gamma \in TS$. Hence, this is an orthogonal decomposition. Thus, for $\vec{\kappa} = 0$ it must be that $h(\dot\gamma,\dot\gamma) = 0$, which would contradict strict convexity.
On the other hand, if $S$ is not strictly convex, you can find a point $p$ and vector $V\in T_pS$ with $h(V,V) = 0$. The geodesic through $p$ with velocity $V$ at $p$ will have vanishing $\mathbb{R}^3$ curvature at $p$.
-
$\begingroup$ thanks again for your answer. just a question: what about the following generalization: A codimension one submanifold of $\mathbb{R}^{n}$ for which all regular curves are Frennete curve? Is this question an obvious generalization of my previous one? $\endgroup$ Commented Dec 21, 2014 at 11:02