Differentiable Function on an interval

Click For Summary

Homework Help Overview

The discussion revolves around the properties of a differentiable function defined on a closed interval [a,b]. Participants are tasked with showing that if the limit of the derivative exists as x approaches a, then the derivative at the endpoint a also exists and equals that limit.

Discussion Character

  • Conceptual clarification, Assumption checking, Mathematical reasoning

Approaches and Questions Raised

  • Participants explore the implications of continuity and differentiability, referencing the Mean Value Theorem and definitions of limits. There are attempts to connect the limit of the derivative to the existence of the derivative at the endpoint a.

Discussion Status

Some participants have provided insights into the definitions of continuity and differentiability, suggesting that if the limit of the derivative exists, then the derivative at a should also exist. However, there is a challenge raised regarding the validity of the initial statement, with examples provided that question the assumptions made about differentiability at the endpoints.

Contextual Notes

There is a noted concern about the continuity and differentiability of the function at the endpoints, particularly regarding the implications of differentiability on the continuity of the derivative itself. Participants are also considering specific counterexamples that may challenge the assumptions of the problem.

Punkyc7
Messages
415
Reaction score
0
Let f:[a,b][itex]\rightarrow[/itex]R be continuous on [a,b] and differentiable in (a,b). Show that if lim f'(x)=A as x goes to a then f'(a) exist and equals A.


So I was thinking this has to do either with the mean value theorem or Darboux's Theorem.

I have that
f(b)-f(a)=f'(c)(b-a) by the mean value theorem.

From here I stuck on how to get the x into the equation.
Would I say that let x=c.

Then we have
f'(x)=[itex]\frac{f(b)-f(a)}{b-a}[/itex]=A


If so how would I work in the f'(a)?
 
Physics news on Phys.org
It really comes down to the definitions of continuity and differentiability. They are asking you to show that:
if f(x) is continuous for all x [itex]\in[/itex] [a,b]
and if f(x) is differentiable for all x [itex]\in[/itex] (a,b)
and if lim f'(x) as x->a exists
then f'(a) exists
If the limit exists for all x0 ∈ (a, b) then f is said to be differentiable in the interval.
It is differentiable at the end points if the appropriate one-sided limits exists.
-http://www.math.ku.edu/~lerner/m500f09/Differentiability.pdf

f(x) is differentiable in the interval (a,b) and the one-sided limit as x->a of f'(x) exists, therefore f'(a) exists. If f'(a) exists, then f'(x) is differentiable at x=a. Differentiability implies continuity, and so f'(x) would also be continuous at x=a. If f'(x) is continuous at x=a, then you can say by the definition of continuity that:
[itex]\stackrel{lim}{x→a} f'(x) = f'(a) = A[/itex]
 
Last edited:
math man said:
It really comes down to the definitions of continuity and differentiability. They are asking you to show that:
if f(x) is continuous for all x [itex]\in[/itex] [a,b]
and if f(x) is differentiable for all x [itex]\in[/itex] (a,b)
and if lim f'(x) as x->a exists
then f'(a) exists


f(x) is differentiable in the interval (a,b) and the one-sided limit as x->a of f'(x) exists, therefore f'(a) exists. If f'(a) exists, then f'(x) is differentiable at x=a. Differentiability implies continuity, and so f'(x) would also be continuous at x=a. If f'(x) is continuous at x=a, then you can say by the definition of continuity that:
[itex]\stackrel{lim}{x→a} f'(x) = f'(a) = A[/itex]
"If f'(a) exists, then f'(x) is differentiable at x= a" That is, that f is twice differentiable at x= a? Why is that true?

It looks to me like the statement in the first post is not even true. Let f(x)= |x|. Then f is continuous for all x and so on [0, 1]. Further, f is differentiable in (0, 1)- its derivative is just 1 for all x in (0, 1). The limit of f'(x), as x goes to 0, is, of course, 1 but f is NOT differentable at x= 0.
 
Sorry, you are correct HallsofIvy. I don't know how I missed that. Well, at least the first part is correct, f'(a) exists. I guess the question then is does continuity and differentiability of f imply continuity of df/dx? I know that f(x) being differentiable alone doesn't necessarily prove it, but if f(x) is also continuous then I see no reason why df/dx is not continuous. I have googled it extensively with not much luck.
 
What about this...
[itex]f'(x) = \stackrel{lim}{s→x}\frac{f(s)-f(x)}{s-x}[/itex]

[itex]\stackrel{lim}{x→a}f'(x)[/itex]
[itex]= \stackrel{lim}{(x→a)} \stackrel{lim}{(s→x)}\frac{f(s)-f(x)}{s-x}[/itex]
[itex]= \stackrel{lim}{s→a}\frac{f(s)-f(a)}{s-a} = f'(a)[/itex]

[itex]\stackrel{lim}{x→a}f'(x) = f'(a) = A[/itex]
 

Similar threads

Replies
9
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
26
Views
3K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 8 ·
Replies
8
Views
1K
  • · Replies 20 ·
Replies
20
Views
3K
Replies
2
Views
2K