Fubini's Theorem Application

Question

My problem:

I've been given the double integral: $$\int_{0}^{+\infty}\int_{0}^{+\infty}\sin(bx)y^{p-1}e^{-xy}dxdy, \quad 0<p<2,b\in \mathbb{R}$$ I need to prove that the value of the integral is independent of the order of integration (i.e. I can either integrate first with respect to $x$ and then with respect to $y$ or first with respect to $y$ and then $x$).

My attempt to a solution:

According to Fubini’s Theorem (https://en.wikipedia.org/wiki/Fubini%27s_theorem#Tonelli.27s_theorem) a double integral may be evaluated as an iterated integral if $f(x,y)$ is integrable on the domain of integration, that is, if the following conditions are met:

1. $f(x,y)$ is measurable. However, the function is not defined on $y=0$, so it’s not continuous on $[0, +\infty)\times[0,+\infty)$. It still is measurable?
2. $\int|f(x,y)|d(x,y)<+\infty$. I am not sure how to check this condition. I know that $|f(x,y)|$ is a non-negative function, so I can evaluate the double integral as an iterated integral (by Tonelli's theorem for non-negative functions): $$\int_{[0, +\infty)\times[0,+\infty)}|f(x,y)|d(x,y)=\int_0^{+\infty}\int_0^{+\infty}|f(x,y)|dxdy$$ If I integrate first with respect to $y$ and then with respect to $x$ I get the following: $$\int_0^{+\infty}\bigg(\int_0^{+\infty}|\sin(bx)y^{p-1}e^{-xy}|dy\bigg)dx=\\\int_0^{+\infty}|\sin(bx)|\bigg(\int_0^{+\infty}y^{p-1}e^{-xy}dy\bigg)dx=\\\int_0^{+\infty}|\sin(bx)|\bigg(\frac{\Gamma(p)}{x^{p}}\bigg)dx=\Gamma(p)\int_0^{+\infty}\frac{|\sin(bx)|}{x^{p}}dx $$ I know that $\Gamma(p)<+\infty$ for $0<p<1$, but what about $\int_0^{+\infty}\frac{|\sin(bx)|}{x^{p}}dx$?$\int_0^{+\infty}\frac{|\sin(bx)|}{x^{p}}dx\leq\int_0^{+\infty}\frac{1}{x^{p}}dx$ doesn’t help me considering that the second integral does not converge... By integrating first with respect to $x$ and then with respect $y$ doesn’t seem to help either.

I really apologize if this is a banal question, but I am quite new to this topic.

Thanks!

Answer 1

Quick answer: 1. Yes, you could work on $(0,\infty)^2$ or add the value infinity to your function.

2. From $\int_0^{+\infty}\frac{|\sin(bx)|}{x^{p}}dx$ you can check using l'Hopital the behaviour of $F(x):=\frac{|\sin(bx)|}{x^{p}}$ at $0$, ($F$ should be integrable at $0$ for every $p\in(0,2)$). Then deal with integrability at $\infty$ (which is easy for $p>1$).