It is a theorem of Liouville, reproven later with purely algebraic methods, that for rational functions f and g , g nonconstant, the antiderivative

∫[f(x)exp(g(x))]dx
can be expressed in terms of elementary functions if and only if there exists some rational function h such that it is a solution to the differential equation:

f=h′+hg
∫ex2dx is another classic example of such a function with no elementary antiderivative.

I don't know how much math you've had, but some of this paper might be comprehensible in its broad strokes: http://www.sci.ccny.cuny.edu/~ksda/PostedPapers/liouv06.pdf

I don't know how much math you've had, but some of this paper might be comprehensible in its broad strokes: http://www.sci.ccny.cuny.edu/~ksda/PostedPapers/liouv06.pdf

## 0 comments:

## Post a Comment

Don't Forget to comment