Can we apply L'Hospital's rule?
$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 ?
limits derivatives
$endgroup$
add a comment |
$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 ?
limits derivatives
$endgroup$
add a comment |
$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 ?
limits derivatives
$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
limits derivatives
asked 1 hour ago
DhvanitDhvanit
1088
1088
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
$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.
$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
add a comment |
$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)$.
New contributor
$endgroup$
add a comment |
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
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
$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.
$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
add a comment |
$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.
$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
add a comment |
$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.
$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.
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
add a comment |
$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
add a comment |
$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)$.
New contributor
$endgroup$
add a comment |
$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)$.
New contributor
$endgroup$
add a comment |
$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)$.
New contributor
$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)$.
New contributor
New contributor
answered 1 hour ago
mihaildmihaild
5689
5689
New contributor
New contributor
add a comment |
add a comment |
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.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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