Multivariable calculus

Limit of xy/(x^2+y^2) at the Origin Does Not Exist

The limit of xy/(x^2 + y^2) as (x, y) approaches (0, 0) does not exist. Along the line y = 0 the function is 0 at every point, and along y = x it is 1/2 at every point. Two paths into the origin give two different values, so no single number can be the limit.

f(x,y)=xyx2+y2f(x,y) = \frac{xy}{x^2 + y^2}

The limit does not exist

PathLimit along it
along y = 00
along y = x0.5
along y = 2x0.4

The two-path test, done once

Two paths that disagree are all it takes to kill a limit. Substitute the path into ff, simplify, then let the parameter go to zero. Start with the xx-axis, where y=0y = 0.

f(t,0)=t0t2+02=0for every t0f(t, 0) = \frac{t \cdot 0}{t^2 + 0^2} = 0 \quad \text{for every } t \neq 0

So the limit along that path is 00. Now take the diagonal y=xy = x.

f(t,t)=ttt2+t2=t22t2=12f(t, t) = \frac{t \cdot t}{t^2 + t^2} = \frac{t^2}{2t^2} = \frac{1}{2}

The function is constantly 1/21/2 on that path, no matter how close to the origin you get. Since 0120 \neq \tfrac{1}{2}, the limit does not exist and you can stop.

The whole line family shows the same thing at once. Putting y=mxy = mx gives a value that depends on the slope:

f(x,mx)=xmxx2+m2x2=m1+m2f(x, mx) = \frac{x \cdot mx}{x^2 + m^2x^2} = \frac{m}{1 + m^2}
  • m=0m = 0 gives 00, the xx-axis.
  • m=1m = 1 gives 12\tfrac{1}{2}, the largest value any line produces.
  • m=2m = 2 gives 25\tfrac{2}{5}.
  • m=1m = -1 gives 12-\tfrac{1}{2}, the smallest.

Polar coordinates make the failure visible

Write x=rcosθx = r\cos\theta and y=rsinθy = r\sin\theta. The numerator and denominator are both degree two, so every power of rr cancels.

f=r2cosθsinθr2=cosθsinθ=12sin2θf = \frac{r^2\cos\theta\sin\theta}{r^2} = \cos\theta\sin\theta = \frac{1}{2}\sin 2\theta

There is no rr left. The value of ff depends only on the direction you came from, and it never settles down as r0r \to 0: it stays pinned at 12sin2θ\tfrac{1}{2}\sin 2\theta forever. That is the signature of a path-dependent limit.

Compare this with a limit that does exist, where the polar form looks like r(something bounded)r \cdot (\text{something bounded}). There the rr factor crushes everything to zero regardless of θ\theta. Here no such factor appears.

The mistake: checking only the two axes

Both axes give 00, so students report the limit as 00 and move on. Agreement along a few paths is evidence, never proof. A limit exists only if every possible approach gives the same value, and there are infinitely many approaches.

Use path tests in one direction only: to disprove. When two paths agree, that is a hint to go looking for a real proof, using polar coordinates or a squeeze estimate. When two paths disagree, you have a complete argument and you are finished.

  • Two agreeing paths prove nothing about the limit.
  • Two disagreeing paths prove the limit does not exist.
  • A single path can never establish existence, no matter how general it looks.

Frequently asked questions

Is the function continuous anywhere?

Yes. Everywhere except the origin the denominator x2+y2x^2 + y^2 is positive, so ff is a quotient of polynomials with nonvanishing denominator and is continuous there. Only the origin is a problem, and no value assigned to f(0,0)f(0,0) can repair it.

Does approaching along a curve instead of a line change anything?

Not here. At every point of polar angle θ\theta the function is exactly 12sin2θ\tfrac{1}{2}\sin 2\theta, so a curve that arrives at the origin with a definite direction gives whatever that direction's line already gives. Lines exhibit every value ff can approach, from 12-\tfrac{1}{2} to 12\tfrac{1}{2}.