Why is the input range 0<s<3 and -2<t<2 in the first example?

It was an arbitrary choice. He could have chosen any intervals. -10<s<10, -10<t<10, for example. Or even all real numbers for both parameters.

I am totally lost on why: t cannot equal u? v(t) is not multiplied by both cos(u) and sin(u)? why we need v(t)?

t is allowed to equal u, but they aren’t the same variable. They vary independently. Suppose t ∈ [0, 2π] and u ∈ [0, 2π] as well. For every value of t, u can sweep out values from 0 to 2π. This includes inputs (t, u) such as (π, π), (0, 2π) and so on. To answer your 3rd question next, v̂(t) is necessary so the small circles “turn” with c⃗(t). If c⃗(t) is at coords (0, 3, 0), which is t = π / 2, then the circle d⃗(u, t) sweeps out should _be in the same plane_ as c⃗(t) and k̂. For example, the xy plane cuts the circle at c⃗(t) = (0, 3, 0) but not at (3, 0, 0). v̂(t) is the unit vector (vector with magnitude 1) that points along c⃗(t). As such, there’s a plane that’s formed by the unit vectors v̂(t) and k̂. v̂(t) is just the “x-coord” and k̂ is the “y-coord”. Then, the circle in this plane would be cos(u)v̂(t) + sin(u)k̂, which just so happens to be d⃗(u, t). v̂(t) is multiplied by cos(u) because it represents the “x-component” while sin(u) represents the “y-component”. Hope this helps!

Why do I get a funny looking picture when I set u=t? They seem to take on same values.

U and t are supposed to be independent in regard to each other. If you write: u = t, it means that every time you change 't', 'u' changes along with it.

why is cos(u) multiplied by sin(t)? Are they not in different axis?

cos(u) is the part of vector d in the xy-plane. This vector's direction depends on where you are on the "big" circle; hence the dependence on t.

Main content

Multivariable calculus

Course: Multivariable calculus > Unit 1

Lesson 6: Visualizing multivariable functions (articles)

Parametric functions, two parameters

Q: Why is the input range 0<s<3 and -2<t<2 in the first example?

It was an arbitrary choice. He could have chosen any intervals. -10<s<10, -10<t<10, for example. Or even all real numbers for both parameters.

Q: I am totally lost on why: t cannot equal u? v(t) is not multiplied by both cos(u) and sin(u)? why we need v(t)?

t is allowed to equal u, but they aren’t the same variable. They vary independently. Suppose t ∈ [0, 2π] and u ∈ [0, 2π] as well. For every value of t, u can sweep out values from 0 to 2π. This includes inputs (t, u) such as (π, π), (0, 2π) and so on. To answer your 3rd question next, v̂(t) is necessary so the small circles “turn” with c⃗(t). If c⃗(t) is at coords (0, 3, 0), which is t = π / 2, then the circle d⃗(u, t) sweeps out should _be in the same plane_ as c⃗(t) and k̂. For example, the xy plane cuts the circle at c⃗(t) = (0, 3, 0) but not at (3, 0, 0). v̂(t) is the unit vector (vector with magnitude 1) that points along c⃗(t). As such, there’s a plane that’s formed by the unit vectors v̂(t) and k̂. v̂(t) is just the “x-coord” and k̂ is the “y-coord”. Then, the circle in this plane would be cos(u)v̂(t) + sin(u)k̂, which just so happens to be d⃗(u, t). v̂(t) is multiplied by cos(u) because it represents the “x-component” while sin(u) represents the “y-component”. Hope this helps!

Q: Why do I get a funny looking picture when I set u=t? They seem to take on same values.

U and t are supposed to be independent in regard to each other. If you write: u = t, it means that every time you change 't', 'u' changes along with it.

Q: why is cos(u) multiplied by sin(t)? Are they not in different axis?

cos(u) is the part of vector d in the xy-plane. This vector's direction depends on where you are on the "big" circle; hence the dependence on t.

Google Classroom

To represent surfaces in space, you can use functions with a two-dimensional input and a three-dimensional output.

Background

What we're building to

You can visualize a function with a two-dimensional input and a three-dimensional output by plotting all the output points corresponding to some region of the input space. This results in a surface, known as a parametric surface.
The process of going the other way around, starting with a surface in space and trying to find a function that "draws" this surface, is known as parameterizing the surface. In general, this is a tricky thing to do.

Quick review of one-parameter functions

In the last article, I talked about visualizing functions with a one-dimensional input and a two-dimensional output. For example:

