You rely on the fact the under certain conditions (see end of post), the following equality holds:
Unparseable latex formula:\frac{\partial}{\partial \alpha} \int_a^b f(x,\alpha)\ dx = \int_a^b \frac{\partial}{\partial \alpha} f(x,\alpha)\ dx }
You can then do something like this for integrals that are easy:
1. Easy integrals:
Unparseable latex formula:I(\alpha) = \int_0^\infty e^{-\alpha x} \ dx = \frac{1}\alpha}
so that
Unparseable latex formula:I'(\alpha) = \int_0^\infty \frac{\partial}{\partial \alpha} e^{-\alpha x} \ dx = \frac{\partial}{\partial \alpha} \frac{1}\alpha}
giving
∫0∞xe−αx dx=α21 (repeat for higher powers)
So this just simplifies something that you can already do by IBP or whatever. It also works fine for indefinite integrals - you don't need the limits.
or this for integrals which are hard:
2. Hard integrals:
I(α)=∫0∞e−αxxsinx dx⇒I′(α)=−∫0∞e−αxsinx dx=−1+α21 so that
I(α)=C−tan−1αNow put
α=∞⇒I(α)=0⇒C=π/2so
I(α)=2π−tan−1αNow put
α=0⇒∫0∞xsinx dx=2πThere's a bit more to it than that (the limits can depend on the parameter too), but that's the rough idea. You take an ordinary integral, introduce a parameter
α somewhere, then differentiate w.r.t to that parameter to play tricks as above. The difficulty is finding where to put
α. Note that I introduced that exponential function above, which helpfully goes to 0 and infinity at the ends of the interval, which remove it completely, giving the nice result at the end.
[The conditions, as I recall, are:
a) if you are integrating over a closed interval
[a,b] (which has a property called compactness), then you can do the above as long as both
f(x,α),∂α∂(f(x,α) are nice, smooth functions (i.e. continuous & differentiable)
b) if you are integrating over an infinite region like
[0,∞) (which lacks the property of compactness), then you can do the above as long as property a) above holds, and that an integrable function
g(x) exists that dominates
f(x) i.e. that
f(x,α)≤g(x) everywhere.
(Maybe someone clever can correct this if necessary: paging M. LoTF)]