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.

f(x,y)=x2y2x2y2+(xy)2f(x,y) = \frac{x^2 y^2}{x^2 y^2 + (x - y)^2}

The limit does not exist

PathLimit along it
along y = 00
along y = x1
along y = -x0

Find the path that switches off a term

The denominator is a sum of two nonnegative pieces, x2y2x^2y^2 and (xy)2(x-y)^2. Whenever the second piece is much larger than the first, the fraction is close to zero. So look for a path that makes (xy)2(x-y)^2 disappear.

That path is the diagonal y=xy = x, where xy=0x - y = 0 exactly.

f(t,t)=t2t2t2t2+0=t4t4=1for t0f(t, t) = \frac{t^2 \cdot t^2}{t^2 \cdot t^2 + 0} = \frac{t^4}{t^4} = 1 \quad \text{for } t \neq 0

On the xx-axis the numerator vanishes instead, and the denominator does not.

f(t,0)=00+t2=0f(t, 0) = \frac{0}{0 + t^2} = 0

The two values are 11 and 00, so the limit does not exist. Notice how sharp the split is: on the diagonal the function sits at 11 the whole way in, while on every other line it falls away to 00, no matter how near the origin you look.

Every other line gives zero

Substitute y=mxy = mx with m1m \neq 1 and cancel a factor of x2x^2.

f(x,mx)=m2x4m2x4+(1m)2x2=m2x2m2x2+(1m)2f(x, mx) = \frac{m^2x^4}{m^2x^4 + (1-m)^2x^2} = \frac{m^2x^2}{m^2x^2 + (1-m)^2}

As x0x \to 0 the numerator goes to 00 and the denominator goes to the positive constant (1m)2(1-m)^2, so the value is 00. Only the slope m=1m = 1 makes that constant vanish, and there the fraction becomes 11 instead.

  • m=0m = 0 gives 00, the xx-axis.
  • m=1m = -1 gives 00, the anti-diagonal.
  • m=2m = 2 gives 00.
  • m=1m = 1 gives 11, 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 y=0y = 0, x=0x = 0, y=2xy = 2x, and y=xy = -x gets 00 four times and confidently writes limit =0= 0. The one path that matters was skipped. When the denominator contains a squared difference like (xy)2(x-y)^2, 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 y=xy = x for (xy)2(x-y)^2 and either axis for x2+y2x^2 + y^2; the second gives y=x2y = x^2 for x4+y2x^4 + y^2. Those are the paths that break limits.

It also pays to test the curve y=x+x2y = x + x^2, which approaches the diagonal without lying on it. There f=x2(x+x2)2x2(x+x2)2+x4f = \frac{x^2(x+x^2)^2}{x^2(x+x^2)^2 + x^4}, and dividing through by x4x^4 gives (1+x)2(1+x)2+112\frac{(1+x)^2}{(1+x)^2 + 1} \to \tfrac{1}{2}, 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 0f10 \leq f \leq 1 everywhere it is defined. It attains both 00 and 11 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 xy0xy \neq 0 or xyx \neq y, so the denominator is positive and the quotient is continuous.