$\displaystyle f(t) = \left[ \begin{array}{c} t\cos(t) \\ \sin(t) \end{array} \right]$

I talked about how because the output space has more dimensions than the input space, you can get a good feel for the function just by seeing which points in the output space are "hit" by the function as the input t ranges over some set of values.

When a function is interpreted this way, it is known as a parametric function, and its input t is called the parameter

Two parameters

We can do something very similar with functions that have a two-dimensional input and a three-dimensional output.

$\displaystyle f(s, t) = \left[ \begin{array}{c} t^3 - st \\ s-t \\ s+t \end{array} \right]$

Both input coordinates s and t will be known as the parameters, and you are about to see how this function draws a surface in three-dimensional space.

[Relationship with parametric equations]

The first step to representing a function like this is to specify a range for the input, such as

\begin{aligned} \quad 0 < &s < 3 \\ -2 < &t < 2 \end{aligned}

Here's what that region looks like in the input space.

Next, we consider all possible outputs of the function in that range.

Input left parenthesis, s, comma, t, right parenthesis	Output left parenthesis, t, cubed, minus, s, t, comma, s, minus, t, comma, s, plus, t, right parenthesis
left parenthesis, 0, comma, 0, right parenthesis	left parenthesis, 0, comma, 0, comma, 0, right parenthesis
left parenthesis, 1, comma, 0, right parenthesis	left parenthesis, 1, comma, 1, comma, 1, right parenthesis
left parenthesis, 2, comma, 1, right parenthesis	left parenthesis, 6, comma, 1, comma, 3, right parenthesis
\varvdots, rectangle	\varvdots, rectangle

Okay, so we don't literally write out all possible outputs, since, you know, that involves infinitely many things. In principle, though, our goal is to represent all those values. Since the function spits out a three-coordinate output, we visualize this output in three-dimensional space.

The following animation shows what it looks like as the points left parenthesis, s, comma, t, right parenthesis in the parameter space move to the corresponding output f, left parenthesis, s, comma, t, right parenthesis in three-dimensional space:

Khan Academy video wrapper

See video transcript

The resulting surface in three-dimensional space is called a parametric surface.

Warning: Surfaces like these can be confused with the graphs of functions that have a two-dimensional input and a one-dimensional output since those are also drawn as surfaces in three-dimensional space. But these parametric functions have a very different flavor. They have a two-dimensional input and a three-dimensional output. Notice, this means graphing them would require five dimensions!

Parameterizing a surface

One of the best ways to get a feel for parametric functions is to start with a surface that you want to describe, then try to find a function that will draw this as a parametric surface. This is also a necessary skill when you start learning about surface integrals later on in multivariable calculus.

Be warned, though, parameterizing surfaces is not easy. In the following example, we will parameterize a torus, the fancy word for the surface of a doughnut. As surfaces go, a torus is a relatively simple example, but it still takes some serious effort.

Example: Parameterize a torus (doughnut)

Consider the surface pictured above. You can think of it as a doughnut shape, or perhaps just as the glaze on the doughnut, since we don't care about the filling. Our goal right now is to find a function with a two-dimensional input, and a three-dimensional output, such that this doughnut shape is the output.

We imagine "drawing" the surface, although one does not simply draw a surface with a pencil and paper the way we can draw a curve.

[Just ask Boromir]

Instead, our strategy will be to draw each circular slice of the torus. To see what I mean, here is a sample of those circular slices (drawn in blue):

I also drew a large red circle on the x, y-plane running through the centers of each of these slices. This is not part of the torus, but will be a useful reference point for the end goal of drawing each blue slice.

In a real problem, the radius of the red circle might be given to you, as would the radius of each blue circular slice. For now, let's choose arbitrarily that the radius of the red circle is 3, and the radius of each blue slice is 1, with the understanding that choosing different values would give different toruses (torii? torotes?).

Core idea: We will describe each point on the torus as the sum of two vectors:

A vector start bold text, c, end bold text, with, vector, on top from the origin to a point on the red circle. To specify which point on the red circle, we will make this a vector-valued function that depends on a parameter t. As the value of t changes, the point on the red circle described by start bold text, c, end bold text, with, vector, on top, left parenthesis, t, right parenthesis will change.
A vector start bold text, d, end bold text, with, vector, on top from that point on the red circle to a point on the corresponding "slice" of the torus. The direction this vector points will depend on which point of the red circle it is anchored to, so the value of start bold text, d, end bold text, with, vector, on top should depend on the parameter t used to describe points of the red circle. Furthermore, we will use a second parameter u to determine which part of the blue torus slice start bold text, d, end bold text, with, vector, on top points to.
Vector left parenthesis, with, \overrightarrow, on top, start bold text, d, end bold text, right parenthesis, left parenthesis, u, comma, t, right parenthesis from the red circle to a point on the torus itself.

