What's the best way to explain multivariable limit problems to students who are not familiar with $\epsilon-\delta$ proofs?

Question

For example,

$\displaystyle \lim_{(x,y,z)\rightarrow(0,0,0)} \frac{x^2y^2z^2}{x^2+y^2+z^2}$

This question is from 8th edition of Stewart Calculus textbook. My fellow graduate student TAs and myself recently got many students ask this question in office hour/by email.

Because this is a freshman level calculus class, most instructors choose to only briefly explain this topic and (probably) do not expect students to write a full proof of such a problem on the exams. In our single variable calculus course syllabus the $\epsilon-\delta$ definition of limit is also omitted.

My question is, for a few people who do want to know how to solve this problem, what's the best way to explain?

Some thought

1. Convince them they must know the rigorous limit definition for such a problem. (Any better approach?)
2. Bound the function by 0 and $(x^2+y^2+z^2)^2$ and apply squeeze theorem. (Almost as hard as 1.?)
3. Change to spherical coordinate. (They won't learn this until they get to the multivariable integration chapter.)

Answer 1

Showing why there is a need for good definitions here is probably more important than showing students why a difficult definition "works" via plug-in hocus-pocus. (Though if you have the time to do the proper definition properly that is even better; I certainly don't in multivariate calc. Squeeze theorem, as commenter John Coleman points out, is a good compromise there, as long as you make it clear you know it's a deus ex machina for them at this point.)

With modern software this becomes very easy. You can do it with just about anything; I use SageMath, and also find CalcPlot3D a good (free) option.

Here is what I use in this situation (modifying your example slightly in the first instance since visualizing yours would require students "seeing" how contour surfaces work). You can surely use whatever single graphic is in the text and modify it in your language of choice.

• Example where the limit exists
• Example where the limit doesn't exist

Answer 2

You can make this $\epsilon/\delta$ proof easy enough that an interested student should find the argument believable without experience with $\epsilon/\delta$ proofs. Divide both the numerator and denominator by $x^2 y^2 z^2$ to get $$\frac{1}{ \frac{1}{y^2 z^2} + \frac{1}{x^2 z^2} + \frac{1}{y^2 z^2}}$$ Then if $|x|,|y|,|z| < \epsilon$ then we have $$ \frac{1}{y^2 z^2} + \frac{1}{x^2 z^2} + \frac{1}{y^2 z^2} > \frac{3}{\epsilon^4}.$$ Thus $$\frac{1}{ \frac{1}{y^2 z^2} + \frac{1}{x^2 z^2} + \frac{1}{y^2 z^2}} < \frac{\epsilon^4}{3}$$

Answer 3

$\displaystyle \lim_{(x,y,z)\rightarrow(0,0,0)} \frac{x^2y^2z^2}{x^2+y^2+z^2}$

Even if this were a course where students were required to write epsilon-delta proofs, I would still imagine that anyone competent would approach this problem by first thinking informally about why this limit is expected to exist and be zero. I would split this into three levels of rigor:

(1) As you approach the origin, each of the three coordinates gets very small. The numerator is sixth order and the denominator second order, so we expect the numerator to get small much faster than the denominator. The first goal should be to get students to the level where this mode of reasoning seems natural to them.

(2) Next, I would worry about whether this argument fails for some special path leading to the origin. The only obvious possibilities that might have such "special" behavior are paths lying along the axes -- these are the only paths that seem obviously to have been singled out by the structure of the expression. We check that the argument in #1 still holds for these paths.

(3) Do something more rigorous, such as the possibilities you suggested in the question.

Given the level at which your course is being taught, #3 doesn't seem like a realistic expectation on a homework problem.

I think it is more important for students to be competent enough to do #1 than for them to be able to cook up some tricky approach that applies specifically to this problem.

Answer 4

Let's consider a path $$\left( x(t), y(t), z(t) \right)$$ with $\left( x(0), y(0), z(0) \right) = (0,0,0)$. For small $t$, we can approximate this path with a straight line, in which case $$\left( x(t), y(t), z(t) \right) = (at, bt, ct)$$ for some constants $a,b,c$. This is admittedly non-rigorous, but it should seem intuitively plausible that a smooth curved path looks straight if you zoom in close enough -- that, after all, is a fundamental idea in Calculus 1.

So now substitute that into the formula: We need to compute $$\lim_{t \to 0} \frac{(at)^2(bt)^2(ct)^2}{(at)^2+(bt)^2+(ct)^2}$$ which is a limit they can calculate by single-variable methods.