Can we apply L'Hospital's rule where the derivative is not continuous? The 2019 Stack Overflow...

Output the Arecibo Message

Inline version of a function returns different value then non-inline version

Why could you hear an Amstrad CPC working?

Why isn't airport relocation done gradually?

How to make payment on the internet without leaving a money trail?

In microwave frequencies, do you use a circulator when you need a (near) perfect diode?

Does a dangling wire really electrocute me if I'm standing in water?

Geography at the pixel level

Deadlock Graph and Interpretation, solution to avoid

What does "rabbited" mean/imply in this sentence?

How was Skylab's orbit inclination chosen?

How are circuits which use complex ICs normally simulated?

What are the motivations for publishing new editions of an existing textbook, beyond new discoveries in a field?

On the insanity of kings as an argument against Monarchy

Time travel alters history but people keep saying nothing's changed

If Wish Duplicates Simulacrum, Are Existing Duplicates Destroyed?

Evaluating number of iteration with a certain map with While

Manuscript was "unsubmitted" because the manuscript was deposited in Arxiv Preprints

How to manage monthly salary

Dual Citizen. Exited the US on Italian passport recently

aging parents with no investments

How can I fix this gap between bookcases I made?

Why Did Howard Stark Use All The Vibranium They Had On A Prototype Shield?

Idiomatic way to prevent slicing?



Can we apply L'Hospital's rule where the derivative is not continuous?



The 2019 Stack Overflow Developer Survey Results Are InResilient L'Hospital's rule questionIs this a valid use of l'Hospital's Rule? Can it be used recursively?Simple Derivation of Functional Equation Question (L'Hospital's Rule)L'Hôpital's rule and Difference QuotientsL'Hôpital's rule does not apply?!Fake proof for “differentiability implies continuous derivative”: reviewL'Hospital's rule helpCan a function be differentiable on an interval, but not continuously differentiable somewhere besides an oscillating discontinuity in the derivative?Compute the limit without L'Hospital's ruleProof of L'Hospital's Rule












7












$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 its derivative may not be continuous at some point. One of many counterexamples 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$

















    7












    $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 its derivative may not be continuous at some point. One of many counterexamples 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$















      7












      7








      7


      1



      $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 its derivative may not be continuous at some point. One of many counterexamples 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 its derivative may not be continuous at some point. One of many counterexamples 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 continuity






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited 1 hour ago









      200_success

      668515




      668515










      asked 9 hours ago









      DhvanitDhvanit

      1239




      1239






















          3 Answers
          3






          active

          oldest

          votes


















          8












          $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
            9 hours 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
            8 hours 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$





















            0












            $begingroup$

            The derivative value exists if:
            1. the left-side (-0) derivative exists
            2. the right-side (+0) derivative exists
            3. and they are the same/identical .



            In your case they are not identical.






            share|cite|improve this answer








            New contributor




            user9 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-where-the-derivative-is-not-continuous%23new-answer', 'question_page');
              }
              );

              Post as a guest















              Required, but never shown

























              3 Answers
              3






              active

              oldest

              votes








              3 Answers
              3






              active

              oldest

              votes









              active

              oldest

              votes






              active

              oldest

              votes









              8












              $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
                9 hours 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
                8 hours ago
















              8












              $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
                9 hours 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
                8 hours ago














              8












              8








              8





              $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 9 hours ago









              HelmutHelmut

              789128




              789128












              • $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
                9 hours 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
                8 hours 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
                9 hours 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
                8 hours 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
              9 hours 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
              9 hours 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
              8 hours 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
              8 hours 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 9 hours ago









                  mihaildmihaild

                  56810




                  56810




                  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.























                      0












                      $begingroup$

                      The derivative value exists if:
                      1. the left-side (-0) derivative exists
                      2. the right-side (+0) derivative exists
                      3. and they are the same/identical .



                      In your case they are not identical.






                      share|cite|improve this answer








                      New contributor




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






                      $endgroup$


















                        0












                        $begingroup$

                        The derivative value exists if:
                        1. the left-side (-0) derivative exists
                        2. the right-side (+0) derivative exists
                        3. and they are the same/identical .



                        In your case they are not identical.






                        share|cite|improve this answer








                        New contributor




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






                        $endgroup$
















                          0












                          0








                          0





                          $begingroup$

                          The derivative value exists if:
                          1. the left-side (-0) derivative exists
                          2. the right-side (+0) derivative exists
                          3. and they are the same/identical .



                          In your case they are not identical.






                          share|cite|improve this answer








                          New contributor




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






                          $endgroup$



                          The derivative value exists if:
                          1. the left-side (-0) derivative exists
                          2. the right-side (+0) derivative exists
                          3. and they are the same/identical .



                          In your case they are not identical.







                          share|cite|improve this answer








                          New contributor




                          user9 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




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









                          answered 7 hours ago









                          user9user9

                          1




                          1




                          New contributor




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





                          New contributor





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






                          user9 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-where-the-derivative-is-not-continuous%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

                              IEEEtran - How to include ORCID in TeX/PDF with PdfLatexIs there a standard way to include ORCID in TeX /...

                              Cicindela nigrior Przypisy | Menu nawigacyjneCicindela varians unicolorManual for the Identification of the...

                              Glossaries-extra: Adding glossaries package to “Clas­sicTh­e­sis” template by Dr. André Miede v. 4.6 ...