Skip to main content
Logo image

Section 1.4 Calculus on Space Curves

A space curve is any function \(f:\R \to \R^n\) for \(n \ge 2\text{.}\) These are one dimensional structures (one parameter) existing in 2 dimensions or more. The 2D case were previously studied as parametric form. Most of ours will be in 3D. We will use them as a first opportunity to convert definitions from single variate calculus to definitions in multi-variable calculus.

Subsection 1.4.1 Defining a Limit of Vector Valued Functions

Our goal is to consider how limits apply in higher dimensions, specifically how they apply to vector valued functions. We will start with a graphical experiment.
Figure 1.4.1. Demonstration of Graphing Space Curves by Hand

Activity 18.

(a)
Watch the video on graphing 3D curves (Figure 1.4.1) as needed then graph the following curves by hand. Graphing by hand should help you estimate the limits in the next task; it is not a useful skill for daily life.
(i)
\(C(t)=(5t+3,7-2t,4t-1).\)
(ii)
\(D(t)=\left( \frac{\cos t}{t}, \frac{\sin t}{t}, 1+\frac{\pi}{t} \right).\)
(iii)
\(F(t)=( t, t^2, e^{-t} ).\)
(b)
Based on your graphing estimate the following limits.
(i)
\(\lim_{t \to 5} C(t) \)
(ii)
\(\lim_{t \to \infty} D(t) \)
(iii)
\(\lim_{t \to \infty} F(t) \)

Activity 19.

All limit definitions thus far are for scalar valued functions rather than vector valued functions. The following steps lead to a generalized definition. Note it is often convenient to reference individual elements of vectors. The notation \(C_x\) refers to the \(x\) (or first) element of the point (or vector) \(C.\)
(a)
Calculate the following three limits. \(\lim_{t \to 5} C_x(t), \) \(\lim_{t \to 5} C_y(t), \) \(\lim_{t \to 5} C_z(t). \)
(b)
How do these calculations match your estimate for the limit for \(C(t)\) in Activity 18?
(c)
Copy the formal definition (\(\epsilon\) and \(\delta\) expressions) of \(\lim_{t \to a} f(t) = L. \) You may wish to look up the Illustrated Limit available online.
(d)
Determine which parts of the definition must change for a vector valued function and write this definition.

Example 1.4.2.

Consider the following proof of a limit. \(lim_{x \to 5} 7x-9 = 26.\)
Answer.
\begin{align*} \amp |7x-9-26| \amp \amp \lt \epsilon \amp \text{From the definition of a limit.} \\ \amp |7x-35| \amp \amp \lt \epsilon \amp \text{Algebra} \\ -\epsilon \lt \amp 7x-35 \amp \amp \lt \epsilon \amp \text{From the definition of absolute value.} \\ -\epsilon \lt \amp 7(x-5) \amp \amp \lt \epsilon \amp \text{Algebra, because we want } |x-5| \\ -\frac{\epsilon}{7} \lt \amp x-5 \amp \amp \lt \frac{\epsilon}{7} \amp \text{Algebra} \\ \amp |x-5| \amp \amp \lt \frac{\epsilon}{7} \amp \text{From the definition of absolute value.} \\ \amp \delta \amp \amp = \frac{\epsilon}{7} \amp \text{From the definition of a limit.} \end{align*}
Thus for all \(\epsilon>0\) there exists a \(\delta>0\) namely \(\delta=\epsilon/7\) that satisfies \(|x-5| \lt \delta\) implies \(|f(x)-26| \lt \epsilon.\)

Activity 20. Vector Valued Limit Proof.

Use the example from Example 1.4.2 and the definition from Activity 19 to prove the limit \(\lim_{t \to 5} C(t) \) using the formal definition and this example.

Subsection 1.4.2 Defining a Derivative of Vector Valued Functions

Definition 1.4.3. Derivative of a Scalar Valued Function.

The derivative of the function \(f:\R \to \R\) at a value \(a\) denoted \(f^\prime(a)\) is defined by
\begin{equation*} f^\prime(a) = \lim_{x \to a} \frac{f(x)-f(a)}{x-a}. \end{equation*}

Activity 21.

This definition is for scalar rather than vector valued functions. The following steps lead to a generalized definition.
(a)
Note that \(f(x)-f(a)\) provides the distance from \(a\) to \(x\text{.}\) How does it also include direction?
(b)
This is direction and distance which we call what?
(c)
Can the same calculation as in the first step be performed for a vector valued function?
(d)
Can the division (by \(x-a\)) still be performed? If so, how?
(e)
Write a definition for the derivative of a vector valued function.
(f)
If \(f(x)\) represented the position of an object at time \(x\text{,}\) then \(f^\prime(x)\) represented the velocity of the object. Does this still work with vector valued functions?
(g)
How are the vector valued function definitions of limit and derivative similar?

Exercises Exercises

Calculate the following.
1.
\(\vec{r}(t)=(t^2+1,3t,5).\) \(\vec{r}^\prime(t)=\)
2.
\(P(t)=(t,\cos t, \sin t).\) \(P^\prime(t)=\)
3.
If \(P\) represents Guido’s position at time \(t,\) what is \(P^\prime\text{?}\)

Subsection 1.4.3 Integrals of Vector Valued Functions

Just as limits and derivatives can be extended to vector valued functions, so can integrals. The first, arclength, is an extension of the arclength calculated in parametric form, the second is an introduction to later topics this semester.

Subsubsection 1.4.3.1 Arclength

In this section consider how integrals can be applied when vector valued functions output points. It is possible to add the areas beneath curves like in single variate calculus, but that will be done later. Note in the following examples the functions provide points, but you must calculate distances.
Activity 22.
(a)
As a big ball is pushed around it ends up at the following locations in order. It starts at \((0,0),\) then moves to \((3,1),\) \((5,2),\) \((9,3),\) \((12,5).\) How far has the ball traveled?
(b)
A car is spinning across an icy surface. At time \(t\) the car is at position \((t, \sqrt{2t-t^2}).\) At time \(t=2\) how far has the car spun?
Hint.
Graph this to identify the path.
Because we are calculating distances, these problems can be considered to be summing the lengths of the vectors from one point to the next (if only finitely many points are considered). Thus arclength of a vector valued function \(P(t)\) over \(t \in [a,b]\) can be calculated by
\begin{equation*} \int_a^b \|P^\prime(t)\| \; dt. \end{equation*}
Exercises Exercises
1.
Calculate the arclength of \(P(t)=(\cos t, \sin t)\) using the formula.
2.
Calculate the arclength again using some other method.