Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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$?

share|improve this question
add comment

2 Answers

up vote 2 down vote accepted

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).

share|improve this answer
add comment

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.

share|improve this answer
    
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 '10 at 10:10
1  
@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 '10 at 16:46
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.