Self number

From HandWiki
Short description: Type of natural number

In number theory, a self number or Devlali number in a given number base [math]\displaystyle{ b }[/math] is a natural number that cannot be written as the sum of any other natural number [math]\displaystyle{ n }[/math] and the individual digits of [math]\displaystyle{ n }[/math]. 20 is a self number (in base 10), because no such combination can be found (all [math]\displaystyle{ n \lt 15 }[/math] give a result less than 20; all other [math]\displaystyle{ n }[/math] give a result greater than 20). 21 is not, because it can be written as 15 + 1 + 5 using n = 15. These numbers were first described in 1949 by the India n mathematician D. R. Kaprekar.

Definition and properties

Let [math]\displaystyle{ n }[/math] be a natural number. We define the [math]\displaystyle{ b }[/math]-self function for base [math]\displaystyle{ b \gt 1 }[/math] [math]\displaystyle{ F_b : \mathbb{N} \rightarrow \mathbb{N} }[/math] to be the following:

[math]\displaystyle{ F_{b}(n) = n + \sum_{i=0}^{k - 1} d_i. }[/math]

where [math]\displaystyle{ k = \lfloor \log_{b}{n} \rfloor + 1 }[/math] is the number of digits in the number in base [math]\displaystyle{ b }[/math], and

[math]\displaystyle{ d_i = \frac{n \bmod{b^{i+1}} - n \bmod b^i}{b^i} }[/math]

is the value of each digit of the number. A natural number [math]\displaystyle{ n }[/math] is a [math]\displaystyle{ b }[/math]-self number if the preimage of [math]\displaystyle{ n }[/math] for [math]\displaystyle{ F_b }[/math] is the empty set.

In general, for even bases, all odd numbers below the base number are self numbers, since any number below such an odd number would have to also be a 1-digit number which when added to its digit would result in an even number. For odd bases, all odd numbers are self numbers.[1]

The set of self numbers in a given base [math]\displaystyle{ b }[/math] is infinite and has a positive asymptotic density: when [math]\displaystyle{ b }[/math] is odd, this density is 1/2.[2]

Recurrent formula

The following recurrence relation generates some base 10 self numbers:

[math]\displaystyle{ C_k = 8 \cdot 10^{k - 1} + C_{k - 1} + 8 }[/math]

(with C1 = 9)

And for binary numbers:

[math]\displaystyle{ C_k = 2^j + C_{k - 1} + 1\, }[/math]

(where j stands for the number of digits) we can generalize a recurrence relation to generate self numbers in any base b:

[math]\displaystyle{ C_k = (b - 2)b^{k - 1} + C_{k - 1} + (b - 2)\, }[/math]

in which C1 = b − 1 for even bases and C1 = b − 2 for odd bases.

The existence of these recurrence relations shows that for any base there are infinitely many self numbers.

Selfness tests

Reduction tests

Luke Pebody showed (Oct 2006) that a link can be made between the self property of a large number n and a low-order portion of that number, adjusted for digit sums:

  1. In general, n is self if and only if m = R(n)+SOD(R(n))-SOD(n) is self

    Where:

    R(n) is the smallest rightmost digits of n, greater than 9.d(n)
    d(n) is the number of digits in n
    SOD(x) is the sum of digits of x, the function S10(x) from above.
  2. If [math]\displaystyle{ n = a\cdot 10^b+c,\ c\lt 10^b }[/math], then n is self if and only if both {m1 & m2} are negative or self

    Where:

    m1 = c - SOD(a)
    m2 = SOD(a-1)+9·b-(c+1)
  3. For the simple case of a=1 & c=0 in the previous model (i.e. [math]\displaystyle{ n=10^b }[/math]), then n is self if and only if (9·b-1) is self

Effective test

Kaprekar demonstrated that:

n is self if [math]\displaystyle{ \mathrm{SOD}(| n - \mathrm{DR}^*(n) - 9 \cdot i | ) \neq [\mathrm{DR}^*(n) + 9 \cdot i ] \quad \forall i \in 0 \ldots d(n) }[/math]

Where:

