Lab 2C - Directional Derivatives, Gradients, and Vector Fields
Math 2374 - University of Minnesota
http://www.math.umn.edu/math2374
Questions to: rogness@math.umn.edu

Introduction

This week's lab is sort of a mish-mash of a few different topics which are all interrelated: directional derivatives, gradients, and vector fields.  These topics are all covered in your book, but Mathematica can help you visualize them in ways not possible on a blackboard or on a written page.

When you started this class, you already knew about the plain-old single variable calculus derivative, i.e. the slope of the tangent line.  Since then you've learned about two multivariable generalizations of the derivative, the "partial derivative" and the "total derivative" (which is also called the "derivative matrix" or "Jacobian matrix").  These two concepts are intertwined, of course, because the derivative matrix is composed of a bunch of partial derivatives.  

In this lab, we're going to deal with variants of both of these ideas.  The directional derivative is a generalization of a partial derivative.  The gradient, meanwhile, is a special case of the Jacobian matrix.  In what might seem to be either a bizarre coincidence or a stroke of good luck, the gradient is very useful for calculating the directional derivative.  It also turns out that the gradient provides an example of a vector field, which will be an important new kind of function for the rest of the course.

If you're getting confused trying to keep track of all these connections, don't worry.  You know what?  This stuff is confusing!  But the more you work with these ideas, the easier it gets.  This lab can help, too, by showing you some visual examples, and explaining things that you've also learned about in lecture.  Sometimes it can really help to read or hear a second explanation about a topic, even if the first one was very good!

With that in mind, this lab includes very few problems, but a lot of reading and a number of pictures.  Above all, resist the temptation to scan over a few sentences here, gloss over this paragraph there, and just skim through the material about this or that.  Gradients and vector fields, in particular, will be absolutely fundamental for the rest of the course, so it's important to learn these ideas.  (That's why they're being covered in both lecture and lab.)  If a sentence or paragraph is really confusing, read it over again, slowly, a few times.  If you're still not sure what it says, ask your TA for help.

Directional Derivatives and Gradients

Let's go back to partial derivatives for a minute.  Recall that if you're on a surface z = f(x, y)above (or below) a point (x, y), then partial derivative of f with respect to x tells you how steep the surface is in the positive x-direction at that point.  If it's positive, then the surface goes "uphill" in that direction.  If it's negative, then the surface goes "downhill."  The partial derivative with respect to y tells you the same sort of information about what's happening in the positive y-direction.

That's all fine and good, but what about any of the other directions?  To carry the previous metaphor a bit further, if you're a mountain climber on a 24,000ft mountain (the surface of which could be the graph of a function), you want to know what's going on in more than just the positive x- and y-direction.  

(Let's think of these directions as east and north, respectively; imagine you're looking down at the xy-plane, and think of the axes as lying on a compass.  The x-axis points east, to the right, and the y-axis points up, to the north.)

Back on the mountain you're climbing, you want to know: what about northeast?  Or southsouthwest?  Or any of the infinitely many directions in-between?  That's where the directional derivative comes in.  It can tell you how steep a surface is in any given direction, and whether that "steepness" goes up or down.

Take a look at the following graph, which could represent a mountain and a valley, side-by-side in an otherwise nearly flat plain.

In[117]:=

