Welcome to the Perrin Chalkboard! I will be presenting in this blog a series of chalkboards which discuss interesting properties of the Perrin sequence and related integer sequences. This blog starts as a simple discussion of the Perrin sequence (the original mention by Lucas in 1876 and Perrin in 1899). It is found that an immense amount of research on the associated elliptic curves has occurred over the last 115 years. The Perrin sequence ties together much of the mathematics discussed today as algebraic number theory and modular functions. It is also integral to the discussion of Fermat’s Last Theorem conjectured in 1637 but proved by Wiles in 1994.
Theorems will be presented without proofs. I think the subject matter will appeal to those interested in the properties of integer sequences, elliptic equations, and graph theory. Many sequences from OEIS (On-line Encyclopedia of Integer Sequences) will be discussed, uncovering hidden or less obvious properties.
The primary subject matter in this blog covers the properties of integer sequences. However, it is not until Chapter 17 that I cover the subject matter of the short paper published by Perrin in 1899. This chapter then introduces the subject of integer partitions, followed by some geometric applications of the Perrin sequence and then turns to division algorithms derived from general properties of cubic equations and associated integer sequences.
I encourage any comments or suggestions to the chalkboard subjects.
Although the pdf files are freely provided, if you are interested or have questions regarding any chapter please feel free to contact me.
Updated July 2017
Click on the pdf to open the first chapter.. or continue scrolling to find the latest Chapter and pdf!
This appendix illustrates a calculation of one of Weber’s class invariants and compares the result obtained by Weber with the analysis presented in Chapter 28. The analytical method provides some extra parameters for finding a suitable irreducible polynomial that can be expressed in radical form. Consequently, the modulus of the q continued fraction is also expressed in radicals and/or nested radicals.
calculating a class invariant from ramanujan’s octic q continued fraction
This board is an extension of Chapter 20 on discriminants and modular functions. It provides a method of expressing the Rogers-Ramanujan octic q continued fraction in terms of radicals. Some interesting relations of the q continued fraction with the plastic number are shown. A q modulus equation is also derived to find new radical expressions for polynomials with various complex quadratic fields. Radical form is possible if the order of the associated polynomial with discrimination (-d) is less than five or provided the real root U of f(x) is solvable by radicals. Unexpectedly the later is true for all but four of the discriminants 1 or 3 mod 4 less than 100 using a radical extension of the irreducible coefficient field.
expressing a ramanujan q continued fraction in terms of radicals_
A look back at Chapter 23 reveals a new way to view the orthogonal Jacobi Polynomial. Through a series of identities it is possible to reduce any Jacobi polynomial P[m,a,b,x], with b> 1 and evaluated at x = 3 to a series of Jacobi polynomials with b = 1 or b = 0. The scalar vector product with the diagonal of the Chebychev T polynomial is introduced. It is shown that any Jacobi Polynomial P[m,a,b,3] is represented as vector products of an associated (m-1) row of the Pascal triangle and a shifted cycle index of the Symmetry group S(m). A combinatoric role of the Jacobi is suggested in this analysis.
The Jacobi polynomial can also be used to calculate the nth term of the Perrin sequence and the sigma orbit of prime numbers as described in Chapter 13.
The Jacobi Polynomial Revisited
The Chebyshev Orthogonal Collocation Method is used to solve the Electrode problem introduced in Chapter 25. The derivative and second derivative operators are derived from a integer sequence and a matrix transform using Chebyshev polynomials.
The Laplace Operator_2
This Chapter is a detour from the discussion of integer sequences. Instead, it describes a solution to the problem of the electrical potential in a membrane of mixed boundary conditions. We derive the spectrum of the Laplace operator in an orthonormal basis using a decomposition of the 2 dimensional operator into a set of ordinary 1st order differential equations.
This chapter continues with the expansion of orthogonal polynomials with Laguerre polynomials. The Jacobi polynomial is a expanded using the associated Laguerre polynomial. The relation of the Jacobi polynomial to Delannoy numbers is the explored. I show that the asymmetric Delannoy number can be expressed as a product of Laguerre functions. A further interpretation of this product shows a relationship the asymmetric Delannoy number D~(m,n) as the product of an (n-1) dimensional Simplex with a property vector defined as an n-dimensional coloring of m+j objects. The property vector can also be described from the cycle index polynomial of a symmetry group, S(m).
A similar analysis is performed to find the Delannoy number expressed as a Jacobi polynomial. Like the asymmetric Delannoy number the Delannoy number is expressible by Jacobi polynmials and also as a dot product of an n-1 dimensional simplex with the cycle index polynomial of a symmetry group, S(n).
The Jacobi Polynomial, Laguerre Polynomial and Delannoy numbers_
This appendix updates the theory of binary sequences from the results discussed in Chapter 13. In that chapter the Perrin sequence was found to produce a period 14 binary pattern from the Sigma orbit defined in OEIS A127687. An enhanced formula for the sigma orbit is developed for use with sequences from general cubic polynomials. The results show 6 classes of binary sequences are obtained from the the ring of polynomials of degree 3. The rules for class membership are defined.
For Perrin pseudo-primes the period 14 binary sequence predicts that pseudo-primes can occur at 2, 4 and 8 mod 14. To date for numbers <10e14 only PPP(3)= 2 mod 14 and PPP(5) = 4 mod 14 have been confirmed. Can it be determined if PPP(3)*PPP(5) = 453371887665796 = 8 mod 14 is a Perrin pseudo-prime?
Appendix 13d to Perrin Pseudoprimes