cp's OEIS Frontend

This is a divisibility sequence, that is, a(n) divides a(m) whenever n divides m. The sequence satisfies a linear recurrence of order 4.

A000129(n) = Pell(n) is the Lucas sequence U_n(2,-1). In general, if U(n) = U_n(P,Q) is the Lucas sequence with integer parameters P and Q then when Q = 1 or Q = -1 both U(4*n) + U(2*n) and U(4*n) - 2*U(2*n) are divisibility sequences of the fourth order. Cf. A127595, A215466 and A273627.

These binomials do not have primitive factors.

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 = 5 with P = 1 and Q = -1, for which U(n) is the sequence of Fibonacci numbers, A000045, and normalize the sequence {U(3*n)*U(5*n)/U(n)}n>=1 to have the initial term 1.

For other sequences of this type see A238600, A238602 and A238603. See also A238536.

Since Fibonacci(n) can be defined for all n, so can this sequence. - N. J. A. Sloane, May 07 2017

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 = 1 and Q = -1, for which U(n) is the sequence of Fibonacci numbers, A000045, and normalize the sequence to have the initial term 1.

For other sequences of this type see A238601, A238602 and A238603. See also A238536.

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 = 3 and Q = 2, for which U(n) is the sequence A000225 (sometimes called the Mersenne numbers), and normalize the sequence {U(3*n)*U(4*n)/U(n)}n>=1 to have the initial term 1.

For other sequences of this type see A238600, A238601 and A238602. See also A238536.

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.

For other sequences of this type see A238600, A238601 and A238603. See also A238536.

Let P and Q be integers. The Lucas sequences U(n) and V(n) (which depend on P and Q) are a pair of integer sequences that satisfy the recurrence equation a(n) = P*a(n-1) - Q*a(n-2) with the initial conditions U(0) = 0, U(1) = 1 and V(0) = 2, V(1) = P, respectively. The sequence {U(n)} n >= 1 is a linear divisibility sequence of order 2, i.e., U(n) divides U(m) whenever n divides m and U(n) <> 0. In general, V(n) is not a divisibility sequence. However, it can be shown that if p >= 3 is an odd integer then the sequence {U(p*n)*V(n)} n >= 1 is a linear divisibility sequence of order 4. For a proof and a generalization of this result see the Bala link. Here we take p = 3 with P = 1 and Q = -1, for which U(n) is the sequence of Fibonacci numbers, A000045, V(n) is the sequence of Lucas numbers, A000032, and normalize the sequence to have the initial term 1. For other sequences of this type see A238537 and A238538.

This is a fourth-order linear divisibility sequence, that is, the sequence satisfies a linear recurrence of order 4 and if n | m then a(n) | a(m). This is a consequence of the following more general result: The polynomials P(n,x,y) := (x^n + y^n)*(x^(3*n) - y^(3*n)) form a fourth-order linear divisibility sequence in the polynomial ring Z[x,y]. See the Bala link.

Hence, for a fixed integers M and N, the normalized sequence (M^n + N^n)*(M^(3*n) - N^(3*n))/ ( (M + N)*(M^3 - N^3) ) for n = 1,2,3,... is a linear divisibility sequence of order 4. It has the rational o.g.f. x*(1 - 2*M*N*(M^2 - M*N + N^2)*x + (M*N)^4*x^2)/( (1 - M^4*x)*(1 - M^3*N*x)*(1 - M*N^3*x)*(1 - N^4*x) ). This is the case M = 2, N = 1. For other cases see A238539(M = 2, N = -1), A238540(M = 3, N = 1) and A238541(M = 3, N = 2). See also A238536, A238537 and A215466.

Note, these sequences do not belong to the family of linear divisibility sequences of the fourth order studied by Williams and Guy, which have o.g.f.s of the form x*(1 - q*x^2)/Q(x), Q(x) a quartic polynomial and q an integer parameter.

Since the absolute value of the discriminant of the characteristic polynomial is prime (=11), the sequence contains every nonnegative integer power of 11 (A001020 is subsequence). Other terms are formed on multiplication of 11^k by sporadic primes.