1: Curves
( \newcommand{\kernel}{\mathrm{null}\,}\)
We are now going to study vector-valued functions of one real variable. That is, we are going to study functions that assign to each real number t (typically in some interval) a vector 1 ⇀r(t). For example
⇀r(t)=(x(t),y(t),z(t))
might be the position of a particle at time t. As t varies, ⇀r(t) sweeps out a curve.
While in some applications t will indeed be “time”, it does not have to be. It can be simply a parameter that is used to label the different points on the curve that ⇀r(t) sweeps out. We then say that ⇀r(t) provides a parameterization of the curve.
While we will often use t as the parameter in a parametrized curve ⇀r(t), there is no need to call it t. Sometimes it is natural to use a different name for the parameter. For example, consider the circle x2+y2=a2. It is natural to use the angle θ in the sketch below to label the point (acosθ,asinθ) on the circle.
That is,
⇀r(θ)=(acosθ,asinθ)0≤θ<2π
is a parametrization of the circle x2+y2=a2. Just looking at the figure above, it is clear that, as θ runs from 0 to 2π, ⇀r(θ) traces out the full circle.
However beware that just knowing that ⇀r(t) lies on a specified curve does not guarantee that, as t varies, ⇀r(t) covers the entire curve. For example, as t runs over the whole real line, 2πarctan(t) runs over the interval (−1,1). For all t,
⇀r(t)=(x(t),y(t))=a(2πarctan(t),√1−4π2arctan2(t))
is well-defined and obeys x(t)2+y(t)2=a2. But this ⇀r(t) does not cover the entire circle because y(t) is always positive.
We can tweak the parametrization of Example 1.0.1 to get a parametrization of the circle of radius a that is centred on (h,k). One way to do so is to redraw the sketch of Example 1.0.1 with the circle translated so that its centre is at (h,k).
We see from the sketch that
⇀r(θ)=(h+acosθ,k+asinθ)0≤θ<2π
is a parametrization of the circle (x−h)2+(y−k)2=a2.
A second way to come up with this parametrization is to observe that we can turn the trig identity cos2t+sin2t=1 into the equation (x−h)2+(y−k)2=a2 of the circle by
- multiplying the trig identity by a2 to get (acost)2+(asint)2=a2 and then
- setting \boldsymbol{\ a\cos t=x-h\} and asint=y−k , which turns (acost)2+(asint)2=a2 into (x−h)2+(y−k)2=a2.
We can build parametrizations of the curves x2a2+y2b2=1 and x2/3+y2/3=a2/3 from the trig identity cos2t+sin2t=1, like we did in the second part of the last example.
- Setting \boldsymbol{\ \cos t=\frac{x}{a}\} and \boldsymbol{\ \sin t=\frac{y}{b}\} turns cos2t+sin2t=1 into x2a2+y2b2=1.
- Setting \boldsymbol{\ \cos t= \big(\frac{x}{a}\big)^{\frac{1}{3}}\} and \boldsymbol{\ \sin t=\big(\frac{y}{a}\big)^{\frac{1}{3}}\} turns cos2t+sin2t=1 into x2/3a2/3+y2/3a2/3=1.
So
⇀r(t)=(acost,bsint)0≤t<2π⇀r(t)=(acos3t,asin3t)0≤t<2π
give parametrizations of x2a2+y2b2=1 and x2/3+y2/3=a2/3, respectively. To see that running t from 0 to 2π runs ⇀r(t) once around the curve, look at the figures below.
The curve x2/3+y2/3=a2/3 is called an astroid. From its equation, we would expect its sketch to look like a deformed circle. But it is probably not so obvious that it would have the pointy bits of the right hand figure. We will not explain here why they arise. The astroid is studied in some detail in Example 1.1.9. In particular, the above sketch is carefully developed there.
A very easy method that can often create parametrizations for a curve is to use x or y as a parameter. Because we can solve ey=1+x2 for y as a function of x, namely y=ln(1+x2), we can use x as the parameter simply by setting t=x. This gives the parametrization
⇀r(t)=(t,ln(1+t2))−∞<t<∞
It is also quite common that one can use either x or y to parametrize part of, but all of, a curve. A simple example is the circle x2+y2=a2. For each −a<x<a, there are two points on the circle with that value of x. So one cannot use x to parametrize the whole circle. Similarly, for each −a<y<a, there are two points on the circle with that value of y. So one cannot use y to parametrize the whole circle. On the other hand
⇀r(t)=(t,√a2−t2)−a<t<a⇀r(t)=(t,−√a2−t2)−a<t<a
provide parametrizations of the top half and bottom half, respectively, of the circle using x as the parameter, and
⇀r(t)=(√a2−t2,t)−a<t<a⇀r(t)=(−√a2−t2,t)−a<t<a
provide parametrizations of the right half and left half, respectively, of the circle using y as the parameter.
In this example, we will undo the parametrization ⇀r(t)=(cost,7−t) and find the Cartesian equation of the curve in question. We may rewrite the parametrization as
x=costy=7−t
Note that we can eliminate the parameter t simply by using the second equation to solve for t as a function of y. Namely t=7−y. Substituting this into the first equation gives us the Cartesian equation
x=cos(7−y)
Curves often arise as the intersection of two surfaces. For example, the intersection of the ellipsoid x2+y22+z23=1 with the paraboloid z=x2+2y2 is the blue curve in the figure below.
One way to parametrize such curves is to choose one of the three coordinates x, y, z as the parameter, and solve the two given equations for the remaining two coordinates, as functions of the parameter. Here are two examples.
The set of all (x,y,z) obeying
x3−e3y=0x2−ey+z=0
is a curve. We can choose to use y as the parameter and think of
x3=e3yx2+z=ey
as a system of two equations for the two unknowns x and z, with y being treated as a given constant, rather than as an unknown. We can now solve the first equation for x, substitute the result into the second equation, and finally solve for z.
x3=e3y⟹x=eyx2+z=ey⟹e2y+z=ey⟹z=ey−e2y
So
\vecs{r} (y) = \big(e^y\,,\,y\,,\,e^y-e^{2y}\big) \nonumber
is a parametrization for the given curve.
The previous example was rigged so that it was easy to solve for x and z as functions of y\text{.} In practice it is not always easy, or even possible, to do so. A more realistic example is the set of all (x,y,z) obeying
\begin{alignat*}{1} x^2+\frac{y^2}{2}+\frac{z^2}{3}&=1\\ x^2+2y^2&=z \end{alignat*}
which is the blue curve in the figure above. Substituting x^2=z-2y^2 (from the second equation) into the first equation gives
-\frac{3}{2}y^2+z+\frac{z^2}{3}=1 \nonumber
or, completing the square,
-\frac{3}{2}y^2 + \frac{1}{3}\Big(z+\frac{3}{2}\Big)^2 = \frac{7}{4} \nonumber
If, for example, we are interested in points (x,y,z) on the curve with y\ge 0\text{,} this can be solved to give y as a function of z\text{.}
y=\sqrt{\frac{2}{9}\Big(z+\frac{3}{2}\Big)^2-\frac{14}{12}} \nonumber
Then x^2=z-2y^2 also gives x as a function of z\text{.} If x\ge 0\text{,}
\begin{align*} x&=\sqrt{z-\frac{4}{9}\Big(z+\frac{3}{2}\Big)^2+\frac{14}{6}}\\ &=\sqrt{\frac{4}{3}-\frac{4}{9}z^2-\frac{1}{3}z} \end{align*}
The other signs of x and y can be gotten by using the appropriate square roots. In this example, (x,y,z) is on the curve, i.e. satisfies the two original equations, if and only if all of (\pm x,\pm y, z) are also on the curve.
- We are going to use boldface letters, like \vecs{r} \text{,} to designate vectors. When writing by hand, it is clearer to use arrows, like \vec r\text{,} instead.
- 1.1: Derivatives, Velocity, Etc.
- This being a Calculus text, one of our main operations is differentiation. We are now interested in parametrizations \vecs{r} (t)\text{.} It is very easy and natural to extend our definition of derivative to \vecs{r} (t) as follows.
- 1.2: Reparametrization
- There are invariably many ways to parametrize a given curve. Kind of trivially, one can always replace t by, for example, 3u\text{.} But there are also more substantial ways to reparametrize curves.
- 1.3: Curvature
- So far, when we have wanted to approximate a complicated curve by a simple curve near some point, we drew the tangent line to the curve at the point. That's pretty crude. In particular tangent lines are straight — they don't curve. We will get a much better idea of what the complicated curve looks like if we approximate it, locally, by a very simple “curvy curve” rather than by a straight line.
- 1.4: Curves in Three Dimensions
- So far, we have developed formulae for the curvature, unit tangent vector, etc., at a point \vecs{r} (t) on a curve that lies in the xy-plane. We now extend our discussion to curves in \bbbr^3\text{.}
- 1.5: A Compendium of Curve Formula
- In the following \vecs{r} (t)=\big(x(t)\,,\,y(t)\,,\,z(t)\big) is a parametrization of some curve.
- 1.6: Integrating Along a Curve
- Suppose that we have a curve \mathcal{C} that is parametrized as \vecs{r} (t) with a\le t\le b\text{.} Suppose further that \mathcal{C} is actually a piece of wire and that the density (i.e. mass per unit length) of the wire at the point \vecs{r} is \rho(\vecs{r} )\text{.} How do we figure out the mass of \mathcal{C}\text{?} Of course we use the standard Calculus divide and conquer strategy.
- 1.7: Sliding on a Curve
- We are going to investigate the motion of a particle of mass m sliding on a frictionless, smooth curve that lies in a vertical plane. We will consider three scenarios:
- 1.8: Optional — Polar Coordinates
- So far we have always written vectors in two dimensions in terms of the basis vectors \hat{\pmb{\imath}} and \hat{\pmb{\jmath}}\text{.} This is not always convenient.
- 1.9: Optional — Central Forces
- One of the great triumphs of Newtonian mechanics was the explanation of Kepler's laws, which said
- 1.10: Optional — Planetary Motion
- We now return to the claim, made in §1.9 on central forces, that if \vecs{r} (t) obeys Newton's inverse square law
- 1.11: Optional — The Astroid
- Imagine a ball of radius a/4 rolling around the inside of a circle of radius a\text{.} The curve traced by a point P painted on the inner circle (that's the blue curve in the figures below) is called an astroid. We shall find its equation.
- 1.12: Optional — Parametrizing Circles
- We now discuss a simple strategy for parametrizing circles in three dimensions, starting with the circle in the xy-plane that has radius \rho and is centred on the origin. This is easy to parametrize: