3
$\begingroup$

Take the improper integral

$\int^1 _{-\infty} \cos \pi x \; dx $

From which it is clear that:

$\lim_{b \to -\infty} \int^1 _{b} \cos \pi x \; dx = -\frac{1}{\pi}\sin b \pi$

The integral oscillates between $\frac{1}{\pi}\text{ and }-\frac{1}{\pi}$ as $b \to \infty$.

Now, my textbook, Calculus: One and Several Variables, by Salas et. al (10th ed.), says this integral "diverges"? Certainly, I agree it "does not converge", but I don't think the integral is diverging per se...

Is the diverge/converge distinction a mutually exclusive dichotomy? It seems like it should be possible to say an integral neither converges or diverges, in the situation that the function oscillates to infinity.

  • 3
    "diverges" means, simply, that the appropriate limit does not exist. This can occur in one of two ways: the expression could oscillate, as you have, between two values $a\ne b$, or, the expression could tend to an infinity (and thus the limit does not exist, as we don't regard an infinity as a real number). Both types are classified as divergent. (In the latter case, you might say "diverges to infinity"). So, yes. "converge" and "diverge" are mutually exclusive and any improper integral is one or the other.2011-11-25

2 Answers 2

9

Yes, divergence and convergence are mutually exclusive; divergence means "does not converge" and since we have a very precise idea of what it should mean to converge, the integral you gave must diverge. Of course you can sub-classify types of divergence (e.g. whether the object is bounded), but then it's just a matter of nomenclature. And based on the definition of "diverge" as an everyday English word, I don't think that math has chosen a poor word for the oscillating case.

  • 2
    @ptrcao No, as in the example you gave where the integral diverges but is bounded between $\frac{1}{\pi}$ and $-\frac{1}{\pi}$. This is analogous to the sequence $0,1,0,1,\dots$, which does not converge but is bounded.2011-11-25
3

It is not true that $\displaystyle\lim_{b \to -\infty} \int^1_b \cos \pi x \; dx = -\frac{1}{\pi}\sin b \pi$.

If you take the limit of anything as $b$ approaches anything, you will not see "$b$" appearing in the answer. At least not if it's correct.

Look at the integral, without the limit: $ \int^1_b \cos \pi x \; dx = \left[\frac{\sin(\pi x)}{\pi}\right]_{x=b}^{x=1} = - \frac{\sin(\pi b)}{\pi}. $ Now try to take the limit as $b\to-\infty$. As you say, it doesn't exist because $-\sin(\pi b)/\pi$ keeps oscillating between $-\frac1\pi$ and $\frac1\pi$.

  • 1
    Shouldn't it be $\int^1 _{b} \cos \pi x \quad dx = \left[ \frac{\sin(\pi x)}{\pi} \right]^{x=1} _{x=b} = 0 - \frac{\sin (\pi b)}{\pi} = -\frac{\sin (\pi b)}{\pi}$, not $-1 - \frac{\sin (\pi b)}{\pi}$?2011-11-25