Solution Verification: Solving this limit with two variables.

limitsmultivariable-calculussolution-verification

$$\lim_{(x,y)\to(0,0)}\frac{y-\sin(y)+2x^2+2y^2}{x^2+y^2}$$

What I did:
The limit is equal to: $\lim_{(x,y)\to(0,0)}\frac{y-\sin(y)}{x^2+y^2}+2$
I'm trying to find how does $y-\sin(y)$ "act" near $0$.
I know that $\sin(y)\sim y$ near $0$.
But what I have here is $y-\sin(y)$, so I've thought of trying to find it using Taylor's polynomial at $(0)$, $\sin(y)\sim y-\frac{y^3}{3!} \Longrightarrow y-\sin(y)\sim y-(y-\frac{y^3}{6})=\frac{y^3}{6}$.
Now I could say "The power in the numerator is higher than the denominator which means the numerator goes faster to $0$, and the limit exists".

But in order to prove it mathematically, I tried to do this:
$$\lim_{(x,y)\to(0,0)}\frac{y-\sin(y)}{x^2+y^2}=\lim_{(x,y)\to(0,0)}\frac{y-\sin(y)}{y^3} \frac{y^3}{x^2+y^2}$$
And now if both of the limits exist, then the multiplication of them exist.
$$\lim_{y\to 0}\frac{y-\sin(y)}{y^3}=\lim_{y\to 0}\frac{1-\cos(y)}{3y^2}=\lim_{y\to 0}\frac{\sin(y)}{6y}=\lim_{y\to 0}\frac{\cos(y)}{6}=\frac{1}{6}$$

And it's easy to show that the right fraction goes to zero, and so this limit goes to $0$, and my whole limit goes to $2$.

I would love to get an approval of my method, and if anything could have been done better.
I would appreciate any other methods of solving this limit as I've struggled to come up with this solution and would love to see other cool tricks.

Best Answer

Since they already talked about your procedure in the comments, I shall talk about some nasty tricks I still remember. I love how "shall" sounds in English, so be prepared!


Polar coordinates

Now I could say "The power in the numerator is higher than the denominator which means the numerator goes faster to 0, and the limit exists". But in order to prove it mathematically, I tried to do this:

A spot-on observation on your part, as it should be verified each time; powers tend to behave weirdly in multivariate limits, especially when at the denumerator and non-balanced, like a $x^4+y^2$. In my experience one of the most useful instruments is the conversion to polar coordinates - see this discussion for example. As you may know the issue with multivariable calculus is that you now have more than the usual two directions of approach, and the conversion in polar coordinates tends to be very useful. Look at this limit: $$ \lim_{(x,y)\to(0,0)} \frac{xy^2}{x^2+y^2}$$ if you try polar coordinates $x=r\cos\theta$ and $y=r\sin\theta$ you should get something like $$ \lim_{r\to0^+} \frac{r\cos\theta(\sin\theta)^2}{1}$$ where I write $r\to0^+$ because it is implied by $(x,y)\to(0,0)$. The limit of course tends to zero because whatever (accepted) value $\theta$ has gets destroyed by $r$ on the long - or short? - run. You could be even more specific using the squeeze theorem since of course $$-1\leq\sin\theta,\cos\theta\leq+1$$

for our $\theta\in[0,2\pi]$.

The preliminary substitution

Note that you have multiple directions to approach your point from, so you can play dirty with your limit; I think you already know this, but I shall mention it for whoever may stumble here with the same question. My advice is to use this as soon as you read the exercise.

Suppose your point is, like in your exercise, $P=(0,0)$. Then you can try substituting into the limit the values $(x,y)$ of any series approaching to $(0,0)$, like $(t^2,t)$ for $t\to 0$. This also renders the limit an usual one-variable calculation. The point of this all is that if you try different "directions" (i.e. a different series approaching to $P$) and get different results your limit does not exist.

Approach via family of lines

I have also seen a similiar method using a family of lines $y-y_0=m(x-x_0)+q$ passing by your $P=(x_0,y_0)$, but I find it a tad cumbersome. It is useful when your limit is asking for a change of coordinates, like $$\lim_{(x,y)\to(2,1)}\frac{(x-2)^2(y-1)}{(x-2^4+(y-1)^2}$$ Here you shall use $$y=m(x-2)+1$$ where $m$ is a real parameter, then $$\lim_{(x,y)\to(2,1)}\frac{(x-2)^2(y-1)}{(x-2)^4+(y-1)^2}=\lim_{x\to2}\frac{m(x-1)}{m^2+(x-2)^2}=0$$ since it does not depend on the value of $m$. This of course does not mean this limit exits, you are only approaching it with lines, there are infinitely many other ways to approach it. In fact you could note this limit doesn't exist using different substitutions. Hint: you already tried a linear approach, try something... less linear!

This method is a tad boring and time consuming, so I much prefer the substitution $x'=x-x_0$, $y'=y-y_0$ but it is worth mentioning since sometimes it can come in handy. The substitution could even make the expression of your limit much worse, and while trying to evaluate the differentiability of a function via limits it's not something that you really want.


I just want to note that polar coordinates tend to confuse while getting the hand of them... look at the linked discussion for example. You must be careful your limit does not depend from the direction you approach from, so be aware of what $\theta$ stands for in $(r,\theta)$ coordinates. It's usual to be fooled by expressions like

$$\lim_{r \to 0} \frac{r (\cos^2\theta\sin\theta)}{r^2\cos^4\theta + \sin^2\theta}$$

The approved answer and the related comments explain it better than I ever could.

Related Question