Almost Harmonic

Calculus Level 3

The harmonic series is the divergent infinite series n = 1 1 n = 1 + 1 2 + 1 3 + 1 4 + 1 5 + . \sum _{n=1}^{\infty }{\frac {1}{n}}=1+{\frac {1}{2}}+{\frac {1}{3}}+{\frac {1}{4}}+{\frac {1}{5}}+\cdots. Define the almost harmonic series as the sum of the inverses of all the numbers that don't contain the string 2018 ( \Big( i.e. all the terms of the form 1 2018 ) : \frac{1}{\ldots2018\ldots}\Big): n = 1 , w/o 2018 1 n = 1 + 1 2 + 1 3 + + 1 2017 + 1 2019 + + 1 12017 + 1 12019 + . \sum _{n=1, \text{ w/o 2018}}^{\infty }{\frac {1}{n}}=1+{\frac {1}{2}}+{\frac {1}{3}}+\cdots+{\frac {1}{2017}}+{\frac {1}{2019}}+\cdots+{\frac {1}{12017}}+{\frac {1}{12019}}+\cdots. Which of the following describes the behavior of this almost harmonic series?

The series is still divergent The series is now convergent The series is neither convergent nor divergent

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

Antoine G
Jul 24, 2018

This type of series is very close to the Kempner series. The answer is essentially already given in this wikipedia article

Here are the details. Call S S the serie to evaluare. Write the number in base 1 0 4 10^4 instead of base 10. And look at the new series S S' which is the harmonic sum of all number which do not contain the "digit in base 1 0 4 10^4 " which represents the number [in base 10] 2018. This series does skip numbers [in base 10] of the form ####2018 and 2018#### (where # is some base-10 digit) but it does not skip numbers of the form ##2018## or #2018### or ###2018#. Since it skips less numbers, it is larger than S S . So we will show that S S' converges and conclude that S S converges.

Now to estimate the series S S' , we work mostly in base 1 0 4 10^4 . As a warm up, there are ( 1 0 4 1 ) ( 1 0 4 ) k 1 (10^4-1) \cdot (10^4)^{k-1} numbers which have k k digits (in base 1 0 4 10^4 ): indeed there are 1 0 4 1 10^4-1 choices for the first digit (it cannot be 0) and 1 0 4 10^4 choices for the remaining k 1 k-1 digits.

Of interest to us now is that there are ( 1 0 4 2 ) ( 1 0 4 1 ) k 1 (10^4-2) \cdot (10^4-1)^{k-1} which do not contain the digit (in base 1 0 4 10^4 !) representing the number (written in base 10) "2018": indeed there are 1 0 4 2 10^4-2 choices for the first digit (it cannot be 0 or "2018") and 1 0 4 1 10^4-1 choices for the remaining k 1 k-1 digits (they cannot be equal to "2018"). On the other hand, all these numbers are ( 1 0 4 ) k 1 \geq (10^4)^{k-1} .

This means that all the numbers with k k digits contribute to at most ( 1 0 4 2 ) ( 1 0 4 1 ) k 1 1 ( 1 0 4 ) k 1 (10^4-2) \cdot (10^4-1)^{k-1} \cdot \frac{1}{(10^4)^{k-1}} in the series.

Now we sum over all k k : S k 1 ( 1 0 4 2 ) ( 1 0 4 1 ) k 1 1 ( 1 0 4 ) k 1 = ( 1 0 4 2 ) k 1 ( 1 0 4 1 1 0 4 ) k 1 = ( 1 0 4 2 ) 1 1 1 0 4 1 1 0 4 S' \leq \sum_{k \geq 1} (10^4-2) \cdot (10^4-1)^{k-1} \cdot \frac{1}{(10^4)^{k-1}} = (10^4-2) \cdot \sum_{k \geq 1} \big( \frac{10^4-1}{10^4} \big)^{k-1} = (10^4-2) \cdot \frac{1}{1- \frac{10^4-1}{10^4} }

This shows that S S' is convergent. Since S S is smaller than S S' it is convergent too.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...