Multivariable calculus
Limit of (x^2-y^2)/(x^2+y^2) Does Not Exist at (0,0)
The limit of (x^2 - y^2)/(x^2 + y^2) at the origin does not exist. On the x-axis the function equals 1 at every point, and on the y-axis it equals -1 at every point. Since two paths give different constants, the limit fails. In polar form the function is cos(2 theta).
The limit does not exist
| Path | Limit along it |
|---|---|
| along y = 0 | 1 |
| along x = 0 | -1 |
| along y = x | 0 |
Two axes settle it immediately
This is the cleanest example of a failing limit, because the two coordinate axes already disagree. Set and the terms vanish from both numerator and denominator.
Now set and the same thing happens with the roles reversed.
Approaching along the -axis the function sits at ; approaching along the -axis it sits at . The limit does not exist. The diagonal gives yet another value, , since the numerator is zero while the denominator is .
The general line gives , which runs through every value in as the slope changes: it is on the flat line and edges toward as the line steepens. The endpoint belongs to the vertical line , the one line the formula cannot reach.
The polar picture: a saddle of directions
Substituting , turns the quotient into a double-angle identity.
Distance from the origin has no effect at all. Walk in on any ray and is the constant the entire way. The graph is a surface ruled by those rays, so every value in already appears on every circle around the origin, however small. That is exactly what a nonexistent limit looks like.
This also tells you the function is bounded, which is worth noticing: bounded is not the same as convergent. A function can stay inside a narrow band and still have no limit.
The mistake: reaching for L'Hopital's rule
Plugging in gives , and the reflex from single-variable calculus is to apply L'Hopital's rule. There is no such rule in two variables. L'Hopital compares rates along one line, and here the whole problem is that different lines behave differently.
Also resist the urge to cancel. Students write and then hope the factors cancel with the denominator. They do not: does not factor over the reals.
- L'Hopital's rule applies only to one-variable limits.
- signals that work is needed, not that the limit fails.
- The verdict comes from comparing paths, not from the algebraic form.
Frequently asked questions
Can the discontinuity be removed by defining f(0,0) cleverly?
No. A removable discontinuity requires the limit to exist so you can plug the value in. Here the function approaches from one direction and from another, so no choice of makes continuous.
What if I only test lines and they all give different values?
Then you are done after the first two that disagree. You do not need the general line formula. It is shown here because it also tells you the full range of values the function approaches, which is .