CHAPTER 1
Curves and surfaces
Recall that a function is a rule π that assigns to each element π₯ of a set π΄ an element
π¦ of a set π΅. The set π΄ is the domain of the function, while π΅ is the codomain. For each
π₯ ∈ π΄, the value of the function at π₯ is π¦ = π (π₯). Notice that the domain π΄ consists of
all the π₯’s for which π (π₯) is deο¬ned. Sometimes, the set π΄ is not stated explicitly, but
has to be deduced from the context. The set of all π¦’s which are actually values of the
function π is the range of π ; this is the set
{ π (π₯) : π₯ ∈ π΄} .
There is a subtle diο¬erence between the range and the codomain; the two are the same
if and only if the function is onto.
In MAM1020, you worked mainly with functions whose domains and codomains were
subsets of R. Such a function has a graph
{(π₯, π¦) : π₯ ∈ π΄, π¦ = π (π₯)} ,
which is a subset of the cartesian plane. We can often deduce the properties of a
function from its graph; which is why there is so much emphasis in ο¬rst year on
"sketching the graph of the function".
Example 1.1.
π¦
π¦ = π (π₯)
π
π
π
π
This function is continuous at π₯ = π because
lim π (π₯) = π (π).
π₯→π
13
π
π₯
It is diο¬erentiable at π₯ = π. At the point (π, π (π)), there is a tangent line with slope π ′(π).
This function is Riemann integrable on the interval [π, π], with
∫ π
π
π (π₯) dπ₯ =
∫ π
π
π (π₯) dπ₯ +
∫ π
π
π (π₯) dπ₯.
There is a discontinuity at π₯ = π, since
lim π (π₯) ≠ lim+ π (π₯).
π₯→π −
π₯→π
Of course, if a function is too "wild", for example, if its domain can’t be broken into a
few intervals in R, or if it has lots of discontinuities (like Dirichlet’s function), then we
can’t draw its graph. Our preference is to work with functions such as the one above
whose graphs are made up of some nice smooth curves in R2 , but we don’t always get
what we want.
In MAM2083, we shall study functions whose domains are subsets of Rπ and whose
codomains are subsets of Rπ . If π > 1, then we are speaking about a "function of
several variables". If π > 1, then the function is "vector-valued".
1.1. Curves and surfaces in R3
1.1.1. Functions of two variables. Let’s start with functions of the form
π§ = π (π₯, π¦).
This is a function of two variables. We call π₯ and π¦ the independent variables, while π§
is the dependent variable. The domain of this function consists of all (π₯, π¦) for which
π (π₯, π¦) is deο¬ned. Again, this could be a "weird" subset of R2 , but our preference is to
work with functions whose domains are made up of nice simple things like polygons,
or sectors of circles, and so on. Sometimes it is useful to sketch the domain as a subset
of the cartesian plane:
π¦
(π, π)
π₯
14
At other times, we prefer to draw the domain as if it is lying in the plane π§ = 0 in R3 .
π§
π¦
(π, π, 0)
π₯
Since the values of this function are numbers, its graph {(π₯, π¦, π§) : (π₯, π¦) ∈ π΄, π§ = π (π₯, π¦)}
is a subset of R3 . As long as π (π₯, π¦) is a "nice" function, its graph is some kind of a
surface in R3 .
π§
π§ = π (π₯, π¦)
(π, π, π (π, π))
π¦
(π, π, 0)
π₯
There are many graphics programs that enable you to plot the graph of a function
π§ = π (π₯, π¦) and it is often convenient to use them. However, there is still some merit
to learning how to sketch the graphs of some simple functions, so that you get used to
working with them and discover what to look out for. Obviously, if a function is too
complicated, you won’t manage to sketch its graph. There is always a stage when one
runs up against the limitations of one’s artistic ability.
Definition 1.2. Given any point (π, π) in the domain of a function π§ = π (π₯, π¦), we can
consider the two partial functions π§ = π (π₯, π) and π§ = π (π, π¦).
For the ο¬rst partial function, we are ο¬xing the value of π¦ and treating π§ as if it were a
function of π₯ only. We get the second partial function by ο¬xing π₯ and pretending that π§
is a function of π¦ only. The two partial functions are each functions of a single variable.
Notice that the plane π¦ = π is a vertical plane parallel to the π₯π§-plane. Its intersection
with the π₯π¦-plane is the line parallel to the π₯-axis that passes through the point (π, π, 0).
15
The intersection of this plane with the graph of π§ = π (π₯, π¦) is a curve.
π§
trace
π§ = π (π₯, π¦)
(π, π, π (π, π))
(0, π, 0)
π¦
(π, π, 0)
π₯
Definition 1.3. We call this curve the trace of π§ = π (π₯, π¦) in the plane π¦ = π.
If you think it, you will realise that the trace of π§ = π (π₯, π¦) in the plane π¦ = π is identical
to the graph of the partial function π§ = π (π₯, π). You can see this by looking at the
surface from the perspective of a point very far away on the π¦-axis:
π§
π§ = π (π₯, π)
(π, π, π (π, π))
(π, π, 0)
16
π₯
In the same way, you can consider the trace of π§ = π (π₯, π¦) in the plane π₯ = π. This is
the intersection of the surface with a vertical plane parallel to the π¦π§-plane.
π§
trace
π§ = π (π₯, π¦)
(π, π, π (π, π))
π¦
(π, 0, 0)
(π, π, 0)
π₯
This curve is a copy of the graph of the partial function π§ = π (π, π¦), except that it lies
in the plane π₯ = π. You can see this by looking at the surface from the perspective of a
point very far away on the π₯-axis:
π§
π§ = π (π, π¦)
(π, π, π (π, π))
(π, π, 0)
π¦
By sketching the traces of π§ = π (π₯, π¦) in suο¬ciently many planes, you can get a pretty
good idea what the surface looks like. This is the approach which many graphics
programs use, when they produce "wireframes" of the surface. Of course, you aren’t
restricted to using planes that are of the form π₯ = π or π¦ = π. Sometimes, you get
very useful information by considering the intersection of π§ = π (π₯, π¦) with a horizontal
plane of the form π§ = π, where π is chosen to be a number in the range of the function
π . The diο¬erence now is that we aren’t just looking at the graph of a partial function;
in fact, the curve π (π₯, π¦) = π might not be the graph of a function, and it might be
diο¬cult to solve this equation. However, if you can work out what these "horizontal
cross-sections" look like, they help you to sketch the surface.
17
Closely related to these traces are the level curves or contours of the function π§ = π (π₯, π¦).
These are curves of the form π (π₯, π¦) = π, but in the cartesian plane. In other words,
they live in 2D, while the traces π (π₯, π¦) = π lie on the surface π§ = π (π₯, π¦), and therefore
live in 3D. Remember that the domain of the function π is a subset of R2 . Each point
(π, π) in this domain lies on a level curve π (π₯, π¦) = π (π, π). The corresponding point
(π, π, π (π, π)) on the graph of π§ = π (π₯, π¦) lies on the trace of π§ = π (π₯, π¦) in the horizontal
plane π§ = π (π, π).
π§
(0, 0, π (π, π))
trace
(π, π, π (π, π))
π¦
(π, π, 0)
π₯
Very often, one can deduce the behaviour of the function π§ = π (π₯, π¦) by looking at its
level curves. If you sketch enough of them, you get a "contour map" of the surface,
just like you used to do in Geography: the value of π§ = π (π₯, π¦) represents height
above or below the π₯π¦-plane. Using such a map, you can work out in which directions
the function is increasing or decreasing, and see where it is likely to have maxima or
minima.
A very simple but important idea is that on any contour π (π₯, π¦) = π in the cartesian
plane, the "height" π (π₯, π¦) stays constant. This is why we call the contours "level
curves".
Example 1.4. Consider the function π§ = π₯ 2 + π¦ 2 − 6.
The ο¬rst thing to note is that this function is deο¬ned for all (π₯, π¦) ∈ R2 . Since its domain
is unbounded, we can’t sketch the entire graph π§ = π₯ 2 + π¦ 2 − 6, but only a portion of
this surface.
The trace of this function in the plane π¦ = 3 is a parabola, π§ = π₯ 2 + 3. In the plane
π₯ = 1, its trace is another parabola, π§ = π¦ 2 − 5. In the plane π§ = 4, the trace is a circle,
π₯ 2 + π¦ 2 = 10.
More generally, the trace of this function in any vertical plane of the form π₯ = π or
π¦ = π is a parabola lying in that plane. All these parabolas have essentially the same
18
shape, as they are either of the form π§ = π¦ 2 + π or of the form π§ = π₯ 2 + π for suitable
values of π. On the other hand, if we choose a number π > −6, then the trace of
π§ = π₯ 2 + π¦ 2 − 6 in the plane π§ = π is a circle in that plane, centred at the point (0, 0, π)
√
and with radius π + 6. If π < −6, then the equation π₯ 2 + π¦ 2 − 6 = π doesn’t have any
solutions. If π = −6, then the trace consists of precisely one point, (0, 0, −6). The range
of the function π§ = π₯ 2 + π¦ 2 − 6 is the interval [−6, ∞).
Since the vertical traces are all parabolas, while the horizontal traces are circles, we call
the graph of π§ = π₯ 2 + π¦ 2 − 6 a circular paraboloid. Less formally, you could describe it as
being a "bowl". Its vertex is the point (0, 0, −6).
π§
π§ = π₯2 + π¦2 − 6
π¦
π₯
(0, 0, −6)
Remember that the level curves for this function lie in the cartesian plane (i.e., R2 ).
They make up a family of concentric circles, centred at (0, 0).
π¦
π§ = −6
π§ = −5
π§ = −4
π§ = −3
π₯
π§ = −2
π§ = −1
π§=0
The fact that the level curves are a family of concentric circles shows that the graph of
this function is a surface of revolution, generated in this case by rotating a parabola
π§ = π₯ 2 − 6 about the π§-axis. The fact that these circles get closer together as one moves
way from their centre means that in R3 the surface gets steeper and steeper as one
moves way from the π§-axis.
19
Example 1.5. Consider the function π§ = 1 − π₯ 2 − 4π¦ 2 .
Again, this is deο¬ned for all (π₯, π¦) ∈ R2 . In this case, the range of the function
is the interval (−∞, 1]. For each (π, π) ∈ R2 , the partial functions are of the form
π§ = (1 − 4π) − π₯ 2 and π§ = 1 − π₯ 2 − 4π¦ 2 , so the traces of this function in the vertical
planes π¦ = π and π₯ = π are parabolas. This tells us that the graph is again some kind
of paraboloid. However, this time the parabolas all open downwards, so the "bowl" is
upside down.
Notice also that the level curves of this function are of the form
1 − π₯ 2 − 4π¦ 2 = π,
where π ≤ 1. If π < 1, then this equation can be written as
π¦2
π₯2
+
= 1,
1 − π (1 − π) /4
so the level curves are a family of ellipses, centred at (0, 0), with their major axes along
the π₯-axis and their minor axes along the π¦-axis.
π§=1
π§=0
π§ = −1
π¦
π§ = −2
π§ = −3
π₯
π§ = −4
π§ = −5
π§ = −6
π§ = −7
π§ = −8
The fact that these curves aren’t circles tells us that this graph isn’t a surface of revolution. Since its horizontal cross-sections are ellipses, it is an elliptical paraboloid. Its
20
vertex is at (0, 0, 1).
π§
(0, 0, 1)
π§ = 1 − π₯ 2 − 4π¦ 2
π¦
π₯
Example 1.6. Consider the function π (π₯, π¦) =
p
π₯2 + π¦2 .
This is deο¬ned for all (π₯, π¦) ∈ R2 . An important point is that this function only takes on
non-negative values. Let’s start with the level curves. For each π ≥ 0, the level curve
π (π₯, π¦) = π is a circle of the form π₯ 2 + π¦ 2 = π 2 . Once again, these curves form a family
of concentric circles, centre (0, 0).
π¦
π§=0
π§=1
π§=2
π₯
π§=3
π§=4
π§=5
However, the diο¬erence now is that if we increment π by some ο¬xed amount, then the
radii of the corresponding circles will increase by that same amount. In other words,
the steepness of the surface doesn’t change.
The fact that the level curves are concentric circles means that the graph of this function
√
is a surface of revolution. Its trace in the plane π¦ = 0 is π§ = π₯ 2 = |π₯|. If you imagine
rotating this curve around the π§-axis, you will realise that the graph of this function is
21
a cone:
π§
π§=
p
π₯2 + π¦2
π¦
π₯
(Strictly speaking, this is actually a "half-cone". A cone is a surface like π§ 2 = π₯ 2 + π¦ 2 ,
which consists of the graph shown above together with its reο¬ection in the π₯π¦-plane.)
Example 1.7. Consider the function π§ =
p
9 − π₯2 − π¦2.
The ο¬rst thing to notice is that this function isn’t deο¬ned for all values of (π₯, π¦) ∈ R2 .
In fact, its domain is the circular disc π = (π₯, π¦) ∈ R2 : π₯ 2 + π¦ 2 ≤ 9 . Its range is the
closed interval [0, 3]. For each π in this interval, the level curve corresponding to π§ = π
is a circle π₯ 2 + π¦ 2 = 9 − π 2 . Thus the level curves form a family of concentric circles
ο¬tting inside the disc π. Once again, we have a surface of revolution. The trace of this
√
surface in the plane π¦ = 0 is the semicircle π§ = 9 − π₯ 2 . Rotating this semicircle about
the π§-axis generates the graph, which is thus a hemisphere.
Example 1.8. Consider the function π§ = π¦ 2 − π₯ 2 .
The domain of this function is R2 . It’s not diο¬cult to see that π§ can take on any real
value, so the range of this function is R. For each (π, π) ∈ R2 , the partial functions are
π§ = π 2 − π₯ 2 and π§ = π¦ 2 − π 2 , so the trace of π§ = π¦ 2 − π₯ 2 in the plane π¦ = π is a parabola
opening downwards, while the trace in the plane π₯ = π is a parabola opening upwards.
This is a tricky surface to draw. I ο¬nd the best approach is to use the traces we’ve just
described:
π§
π§ = π¦2 − π₯2
π¦
π₯
22
The level curves of this function are hyperbolas of the form π¦ 2 − π₯ 2 = π, where π ∈ R.
You could classify the graph as being a hyperbolic paraboloid.
It is possible to consider more elaborate functions, such as π§ = sin(π₯ + π¦) cos(π₯ − π¦) or
2
2
π§ = π −(π₯ +π¦ ) using the same methods. I’ve chosen the examples above simply because
they are relatively easy to imagine and illustrate most of the points I would like to
discuss. Stewart has some pretty pictures of more complicated functions.
1.1.2. Functions of three variables. A function of the form π€ = π (π₯, π¦, π§), where
π₯, π¦, π§ ∈ R, is a function of three variables. Its domain is a subset of R3 . If the values of
the function are real numbers, then it is scalar-valued, although later we will consider
functions of three variables that are vector-valued.
Even if π is scalar-valued, it is diο¬cult to imagine its graph, since that would have
to be a subset of R4 . However, it is possible to extend some of the ideas which we
used in the previous section to functions of three variables. Thus, one can consider the
partial functions π€ = π (π₯, π¦, π), π€ = π (π₯, π, π§) and π€ = π (π, π¦, π§), or even π€ = π (π₯, π, π),
π€ = π (π, π¦, π) and π€ = π (π, π, π§). Also useful are the level surfaces π (π₯, π¦, π§) = constant.
These are surfaces in R3 .
Example 1.9. Consider the function
π (π₯, π¦, π§) =
27
(π₯ − 1)2 + (π¦ − 3)2 + (π§ − 4)2 + 1
.
It’s not diο¬cult to see that the level surfaces of this function form a family of concentric
spheres, centred at my favourite point, π(1, 3, 4). Although this is a function of three
variables, its value actually only depends on the distance between (π₯, π¦, π§) and the
point π. As one moves away from π, the value of π (π₯, π¦, π§) decreases asymptotically to
0. The function therefore has its maximum value at the point π. Since π (1, 3, 4) = 27,
we have that 0 < π (π₯, π¦, π§) ≤ 27 for all (π₯, π¦, π§) ∈ R3 .
Level surfaces are a useful tool even in cases where one isn’t explicitly studying the
behaviour of a function. For example, a sphere such as π₯ 2 + π¦ 2 + π§ 2 = 16 is not the graph
of a function of two variables. (It doesn’t satisfy the "vertical line test".) However, this
sphere is a level surface of the function π (π₯, π¦, π§) = π₯ 2 + π¦ 2 + π§ 2 . We’ll see later how
this gives us some insight into its properties.
23
0
You can add this document to your study collection(s)
Sign in Available only to authorized usersYou can add this document to your saved list
Sign in Available only to authorized users(For complaints, use another form )