This means points on the torus will each be described as a sum.

start bold text, c, end bold text, with, vector, on top, left parenthesis, t, right parenthesis, plus, start bold text, d, end bold text, with, vector, on top, left parenthesis, u, comma, t, right parenthesis

(If you are unfamiliar with the tip-to-tail method of adding vectors, consider reviewing this video).

Why this strategy?

The idea here is that we don't immediately know how to define points on a torus, but we do know how to define circles.

Since the big red circle is flat on the x, y-plane, and has radius 3, we can parameterize it as follows:

\begin{aligned} \quad \vec{\textbf{c}}(t) = 3 \left[ \begin{array}{c} \cos(t) \\ \sin(t) \\ 0 \end{array} \right] = 3 \cos(t) \hat{\textbf{i}} + 3 \sin(t) \hat{\textbf{j}} + 0 \hat{\textbf{k}} \end{aligned}

[What is this i, j and k notation?]

Now, the vector-valued function start bold text, d, end bold text, with, vector, on top, left parenthesis, u, comma, t, right parenthesis should also describe a circle, but it's a bit trickier. The (blue) circular slice of the torus we want start bold text, d, end bold text, with, vector, on top, left parenthesis, u, comma, t, right parenthesis to draw is at an angle. How do you draw a circle which is sitting at an angle in three-dimensional space?

Well, let's start from what we know. We know that in two dimensions, a unit circle centered at the origin can be described with the parametric function

$\begin{aligned} \quad g(u) = \left[ \begin{array}{a} \cos(u) \\ \sin(u) \end{array} \right] = \cos(u) \hat{\textbf{i}} + \sin(u) \hat{\textbf{j}} \end{aligned}$

For our desired blue circular slice, we do something similar, but we exchange start bold text, i, end bold text, with, hat, on top and start bold text, j, end bold text, with, hat, on top for different unit vectors. Take a look at this picture:

Instead of the "sideways" direction being start bold text, i, end bold text, with, hat, on top, the unit vector in the x-direction, we think of it as the unit vector pointing away from the origin, which we'll call start bold text, v, end bold text, with, hat, on top. Actually, since that direction might depend on where we start, start bold text, v, end bold text, with, hat, on top should be a vector-valued function dependent on the parameter t, so we write it as start bold text, v, end bold text, with, hat, on top, left parenthesis, t, right parenthesis.

Similarly the "upward" direction is no longer start bold text, j, end bold text, with, hat, on top, but start bold text, k, end bold text, with, hat, on top, the unit vector in the z-direction. Therefore, the parameterization of the circular slice should look something like this:

\begin{aligned} \quad \vec{\textbf{d}}(u, t) = \cos(u) \hat{\textbf{v}}(t) + \sin(u) \hat{\textbf{k}} \end{aligned}

This of course leaves us with a question: What is the formula for start bold text, v, end bold text, with, hat, on top, left parenthesis, t, right parenthesis?

Looking at the picture, the direction away from the origin is also described by start bold text, c, end bold text, with, vector, on top, left parenthesis, t, right parenthesis, so the formula for start bold text, v, end bold text, with, hat, on top, left parenthesis, t, right parenthesis should be the same as that for start bold text, c, end bold text, with, vector, on top, left parenthesis, t, right parenthesis, but scaled down to be a unit vector.

\begin{aligned} \quad \vec{\textbf{c}}(t) = 3&\left[\begin{array}{c} \cos(t) \\ \sin(t) \\ 0 \end{array} \right] \quad \leftarrow \small{\gray{\text{Not a unit vector}}} \\ \Downarrow& \\ \hat{\textbf{v}}(t) = &\left[\begin{array}{c} \cos(t) \\ \sin(t) \\ 0 \end{array} \right] \quad \leftarrow \small{\gray{\text{Unit vector}}} \end{aligned}

This means our full expression for start bold text, d, end bold text, with, vector, on top, left parenthesis, u, comma, t, right parenthesis is

