Basic differentiability question

  • Thread starter Thread starter Gyroid
  • Start date Start date
  • Tags Tags
    Differentiability
Click For Summary
SUMMARY

The discussion centers on the differentiability of a continuous function f: R -> R, specifically questioning whether f '(0) must exist given that f '(x) exists for all x ≠ 0 and the limit of f '(x) as x approaches 0 equals L. The consensus is that f '(0) does not necessarily exist, supported by the application of the Mean Value Theorem and the analysis of the difference quotient (f(h)-f(0))/h as h approaches 0. A counterexample demonstrating this can be constructed using a function that meets the initial conditions but has a discontinuous derivative at zero.

PREREQUISITES
  • Understanding of limits and continuity in calculus
  • Familiarity with the concept of differentiability
  • Knowledge of the Mean Value Theorem
  • Experience with constructing counterexamples in mathematical proofs
NEXT STEPS
  • Study the Mean Value Theorem and its implications on differentiability
  • Explore examples of continuous functions with non-differentiable points
  • Investigate the concept of pathological functions in calculus
  • Learn about the implications of limits in the context of differentiability
USEFUL FOR

Students of calculus, mathematicians exploring differentiability, and educators seeking to clarify concepts related to limits and continuity in real analysis.

Gyroid
Messages
3
Reaction score
0

Homework Statement



Let f: R -> R be a continuous function such that f '(x) exists for all x =/= 0 . Say also that the limit of f '(x) as x goes to 0 exists and is equal to L. Must f '(0) exist as well? Prove or disprove.

The Attempt at a Solution


I can't come up with a proof or counterexample. It seems like it must be true but I've learned to not completely trust my intuition when it comes to these things (pathological counterexamples come to mind). Can anyone give me a hint on whether or not this is true or how to go about proving/disproving it?
 
Physics news on Phys.org
Think about the difference quotient (f(h)-f(0))/h as h->0. If that does not converge to 0 then the there is a sequence h_i->0 such that the difference quotient is bounded away from 0. Now think about the Mean Value Theorem. Remember that the premises of the MVT don't require differentiability at the endpoints.
 
Got it. thanks a lot, that was perfect.
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 8 ·
Replies
8
Views
1K
Replies
26
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K