24
$\begingroup$

Let $$f(x) = \frac{\sin(x)}{x}$$ on $\mathbb{R}_{\ge 0}$.

$$\int |f| < + \infty\quad\text{iff}\quad \int f^+ < \infty \color{red}{\wedge \int f^- < \infty}$$

EDIT: So what I'm trying to do is to show that in fact $\int f^+ > \infty$ so that therefore $\int |f| = \infty$

Now consider the assertion that: $$\int f+ = \sum_{k=1}^\infty \int_{[2\pi k , 2\pi k + \pi]} \left( \frac{\sin(x)}{x} \right) dx \le \sum_{k=1}^\infty\int_{[2\pi k , 2\pi k + \pi]} \left( \frac{\sin(x)}{2 \pi k + \pi}\right) dx$$

Two Questions:

(1) Is the first step of asserting that

$$ \int f^+ = \sum_{k=1}^\infty \int_{[2\pi k , 2\pi k + \pi]} \left( \frac{\sin(x)}{x} \right) dx $$

correct, in the sense that you can partition a Lebesgue integral into an INFINITE series of integrals being added together (whose individual term domains cover all of the overall domain of the original integral s.t. they are also pairwise disjoint)?

(2) Is there a well known lower bound of $\sum_{k=1}^\infty\int_{[2\pi k , 2\pi k + \pi]} \left( \frac{\sin(x)}{2 \pi k + \pi}\right) dx$ that diverges whose existence establishes that $f^+$ is in fact not integrable?

$\endgroup$
  • 1
    $\begingroup$ BTW, $\int|f|=\int f^- +\int f^+$, so $$\int|f|<\infty \qquad\text{ iff}\qquad\int f^+<\infty\quad\text{AND }\quad\int f^-<\infty$$ $\endgroup$ – AD. Nov 8 '12 at 16:28
26
$\begingroup$

You might want to start by showing that $f$ is conditionally convergent. This would show that $f$ is not Lebesgue integrable. Use the fact that $$\int_{(n - 1)\pi}^{n\pi} \frac{\left| \sin x \right|}{x} dx \geq \frac{1}{n\pi}\int_{(n - 1)\pi}^{n\pi} \left| \sin x \right| dx = \frac{2}{n\pi}$$ to get $$\int_0^{N\pi} \frac{\left| \sin x \right|}{x} dx \geq \frac{2}{\pi}\sum_{n = 1}^N \frac{1}{n}$$ which shows that $$\int_0^\infty \frac{\left| \sin x \right|}{x} dx$$ is divergent.

$\endgroup$
  • $\begingroup$ That's exactly what I'm trying to show by showing that $\int f^+$ diverges (so that $\int |f|$ must also diverge). $\endgroup$ – user1770201 Oct 30 '12 at 19:34
  • 2
    $\begingroup$ "$|f|$ is not Riemann integrable" does not imply that "$f$ is not Lebesgue integrable". $\endgroup$ – Tony B Aug 8 '15 at 3:00
4
$\begingroup$

Let $f(x)=\frac{\sin x}{x}$. Surely the function is measurable, so we need to prove that $$\int|f(x)|dx=+\infty$$ In order to do that we need to look closer to the function. To this end, note that it is almost like $x\mapsto\frac{1}{x}$, however our function has zeros so we cannot compare them directly. A better approach is to use that the local maximums are attained at $x=\frac{\pi}{2}+\pi \cdot n$, in fact we have $$|f(x)| \geq \frac{1}{\sqrt{2}x}, \quad\text{for $ \left|\frac{(2n+1)\pi}{2}-x\right|\leq \frac{\pi}{4}$}$$ Now, do you see how to estimate the function from below?

$\endgroup$
3
$\begingroup$

By definition, a measurable function $f=f(x)$ is Lebesgue integrable over a measurable set $E$ if and only if the Lebesgue integrals$\int_E f^+(x)\,dx$ and $\int_Ef^-(x)\,dx$ are both finite. Let us look at $f^+(x)$, which in this case is $\sin^+(x)/x$. Since $f^+(x)\geqslant 0$, $f^+(x)$ is integrable if and only if $\int f^+(x)\,dx<\infty$. Again, since $f^+(x)\geqslant 0$, we can compute its Lebesgue integral with the Monotone Convergence Theorem, and then estimate it from below: \begin{align*} \int_0^\infty f^+(x)\,dx &= \int_0^\infty \frac{\sin^+(x)}{x}\,dx \\ &\color{red}{=}\sum_{k=0}^\infty\int_{2k\pi}^{(2k+1)\pi}\frac{\sin(x)}{\color{green}{x}}\,dx & \color{red}{\text{Monotone Convergence Theorem}} \\ &\color{green}{\geqslant}\sum_{k=0}^\infty\int_{2k\pi}^{(2k+1)\pi}\frac{\sin(x)}{\color{green}{(2k+1)\pi}}\,dx \\ &= \sum_{k=0}^\infty\frac{1}{(2k+1)\pi}\color{blue}{\int_{2k\pi}^{(2k+1)\pi}\sin(x)\,dx} \\ &\color{blue}{=} \sum_{k=0}^\infty\frac{\color{blue}{2}}{(2k+1)\pi} \\ &= \sum_{k=0}^\infty\frac{1}{(k+1/2)\pi} \end{align*} By the Limit Comparison Test applied to the series obtained above and the harmonic series, we conclude that the series diverges, hence $\int_0^\infty f^+(x)\,dx = \infty$, so $f(x)$ is not integrable.

$\endgroup$
2
$\begingroup$

Doing a change of variables, it's enough to show that

$$\int_\mathbb{R^+} |\sin(2\pi y)/y |dy$$ diverges.

You can estimate this by

$$\int_\mathbb{R^+} |\sin(2\pi y)/y | dy \geq \sum_{k=0}^\infty \int_{k+3/4}^{k+5/4}|\sin(2\pi y)/y | \geq 1/2\sum_{k=0}^\infty \frac{\sin \pi/4}{k + 5/4}$$ which diverges as it is essentially the harmonic series.

I may have made a few mistakes on the constants but the idea is that you can fit rectangles underneath the curve to compare it to the harmonic series

$\endgroup$
-2
$\begingroup$

It is well known that the integral $ \int_{0}^{\infty}\left|\frac{\sin(x)}{x}\right|dx $ does not converge. Now use the theorem "a function $f$ is Lebesgue integrable iff |f| is" to show, that $f(x)=\frac{\sin(x)}{x}$ is not Lebesgue integrable..

$\endgroup$
  • 5
    $\begingroup$ In case my post was not clear, this is exactly what I'm trying to do. $\endgroup$ – user1770201 Oct 30 '12 at 19:35

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.