Multivariable calculus

Limit of (x^3-y^3)/(x^2+y^2) at the Origin

The limit of (x^3 - y^3) / (x^2 + y^2) as (x, y) approaches the origin is 0. In polar coordinates the function equals r times (cos^3 theta minus sin^3 theta). That trigonometric factor never exceeds 2 in size, so the whole expression sits between -2r and 2r and is squeezed to 0.

f(x,y)=x3y3x2+y2f(x,y) = \frac{x^3 - y^3}{x^2 + y^2}

The limit exists

lim(x,y)(0,0)x3y3x2+y2=0\lim_{(x,y) \to (0,0)} \frac{x^3 - y^3}{x^2 + y^2} = 0
PathLimit along it
along y = 00
along x = 00
along y = x0

The axes and the diagonal

Start with the two axes and the diagonal y=xy = x, since each of the three turns ff into a function of tt alone.

f(t,0)=t3t2=t0f(t,0) = \frac{t^3}{t^2} = t \to 0
f(0,t)=t3t2=t0f(0,t) = \frac{-t^3}{t^2} = -t \to 0
f(t,t)=t3t32t2=0f(t,t) = \frac{t^3 - t^3}{2t^2} = 0

The diagonal gives exactly zero at every tt, not just in the limit, which looks like unusually strong evidence. It is not. Strength of agreement along one curve says nothing about the curves you did not try, and here the numerator was cancelled by the symmetry of the path before the limit was ever taken.

Polar coordinates and the triangle inequality

Substituting x=rcosθx = r\cos\theta and y=rsinθy = r\sin\theta, the numerator is degree three in rr and the denominator is degree two, so one factor of rr survives.

f=r3cos3θr3sin3θr2=r(cos3θsin3θ)f = \frac{r^3\cos^3\theta - r^3\sin^3\theta}{r^2} = r\left(\cos^3\theta - \sin^3\theta\right)

Bound the bracket with the triangle inequality: cos3θsin3θcos3θ+sin3θ1+1=2\left|\cos^3\theta - \sin^3\theta\right| \le \left|\cos^3\theta\right| + \left|\sin^3\theta\right| \le 1 + 1 = 2.

f2r2rf2r\left|f\right| \le 2r \quad \Longrightarrow \quad -2r \le f \le 2r

Both outer expressions tend to 00 as r0r \to 0, so ff is squeezed to 00. The constant 22 is generous; the sharp value of maxcos3θsin3θ\max\left|\cos^3\theta - \sin^3\theta\right| is 11, attained at θ=0\theta = 0 and θ=π2\theta = \frac{\pi}{2}. You do not need the sharp constant, because Cr0Cr \to 0 for any fixed CC.

The mistake: running the triangle inequality backwards

A frequent slip is to bound the numerator by writing x3y3x3y3\left|x^3 - y^3\right| \le \left|x^3\right| - \left|y^3\right|, or to drop the second term entirely on the grounds that it is small. The triangle inequality points the other way: aba+b|a - b| \le |a| + |b|. The reversed version is false, and it can hand you a quantity that does not bound anything.

The second half of the mistake is finding a bound that still depends on θ\theta and calling it done. A bound is only useful for a squeeze when the thing you compare against tends to zero on its own, with no reference to direction. Here that thing is 2r2r, and rr is the distance to the origin.

Frequently asked questions

Why does polar work here when path testing does not?

A single polar computation covers every direction at once, because θ\theta ranges over all of them while r0r \to 0 says precisely that the point approaches the origin. A path test fixes one relationship between xx and yy and stays silent about all the others.

What if the trigonometric factor had not been bounded?

The argument would collapse. The method depends on splitting ff into a factor that goes to zero, here rr, times a factor that merely stays bounded, here cos3θsin3θ\cos^3\theta - \sin^3\theta. If the second factor blew up, the product could tend to anything or to nothing.