Differentiability and Continuity on an open interval












1














Let $f:[0,infty)tomathbb{R}$ be defined by: $$begin{cases}&xsin(frac{1}{x}) , , &text{if}, , x > 0\
& 0, &text{if} , , x = 0end{cases}$$



Show that $f$ is continuous on $[0,infty)$ and differentiable on $(0,infty)$. Also, show that $f$ has no local maximum or minimum in the endpoint $x = 0$ of the domain of $f$.



I can manage to prove continuity on a single point using the epsilon-delta technique, although the intervals here were a surprise, how do you go about proving such a thing? And any hints about the second part of the problem would also be appreciated.










share|cite|improve this question
























  • What does the phrase "local maximum or minimum in the endpoint" mean?
    – BigbearZzz
    Dec 8 at 10:10












  • According to the definition in the book am using, "A local maximum (minimum) can occur as an end point of the domain of $f$: a point $x$ in the domain of $f$ that does not belong to an open interval lying completely inside the domain". Yeah am equally as confused too :)
    – kareem bokai
    Dec 8 at 10:19












  • I don't quite understand what you want to prove here. Perhaps you want to show that $x=0$ is neither a local maximum nor a local minimum?
    – BigbearZzz
    Dec 8 at 10:21










  • Yeah, I think the way they formulated the question is horrible, we just have to show that $x = 0$ is neither a local max or min
    – kareem bokai
    Dec 8 at 10:25
















1














Let $f:[0,infty)tomathbb{R}$ be defined by: $$begin{cases}&xsin(frac{1}{x}) , , &text{if}, , x > 0\
& 0, &text{if} , , x = 0end{cases}$$



Show that $f$ is continuous on $[0,infty)$ and differentiable on $(0,infty)$. Also, show that $f$ has no local maximum or minimum in the endpoint $x = 0$ of the domain of $f$.



I can manage to prove continuity on a single point using the epsilon-delta technique, although the intervals here were a surprise, how do you go about proving such a thing? And any hints about the second part of the problem would also be appreciated.










share|cite|improve this question
























  • What does the phrase "local maximum or minimum in the endpoint" mean?
    – BigbearZzz
    Dec 8 at 10:10












  • According to the definition in the book am using, "A local maximum (minimum) can occur as an end point of the domain of $f$: a point $x$ in the domain of $f$ that does not belong to an open interval lying completely inside the domain". Yeah am equally as confused too :)
    – kareem bokai
    Dec 8 at 10:19












  • I don't quite understand what you want to prove here. Perhaps you want to show that $x=0$ is neither a local maximum nor a local minimum?
    – BigbearZzz
    Dec 8 at 10:21










  • Yeah, I think the way they formulated the question is horrible, we just have to show that $x = 0$ is neither a local max or min
    – kareem bokai
    Dec 8 at 10:25














1












1








1







Let $f:[0,infty)tomathbb{R}$ be defined by: $$begin{cases}&xsin(frac{1}{x}) , , &text{if}, , x > 0\
& 0, &text{if} , , x = 0end{cases}$$



Show that $f$ is continuous on $[0,infty)$ and differentiable on $(0,infty)$. Also, show that $f$ has no local maximum or minimum in the endpoint $x = 0$ of the domain of $f$.



I can manage to prove continuity on a single point using the epsilon-delta technique, although the intervals here were a surprise, how do you go about proving such a thing? And any hints about the second part of the problem would also be appreciated.










share|cite|improve this question















Let $f:[0,infty)tomathbb{R}$ be defined by: $$begin{cases}&xsin(frac{1}{x}) , , &text{if}, , x > 0\
& 0, &text{if} , , x = 0end{cases}$$



Show that $f$ is continuous on $[0,infty)$ and differentiable on $(0,infty)$. Also, show that $f$ has no local maximum or minimum in the endpoint $x = 0$ of the domain of $f$.



I can manage to prove continuity on a single point using the epsilon-delta technique, although the intervals here were a surprise, how do you go about proving such a thing? And any hints about the second part of the problem would also be appreciated.







real-analysis calculus derivatives proof-writing






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Dec 8 at 9:27

























asked Dec 8 at 9:12









kareem bokai

344




344












  • What does the phrase "local maximum or minimum in the endpoint" mean?
    – BigbearZzz
    Dec 8 at 10:10












  • According to the definition in the book am using, "A local maximum (minimum) can occur as an end point of the domain of $f$: a point $x$ in the domain of $f$ that does not belong to an open interval lying completely inside the domain". Yeah am equally as confused too :)
    – kareem bokai
    Dec 8 at 10:19












  • I don't quite understand what you want to prove here. Perhaps you want to show that $x=0$ is neither a local maximum nor a local minimum?
    – BigbearZzz
    Dec 8 at 10:21










  • Yeah, I think the way they formulated the question is horrible, we just have to show that $x = 0$ is neither a local max or min
    – kareem bokai
    Dec 8 at 10:25


















  • What does the phrase "local maximum or minimum in the endpoint" mean?
    – BigbearZzz
    Dec 8 at 10:10












  • According to the definition in the book am using, "A local maximum (minimum) can occur as an end point of the domain of $f$: a point $x$ in the domain of $f$ that does not belong to an open interval lying completely inside the domain". Yeah am equally as confused too :)
    – kareem bokai
    Dec 8 at 10:19












  • I don't quite understand what you want to prove here. Perhaps you want to show that $x=0$ is neither a local maximum nor a local minimum?
    – BigbearZzz
    Dec 8 at 10:21










  • Yeah, I think the way they formulated the question is horrible, we just have to show that $x = 0$ is neither a local max or min
    – kareem bokai
    Dec 8 at 10:25
















