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.
The limit does not exist
| Path | Limit along it |
|---|---|
| along y = 0 | 0 |
| along y = x | 0.5 |
| along y = 2x | 0.4 |
The two-path test, done once
Two paths that disagree are all it takes to kill a limit. Substitute the path into , simplify, then let the parameter go to zero. Start with the -axis, where .
So the limit along that path is . Now take the diagonal .
The function is constantly on that path, no matter how close to the origin you get. Since , the limit does not exist and you can stop.
The whole line family shows the same thing at once. Putting gives a value that depends on the slope:
- gives , the -axis.
- gives , the largest value any line produces.
- gives .
- gives , the smallest.
Polar coordinates make the failure visible
Write and . The numerator and denominator are both degree two, so every power of cancels.
There is no left. The value of depends only on the direction you came from, and it never settles down as : it stays pinned at forever. That is the signature of a path-dependent limit.
Compare this with a limit that does exist, where the polar form looks like . There the factor crushes everything to zero regardless of . Here no such factor appears.
The mistake: checking only the two axes
Both axes give , so students report the limit as 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 is positive, so is a quotient of polynomials with nonvanishing denominator and is continuous there. Only the origin is a problem, and no value assigned to can repair it.
Does approaching along a curve instead of a line change anything?
Not here. At every point of polar angle the function is exactly , so a curve that arrives at the origin with a definite direction gives whatever that direction's line already gives. Lines exhibit every value can approach, from to .