Differentiability of $g(x)sin(1/x)$ at $x=0$.











up vote
0
down vote

favorite












I have a solution to the following exercise, and would like to confirm if I am proceeding correctly:




Suppose that $g(x)$ is differentiable at $x=0$, and that $g(0)=g'(0)=0$. Show that
$$f(x)=begin{cases} g(x)sin(x) && xneq 0 \ 0 && x=0end{cases}$$
is differentiable at $x=0$.




My attempt: To show that $f(x)$ is differentiable at $x=0$, we would like to show that $lim_{hto 0}frac{f(h)-f(0)}{h}$ exists. We have that
begin{align*}
lim_{hto 0}frac{f(h)-f(0)}{h} & = lim_{hto 0} frac{g(h)sin(1/h)-0}{h}
\ & = lim_{hto 0}frac{g(h)}{h}cdotsin(1/h)
end{align*}

Since $g'(0)=0$, we have that $lim_{hto 0}frac{g(h)-g(0)}{h}=lim_{hto 0}frac{g(h)}{h}=0$. Therefore,
$$lim_{hto 0}frac{g(h)}{h}cdotsin(1/h)=0cdotlim_{hto 0}sin(1/h)=0$$
Hence, $f'(0)=0$.



I am unsure whether I can say that $0cdotlim_{hto 0}sin(1/h)=0$.










