13.1: Space Curves
- Page ID
- 961
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)We have already seen that a convenient way to describe a line in three dimensions is to provide a vector that "points to'' every point on the line as a parameter \(t\) varies, like
\[\langle 1,2,3\rangle+t\langle 1,-2,2\rangle
=\langle 1+t,2-2t,3+2t\rangle.\]
Except that this gives a particularly simple geometric object, there is nothing special about the individual functions of \(t\) that make up the coordinates of this vector---any vector with a parameter, like \(\langle f(t),g(t),h(t)\rangle\), will describe some curve in three dimensions as \(t\) varies through all possible values.
Example 13.1.1
Describe the curves \(\langle \cos t,\sin t,0\rangle\), \(\langle \cos t,\sin t,t\rangle\), and \(\langle \cos t,\sin t,2t\rangle\).
Solution
As \(t\) varies, the first two coordinates in all three functions trace out the points on the unit circle, starting with \((1,0)\) when \(t=0\) and proceeding counter-clockwise around the circle as \(t\) increases. In the first case, the \(z\) coordinate is always 0, so this describes precisely the unit circle in the \(x\)-\(y\) plane. In the second case, the \(x\) and \(y\) coordinates still describe a circle, but now the \(z\) coordinate varies, so that the height of the curve matches the value of \(t\). When \(t=\pi\), for example, the resulting vector is \(\langle -1,0,\pi\rangle\). A bit of thought should convince you that the result is a helix. In the third vector, the \(z\) coordinate varies twice as fast as the parameter \(t\), so we get a stretched out helix. Both are shown in figure 13.1.1. On the left is the first helix, shown for \(t\) between 0 and \(4\pi\); on the right is the second helix, shown for \(t\) between 0 and \(2\pi\). Both start and end at the same point, but the first helix takes two full "turns'' to get there, because its \(z\) coordinate grows more slowly.
Figure 13.1.1. Two helixes.
A vector expression of the form \(\langle f(t),g(t),h(t)\rangle\) is called a vector function; it is a function from the real numbers \(\mathbb{R}\) to the set of all three-dimensional vectors.
We can alternately think of it as three separate functions, \(x=f(t)\), \(y=g(t)\), and \(z=h(t)\), that describe points in space. In this case we usually refer to the set of equations as parametric equations for the curve, just as for a line. While the parameter \(t\) in a vector function might represent any one of a number of physical quantities, or be simply a "pure number'', it is often convenient and useful to think of \(t\) as representing time. The vector function then tells you where in space
a particular object is at any time.
Vector functions can be difficult to understand, that is, difficult to picture. When available, computer software can be very helpful. When working by hand, one useful approach is to consider the "projections'' of the curve onto the three standard coordinate planes. We have already done this in part: in example 13.1.1 we noted that all three curves project to a circle in the \(x\)-\(y\) plane, since \(\langle \cos t,\sin t\rangle\) is a two dimensional vector function for the unit circle.
Example 13.1.2
Graph the projections of \(\langle \cos t,\sin t,2t\rangle\) onto the \(x\)-\(z\) plane and the \(y\)-\(z\) plane.
Solution
The two dimensional vector function for the projection onto the \(x\)-\(z\) plane is \(\langle \cos t, 2t\rangle\), or in parametric form, \(x=\cos t\), \(z=2t\). By eliminating \(t\) we get the equation \(x=\cos(z/2)\), the familiar curve shown on the left in figure~\xrefn{fig:helix projections}. For the projection onto the \(y\)-\(z\) plane, we start with the vector function \(\langle \sin t, 2t\rangle\), which is the same as \(y=\sin t\), \(z=2t\). Eliminating \(t\) gives \(y=\sin(z/2)\), as shown on the right in figure 13.1.2.
Figure 13.1.2. The projections of \(\langle \cos t,\sin
t,2t\rangle\) onto the \(x\)-\(z\) and \(y\)-\(z\) planes.