A173526 -id:A173526 - cp's OEIS frontend

A053827 Sum of digits of (n written in base 6).

0, 1, 2, 3, 4, 5, 1, 2, 3, 4, 5, 6, 2, 3, 4, 5, 6, 7, 3, 4, 5, 6, 7, 8, 4, 5, 6, 7, 8, 9, 5, 6, 7, 8, 9, 10, 1, 2, 3, 4, 5, 6, 2, 3, 4, 5, 6, 7, 3, 4, 5, 6, 7, 8, 4, 5, 6, 7, 8, 9, 5, 6, 7, 8, 9, 10, 6, 7, 8, 9, 10, 11, 2, 3, 4, 5, 6, 7, 3, 4, 5, 6, 7, 8, 4, 5, 6, 7, 8, 9, 5, 6, 7, 8, 9, 10, 6, 7, 8, 9, 10

Offset: 0

Henry Bottomley, Mar 28 2000

Also the fixed point of the morphism 0->{0,1,2,3,4,5}, 1->{1,2,3,4,5,6}, 2->{2,3,4,5,6,7}, etc. - Robert G. Wilson v, Jul 27 2006

Sum of six consecutive terms is (15,21,27,33,39,45; 21,27,33,39,45,51; 27,33,39,45,51,57; and so on). - Vincenzo Librandi, Aug 02 2010

			a(20)=3+2=5 because 20 is written as 32 base 6.
From _Omar E. Pol_, Feb 21 2010: (Start)
It appears that this can be written as a triangle :
  0,
  1,2,3,4,5,
  1,2,3,4,5,6,2,3,4,5,6,7,3,4,5,6,7,8,4,5,6,7,8,9,5,6,7,8,9,10,
  1,2,3,4,5,6,2,3,4,5,6,7,3,4,5,6,7,8,4,5,6,7,8,9,5,6,7,8,9,10,6,7,8,9,10,11,2...
where the rows converge to A173526.
See the conjecture in the entry A000120. (End)

Indranil Ghosh, Table of n, a(n) for n = 0..10000
Jeffrey O. Shallit, Problem 6450, Advanced Problems, The American Mathematical Monthly, Vol. 91, No. 1 (1984), pp. 59-60; Two series, solution to Problem 6450, ibid., Vol. 92, No. 7 (1985), pp. 513-514.
Robert Walker, Self Similar Sloth Canon Number Sequences.
Eric Weisstein's World of Mathematics, Digit Sum.

Cf. A231672, A231673, A231674, A231675, A138530.
Sum of digits of n written in bases 2-16: A000120, A053735, A053737, A053824, this sequence, A053828, A053829, A053830, A007953, A053831, A053832, A053833, A053834, A053835, A053836.
Cf. A173526. - Omar E. Pol, Feb 21 2010

[&+Intseq(n,6):n in [0..105]]; // Marius A. Burtea, Aug 24 2019