What does the phrase "local maximum or minimum in the endpoint" mean?
– BigbearZzz
Dec 8 at 10:10






What does the phrase "local maximum or minimum in the endpoint" mean?
– BigbearZzz
Dec 8 at 10:10














According to the definition in the book am using, "A local maximum (minimum) can occur as an end point of the domain of $f$: a point $x$ in the domain of $f$ that does not belong to an open interval lying completely inside the domain". Yeah am equally as confused too :)
– kareem bokai
Dec 8 at 10:19






According to the definition in the book am using, "A local maximum (minimum) can occur as an end point of the domain of $f$: a point $x$ in the domain of $f$ that does not belong to an open interval lying completely inside the domain". Yeah am equally as confused too :)
– kareem bokai
Dec 8 at 10:19














I don't quite understand what you want to prove here. Perhaps you want to show that $x=0$ is neither a local maximum nor a local minimum?
– BigbearZzz
Dec 8 at 10:21




I don't quite understand what you want to prove here. Perhaps you want to show that $x=0$ is neither a local maximum nor a local minimum?
– BigbearZzz
Dec 8 at 10:21












Yeah, I think the way they formulated the question is horrible, we just have to show that $x = 0$ is neither a local max or min
– kareem bokai
Dec 8 at 10:25




Yeah, I think the way they formulated the question is horrible, we just have to show that $x = 0$ is neither a local max or min
– kareem bokai
Dec 8 at 10:25










2 Answers
2






active

oldest

votes


















2














An alternative way to show that $f$ is continuous at $x=0$ is to use the sandwich theorem with
$$
-|x| le f(x) le |x|,
$$

where $pm|x|to 0 $ as $xto 0$. Differentiability of $f$ on $(0,infty)$ is obvious.



For the second part, we want to show that for any $varepsilon>0$, the point $x=0$ is neither a maximum nor minimum on $[0,varepsilon)$. Choose $n$ large enough so that $frac 1{2pi n+pi/2}<varepsilon$, then
$$
fleft(frac 1{2pi n+pi/2}right) = frac 1{2pi n+pi/2}>0 = f(0)
$$

so $x=0$ is not a maximum. You should be able to modify this a bit to prove that $x=0$ is not a minimum either. (Hint: we want $sin(1/x)=-1$)