[math]\displaystyle{ \mathrm{DR}^*(n) = \begin{cases} \frac{\mathrm{DR}(n)}{2}, & \text{if } \mathrm{DR}(n) \text{ is even}\\ \frac{\mathrm{DR}(n) + 9}{2}, & \text{if } \mathrm{DR}(n) \text{ is odd} \end{cases} }[/math]
[math]\displaystyle{ \begin{align} \mathrm{DR}(n) &{}= \begin{cases} 9, & \text{if } \mathrm{SOD}(n) \mod 9 = 0\\ \mathrm{SOD}(n) \mod 9, & \text{otherwise} \end{cases} \\ &{}= 1+[(n - 1) \mod 9] \end{align} }[/math]
[math]\displaystyle{ \mathrm{SOD}(n) }[/math] is the sum of all digits in n.
[math]\displaystyle{ d(n) }[/math] is the number of digits in n.

Self numbers in specific bases

For base 2 self numbers, see OEISA010061. (written in base 10)

The first few base 10 self numbers are:

1, 3, 5, 7, 9, 20, 31, 42, 53, 64, 75, 86, 97, 108, 110, 121, 132, 143, 154, 165, 176, 187, 198, 209, 211, 222, 233, 244, 255, 266, 277, 288, 299, 310, 312, 323, 334, 345, 356, 367, 378, 389, 400, 411, 413, 424, 435, 446, 457, 468, 479, 490, ... (sequence A003052 in the OEIS)

In base 12, the self numbers are: (using A and B for ten and eleven, respectively)

1, 3, 5, 7, 9, B, 20, 31, 42, 53, 64, 75, 86, 97, A8, B9, 102, 110, 121, 132, 143, 154, 165, 176, 187, 198, 1A9, 1BA, 20B, 211, 222, 233, 244, 255, 266, 277, 288, 299, 2AA, 2BB, 310, 312, 323, 334, 345, 356, 367, 378, 389, 39A, 3AB, 400, 411, 413, 424, 435, 446, 457, 468, 479, 48A, 49B, 4B0, 501, 512, 514, 525, 536, 547, 558, 569, 57A, 58B, 5A0, 5B1, ...

Self primes

A self prime is a self number that is prime.

The first few self primes in base 10 are

3, 5, 7, 31, 53, 97, 211, 233, 277, 367, 389, 457, 479, 547, 569, 613, 659, 727, 839, 883, 929, 1021, 1087, 1109, 1223, 1289, 1447, 1559, 1627, 1693, 1783, 1873, ... (sequence A006378 in the OEIS)

The first few self primes in base 12 are:

3, 5, 7, B, 31, 75, 255, 277, 2AA, 3BA, 435, 457, 58B, 5B1, ...

In October 2006 Luke Pebody demonstrated that the largest known Mersenne prime in base 10 that is at the same time a self number is 224036583−1. This is then the largest known self prime in base 10 (As of 2006).

Extension to negative integers

Self numbers can be extended to the negative integers by use of a signed-digit representation to represent each integer.

Excerpt from the table of bases where 2007 is self

The following table was calculated in 2007.

Base Certificate Sum of digits
40 [math]\displaystyle{ 1959 = [1, 8, 39]_{40} }[/math] 48
41
42 [math]\displaystyle{ 1967 = [1, 4, 35]_{42} }[/math] 40
43
44 [math]\displaystyle{ 1971 = [1, 0, 35]_{44} }[/math] 36
44 [math]\displaystyle{ 1928 = [43, 36]_{44} }[/math] 79
45
46 [math]\displaystyle{ 1926 = [41, 40]_{46} }[/math] 81
47
48
49
50 [math]\displaystyle{ 1959 = [39, 9]_{50} }[/math] 48
51
52 [math]\displaystyle{ 1947 = [37, 23]_{52} }[/math] 60
53
54 [math]\displaystyle{ 1931 = [35, 41]_{54} }[/math] 76
55
56 [math]\displaystyle{ 1966 = [35, 6]_{56} }[/math] 41
57
58 [math]\displaystyle{ 1944 = [33, 30]_{58} }[/math] 63
59
60 [math]\displaystyle{ 1918 = [31, 58]_{60} }[/math] 89

References

  1. Sándor & Crstici (2004) p.384
  2. Sándor & Crstici (2004) p.385