Lecture 04
Lecture 04
76 Differentiation
(x, y, z)
( , y, z, t ) = Fluid velocity
V(x
V
figure 2.1.1 A fluid in motion defines
a vector field V by specifying the
velocity of the fluid particles at each
point in space and time.
1
Some mathematicians would write such an f in boldface, using the notation f(x), because the function
is vector-valued. We did not do so, as a matter of personal taste. We use boldface primarily for mappings
that are vector fields, introduced later. The notion of function was developed over many centuries, with
the definition extended to cover more cases as they arose. For example, in 1667 James Gregory defined
a function as “a quantity obtained from other quantities by a succession of algebraic operations or
by any other operation imaginable.” In 1755 Euler gave the following definition: “If some quantities
depend on others in such a way as to undergo variation when the latter are varied then the former are
called functions of the latter.”
Marsden-3620111 VC September 27, 2011 9:27 77
To specify the cardiac vector (the vector giving the magnitude and direction of electric
current flow in the heart) at time t requires a map c: R → R3 , t → c(t).
When f : U ⊂ Rn → R, we say that f is a real-valued function of n variables with
domain U . The reason we say “n variables” is simply that we regard the coordinates
of a point x = (x1 , . . . , xn ) ∈ U as n variables, and f (x) = f (x 1 , . . . , xn ) depends on
these variables. We say “real-valued” because f (x1 , . . . , xn ) is a real number. A good
deal of our work will be with real-valued functions, so we give them special attention.
Graphs of Functions
For f : U ⊂ R → R (n = 1), the graph of f is the subset of R2 consisting of all points
(x, f (x)) in the plane, for x in U . This subset can be thought of as a curve in R2 . In
symbols, we write this as
graph f = {(x, f (x)) ∈ R2 | x ∈ U },
where the curly braces mean “the set of all” and the vertical bar is read “such that.”
Drawing the graph of a function of one variable is a useful device to help visualize how
the function actually behaves (see Figure 2.1.2). It will be helpful to generalize the idea
of a graph to functions of several variables. This leads to the following definition:
(x1 , . . . , xn , f (x1 , . . . , xn ))
y z
Graph of f
Graph of f
x y
U
U
x
(a) (b)
figure 2.1.2 The graphs of (a) a function of one variable, and (b) a function of two variables.
Marsden-3620111 VC September 27, 2011 9:27 78
78 Differentiation
h = 50
h = 100
h = 150
figure 2.1.3 Level contours of a
function are defined in the same h h = 200
manner as contour lines for a
topographical map.
(a) (b)
example 1 The constant function f : R2 → R, (x, y) → 2—that is, the function f (x, y) = 2—has
as its graph the horizontal plane z = 2 in R3 . The level curve of value c is empty if
c= 2, and is the whole x y plane if c = 2. ▲
example 2 The function f : R2 → R, defined by f (x, y) = x + y + 2, has as its graph the inclined
plane z = x + y + 2. This plane intersects the x y plane (z = 0) in the line y = −x − 2
and the z axis at the point (0, 0, 2). For any value c ∈ R, the level curve of value c is
the straight line y = −x + (c − 2); or in symbols, the set
L c = {(x, y) | y = −x + (c − 2)} ⊂ R2 .
We indicate a few of the level curves of the function in Figure 2.1.4. This is a contour
map of the function f .
f(x
, y)
f(x
, =
y) x+
= figure 2.1.4 The level curves of f (x, y) = x + y + 2
f(x x+ y+
,y 2 show the sets on which f takes a given value.
)= y+ =
2 4 x
Line of x+ =
y+ 2
intersection of
2
plane z = x + y + 2 =
0
and the x y plane
Marsden-3620111 VC September 27, 2011 9:27 79
Level curve x + y + 2 = 0 −2
−2
x + y + 2 = 2 in xy plane
2
x + y + 2 = 4 in xy plane 2 y
figure 2.1.5 The relationship of level curves of Figure 2.1.4 to the graph of
the function f (x, y) = x + y + 2, which is the plane z = x + y + 2.
From level curves labeled with the value or “height” of the function, the shape of the
graph may be inferred by mentally elevating each level curve to the appropriate height,
without stretching, tilting, or sliding it. If this procedure is visualized for all level curves,
L c —that is, for all values c ∈ R, they will assemble to give the entire graph of f , as
indicated by the shaded plane in Figure 2.1.5. If the graph is visualized using a finite
number of level curves, a contour model is produced. If f is a smooth function, its graph
will be a smooth surface, and so the contour model, mentally smoothed over, gives a
good impression of the graph. ▲
{x ∈ U | f (x) = c} ⊂ Rn .
f : R2 → R, (x, y) → x 2 + y 2 .
solution The graph is the paraboloid of revolution z = x 2 + y 2 , oriented upward from the origin,
around the z axis. The level curve of value c is empty for c < 0; for √ c > 0 the level
curve of value c is the set {(x, y) | x 2 + y 2 = c}, a circle of radius c centered at√ the
origin. Thus, raised to height c above the x y plane, the level set is a circle of radius c,
indicating a parabolic shape (see Figures 2.1.6 and 2.1.7).
Marsden-3620111 VC September 27, 2011 9:27 80
80 Differentiation
x2 + y2 = 12
x2 + y2 = 22
x2 + y2 = 32
x2 + y2 = 42
16 x2 + y2 = 42
4 x2 + y2 = 22
1 x2 + y2 = 12
y
x ▲
P1 ∩ graph f = {(x, y, z) | y = 0, z = x 2 },
P2 ∩ graph f = {(x, y, z) | x = 0, z = y 2 }
is a parabola in the yz plane (see Figure 2.1.8). It is usually helpful to compute at least
one section to complement the information given by the level sets.
f : R2 → R, (x, y) → x 2 − y 2
is called a hyperbolic paraboloid, or saddle, centered at the origin. Sketch the graph.
Marsden-3620111 VC September 27, 2011 9:27 81
S 1: z = x 2, y = 0
S 2 : z = y 2, x = 0
solution To visualize this surface, we first draw the level curves. To determine the level curves, we
solve the equation x 2 − y 2 = c. Consider the values c = 0, ±1, ±4. For c = 0, we have
y 2 = x 2 , or y = ±x, so that this level set consists of two
√ straight lines through the origin.
For c = 1, the level curve is x 2 − y 2 = 1, or y = ± x 2 − 1, which is a hyperbola that
passes vertically through the x axis at the points√ (±1, 0) (see Figure 2.1.9). Similarly,
for c = 4, the level curve is defined by y = ± x 2 − 4, the hyperbola passing vertically
throughthe x axis at (±2, 0). For c = −1, we obtain the curve x 2 − y 2 = −1—that is,
x = ± y 2 − 1—the hyperbola passing horizontally through the y axis at (0, ±1). And
for c = −4, the hyperbola through (0, ±2) is obtained. These level curves are shown
in Figure 2.1.9. Because it is not easy to visualize the graph of f from these data alone,
we shall compute two sections, as in the previous example. For the section in the x z
plane, we have
P1 ∩ graph of f = {(x, y, z) | y = 0, z = x 2 },
P2 ∩ graph f = {(x, y, z) | x = 0, z = −y 2 },
2
2 −1
2 =
y
−
x2
x2
x2
= 22
x2
12
0
−y
−y
=
−
1 2
=
2
− y2
2
y2
y
y2
−
=2
=1
2
−
0
x
x2
2
x2
x
−2 −1 1 2
−1
−2
82 Differentiation
z
z = x 2, y = 0
x 2 − y 2 = 12; z = 1
x x 2 − y 2 = − (12 ); z = −1
y
z = − y 2, x = 0
z
2
y axis
0
x
−1
y
−2
−2 −1 0 1 2
x axis
which is a parabola opening downward. The graph may now be visualized by lifting the
level curves to the appropriate heights and smoothing out the resulting surface. Their
placement is aided by computing the parabolic sections. This procedure generates the
hyperbolic saddle indicated in Figure 2.1.10. Compare this with the computer-generated
graphs in Figure 2.1.11 (note that the orientation of the axes has been changed). ▲
f : R3 → R, (x, y, z) → x 2 + y 2 + z 2 .
solution This is the three-dimensional analogue of Example 3. In this context, level sets are
surfaces in the three-dimensional domain R3 . The graph, in R4 , cannot be visualized
directly, but sections can nevertheless be computed.
The level set with value c is the set
L c = {(x, y, z) | x 2 + y 2 + z 2 = c},
√
which is the sphere centered at the origin with radius c for c > 0, is a single point at
the origin for c = 0, and is empty for c < 0. The level sets for c = 0, 1, 4, and 9 are
indicated in Figure 2.1.12.
Marsden-3620111 VC September 27, 2011 9:27 83
x 2 + y 2 + z 2 = 12
x2 + y2 + z2 x 2 + y 2 + z 2 = 22
x 2 + y 2 + z 2 = 32
x 2 + y 2 − z 2 = −2 2
2 x 2 + y 2 − z 2 = −12
1 x 2 + y 2 − z 2 = 02
x 2 + y 2 − z 2 = 12
1
2
x2 + y2 − z2 = 22
x
y
84 Differentiation
x2 − y2 = 1
x
x 2 − y 2 = −1
z
t = −z 2, x = 0
Another view of the graph may be obtained from a section. For example, the subspace
Sy=0 = {(x, y, z, t) | y = 0} intersects the graph in the section
Sy=0 ∩ graph f = {(x, y, z, t) | y = 0, t = x 2 − z 2 },
that is, the set of points of the form (x, 0, z, x 2 − z 2 ), which may be considered to be a
surface in x zt space (see Figure 2.1.14). ▲
3 3
2 2
1 1
0 0
−2 −2 −2 −2
−1 −1 −1 −1
0 0 0 0
y axi 1 1 is y ax 1 1 is
s 2 2 x ax is 2 2 x ax
(a) (b)
y axis 0
−1
−2
−2 −1 0 1 2
x axis
(c)