CALCULUS III: LECTURE 7 Today, we discuss arc length and curvature. Relevant Book Sections: 13.3. 1. Motivating Example A few lectures ago, I tried to emphasize the following point: “there is no best parameterization for a curve or surface.” I lied. For many curves, there is something like a best parameterization. (For a surface, or a higher dimensional object (for example, like a 3-plane in 4 ), this is not true. We will see why this is so in a few minutes.) Sometimes it’s even computable. This best parameterization for a curve (really, there are two–we will see in a second) is given in terms of arclength. Let’s work through an example to get some sense. We will define the concepts we need as we go. Consider the following parameterized curve R r: R → R3 t 7→ (t3 + 1, −t3 , 3t3 − 1) or, if you prefer, we can write it as r(t) = (1, −1, 3)t3 + (1, 0, −1) What does the image of this parameterization look like? That is, what curve is this describing? We can try to graph it. (Draw a picture.) What do we end up seeing, just looking at the equation: there is a given vector (1, 0, −1), and then a direction vector (1, −1, 3) that doesn’t change, and just gets scaled. That is, this is the usual parameterization of a line, but rescaled somehow. So let’s compare the weird parameterization, which I will now call rweird (t) = (1, −1, 3)t3 + (1, 0, −1) to the usual parameterization we would write down for a line going through (1, 0, −1) with direction (1, −1, 3). rusual (t) = (1, −1, 3)t + (1, 0, −1) Now suppose I ask you to write down a tangent vector to this curve. Remember from yesterday that we can do so by differentiating. Applying this to the usual parameterization, we find r0usual (t) = (1, −1, 3) which jives well with what we know intuitively: the tangent vector to a line at a point should be a non-zero scalar multiple of the the direction vector. But what if differentiate the weird parameterization? r0weird (t) = (1, −1, 3)(3t2 ) which is a non-zero scalar times the direction vector at all times t except one: at t = 0, r0weird (0) = 0 which is troubling. What happening? The parameterization rweird is describing a particle moving along the given line, but with varying speed, and at time t = 0, the particle stops for a moment, then resumes. But, if we are only interested in the curve the particle travels on, and not in the particle itself, then this parameterizations rweird is not well suited for our purposes: at the point (1, 0, −1) it even “forgets” its tangent vector. How do we resolve this? Well, to be honest, we don’t: we usually don’t deal with such weird parameterizations of perfectly good curves. So instead, we make the definition R Definition 1.1. A parameterization r of a curve C in n is said to be C 1 (the book calls such a thing smooth, but this conflicts with notation is all other math references) if r is differentiable with continuous derivative r0 , and r0 (t) 6= 0. We say a curve C in n is C 1 if it admits a C 1 parameterization. R 1 CALCULUS III: LECTURE 7 2 Remark 1.2. Not every parameterization of a smooth curve is smooth. For example, look above: the line we are dealing with is smooth, but the parameterization rweird isn’t smooth: r0weird (0) = 0 We prefer to only look at smooth parameterizations of smooth curves. But here’s the question: how can we find a reparameterization of a smooth curve given a non-smooth parameterization? 2. Arclength We leave this example behind for a moment to discuss a necessary concept, namely arclength. Suppose we are given a space curve C with differentiable parameterization r(t) = (x1 (t), ..., xn (t)) (which also has continuous derivative). (Draw a picture, leave it on the board since we will modify it.) Let’s assume for simplicity that the curve does not double back on itself. That is, let us assume that given a point P on the curve with position vector p, that there do not exist two distinct t1 , t2 so that r(t1 ) = r(t2 ) = p. We want a good way to compute the length of the curve between two points r(a) and r(b). What do we do? Well, if we know that if a and b were close to one another, then the distance between the points r(a) andr(b) is a good approximation to the length of the curve: since differentiable means locally looks like a line, when a and b are close, the length of the curve between the two points r(a) and r(b) is essentially the straight line distance |r(b) − r(a)|. (Draw different picture, zoomed in.) So, if we want to approximate the arclength, what can we do? We can break the interval [a, b] into k-pieces, i.e. we can partition it into a = t0 < t1 < t2 < ... < tk = b and then the arclength is pretty well approximated by (Draw in on the first picture the partition and the vectors r(ti+1 ) − r(ti ).) |r(t1 ) − r(t0 )| + |r(t2 ) − r(t1 )| + ... + |r(tk ) − r(tk−1 )| = k X |r(ti ) − r(ti−1 )| i=1 (Make sure everyone is comfortable with the summation notation.) What does this mean in terms of coordinates? Each term in the sum is p (x1 (ti ) − x1 (ti−1 ))2 + (x2 (ti ) − x2 (ti−1 ))2 + ... + (xn (ti ) − xn (ti−1 ))2 |r(ti ) − r(ti−1 )| = s (x1 (ti ) − x1 (ti−1 ))2 (x2 (ti ) − x2 (ti−1 ))2 (xn (ti ) − xn (ti−1 ))2 = + + ... + (ti − ti−1 ) (ti − ti−1 )2 (ti − ti−1 )2 (ti − ti−1 )2 And so we get that the arclength is approximately s k X (x1 (ti ) − x1 (ti−1 ))2 (x2 (ti ) − x2 (ti−1 ))2 (xn (ti ) − xn (ti−1 ))2 length(C) ≈ + + ... + (ti − ti−1 ) 2 2 (ti − ti−1 ) (ti − ti−1 ) (ti − ti−1 )2 i=0 Now, as the partition gets finer and finer, we find that each term inside the square root 2 2 xj (ti ) − xj (ti−1 ) dxj → ti − ti−1 dt while (ti − ti−1 ) → dt and the sum becomes an integral. That is, we find ˆ bq length(C) = x01 (t)2 + x02 (t)2 + ... + x0n (t)2 dt a ˆ b |r0 (t)|dt = a This should make sense physically: r(t) is the position of a particle moving in space, r0 (t) is its velocity, |r (t)| is its speed, and to find the total distance the particle has travelled from time a to time b, we should integrate the speed from a to b. This should also explain why we asked that the curve not double back on itself: if it did so, we would be double counting. We have (essentially) shown the following theorem 0 CALCULUS III: LECTURE 7 3 Rn given by parameterization r(t), from point r(a) to r(b), Theorem 2.1. The arclength of a curve C in is given by the integral ˆ b |r0 (t)|dt L = length(C) = a as long as the curve does not double back on itself. We also define the arclength function from r(a) to r(t) by the formula ˆ t |r0 (u)|du s(t) = a We will often just call this the arclength function, with the starting time a implicitly understood. Example 2.2. Let’s compute the arclength function for the curve given by r(t) = (a cos t, a sin t) with a > 0. Clearly this is the circle centered at the origin of radius a. We compute r0 (t) = (−a sin t, a cos t) and so |r0 (t)| = p a2 sin2 t + a2 cos2 t = Therefore ˆ √ a2 = a t s(t) = adu = at 0 so in particular, at time t = 2π, we find the parameterization has gone around the circle once, and travelled a distance of 2πa. That is, we just checked that the circumference of a circle of radius a is given by the well known formula 2πa. Why do we care about arclength? Arclength does not depend on parameterization. Example 2.3. Consider the following two parameterizations of the same curve r(t) = ti + t2 j + t3 k and u(t) = et i + e2t j + e3t k Note that these are parameterizing the same curve: this is since u(t) = r(et ). (Draw a picture of the curve.) Let’s compute the arclength of this curve between the points (1, 1, 1) and (2, 4, 8) for both parameterizations. We see that the first parameterization will go from 1 to 2, since r(1) = (1, 1, 1) and r(2) = (2, 4, 8). On the other hand, the other parameterization will go from 0 to ln 2, since u(0) = (1, 1, 1) and u(ln 2) = (2, 4, 8). So we compute r0 (t) = (1, 2t, 3t2 ) u0 (t) = (et , 2e2t , 3e3t ) and so |r0 (t)| = p 1 + 4t2 + 9t4 |u0 (t)| = p e2t + 4e4t + 9e6t = et Then, when we do the integral ˆ ln 2 ˆ 0 |u (t)|dt 0 et 0 ˆ = 1 so the two arclengths are equal. ln 2 = 2 p p 1 + 4e2t + 9e4t 1 + 4e2t + 9e4t dt ˆ p 2 4 1 + 4t + 9t dt = 1 2 |r0 (t)|dt CALCULUS III: LECTURE 7 4 This is essentially the proof in general. If there are two different parameterizations of a curve, one given by r(t), the other given by u(t), then there is a function f : → so that u(t) = r(f (t)), and we compute ˆ b ˆ bq |u(t)|dt = u01 (t)2 + ... + u0n (t)2 dt R R a a ˆ b = q (x01 (f (t))f 0 (t))2 + ... + (x0n (f (t))f 0 (t))2 dt q x01 (f (t))2 + ... + x0n (f (t))2 f 0 (t)dt a ˆ = b a ˆ f (b) = q ˆ f (b) |r0 (t)|dt x01 (t)2 + ... + x0n (t)2 dt = f (a) f (a) 2.1. The motivating example, continued. Let’s come back to our original example. We had rweird (t) = (1, −1, 3)t3 + (1, 0, −1) Let’s compute what the arclength from (1, 0, √−1) to rweird (t) is as function of time t. We find, since r0weird (t) = (1, −1, 3)(3t2 ), that |r0weird (t)| = 3 11t2 . So we compute, and find that ˆ t √ √ s(t) = 3 11u2 du = 11t3 0 Note that this function has an inverse. That is, it is of such nice form that we can actually write t as a function of s, namely t = s1/3 111/6 So if we want to, we can use this expression to reparameterize rweird in terms of the parameter s, arclength, and subsituting back in we find the expression 1 3 1 (1, −1, 3)(s1/3 111/6 )3 + (1, 0, −1) = ( √ , − √ , √ )s + (1, 0, −1) 11 11 11 This is now called the arclength parameterization of the curve. 1 1 3 rarclength (s) = ( √ , − √ , √ )s + (1, 0, −1) 11 11 11 Note that in this example, we have recovered something that looks much like our rusual but, in fact, is even better: the direction vector is now a unit vector, so this is really the parameterization of the curve given by a particle moving along the curve at constant speed 1, so that after time 1 the particle has moved distance 1. 2.2. Arclength Parameterization. This is essentially what we did above, but let’s just say is more formally. Given a curve C with parameterization r(t), one can find the arclength parameterization of C as long as the arclength function (which we only define in this way when r is a parameterization that doesn’t double back on itself) ˆ t s(t) = |r0 (u)|du a is invertible, i.e. if we can write t = t(s) as a function of s. (Remark: Since arclength is always nondecreasing, we are very happy as long as the parameterization r(t) doesn’t stop for some time.) In this case, we define the arclength parameterization by rarclength (s) = r(t(s)) we often abuse notation and just write r(s) instead of the bulky rarclength (s), keeping implicit in the notation of using s intead of the customay t that we have reparameterized by arclength. Example 2.4. Reparameterize the helix r(t) = (cos t, sin t, t) with respect to arclength measured from (1, 0, 0) in the direction of increasing t. We see that (1, 0, 0) corresponds to t = 0, so we find the arclength function by first computing r0 (t) = (− sin t, cos t, 1) CALCULUS III: LECTURE 7 5 p √ |r0 (t)| = sin2 t + cos2 t + 1 = 2 ˆ t ˆ t√ √ 0 2 = 2t s(t) = |r (u)|du = √ so in fact we can solve t = s/ 2, and so 0 0 s s s r(s) = (cos √ , sin √ , √ ) 2 2 2 2.3. Remarks. Why did I say that there were two possible “best” parameterizations? Well, you could do arclength in either direction–the direction of positive t, or of negative t. And what happens in higher dimension? Well, there aren’t just two directions for the parameters t1 , t2 , ..., tk instead, there are lots of possible “directions” to choose for the parameterization, so you have no hope of something which is distinguished over other directions. If this section makes no sense, that’s ok. I just wanted to say a few words justifying why I called arclength parameterization the “best.” 3. Curvature What should curvature of a smooth curve C with smooth parameterization r(t) be intuitively? Well, recall yesterday when we defined the unit normal vector N(t), we did it by first taking n(t) = T0 (t) and that this was some normal vector whose length measured loosely how much the parameterization curved (i.e. how quickly the unit tangent vector changed direction). But this depends on parameterization r! We can make this length independent of parameterization if we work only with a parameterization which is intrinsic to the curve. That is, we should differentiate not with respect to time, but with respect to arclength (or, equivalently, reparameterize the curve w.r.t arclength and then differentiate with respect to the new parameter). So we define Definition 3.1. The curvature of a smooth curve is dT κ = ds where T is the unit tangent vector. We can manipulate this formula a little to make it easier to work with. Namely if we notice that dT ds dT = dt ds dt Then by taking magnitudes, we find |dT/dt| 1 1 κ= = 0 T0 (t) = 0 n(t) |ds/dt| s (t) |r (t)| So this relates the curvature to the normal vector n(t) we described yesterday. We can even determine another formula for the curvature, given only in terms of r. However, we stop here for today, and resume tomorrow.