: Loops of the Digit : Curious Properties of Reiterated : The Digits Cube Sum

# 3. The Digit Sum Process.

In this section we are going to study the process proposed by the authors.

Definition 3.1.   We define the dsf function by
, where is the list of the digits of an integer n.

Remark 3.1.   In mathematics we usually define , and hence in Definition 3.1 if .
we start with any non-negative integer n, and repeatedly apply the function dsf, then we can generate a sequence .
Example 3.1.   If we start with the number 134 and apply dsf function for 5 times, then we have
,
and hence we have {134, 284, 16777476, 3387741, 18424613, 16824417 }.

Example 3.2.   . This is an example that for a sufficiently large natural number n .

Our next aim is to find a natural number N such that for any natural number .

Theorem 3.   We have for , and we have for

We are going to prove this theorem by the following 5 Lemmas.

Lemma 3.1.   For we have .

Proof.

Lemma 3.2.   For a natural number such that we have .

Proof.   Let be the list of the digits of the integer .
When the number of 9 in the list is exactly 9,then . .
Suppose that the number of 9 in the list is exactly 8. The remainning 2 numbers are =3 and an integer such that .
When , then .
When , then .
When the number of 9 in the list is less than 8, we have .

Lemma 3.3.   For a natural number n such that
we have .

Proof.   If , .

Lemma 3.4.   For any natural number k such that we have

 (3.1)

Proof.   Let

 (3.2)

Then

 (3.3)

When ,

 (3.4)

Since

 (3.5)

by 3.4 we have 3.1.

Lemma 3.5.   For a natural number n such that we have .

Proof.   If is the list of the digits of the integer n , then 11 and by Lemma 3.4 dsf(n)= .

Theorem 4.   For any natural number we have .

Proof.   This is direct from Lemma 3.2, Lemma3.3 and Lemma3.5.

Theorem 5.   For any natural number the sequence eventually will enter into a loop. In other words there exist numbers p and q such that for any natural number k and any integer r such that , where we call q the length of the loop. The sequence enters into a loop when m = p.

Proof.   If we start with a natural number n, we have a sequence
. When , by Theorem 3 . If , by Theorem 3 we have . In this way this sequence decreases while the value of the sequence is bigger or equal to 3000000000. Therefore there exists a natural number t such that . In this way we can prove that there are infinite number of m such that , and hence there is a non-negative integer u such that for at least two values of m. Let v be the smallest integer such that and let w be the second smallest integer such that .
Then clearly
,..., is a loop.

Example 3.3.   If we apply dsf function to the number 132 for 114 times, then we get the following sequence.
{132,32,31,28,16777220,2517295,388250291,420978083,421798753,
405848204,33558331,16783575,18477236,18471246,
17647933,389114542,404201375,827214,17601024,870463,
17647699,776581633,18520794,405024635,53451,6534,50064,
50039,387423643,17648012,17647678,19341414,387421287,
35201810,16780376,18517643,17650825,17653671,1743552,830081,
33554462,53476,873607,18470986,421845378,34381644,16824695,
404294403,387421546,17651084,17650799,776537847,20121452,
3396,387467199,793312220,388244100,33554978,405027808,
34381363,16824237,17647707,3341086,16824184,33601606,140025,
3388,33554486,16830688,50424989,791621836,405114593,
387427281,35201810,16780376,18517643,17650825,17653671,
1743552,830081,33554462,53476,873607,18470986,421845378,
34381644,16824695,404294403,387421546,17651084,17650799,
776537847,20121452,3396,387467199,793312220,388244100,
33554978,405027808,34381363,16824237,17647707,3341086,
16824184,33601606,140025,3388,33554486,16830688,50424989,
791621836,405114593,387427281,35201810,16780376}.


From this sequence we get Graph 3.1.

If you look at the Graph3.1, you will find that the same pattern occurs more than once.
You will also find the same number appears twice in the sequence if you look at the sequence carefully.

: Loops of the Digit : Curious Properties of Reiterated : The Digits Cube Sum