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:

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.