Some exact integrals
2008.03.25
Mathematics

Doing integrals are often hard things. Beyond the traditional bag of tricks that include standard change of variables, trigonometric substitutions, and such, there are often integrals here and there that requires some ingenuity.

The very first such integral most students encounter is integral of sine squared The integral defies most attempts at finding substitution and in fact has no easily recognizable analytic solution. The standard trick is to notice two trigonometric identities: sine square plus cosine square equals 1 Together they imply the solution to the integral is a half

The second one that a person might see later on in a statistics class or a class on Fourier transformations, is the evaluation of the Gaussian integral integral of the gaussian distribution This one also defies normal changes of variables and any attempts to integrate by parts. The trick here is actually to double up the integral integrate it twice: once in x and once in y Then implicitly using Fubini's theorem, the product under the integral can be evaluated as change to polar coordinates Which we can evaluate to be the final answer and we have that the integral of the Gaussian is the square root of π.

A third one I am going to give here is a cute question that I saw the other day on Yahoo Answers. It took me a while to find the solution. We are asked to evaluate A cute integral: slightly different from the Gaussian (allegedly this problem and its original solution was due to Feynman. He solved it by embedding this integrand into a 1-parameter family that satisfy a simple ordinary differential equation, with the parameter s = 0 being the standard Gaussian, and the parameter s = 1 being the desired exponential. Then he just need to integrate the ordinary differential equation from 0 to 1 to find the answer. Here I give a different proof.)

The two main ideas are, firstly, the integrand is invariant under change of coordinates y = x-1, while the volume form changes to -y-2dy = dx: a conformal-type invariance for the integral and secondly, that we can define the variable z = x - x-1, so dz = dx + x-2dx (notice that dz is never 0, so z is a good coordinate). Now zee squared is good so we can replace the exponents by something better: this is a completion of squares method that physicists often use in study of quantum mechanics Combining everything we get the final answer

Posted at 17:09:51 EDT by W comment

blogCentralFront Page
2009.11.20 00:41:20 GMT Feynman's Messenger Lectures online Just found out something rather cool: Microsoft Research, through Project Tuva, is publishing videos of Richard Feynman's Messenger Lectures. Go watch.
2009.11.18 11:05:07 GMT Alcohol consumption Different cultures certainly have different views on alcohol. For example, at Hertford College Oxford, wine is allowed if reasonably drunk and 4) A small amount of beer or lager will be allowed wher
2009.11.16 19:17:31 GMT Luc visits; Willie doesn't check e-mail Holy cow! I just realized that I spent a day at work without checking e-mail! Okay, to be honest, today I was hosting Luc Nguyen, who we invited to speak on his work about the regularity near the sing
2009.11.15 18:19:32 GMT Chicken soup Chicken soup is not just good for the soul. It has been scientifically proven to mitigate inflammation. Maybe mommy's chicken soup was the reason that the same bug that took Pin out of commission for
2009.11.10 17:58:53 GMT Sayonara, e-nibbles; hullo, Gee-Mi-Ni It's final: e-nibbles is no more. e-nibbles was my trusty Dell D600 which I purchased summer after my Junior year in college through the Student Computer Initiative. Immediately after receiving the ob
2009.09.30 10:12:57 BST Ahhh! Cruft discovered in pre-print. Ack, I should've known better. I stayed up a bit later on Monday night than I intended to. I was asked, by Claude, last week, about whether certain cases (in particular the Born-Infeld model) not cove
2009.09.28 18:30:27 BST Spiders spiders everywhere Wow! Third post today, and here I thought I have been neglecting my blog. Anyway, it turns out that I am not the only person to have noticed the large number of spiders in Britain this autumn. Going o
2009.09.28 15:12:09 BST Causality of generalized wave-maps--paper on arXiv Oh, almost forgot. New paper on arXiv. Gary Gibbons showed via explicit computations using eigenvalues that the Skyrmion equation obeys the dominant energy condition. In my paper, I proved the dominan
2009.09.28 14:42:39 BST The evolution debate as an illustration of speciation I was reading some article or another in Wired, which happens to be about dinosaurs. And of course, the religious kooks came out of the woodwork to attack evolution on the comment board. And it occurr
2009.09.02 12:42:44 BST New beginnings: first days at Cambridge Heh. Did you, dear reader, notice the change on the date-stamp for the previous entry? It was posted in British Standard Time. Yes, I am now taking a position in the Department of Pure Mathematics and