Is $f(x,y)=fracy^3-sin^3xx^2+y^2$ differentiable at $(0,0)$?

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
1
down vote

favorite













Define $f:mathbbR^2rightarrow mathbbR$ by $f(x,y)=displaystyle fracy^3-sin^3xx^2+y^2$ if $(x,y)neq (0,0)$ and $f(0,0)=0$.
My question is, is $f$ differentiable at $(0,0)$?




First I guessed it is not. So, I tried to prove that $f$ is not continuous at $(0,0)$ by showing the limits are different for two different paths approaching $(0,0)$. But could not find it easily. Then I tried proving it is differentiable.



So I took $displaystyle lim_(x,y)rightarrow (0,0)fracf(x,y)-f(0,0)-nabla f(0,0).(x,y)sqrtx^2+y^2=lim_(x,y)rightarrow (0,0)fracx^3-sin^3x(x^2+y^2)^(3/2)$. But failed to prove that this limit is $0$.



So, how could I determine whether $f$ is differentiable at $(0,0)$?










share|cite|improve this question



























    up vote
    1
    down vote

    favorite













    Define $f:mathbbR^2rightarrow mathbbR$ by $f(x,y)=displaystyle fracy^3-sin^3xx^2+y^2$ if $(x,y)neq (0,0)$ and $f(0,0)=0$.
    My question is, is $f$ differentiable at $(0,0)$?




    First I guessed it is not. So, I tried to prove that $f$ is not continuous at $(0,0)$ by showing the limits are different for two different paths approaching $(0,0)$. But could not find it easily. Then I tried proving it is differentiable.



    So I took $displaystyle lim_(x,y)rightarrow (0,0)fracf(x,y)-f(0,0)-nabla f(0,0).(x,y)sqrtx^2+y^2=lim_(x,y)rightarrow (0,0)fracx^3-sin^3x(x^2+y^2)^(3/2)$. But failed to prove that this limit is $0$.



    So, how could I determine whether $f$ is differentiable at $(0,0)$?










    share|cite|improve this question

























      up vote
      1
      down vote

      favorite









      up vote
      1
      down vote

      favorite












      Define $f:mathbbR^2rightarrow mathbbR$ by $f(x,y)=displaystyle fracy^3-sin^3xx^2+y^2$ if $(x,y)neq (0,0)$ and $f(0,0)=0$.
      My question is, is $f$ differentiable at $(0,0)$?




      First I guessed it is not. So, I tried to prove that $f$ is not continuous at $(0,0)$ by showing the limits are different for two different paths approaching $(0,0)$. But could not find it easily. Then I tried proving it is differentiable.



      So I took $displaystyle lim_(x,y)rightarrow (0,0)fracf(x,y)-f(0,0)-nabla f(0,0).(x,y)sqrtx^2+y^2=lim_(x,y)rightarrow (0,0)fracx^3-sin^3x(x^2+y^2)^(3/2)$. But failed to prove that this limit is $0$.



      So, how could I determine whether $f$ is differentiable at $(0,0)$?










      share|cite|improve this question
















      Define $f:mathbbR^2rightarrow mathbbR$ by $f(x,y)=displaystyle fracy^3-sin^3xx^2+y^2$ if $(x,y)neq (0,0)$ and $f(0,0)=0$.
      My question is, is $f$ differentiable at $(0,0)$?




      First I guessed it is not. So, I tried to prove that $f$ is not continuous at $(0,0)$ by showing the limits are different for two different paths approaching $(0,0)$. But could not find it easily. Then I tried proving it is differentiable.



      So I took $displaystyle lim_(x,y)rightarrow (0,0)fracf(x,y)-f(0,0)-nabla f(0,0).(x,y)sqrtx^2+y^2=lim_(x,y)rightarrow (0,0)fracx^3-sin^3x(x^2+y^2)^(3/2)$. But failed to prove that this limit is $0$.



      So, how could I determine whether $f$ is differentiable at $(0,0)$?







      real-analysis multivariable-calculus derivatives






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Sep 4 at 4:37









      Nosrati

      22.3k61747




      22.3k61747










      asked Dec 27 '15 at 17:34









      Extremal

      3,1261626




      3,1261626




















          2 Answers
          2






          active

          oldest

          votes

















          up vote
          1
          down vote













          Your approach is completely correct, but the execution is wrong. First of all, the gradient at the origin is not $(0,0)$; it should be $(-1,1)$. Look carefully at $f(x,0)$, and you'll see that
          $$lim_hto 0 fracf(h,0)-f(0,0)h = -1,$$
          etc.



          So we need to decide if
          $$lim_(x,y)to (0,0)fracfracy^3-sin^3xx^2+y^2 - (-x+y)sqrtx^2+y^2 = 0$$
          or not. I'll let you work out the algebra, but you should need to determine whether
          $$lim_(x,y)to (0,0) fracxy(x-y)(x^2+y^2)^3/2 = 0;$$
          what do you think?






          share|cite|improve this answer






















          • I have not taken that gradient at $(0,0)$ as $0$. I got that $nabla f (0,0).(x,y)=fracy^3-x^3y^2+x^2$. And I used it here. Is it wrong?
            – Extremal
            Dec 27 '15 at 18:19










          • Oh, I see. So you didn't have a typo in what you wrote. Yes, this is wrong. $nabla f(0,0)cdot (x,y)$ has to end up $ax+by$ for some constants $a$ and $b$. I recommend that you compute $partial f/partial x (0,0)$ by the definition, etc.
            – Ted Shifrin
            Dec 27 '15 at 18:27











          • ok i forgot the fact that in $nabla f .(u,v)$, $(u,v)$ should be a unit vector.
            – Extremal
            Dec 27 '15 at 19:06










          • No, no, that's not right. You're confusing some calculus textbooks' definition of the directional derivative with the definition of the derivative (as a linear map) which you're trying to apply here.
            – Ted Shifrin
            Dec 27 '15 at 19:12










          • ok I think I figured out my misunderstanding
            – Extremal
            Dec 27 '15 at 19:54


















          up vote
          0
          down vote













          So, because $nabla f(0,0) = (-1,1)$you need to check if $$lim_(x,y) to (0,0) fracx^3 - (sin(x))^3 + xy(y-x)(x^2 + y^2)^frac32 = 0$$
          We can take $(x,y) to (0,0)$ along any path, so choose convergence along the positive $x-$axis, i.e fix $y=0$ and let $x to 0+$
          We get $lim_xto 0+ -(fracsin(x)x)^3 = 0$



          Now, set $y = kx$ and let $ x to 0+$ The limit becomes



          $lim_yto 0+ fracx^3 - sin^3(x)+ x^3 (k^2 - k)x^3(1 + k^2)^frac32 neq 0$ when (say) $k = 0.5$
          So, the limit does not exist and the function is not differentiable.






          share|cite|improve this answer






















          • No, this is not the right thing that needs to be checked.
            – Ted Shifrin
            Dec 27 '15 at 19:12










          • Oops, I shouldn't calculate gradients by heart :D I will edit the post
            – Milen Ivanov
            Dec 27 '15 at 19:22










          Your Answer




          StackExchange.ifUsing("editor", function ()
          return StackExchange.using("mathjaxEditing", function ()
          StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
          StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
          );
          );
          , "mathjax-editing");

          StackExchange.ready(function()
          var channelOptions =
          tags: "".split(" "),
          id: "69"
          ;
          initTagRenderer("".split(" "), "".split(" "), channelOptions);

          StackExchange.using("externalEditor", function()
          // Have to fire editor after snippets, if snippets enabled
          if (StackExchange.settings.snippets.snippetsEnabled)
          StackExchange.using("snippets", function()
          createEditor();
          );

          else
          createEditor();

          );

          function createEditor()
          StackExchange.prepareEditor(
          heartbeatType: 'answer',
          convertImagesToLinks: true,
          noModals: false,
          showLowRepImageUploadWarning: true,
          reputationToPostImages: 10,
          bindNavPrevention: true,
          postfix: "",
          noCode: true, onDemand: true,
          discardSelector: ".discard-answer"
          ,immediatelyShowMarkdownHelp:true
          );



          );













           

          draft saved


          draft discarded


















          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f1590779%2fis-fx-y-fracy3-sin3xx2y2-differentiable-at-0-0%23new-answer', 'question_page');

          );

          Post as a guest






























          2 Answers
          2






          active

          oldest

          votes








          2 Answers
          2






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes








          up vote
          1
          down vote













          Your approach is completely correct, but the execution is wrong. First of all, the gradient at the origin is not $(0,0)$; it should be $(-1,1)$. Look carefully at $f(x,0)$, and you'll see that
          $$lim_hto 0 fracf(h,0)-f(0,0)h = -1,$$
          etc.



          So we need to decide if
          $$lim_(x,y)to (0,0)fracfracy^3-sin^3xx^2+y^2 - (-x+y)sqrtx^2+y^2 = 0$$
          or not. I'll let you work out the algebra, but you should need to determine whether
          $$lim_(x,y)to (0,0) fracxy(x-y)(x^2+y^2)^3/2 = 0;$$
          what do you think?






          share|cite|improve this answer






















          • I have not taken that gradient at $(0,0)$ as $0$. I got that $nabla f (0,0).(x,y)=fracy^3-x^3y^2+x^2$. And I used it here. Is it wrong?
            – Extremal
            Dec 27 '15 at 18:19










          • Oh, I see. So you didn't have a typo in what you wrote. Yes, this is wrong. $nabla f(0,0)cdot (x,y)$ has to end up $ax+by$ for some constants $a$ and $b$. I recommend that you compute $partial f/partial x (0,0)$ by the definition, etc.
            – Ted Shifrin
            Dec 27 '15 at 18:27











          • ok i forgot the fact that in $nabla f .(u,v)$, $(u,v)$ should be a unit vector.
            – Extremal
            Dec 27 '15 at 19:06










          • No, no, that's not right. You're confusing some calculus textbooks' definition of the directional derivative with the definition of the derivative (as a linear map) which you're trying to apply here.
            – Ted Shifrin
            Dec 27 '15 at 19:12










          • ok I think I figured out my misunderstanding
            – Extremal
            Dec 27 '15 at 19:54















          up vote
          1
          down vote













          Your approach is completely correct, but the execution is wrong. First of all, the gradient at the origin is not $(0,0)$; it should be $(-1,1)$. Look carefully at $f(x,0)$, and you'll see that
          $$lim_hto 0 fracf(h,0)-f(0,0)h = -1,$$
          etc.



          So we need to decide if
          $$lim_(x,y)to (0,0)fracfracy^3-sin^3xx^2+y^2 - (-x+y)sqrtx^2+y^2 = 0$$
          or not. I'll let you work out the algebra, but you should need to determine whether
          $$lim_(x,y)to (0,0) fracxy(x-y)(x^2+y^2)^3/2 = 0;$$
          what do you think?






          share|cite|improve this answer






















          • I have not taken that gradient at $(0,0)$ as $0$. I got that $nabla f (0,0).(x,y)=fracy^3-x^3y^2+x^2$. And I used it here. Is it wrong?
            – Extremal
            Dec 27 '15 at 18:19










          • Oh, I see. So you didn't have a typo in what you wrote. Yes, this is wrong. $nabla f(0,0)cdot (x,y)$ has to end up $ax+by$ for some constants $a$ and $b$. I recommend that you compute $partial f/partial x (0,0)$ by the definition, etc.
            – Ted Shifrin
            Dec 27 '15 at 18:27











          • ok i forgot the fact that in $nabla f .(u,v)$, $(u,v)$ should be a unit vector.
            – Extremal
            Dec 27 '15 at 19:06










          • No, no, that's not right. You're confusing some calculus textbooks' definition of the directional derivative with the definition of the derivative (as a linear map) which you're trying to apply here.
            – Ted Shifrin
            Dec 27 '15 at 19:12










          • ok I think I figured out my misunderstanding
            – Extremal
            Dec 27 '15 at 19:54













          up vote
          1
          down vote










          up vote
          1
          down vote









          Your approach is completely correct, but the execution is wrong. First of all, the gradient at the origin is not $(0,0)$; it should be $(-1,1)$. Look carefully at $f(x,0)$, and you'll see that
          $$lim_hto 0 fracf(h,0)-f(0,0)h = -1,$$
          etc.



          So we need to decide if
          $$lim_(x,y)to (0,0)fracfracy^3-sin^3xx^2+y^2 - (-x+y)sqrtx^2+y^2 = 0$$
          or not. I'll let you work out the algebra, but you should need to determine whether
          $$lim_(x,y)to (0,0) fracxy(x-y)(x^2+y^2)^3/2 = 0;$$
          what do you think?






          share|cite|improve this answer














          Your approach is completely correct, but the execution is wrong. First of all, the gradient at the origin is not $(0,0)$; it should be $(-1,1)$. Look carefully at $f(x,0)$, and you'll see that
          $$lim_hto 0 fracf(h,0)-f(0,0)h = -1,$$
          etc.



          So we need to decide if
          $$lim_(x,y)to (0,0)fracfracy^3-sin^3xx^2+y^2 - (-x+y)sqrtx^2+y^2 = 0$$
          or not. I'll let you work out the algebra, but you should need to determine whether
          $$lim_(x,y)to (0,0) fracxy(x-y)(x^2+y^2)^3/2 = 0;$$
          what do you think?







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Dec 27 '15 at 18:04

























          answered Dec 27 '15 at 17:54









          Ted Shifrin

          60.6k44387




          60.6k44387











          • I have not taken that gradient at $(0,0)$ as $0$. I got that $nabla f (0,0).(x,y)=fracy^3-x^3y^2+x^2$. And I used it here. Is it wrong?
            – Extremal
            Dec 27 '15 at 18:19










          • Oh, I see. So you didn't have a typo in what you wrote. Yes, this is wrong. $nabla f(0,0)cdot (x,y)$ has to end up $ax+by$ for some constants $a$ and $b$. I recommend that you compute $partial f/partial x (0,0)$ by the definition, etc.
            – Ted Shifrin
            Dec 27 '15 at 18:27











          • ok i forgot the fact that in $nabla f .(u,v)$, $(u,v)$ should be a unit vector.
            – Extremal
            Dec 27 '15 at 19:06










          • No, no, that's not right. You're confusing some calculus textbooks' definition of the directional derivative with the definition of the derivative (as a linear map) which you're trying to apply here.
            – Ted Shifrin
            Dec 27 '15 at 19:12










          • ok I think I figured out my misunderstanding
            – Extremal
            Dec 27 '15 at 19:54

















          • I have not taken that gradient at $(0,0)$ as $0$. I got that $nabla f (0,0).(x,y)=fracy^3-x^3y^2+x^2$. And I used it here. Is it wrong?
            – Extremal
            Dec 27 '15 at 18:19










          • Oh, I see. So you didn't have a typo in what you wrote. Yes, this is wrong. $nabla f(0,0)cdot (x,y)$ has to end up $ax+by$ for some constants $a$ and $b$. I recommend that you compute $partial f/partial x (0,0)$ by the definition, etc.
            – Ted Shifrin
            Dec 27 '15 at 18:27











          • ok i forgot the fact that in $nabla f .(u,v)$, $(u,v)$ should be a unit vector.
            – Extremal
            Dec 27 '15 at 19:06










          • No, no, that's not right. You're confusing some calculus textbooks' definition of the directional derivative with the definition of the derivative (as a linear map) which you're trying to apply here.
            – Ted Shifrin
            Dec 27 '15 at 19:12










          • ok I think I figured out my misunderstanding
            – Extremal
            Dec 27 '15 at 19:54
















          I have not taken that gradient at $(0,0)$ as $0$. I got that $nabla f (0,0).(x,y)=fracy^3-x^3y^2+x^2$. And I used it here. Is it wrong?
          – Extremal
          Dec 27 '15 at 18:19




          I have not taken that gradient at $(0,0)$ as $0$. I got that $nabla f (0,0).(x,y)=fracy^3-x^3y^2+x^2$. And I used it here. Is it wrong?
          – Extremal
          Dec 27 '15 at 18:19












          Oh, I see. So you didn't have a typo in what you wrote. Yes, this is wrong. $nabla f(0,0)cdot (x,y)$ has to end up $ax+by$ for some constants $a$ and $b$. I recommend that you compute $partial f/partial x (0,0)$ by the definition, etc.
          – Ted Shifrin
          Dec 27 '15 at 18:27





          Oh, I see. So you didn't have a typo in what you wrote. Yes, this is wrong. $nabla f(0,0)cdot (x,y)$ has to end up $ax+by$ for some constants $a$ and $b$. I recommend that you compute $partial f/partial x (0,0)$ by the definition, etc.
          – Ted Shifrin
          Dec 27 '15 at 18:27













          ok i forgot the fact that in $nabla f .(u,v)$, $(u,v)$ should be a unit vector.
          – Extremal
          Dec 27 '15 at 19:06




          ok i forgot the fact that in $nabla f .(u,v)$, $(u,v)$ should be a unit vector.
          – Extremal
          Dec 27 '15 at 19:06












          No, no, that's not right. You're confusing some calculus textbooks' definition of the directional derivative with the definition of the derivative (as a linear map) which you're trying to apply here.
          – Ted Shifrin
          Dec 27 '15 at 19:12




          No, no, that's not right. You're confusing some calculus textbooks' definition of the directional derivative with the definition of the derivative (as a linear map) which you're trying to apply here.
          – Ted Shifrin
          Dec 27 '15 at 19:12












          ok I think I figured out my misunderstanding
          – Extremal
          Dec 27 '15 at 19:54





          ok I think I figured out my misunderstanding
          – Extremal
          Dec 27 '15 at 19:54











          up vote
          0
          down vote













          So, because $nabla f(0,0) = (-1,1)$you need to check if $$lim_(x,y) to (0,0) fracx^3 - (sin(x))^3 + xy(y-x)(x^2 + y^2)^frac32 = 0$$
          We can take $(x,y) to (0,0)$ along any path, so choose convergence along the positive $x-$axis, i.e fix $y=0$ and let $x to 0+$
          We get $lim_xto 0+ -(fracsin(x)x)^3 = 0$



          Now, set $y = kx$ and let $ x to 0+$ The limit becomes



          $lim_yto 0+ fracx^3 - sin^3(x)+ x^3 (k^2 - k)x^3(1 + k^2)^frac32 neq 0$ when (say) $k = 0.5$
          So, the limit does not exist and the function is not differentiable.






          share|cite|improve this answer






















          • No, this is not the right thing that needs to be checked.
            – Ted Shifrin
            Dec 27 '15 at 19:12










          • Oops, I shouldn't calculate gradients by heart :D I will edit the post
            – Milen Ivanov
            Dec 27 '15 at 19:22














          up vote
          0
          down vote













          So, because $nabla f(0,0) = (-1,1)$you need to check if $$lim_(x,y) to (0,0) fracx^3 - (sin(x))^3 + xy(y-x)(x^2 + y^2)^frac32 = 0$$
          We can take $(x,y) to (0,0)$ along any path, so choose convergence along the positive $x-$axis, i.e fix $y=0$ and let $x to 0+$
          We get $lim_xto 0+ -(fracsin(x)x)^3 = 0$



          Now, set $y = kx$ and let $ x to 0+$ The limit becomes



          $lim_yto 0+ fracx^3 - sin^3(x)+ x^3 (k^2 - k)x^3(1 + k^2)^frac32 neq 0$ when (say) $k = 0.5$
          So, the limit does not exist and the function is not differentiable.






          share|cite|improve this answer






















          • No, this is not the right thing that needs to be checked.
            – Ted Shifrin
            Dec 27 '15 at 19:12










          • Oops, I shouldn't calculate gradients by heart :D I will edit the post
            – Milen Ivanov
            Dec 27 '15 at 19:22












          up vote
          0
          down vote










          up vote
          0
          down vote









          So, because $nabla f(0,0) = (-1,1)$you need to check if $$lim_(x,y) to (0,0) fracx^3 - (sin(x))^3 + xy(y-x)(x^2 + y^2)^frac32 = 0$$
          We can take $(x,y) to (0,0)$ along any path, so choose convergence along the positive $x-$axis, i.e fix $y=0$ and let $x to 0+$
          We get $lim_xto 0+ -(fracsin(x)x)^3 = 0$



          Now, set $y = kx$ and let $ x to 0+$ The limit becomes



          $lim_yto 0+ fracx^3 - sin^3(x)+ x^3 (k^2 - k)x^3(1 + k^2)^frac32 neq 0$ when (say) $k = 0.5$
          So, the limit does not exist and the function is not differentiable.






          share|cite|improve this answer














          So, because $nabla f(0,0) = (-1,1)$you need to check if $$lim_(x,y) to (0,0) fracx^3 - (sin(x))^3 + xy(y-x)(x^2 + y^2)^frac32 = 0$$
          We can take $(x,y) to (0,0)$ along any path, so choose convergence along the positive $x-$axis, i.e fix $y=0$ and let $x to 0+$
          We get $lim_xto 0+ -(fracsin(x)x)^3 = 0$



          Now, set $y = kx$ and let $ x to 0+$ The limit becomes



          $lim_yto 0+ fracx^3 - sin^3(x)+ x^3 (k^2 - k)x^3(1 + k^2)^frac32 neq 0$ when (say) $k = 0.5$
          So, the limit does not exist and the function is not differentiable.







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Dec 27 '15 at 19:31

























          answered Dec 27 '15 at 18:43









          Milen Ivanov

          884211




          884211











          • No, this is not the right thing that needs to be checked.
            – Ted Shifrin
            Dec 27 '15 at 19:12










          • Oops, I shouldn't calculate gradients by heart :D I will edit the post
            – Milen Ivanov
            Dec 27 '15 at 19:22
















          • No, this is not the right thing that needs to be checked.
            – Ted Shifrin
            Dec 27 '15 at 19:12










          • Oops, I shouldn't calculate gradients by heart :D I will edit the post
            – Milen Ivanov
            Dec 27 '15 at 19:22















          No, this is not the right thing that needs to be checked.
          – Ted Shifrin
          Dec 27 '15 at 19:12




          No, this is not the right thing that needs to be checked.
          – Ted Shifrin
          Dec 27 '15 at 19:12












          Oops, I shouldn't calculate gradients by heart :D I will edit the post
          – Milen Ivanov
          Dec 27 '15 at 19:22




          Oops, I shouldn't calculate gradients by heart :D I will edit the post
          – Milen Ivanov
          Dec 27 '15 at 19:22

















           

          draft saved


          draft discarded















































           


          draft saved


          draft discarded














          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f1590779%2fis-fx-y-fracy3-sin3xx2y2-differentiable-at-0-0%23new-answer', 'question_page');

          );

          Post as a guest













































































          這個網誌中的熱門文章

          tkz-euclide: tkzDrawCircle[R] not working

          How to combine Bézier curves to a surface?

          1st Magritte Awards