|
|
A094789
|
|
Number of (s(0), s(1), ..., s(2n+1)) such that 0 < s(i) < 7 and |s(i) - s(i-1)| = 1 for i = 1,2,...,2n+1, s(0) = 1, s(2n+1) = 4.
|
|
14
|
|
|
1, 4, 14, 47, 155, 507, 1652, 5373, 17460, 56714, 184183, 598091, 1942071, 6305992, 20475625, 66484244, 215873462, 700937471, 2275930827, 7389902771, 23994866364, 77910846021, 252974934692, 821404463698, 2667083556359
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
1,2
|
|
COMMENTS
|
In general, a(n) = (2/m)*Sum_{r=1..m-1} sin(r*j*Pi/m)*sin(r*k*Pi/m)*(2*cos(r*Pi/m))^(2n+1) counts (s(0), s(1), ..., s(2n+1)) such that 0 < s(i) < m and |s(i) - s(i-1)| = 1 for i = 1,2,...,2n+1, s(0) = j, s(2n+1) = k.
With interpolated zeros (0,0,0,1,0,4,0,14,...) counts walks of length n between the start and fourth nodes on P_6. - Paul Barry, Jan 26 2005
The Hankel transforms of this sequence or of this sequence with the first term omitted give 1, -2, 1, 1, -2, 1, ... . - Wathek Chammam, Nov 16 2011
|
|
LINKS
|
|
|
FORMULA
|
a(n) = (2/7)*Sum_{k = 1..6} sin(Pi*k/7)*sin(4*Pi*k/7)*(2*cos(Pi*k/7))^(2n + 1).
a(n) = 5*a(n-1) - 6*a(n-2) + a(n-3).
G.f.: x*(x-1)/(-1 + 5*x - 6*x^2 + x^3). - Corrected by Vincenzo Librandi, Nov 10 2014
a(n) = 2^n*B(n; 1/2) = (1/7)*((c(1) - c(4))*(c(4))^(2n) + (c(2) - c(1))*(c(1))^(2n) + (c(4) - c(2))*(c(2))^(2n)), where c(j) := 2*cos(2*Pi*j/7). Here B(n; d), n in N, d in C denotes the respective quasi-Fibonacci number - see A121449 and Witula-Slota-Warzynski paper for details (see also A052975, A085810, A077998, A006054, A121442). - Roman Witula, Aug 09 2012
|
|
MATHEMATICA
|
f[n_] := FullSimplify[ TrigToExp[(2/7)Sum[ Sin[Pi*k/7]Sin[4Pi*k/7](2Cos[Pi*k/7])^(2n + 1), {k, 1, 6}]]]; Table[ f[n], {n, 25}] (* Robert G. Wilson v, Jun 18 2004 *)
LinearRecurrence[{5, -6, 1}, {1, 4, 14}, 50] (* Roman Witula, Aug 09 2012 *)
CoefficientList[Series[(x - 1) / (- 1 + 5 x - 6 x^2 + x^3), {x, 0, 40}], x] (* Vincenzo Librandi, Nov 10 2014 *)
|
|
PROG
|
(Magma) I:=[1, 4, 14]; [n le 3 select I[n] else 5*Self(n-1)-6*Self(n-2)+Self(n-3): n in [1..45]]; // Vincenzo Librandi, Nov 10 2014
(PARI) Vec(x*(x-1)/(-1 + 5*x - 6*x^2 + x^3) + O(x^40)) \\ Michel Marcus, Nov 10 2014
|
|
CROSSREFS
|
|
|
KEYWORD
|
nonn,easy
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|