# The proof of Rabbe's test

by quasar987
Tags: proof, rabbe, test
 PF Patron HW Helper Sci Advisor P: 4,755 1. The problem statement, all variables and given/known data I was asked to prove Raabes test in the form that if $$|a_{n+1}/a_{n}|<1-A/n$$ for some A>1 and for n large enough, then the series converges absolutely. After struggling for days (I work at a factory doing repetitive work so I can easily let my body work while I think about math ), I capitulated and peeked at the hint at the end of the book. It says, let $$P_n=\prod_{k=1}^{n}\left(1-\frac{A}{k}\right)$$ and show that $$\ln(P_n)=-A\ln(n)+O(1)$$. While I understand perfectly how this equality is the kernel of the proof, I can't seem to be able to demonstrate its truth. My best shot is... $$\ln(P_n)=\sum_{k=1}^n\ln\left(1-\frac{A}{k}\right)\leq \sum_{k=1}^n\left(1-\frac{A}{k}\right)=n-A\sum_{k=1}^n\frac{1}{k}=n-A\ln(n)+O(1)$$ The last equality is because the sequence $$\gamma_n=\sum_{k=1}^n\frac{1}{k}-\ln(n)$$ is decreasing and bounded below by 0 (and converges to Euler's cst $\gamma$).
HW Helper
P: 2,533
 Quote by quasar987 While I understand perfectly how this equality is the kernel of the proof, I can't seem to be able to demonstrate its truth. My best shot is... $$\sum_{k=1}^n\ln\left(1-\frac{A}{k}\right)\leq \sum_{k=1}^n\left(1-\frac{A}{k}\right)$$
That seems like a poor choice of inequality -- the terms on the left are pretty close to zero, while the ones on the right are close to 1. I wonder if you could use the Taylor series:
$$\ln(1+x)=\sum_{n=0}^{\infty} \frac{(-1)^n}{n+1}x^{n+1}$$
to come up with something better?
 PF Patron HW Helper Sci Advisor P: 4,755 I wonder... I'd be surprised if that is the only way to go however. Cuz this is a problem from chapter 2, and Taylor's thm is in somthing like cahpter 6.
PF Patron
HW Helper
P: 4,755

## The proof of Rabbe's test

First, let me state correctly the version of Raabe's test I was asked to prove: "If

$$|a_{n+1}/a_{n}|\leq 1-A/n$$

for some A>1 and for n large enough, then the series converges absolutely. And if

$$|a_{n+1}/a_{n}|\geq 1-1/n$$

for n large enough, then the series diverges."

And I suppose that it is implied that if neither of these inequality hold for n large enough, then we cannot conclude.

Is this version of Raabe's test really equivalent to the one that says, "Let

$$L=\lim_{n\rightarrow\infty}n\left(1-\left|\frac{a_{n+1}}{a_n}\right|\right)$$

If L>1, the series converges absolutely.
If L<1, the series diverges.
If L=1, we cannot conclude."

Or is this last one more general?

(And by the way, I think something's not right... cuz if we take the case $|a_{n+1}/a_{n}|\geq 1-1/n$, then the first test asserts convergence. But this equality also means that

$$n\left(1-\left|\frac{a_{n+1}}{a_n}\right|\right)\leq 1$$.

But in the case =1, the second test asserts that we cannot conclude. The two statements contradict each other, do they not?)
HW Helper
P: 2,533
 Quote by quasar987 I'd be surprised if that is the only way to go however. Cuz this is a problem from chapter 2, and Taylor's thm is in somthing like cahpter 6.
Well, you can fudge it:
$$x \in (-\frac{1}{2},0)$$
Gives you
$$1 < \frac{d}{dx} \ln(1+x) < 2$$
and
$$\ln 1= 0$$
so on the same interval
$$x > \ln(1+x) > 2x$$
Which is plenty strong for your needs.

You've got some issues with the inequalities in your expressions since both the conditions for convergence and divergence allow for equality.

You're not guaranteed that conditions are sufficient to guarantee that the limit exists so the inequalities are actually more general. Beyond that, it's quite easy to convert from one to the other using the notion of limit and some basic algebra:
$$\left| \frac{a_n}{a_{n+1}} \right | \leq 1 - \frac{A}{n}$$
$$-\left|\frac{a_n}{a_{n+1}} \right | \geq \frac{A}{n} - 1$$
$$1-\left| \frac{a_n}{a_{n+1}}\right| \geq \frac{A}{n}$$
$$n\left(1-\left| \frac{a_n}{a_{n+1}}\right|\right) \geq A$$
Now, the RHS is independant of $n$ so we can translate the 'sufficiently large' notion into a limit (provided the limit exists).
$$\lim_{n \rightarrow \infty} n\left(1-\left| \frac{a_n}{a_{n+1}}\right|\right) \geq A$$
PF Patron
HW Helper
P: 4,755
 Quote by NateTG You've got some issues with the inequalities in your expressions since both the conditions for convergence and divergence allow for equality.
I had a mistake in my post, sorry!

I edited it; the mistake is that the series will diverge if

$$|a_{n+1}/a_{n}|\geq 1-1/n$$

for n large enough, and not if

$$|a_{n+1}/a_{n}|\geq 1-A/n$$

Thanks a bunch for everything NateTG! <3
 PF Patron Sci Advisor Emeritus P: 16,094 Rabbe's test (as stated) can be applied even when the ratio of terms doesn't converge. e.g. 1, 1/2, 1/8, 1/16, 1/64, 1/128, 1/512, 1/1024, ...
 P: 42 You should use the proof of Kummer's test. Rabbe's test is a specific, less-general form of Kummer's test.

 Related Discussions Calculus & Beyond Homework 11 Calculus & Beyond Homework 3 Calculus & Beyond Homework 2 Calculus & Beyond Homework 11 Introductory Physics Homework 3