In mathematics, the Lucas sequences and are certain constant-recursive integer sequences that satisfy the recurrence relation
where and are fixed integers. Any sequence satisfying this recurrence relation can be represented as a linear combination of the Lucas sequences and
More generally, Lucas sequences and represent sequences of polynomials in and with integer coefficients.
Famous examples of Lucas sequences include the Fibonacci numbers, Mersenne numbers, Pell numbers, Lucas numbers, Jacobsthal numbers, and a superset of Fermat numbers (see below). Lucas sequences are named after the French mathematician Édouard Lucas.
Given two integer parameters and , the Lucas sequences of the first kind and of the second kind are defined by the recurrence relations:
and
It is not hard to show that for ,
The above relations can be stated in matrix form as follows:
Initial terms of Lucas sequences and are given in the table:
The characteristic equation of the recurrence relation for Lucas sequences and is:
It has the discriminant and the roots:
Thus:
Note that the sequence and the sequence also satisfy the recurrence relation. However these might not be integer sequences.
When , a and b are distinct and one quickly verifies that
It follows that the terms of Lucas sequences can be expressed in terms of a and b as follows
The case occurs exactly when for some integer S so that . In this case one easily finds that
The ordinary generating functions are
When , the Lucas sequences and satisfy certain Pell equations:
The terms of Lucas sequences satisfy relations that are generalizations of those between Fibonacci numbers and Lucas numbers . For example:
Among the consequences is that is a multiple of , i.e., the sequence is a divisibility sequence. This implies, in particular, that can be prime only when n is prime. Another consequence is an analog of exponentiation by squaring that allows fast computation of for large values of n. Moreover, if , then is a strong divisibility sequence.
Other divisibility properties are as follows: [1]
The last fact generalizes Fermat's little theorem. These facts are used in the Lucas–Lehmer primality test. Like Fermat's little theorem, the converse of the last fact holds often, but not always; there exist composite numbers n relatively prime to D and dividing , where . Such composite numbers are called Lucas pseudoprimes.
A prime factor of a term in a Lucas sequence which does not divide any earlier term in the sequence is called primitive. Carmichael's theorem states that all but finitely many of the terms in a Lucas sequence have a primitive prime factor. [2] Indeed, Carmichael (1913) showed that if D is positive and n is not 1, 2 or 6, then has a primitive prime factor. In the case D is negative, a deep result of Bilu, Hanrot, Voutier and Mignotte [3] shows that if n > 30, then has a primitive prime factor and determines all cases has no primitive prime factor.
The Lucas sequences for some values of P and Q have specific names:
Some Lucas sequences have entries in the On-Line Encyclopedia of Integer Sequences:
−1 | 3 | OEIS: A214733 | |
1 | −1 | OEIS: A000045 | OEIS: A000032 |
1 | 1 | OEIS: A128834 | OEIS: A087204 |
1 | 2 | OEIS: A107920 | OEIS: A002249 |
2 | −1 | OEIS: A000129 | OEIS: A002203 |
2 | 1 | OEIS: A001477 | OEIS: A007395 |
2 | 2 | OEIS: A009545 | |
2 | 3 | OEIS: A088137 | |
2 | 4 | OEIS: A088138 | |
2 | 5 | OEIS: A045873 | |
3 | −5 | OEIS: A015523 | OEIS: A072263 |
3 | −4 | OEIS: A015521 | OEIS: A201455 |
3 | −3 | OEIS: A030195 | OEIS: A172012 |
3 | −2 | OEIS: A007482 | OEIS: A206776 |
3 | −1 | OEIS: A006190 | OEIS: A006497 |
3 | 1 | OEIS: A001906 | OEIS: A005248 |
3 | 2 | OEIS: A000225 | OEIS: A000051 |
3 | 5 | OEIS: A190959 | |
4 | −3 | OEIS: A015530 | OEIS: A080042 |
4 | −2 | OEIS: A090017 | |
4 | −1 | OEIS: A001076 | OEIS: A014448 |
4 | 1 | OEIS: A001353 | OEIS: A003500 |
4 | 2 | OEIS: A007070 | OEIS: A056236 |
4 | 3 | OEIS: A003462 | OEIS: A034472 |
4 | 4 | OEIS: A001787 | |
5 | −3 | OEIS: A015536 | |
5 | −2 | OEIS: A015535 | |
5 | −1 | OEIS: A052918 | OEIS: A087130 |
5 | 1 | OEIS: A004254 | OEIS: A003501 |
5 | 4 | OEIS: A002450 | OEIS: A052539 |
6 | 1 | OEIS: A001109 | OEIS: A003499 |