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.


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} .$$

  • $\begingroup$ When I substitute $s=x^{\alpha}$, I get the integral $\int_0^{\infty}\frac{\sin(s)}{\alpha x^{\alpha-1}}\, ds$. Is that right?` $\endgroup$ – math12 Aug 17 '13 at 12:23
  • $\begingroup$ @math12 Yes it is, but now that you are integrating with respect to $s$ you should replace that $x$ in the denominator with a function of $s$ instead. $\endgroup$ – Ragib Zaman Aug 17 '13 at 12:27
  • 1
    $\begingroup$ Neither term in the RHS of the displayed identity in the "Riemann" part of the post, exists. $\endgroup$ – Did Aug 17 '13 at 12:50
  • 1
    $\begingroup$ Sorry, you have to deal with $(0,1)$ and $[1,\infty)$ separately. For $[1,\infty)$ the method I wrote above works, I will edit my answer now to address the other part. $\endgroup$ – Ragib Zaman Aug 17 '13 at 12:55
  • 1
    $\begingroup$ @math12 Not quite. You show that the integral on the RHS converges absolutely with that estimate you wrote, and then that means it converges. $\endgroup$ – Ragib Zaman Aug 17 '13 at 14:16

For the first one, reduce to show that $\int_1^\infty\sin(t^\alpha)dt$ is convergent. A substitution like $s=t^\alpha$ and an integration by part will give what we want.

For the second one, use again the same trick, then the inequality $\sin^2s\leqslant|\sin s|$. A trigonometric identity will do the job.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.