A function is said to be differentiable if a derivative exists for it over a given domain or a point. Many theorems only apply if a given function is differentiable over a domain, such as Rolle’s Theorem, Mean Value Theorem or L’Hôpital’s Rule.
Definition
Differentiability
If is a real-valued function, then is differentiable at some point if the limit below exists:
The limit is known as derivation by first principles. A function that is differentiable over its entire domain is said to be differentiable everywhere.
Infinitely Differentiable Functions
Some functions can be differentiated an infinite number of times (over their domain). Mainly, this is because if the derivative of a function is , we can still derivative it infinite times (getting each time). Such functions are infinitely differentiable:
- Polynomials
- Trigonometric Functions
- Exponential Functions
- Logarithms
Theorems
T1: Differentiability implies continuity
- Using the contrapositive , discontinuity implies that a function is non-differentiable. I.e. if is not continuous over a point, then it is not differentiable either.
- This theorem also means we can continuous functions that are non-differentiable. One such example is the Weierstrass function.