Padovan-sekvensen er en heltalssekvens P ( n ) med begyndelsesværdier
og den lineære gentagelsesrelation
De første værdier af P ( n ) er
1, 1, 1, 2, 2, 3, 4, 5, 7, 9, 12, 16, 21, 28, 37, 49, 65, 86, 114, 151, 200, 265, … ( OEIS -sekvens A000931 )Padovan-sekvensen er opkaldt efter Richard Padovan , som i sit essay Dom. Hans van der Laan: Modern Primitive fra 1994 tilskrev sin opdagelse til den hollandske arkitekt Hans van der Laan [1] . Sekvensen blev almindeligt kendt, efter at Ian Stuart beskrev den i kolonnen Mathematical Recreations i Scientific American i juni 1996 .
Padovan-sekvensen adlyder følgende rekursive relationer:
Perrin-sekvensen opfylder de samme relationer, men har forskellige begyndelsesværdier. Padovan- og Perrin-sekvenserne er også relateret til:
Padovan-sekvensen kan udvides til regionen med negative tal ved hjælp af gentagelsesrelationen
(dette svarer til at udvide Fibonacci-sekvensen til regionen med negative indekser af sekvensen). En sådan udvidelse af P ( n ) giver værdierne
…, −7, 4, 0, −3, 4, −3, 1, 1, −2, 2, −1, 0, 1, −1, 1, 0, 0, 1, 0, 1, 1, en, …Summen af de første n led i sekvensen er 2 mindre end P ( n + 5), dvs.
Summen af lige/ulige led, hver tredje og summen af hver femte led er også udtrykt med visse formler:
Beløbene, inklusive produkterne af vilkårene, opfylder følgende forhold:
Padovan-sekvensen tilfredsstiller også afhængigheden
Det kan også udtrykkes i form af binomiale koefficienter :
For eksempel, for k = 12, er værdierne af parret ( m ; n ), for hvilke 2 m + n = 12 giver ikke-nul binomiale koefficienter (6; 0), (5; 2) og (4; 4), og:
Vilkårene for Padovan-sekvensen kan udtrykkes i form af styrkerne af ligningens rødder
Denne ligning har tre rødder: en reel rod - det plastiske tal p ≈ 1,324718 og to komplekse konjugerede rødder q og r . Med deres hjælp kan du skrive en analog af Binets formel for det generelle udtryk for Padovan-sekvensen:
Da den absolutte værdi af begge komplekse rødder q og r er mindre end 1, så har deres n'te potens en tendens til 0, når n vokser . Således er den asymptotiske formel gyldig:
hvor s er den reelle rod af ligningen . Denne formel kan bruges til hurtige beregninger for store n .
Forholdet mellem naboled i Padova-sekvensen har en tendens til det plastiske tal p . Denne konstant spiller den samme rolle for Padovan- og Perrin-sekvenserne, som det gyldne snit gør for Fibonacci-sekvensen.
Genereringsfunktionen for Padovan-sekvensen er:
Dette kan bruges til at bevise forhold, der involverer produkterne af Padovan-sekvensen og geometriske progressioner som denne:
Et Padovan-primtal er P ( n ), som er et primtal . De første par simple Padovaner er:
2, 3, 5, 7, 37, 151, 3329, 23833, … (sekvens A100891 i OEIS )Ligesom Fibonacci-tallene , der generaliseres af et sæt polynomier ( Fibonacci-polynomier ), kan Padova-sekvensen også generaliseres af Padova-polynomier .
Hvis vi definerer denne simple grammatik:
variabler : ABC konstanter : ingen start : A regler : (A → B), (B → C), (C → AB)så giver et sådant Lindenmeyer-system ( L-system ) følgende rækkefølge af linjer:
n = 0 : A n = 1: B n = 2: C n = 3: AB n = 4: f.Kr n = 5: CAB n = 6: ABBC n = 7: BCCAB n = 8: CABABBCog hvis vi tæller længden af hver af dem, får vi Padovan-sekvensen:
1 1 1 2 2 3 4 5 7 …Hvis vi tæller antallet af tegn A , B og C i hver linje, så vil der for den n'te linje være P ( n − 5) tegn A , P ( n − 3) tegn B og P ( n − 4) tegn C. _ Antallet af par BB , AA og CC er også Padovan-tal.
Padovan cuboid spiral kan bygges ved at samle hjørnerne af mange 3D cuboids. Længderne af på hinanden følgende sider af spiralen er vilkårene for Padovan-sekvensen ganget med kvadratroden af 2.