The integer sequence defined by the recurrence relation
(1)
|
with the initial conditions . This is the same recurrence relation as for
the Perrin sequence, but with different initial
conditions.
The recurrence relation can be solved explicitly, giving
(2)
|
where
is the
th
root of
(3)
|
Another form of the solution is
(4)
|
where
is the
th
root of
(5)
|
The first few terms are 1, 1, 2, 2, 3, 4, 5, 7, 9, 12, ... (OEIS A000931).
The first few prime Padovan numbers are 2, 2, 3, 5, 7, 37, 151, 3329, 23833, ... (OEIS A100891), corresponding to indices ,3, 4, 5, 7, 8, 14, 19, 30, 37, 84,
128, 469, 666, 1262, 1573, 2003, 2210, 2289, 4163, 5553, 6567, 8561, 11230, 18737,
35834, 44259, 536485, ... (OEIS A112882). The
search for prime numerators has been completed up to
by E. W. Weisstein (Apr. 10, 2011), and
the following table summarizes the largest known values.
decimal digits | discoverer | |
536485 | 65518 | E. W. Weisstein (May 16, 2009) |
727734 | 88874 | E. W. Weisstein (Apr. 7, 2011) |
The ratio
(6)
|
where
denotes a polynomial root, is called the plastic
constant.
A matrix analogous to the Fibonacci Q-matrix exists for Padovan numbers. Defining
(7)
|
the powers of
give
(8)
|
(J. Lien, pers. comm., Mar. 11, 2005).