next up previous contents
Next: Properties Up: Differentiation Previous: Differentiation   Contents

The Concept

Definition 4.1.1  
A function $ f : \hbox {I \hskip -5.2pt {R}}\to \hbox {I \hskip -5.2pt {R}}: x \mapsto f(x)$ is called differentiable at a point $ x$ if the limit

$\displaystyle f'(x) = \lim_{h \to 0}\frac{f(x+h)-f(x)}{h}$ (4.1.1)

exists. The function $ f'$ is then called the derivative of $ f$ in $ x$. Often $ f'(x)$ is written as $ \frac{df}{dx}(x)$

Remark 4.1.2  
The fraction

$\displaystyle \frac{f(x+h)-f(x)}{h}$ (4.1.2)

is the slope of a line going through the points $ (x,f(x))$ and $ (x+h,f(x+h))$. Note that both points are on the graph of the function $ f$. Letting $ h$ approach zero then boils down to calculating the slope of the tangent line in $ (x,f(x))$.
200pt \epsffile{tangentopolis.eps}
This geometric interpretation will often be used when trying to understand a specific example.

Theorem 4.1.3  
A function that is differentiable at a certain point $ x$ is also continuous at that point $ x$.

Proof.
First note that for any $ h \not= 0$, we have

$\displaystyle f(x+h) = f(x) + \frac{f(x+h) - f(x)}{h} \cdot h$ (4.1.3)

Nothing mysterious happened here, it is all fairly elementary algebra. Taking the limit on the left and right hand side then gives

$\displaystyle \lim_{h \to 0}f(x+h) = \lim_{h \to 0}\left[ f(x) + \frac{f(x+h) - f(x)}{h} \cdot h \right]$ (4.1.4)

which reduces to

$\displaystyle \lim_{h \to 0}f(x+h) = f(x) + f'(x) \cdot \lim_{h \to 0}h$ (4.1.5)

Therefore $ \displaystyle\lim_{h \to 0}f(x+h) = f(x)$ which by definition means that $ f$ is continuous in x. $ \qedsymbol$

Remark 4.1.4  
The previous theorem states that differentiable functions are continuous, but then the natural question to ask is if the converse is true. Quite a lot of functions that are continuous over their domain are differentiable over their domain, in fact all the functions in the list of continuous functions (3.1.4) are differentiable over their domain. In general, however, this will turn out not to be the case.
Exactly as with the concept of continuity, there are two reasons why a function can be non-differentiable in a certain point: either the limit needed to calculate the derivative goes to infinity, or it is not defined (often because taking the limit from the left gives a different result then taking the limit from the right).


next up previous contents
Next: Properties Up: Differentiation Previous: Differentiation   Contents
Marc Corluy 2003-08-26