Can we apply L'Hospital's rule?












4












$begingroup$


My doubt arises due to the following :



We know that the definition of the derivative of a function at a point $x=a$, if it is differentiable at $a$ , is:
$$f'(a) = lim_{h rightarrow 0} frac {f(a+h) - f(a)}{h}$$



Suppose that the function $f(x)$ is differentiable in a finite interval $[c,d]$ and $a in (c,d) $



So, we can apply L'Hospital's rule. On differentiating numerator and denominator with respect to $h$, we get:
$$f'(a) = lim_{h rightarrow 0} frac {f(a+h) - f(a)}{h} = lim_{h rightarrow 0} frac {f'(a+h)}{1}$$
Which implies that
$$f'(a) = lim_{h rightarrow 0} f'(a+h)$$
Which means that the function $f'(x)$ is continuous at $x=a$



But this not necessarily true. A function may have a derivative everywhere but it's derivative may not be continuous at some point. One of many counter examples is:
$$f(x) = begin{cases} 0 text{ ; if x=0} \ x^2 sin frac{1}{x} text{; if x $neq$ 0 } end{cases}$$
Whose derivative isn't continuous at $0$



So, is something wrong with what I have done ? Or is it necessary that for applying L'Hospital's rule, the function's derivative must be a continuous function?



If the latter is true, why does that condition appear in the proof for L'Hospital's rule ?










share|cite|improve this question









