login
Define the generalized Pisot sequence T(a(0),a(1)) by: a(n+2) is the greatest integer such that a(n+2)/a(n+1) < a(n+1)/a(n). This is T(3,6).
2

%I #42 Sep 08 2022 08:44:44

%S 3,6,11,20,36,64,113,199,350,615,1080,1896,3328,5841,10251,17990,

%T 31571,55404,97228,170624,299425,525455,922110,1618191,2839728,

%U 4983376,8745216,15346785,26931731,47261894,82938843,145547524,255418100,448227520,786584465

%N Define the generalized Pisot sequence T(a(0),a(1)) by: a(n+2) is the greatest integer such that a(n+2)/a(n+1) < a(n+1)/a(n). This is T(3,6).

%C Not to be confused with the Pisot T(3,6) sequence as defined in A008776 which is A007283. - _R. J. Mathar_, Feb 17 2016

%H Colin Barker, <a href="/A018918/b018918.txt">Table of n, a(n) for n = 0..1000</a>

%H D. W. Boyd, <a href="http://www.researchgate.net/publication/258834801">Linear recurrence relations for some generalized Pisot sequences</a>, Advances in Number Theory ( Kingston ON, 1991) 333-340, Oxford Sci. Publ., Oxford Univ. Press, New York, 1993.

%H <a href="/index/Ph#Pisot">Index entries for Pisot sequqences</a>

%F Conjectures from _Colin Barker_, Dec 21 2012: (Start)

%F a(n) = 3*a(n-1)-3*a(n-2)+2*a(n-3)-a(n-4).

%F G.f.: -(x^3-2*x^2+3*x-3) / ((x-1)*(x^3-x^2+2*x-1)). (End)

%F a(n) = ceiling( a(n-1)^2/a(n-2)-1 ), by definition. - _Bruno Berselli_, Feb 16 2016

%t RecurrenceTable[{a[1] == 3, a[2] == 6, a[n] == Ceiling[a[n-1]^2/a[n-2] - 1]}, a, {n, 40}] (* _Vincenzo Librandi_, Feb 17 2016 *)

%o (Magma) Tiv:=[3,6]; [n le 2 select Tiv[n] else Ceiling(Self(n-1)^2/Self(n-2)-1): n in [1..40]]; // _Bruno Berselli_, Feb 17 2016

%o (PARI) T(a0, a1, maxn) = a=vector(maxn); a[1]=a0; a[2]=a1; for(n=3, maxn, a[n]=ceil(a[n-1]^2/a[n-2])-1); a

%o T(3, 6, 50) \\ _Colin Barker_, Jul 29 2016

%Y Seems to be A010901(n) - 1 and (see conjecture) A077855(n+1).

%K nonn

%O 0,1

%A _R. K. Guy_