## Reparamaterization, Regular Curves, and Unit Speed Curves (Pt. I)

**Point of Post: **In this post we discuss the notion of reparamaterizations (definitions and intuition), regular curves, unit curves, and the interrelation between the three.

*Motivation*

Up to this point we’ve figured out that intuitively the better way to discuss a ‘curve’ thought of as a subset of some Euclidean space is to instead imagine a smooth mapping whose image is equal to the ‘curve’ we are focusing on. That said, an obvious question that comes with the territory is–which map do we choose? In other words, multiple maps can paramaterize the same ‘curve’. For example, it’s not hard to see that

all have the unit circle as their image. So, if these smooth maps are our vehicle to study ‘curves’, then clearly whatever properties we care about should be the same for whichever smooth curve we pick to represent the ‘curve’. But, it’s clear that all not curves are created equal. For example, I think it’s pretty clear that the functions given by and have the same image, but are fundamentally different. In particular, if one looks at the tangent vectors to each of these curves at one finds that the first has non-zero tangent vector but the second doesn’t. So? Why does this matter? Well, it shall soon be important to us that we are able to make statements such as “there is precisely two unit vectors orthogonal to ” which is, as I’m sure you are well aware, is always true–except when . Thus, as we shall see it will be a decidedly geometrically important fact as to whether or not a curve has a zero tangent vector. In particular, two curves one of which has this property and one of which don’t are fundamentally different objects. So, our notion of equivalence between curves, should be discerning enough to detect this, so that for, example and are not equivalent but (perhaps) and are. Moreover, we shall see that curves that are ‘nice’ (in the sense that they never have a zero tangent vector) are equivalent (whatever this will eventually mean) to the nicest possible type of curve, namely a curve whose tangent vectors are always unit vectors. This type of curve is nice for both now-hidden and now-apparent reasons. For example, for such a curve it’s pretty easy to calculate arc length since .

*Reparamaterizations, Regular Curves, and Unit Curves*

Recall that a diffeomorphism is a bijective map , for some intervals , such that both and are (where at the endpoints of the intervals we mean one-sided differentiability). We say that a curve is a reparamaterization of if there exists a diffeomorphism such that . We denote this relation by saying that . It’s clear that is an equivalence relation on the set of all curves. To see an example of this note that if and then via the diffeomorphism .

For a curve we say that is a *regular point *if and a *singular point* otherwise. If is a regular point then is known as a *regular value *and similarly if is a singular point then is a *singular value*. We call a curve *regular *if every point of is a regular point. What we now claim is that regularity is reparamaterization invariant. To be more explicit:

**Theorem: ***Let and be curves with . Then, is regular if and only if is regular.*

**Proof: **It clearly suffices to prove that regular implies that is regular. To do this we merely note that if is the reparamaterization map between and then since for every we have by the chain rule that for all , and so in particular for all . Note then, that by the chain rule one has that (where is the total derivative) but since is regular we know that is invertible and by the previous observation we also have that is invertible, and so is invertible. But, by our previous observation this is equivalent to . Since is arbitrary the conclusion follows.

The next important and interesting fact concerning regular curves is their relation to the arc length function. Namely:

**Theorem: ***Let be a regular curve. Then, the arc length function is a smooth function on .*

**Proof: **It clearly suffices to prove that is a smooth function on since the rest follows from the fundamental theorem of calculus. That said, we know that is differentiable on and so it suffices by the chain rule to prove that the norm function is smooth on an open set containing the image of . That said, it’s a basic fact from analysis that is smooth on and by assumption and so the conclusion follows.

**References:**

1. Carmo, Manfredo Perdigão Do. *Differential Geometry of Curves and Surfaces*. Upper Saddle River, NJ: Prentice-Hall, 1976. Print.

2. Montiel, Sebastián, A. Ros, and Donald G. Babbitt. *Curves and Surfaces*. Providence, RI: American Mathematical Society, 2009. Print.

[…] Reparamaterization, Regular Curves, and Unit Speed Curves (Pt. II) Point of Post: This is a continuation of this post. […]

Pingback by Reparamaterization, Regular Curves, and Unit Speed Curves (Pt. II) « Abstract Nonsense | September 23, 2011 |

[…] so it’s clear that if is unit speed then . Moreover, it’s clear that any unit speed reparamaterization of a closed regular […]

Pingback by Closed Curves « Abstract Nonsense | September 23, 2011 |

[…] by construction we see that the change in distances is equal to . Now, if we restrict ourselves to unit speed curves we shall prove that is perpendicular to and so consequently is parallel to . Thus, we may […]

Pingback by Curvature of Plane Curves « Abstract Nonsense | September 24, 2011 |

[…] be a unit speed curve. We define the signed unit normal function of to be the function defined to be equal […]

Pingback by More Geometric Way of Viewing the Curvature of a Plane Curve « Abstract Nonsense | September 25, 2011 |

[…] a unit speed curve we define the curvature to be equal to . Note now, that similar to the case for plane […]

Pingback by Space Curves « Abstract Nonsense | October 5, 2011 |