[Math] Evaluate integral using Fubini/Tonelli

integrationmeasure-theory

I need to evaluate the following integral using Fubini/Tonelli theorems:

$$\int_\mathbb{R^2} |f(x,y)| dxdy$$

where $f(x,y) = 2(x-y)e^{-(x-y)^2}$ if $x > 0$, and zero otherwise.

I can't figure out how to do it. I think I could use Fubini since $|f(x,y)| \geq 0$ for all $(x,y) \in \mathbb{R^2}$.

So: $$\int_{\mathbb{R^2}} |f(x,y)|dxdy = \int_0^{\infty} \left( \int_{-\infty}^{\infty} |2(x-y)e^{-(x-y)^2}| dy\right) dx$$

How do I continue? Or is this the wrong approach?

Edit: I forgot to mention I am allowed to use that $\int_{-\infty}^{\infty} e^{-z} dz = \sqrt{\pi}$.

Best Answer

Fubini's theorem requires the integrated function to be integrable in the product space. Tonelli's theorem only requires non-negativity. The combined result is often referred to as Fubini-Tonelli. In your case, you are using the Tonelli part of the theorem.

Let $x>0$. Substituting $z=x-y$ in the inner integral gives

$$F(x)=\int_{-\infty}^\infty |2(x-y)e^{-(x-y)^2}| dy=\int_{-\infty}^\infty 2|z|e^{-z^2}dz=2$$

Therefore $F(x)=2$ for every $x>0$. Thus your integral equals

$$\int_{\mathbb{R}^2} |f(x,y)| d(x,y)=\int_0^\infty 2\, dx = \infty$$

That means your function $f$ is not integrable in the product space $\mathbb{R}\times \mathbb{R}$.

Related Question