[Math] Riemann-integrable (improperly) but not Lebesgue-integrable

integrationlebesgue-integral

Show that for any $\alpha>1$ the function
$$
g_{\alpha}(x):=\sin(x^{\alpha}), x\geq 0
$$
is improperly Riemann-integrable but not Lebesgue-integrable on $\mathbb{R}_+$.

Could you please give me a hint how to show that?

Concerning the Riemann-integrability I have to show that
$$
\lim\limits_{R\to\infty}\int\limits_0^R\sin(x^{\alpha})\, dx<\infty,
$$
but I do not know how to show that.

Concerning the Lebesgue-integrability I have to show that
$$
\int\limits_0^{\infty}\lvert\sin(x^{\alpha})\rvert\, dx=\infty,
$$
but again I have no idea how to do so.

Best Answer

First substitute $u= x^{\alpha}$ into the integral to see your problem reduces to asking the same question about the integral $\displaystyle \int^{\infty}_0 \dfrac{\sin x}{x^a} dx$ for $a\in (0,1).$

To show that is Riemann integrable, we consider the integral over $(0,1)$ and $[1,\infty)$ separately. To show the integral over $[1,\infty)$ exists, integrate by parts. You'll have

$$ \int^R_1 \frac{\sin x}{x^a} dx = -x^{-a} \cos x \mid^R_1 - a \int^R_1 \frac{\cos x}{x^{a+1}} dx$$

and it should be easy to finish from there.

To see $\displaystyle \int^1_0 \frac{\sin x}{x^a} dx$ exists note that $\sin x \sim x$ and $\displaystyle \int^1_0 \frac{x}{x^a} dx$ is finite.

To show it is not Lebesgue integrable, it suffices to show $$\int^{\infty}_0 \frac{|\sin x|}{x^a} dx = \sum_{k=0}^{\infty} (-1)^k \int^{(k+1)\pi}_{k\pi} \frac{\sin x}{x^a} dx = \sum_{k=0} \int^{\pi}_0 \frac{\sin x}{(x+k\pi)^a} dx$$ diverges, which is not hard with a basic estimate on the last integral. Note that the integral over $[0,\pi]$ is certainly greater than the integral over $[\pi/4,3\pi/4]$ and on that interval we have $\sin x \geq \frac{1}{\sqrt{2}}$ so

$$\int^{\pi}_0 \frac{\sin x}{(x+k\pi)^a} dx > \frac{1}{\sqrt{2}} \int^{3\pi/4}_{\pi/4} \frac{1}{( x+k\pi)^a} dx > \frac{1}{\sqrt{2}} \cdot \frac{\pi}{2} \frac{1}{( 3\pi/4 + k\pi)^a}= \frac{1}{2\sqrt{2}\pi^{a-1}}\frac{1}{(k+3/4)^a} .$$

Related Question