Skip to main content
1 of 2
Iosif Pinelis
  • 127.8k
  • 8
  • 107
  • 229

We have $$d(t):=\int dx\Big(\frac{f(x+t)-f(x)}{t}-f'(x)\Big) =\int dx\int_0^1 ds\,(f'(x+st)-f'(x)),$$ whence $$|d(t)|\le\int_0^1 ds\, J_t(s),$$ where $$J_t(s):=\int dx\,|f'(x+st)-f'(x)|\underset{t\to0}\longrightarrow0$$ for each $s$, since $f'\in L^1$ (see e.g. this answer). Also, $$|J_t(s)|\le\int dx\,(|f'(x+st)+|f'(x)|)=2\|f'\|_1<\infty.$$

So, by dominated convergence, $d(t)\underset{t\to0}\longrightarrow0$.

Iosif Pinelis
  • 127.8k
  • 8
  • 107
  • 229