# 9.6: Vector-Valued Functions

- Page ID
- 107859

\( \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}\)- What is a vector-valued function? What do we mean by the graph of a vector-valued function?
- What is a parameterization of a curve in \(\mathbb{R}^2\text{?}\) In \(\mathbb{R}^3\text{?}\) What can the parameterization of a curve tell us?

So far, we have seen several different examples of curves in space, including traces and contours of functions of two variables, as well as lines in 3-space. Recall that for a line through a fixed point \(\mathbf{r}_0\) in the direction of vector \(\mathbf{v}\text{,}\) we may express the line parametrically through the single vector equation

\[ \mathbf{r}(t) = \mathbf{r}_0 + t\mathbf{v}. \nonumber \]

From this perspective, the vector \(\mathbf{r}(t)\) is a function that depends on the parameter \(t\text{,}\) and the terminal points of this vector trace out the line in space.

Like lines, other curves in space are one-dimensional objects, and thus we aspire to similarly express the coordinates of points on a given curve in terms of a single variable. Vectors are a perfect vehicle for doing so — we can use vectors based at the origin to identify points in space, and connect the terminal points of these vectors to draw a curve in space. This approach will allow us to draw an incredible variety of graphs in 2- and 3-space, as well as to identify and describe curves in \(n\)-space for any \(n\text{.}\) It will also allow us to represent traces and cross sections of surfaces in space.

In this activity we consider how we might use vectors to define a curve in space.

- On a single set of axes in \(\mathbb{R}^2\text{,}\) draw the vectors
- \(\left\langle \cos(0), \sin(0) \right\rangle\text{,}\)
- \(\left\langle \cos\left(\frac{\pi}{2}\right), \sin\left(\frac{\pi}{2}\right) \right\rangle\text{,}\)
- \(\left\langle \cos\left(\pi\right), \sin\left(\pi\right) \right\rangle \text{,}\) and
- \(\displaystyle \left\langle \cos\left(\frac{3\pi}{2}\right), \sin\left(\frac{3\pi}{2}\right) \right\rangle\)

with their initial points at the origin.

- On the same set of axes, draw the vectors
- \(\left\langle \cos\left(\frac{\pi}{4}\right), \sin\left(\frac{\pi}{4}\right) \right\rangle\text{,}\)
- \(\left\langle \cos\left(\frac{3\pi}{4}\right), \sin\left(\frac{3\pi}{4}\right) \right\rangle\text{,}\)
- \(\left\langle \cos\left(\frac{5\pi}{4}\right), \sin\left(\frac{5\pi}{4}\right) \right\rangle\text{,}\) and
- \(\displaystyle \left\langle \cos\left(\frac{7\pi}{4}\right), \sin\left(\frac{7\pi}{4}\right) \right\rangle\)

with their initial points at the origin.

- Based on the pictures from parts (a) and (b), sketch the set of
*terminal*points of all of the vectors of the form \(\langle \cos(t), \sin(t) \rangle\text{,}\) where \(t\) assumes values from 0 to \(2 \pi\text{.}\) What is the resulting figure? Why? - Suppose we sketched the terminal points of all vectors of the form \(\langle \cos(t), \sin(t) \rangle\text{,}\) where \(t\) assumes values from 0 to \(\pi\text{.}\) How does the resulting picture differ from the one in part (c)? What about for \(t\) from 0 to \(4 \pi\text{?}\)

## Vector-Valued Functions

Consider the curve shown in Figure \(\PageIndex{1}\). As in Preview Activity \(\PageIndex{1}\), we can think of a point on this curve as resulting from a vector from the origin to the point. As the point travels along the curve, the vector changes in order to terminate at the desired point. A few still pictures of this motion are shown in Figure \(\PageIndex{1}\).

Thus, we can think of the curve as a collection of terminal points of vectors emanating from the origin. We therefore view a point traveling along this curve as a function of time \(t\text{,}\) and define a function \(\mathbf{r}\) whose input is the variable \(t\) and whose output is the vector from the origin to the point on the curve at time \(t\text{.}\) In so doing, we have introduced a new type of function, one whose input is a scalar and whose output is a vector.

The terminal points of the vector outputs of \(\mathbf{r}\) then trace out the curve in space. From this perspective, the \(x\text{,}\) \(y\text{,}\) and \(z\) coordinates of the point are functions of time, \(t\text{,}\) say

and thus we have three coordinate functions that enable us to represent the curve. The variable \(t\) is called a *parameter* and the equations \(x = x(t)\text{,}\) \(y = y(t)\text{,}\) and \(z = z(t)\) are called *parametric equations* (or a *parameterization of the curve*). The function \(\mathbf{r}\) whose output is the vector from the origin to a point on the curve is defined by

Note that the input of \(\mathbf{r}\) is the real-valued parameter \(t\) and the corresponding output is vector \(\langle x(t), y(t), z(t) \rangle\text{.}\) Such a function is called a *vector-valued function* because each real number input generates a vector output. More formally, we state the following definition.

A **vector-valued function** is a function whose input is a real parameter \(t\) and whose output is a vector that depends on \(t\text{.}\) The **graph** of a vector-valued function is the set of all terminal points of the output vectors with their initial points at the origin.

**Parametric equations** for a curve are equations of the form

that describe the \((x,y,z)\) coordinates of a point on a curve in \(\mathbb{R}^3\text{.}\)

Note particularly that every set of parametric equations determines a vector-valued function of the form

