OFFSET
0,6
COMMENTS
Or, numerator of n/(n+12).
Arises in the equal-tempered musical scale - see Goldstein (1977), Table 1. - N. J. A. Sloane, Aug 29 2018
A strong divisibility sequence: gcd(a(n),a(m)) = a(gcd(n,m)) for n, m >= 1. - Peter Bala, Feb 24 2019
REFERENCES
R. L. Graham, D. E. Knuth and O. Patashnik, Concrete Mathematics. Addison-Wesley, Reading, MA, 1990, p. 269.
LINKS
Nathaniel Johnston, Table of n, a(n) for n = 0..10000
Peter Bala, A note on the sequence of numerators of a rational function, 2019.
Nicholas John Bizzell-Browning, LIE scales: Composing with scales of linear intervallic expansion, Ph. D. Thesis, Brunel Univ. (UK, 2024). See p. 23.
A. A. Goldstein, Optimal temperament, SIAM Review 19.3 (1977): 554-562.
Index entries for linear recurrences with constant coefficients, signature (0,0,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0,-1).
FORMULA
From David W. Wilson, Jun 12 2005: (Start)
a(n) = n/gcd(n, 12).
Multiplicative with a(2^e) = 2^max(0, e-2), a(3^e) = 3^max(0,e-1), a(p^e) = p^e otherwise. (End)
From R. J. Mathar, Apr 18 2011: (Start)
a(n) = A109053(n)/12.
Dirichlet g.f.: zeta(s-1)*(1 - 2/3^s - 1/2^s + 2/6^s - 1/4^s + 2/12^s). (End)
From Peter Bala, Feb 24 2019: (Start)
a(n) = n/gcd(n,12) is a quasi-polynomial in n since gcd(n,12) is a purely periodic sequence of period 12.
O.g.f.: F(x) - F(x^2) - 2*F(x^3) - F(x^4) + 2*F(x^6) + 2*F(x^12), where F(x) = x/(1 - x)^2.
O.g.f. for reciprocals: Sum_{n >= 1} x^n/a(n) = Sum_{d divides 12} (phi(d)/d) * log(1/(1 - x^d)) = log(1/(1 - x)) + (1/2)*log(1/(1 - x^2)) + (2/3)*log(1/(1 - x^3)) + (2/4)*log(1/(1 - x^4)) + (2/6)*log(1/(1 - x^6)) + (4/12)*log(1/(1 - x^12)), where phi(n) denotes the Euler totient function A000010. (End)
Sum_{k=1..n} a(k) ~ (77/288) * n^2. - Amiram Eldar, Nov 25 2022
MAPLE
seq(numer(n/12), n=0..100); # Nathaniel Johnston, Apr 18 2011
MATHEMATICA
f[n_]:=Numerator[n/(n+12)]; Array[f, 100, 0] (* Vladimir Joseph Stephan Orlovsky, Feb 17 2011*)
PROG
(Sage) [lcm(n, 12)/12 for n in range(0, 72)] # Zerinvary Lajos, Jun 09 2009
(Magma) [Numerator(n/12): n in [0..100]]; // Vincenzo Librandi, Apr 18 2011
(PARI) a(n) = numerator(n/12); \\ Michel Marcus, Aug 19 2018
(GAP) List([0..80], n->NumeratorRat(n/12)); # Muniru A Asiru, Feb 24 2019
CROSSREFS
KEYWORD
nonn,easy,frac,mult
AUTHOR
STATUS
approved