some non-elementary integrals (courtesy of Mr. F) ...
Integration of Nonelementary Functions
No matter how you partition an interval from, say, a to b, every subinterval will contain some rational numbers and some irrational numbers. That means that for every possible partition, the "lower sum" will be 0 and the "upper sum" will be 1. Since the lower and upper sums do not converge to the same thing as we make the partitions finer and finer, the integral does not exist.
what's your reasoning for it existing?
In the case of , integration by parts gives a sequence of sin(t)'s, cos(t)'s and 's.
Successive terms are smaller than the previous ones which suggests it's a convergent sequence. Of course, this isn't a proof but i'm pretty sure i've seen one somewhere.
It might well be that the integral cannot be expressed in terms of elementary functions but that doesn't mean it is not integrable!
I should have given a context to my question...I was thinking in terms of: we are told (in college) that we would use a numerical method to find the area under a curve when we are unable to integrate...so I was confused about what/ when we wouldn't be able to integrate...errr...I'm still not too sure why I would need to use, say, the tapezium rule instead of integrating and finding exact area.
ah right, great!
I did think that did have a solution btw.
With functions like this one, the function cannot be integrated (well, "can't be integrated easily" since the integral could exist but not be expressed as elementary functions. Thanks HallsOfIvy!) so it's much better to use the trapezium rule.
With easy functions to integrate there's no point using the trapezium rule. As you say, it's much easier to integrate the function between two limits. It is a common question on exams to use the trapezium rule to estimate the area under a graph, then integrate the function and find the error involved when using the trapezium rule.
I've thought of another one:
This one can't be integrated since it's discontinuous everywhere apart from 0 (you might have to come up with a proof for this).