OFFSET
0,1
COMMENTS
Product_{n>0} (1 + 1/a(n)) = 3 - phi = A094874, where phi = (1+sqrt(5))/2 is the golden mean.
From Peter Bala, Oct 28 2013: (Start)
Compare with A230600(n) = Lucas(2^n - 1).
Let x and b be positive real numbers. We define a Pierce expansion of x to the base b to be a (possibly infinite) increasing sequence of positive integers [a(1), a(2), a(3), ...] such that we have the alternating series representation x = b/a(1) - b^2/(a(1)*a(2)) + b^3/(a(1)*a(2)*a(3)) - .... This definition generalizes the ordinary Pierce expansion of a real number 0 < x < 1, where the base b has the value 1. Depending on the values of x and b such a generalized Pierce expansion to the base b may not exist, and if it does exist it may not be unique.
Let Phi := 1/2*(sqrt(5) - 1) denote the reciprocal of the golden ratio. This sequence, apart from the initial term, provides a Pierce expansion of Phi^4 to the base Phi. That is we have the identity Phi^4 = Phi/4 - Phi^2/(4*11) + Phi^3/(4*11*76) - Phi^4/(4*11*76*3571) + ....
This result can be extended in two ways. Firstly, for k odd, the sequence {Lucas(k*(2^n + 1))}n>=1 gives a Pierce expansion of Phi^(4*k) to the base Phi^k. Secondly, for n = 1,2,3,..., the sequence [a(n),a(n+1),a(n+2),...] gives a Pierce expansion of Phi^(2^n + 2) to the base Phi. See below for some examples. (End)
LINKS
J. Sondow, Evaluation of Tachiya's algebraic infinite products involving Fibonacci and Lucas numbers, Diophantine Analysis and Related Fields 2011 - AIP Conference Proceedings, vol. 1385, pp. 97-100.
Y. Tachiya, Transcendence of certain infinite products, J. Number Theory 125 (2007), 182-200.
Eric Weisstein's World of Mathematics, Pierce Expansion
FORMULA
a(n) = A000032(2^n + 1).
From Peter Bala, Oct 28 2013: (Start)
a(n) = phi^(2^n + 1) - (1/phi)^(2^n + 1), where phi = 1/2*(1 + sqrt(5)) denotes the golden ratio A001622.
Recurrence equation: a(0) = 3, a(1) = 4 and a(n) = floor(1/phi*a(n-1)^2) + 2 for n >= 2. (End)
EXAMPLE
Pierce series expansion of Phi^(2^n + 2) to the base Phi for n = 1 to 4:
n = 1:
Phi^4 = Phi/4 - Phi^2/(4*11) + Phi^3/(4*11*76) - Phi^4/(4*11*76*3571) + ...
n = 2:
Phi^6 = Phi/11 - Phi^2/(11*76) + Phi^3/(11*76*3571) - ...
n = 3:
Phi^10 = Phi/76 - Phi^2/(76*3571) + Phi^3/(76*3571*7881196) - ...
n = 4:
Phi^18 = Phi/3571 - Phi^2/(3571*7881196) + ...
MATHEMATICA
Table[LucasL[2^n + 1], {n, 0, 10}] (* T. D. Noe, Jan 11 2012 *)
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Jonathan Sondow, Jun 26 2011
STATUS
approved