\begin{aligned} \quad \vec{\textbf{d}}(u, t) &= \cos(u) \hat{\textbf{v}}(t) + \sin(u) \hat{\textbf{k}} \\ &= \cos(u) \left[\begin{array}{c} \cos(t) \\ \sin(t) \\ 0 \end{array} \right]+ \sin(u) \left[\begin{array}{c} 0 \\ 0 \\ 1 \end{array} \right] = \left[\begin{array}{c} \cos(u)\cos(t) \\ \cos(u)\sin(t) \\ \sin(u) \end{array} \right] \end{aligned}

Bring it on home

Remember, the whole reason we defined start bold text, d, end bold text, with, vector, on top, left parenthesis, u, comma, t, right parenthesis and start bold text, c, end bold text, with, vector, on top, left parenthesis, t, right parenthesis was to describe each point on the torus as start bold text, c, end bold text, with, vector, on top, left parenthesis, t, right parenthesis, plus, start bold text, d, end bold text, with, vector, on top, left parenthesis, u, comma, t, right parenthesis. Putting this together, we have the following vector-valued two-parameter function:

\begin{aligned} \quad \vec{f}(u, t) &= \vec{\textbf{c}}(t) + \vec{\textbf{d}}(u, t) \\ &= 3\left[\begin{array}{c} \cos(t) \\ \sin(t) \\ 0 \end{array} \right] + \left[\begin{array}{c} \cos(u)\cos(t) \\ \cos(u)\sin(t) \\ \sin(u) \end{array} \right] \\ &= \blueE{\left[ \begin{array}{c} 3\cos(t) + \cos(u)\cos(t) \\ 3\sin(t)+\cos(u)\sin(t) \\ \sin(u) \end{array} \right]} \end{aligned}

As u ranges from 0 to 2, pi, the output of this function f, with, vector, on top, left parenthesis, u, comma, t, right parenthesis will trace one of the blue slices, and as t ranges from 0 to 2, pi, the slices themselves will trace out the entire torus.

Here's what it might look like if we take the points from the parameter space where 0, is less than or equal to, u, is less than or equal to, 2, pi and 0, is less than or equal to, t, is less than or equal to, 2, pi, and watch them move to the output of our function f, with, vector, on top, left parenthesis, u, comma, t, right parenthesis:

Khan Academy video wrapper

See video transcript

Summary

You can visualize a function with a two-dimensional input and a three-dimensional output by plotting all the output points corresponding to some region of the input space. This results in a surface, known as a parametric surface.
The process of going the other way around, starting with a surface in space and trying to find a function that "draws" this surface, is known as parameterizing the surface. In general, this is a tricky thing to do.

Sort by:

Want to join the conversation?

Priyanka Thatipamala
Posted 7 years ago. Direct link to Priyanka Thatipamala's post “The first example in this...”
The first example in this article gives f(s,t) = (t^3-st+2,...) but when parameterized gives x = t^3 - st. Shouldn't it be x = t^3 - st + 2 ?
Button navigates to signup pageComment on Priyanka Thatipamala's post “The first example in this...”
(23 votes)
Answer
Ronald Modesitt
Posted 6 years ago. Direct link to Ronald Modesitt's post “I really enjoyed this dis...”
I really enjoyed this discussion of functions. Can you recommend a textbook that provides a similar discussion of functions. My Vector Calc book barely touches the subject in the same manner.
Button navigates to signup pageButton navigates to signup page
(8 votes)
Answer
Avi Bank
Posted 7 years ago. Direct link to Avi Bank's post “http://www.relativitybook...”
http://www.relativitybook.com/CoolStuff/solid_torus_cut.html
Very nice tori stuff.
Button navigates to signup pageButton navigates to signup page
(5 votes)
Answer
Sunny Chen
Posted 6 years ago. Direct link to Sunny Chen's post “Why is the input range 0<...”
Why is the input range 0<s<3 and -2<t<2 in the first example?
Button navigates to signup pageButton navigates to signup page
(3 votes)
Answer
- robshowsides
  Posted 6 years ago. Direct link to robshowsides's post “It was an arbitrary choic...”
  It was an arbitrary choice. He could have chosen any intervals. -10<s<10, -10<t<10, for example. Or even all real numbers for both parameters.
  Button navigates to signup page
  (3 votes)
