## Tubular neighbourhood of a smooth curve

In plane for a smooth non self intersecting curve $C$ the tubular neighbourhood can be constructed with non intersecting starigh line segments normal to the curve from points of the curve. If we use the fact that the $\varepsilon$-tubular neighbourhood is constructed diffeomorphically by extending the normals we could arrive at a necessary condition that $\varepsilon < 1/K$, where $K=\sup_{p\in C} k(p)$ and $k(p)$ is the curvature of curve at $p$.

Suppose the curve $C$ is in a surface embedded in $R^3$. The tubular neighbourhood can be constructed similarly along the normal geodesics to the curve. Is it true that for $K=\sup k_g(p)$ where $k_g(p)$ is geodesic curvature of curve at $p$, the necessary condition is $\varepsilon < 1/K$?

-

As shown in Richard Palais' answer, the radius $\epsilon$ of the larger tubular neighborhood can be much smaller than $1/K$.

On the other hand, at least for smooth embeddings of $\mathbb{S}^1$, the best uniform radius $\epsilon$ is also never larger that $1/K$. So in this sense yours is a necessary condition (with weak inequality though).

Consider a simple closed curve in, say, a Hilbert space $H$, with a $C^2$ arc-length parametrization $\gamma:\mathbb{S}^1\to H$. Thus, $1/K=\inf_s |\ddot \gamma(s)|$.

Let $r > 1 / K$. So there is $s _0$ such that $r > |\ddot\gamma (s_0) |$. Consider the point $x _ 0 \in H$ at abscissa $r$ on the normal at $\gamma (s _0 )$:

$$x_0 : = \gamma(s_ 0) + r \frac {\ddot \gamma(s _0) } {| \ddot \gamma(s_0)|}\ .$$

Computing the second derivative of $|\gamma(s)-x_0|^2$ at $s = s_0$ we find that the distance from $x _ 0$ to $\gamma(s)$ has a strict local maximum at $s _ 0$. Thus, in particular $s_0$ is different form the global minimum, which is also a point whose normal meets $x_0$. Therefore $x_0$ belongs to at least two normal disks of radius $r$, and in conclusion $r$ is larger than the radius of any tubular nbd.

(All that with minor changes also holds for Riemann or Hilbert manifolds; and for non-closed curves too, with some care at the end-points).

-

No.

Consider the example of a right circular cylinder as the surface in question and let $C$ be a "generator" (i.e., a line on the cylinder parallel to the axis). Then the geodesic curvature is everywhere zero, but if epsilon is greater than half the circumference there is no epsilon-tubular neighborhood.

-
 Even though $k_g = 0$, there exists tubular neighbourhood with some $\varepsilon>0$. The problem faced by taking the value of $\varepsilon$ to be half of the circumference is due to the fact that the $exp$ map is not diffeomorphic for that value of $\varepsilon$. Infact the $i(Cylinder)$, injectivity radius of the cylinder is exactly half of the circumference. In any case the tubular neighbourhood must exists if the curve is not self intersecting. – Pratik Dec 25 2010 at 10:10 @Pratik. Sure, a tubular neighborhood always exists, but you asked how large it could be, or rather you asked if there was always a tubular neighborhood of a radius equal to the reciprocal of the minimal geodesic curvature, and my example shows that cannot be the case. – Dick Palais Dec 25 2010 at 16:46