[Math] Why do un-integrable functions exist

elementary-functionsintegrationtaylor expansion

By un-integrable I mean functions whose antiderivative can not be expressed in terms of elementary functions.

I recently learnt that any differentiable function can be expanded using the Taylor expansion, which essentially provides a polynomial representation. And polynomial funcitons are very easy to integrate. Then, why is it that there are functions whose antiderivative can not be expressed in terms of elementary functions?

Best Answer

Two reasons:

1) Not all integrable functions are differentiable, not all differentiable functions are smooth (i.e., have derivatives of all orders, which is necessary for the series to exist), and not all smooth functions converge to their Taylor series. The canonical example for the latter is $f(x) = e^{-1/x^2}$ (with $f(0) = 0$), which is smooth with $f^{(n)}(0) = 0$ for all $n$ and thus has a Taylor series around $0$ that's exactly $0$.

2) An arbitrary Taylor series is not a polynomial or even an elementary function. Take $\operatorname{erf}(x) = \frac{2}{\sqrt{\pi}}\int_0^x dt\; e^{-t^2}$, for example, or $\Gamma(x) = \int_0^\infty dt\;t^{x-1}e^{-t}$.