0
$\begingroup$

In some lecture notes, I saw the following procedure:

$$ \int_0^{\infty} x^{a-1} \int_x^{\infty} \exp(-t) (t-x)^{b-1} dt \, dx $$

is equal to:

$$ \int_0^{\infty} \int_0^{t} x^{a-1} \exp(-t) (t-x)^{b-1} dx \, dt $$

I did not understand the change of the limits of integrals. Thanks.

  • 1
    This is an application of the theorems given in this Wikipedia article: http://en.wikipedia.org/wiki/Order_of_integration_(calculus).2012-11-18
  • 0
    Nevertheless, I am pretty sure that these theorems have nice proofs. :) Thanks.2012-11-18

1 Answers 1

3

The integral $$\int_0^{\infty} \int_{x}^{\infty} f(x,y) dy dx$$ is evaluated as shown in the figure below.enter image description here

The integral $\displaystyle \int_{x}^{\infty} f(x,y) dy$ is first evaluated for a $dx$ red strip by letting $y$ go from $x$ to $+\infty$ and then the red strip is moved from $x=0$ to $x=\infty$. By doing this we have evaluated the integral $\displaystyle \int \int_{\Omega} f(x,y) dA$ where $\Omega$ is the blue region.

The second integral $$\int_0^{\infty} \int_{0}^{y} f(x,y) dx dy$$ is evaluated as shown in the figure below.enter image description here

The integral $\displaystyle \int_{0}^{y} f(x,y) dx$ is first evaluated for a $dy$ red strip by letting $x$ go from $0$ to $y$ and then the red strip is moved from $y=0$ to $y=\infty$. By doing this we have again evaluated the integral $\displaystyle \int \int_{\Omega} f(x,y) dA$ where $\Omega$ is the blue region.

Both the integrals must be the same since both evaluate the double integral over the blue area, $\Omega$.

  • 0
    Excellent answer, thanks!2012-11-18