f[x_, y_] = 2y * Exp[-x^2 - y^2] Plot3D[f[x, y], {x, -1, 3}, {y, -2, 2}, PlotRange {-. ... #62754;15, BoxedFalse, AxesLabel {"X", "Y", "Z"}] ;

Out[117]=

2 ^(-x^2 - y^2) y

[Graphics:HTMLFiles/index_5.gif]

Look at the point (1,0,0), which is almost exactly in the middle of the graph.  A mountain climber at that point on the surface could walk either uphill or downhill -- or even in a path which keeps her flat, at the same height!  Go to the following web page to see an interactive demonstration of the directional derivative using this surface:

http://www.math.umn.edu/~rogness/multivar/dirderiv.shtml

Alternatively, you could expand the subsection below, evaluate the commands there to start the example from within Mathematica, and then close the subsection and continue reading here.

Here's what the example shows you.  The green dot represents the mountain climber's position.  As you change the bearing by sliding the blue dot around, you get an interactive look at the "cross section" of the surface through that point at the bearing.  Now imagine fitting a tangent line to the curve representing the cross section.  That's the red arrow, where the direction of the arrow shows you which direction the climber is facing.

If the arrow is pointing up, then the directional derivative in that direction is positive.  If the arrow is pointing down, then the directional derivative is negative.  An arrow which is pointing just ever so slightly up would indicate a small (but positive) value for the directional derivative, say 0.01.  If the arrow is tilted more upward, the derivative has a much higher positive value.

As you can see, it's positive as you move from the east, through the north, to the west.  From the west, to the south, and back to the east, it's negative.

Directional Derivative Example

Calculating Direction Derivatives

So how do we calculate direction derivatives?  Well, first it's important to understand when we can even talk about them.  We can only use directional derivatives for a function with one output; that is, a function f : ^n.  The reason for this is that a directional derivative measures the change in that one output per unit change in some given direction on the input side of things.  (In English, using the mountain climbing metaphor: the directional derivative measures the slope of the mountain, i.e. the instantaneous change in height per change in (x,y) position, where the (x,y) position is changing in some given direction.)

In most cases, we'll only work with directional derivatives for functions f : ^2, in other words, functions like z = f(x, y).  But you could use the same ideas to calculate a directional derivative for a function f(x, y, z), or f(x_1, x_2, …, x_n).

Like all derivatives, the directional derivative has a limit definition, which you can find in your textbook.  It's got vectors in it, so it's a little messier than your normal, everyday limit definition of f ' (x) in single variable calculus, and we're going to forget about it here.  Instead we'll concentrate on a different way to calculate the directional derivative.

Suppose we've got a function f(x, y), and we're interested in the point x = a.  In the example above, this was the point (1,0), but it could be anything.  Now suppose we want to look in a certain direction, whether it's east, west, or 8.29 degrees west of southsouthwest.  We specify a direction by choosing a vector.  For example, we'd say "in the direction of the vector (3,4)."  In that case, we can easily find the directional derivative of f at the point x = a.

Theorem:  The directional derivative of f at the point x = a, in the direction of a vector Overscript[v, ⇀], is given by
                D_Overscript[u, ⇀] f(a) = Overscript[∇, ⇀] f(a) · Overscript[u, ⇀],
                
where Overscript[u, ⇀] is a unit vector in the direction of Overscript[v, ⇀], given by Overscript[u, ⇀] = Overscript[v, ⇀]/(|| Overscript[v, ⇀] ||), and Overscript[∇, ⇀] f(a) is the gradient of f evaluated at the point a.

One thing in that theorem requires some explanation, namely the "gradient of f at the point a.  For a function f : ^n with just one output, the gradient of f is:

Overscript[∇, ⇀] f = (∂f/∂x_1, ∂f/∂x_2, …, ∂f/∂x_n)

In most cases, we'll only work with two or three dimensions, in which case, Overscript[∇, ⇀] f = (∂f/∂x, ∂f/∂y) or  Overscript[∇, ⇀] f = (∂f/∂x, ∂f/∂y, ∂f/∂z), respectively.  

Note how similar the gradient is to the Jacobian matrix.  Write down the definitions for the Jacobian matrix of a function f : ^n.  The only real difference is whether we think of it as a vector or a 1-column matrix; the entries themselves are exactly the same!

Why, you might ask, do we have two names for the identical thing?  That's a good question, and probably has more to do with traditions -- and the difficulty of changing traditions -- than anything else.

Mathematica can compute gradients using the Grad function:

In[138]:=

f[x_, y_] = x^2 + y^2 - z Grad[f[x, y]]

Out[138]=

x^2 + y^2 - z

Out[139]=

{2 x, 2 y, -1}

There's a catch, unfortunately; Mathematica only works with three dimensional gradients.  Notice how it tacks on an extra zero at the end of the following gradient.

In[140]:=

f[x_, y_] = x^2 + y^3 Grad[f[x, y]]

Out[140]=

x^2 + y^3

Out[141]=

{2 x, 3 y^2, 0}

We've defined a special command called Grad2D to let you compute two dimensional gradients:

In[142]:=

Grad2D[f[x, y]]

Out[142]=

{2 x, 3 y^2}

Example

Let's use the same function as before, and find the directional derivative at the point (1,0) in the direction of the vector (3,4).

In[143]:=

f[x_, y_] = 2y * Exp[-x^2 - y^2]

Out[143]=

2 ^(-x^2 - y^2) y

From our handy-dandy theorem, we know that:

D_Overscript[u, ⇀] f(a) = Overscript[∇, ⇀] f(a) · Overscript[u, ⇀]

First we should compute Overscript[u, ⇀], which is a unit vector in the direction of the vector Overscript[v, ⇀]=(3,4).  We can use the formula Overscript[u, ⇀] = Overscript[v, ⇀]/(|| Overscript[v, ⇀] ||), where the double bars mean "length of" a vector, which is also called the "norm" of a vector.

In[144]:=

u = {3, 4}/Sqrt[3^2 + 4^2]

Out[144]=

{3/5, 4/5}

We can do that a little more automatically by defining a function like this, which will take a vector and return a unit vector in that direction.  Note that we're also using the function Norm here, instead of doing the square root bit by hand in the denominator.

In[145]:=

unitvec[v_] = v/Norm[v] u = unitvec[{3, 4}]

Out[145]=

v/(v . v)^(1/2)

Out[146]=

{3/5, 4/5}

We also need the gradient of f, and then we're ready to compute:

In[147]:=

gradf[x_, y_] = Grad2D[f[x, y]] gradf[1, 0] u gradf[1, 0] . u

Out[147]=

{-4 ^(-x^2 - y^2) x y, 2 ^(-x^2 - y^2) - 4 ^(-x^2 - y^2) y^2}

Out[148]=

{0, 2/}

Out[149]=

{3/5, 4/5}

Out[150]=

8/(5 )

So the slope in that direction is about 8/(5e), or about 0.59.  If you look back at the interactive example, does that seem correct?

From the picture it seems the steepest the incline can be is when the bearing is about northnorthwest, or (roughly) in the direction of the vector (-1,2).  In that direction, the directional derivative is:

In[151]:=

u = unitvec[{-1, 2}] gradf[1, 0] . u N[%]

Out[151]=

{-1/5^(1/2), 2/5^(1/2)}

Out[152]=

4/(5^(1/2) )

Out[153]=

0.658083

Our eyes weren't deceiving us -- it really is steeper in that direction.  If you go in the direction of (-1,-1) instead, you'll go downhill:

In[154]:=

u = unitvec[{-1, -1}] gradf[1, 0] . u N[%]

Out[154]=

{-1/2^(1/2), -1/2^(1/2)}

Out[155]=

-2^(1/2)/

Out[156]=

RowBox[{-, 0.52026}]

Exercise 1

Suppose there is a spaceship in three-dimensional space, with our sun located at the origin, (0,0,0).  The temperature near the sun is extremely hot, of course -- about 6000K -- and it drops rapidly as one moves away.  Suppose the temperate at any point is space is given by T(x, y, z) = 6000/(1 + (x^2 + y^2 + z^2)/5), where x, y, and z measured in units of 10 million miles.  (Here we're assuming the spaceship will never get close enough to other stars to notice their heat, so effectively our sun is the only heat-producer in the universe.)

Suppose now that the spaceship is located on the Earth, about 93 million miles away, at the point (9,2,1).  What is the directional derivative (change in K per change in position) if the spaceship were to move in the direction of the vector (-4,-3,5)?

(If you're interested in how to find the surface temperature of a star, look at
http://zebu.uoregon.edu/~soper/Stars/color.html., or any of the other pages you can find on Google by searching for "Star Temperature Color" or something similar.)

Exercise 2

Using the same setup as in Example 1, suppose the spaceship is situated at the point (4,-2,8).  If the ship were to fly in the direction of the point (-4,3,7), would the initial change in temperature be an increase or a decrease?

Vector Fields

A Vector Field is one of the most fundamental concepts in Multivariable Calculus and Vector Analysis.  One of the main reason this course exists is to teach you four specific theorems: the Fundamental Theorem of Line Integrals, Green's Theorem, Stokes' Theorem, and the Divergence Theorem.  Every single one of these theorems involves vector fields!  If you take a little time now to understand what a vector field is, you'll save yourself some time and grief later on.

In lecture you've already talked about linear transformations, so you should hopefully be comfortable with the idea of a function f : ^2^2.  This notation means that f takes two inputs and has two outputs.  You've also learned that a linear transformation with two inputs and outputs can be represented by a 2 by 2 matrix.

A (two-dimensional) vector field is simply a function f : ^2^2, but there are two key differences: (1) f is not necessarily a linear function, so it might or might not be possible to represent it using a matrix, and (2) we interpret the inputs and outputs in a different way.

Graphing a Vector Field

Let's look at an example.  Traditionally we represent vector fields with capital letters, so we'll call our first field F instead of f.

In[157]:=

F[x_, y_] = {-y, x}

Out[157]=

{-y, x}

Here's the key to understanding vector fields: we think of the inputs as points, and the outputs as vectors.  For example, F(2, 1)is the vector (-1,2):

In[158]:=

F[2, 1]

Out[158]=

{-1, 2}

To draw a picture of the vector field, we simply draw the vector (-1,2) -- the output -- beginning at the point (2,1) -- the input.  In other words, we draw a vector which goes from (2,1) to (1,3).  (Check my arithmetic here!)

Here are a whole bunch of values of the vector field:

In[159]:=

F[0, 0] F[1, 0] F[2, 0] F[0, 1] F[1, 1] F[2, 1] F[0, 2] F[1, 2] F[2, 2]

Out[159]=

{0, 0}

Out[160]=

{0, 1}

Out[161]=

{0, 2}

Out[162]=

{-1, 0}

Out[163]=

{-1, 1}

Out[164]=

{-1, 2}

Out[165]=

{-2, 0}

Out[166]=

{-2, 1}

Out[167]=

{-2, 2}

And here's a picture where we've drawn in each of these vectors, starting at their respective points.  (You don't have to understand this command, although if you look at it long enough you can probably kind of figure out what's going on.)

In[168]:=

Show[Graphics[{Arrow[{0, 0}, {0, 0}], Arrow[{1, 0}, {1, 1}], Arrow[{2, 0}, {2, 2}], Arrow[{0,  ... Arrow[{1, 2}, {-1, 3}], Arrow[{2, 2}, {0, 4}]}], AxesTrue, AspectRatioAutomatic] ;

[Graphics:HTMLFiles/index_86.gif]

While that's somewhat interesting, it's awfully tedious, and it would take forever to tell what the "big picture" is.  Fortunately Mathematica includes a command to graph vector fields for you.  Here's a picture of F :

In[169]:=

PlotVectorField[{-y, x}, {x, -5, 5}, {y, -5, 5}, AxesTrue]

[Graphics:HTMLFiles/index_89.gif]

Out[169]=

⁃Graphics⁃

Wow!  Imagine having to draw each of those arrows by hand.  This is definitely a case where a computer can make your life easier, BUT... you need to be careful, because Mathematica is hiding some of the details from you.  Look above at the picture we constructed "manually."  At the point (1,1) you can see the vector (-1,1), which has length 2^(1/2).  But if you look at the computer generated picture, the vector starting at (1,1) is so short that you can only see the arrow head!  Mathematica is scaling the vectors, trying to make the picture easier to look at; while that's a noble goal, it means you do lose some information -- namely, exactly how long those vectors are.

Evaluate the next cell to show the vectors at full length.  We've added the ScaleFactor->None option to turn off the scaling.

In[170]:=

PlotVectorField[{-y, x}, {x, -5, 5}, {y, -5, 5}, ScaleFactorNone, AxesTrue]

[Graphics:HTMLFiles/index_93.gif]

Out[170]=

⁃Graphics⁃

That's a much different picture!  So now you can see that Mathematica was really distorting your view of what's going on.  However, you can also see what the designers of Mathematica were thinking; if you show the whole vectors, it can get very crowded.  You can use the ScaleFactor option to fiddle around with a picture to suit your own tastes.  You've already seen what setting this option to None can do; if you set it to a number instead, then Mathematica will rescale the longest vector in the picture to have that length.  For this particular vector field (with this range of x and y) it seems like scaling the vectors to have length 2 or less is a nice compromise.

In[171]:=

PlotVectorField[{-y, x}, {x, -5, 5}, {y, -5, 5}, ScaleFactor2, AxesTrue]

[Graphics:HTMLFiles/index_96.gif]

Out[171]=

⁃Graphics⁃

Why Vector Fields are Useful

The last picture looks like it represents some sort of circular motion, and that's a clue about why vector fields are important.  Very often we'll think of vector fields as representing fluid flow, in which case this vector field would represent some kind of whirlpool or drain.

Sometimes we'll also think of a vector field as a force field; in other words, each vector represents some kind of force, whether from an explosion, or gravity, etc.

Here are a few examples of vector fields for you took look at.  Look at the functions and try to understand why the picture looks the way it does.  Also play around with the ScaleFactor option to see how it affects the pictures.  Which works better, the Automatic or None setting?

The "Blowup" or "Super Nova" Vector Field

In[172]:=

F[x_, y_] = {x, y} PlotVectorField[F[x, y], {x, -5, 5}, {y, -5, 5}, ScaleFactorAutomatic, AxesTrue]

Out[172]=

{x, y}

[Graphics:HTMLFiles/index_100.gif]

Out[173]=

⁃Graphics⁃

The "Black Hole" Vector Field

Can you explain what happens when you set ScaleFactor to None here?

In[174]:=

F[x_, y_] = {-x, -y} PlotVectorField[F[x, y], {x, -5, 5}, {y, -5, 5}, ScaleFactorAutomatic, AxesTrue]

Out[174]=

{-x, -y}

[Graphics:HTMLFiles/index_104.gif]

Out[175]=

⁃Graphics⁃

The "Important" Vector Field

This vector field looks a lot like the very first example we worked with.  See if you can tell how it's different.  This particular vector field has some very unique characteristics, which you'll learn about in lecture.  That's why we called it "important" here; it also has a tendency to show up in textbooks and on exams.

In[176]:=

F[x_, y_] = {-y/(x^2 + y^2), x/(x^2 + y^2)} PlotVectorField[F[x, y], {x, -5, 5}, {y, -5, 5}, ScaleFactorAutomatic, AxesTrue, PlotPoints16]

Out[176]=

{-y/(x^2 + y^2), x/(x^2 + y^2)}

[Graphics:HTMLFiles/index_108.gif]

Out[177]=

⁃Graphics⁃

The "Curving River"

In[178]:=

F[x_, y_] = {1, Sin[x]} PlotVectorField[F[x, y], {x, -Pi/2, Pi/2}, {y, -Pi/2, Pi/2}, AxesTrue]

Out[178]=

{1, Sin[x]}

[Graphics:HTMLFiles/index_112.gif]

Out[179]=

⁃Graphics⁃

Vector Fields in 3D

Many -- maybe most -- of the vector fields you'll work with this semester are three-dimensional.  That means we have a function F : ^3^3instead of ^2^2.  Everything else you've learned goes the same way: the three inputs are the (x,y,z) coordinates of a point, and the output is a three dimensional vector which you draw beginning at the input point (x,y,z).

Mathematica can draw 3D vector fields, but you'll quickly see why we tend to concentrate on 2D examples when we're talking about these ideas.  It just gets too messy when you look at a three dimensional picture.  Look at this example of a 3D vector field, which is almost the same as the first 2D vector field we considered above:

In[180]:=

F[x_, y_, z_] = {-y, x, z} PlotVectorField3D[F[x, y, z], {x, -5, 5}, {y, -5, 5}, {z, -5, 5}, AxesTrue]

Out[180]=

{-y, x, z}

[Graphics:HTMLFiles/index_118.gif]

Out[181]=

⁃Graphics3D⁃

Mathematica is trying valiantly to keep things from getting too messy.  It's scaling the vectors, as before, and it's also removed the arrows at the end of the vectors.  While the missing arrows make things a little less cluttered, it's a big loss of information because you have no way of knowing which directions things are heading in.

If you'd like to put the arrows back in, you can use the VectorHeads option.  We've done that in the next command here, along with turning the scaling off.

In[182]:=

F[x_, y_, z_] = {-y, x, z} PlotVectorField3D[F[x, y, z], {x, -5, 5}, {y, -5, 5}, {z, -5, 5}, AxesTrue, VectorHeadsTrue, ScaleFactorNone]

Out[182]=

{-y, x, z}

[Graphics:HTMLFiles/index_122.gif]

Out[183]=

⁃Graphics3D⁃

Now you can see why, although we work with 3D vector fields all the time, we very rarely draw pictures of them!

Gravity

One 3D vector field that can be drawn fairly easily is the gravitational force field on the surface of the earth.  Of course, the only reason we can draw it is because it's such a simple force field.  Look at the function and see if you can guess what the picture will look like before evaluating the cell.

In[184]:=

RowBox[{F[x_, y_, z_], =, RowBox[{{, RowBox[{0, ,, 0, ,, RowBox[{-, 9.8}]}], }}]}] PlotVectorF ... 0, 50}, VectorHeadsTrue, AxesTrue, ScaleFactorFalse, PlotPoints5]

Out[184]=

RowBox[{{, RowBox[{0, ,, 0, ,, RowBox[{-, 9.8}]}], }}]

[Graphics:HTMLFiles/index_126.gif]

Out[185]=

⁃Graphics3D⁃

The Gradient Revisited; Tying it all Together

Now let's combine the two previous sections.  If we have a function f : ^2, we can take its gradient, which is a function ∇f : ^2^2.  Read that again -- it's tricky.  f takes two inputs, and its gradient takes the same two inputs, and gives you two outputs back -- namely, the two partial derivatives.

But wait!  If the gradient is a function ∇f : ^2^2, then we can think of the gradient of a function as a vector field!  And thus the idea of a "gradient vector field" is born.  You'll run across that term fairly often.  It just means a vector field which happens to be the gradient of some (possibly unknown!) function.

In[186]:=

f[x_, y_] = x * y gradf[x_, y_] = Grad2D[f[x, y]] gradfieldpic = PlotVectorField[gradf[x, y], {x, -5, 5}, {y, -5, 5}, AxesTrue]

Out[186]=

x y

Out[187]=

{y, x}

[Graphics:HTMLFiles/index_134.gif]

Out[188]=

⁃Graphics⁃

Gradient vector fields are important because they have a property called "path independence," which you'll learn about later in this course.  For today we'll concentrate on a different idea, the fact that gradients are perpendicular (or "orthogonal," or "normal," all of which mean the same thing) to level sets of a function.  This will help us tie a few loose ends with the directional derivative, too.

Remember that, for a function f(x, y), a level set is the set of all points (x,y) such that f(x, y) = c, where c is some constant number you've already chosen.  For example, with our function f(x, y) = x * y that we just used,

    f(x, y) = x y = 1 is the same as y=1/x, which is a hyperbola,
    f(x, y) = x y = 2 is the same as y=2/x, which is a hyperbola,
    f(x, y) = x y = 3 is the same as y=3/x, which is a hyperbola,

and so on.  Essentially we're finding all of the points where the height of the surface z = f(x, y) is equal to 1 (or 2, or 3).  We could plot these together:

In[189]:=

Plot[{1/x, 2/x, 3/x}, {x, -5, 5}, PlotRange {-5, 5}, AspectRatioAutomatic]

[Graphics:HTMLFiles/index_144.gif]

Out[189]=

⁃Graphics⁃

But wait!  If we're looking for points where the height has a certain values, then we're really looking for contour lines.  Remember ContourPlot?  It can generate a nice picture of this function.  (Go look at Lab 1B if you don't remember this command.)  It shows us the various "elevation lines" of the graph, including those for negative elevation.

In[190]:=

contourpic = ContourPlot[f[x, y], {x, -5, 5}, {y, -5, 5}]

[Graphics:HTMLFiles/index_147.gif]

Out[190]=

⁃ContourGraphics⁃

Now let's look at the contour plot and the gradient field together.  There's an extra option here to make the arrows blue in the picture of the vector field; you don't need to worry about figuring that out.  Also, the DisplayFunction stuff prevents Mathematica from drawing a picture of the vector field until we show both pictures together.

In[191]:=

gradfieldpic = PlotVectorField[gradf[x, y], {x, -4, 4}, {y, -4, 4}, AxesTrue, ColorFun ... tionIdentity] ; Show[contourpic, gradfieldpic, DisplayFunction$DisplayFunction] ;

[Graphics:HTMLFiles/index_150.gif]

Notice that the blue vectors in the picture are perpendicular to the level curves (i.e. the contour lines).  This is no accident!  In fact, it's always true that

If the point (x,y) is on the level curve f(x, y) = c, then ∇f(x, y)will be perpendicular to the level curve.

(More technically, if you draw the tangent line which touches the curve at the point (x,y), then the gradient vector at that point will be perpendicular to the tangent line.)

The same is true in any dimension.  If you have a function f : ^3, then the level sets will be level surfaces, and the gradient will be perpendicular to the level surfaces.  That is, if (x, y, z) is on some level surface, then the gradient ∇f(x, y, z) will be perpendicular -- or "normal" -- to the tangent plane which touches the surface at (x,y,z).

If this sounds familiar, it's because you already used it last week to find the cartesian equation of a tangent plane!

There's a little more to be said about the picture above.  Remember that ContourPlot shades the low areas with dark colors, and the high areas with bright colors.  Notice how the gradient vectors always seem to point straight uphill.  Once again, that's no accident.  Remember,

D_Overscript[u, ⇀] f(a) = Overscript[∇, ⇀] f(a) · Overscript[u, ⇀],

and if we combine that with the definition of a dot product, along with the fact that Overscript[u, ⇀]is a unit vector (and therefore has length one):

D_Overscript[u, ⇀] f(a) = Overscript[∇, ⇀] f(a) · Overscript[u, ⇀] = | ... || || Overscript[u, ⇀] || cos(θ) = || Overscript[∇, ⇀] f(a) || cos(θ)

where θ is the angle between the gradient vector and the vector Overscript[u, ⇀], i.e. the angle between the gradient and the direction that we're going.  The largest this can be is when cos(θ)=1, which happens for θ=0.  In other words,

"The largest the directional derivative can be is when the angle between the gradient and our direction is 0 -- in other words, when we're looking in the direction of the gradient vector."

Rephrased one more time:

The largest value of the directional derivative is in the direction of the gradient; equivalently, the gradient points in the direction of the largest increase.

Exercise 3

Recall the setup for Exercises 1 and 2:

Suppose there is a spaceship in three-dimensional space, with our sun located at the origin, (0,0,0).  The temperature near the sun is extremely hot, of course -- about 6000K -- and it drops rapidly as one moves away.  Suppose the temperate at any point is space is given by T(x, y, z) = 6000/(1 + (x^2 + y^2 + z^2)/5), where x, y, and z measured in units of 10 million miles.  (Here we're assuming the spaceship will never get close enough to other stars to notice their heat, so effectively our sun is the only heat-producer in the universe.)

Let's assume again that the spaceship is located on the Earth, about 93 million miles away, at the point (9,2,1).  In what direction is the largest increase in temperature?  Why is this not the least bit surprising?  In which direction could the spaceship go to remain at the same temperature?  (This is much harder than the first question in this paragraph.)

(If you're assigned this problem, it's not worthy of a separate writeup.  You should include your answer as an "interesting aside" in your answer to Exercise 1.)

Exercise 4

Assuming the spaceship is at the point (4,-2,8).  In which direction should the spacecraft move in order to decrease the temperature as quickly as possible.  What direction could the spacecraft go to keep the temperature constant?

If you're assigned this problem, you should include your answers as part of your writeup to  Exercise 2, instead of doing a separate problem.

Credits


Created by Mathematica  (October 4, 2004)