$endgroup$

















    4












    $begingroup$


    My doubt arises due to the following :



    We know that the definition of the derivative of a function at a point $x=a$, if it is differentiable at $a$ , is:
    $$f'(a) = lim_{h rightarrow 0} frac {f(a+h) - f(a)}{h}$$



    Suppose that the function $f(x)$ is differentiable in a finite interval $[c,d]$ and $a in (c,d) $



    So, we can apply L'Hospital's rule. On differentiating numerator and denominator with respect to $h$, we get:
    $$f'(a) = lim_{h rightarrow 0} frac {f(a+h) - f(a)}{h} = lim_{h rightarrow 0} frac {f'(a+h)}{1}$$
    Which implies that
    $$f'(a) = lim_{h rightarrow 0} f'(a+h)$$
    Which means that the function $f'(x)$ is continuous at $x=a$



    But this not necessarily true. A function may have a derivative everywhere but it's derivative may not be continuous at some point. One of many counter examples is:
    $$f(x) = begin{cases} 0 text{ ; if x=0} \ x^2 sin frac{1}{x} text{; if x $neq$ 0 } end{cases}$$
    Whose derivative isn't continuous at $0$



    So, is something wrong with what I have done ? Or is it necessary that for applying L'Hospital's rule, the function's derivative must be a continuous function?



    If the latter is true, why does that condition appear in the proof for L'Hospital's rule ?










    share|cite|improve this question









    $endgroup$















      4












      4








      4


      0



      $begingroup$


      My doubt arises due to the following :



      We know that the definition of the derivative of a function at a point $x=a$, if it is differentiable at $a$ , is:
      $$f'(a) = lim_{h rightarrow 0} frac {f(a+h) - f(a)}{h}$$



      Suppose that the function $f(x)$ is differentiable in a finite interval $[c,d]$ and $a in (c,d) $



      So, we can apply L'Hospital's rule. On differentiating numerator and denominator with respect to $h$, we get:
      $$f'(a) = lim_{h rightarrow 0} frac {f(a+h) - f(a)}{h} = lim_{h rightarrow 0} frac {f'(a+h)}{1}$$
      Which implies that
      $$f'(a) = lim_{h rightarrow 0} f'(a+h)$$
      Which means that the function $f'(x)$ is continuous at $x=a$



      But this not necessarily true. A function may have a derivative everywhere but it's derivative may not be continuous at some point. One of many counter examples is:
      $$f(x) = begin{cases} 0 text{ ; if x=0} \ x^2 sin frac{1}{x} text{; if x $neq$ 0 } end{cases}$$
      Whose derivative isn't continuous at $0$



      So, is something wrong with what I have done ? Or is it necessary that for applying L'Hospital's rule, the function's derivative must be a continuous function?



      If the latter is true, why does that condition appear in the proof for L'Hospital's rule ?










      share|cite|improve this question









      $endgroup$




      My doubt arises due to the following :



      We know that the definition of the derivative of a function at a point $x=a$, if it is differentiable at $a$ , is:
      $$f'(a) = lim_{h rightarrow 0} frac {f(a+h) - f(a)}{h}$$



      Suppose that the function $f(x)$ is differentiable in a finite interval $[c,d]$ and $a in (c,d) $



      So, we can apply L'Hospital's rule. On differentiating numerator and denominator with respect to $h$, we get:
      $$f'(a) = lim_{h rightarrow 0} frac {f(a+h) - f(a)}{h} = lim_{h rightarrow 0} frac {f'(a+h)}{1}$$
      Which implies that
      $$f'(a) = lim_{h rightarrow 0} f'(a+h)$$
      Which means that the function $f'(x)$ is continuous at $x=a$



      But this not necessarily true. A function may have a derivative everywhere but it's derivative may not be continuous at some point. One of many counter examples is:
      $$f(x) = begin{cases} 0 text{ ; if x=0} \ x^2 sin frac{1}{x} text{; if x $neq$ 0 } end{cases}$$
      Whose derivative isn't continuous at $0$



      So, is something wrong with what I have done ? Or is it necessary that for applying L'Hospital's rule, the function's derivative must be a continuous function?



      If the latter is true, why does that condition appear in the proof for L'Hospital's rule ?







      limits derivatives






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked 1 hour ago









      DhvanitDhvanit

      1088




      1088






















          2 Answers
          2






          active

          oldest

          votes


















          4












          $begingroup$

          L'Hospital's rule says under certain conditions: IF $lim_{hto 0} frac{f'(h)}{g'(h)}=c$ exists, then also $lim_{hto 0} frac{f(h)}{g(h)}=c$. It does not say anything about the existence of the former limit.






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            @Dhvanit when $lim_{hto0}frac{f'(h)}{g'(h)}$ is one of $pminfty$, which some people classify as not existing, the implication also holds.
            $endgroup$
            – user647486
            1 hour ago












          • $begingroup$
            Basically, the condition mentioned in this answer means that applying L'Hospital's rule assumes that $lim_{hto 0}f'(a+h)$ exists. And if it exists, it can be shown that it must be $f'(a)$ (because derivatives need not be continuous, but still must fulfill the intermdiate value condition).
            $endgroup$
            – Ingix
            52 mins ago



















          1












          $begingroup$

          In this case - yes, you need derivative to be continuous. In general, you need $lim frac{f'(x)}{g'(x)}$ to exist to apply L'Hospital's rule. As in your case $g'(x) = 1$, you proved that if there is a limit of $f'(a + h)$, then the limit is equal to $f'(a)$.






          share|cite|improve this answer








          New contributor




          mihaild is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
          Check out our Code of Conduct.






          $endgroup$














            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%2f3181050%2fcan-we-apply-lhospitals-rule%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









            4












            $begingroup$

            L'Hospital's rule says under certain conditions: IF $lim_{hto 0} frac{f'(h)}{g'(h)}=c$ exists, then also $lim_{hto 0} frac{f(h)}{g(h)}=c$. It does not say anything about the existence of the former limit.






            share|cite|improve this answer









            $endgroup$













            • $begingroup$
              @Dhvanit when $lim_{hto0}frac{f'(h)}{g'(h)}$ is one of $pminfty$, which some people classify as not existing, the implication also holds.
              $endgroup$
              – user647486
              1 hour ago












            • $begingroup$
              Basically, the condition mentioned in this answer means that applying L'Hospital's rule assumes that $lim_{hto 0}f'(a+h)$ exists. And if it exists, it can be shown that it must be $f'(a)$ (because derivatives need not be continuous, but still must fulfill the intermdiate value condition).
              $endgroup$
              – Ingix
              52 mins ago
















            4












            $begingroup$

            L'Hospital's rule says under certain conditions: IF $lim_{hto 0} frac{f'(h)}{g'(h)}=c$ exists, then also $lim_{hto 0} frac{f(h)}{g(h)}=c$. It does not say anything about the existence of the former limit.






            share|cite|improve this answer









            $endgroup$













            • $begingroup$
              @Dhvanit when $lim_{hto0}frac{f'(h)}{g'(h)}$ is one of $pminfty$, which some people classify as not existing, the implication also holds.
              $endgroup$
              – user647486
              1 hour ago












            • $begingroup$
              Basically, the condition mentioned in this answer means that applying L'Hospital's rule assumes that $lim_{hto 0}f'(a+h)$ exists. And if it exists, it can be shown that it must be $f'(a)$ (because derivatives need not be continuous, but still must fulfill the intermdiate value condition).
              $endgroup$
              – Ingix
              52 mins ago














            4












            4








            4





            $begingroup$

            L'Hospital's rule says under certain conditions: IF $lim_{hto 0} frac{f'(h)}{g'(h)}=c$ exists, then also $lim_{hto 0} frac{f(h)}{g(h)}=c$. It does not say anything about the existence of the former limit.






            share|cite|improve this answer









            $endgroup$



            L'Hospital's rule says under certain conditions: IF $lim_{hto 0} frac{f'(h)}{g'(h)}=c$ exists, then also $lim_{hto 0} frac{f(h)}{g(h)}=c$. It does not say anything about the existence of the former limit.







            share|cite|improve this answer












            share|cite|improve this answer



            share|cite|improve this answer










            answered 1 hour ago









            HelmutHelmut

            739128




            739128












            • $begingroup$
              @Dhvanit when $lim_{hto0}frac{f'(h)}{g'(h)}$ is one of $pminfty$, which some people classify as not existing, the implication also holds.
              $endgroup$
              – user647486
              1 hour ago












            • $begingroup$
              Basically, the condition mentioned in this answer means that applying L'Hospital's rule assumes that $lim_{hto 0}f'(a+h)$ exists. And if it exists, it can be shown that it must be $f'(a)$ (because derivatives need not be continuous, but still must fulfill the intermdiate value condition).
              $endgroup$
              – Ingix
              52 mins ago


















            • $begingroup$
              @Dhvanit when $lim_{hto0}frac{f'(h)}{g'(h)}$ is one of $pminfty$, which some people classify as not existing, the implication also holds.
              $endgroup$
              – user647486
              1 hour ago












            • $begingroup$
              Basically, the condition mentioned in this answer means that applying L'Hospital's rule assumes that $lim_{hto 0}f'(a+h)$ exists. And if it exists, it can be shown that it must be $f'(a)$ (because derivatives need not be continuous, but still must fulfill the intermdiate value condition).
              $endgroup$
              – Ingix
              52 mins ago
















            $begingroup$
            @Dhvanit when $lim_{hto0}frac{f'(h)}{g'(h)}$ is one of $pminfty$, which some people classify as not existing, the implication also holds.
            $endgroup$
            – user647486
            1 hour ago






            $begingroup$
            @Dhvanit when $lim_{hto0}frac{f'(h)}{g'(h)}$ is one of $pminfty$, which some people classify as not existing, the implication also holds.
            $endgroup$
            – user647486
            1 hour ago














            $begingroup$
            Basically, the condition mentioned in this answer means that applying L'Hospital's rule assumes that $lim_{hto 0}f'(a+h)$ exists. And if it exists, it can be shown that it must be $f'(a)$ (because derivatives need not be continuous, but still must fulfill the intermdiate value condition).
            $endgroup$
            – Ingix
            52 mins ago




            $begingroup$
            Basically, the condition mentioned in this answer means that applying L'Hospital's rule assumes that $lim_{hto 0}f'(a+h)$ exists. And if it exists, it can be shown that it must be $f'(a)$ (because derivatives need not be continuous, but still must fulfill the intermdiate value condition).
            $endgroup$
            – Ingix
            52 mins ago











            1












            $begingroup$

            In this case - yes, you need derivative to be continuous. In general, you need $lim frac{f'(x)}{g'(x)}$ to exist to apply L'Hospital's rule. As in your case $g'(x) = 1$, you proved that if there is a limit of $f'(a + h)$, then the limit is equal to $f'(a)$.






            share|cite|improve this answer








            New contributor




            mihaild is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
            Check out our Code of Conduct.






            $endgroup$


















              1












              $begingroup$

              In this case - yes, you need derivative to be continuous. In general, you need $lim frac{f'(x)}{g'(x)}$ to exist to apply L'Hospital's rule. As in your case $g'(x) = 1$, you proved that if there is a limit of $f'(a + h)$, then the limit is equal to $f'(a)$.






              share|cite|improve this answer








              New contributor




              mihaild is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
              Check out our Code of Conduct.






              $endgroup$
















                1












                1








                1





                $begingroup$

                In this case - yes, you need derivative to be continuous. In general, you need $lim frac{f'(x)}{g'(x)}$ to exist to apply L'Hospital's rule. As in your case $g'(x) = 1$, you proved that if there is a limit of $f'(a + h)$, then the limit is equal to $f'(a)$.






                share|cite|improve this answer








                New contributor




                mihaild is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                Check out our Code of Conduct.






                $endgroup$



                In this case - yes, you need derivative to be continuous. In general, you need $lim frac{f'(x)}{g'(x)}$ to exist to apply L'Hospital's rule. As in your case $g'(x) = 1$, you proved that if there is a limit of $f'(a + h)$, then the limit is equal to $f'(a)$.







                share|cite|improve this answer








                New contributor




                mihaild is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                Check out our Code of Conduct.









                share|cite|improve this answer



                share|cite|improve this answer






                New contributor




                mihaild is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                Check out our Code of Conduct.









                answered 1 hour ago









                mihaildmihaild

                5689




                5689




                New contributor




                mihaild is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                Check out our Code of Conduct.





                New contributor





                mihaild is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                Check out our Code of Conduct.






                mihaild is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                Check out our Code of Conduct.






























                    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.




                    draft saved


                    draft discarded














                    StackExchange.ready(
                    function () {
                    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3181050%2fcan-we-apply-lhospitals-rule%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

                    الفوسفات في المغرب

                    Four equal circles intersect: What is the area of the small shaded portion and its height

                    بطل الاتحاد السوفيتي