PDA

View Full Version : Dirichlet's formula proof


andresordonez
Dec21-10, 02:10 PM
Hi, I'm reading a paper about integrals that occur frequently in atomic theory, and the Dirichlet formula is mentioned.

\int_0^\infty\mathrm{d}x \int_x^\infty F(x,y)\mathrm{d}y = \int_0^\infty\mathrm{d}y\int_0^yF(x,y)\mathrm{d}x

I'd like to see the proof of this formula, in what book can I look for it?

I googled it but only found a reference to it, in what might be an equivalent form (is it?).

http://mathworld.wolfram.com/DirichletsFormula.html

Most of the results of the search are related to the class number formula (I don't have idea about number theory but I guess this isn't what I'm looking for)

Doesn't seem to be a very famous formula or maybe it is known with another name. Anyway, I'd like to see where does it come from.

Thanks!
(by the way, if you find anything wrong with my english please let me know)

snipez90
Dec21-10, 02:49 PM
This is a particular case of Fubini's theorem (http://en.wikipedia.org/wiki/Fubini's_theorem).

This link (http://kr.cs.ait.ac.th/~radok/math/mat9/04c.htm) gives a proof of the desired result. I think it is from Differential and Integral Calculus Vol. II by Richard Courant, which I guess is reprinted online.