and every vector-valued function defines a set of parametric equations for a curve. Moreover, we can consider vector-valued functions and parameterizations in \(\mathbb{R}^2\text{,}\) \(\mathbb{R}^4\text{,}\) or indeed a real space of any dimension. As a reminder, in Section 9.5, we determined the parametric equations of a line in space using a point and a direction vector. For a nonlinear example, the curve in Figure \(\PageIndex{1}\) has the parametric equations

Represented as a vector-valued function \(\mathbf{r}\text{,}\) the curve in Figure \(\PageIndex{1}\) is the graph of

The same curve can be represented with different parameterizations. Use appropriate technology to plot the curves generated by the following vector-valued functions for values of \(t\) from \(0\) to \(2 \pi \text{.}\) Compare and contrast the graphs — explain how they are alike and how they are different.

- \(\displaystyle \mathbf{r}(t) = \langle \sin(t), \cos(t) \rangle\)
- \(\displaystyle \mathbf{r}(t) = \langle \sin(2t), \cos(2t) \rangle\)
- \(\displaystyle \mathbf{r}(t) = \langle \cos(t+\pi), \sin(t+\pi) \rangle\)
- \(\displaystyle \mathbf{r}(t) = \langle \cos(t^2), \sin(t^2) \rangle\)

The examples in Activity \(\PageIndex{2}\) illustrate that a parameterization allows us to look not only at the graph, but at the direction and speed at which the graph is traversed as \(t\) changes. In the different parameterizations of the circle, we see that we can start at different points and move around the circle in either direction. The calculus of vector-valued functions — which we will begin to investigate in Section 9.7 — will enable us to precisely quantify the direction, speed, and acceleration of a particle moving along a curve in space. As such, describing curves parametrically will allow us to not only indicate the curve itself, but also to describe how motion occurs along the curve.

Using parametric equations to define vector-valued functions in two dimensions is much more versatile than just defining \(y\) as a function of \(x\text{.}\) In fact, if \(y = f(x)\) is a function of \(x\text{,}\) then we can parameterize the graph of \(f\) by

and thus every single-variable function may be described parametrically. In addition, as we saw in Preview Activity \(\PageIndex{1}\) and Activity \(\PageIndex{2}\), we can use vector-valued functions to represent curves in the plane that do not define \(y\) as a function of \(x\) (or \(x\) as a function of \(y\)). (As a side note: vector-valued functions make it easy to plot the inverse of a one-to-one function in two dimensions. To see how, if \(y = f(x)\)defines a one-to-one function, then we can parameterize this function by \(\mathbf{r}(t) = \langle t, f(t) \rangle\text{.}\) Since the inverse function just reverses the role of input and output, a parameterization for \(f^{-1}\) is \(\langle f(t), t \rangle\text{.}\))

Vector-valued functions can be used to generate many interesting curves. Graph each of the following using an appropriate technological tool, and then write one sentence for each function to describe the behavior of the resulting curve.

- \(\displaystyle \mathbf{r}(t) = \langle t\cos(t), t\sin(t) \rangle\)
- \(\displaystyle \mathbf{r}(t) = \langle \sin(t)\cos(t), t\sin(t) \rangle\)
- \(\displaystyle \mathbf{r}(t) = \langle \sin(5t), \sin(4t) \rangle\)
- \(\mathbf{r}(t) = \langle t^2\sin(t)\cos(t), 0.9t\cos(t^2), \sin(t) \rangle\) (Note that this defines a curve in 3-space.)
- Experiment with different formulas for \(x(t)\) and \(y(t)\) and ranges for \(t\) to see what other interesting curves you can generate. Share your best results with peers.

Recall from our earlier work that the traces and level curves of a function are themselves curves in space. Thus, we may determine parameterizations for them. For example, if \(z = f(x,y) = \cos(x^2 + y^2)\text{,}\) the \(y = 1\) trace of the function is given by setting \(y = 1\) and letting \(x\) be parameterized by the variable \(t\text{;}\) then, the trace is the curve whose parameterization is \(\langle t, 1, \cos(t^2 + 1) \rangle.\)

Consider the paraboloid defined by \(f(x,y) = x^2+y^2\text{.}\)

- Find a parameterization for the \(x=2\) trace of \(f\text{.}\) What type of curve does this trace describe?
- Find a parameterization for the \(y=-1\) trace of \(f\text{.}\) What type of curve does this trace describe?
- Find a parameterization for the level curve \(f(x,y) = 25\text{.}\) What type of curve does this trace describe?
- How do your responses change to all three of the preceding questions if you instead consider the function \(g\) defined by \(g(x,y) = x^2 - y^2\text{?}\) (Hint for generating one of the parameterizations: \(\sec^2(t)-\tan^2(t) = 1\text{.}\))

## Summary

- A vector-valued function is a function whose input is a real parameter \(t\) and whose output is a vector that depends on \(t\text{.}\) The graph of a vector-valued function is the set of all terminal points of the output vectors with their initial points at the origin.
- Every vector-valued function provides a parameterization of a curve. In \(\mathbb{R}^2\text{,}\) a parameterization of a curve is a pair of equations \(x = x(t)\) and \(y = y(t)\) that describes the coordinates of a point \((x,y)\) on the curve in terms of a parameter \(t\text{.}\) In \(\mathbb{R}^3\text{,}\) a parameterization of a curve is a set of three equations \(x = x(t)\text{,}\) \(y=y(t)\text{,}\) and \(z = z(t)\) that describes the coordinates of a point \((x,y,z)\) on the curve in terms of a parameter \(t\text{.}\)