Table[Plus @@ IntegerDigits[n, 6], {n, 0, 100}] (* or *)
Nest[ Flatten[ #1 /. a_Integer -> Table[a + i, {i, 0, 5}]] &, {0}, 4] (* Robert G. Wilson v, Jul 27 2006 *)

PARI
```
a(n)=if(n<1,0,if(n%6,a(n-1)+1,a(n/6)))
```

a(n) = sumdigits(n, 6); \\ Michel Marcus, Aug 24 2019

From Benoit Cloitre, Dec 19 2002: (Start)
a(0) = 0, a(6n+i) = a(n)+i for 0 <= i <= 5.
a(n) = n-5*(Sum_{k>0} floor(n/6^k)) = n-5*A054895(n). (End)
a(n) = A138530(n,6) for n > 5. - Reinhard Zumkeller, Mar 26 2008
a(n) = Sum_{k>=0} A030567(n,k). - Philippe Deléham, Oct 21 2011
a(0) = 0; a(n) = a(n - 6^floor(log_6(n))) + 1. - Ilya Gutkovskiy, Aug 23 2019
Sum_{n>=1} a(n)/(n*(n+1)) = 6*log(6)/5 (Shallit, 1984). - Amiram Eldar, Jun 03 2021

A173525 a(n) = 1 + A053824(n-1), where A053824 = sum of digits in base 5.

Original entry on oeis.org

1, 2, 3, 4, 5, 2, 3, 4, 5, 6, 3, 4, 5, 6, 7, 4, 5, 6, 7, 8, 5, 6, 7, 8, 9, 2, 3, 4, 5, 6, 3, 4, 5, 6, 7, 4, 5, 6, 7, 8, 5, 6, 7, 8, 9, 6, 7, 8, 9, 10, 3, 4, 5, 6, 7, 4, 5, 6, 7, 8, 5, 6, 7, 8, 9, 6, 7, 8, 9, 10, 7, 8, 9, 10, 11, 4, 5, 6, 7, 8, 5, 6, 7, 8, 9, 6, 7, 8, 9, 10, 7, 8, 9, 10, 11, 8, 9, 10, 11, 12

Offset: 1

Omar E. Pol, Feb 20 2010

Also: a(n) = A053824(5^k+n-1) in the limit k->infinity, where k plays the role of a row index in A053824. (See the comment by M. F. Hasler for the proof.)
This means: if A053824 is regarded as a triangle then the rows converge to this sequence.
See conjecture in the entry A000120, and the case of base 2 in A063787.
From R. J. Mathar, Dec 09 2010: (Start)
In base b=5, A053824 starts counting up from 1 each time the index wraps around a power of b: A053824(b^k)=1.
Obvious recurrences are A053824(m*b^k+i) = m+A053824(i), 1 <= m < b-1, 0 <= i < b^(k-1).
So A053824 can be decomposed into a triangle T(k,n) = A053824(b^k+n-1), assuming that column indices start at n=1; row lengths are (b-1)*b^k.
There is a self-similarity in these sequences; a sawtooth structure of periodicity b is added algebraically on top of a sawtooth structure of periodicity b^2, on top of a periodicity b^3 etc. This leads to some "fake" finitely periodic substructures in the early parts of each row of T(.,.): often, but not always, a(n+b)=1+a(n). Often, but not always, a(n+b^2)=1+a(n) etc.
The common part of the rows T(.,.) grows with the power of b as shown in the recurrence above, and defines a(n) in the limit of large row indices k. (End)
The two definitions agree because the first 5^r terms in each row correspond to numbers 5^r, 5^r+1,...,5^r+(5^r-1), which are written in base 5 as a leading 1 plus the digits of 0,...,5^r-1. - M. F. Hasler, Dec 09 2010
From Omar E. Pol, Dec 10 2010: (Start)
In the scatter plots of these sequences, the basic structure is an element with b^2 points, where b is the associated base. (Scatter plots are created with the "graph" button of a sequence.) Sketches of these structures look as follows, the horizontal axis a squeezed version of the index n, b consecutive points packed vertically, and the vertical axis a(n):
........................................................
................................................ * .....
............................................... ** .....
..................................... * ...... *** .....
.................................... ** ..... **** .....
.......................... * ...... *** .... ***** .....
......................... ** ..... **** ... ****** .....
............... * ...... *** .... ***** ... ***** ......
.............. ** ..... **** .... **** .... **** .......
.... * ...... *** ..... *** ..... *** ..... *** ........
... ** ...... ** ...... ** ...... ** ...... ** .........
... * ....... * ....... * ....... * ....... * ..........
........................................................
... b=2 ..... b=3 ..... b=4 ..... b=5 ..... b=6 ........
. A000120 . A053735 . A053737 . A053824 . A053827 ......
. A063787 . A173523 . A173524 . A173525 . A173526 ......
........................................................
............................................. * ........
............................................ ** ........
........................... * ............. *** ........
.......................... ** ............ **** ........
........... *............ *** ........... ***** ........
.......... ** .......... **** .......... ****** ........
......... ***.......... ***** ......... ******* ........
........ **** ........ ****** ........ ******** ........
....... ***** ....... ******* ....... ********* ........
...... ****** ...... ******** ....... ******** .........
..... ******* ...... ******* ........ ******* ..........
..... ****** ....... ****** ......... ****** ...........
..... ***** ........ ***** .......... ***** ............
..... **** ......... **** ........... **** .............
..... *** .......... *** ............ *** ..............
..... ** ........... ** ............. ** ...............
..... * ............ * .............. * ................
........................................................
..... b=7 .......... b=8 ............ b=9 ..............
... A053828 ...... A053829 ........ A053830 ............
... A173527 ...... A173528 ........ A173529 ............(End)

Reinhard Zumkeller, Table of n, a(n) for n = 1..3126=5^5+1
Robert Walker, Self Similar Sloth Canon Number Sequences

Cf. A000120, A053824, A063787, A173523, A173524, A173526, A173527, A173528, A173529.

a173525 = (+ 1) . a053824 . (subtract 1) -- Reinhard Zumkeller, Jan 31 2014

A053825 := proc(n) add(d, d=convert(n,base,5)) ; end proc:
A173525 := proc(n) local b,k; b := 5 ; if n < b then n; else k := n/(b-1);   k := ceil(log(k)/log(b)) ; A053825(b^k+n-1) ; end if; end proc:
seq(A173525(n),n=1..100) ;

Total[IntegerDigits[#,5]]+1&/@Range[0,100] (* Harvey P. Dale, Jun 14 2015 *)

A173525(n)={ my(s=1); n--; until(!n\=5, s+=n%5); s } \\ M. F. Hasler, Dec 09 2010

A173525(n)={ my(s=1+(n=divrem(n-1,5))[2]); while((n=divrem(n[1],5))[1],s+=n[2]); s+n[2] } \\ M. F. Hasler, Dec 09 2010

a(n) = A053824(5^k + n - 1) where k >= ceiling(log_5(n/4)). - R. J. Mathar, Dec 09 2010

More terms from Vincenzo Librandi, Aug 02 2010

A173524 a(n) = A053737(4^k+n-1) in the limit k->infinity, where k plays the role of a row index in A053737.

Original entry on oeis.org

1, 2, 3, 4, 2, 3, 4, 5, 3, 4, 5, 6, 4, 5, 6, 7, 2, 3, 4, 5, 3, 4, 5, 6, 4, 5, 6, 7, 5, 6, 7, 8, 3, 4, 5, 6, 4, 5, 6, 7, 5, 6, 7, 8, 6, 7, 8, 9, 4, 5, 6, 7, 5, 6, 7, 8, 6, 7, 8, 9, 7, 8, 9, 10, 2, 3, 4, 5, 3, 4, 5, 6, 4, 5, 6, 7, 5, 6, 7, 8, 3, 4, 5, 6, 4, 5, 6, 7, 5, 6, 7, 8, 6, 7, 8, 9, 4, 5, 6, 7

Offset: 1

Omar E. Pol, Feb 20 2010

nonn

It appears that if A053737 is written as a triangle then the rows are initial segments of the present sequence; see the conjecture in A000120.

The comments in A173525 (base b=5 there) apply here with base b=4. The base b=3 is considered in A173523.

Cf. A000120, A053737, A063787.

Cf. A173523, A173525, A173526, A173527, A173528, A173529.

A053737 := proc(n) add(d, d=convert(n,base,4)) ; end proc:
A173524 := proc(n) local b; b := 4 ; if n < b then n; else k := n/(b-1); k := ceil(log(k)/log(b)) ; A053737(b^k+n-1) ; end if; end proc:
seq(A173524(n),n=1..100) ; # R. J. Mathar, Dec 09 2010

a(n) = A053737(4^k+n-1) where k >= ceiling(log_4(n/3)). [R. J. Mathar, Dec 09 2010]

Conjecture: Fixed point of the morphism 1->{1,2,3,...,b}, 2->{2,3,4,...,b+1}, j->{j,j+1,...,j+b-1} for b=4. [Joerg Arndt, Dec 08 2010]

A173529 a(n) = 1 + A053830(n-1), where A053830 is the sum of the digits of its argument in base 9.

Original entry on oeis.org

1, 2, 3, 4, 5, 6, 7, 8, 9, 2, 3, 4, 5, 6, 7, 8, 9, 10, 3, 4, 5, 6, 7, 8, 9, 10, 11, 4, 5, 6, 7, 8, 9, 10, 11, 12, 5, 6, 7, 8, 9, 10, 11, 12, 13, 6, 7, 8, 9, 10, 11, 12, 13, 14, 7, 8, 9, 10, 11, 12, 13, 14, 15, 8, 9, 10, 11, 12, 13, 14, 15, 16, 9, 10, 11, 12, 13, 14, 15, 16, 17, 2, 3, 4, 5, 6, 7, 8, 9, 10, 3, 4, 5, 6, 7, 8, 9, 10, 11, 4

Offset: 1

Omar E. Pol, Feb 23 2010

If A053830 is regarded as a triangle then the rows converge to this sequence.

This is the case b=9 of a non-periodic sequence, with key formulas and definitions provided with b=5 in A173525. Case b=2 is in A063787, and cases b=3 to 8 are in A173523 to A173528.

Cf. A000120, A053830, A063787, A173523, A173524, A173525, A173526, A173527, A173528.

Table[1 + Plus@@IntegerDigits[n - 1, 9], {n, 90}] (* Vincenzo Librandi, Jul 01 2019 *)

a(n) = A053830(9^k + n - 1) where k >= ceiling(log_9(n/8)). - R. J. Mathar, Dec 09 2010

A173527 a(n) = 1 + A053828(n-1), where A053828 is the sum of digits in base 7.

Original entry on oeis.org

1, 2, 3, 4, 5, 6, 7, 2, 3, 4, 5, 6, 7, 8, 3, 4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9, 10, 5, 6, 7, 8, 9, 10, 11, 6, 7, 8, 9, 10, 11, 12, 7, 8, 9, 10, 11, 12, 13, 2, 3, 4, 5, 6, 7, 8, 3, 4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9, 10, 5, 6, 7, 8, 9, 10, 11, 6, 7, 8, 9, 10, 11, 12, 7, 8, 9, 10, 11, 12, 13, 8, 9, 10, 11, 12, 13, 14, 3, 4

Offset: 1

Omar E. Pol, Feb 20 2010

If A053828 is regarded as a triangle then the rows converge to this sequence, i.e., a(n) = A053828(7^k+n-1) in the limit k->infinity, where k plays the role of a row index in A053828.
See conjecture in the entry A000120.
This is the case for base b=7 for the sum of digits. A063787 and A173523 to A173526 deal with the bases 2 to 6. A173525 contains generic remarks concerning these 8 sequences which look in equivalent ways at their sum of digits as a sequence with triangular structure.

Cf. A000120, A053828, A063787.

Cf. A173523, A173524, A173525, A173526, A173528, A173529.

A053828 := proc(n) add(d, d=convert(n,base,7)) ; end proc:
A173527 := proc(n) local b; b := 7 ; if n < b then n; else k := n/(b-1); k := ceil(log(k)/log(b)) ; A053828(b^k+n-1) ; end if; end proc:
seq(A173527(n),n=1..100) ; # R. J. Mathar, Dec 09 2010

Table[Total[IntegerDigits[n-1,7]]+1,{n,110}] (* Harvey P. Dale, Apr 01 2018 *)

a(n) = A053828(7^k+n-1) where k >= ceiling(log_7(n/6)). [R. J. Mathar, Dec 09 2010]

Conjecture: Fixed point of the morphism 1->{1,2,3,...b}, 2->{2,3,4...,b+1}, j->{j,j+1,...,j+b-1} for b=7. [Joerg Arndt, Dec 08 2010]

More terms from Vincenzo Librandi, Feb 21 2010

cp's OEIS Frontend

A053827 Sum of digits of (n written in base 6).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Magma

Mathematica

PARI

PARI

Formula

A173525 a(n) = 1 + A053824(n-1), where A053824 = sum of digits in base 5.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Haskell

Maple

Mathematica

PARI

PARI

Formula

Extensions

A173524 a(n) = A053737(4^k+n-1) in the limit k->infinity, where k plays the role of a row index in A053737.

Views

Author

Keywords

Comments

Crossrefs

Programs

Maple

Formula

A173529 a(n) = 1 + A053830(n-1), where A053830 is the sum of the digits of its argument in base 9.

Views

Author

Keywords

Comments

Crossrefs

Programs

Mathematica

Formula

A173527 a(n) = 1 + A053828(n-1), where A053828 is the sum of digits in base 7.

Views

Author

Keywords

Comments

Crossrefs

Programs

Maple

Mathematica

Formula

Extensions