Integral of the convolution of two functions: $\int_{-\infty}^{\infty} (f*g)(x)dx$ There is this proof for the integral of convolution between two functions:
$$\begin{align}\int_{-\infty}^{\infty} (f*g)(x)dx&=\int_{-\infty}^{\infty}\left [ \int_{-\infty}^{\infty}f(x-\xi)g(\xi)d\xi \right ] dx \\&=\int_{-\infty}^{\infty}g(\xi)\left [ \int_{-\infty}^{\infty}f(x-\xi)dx \right ] d\xi \\ &=\int_{-\infty}^{\infty}g(\xi)\left [ \int_{-\infty}^{\infty}f(\eta)d\eta \right ] d\xi\\&=\int_{-\infty}^{\infty}g(\xi) d\xi \int_{-\infty}^{\infty}f(\eta)d\eta\end{align}$$
What confuses me is the way author has easily changed the order of terms under integral sign. I'll appreciate any explanation.
 A: Hint. You may use Fubini-Tonelli theorem.
Let $f,g \in L^1(\mathbb{R})$. Set $F(x,\xi):=f(x-\xi)g(\xi)$. Then
$$\int_{\mathbb{R}}|F(x,\xi)|\,dx=|g(\xi)|\int_{\mathbb{R}}|f(x-\xi)|\,dx=|g(\xi)|\int_{\mathbb{R}}|f(x)|\,dx=|g(\xi)|\: \Vert f\Vert _1$$
giving
$$
\int_{\mathbb{R}}\left(\int_{\mathbb{R}}|F(x,\xi)|\,dx\right)d\xi=\int_{\mathbb{R}}\Vert f\Vert _1|g(\xi)|\,d\xi=\Vert f\Vert _1\Vert g\Vert _1 <\infty.
$$
In the same manner,
$$
\int_{\mathbb{R}}\left(\int_{\mathbb{R}}|F(x,\xi)|\,d\xi\right)dx=\Vert f\Vert _1\Vert g\Vert _1 <\infty
$$
Thus using Fubini-Tonelli theorem, we have
$\displaystyle F \in L^1(\mathbb{R} \times \mathbb{R})$ and
$$
\int_{\mathbb{R} \times \mathbb{R}}|F(x,\xi)|\,d(x,\xi)=\int_{\mathbb{R}}\left(\int_{\mathbb{R}}|F(x,\xi)|\,dx\right)d\xi=\int_{\mathbb{R}}\left(\int_{\mathbb{R}}|F(x,\xi)|\,d\xi\right)dx
$$
Moreover, $\displaystyle \Vert f*g \Vert _1 \leq \Vert f\Vert _1\Vert g\Vert _1$ , since
$$
\Vert f*g \Vert _1=\!\int_{\mathbb{R}}\!|(f*g)(x)|\,dx=\!\int_{\mathbb{R}}\left|\int_{\mathbb{R}}F(x,\xi)d\xi\right|dx\leq \!\!\int_{\mathbb{R}}\!\left(\int_{\mathbb{R}}|F(x,\xi)|d\xi\right)\!dx=\Vert f\Vert _1\Vert g\Vert _1.
$$