klr5240
Posted 2 years ago. Direct link to klr5240's post “I am totally lost on why:...”
I am totally lost on why:
t cannot equal u?
v(t) is not multiplied by both cos(u) and sin(u)?
why we need v(t)?
Button navigates to signup pageButton navigates to signup page
(2 votes)
Answer
- Yerboi
  Posted 2 years ago. Direct link to Yerboi's post “t is allowed to equal u, ...”
  t is allowed to equal u, but they aren’t the same variable. They vary independently. Suppose t ∈ [0, 2π] and u ∈ [0, 2π] as well. For every value of t, u can sweep out values from 0 to 2π. This includes inputs (t, u) such as (π, π), (0, 2π) and so on.
  
  To answer your 3rd question next, v̂(t) is necessary so the small circles “turn” with c⃗(t). If c⃗(t) is at coords (0, 3, 0), which is t = π / 2, then the circle d⃗(u, t) sweeps out should be in the same plane as c⃗(t) and k̂. For example, the xy plane cuts the circle at c⃗(t) = (0, 3, 0) but not at (3, 0, 0). v̂(t) is the unit vector (vector with magnitude 1) that points along c⃗(t).
  
  As such, there’s a plane that’s formed by the unit vectors v̂(t) and k̂. v̂(t) is just the “x-coord” and k̂ is the “y-coord”. Then, the circle in this plane would be cos(u)v̂(t) + sin(u)k̂, which just so happens to be d⃗(u, t). v̂(t) is multiplied by cos(u) because it represents the “x-component” while sin(u) represents the “y-component”.
  
  Hope this helps!
  Button navigates to signup page
  (3 votes)
Petar Bulovic
Posted 7 years ago. Direct link to Petar Bulovic's post “Why do I get a funny look...”
Why do I get a funny looking picture when I set u=t? They seem to take on same values.
Button navigates to signup pageButton navigates to signup page
(1 vote)
Answer
- David Radulović
  Posted 7 years ago. Direct link to David Radulović's post “U and t are supposed to b...”
  U and t are supposed to be independent in regard to each other. If you write: u = t, it means that every time you change 't', 'u' changes along with it.
  Comment on David Radulović's post “U and t are supposed to b...”
  (3 votes)
David
Posted 7 years ago. Direct link to David 's post “why is cos(u) multiplied ...”
why is cos(u) multiplied by sin(t)? Are they not in different axis?
Button navigates to signup pageButton navigates to signup page
(1 vote)
Answer
- Todd McFarland
  Posted 7 years ago. Direct link to Todd McFarland's post “cos(u) is the part of vec...”
  cos(u) is the part of vector d in the xy-plane. This vector's direction depends on where you are on the "big" circle; hence the dependence on t.
  Button navigates to signup page
  (2 votes)
Marilyn Barragán Castañeda
Posted 6 years ago. Direct link to Marilyn Barragán Castañeda's post “why this article says tha...”
why this article says that the unit vector of 3cos(t)i+3sin(t)j+0k is just cos(t)i+sin(t)j , it would not be the vector itself over its magnitude?
Button navigates to signup pageButton navigates to signup page
(1 vote)
Answer
- Still No Sheep
  Posted 6 years ago. Direct link to Still No Sheep's post “Because the unit vector m...”
  Because the unit vector must have a magnitude (here: the radius of the circle it describes) of just one unit. The vector 3cos(t)i+3sin(t)j+0k has a magnitude of 3 and describes a circle of radius 3 so it has to be scaled down by a factor of 2/3 (from 3 to 1) to produce a unit vector.
  Button navigates to signup page
  (1 vote)
sandyb4u4ever
Posted 7 years ago. Direct link to sandyb4u4ever's post “In the first video,can th...”
In the first video,can the input space and the surface be represented on the same graph for a better appreciation of input and output spaces interactions...
Button navigates to signup pageButton navigates to signup page
(1 vote)
Answer
- Todd McFarland
  Posted 7 years ago. Direct link to Todd McFarland's post “You could do that althoug...”
  You could do that although I'm not sure it would help understanding how the input maps to the output.
  Button navigates to signup page
  (1 vote)
msaisashank
Posted 6 years ago. Direct link to msaisashank's post “May I know the software t...”
May I know the software that is being used by you for showcasing different models and graphs in 3d just by tweaking some values and choosing some functionalities. Thank you in advance.
Button navigates to signup pageButton navigates to signup page
(1 vote)
Answer
- Kata Ponkilainen
  Posted 6 years ago. Direct link to Kata Ponkilainen's post “It seems they are using A...”
  It seems they are using Apple Grapher, which comes only with sadly. Geogebra is a great alternative with the same (and more) functionality.
  Button navigates to signup page
  (1 vote)