This page is a collection of various interesting integration results. While it currently focuses on what might be called the algebraic theory, namely of “doing” definite integrals and finding primitives, future expansion is planned to include some actual Analysis.
G.H. Hardy, again
G.H. Hardy, in a letter of November 1926 to D. Coxeter, detailing the evaluation of some integrals the latter requested in the Mathematical Gazette:
I tried very hard not to spend time on your integrals, but to me the challenge of a definite integral is irresistible.
I’m not generally a fan of the various books that have sprung up recently about evaluating integrals. Some are good, but some are retreads of the same basic material, a lot of which any motivated calculus student will see. An incomplete list, of ones I have looked at myself:
Irresistable Integrals by Boros and Moll. This is quite a good one, although it does lean a bit heavily on using Mathematica. Moll has written a lot of papers about verifying the integrals in Gradshteyn and Ryzhik, see his website and his arXiv page.
Inside Interesting Integrals by Nahin. I don’t like this one. The typesetting is terrible, for one thing, and the author does not cite his sources. He also has what feels like a lack of faith in the mathematics: if you have proven it, why do you need to check it on an unreliable computer?
How to Integrate It: A Practical Guide to Finding Elementary Integrals by Stewart. Clearly designed with a complete beginner in mind. Does not go far beyond A-level techniques.
The Integration of Functions of a Single Variable by G.H. Hardy. For many years a reasonably definitive text on finding primitives (AKA indefinite integrals). There are better resources available now, although I don't have any to hand.
Some of these may be an interesting source of a summer project, should a student be interested.
Ramanujan’s master theorem and the Method of Brackets: The Method of Brackets is a rather odd formal integration technique invented/discovered quite recently, with applications in evaluating the notoriously difficult integrals in Quandum Field Theory that arise from Feynman diagrams, as well as more generally. Is there an actual proof of the algorithm employed by the Method, which apperas to be somewhat arbitrary? There is a set of relavent articles available on arXiv.
How much useful integration theory can be done with the upper and lower Darboux integrals? For example, are there any generalisations of the convergence theorems for the Riemann or Lebesgue integral? One such is obtained by Bullen and Výborný, but it seems there is more to do here.
What is the Kolmogorov integral?
Some Mathematics Stack Exchange questions on integration without a satisfactory answer: