Why do un-integrable functions exist?

3.5k Views Asked by At

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?

5

There are 5 best solutions below

0
On 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}$.

4
On

Because a Taylor expansion of a function is in general not finite and an infinite sum of polynomials can not always be expressed as a finite combination of elementary functions.

4
On

The definition of Taylor expansion can be loosely defined as "The best polynomial approximation of $f(x)$ near $a$", which means that the approximation gets worse and worse as the neighborhood of $a$ gets larger. Therefore the Taylor expansion is not a sufficient approximation with all values of $x$. More than that, sometimes the Taylor expansion of a function is infinite, and infinite sum of polynomials is not an elementary function.

0
On

This is sort of a pedantic answer, but there is the Risch algorithm for finding elementary anti-derivatives for elementary functions, or determining that no elementary anti-derivative exists. So if you study the Risch algorithm and its proof of correctness closely enough, you should be able to begin to see what characteristics guarantee that an elementary function will have an elementary anti-derivative formula, or that it doesn't. And in particular, that it's possible that no elementary anti-derivative formula exists for some given elementary functions.

0
On

Why do un-integrable functions exist ?

Look at it this way: The inverse of an elementary function is not always elementary, so why should its anti-derivative be such ? So, if you accept the fact that $f(x)=x+\sin x$ is elementary, but $f^{-1}(x)$ is not, you should also accept the fact that, even though $g(x)=e^{-x^2}$ is elementary, its antiderivative is not.