OFFSET
1,2
COMMENTS
Let P and Q be relatively prime integers. The Lucas sequence U(n) (which depends on P and Q) is an integer sequence that satisfies the recurrence equation a(n) = P*a(n-1) - Q*a(n-2) with the initial conditions U(0) = 0, U(1) = 1. The sequence {U(n)}n>=1 is a strong divisibility sequence, i.e., gcd(U(n),U(m)) = |U(gcd(n,m))|. It follows that {U(n)} is a divisibility sequence, i.e., U(n) divides U(m) whenever n divides m and U(n) <> 0.
It can be shown that if p and q are a pair of relatively prime positive integers, and if U(n) never vanishes, then the sequence {U(p*n)*U(q*n)/U(n)}n>=1 is a linear divisibility sequence of order 2*min(p,q). For a proof and a generalization of this result see the Bala link.
Here we take p = 3 and q = 4 with P = 2 and Q = -1, for which U(n) is the sequence of Pell numbers, A000129, and normalize the sequence {U(3*n)*U(4*n)/U(n)}n>=1 to have the initial term 1.
LINKS
G. C. Greubel, Table of n, a(n) for n = 1..435
Wikipedia, Divisibility sequence
Wikipedia, Lucas Sequence
Wikipedia, Pell number
Index entries for linear recurrences with constant coefficients, signature (170,5745,-40052,5745,170,-1).
FORMULA
a(n) = (1/60)*( Pell(2*n) + (-1)^n*Pell(4*n) + Pell(6*n) ).
The sequence can be extended to negative indices using a(-n) = -a(n).
O.g.f. x*(1 + 68*x - 698*x^2 + 68*x^3 + x^4)/( (1 - 6*x + x^2)*(1 + 34*x + x^2)*(1 - 198*x + x^2) ).
Recurrence equation: a(n) = 170*a(n-1) + 5745*a(n-2) - 40052*a(n-3) + 5745*a(n-4) + 170*a(n-5) - a(n-6).
MATHEMATICA
Table[(1/60)*(Fibonacci[2*n, 2] + (-1)^n*Fibonacci[4*n, 2] + Fibonacci[6*n, 2]), {n, 1, 50}] (* G. C. Greubel, Aug 07 2018 *)
PROG
(PARI) x='x+O('x^30); Vec(x*(1+68*x-698*x^2+68*x^3+x^4)/((1-6*x+x^2)*(1 + 34*x+x^2)*(1-198*x+x^2))) \\ G. C. Greubel, Aug 07 2018
(Magma) m:=30; R<x>:=PowerSeriesRing(Integers(), m); Coefficients(R!(x*(1 +68*x-698*x^2+68*x^3+x^4)/((1-6*x+x^2)*(1+34*x+x^2)*(1-198*x+x^2)))); // G. C. Greubel, Aug 07 2018
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Peter Bala, Mar 06 2014
STATUS
approved