Multivariable calculus
Limit of x^2y^2/(x^2y^2+(x-y)^2) Does Not Exist
The limit of x^2 y^2/(x^2 y^2 + (x - y)^2) at the origin does not exist. Along y = 0 the function is 0 at every point, while along y = x it equals 1 at every point except the origin. Every other line through the origin also gives 0, so the diagonal is the one path that exposes the failure.
The limit does not exist
| Path | Limit along it |
|---|---|
| along y = 0 | 0 |
| along y = x | 1 |
| along y = -x | 0 |
Find the path that switches off a term
The denominator is a sum of two nonnegative pieces, and . Whenever the second piece is much larger than the first, the fraction is close to zero. So look for a path that makes disappear.
That path is the diagonal , where exactly.
On the -axis the numerator vanishes instead, and the denominator does not.
The two values are and , so the limit does not exist. Notice how sharp the split is: on the diagonal the function sits at the whole way in, while on every other line it falls away to , no matter how near the origin you look.
Every other line gives zero
Substitute with and cancel a factor of .
As the numerator goes to and the denominator goes to the positive constant , so the value is . Only the slope makes that constant vanish, and there the fraction becomes instead.
- gives , the -axis.
- gives , the anti-diagonal.
- gives .
- gives , the single exceptional direction.
One direction out of infinitely many carries a different value, which is enough. A limit must be blind to the route taken.
The mistake: sampling lines at random and calling it done
A student who tries , , , and gets four times and confidently writes limit . The one path that matters was skipped. When the denominator contains a squared difference like , the curve that annihilates it is always worth trying first.
The habit worth building is to read the denominator before choosing paths. Ask two questions: where can one of its terms be switched off, and where can two terms be made the same size. The first gives for and either axis for ; the second gives for . Those are the paths that break limits.
It also pays to test the curve , which approaches the diagonal without lying on it. There , and dividing through by gives , yet another value.
Frequently asked questions
Is the function bounded?
Yes, and cleanly so: the numerator is one of the two nonnegative terms in the denominator, so everywhere it is defined. It attains both and arbitrarily close to the origin, which is exactly why the limit fails.
Where is f discontinuous?
Only at the origin, which is the sole point where the denominator vanishes. Off the origin, either or , so the denominator is positive and the quotient is continuous.