1
$\begingroup$

Possible Duplicate:
How can you prove that a function has no closed form integral?

(Forgive my crude lingo)

Why do some integrals seem to be unsolvable; that is to say the indefinite integral cannot be solved symbolically (or is it analytically(?)). For example, those with the form of a radial distribution function using the Lennard-Jones potential:

$$g(r) = \exp(-(r^{-12} - r^{-6}))$$

What prevents me from using my standard Calc II knowledge to come up with a continuous expression for $\int{g(r)dr}$?

  • 6
    "There are more things in Heaven and Earth, Horatio, than are dreamt of in your philosophy." There are more far more continuous functions than we can write down using only *elementary* functions, and antidifferentiation is a procedure that is not "elementary", so it should be no major surprise that it is possible to do something non-elementary to an elementary function and end up with a non-elementary function. Just like no matter how much geometry knowledge you throw at the problem, you still won't be able to duplicate the cube using straightedge and compass; or solve a quintic a radicals.2012-04-19
  • 0
    @ArturoMagidin Isn't this a duplicate? I swear I've seen a question that amounts to this somewhere else on Math SE. I just don't know where it is, besides the vague mental picture of my mind.2012-04-19
  • 0
    @Limitless I would have thought so, but couldn't find anything.2012-04-19
  • 0
    @Limitless: Maybe; there certainly are questions about *specific* non-elementary integrals. But there is no question similar to this in the [List of generalization of common questions](http://meta.math.stackexchange.com/q/1868/742), so I don't know off hand if this (or something very similar) has been posted.2012-04-19
  • 0
    Hmm, I can't seem to find anything either... I could've sworn I read something on here that referenced [the theorem](http://en.wikipedia.org/wiki/Liouville%27s_theorem_%28differential_algebra%29) that developed in order to answer this question.2012-04-19
  • 0
    @Ihf, I think you found it!2012-04-19
  • 4
    It is basically a question of a lack of names. On a planet far far away they only have expressions for what we call the rational functions. So no log in their math, no sin, no exp. Someone there has just discovered the basics of the calculus. She finds, sadly, that $\frac{1}{x}$ and $\frac{1}{1+x^2}$ do not have antiderivatives in terms of "known" (that is, rational) functions. The same is true on that planet even after they discover the algebraic functions, like $\sqrt{1-x^2}$.2012-04-19
  • 0
    See [this](http://math.stackexchange.com/questions/9199) as well.2012-04-19

0 Answers 0