Skip to content

Mathematics · Ch 10 — Differential Calculus – Differentiability and Methods of Differentiation

One sided derivatives (left hand and right hand derivatives)

10.2.4

One sided derivatives (left hand and right hand derivatives)

Definition 10.2's limit is two-sided — Δx→0\Delta x\to 0 from both directions at once must give the same value. Splitting it into its two one-sided pieces is what lets us pin down exactly where and why a derivative can fail to exist, and is essential at the endpoints of a closed interval, where the function isn't even defined on one side.

For y=f(x)y=f(x) defined on an open interval (a,b)(a,b) containing x0x_0, the left hand derivative f′(x0−)f'(x_0^-) and right hand derivative f′(x0+)f'(x_0^+) are defined by

f′(x0−)=lim⁡Δx→0−f(x0+Δx)−f(x0)Δx,f′(x0+)=lim⁡Δx→0+f(x0+Δx)−f(x0)Δx,f'(x_0^-) = \lim_{\Delta x\to 0^-}\frac{f(x_0+\Delta x)-f(x_0)}{\Delta x}, \qquad f'(x_0^+) = \lim_{\Delta x\to 0^+}\frac{f(x_0+\Delta x)-f(x_0)}{\Delta x},

provided the respective limits exist. Exactly as for two-sided limits generally, the full derivative

f′(x0)=lim⁡Δx→0f(x0+Δx)−f(x0)Δxf'(x_0) = \lim_{\Delta x\to0}\frac{f(x_0+\Delta x)-f(x_0)}{\Delta x}

exists if and only if both f′(x0−)f'(x_0^-) and f′(x0+)f'(x_0^+) exist and are equal: f′(x0−)=f′(x0+)f'(x_0^-)=f'(x_0^+). If even one of the two one-sided derivatives fails to exist, or they exist but disagree, then ff is not differentiable at x0x_0 — this single fact is the working test used throughout §10.3 and Exercise 10.1.

Writing h=Δxh=\Delta x (with h>0h>0 understood to shrink to 00 from the appropriate side) gives the equivalent, often more convenient forms

f′(x0+)=lim⁡h→0f(x0+h)−f(x0)h,f′(x0−)=lim⁡h→0f(x0−h)−f(x0)h.f'(x_0^+) = \lim_{h\to0}\frac{f(x_0+h)-f(x_0)}{h}, \qquad f'(x_0^-) = \lim_{h\to0}\frac{f(x_0-h)-f(x_0)}{h}.

Differentiability on a closed interval.

Definition 10.3. ff is differentiable on [a,b][a,b] if it is differentiable on the open interval (a,b)(a,b), and, at the two endpoints,

f′(a)=lim⁡Δx→0+f(a+Δx)−f(a)Δx=lim⁡h→0f(a+h)−f(a)h, h>0,f'(a) = \lim_{\Delta x\to 0^+}\frac{f(a+\Delta x)-f(a)}{\Delta x} = \lim_{h\to0}\frac{f(a+h)-f(a)}{h},\ h>0,

f′(b)=lim⁡Δx→0−f(b+Δx)−f(b)Δx=lim⁡h→0f(b−h)−f(b)h, h>0.f'(b) = \lim_{\Delta x\to 0^-}\frac{f(b+\Delta x)-f(b)}{\Delta x} = \lim_{h\to0}\frac{f(b-h)-f(b)}{h},\ h>0.

That is, at the left endpoint aa only the right-hand limit makes sense (there is no function to the left of aa), and at the right endpoint bb only the left-hand limit makes sense. …