1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

A multivariable limit problem (epsilon-delta -proof)

  1. Mar 12, 2016 #1
    1. The problem statement, all variables and given/known data

    Find the limit [tex]\lim_{(x,y)\to(2,2)}\frac{x^3-y^3}{x-y}[/tex]

    2. Relevant equations

    [itex]\epsilon - \delta[/itex], baby:

    If the limit L exists,
    [tex]
    \forall \: \epsilon \: \exists \: \delta: 0 < \sqrt{(x-a)^2+(y-b)^2} < \delta \rightarrow |f(x,y)-L| < \epsilon
    [/tex]

    3. The attempt at a solution

    By approaching the point (2,2) along the lines x=2 and y=2 I managed to figure out that the limit is likely 12. Now I just need to prove it, and I'm stuck.

    Now
    [tex]0 < \sqrt{(x-2)^2+(y-2)^2} < \delta \leftrightarrow (x-2)^2+(y-2)^2 < \delta^2[/tex]

    and using long division
    [tex]x^3-y^3 = (x-y)(x^2+xy+y^2) \rightarrow \frac{x^3-y^3}{x-y}=(x^2+xy+y^2)[/tex]

    I tried deriving the expression for delta from epsilon like this:
    [tex]
    \begin{split}
    |(x^2+xy+y^2)-12| &= |x^2-4x+4+y^2-4x+4+xy+4x+4y-20|\\
    &\leq |x^2-4x+4+y^2-4x+4|+|xy+4x+4y-20|\\
    &\leq \delta^2 + |xy+4x+4y-20|
    \end{split}
    [/tex]

    Almost there, except I'm stuck with that pesky |xy+4x+4y-20|, that I don't know how to get rid of. Am I taking the wrong approach to this entirely? Help, I'm desperate. ?:)
     
  2. jcsd
  3. Mar 12, 2016 #2
    Why don't you use this equation and plug (2,2) instead of the complicated way ?
     
  4. Mar 12, 2016 #3
    Now that you mention it... :oops:

    [itex]f(2,2)=2^2+2^2+2^2=12[/itex]

    However, since I started this, I might as well finish it. Would you happen to know how to finish the proof? Is my approach going to work, or should I take a different route, still using [itex]\epsilon - \delta[/itex]?
     
  5. Mar 12, 2016 #4
    When you will plug (2,2) into that, it will cancel out. You have it!
     
  6. Mar 12, 2016 #5
    I don't want to sound like a retard, but am I allowed to just plug values into epsilon-delta -proofs? :confused: I thought I was supposed to evaluate the terms upwards with [itex]\leq[/itex]-signs until I arrive at an expression that consists of nothing but [itex]\delta[/itex]s.
     
  7. Mar 12, 2016 #6
    You're not retard at all, I was mistaken. Let me look at it again.
     
  8. Mar 12, 2016 #7

    Ray Vickson

    User Avatar
    Science Advisor
    Homework Helper

    If all you want is any ##\delta>0## that "works" (for a given ##\epsilon > 0##)--rather than the best possible ##\delta## for that ##\epsilon##--then you can always relax a bit and use
    [tex] \begin{array}{rcl} |x^2 + xy + y^2 - 12| & = & |(x^2-4) + (xy - 4) + (y^2 - 4)| \\
    &\leq & |x^2 - 4 | + |xy - 4| + |y^2 - 4|
    \end{array}
    [/tex]
    That is a lot easier to work with.
     
  9. Mar 12, 2016 #8
    [tex] \begin{array}{rcl} |x^2 + xy + y^2 - 12| & = & |(x^2-4) + (xy - 4) + (y^2 - 4)| \\
    &\leq & |x^2 - 4 | + |xy - 4| + |y^2 - 4| \\
    &= & |(x-2+4)(x-2)|+|(y-2+4)(y-2)|+|xy-4|\\
    &\leq & (|x-2|+4)|x-2| + (|y-2|+4)|y-2|+|xy-4|\\
    &= & |x-2|^2 + 4|x-2| + |y-2|^2 + 4|y-2| + |xy-4|\\
    &\leq & \delta^2 +4|x-2| + 4|y-2| + |xy-4|\\
    &= & \delta^2 +4|(\sqrt{x}-\sqrt{2})(\sqrt{x}+\sqrt{2})| + 4|(\sqrt{y}-\sqrt{2})(\sqrt{y}+\sqrt{2})| + |(\sqrt{x}\sqrt{y}+2)(\sqrt{x}\sqrt{y}-2)|\\
    \end{array}
    [/tex]

    This is getting too complicated again. I'm not sure how I could evaluate the term with xy in it out of the expression. I'm not even sure I should be doing that since it might somehow cancel out the other 2 pesky terms.
     
  10. Mar 12, 2016 #9

    Ray Vickson

    User Avatar
    Science Advisor
    Homework Helper

    So, simplify it: find ##\delta_x>0, \delta_y > 0## that give ##|x^2-4| < \epsilon/3##, ##|xy - 4| < \epsilon/3##, etc., for ##|x-2| < \delta_x## and ##|y-2| < \delta_y##. Again, all you need so is find ##\delta##s that work, not necessarily the best possible ones.
     
  11. Mar 13, 2016 #10
    Alright, so you're saying that I should simply assume, that since all of the three terms are each ## <\epsilon/3##, they might as well be equal, in which case I could write ##|xy-4|## as either ##|x^2-4|## or ##|y^2-4|##?

    Therefore if ##|x-2|<\delta_x##,

    [tex]
    \begin{split}
    |x^2-4| &=|x+2||x-2| < |x+2|\delta_x < \frac{\epsilon}{3}\\
    &\leftrightarrow |x+2| < \frac{\epsilon}{3\delta_x} &|\text{and also} \\
    &|y+2| < \frac{\epsilon}{3\delta_y} &|\text{because the expressions have the same form}
    \end{split}
    [/tex]

    I'm not sure how this is going to help me get forward, since if I plug these expressions in, I'm just going to end up with ##\epsilon = \epsilon##
     
  12. Mar 13, 2016 #11

    Ray Vickson

    User Avatar
    Science Advisor
    Homework Helper

    You are claiming I said things I never said! I did not say they could be assumed to be equal; I just required that all three of them be less than ##\epsilon/3##.

    Actually, there is nothing sacred about ##\epsilon/3##: we could take ##|x^2-4| < \epsilon/10##, ##|xy-4| <7 \epsilon/10## and ##|y^2-4| < 2 \epsilon/10##, but choosing 1/3,1/3,1/3 seemed easiest.

    Anyway, that is my last word on this topic; you can always look in a textbook or on-line for standard techniques for dealing with such proofs. Nothing I said was original; it was all from books on calculus and/or analysis.
     
  13. Mar 15, 2016 #12
    Alright. Thanks for bearing with me. Our lecturer wasn't expecting us to actually learn how to do a proper epsilon-delta proof, just to get the general idea of what it is. This exercise didn't actually require the use of the method, although a later one kind of did, and even that wasn't a rigorous epsilon delta proof, where one constructs delta from epsilon, but one that used a geometric trick to find a suitable epsilon.

    I'm going to mark this one as solved. Thanks for the help, people.
     
  14. Mar 16, 2016 #13

    Ray Vickson

    User Avatar
    Science Advisor
    Homework Helper

    In that case I can say more: for ##x,y## close to 2 we can certainly assume ##|x|,|y| < 3##, so:
    [tex] \begin{array}{l} |x^2-4| = |(x^2-2x)+(2x-4)| \leq |x||x-2| + 2|x-2| < 5|x-2| \\
    |xy-4| = |(xy-2x)+(2x-4)| \leq |x||y-2| + 2|x-2| < 3|y-2| + 2|x-2| \\
    |y^2-4| =|(y^2-2y)+(2y-4)| \leq |y| |y-2| + 2 |y-2| < 5|y-2|
    \end{array}
    [/tex]
    Thus
    [tex] |x^2+xy+y^2-12| < 7|x-2| + 8|y-2| < \epsilon [/tex]
    if ##|x-2| < \epsilon/15## and ##|y-2| < \epsilon/15##, so we can take ##\delta_x = \delta_y = \delta = \epsilon/15##.
     
  15. Mar 25, 2016 #14
    This is a bit late, but thanks. This is something I might be able to refer to later. I heard a senior maths student say that it took him 3 years to properly get his head around this business, so I guess I shouldn't be too worried. Yet.
     
  16. Mar 25, 2016 #15

    Ray Vickson

    User Avatar
    Science Advisor
    Homework Helper

    I'm glad it is a bit late, because PF rules forbid us from solving your problems for you before you hand them in. I was remiss in not checking first!
     
  17. Mar 26, 2016 #16
    By "this" I was referring to my thanks to you being late, not your response. :wink: It did occur to me that using the word 'this' twice in different contexts might confuse you (or anybody, for that matter), but got lazy and didn't bother to be more elaborate in my wording.

    Anyway, thanks again for your efforts.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted



Similar Discussions: A multivariable limit problem (epsilon-delta -proof)
Loading...