Padovan sequence
Encyclopedia : P : PA : PAD : Padovan sequence
The Padovan sequence is the sequence of integers P(n) defined by the initial values
- [P(0)=P(1)=P(2)=1,]
- [P(n)=P(n-2)+P(n-3).]
The Padovan sequence is named after Richard Padovan who attributed its discovery to Dutch architect Hans van der Laan in his 1994 essay Dom. Hans van der Laan : Modern Primitive. The sequence was described by Ian Stewart in his Scientific American column Mathematical Recreations in June 1996.
The above definition is the one given by Ian Stewart and by Mathworld. Other sources may start the sequence at a different place, in which case some of the identities in this article must be adjusted with appropriate offsets.
Recurrence relations
The Padovan sequence also satisfies the recurrence relations
- [P(n)=P(n-1)+P(n-5)]
- [P(n)=P(n-2)+P(n-4)+P(n-8)]
- [P(n)=P(n-3)+P(n-4)+P(n-5)]
- [P(n)=P(n-4)+P(n-5)+P(n-6)+P(n-7)+P(n-8).]
The Perrin sequence can be obtained from the Padovan sequence by the following formula:
- [\mathrm(n)=P(n+1)+P(n-10).\,]
Extension to negative parameters
The Padovan sequence can be extended to negative parameters using the recurrence relation
- [P(-n) = P(-n+3) - P(-n+1).]
- ..., −7, 4, 0, −3, 4, −3, 1, 1, −2, 2, −1, 0, 1, −1, 1, 0, 0, 1, 0, 1, 1, 1, ...
Sums of terms
The sum of the first n terms in the Padovan sequence is 2 less than P(n + 5) i.e.
- [\sum_^n P(m)=P(n+5)-2.]
- [\sum_^n P(2m)=P(2n+3)-1]
- [\sum_^n P(2m+1)=P(2n+4)-1]
- [\sum_^n P(3m)=P(3n+2)]
- [\sum_^n P(3m+1)=P(3n+3)-1]
- [\sum_^n P(3m+2)=P(3n+4)-1]
- [\sum_^n P(5m)=P(5n+1).]
- [\sum_^n P(m)^2=P(n+2)^2-P(n-1)^2-P(n-3)^2]
- [\sum_^n P(m)^2P(m+1)=P(n)P(n+1)P(n+2)]
- [\sum_^n P(m)P(m+2)=P(n+2)P(n+3)-1.]
Other identities
The Padovan sequence also satisfies the identity
- [P(n)^2-P(n+1)P(n-1)=P(-n-7).\,]
- [ \sum_=P(k-2).]
- [++=1+10+1=12=P(10).\,]
Binet-like formula
The Padovan sequence numbers can be written in terms of powers of the roots of the equation
- [ x^3 -x -1 = 0.\,]
- [P\left(n\right) = \frac + \frac + \frac . ]
- [P\left(n\right) \approx \frac = \frac .]
Combinatorial interpretations
- P(n) is the number of ways of writing n + 2 as an ordered sum in which each term is either 2 or 3 (i.e. the number of compositions of n + 2 in which each term is either 2 or 3). For example, P(6) = 4, and there are 4 ways to write 8 as an ordered sum of 2s and 3s:
- :2 + 2 + 2 + 2 ; 2 + 3 + 3 ; 3 + 2 + 3 ; 3 + 3 + 2
- The number of ways of writing n as an ordered sum in which no term is 2 is P(2n − 2). For example, P(6) = 4, and there are 4 ways to write 4 as an ordered sum in which no term is 2:
- :4 ; 1 + 3 ; 3 + 1 ; 1 + 1 + 1 + 1
- The number of ways of writing n as a palindromic ordered sum in which no term is 2 is P(n). For example, P(6) = 4, and there are 4 ways to write 6 as a palindromic ordered sum in which no term is 2:
- :6 ; 3 + 3 ; 1 + 4 + 1 ; 1 + 1 + 1 + 1 + 1 + 1
- The number of ways of writing n as an ordered sum in which each term is congruent to 2 mod 3 is equal to P(n − 4). For example, P(6) = 4, and there are 4 ways to write 10 as an ordered sum in which each term is congruent to 2 mod 3:
- :8 + 2 ; 2 + 8 ; 5 + 5 ; 2 + 2 + 2 + 2 + 2
Generating function
The generating function of the Padovan sequence is
- [G(P(n);x)=\frac.]
- [\sum_^\frac = \frac.]
Generalizations
In a similar way to the Fibonacci numbers that can be generalized to a set of polynomials called the Fibonacci polynomials, the Padovan sequence numbers can be generalized to yield the Padovan polynomials.
Padovan prime
A Padovan prime is P(n) that is prime. The first few Padovan primes are
- 2, 3, 5, 7, 37, 151, 3329, 23833, ....
Padovan L-system
If we define the following simple grammar:
- variables : A B C
- constants : none
- start : A
- rules : (A → B), (B → C), (C → AB)
- n = 0 : A
- n = 1 : B
- n = 2 : C
- n = 3 : AB
- n = 4 : BC
- n = 5 : CAB
- n = 6 : ABBC
- n = 7 : BCCAB
- n = 8 : CABABBC
- 1 1 1 2 2 3 4 5 ...
Padovan Cuboid Spiral
A spiral can be formed based on connecting the corners of a set of 3 dimensional cuboids. This is the Padovan cuboid spiral. Successive sides of this spiral have lengths that are the Padovan sequence numbers multiplied by the square root of 2.
External links
- [Padovan sequence (sequence A000931)] in OEIS
- [Padovan Sequence] from MathWorld
- [Dom Hans Van Der Laan And The Plastic Number] by Richard Padovan
- [Tales of a Neglected Number] by Ian Stewart
From Wikipedia, the Free Encyclopedia. Original article here. Support Wikipedia by contributing or donating.
All text is available under the terms of the GNU Free Documentation License See Wikipedia Copyrights for details.
