Condition for splitting the integrals

calculusdefinite integralsimproper-integralsintegrationreal-analysis

I wanted to ask what are the conditions for splitting a definite improper integral?

For example, is it true that $$ \int_{0}^{\infty}(f(x)+g(x)) ~dx=\int_{0}^{\infty}f(x)~dx+\int_{0}^{\infty}g(x)~dx $$

If both integrals are individually convergent and are continuous throughout the domain, and if not, what are the conditions?

Best Answer

If $f(x)$ and $g(x)$ are each Riemann integrable on $[0,b]$ for every $b > 0$, then $f(x) + g(x)$ is also Riemann integrable there, and $$ \int_0^b (f(x) + g(x))\; dx = \int_0^b f(x)\; dx + \int_0^b g(x)\; dx$$ By definition,

$$\eqalign{\int_0^\infty (f(x) + g(x))\; dx &= \lim_{b \to \infty} \int_0^b (f(x) + g(x))\; dx\cr &= \lim_{b \to \infty} \left(\int_0^b f(x)\; dx + \int_0^b g(x)\; dx \right)\cr &= \lim_{b \to \infty} \int_0^b f(x)\; dx + \lim_{b \to \infty}\int_0^b g(x)\; dx \cr &= \int_0^\infty f(x)\; dx + \int_0^\infty g(x)\; dx}$$ if those last two improper integrals exist.

However, it can happen that the improper integrals of $f$ and $g$ don't exist, but that of $f+g$ does.