Multivariable calculus
Limit of sin(xy)/(x^2+y^2) at (0,0) Does Not Exist
The limit of sin(xy)/(x^2 + y^2) at the origin does not exist. Along y = 0 the function is 0, along y = x it tends to 1/2, and along y = -x it tends to -1/2. Near the origin sin(xy) behaves like xy, so this function inherits the path dependence of xy/(x^2 + y^2).
The limit does not exist
| Path | Limit along it |
|---|---|
| along y = 0 | 0 |
| along y = x | 0.5 |
| along y = -x | -0.5 |
Reduce the sine, then run the path test
The one-variable fact does the heavy lifting. Write the function so that the sine appears over its own argument.
The first factor tends to whenever , which happens on any path into the origin. So the behaviour is decided entirely by the second factor, the classic path-dependent quotient.
Along the numerator is , so is identically zero on the -axis and the limit along that path is . Along :
Along the argument of the sine is , and since sine is odd the same computation gives . Three paths, three values, so the limit does not exist.
How to see it faster
For a fixed line the argument of the sine is , which is tiny, so to leading order. That turns the quotient into a familiar one.
So approaches along the line of slope , exactly the same values as . Replacing a smooth function by its leading term near the origin is a fast way to guess the answer, and then you confirm it with the exact substitution shown above.
- , so the cubic correction is negligible against .
- The two functions and have the same path values at the origin.
- Their difference does tend to zero, which is why the shortcut is safe here.
The mistake: applying sin(u)/u to the wrong denominator
The common error is to write because sine over something small is one. The identity requires the denominator to be the very argument of the sine. Here the argument is but the denominator is , and those are not the same size: on the -axis is zero while is not.
The safe move is the one made above: multiply and divide by so the identity applies to a genuine , and handle the leftover factor separately. When the function is simply zero, so that case needs no special treatment.
Frequently asked questions
Would the limit exist if the denominator were x^2 + y^2 raised to a smaller power?
With the limit is , because makes the quotient bounded by . The trouble here is that numerator and denominator are the same degree.
Is f continuous everywhere except the origin?
Yes. The sine of a polynomial is continuous everywhere and the denominator is nonzero off the origin, so is continuous on the punctured plane. Only the origin has no limit.