share|cite|improve this answer





























    0














    It'v very easy to show that for any bounded function $g$, defined on a neighbourhood of $0$, the function $f(x)=xcdot g(x)$ is continuous at $x=0$.



    For the differentiability of $f$ notice that $(f(x)-f(0))/(x-0)=g(x)$. Now if $lim_{xto0}g(x)$ doesn't exist, $f$ isn't differentiable at $x=0$.






    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',
      autoActivateHeartbeat: false,
      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%2f3030861%2fdifferentiability-and-continuity-on-an-open-interval%23new-answer', 'question_page');
      }
      );

      Post as a guest















      Required, but never shown

























      2 Answers
      2






      active

      oldest

      votes








      2 Answers
      2






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes









      2














      An alternative way to show that $f$ is continuous at $x=0$ is to use the sandwich theorem with
      $$
      -|x| le f(x) le |x|,
      $$

      where $pm|x|to 0 $ as $xto 0$. Differentiability of $f$ on $(0,infty)$ is obvious.



      For the second part, we want to show that for any $varepsilon>0$, the point $x=0$ is neither a maximum nor minimum on $[0,varepsilon)$. Choose $n$ large enough so that $frac 1{2pi n+pi/2}<varepsilon$, then
      $$
      fleft(frac 1{2pi n+pi/2}right) = frac 1{2pi n+pi/2}>0 = f(0)
      $$

      so $x=0$ is not a maximum. You should be able to modify this a bit to prove that $x=0$ is not a minimum either. (Hint: we want $sin(1/x)=-1$)






      share|cite|improve this answer


























        2














        An alternative way to show that $f$ is continuous at $x=0$ is to use the sandwich theorem with
        $$
        -|x| le f(x) le |x|,
        $$

        where $pm|x|to 0 $ as $xto 0$. Differentiability of $f$ on $(0,infty)$ is obvious.



        For the second part, we want to show that for any $varepsilon>0$, the point $x=0$ is neither a maximum nor minimum on $[0,varepsilon)$. Choose $n$ large enough so that $frac 1{2pi n+pi/2}<varepsilon$, then
        $$
        fleft(frac 1{2pi n+pi/2}right) = frac 1{2pi n+pi/2}>0 = f(0)
        $$

        so $x=0$ is not a maximum. You should be able to modify this a bit to prove that $x=0$ is not a minimum either. (Hint: we want $sin(1/x)=-1$)






        share|cite|improve this answer
























          2












          2








          2






          An alternative way to show that $f$ is continuous at $x=0$ is to use the sandwich theorem with
          $$
          -|x| le f(x) le |x|,
          $$

          where $pm|x|to 0 $ as $xto 0$. Differentiability of $f$ on $(0,infty)$ is obvious.



          For the second part, we want to show that for any $varepsilon>0$, the point $x=0$ is neither a maximum nor minimum on $[0,varepsilon)$. Choose $n$ large enough so that $frac 1{2pi n+pi/2}<varepsilon$, then
          $$
          fleft(frac 1{2pi n+pi/2}right) = frac 1{2pi n+pi/2}>0 = f(0)
          $$

          so $x=0$ is not a maximum. You should be able to modify this a bit to prove that $x=0$ is not a minimum either. (Hint: we want $sin(1/x)=-1$)






          share|cite|improve this answer












          An alternative way to show that $f$ is continuous at $x=0$ is to use the sandwich theorem with
          $$
          -|x| le f(x) le |x|,
          $$

          where $pm|x|to 0 $ as $xto 0$. Differentiability of $f$ on $(0,infty)$ is obvious.



          For the second part, we want to show that for any $varepsilon>0$, the point $x=0$ is neither a maximum nor minimum on $[0,varepsilon)$. Choose $n$ large enough so that $frac 1{2pi n+pi/2}<varepsilon$, then
          $$
          fleft(frac 1{2pi n+pi/2}right) = frac 1{2pi n+pi/2}>0 = f(0)
          $$

          so $x=0$ is not a maximum. You should be able to modify this a bit to prove that $x=0$ is not a minimum either. (Hint: we want $sin(1/x)=-1$)







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Dec 8 at 10:42









          BigbearZzz

          7,22921648




          7,22921648























              0














              It'v very easy to show that for any bounded function $g$, defined on a neighbourhood of $0$, the function $f(x)=xcdot g(x)$ is continuous at $x=0$.



              For the differentiability of $f$ notice that $(f(x)-f(0))/(x-0)=g(x)$. Now if $lim_{xto0}g(x)$ doesn't exist, $f$ isn't differentiable at $x=0$.






              share|cite|improve this answer




























                0














                It'v very easy to show that for any bounded function $g$, defined on a neighbourhood of $0$, the function $f(x)=xcdot g(x)$ is continuous at $x=0$.



                For the differentiability of $f$ notice that $(f(x)-f(0))/(x-0)=g(x)$. Now if $lim_{xto0}g(x)$ doesn't exist, $f$ isn't differentiable at $x=0$.






                share|cite|improve this answer


























                  0












                  0








                  0






                  It'v very easy to show that for any bounded function $g$, defined on a neighbourhood of $0$, the function $f(x)=xcdot g(x)$ is continuous at $x=0$.



                  For the differentiability of $f$ notice that $(f(x)-f(0))/(x-0)=g(x)$. Now if $lim_{xto0}g(x)$ doesn't exist, $f$ isn't differentiable at $x=0$.






                  share|cite|improve this answer














                  It'v very easy to show that for any bounded function $g$, defined on a neighbourhood of $0$, the function $f(x)=xcdot g(x)$ is continuous at $x=0$.



                  For the differentiability of $f$ notice that $(f(x)-f(0))/(x-0)=g(x)$. Now if $lim_{xto0}g(x)$ doesn't exist, $f$ isn't differentiable at $x=0$.







                  share|cite|improve this answer














                  share|cite|improve this answer



                  share|cite|improve this answer








                  edited Dec 8 at 12:59

























                  answered Dec 8 at 12:52









                  Michael Hoppe

                  10.8k31834




                  10.8k31834






























                      draft saved

                      draft discarded




















































                      Thanks for contributing an answer to Mathematics Stack Exchange!


                      • Please be sure to answer the question. Provide details and share your research!

                      But avoid



                      • Asking for help, clarification, or responding to other answers.

                      • Making statements based on opinion; back them up with references or personal experience.


                      Use MathJax to format equations. MathJax reference.


                      To learn more, see our tips on writing great answers.





                      Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


                      Please pay close attention to the following guidance:


                      • Please be sure to answer the question. Provide details and share your research!

                      But avoid



                      • Asking for help, clarification, or responding to other answers.

                      • Making statements based on opinion; back them up with references or personal experience.


                      To learn more, see our tips on writing great answers.




                      draft saved


                      draft discarded














                      StackExchange.ready(
                      function () {
                      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3030861%2fdifferentiability-and-continuity-on-an-open-interval%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

                      Bressuire

                      Cabo Verde

                      Gyllenstierna