Professional Documents
Culture Documents
JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted
digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about
JSTOR, please contact support@jstor.org.
Mathematical Association of America is collaborating with JSTOR to digitize, preserve and extend access
to The College Mathematics Journal
This content downloaded from 132.77.150.148 on Mon, 04 Jul 2016 07:59:56 UTC
All use subject to http://about.jstor.org/terms
Open an introductory calculus text and you will be hard-pressed to find a figure illustrating the chain rule or u-substitution. Many other central ideas also lack geometric
interpretations. The vivid image we have of a function, namely its graph, is part of
the problem. The graph leads to the interpretation of the derivative as the slope of the
tangent line and makes images for these other ideas elusive.
Using rubber bands, we offer a way to visualize functions that suggests another
interpretation of the derivative. This leads to natural geometric interpretations of the
chain rule, u-substitution, and curvature. We hope the corresponding images compel
you to think about these familiar concepts in radically different ways.
The following problem [4, p. 204] captures the spirit of rubber band functions. We
urge you to solve it before reading on. Better yet, share it with your students. We bet
many will find it both challenging and engaging. (One student shared his solution with
me two years after I had assigned this problem.)
The Rubber Band Problem. The ends of a relaxed rubber band are held above
the 1-inch and 10-inch marks on a 12-inch ruler. The band is then stretched so that its
ends line up with the ends of the ruler. Find all points of the band, if any, that end up
where they started.
82
This content downloaded from 132.77.150.148 on Mon, 04 Jul 2016 07:59:56 UTC
All use subject to http://about.jstor.org/terms
10
11
12
13
14
15
16
x=3
8.4
8.6
8.8
9.0
9.2
x2
9.4
9.6
on 2.9 x 3.1.
Figure 2 illustrates the action of the function f (x) = x 2 . Figure 3 shows a magnified view near x = 3, where the function looks almost linear. The figure suggests that
f (3) = 6: A small interval of width x = 0.2 around x = 3 is mapped to a small
interval approximately six times as wide.
Differentiable functions behave locally like linear functions and the derivative measures what we call the local stretching factor; the function f maps a small interval
of width x about x = a to an interval of approximate width f (a)x about f (a).
The band is stretched (in tension) at x = a if | f (a)| > 1 and is in compression if
| f (a)| < 1. At points where | f (a)| = 1, the band is relaxed.
x
1.5
1.0
0.5
0.0
0.5
1.0
1.5
u = sin x
Figure 4. The function u = sin x on /2 x /2.
This content downloaded from 132.77.150.148 on Mon, 04 Jul 2016 07:59:56 UTC
All use subject to http://about.jstor.org/terms
83
x
2
u = ex
Figure 5. The function u = e x on 2 x 1.7.
1
f
(a)
For example, in Figure 5, ddux u=4 = 1/4.
If f (x) and g(x) are differentiable and h(x) = f (g(x)), then the chain rule h (a)
= g (a) f (g(a)) says that the local stretching factor of the composition is simply the
product of the local stretching factors g (a) and f (g(a)). Figure 6 shows an example
where we push forward the domain coloring by giving the output of a function the
same color as its input. A glance at the figure suggests, for example, that h (1) 1.
x
0.0
0.5
1.0
1.5
u = x2
v = sin(u)
Figure 6. Visualizing the chain rule for h(x) = sin x 2 .
sin u du =
2x sin x 2 d x.
(1)
This content downloaded from 132.77.150.148 on Mon, 04 Jul 2016 07:59:56 UTC
All use subject to http://about.jstor.org/terms
1 y
1 y
u = x2
u
x
(a)
(b)
0
sin u du and
0
2x sin x 2 d x.
f (g(x))g (x) d x =
g(b)
f (u) du
(2)
g(a)
when f is continuous and g is monotonic and differentiable on the interval [a, b]. For
the function u = g(x) maps a differential partition of the interval [a, b] with subintervals of widths d x to a differential partition of the interval [g(a), g(b)] with subintervals
b
of widths du = g (x) d x. Just as in Figure 7(b), we can interpret a f (g(x))g (x) d x
as the sum of areas of differential rectangles of heights f (u) and widths du. Since
these rectangles fill in the region between the graph of y = f (u) and the u-axis for
g(a) u g(b), we have (2). We leave it as an exercise to turn this argument into a
formal proof by working on the level of Riemann sums.
y
y
P(sin u, cos u)
Q(u, cos u)
1 sin2 u d x
= d x.
1 x2
(3)
/2
/2
cos u du =
d x = 2.
This content downloaded from 132.77.150.148 on Mon, 04 Jul 2016 07:59:56 UTC
All use subject to http://about.jstor.org/terms
85
u = sin1x
x
Note that the equal-area partition suggested by Figure 9 breaks down at the endpoints of the interval [/2, /2], where cos u = 0 and (3) does not hold. But this
does not affect the evaluation of the definite integral above.
b
This example suggests that to evaluate the definite integral a f (u) du, we look
for a substitution u = g(x) that gives an equal-area partition of [a, b] for f (u). We
assume that f is continuous and positive and that g is differentiable and invertible. For
an equal-area partition, we require d A = f (u) du = d x, equivalently d x/du = f (u).
So our search for an equal-area partition leads directly to a search for an antiderivative
of f . Let F be such an antiderivative. Since f (u) > 0 for u [a, b], it follows that F
is invertible. Making the substitution u = F 1 (x) gives
F(b)
f (u) du =
a
d x = F(b) F(a).
F(a)
Curves
Think of a curve and you might imagine a circle or a parabola. But to a differential
geometer, a plane curve is a function : [a, b] R2 or what we might call a parameterization of the curve. The set of points { (t), t [a, b]} is called the trace of the
curve. Different parameterizations with the same trace are different curves.
This viewpoint fits nicely with our rubber band representation of functions. We represent a curve visually by coloring the domain and using the parameterization to push
forward the coloring. Figure 10 shows the curves 1 (t) = (cos t, sin t) on t [, ]
and 2 (t) = (cos 2t, sin 2t) on t [/2, /2]. Imagine wrapping the domain of
each curve around the trace. The parameterizations each stretch their domains uniformly with stretching factors one and two, respectively.
Since the parameterization (t) = (x(t), y(t)) maps an differential interval of
length dt of the domain to the differential arc length
(a)
(b)
Figure 10. The curves 1 (t) = (cos t, sin t) on t and 2 (t) = (cos 2t, sin 2t) on
/2 t /2.
86
This content downloaded from 132.77.150.148 on Mon, 04 Jul 2016 07:59:56 UTC
All use subject to http://about.jstor.org/terms
(a)
(b)
ds = (d x)2 + (dy)2 =
dx
dt
2
+
dy
dt
2
dt
Figure 12. The parabola y = x 2 on 1 x 1, parameterized by arc length, and its normal
indicatrix.
This content downloaded from 132.77.150.148 on Mon, 04 Jul 2016 07:59:56 UTC
All use subject to http://about.jstor.org/terms
87
(b)
dy
t + dt
t
d
y
t + dt
dy
d
O
Also, we can give the curvature of y = f (x) a sign by requiring that the curvature be positive (negative) at points where the normal vectors rotate counterclockwise
(clockwise) as we move along the curve in the direction of increasing x. Since the
sense of rotation of the normal vectors captures the concavity of y = f (x), the sign of
the curvature agrees with that of y . Describing how the vectors normal to the surface
z = f (x, y) topple in the neighborhood of a critical point leads to a vivid interpretation of the second derivative test for the function f (x, y). With this in mind, we now
turn to second year calculus and give a brief review of functions that map R2 to R2 .
x
u(x, y)
u
f :
=
y
v(x, y)
v
is differentiable, then
u
du
u x d x + u y dy
= x
=
vx
dv
vx d x + v y dy
88
uy
vy
dx
.
dy
This content downloaded from 132.77.150.148 on Mon, 04 Jul 2016 07:59:56 UTC
All use subject to http://about.jstor.org/terms
uy
vy
P
O
O
u
P
Figure 14 shows the image of the square (x, y) [1, 1] [1, 1] under the map
2
x
x /4 + x + y 2 /4
=
.
f
y
x y/2 y
Note how the figure suggests that f maps differential squares to differential parallelograms. The Jacobian
D f (x, y) =
x/2 + 1
y/2
y/2 x/2 1
1 0
,
0 1
This content downloaded from 132.77.150.148 on Mon, 04 Jul 2016 07:59:56 UTC
All use subject to http://about.jstor.org/terms
89
b
b
c
a
Figure 15. The behavior of the normals near the saddle point of the surface z = x y (adapted
from [3, p. 196]).
We need not look in three dimensions to see this behavior: Project the normal vectors f x , f y , 1
to the surface z = f (x, y) orthogonally onto the x y-plane. This gives
This content downloaded from 132.77.150.148 on Mon, 04 Jul 2016 07:59:56 UTC
All use subject to http://about.jstor.org/terms
(a)
(b)
0.10
0.05
b
a
0.10
0.05
0.05
0.10
0.05
0.10
Figure 16. Gradient vectors of f (x, y) = 0.1(x 2 + x y 2y 2 ) and those gradient vectors
clustered.
shows the clustered gradients. The tips of the clustered vectors rotate clockwise around
the origin as C is traversed counterclockwise, illustrating that the origin corresponds
to a saddle point. But the tips of these vectors correspond to the outputs of the function
f : (x, y) ( f x , f y ) and trace the image C of C under f . Since C is traversed
clockwise, f reverses orientation at the critical point.
This explains the second derivative test, for the Jacobian determinant
f
|D f | = x x
f yx
f x y
= f x x f yy ( f x y )2
f yy
(4)
orientation; the gradient vectors f , and hence the surface normals, rotate clockwise
around the critical point. The critical point is a saddle. Otherwise, if |D f | > 0, the
critical point is a local extremum.
f x , f y , 1
f x2 + f y2 + 1
(5)
Figure 17 illustrates the action of the Gauss map near the saddle point (0, 0, 0) of
the surface z = f (x, y) = x y. Notice how the map reverses orientation near (0, 0, 0)
when we look at both the surface z = x y and S 2 from the same perspective (from the
negative z-axis toward the origin in Figure 17). This is not surprising. The Gauss map
VOL. 47, NO. 2, MARCH 2016 THE COLLEGE MATHEMATICS JOURNAL
This content downloaded from 132.77.150.148 on Mon, 04 Jul 2016 07:59:56 UTC
All use subject to http://about.jstor.org/terms
91
reverses orientation for the reason illustrated in Figure 15: As we move counterclockwise on the surface around (0, 0, 0), the tips of the clustered normals move clockwise
around the south pole of S 2 .
Figure 17. The Gauss map near the saddle point (0, 0, 0) of the surface z = x y.
The curvature measures the degree to which the Gauss map distorts differential
signed areas. For example, since the Gauss map preserves orientation as it wraps a
sphere of radius R uniformly around S 2 , the curvature of the sphere is 1/R 2 .
For a heuristic argument to explain why (4) gives the curvature of the surface
z = f (x, y) at a critical point, consider the composition
g
F
f : (x, y) (x, y, 0) (x, y, f (x, y)) f x , f y , 1 ( f x , f y ).
There are two key points. First, at a critical point, where the tangent plane to the surface
is parallel to the x y-plane, F acts like a translation and preserves differential signed
areas. This is much like the wrapping in Figure 11(a) that preserves differential arc
lengths at a critical point. Second, since g maps the surface z = f (x, y) to the plane
z = 1 tangent to S 2 at (0, 0, 1), it acts like the Gauss map near a critical point. This
suggests that the gradient map f has the same effect on differential areas at a critical
point as the Gauss map. But f multiplies differential signed areas by the Jacobian
determinant (4).
One last point: The derivative
fx x fx y
D f =
f yx f yy
describes the local behavior of f near a critical point. But if we identify both the
tangent plane to the surface z = f (x, y) at a critical point and the plane z = 1 with
R2 , then it also describes the local behavior of the Gauss map near a critical point.
For example, for f (x, y) = x y,
0 1
D f (0, 0) =
.
1 0
The Gauss map acts like a reflection in the line y = x near the saddle point (Figure 17).
The surface curvature at the saddle is the determinant 1.
92
This content downloaded from 132.77.150.148 on Mon, 04 Jul 2016 07:59:56 UTC
All use subject to http://about.jstor.org/terms
Concluding thoughts
While this is a good place to end, we have really just arrived at a beginning. We hope
we have spurred your interest in Gaussian curvature and differential geometry. The
texts [1, 6, 7] provide excellent introductions to the subject.
Many of our ideas and images have their roots in complex analysis. Tristan Needhams geometric approach to functions of a complex variable [5] had a profound
impact on our thinking. The idea of domain coloring, popularized by Frank Farris
[2] and beautifully exploited by Wegert [8], inspired many of our figures.
While we wrote this paper to offer geometric insight into some central concepts
in calculus, we believe that rubber band functions might be introduced earlier in the
curriculum. Consider, for example, the problem of graphing the function y = sin 2x.
Almost all students make the same error at first, stretching the graph of y = sin x
horizontally by a factor of two. But underlying this error is a profound element of truth
that suggests an understanding of the rubber band action of the function f (x) = 2x.
Acknowledgment. I would like to thank my wife Mei chun Chang for her constant encouragement and support.
Summary. We describe a way to visualize functions using rubber bands. Interpreting the
derivative as a local stretching factor leads to vivid geometric images for the chain rule, substitution, and curvature, as well as an unusual approach to the fundamental theorem.
References
1. M. P. do Carmo, Differential Geometry of Curves and Surfaces. Prentice-Hall, Englewood Cliffs, NJ, 1976.
2. F. A. Farris, Review of Visual Complex Analysis by Tristan Needham, Amer. Math. Monthly 105 (1998)
570576, http://dx.doi.org/10.2307/2589427.
3. D. Hilbert, S. Cohn-Vossen, Geometry and the Imagination. AMS Chelsea, Providence, RI, 1999.
4. K. Kendig, Sink or Float? Thought Problems in Math and Physics. Mathematical Association of America,
Washington, DC, 2008.
5. T. Needham, Visual Complex Analysis. Oxford Univ. Press, New York, 1997.
6. B. ONeill, Elementary Differential Geometry. Revised second edition. Academic, Burlington, MA, 2006.
7. J. Oprea, Differential Geometry and Its Applications. Mathematical Association of America, Washington, DC,
2007.
8. E. Wegert, Visual Complex Functions: An Introduction with Phase Portraits. Birkhauser/Springer, Basel, 2012.
This content downloaded from 132.77.150.148 on Mon, 04 Jul 2016 07:59:56 UTC
All use subject to http://about.jstor.org/terms
93