Let be a monotonically decreasing sequence of non-negative real numbers. Then has the infinite series
the same convergence behavior as the condensed series
,
that is, one series converges if and only if the other converges.
Evidence sketch
The effect of this criterion can be thought of as a consideration of the upper and lower sums of the series to be examined. The sequence is divided into blocks of increasing length and estimated against maximum and minimum in each block. Since the sequence was assumed to be monotonically falling, the maximum is identical to the first and the minimum to the last term of each block.
The criterion now results from the majorant criterion . The most common block division is that according to powers of two with blocks . To prove convergence, the majorante is constructed
for .
For every index k the majorante contains terms with the same value , so the majorante converges exactly when it converges.
In order to prove divergence, the minorant is constructed through
for .
For every index k , the minorant contains terms with the same value , so the minorant diverges precisely when it diverges.
Application example
One application is in the general harmonic series . For a solid hat
the same convergence behavior as
.
is obviously a geometric series with a factor . From their convergence behavior it follows that there is convergence, otherwise divergence. Note the change in the starting value and the index of the series from to .
The result is analogous for the even slower converging or diverging series
for convergence, otherwise divergence.
generalization
Instead of the partial sequence , more general partial sequences can also be used for compression. Let be a monotonically decreasing sequence of nonnegative real numbers. Then has the infinite series
the same convergence behavior as the condensed series
,
where is a strictly monotonically increasing function on the natural numbers, the