Does this epsilon delta limit proof check out?

[PeteyCoco]

I started learning how to do these things today and boy, they take some interesting logic. Anyway, here's my attempt at one:

prove that the limit as (x,y) → (0,0) of [(x^2)(siny)^2]/(x^2 + 2y^2) exists

Here's what I did:

0<√(x^2 + y^2) < δ, |[(x^2)(siny)^2]/(x^2 + 2y^2) - 0| < ε.

x^2 ≤ x^2 + y^2 since y^2 ≥ 0

so it follows that
(x^2)(siny)^2]/(x^2 + 2y^2) ≤ (siny)^2 < ε

siny < y for all y > 0
(siny)^2 < y^2
(siny)^2 < x^2 + y^2 = δ^2

(x^2)(siny)^2]/(x^2 + 2y^2) ≤ (siny)^2 < δ^2 < ε ∴ limit exists at (0,0)

Does this work?

 

[5hassay]

You might have made a common mistake, but I might be wrong.

You want to find a \delta so that you can get from 0 &lt; x^2 + y^2 &lt; \delta (*) to

| \frac{x^2 \sin^2(y)}{x^2 + 2y^2} - 0| &lt; \epsilon (**)

by good old, cold, mathematical logic and stuff (it would be good to state beforehand that your trying to show that the limit is 0, which I believe it is--I mean, you did, but in English, for sake of us reading). So, it seems like you've got the right idea, but it seems you assumed both (*) and (**) and went from there, which doesn't make sense, here. Also, I don't know how you concluded that

\sin^2(y) &lt; \epsilon

because you only know that

\frac{x^2 \sin^2(y)}{x^2 + 2y^2} &lt; \epsilon

and that

\frac{x^2 \sin^2(y)}{x^2 + 2y^2} \leq \sin^2(y)

(because, maybe \sin^2(y) \geq \epsilon.)

A great trick for proving these kinds of limits is often the following. Prove that

|\frac{x^2 \sin^2(y)}{x^2 + 2y^2}| \leq 0

If you can prove that, then by a theorem of limits often referred to as the "squeeze theorem," the limit must be 0. Of course, you can just write out the absolute value in its two cases and see why its true.

EDIT: HINT: You've already done most of the work, ;)

 

[PeteyCoco]

Thanks for the response!


I tried what you said and it makes sense that the squeeze theorum would work on

0 ≤ (x^2)(siny)^2]/(x^2 + 2y^2) ≤ (siny)^2

as (x,y) tends to (0,0), but I'm still not sure about how I would do this with just the epsilon-delta definition. Is this a case where it's difficult to transform the epsilon inequality to resemble the delta inequality?

 

[5hassay]

Thanks for the response!


I tried what you said and it makes sense that the squeeze theorum would work on

0 ≤ (x^2)(siny)^2]/(x^2 + 2y^2) ≤ (siny)^2

as (x,y) tends to (0,0), but I'm still not sure about how I would do this with just the epsilon-delta definition. Is this a case where it's difficult to transform the epsilon inequality to resemble the delta inequality?

Alright, after probably too much work, I think I've gotten it worked out with delta-epsilon proof.

The following is the tactic I used.

Just to give clarity, we want to show that, if, for any real number \varepsilon &gt; 0, there exists a real number \delta &gt; 0 such that 0 &lt; ||(x,y) - (0, 0)|| &lt; \delta (*), then it is true that ||\frac{x^2 \sin^2(y)}{x^2 + 2y^2} - 0|| &lt; \varepsilon (**). Of course, we are supposing that the limit actually exists and equals 0.

Thus, we start by assuming our hypothesis (*), which can be written better as (I made a mistake in my earlier post, although I guess it might be kind of equivalent)

0 &lt; \sqrt{x^2 - y^2} &lt; \delta

From here, we want to make our way to showing (**) is true. To do this, one way is to show that \delta is greater than some value or expression in (**). Since I know this works (at least, I think), let us show that \delta &gt; |x|, and then show \frac{x^2 \sin^2(y)}{x^2 + 2y^2} is less than some expression containing |x| (or an alternative, described in the following). That is, we first want to show

\delta &gt; \ldots \geq |x|

and then show

\frac{x^2 \sin^2(y)}{x^2 + 2y^2} \leq \ldots \leq f(x)

where f(x) is some function of x where |x| is in it, or when we set it to be less than \varepsilon we can derive an expression containing |x|. The latter is what I did.

Well, the first thing to do with \delta is not too difficult.

The second thing to do with \varepsilon is a bit difficult, as you need something specific. If you have trouble at this part, I'll give a hint. Also, note that this is all rough work. Especially the part where we let some expression be less than \varepsilon, as that is what we want to show--its that if we suppose this, then we might have an expression for \delta that can let us actually show it.

Honestly, if you did something along these lines in your original post, and have confidence in your answer, then maybe you have the right idea after all.