Main content
Multivariable calculus
Course: Multivariable calculus > Unit 1
Lesson 6: Visualizing multivariable functions (articles)Parametric functions, two parameters
To represent surfaces in space, you can use functions with a two-dimensional input and a three-dimensional output.
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:
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 ranges over some set of values.
When a function is interpreted this way, it is known as a parametric function, and its input 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.
Both input coordinates and will be known as the parameters, and you are about to see how this function draws a surface in three-dimensional space.
The first step to representing a function like this is to specify a range for the input, such as
Here's what that region looks like in the input space.
Next, we consider all possible outputs of the function in that range.
Input | Output |
---|---|
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 in the parameter space move to the corresponding output in three-dimensional space:
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.
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 -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 , and the radius of each blue slice is , 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
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 . As the value of changes, the point on the red circle described by will change. - A vector
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 should depend on the parameter used to describe points of the red circle. Furthermore, we will use a second parameter to determine which part of the blue torus slice points to.
This means points on the torus will each be described as a sum.
(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 -plane, and has radius , we can parameterize it as follows:
Now, the vector-valued function should also describe a circle, but it's a bit trickier. The (blue) circular slice of the torus we want 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
For our desired blue circular slice, we do something similar, but we exchange and for different unit vectors. Take a look at this picture:
Instead of the "sideways" direction being , the unit vector in the -direction, we think of it as the unit vector pointing away from the origin, which we'll call . Actually, since that direction might depend on where we start, should be a vector-valued function dependent on the parameter , so we write it as .
Similarly the "upward" direction is no longer , but , the unit vector in the -direction. Therefore, the parameterization of the circular slice should look something like this:
This of course leaves us with a question: What is the formula for ?
Looking at the picture, the direction away from the origin is also described by , so the formula for should be the same as that for , but scaled down to be a unit vector.
This means our full expression for is
Bring it on home
Remember, the whole reason we defined and was to describe each point on the torus as . Putting this together, we have the following vector-valued two-parameter function:
As ranges from to , the output of this function will trace one of the blue slices, and as ranges from to , 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 and , and watch them move to the output of our function :
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.
Want to join the conversation?
- 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 ?(23 votes)
- 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.(8 votes)
- I wonder why don't make it as a video?(8 votes)
- Why is the input range 0<s<3 and -2<t<2 in the first example?(3 votes)
- 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.(3 votes)
- 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)?(2 votes)- 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!(3 votes)
- Why do I get a funny looking picture when I set u=t? They seem to take on same values.(1 vote)
- 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.(3 votes)
- why is cos(u) multiplied by sin(t)? Are they not in different axis?(1 vote)
- 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.(3 votes)
- 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?(1 vote)
- 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.(2 votes)
- 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...(1 vote)
- You could do that although I'm not sure it would help understanding how the input maps to the output.(1 vote)