share|cite|improve this question


























    up vote
    0
    down vote

    favorite












    I have a solution to the following exercise, and would like to confirm if I am proceeding correctly:




    Suppose that $g(x)$ is differentiable at $x=0$, and that $g(0)=g'(0)=0$. Show that
    $$f(x)=begin{cases} g(x)sin(x) && xneq 0 \ 0 && x=0end{cases}$$
    is differentiable at $x=0$.




    My attempt: To show that $f(x)$ is differentiable at $x=0$, we would like to show that $lim_{hto 0}frac{f(h)-f(0)}{h}$ exists. We have that
    begin{align*}
    lim_{hto 0}frac{f(h)-f(0)}{h} & = lim_{hto 0} frac{g(h)sin(1/h)-0}{h}
    \ & = lim_{hto 0}frac{g(h)}{h}cdotsin(1/h)
    end{align*}

    Since $g'(0)=0$, we have that $lim_{hto 0}frac{g(h)-g(0)}{h}=lim_{hto 0}frac{g(h)}{h}=0$. Therefore,
    $$lim_{hto 0}frac{g(h)}{h}cdotsin(1/h)=0cdotlim_{hto 0}sin(1/h)=0$$
    Hence, $f'(0)=0$.



    I am unsure whether I can say that $0cdotlim_{hto 0}sin(1/h)=0$.










    share|cite|improve this question
























      up vote
      0
      down vote

      favorite









      up vote
      0
      down vote

      favorite











      I have a solution to the following exercise, and would like to confirm if I am proceeding correctly:




      Suppose that $g(x)$ is differentiable at $x=0$, and that $g(0)=g'(0)=0$. Show that
      $$f(x)=begin{cases} g(x)sin(x) && xneq 0 \ 0 && x=0end{cases}$$
      is differentiable at $x=0$.




      My attempt: To show that $f(x)$ is differentiable at $x=0$, we would like to show that $lim_{hto 0}frac{f(h)-f(0)}{h}$ exists. We have that
      begin{align*}
      lim_{hto 0}frac{f(h)-f(0)}{h} & = lim_{hto 0} frac{g(h)sin(1/h)-0}{h}
      \ & = lim_{hto 0}frac{g(h)}{h}cdotsin(1/h)
      end{align*}

      Since $g'(0)=0$, we have that $lim_{hto 0}frac{g(h)-g(0)}{h}=lim_{hto 0}frac{g(h)}{h}=0$. Therefore,
      $$lim_{hto 0}frac{g(h)}{h}cdotsin(1/h)=0cdotlim_{hto 0}sin(1/h)=0$$
      Hence, $f'(0)=0$.



      I am unsure whether I can say that $0cdotlim_{hto 0}sin(1/h)=0$.










      share|cite|improve this question













      I have a solution to the following exercise, and would like to confirm if I am proceeding correctly:




      Suppose that $g(x)$ is differentiable at $x=0$, and that $g(0)=g'(0)=0$. Show that
      $$f(x)=begin{cases} g(x)sin(x) && xneq 0 \ 0 && x=0end{cases}$$
      is differentiable at $x=0$.




      My attempt: To show that $f(x)$ is differentiable at $x=0$, we would like to show that $lim_{hto 0}frac{f(h)-f(0)}{h}$ exists. We have that
      begin{align*}
      lim_{hto 0}frac{f(h)-f(0)}{h} & = lim_{hto 0} frac{g(h)sin(1/h)-0}{h}
      \ & = lim_{hto 0}frac{g(h)}{h}cdotsin(1/h)
      end{align*}

      Since $g'(0)=0$, we have that $lim_{hto 0}frac{g(h)-g(0)}{h}=lim_{hto 0}frac{g(h)}{h}=0$. Therefore,
      $$lim_{hto 0}frac{g(h)}{h}cdotsin(1/h)=0cdotlim_{hto 0}sin(1/h)=0$$
      Hence, $f'(0)=0$.



      I am unsure whether I can say that $0cdotlim_{hto 0}sin(1/h)=0$.







      real-analysis proof-verification






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked 23 hours ago









      高田航

      1,274318




      1,274318






















          4 Answers
          4






          active

          oldest

          votes

















          up vote
          4
          down vote



          accepted










          The limit $lim_{hto 0}sin(1/h)$ does not exist !



          But since $|frac{g(h)}{h}cdotsin(1/h)| le |frac{g(h)}{h}|$ and $lim_{hto 0}frac{g(h)}{h}=0$, we see that $lim_{hto 0}frac{f(h)-f(0)}{h}=0$.






          share|cite|improve this answer




























            up vote
            2
            down vote













            Yes, you can say that $0timeslim_{hto0}sinleft(frac1hright)=0$, but that's not a sensible thing to say.



            It is better to say that$$leftlvertfrac{g(h)}hsinleft(frac1hright)rightrvertleqslantleftlvertfrac{g(h)}hrightrvert$$and then to uset the fact that$$lim_{hto0}frac{g(h)}h=0ifflim_{hto0}leftlvertfrac{g(h)}hrightrvert=0.$$






            share|cite|improve this answer




























              up vote
              1
              down vote













              If I am correct then the question mention's about



              $$ f(x) = begin{cases}0 & x = 0\ g(x)sin{x} & x neq0end{cases} $$



              So I would use the following:



              $$ f^{'}(x) = lim_{h rightarrow 0} frac{f(x+h)-f(x)}{h} $$



              $$f^{'}(0) = lim_{h rightarrow 0}frac{f(h)-f(0)}{h} \ = lim_{h rightarrow 0} frac{g(h)sin{h}-0}{h}$$



              Now using the identity $ lim_{h rightarrow 0} frac{sin{h}}{h} = 1$.



              This shortened the expression to



              $$ lim_{h rightarrow 0} g(h) $$



              Now note that $g$ is continuous about $x=0$, the function $f$ is differentiable about $x=0$.






              share|cite|improve this answer




























                up vote
                0
                down vote













                By Taylor's theorem:
                $$g(x)=g(0)+g'(0)x+r(x)x$$
                $$g(x)=xr(x)$$
                So
                $$f(x)=xr(x)sinleft(frac{1}{x}right)$$
                And
                $$f'(0)=lim_{x to 0} frac{f(x)-f(0)}{x}=lim_{x to 0} r(x) sinleft(frac{1}{x}right)=0$$
                Because $r(x) to 0$ and $sinleft(frac{1}{x}right)$ is bounded.






                share|cite|improve this answer





















                  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: true,
                  showLowRepImageUploadWarning: true,
                  reputationToPostImages: 10,
                  bindNavPrevention: true,
                  postfix: "",
                  imageUploader: {
                  brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
                  contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
                  allowUrls: true
                  },
                  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%2f3004858%2fdifferentiability-of-gx-sin1-x-at-x-0%23new-answer', 'question_page');
                  }
                  );

                  Post as a guest















                  Required, but never shown

























                  4 Answers
                  4






                  active

                  oldest

                  votes








                  4 Answers
                  4






                  active

                  oldest

                  votes









                  active

                  oldest

                  votes






                  active

                  oldest

                  votes








                  up vote
                  4
                  down vote



                  accepted










                  The limit $lim_{hto 0}sin(1/h)$ does not exist !



                  But since $|frac{g(h)}{h}cdotsin(1/h)| le |frac{g(h)}{h}|$ and $lim_{hto 0}frac{g(h)}{h}=0$, we see that $lim_{hto 0}frac{f(h)-f(0)}{h}=0$.






                  share|cite|improve this answer

























                    up vote
                    4
                    down vote



                    accepted










                    The limit $lim_{hto 0}sin(1/h)$ does not exist !



                    But since $|frac{g(h)}{h}cdotsin(1/h)| le |frac{g(h)}{h}|$ and $lim_{hto 0}frac{g(h)}{h}=0$, we see that $lim_{hto 0}frac{f(h)-f(0)}{h}=0$.






                    share|cite|improve this answer























                      up vote
                      4
                      down vote



                      accepted







                      up vote
                      4
                      down vote



                      accepted






                      The limit $lim_{hto 0}sin(1/h)$ does not exist !



                      But since $|frac{g(h)}{h}cdotsin(1/h)| le |frac{g(h)}{h}|$ and $lim_{hto 0}frac{g(h)}{h}=0$, we see that $lim_{hto 0}frac{f(h)-f(0)}{h}=0$.






                      share|cite|improve this answer












                      The limit $lim_{hto 0}sin(1/h)$ does not exist !



                      But since $|frac{g(h)}{h}cdotsin(1/h)| le |frac{g(h)}{h}|$ and $lim_{hto 0}frac{g(h)}{h}=0$, we see that $lim_{hto 0}frac{f(h)-f(0)}{h}=0$.







                      share|cite|improve this answer












                      share|cite|improve this answer



                      share|cite|improve this answer










                      answered 23 hours ago









                      Fred

                      41.9k1642




                      41.9k1642






















                          up vote
                          2
                          down vote













                          Yes, you can say that $0timeslim_{hto0}sinleft(frac1hright)=0$, but that's not a sensible thing to say.



                          It is better to say that$$leftlvertfrac{g(h)}hsinleft(frac1hright)rightrvertleqslantleftlvertfrac{g(h)}hrightrvert$$and then to uset the fact that$$lim_{hto0}frac{g(h)}h=0ifflim_{hto0}leftlvertfrac{g(h)}hrightrvert=0.$$






                          share|cite|improve this answer

























                            up vote
                            2
                            down vote













                            Yes, you can say that $0timeslim_{hto0}sinleft(frac1hright)=0$, but that's not a sensible thing to say.



                            It is better to say that$$leftlvertfrac{g(h)}hsinleft(frac1hright)rightrvertleqslantleftlvertfrac{g(h)}hrightrvert$$and then to uset the fact that$$lim_{hto0}frac{g(h)}h=0ifflim_{hto0}leftlvertfrac{g(h)}hrightrvert=0.$$






                            share|cite|improve this answer























                              up vote
                              2
                              down vote










                              up vote
                              2
                              down vote









                              Yes, you can say that $0timeslim_{hto0}sinleft(frac1hright)=0$, but that's not a sensible thing to say.



                              It is better to say that$$leftlvertfrac{g(h)}hsinleft(frac1hright)rightrvertleqslantleftlvertfrac{g(h)}hrightrvert$$and then to uset the fact that$$lim_{hto0}frac{g(h)}h=0ifflim_{hto0}leftlvertfrac{g(h)}hrightrvert=0.$$






                              share|cite|improve this answer












                              Yes, you can say that $0timeslim_{hto0}sinleft(frac1hright)=0$, but that's not a sensible thing to say.



                              It is better to say that$$leftlvertfrac{g(h)}hsinleft(frac1hright)rightrvertleqslantleftlvertfrac{g(h)}hrightrvert$$and then to uset the fact that$$lim_{hto0}frac{g(h)}h=0ifflim_{hto0}leftlvertfrac{g(h)}hrightrvert=0.$$







                              share|cite|improve this answer












                              share|cite|improve this answer



                              share|cite|improve this answer










                              answered 23 hours ago









                              José Carlos Santos

                              139k18111203




                              139k18111203






















                                  up vote
                                  1
                                  down vote













                                  If I am correct then the question mention's about



                                  $$ f(x) = begin{cases}0 & x = 0\ g(x)sin{x} & x neq0end{cases} $$



                                  So I would use the following:



                                  $$ f^{'}(x) = lim_{h rightarrow 0} frac{f(x+h)-f(x)}{h} $$



                                  $$f^{'}(0) = lim_{h rightarrow 0}frac{f(h)-f(0)}{h} \ = lim_{h rightarrow 0} frac{g(h)sin{h}-0}{h}$$



                                  Now using the identity $ lim_{h rightarrow 0} frac{sin{h}}{h} = 1$.



                                  This shortened the expression to



                                  $$ lim_{h rightarrow 0} g(h) $$



                                  Now note that $g$ is continuous about $x=0$, the function $f$ is differentiable about $x=0$.






                                  share|cite|improve this answer

























                                    up vote
                                    1
                                    down vote













                                    If I am correct then the question mention's about



                                    $$ f(x) = begin{cases}0 & x = 0\ g(x)sin{x} & x neq0end{cases} $$



                                    So I would use the following:



                                    $$ f^{'}(x) = lim_{h rightarrow 0} frac{f(x+h)-f(x)}{h} $$



                                    $$f^{'}(0) = lim_{h rightarrow 0}frac{f(h)-f(0)}{h} \ = lim_{h rightarrow 0} frac{g(h)sin{h}-0}{h}$$



                                    Now using the identity $ lim_{h rightarrow 0} frac{sin{h}}{h} = 1$.



                                    This shortened the expression to



                                    $$ lim_{h rightarrow 0} g(h) $$



                                    Now note that $g$ is continuous about $x=0$, the function $f$ is differentiable about $x=0$.






                                    share|cite|improve this answer























                                      up vote
                                      1
                                      down vote










                                      up vote
                                      1
                                      down vote









                                      If I am correct then the question mention's about



                                      $$ f(x) = begin{cases}0 & x = 0\ g(x)sin{x} & x neq0end{cases} $$



                                      So I would use the following:



                                      $$ f^{'}(x) = lim_{h rightarrow 0} frac{f(x+h)-f(x)}{h} $$



                                      $$f^{'}(0) = lim_{h rightarrow 0}frac{f(h)-f(0)}{h} \ = lim_{h rightarrow 0} frac{g(h)sin{h}-0}{h}$$



                                      Now using the identity $ lim_{h rightarrow 0} frac{sin{h}}{h} = 1$.



                                      This shortened the expression to



                                      $$ lim_{h rightarrow 0} g(h) $$



                                      Now note that $g$ is continuous about $x=0$, the function $f$ is differentiable about $x=0$.






                                      share|cite|improve this answer












                                      If I am correct then the question mention's about



                                      $$ f(x) = begin{cases}0 & x = 0\ g(x)sin{x} & x neq0end{cases} $$



                                      So I would use the following:



                                      $$ f^{'}(x) = lim_{h rightarrow 0} frac{f(x+h)-f(x)}{h} $$



                                      $$f^{'}(0) = lim_{h rightarrow 0}frac{f(h)-f(0)}{h} \ = lim_{h rightarrow 0} frac{g(h)sin{h}-0}{h}$$



                                      Now using the identity $ lim_{h rightarrow 0} frac{sin{h}}{h} = 1$.



                                      This shortened the expression to



                                      $$ lim_{h rightarrow 0} g(h) $$



                                      Now note that $g$ is continuous about $x=0$, the function $f$ is differentiable about $x=0$.







                                      share|cite|improve this answer












                                      share|cite|improve this answer



                                      share|cite|improve this answer










                                      answered 23 hours ago









                                      Lakshya Sinha

                                      464




                                      464






















                                          up vote
                                          0
                                          down vote













                                          By Taylor's theorem:
                                          $$g(x)=g(0)+g'(0)x+r(x)x$$
                                          $$g(x)=xr(x)$$
                                          So
                                          $$f(x)=xr(x)sinleft(frac{1}{x}right)$$
                                          And
                                          $$f'(0)=lim_{x to 0} frac{f(x)-f(0)}{x}=lim_{x to 0} r(x) sinleft(frac{1}{x}right)=0$$
                                          Because $r(x) to 0$ and $sinleft(frac{1}{x}right)$ is bounded.






                                          share|cite|improve this answer

























                                            up vote
                                            0
                                            down vote













                                            By Taylor's theorem:
                                            $$g(x)=g(0)+g'(0)x+r(x)x$$
                                            $$g(x)=xr(x)$$
                                            So
                                            $$f(x)=xr(x)sinleft(frac{1}{x}right)$$
                                            And
                                            $$f'(0)=lim_{x to 0} frac{f(x)-f(0)}{x}=lim_{x to 0} r(x) sinleft(frac{1}{x}right)=0$$
                                            Because $r(x) to 0$ and $sinleft(frac{1}{x}right)$ is bounded.






                                            share|cite|improve this answer























                                              up vote
                                              0
                                              down vote










                                              up vote
                                              0
                                              down vote









                                              By Taylor's theorem:
                                              $$g(x)=g(0)+g'(0)x+r(x)x$$
                                              $$g(x)=xr(x)$$
                                              So
                                              $$f(x)=xr(x)sinleft(frac{1}{x}right)$$
                                              And
                                              $$f'(0)=lim_{x to 0} frac{f(x)-f(0)}{x}=lim_{x to 0} r(x) sinleft(frac{1}{x}right)=0$$
                                              Because $r(x) to 0$ and $sinleft(frac{1}{x}right)$ is bounded.






                                              share|cite|improve this answer












                                              By Taylor's theorem:
                                              $$g(x)=g(0)+g'(0)x+r(x)x$$
                                              $$g(x)=xr(x)$$
                                              So
                                              $$f(x)=xr(x)sinleft(frac{1}{x}right)$$
                                              And
                                              $$f'(0)=lim_{x to 0} frac{f(x)-f(0)}{x}=lim_{x to 0} r(x) sinleft(frac{1}{x}right)=0$$
                                              Because $r(x) to 0$ and $sinleft(frac{1}{x}right)$ is bounded.







                                              share|cite|improve this answer












                                              share|cite|improve this answer



                                              share|cite|improve this answer










                                              answered 23 hours ago









                                              Botond

                                              4,9632732




                                              4,9632732






























                                                   

                                                  draft saved


                                                  draft discarded



















































                                                   


                                                  draft saved


                                                  draft discarded














                                                  StackExchange.ready(
                                                  function () {
                                                  StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3004858%2fdifferentiability-of-gx-sin1-x-at-x-0%23new-answer', 'question_page');
                                                  }
                                                  );

                                                  Post as a guest















                                                  Required, but never shown





















































                                                  Required, but never shown














                                                  Required, but never shown












                                                  Required, but never shown







                                                  Required, but never shown

































                                                  Required, but never shown














                                                  Required, but never shown












                                                  Required, but never shown







                                                  Required, but never shown







                                                  Popular posts from this blog

                                                  'app-layout' is not a known element: how to share Component with different Modules

                                                  android studio warns about leanback feature tag usage required on manifest while using Unity exported app?

                                                  WPF add header to Image with URL pettitions [duplicate]