Rational Periodic Sequences for the Lyness Recurrence
Consider the celebrated Lyness recurrence xn+2 = (a + xn+1)/xn with a ∈ Q. First we prove that there exist initial conditions and values of a for which it generates periodic sequences of rational numbers with prime periods 1, 2, 3, 5, 6, 7, 8, 9, 10 or 12 and that these are the only periods that rat...
| Authors: | , , |
|---|---|
| Format: | article |
| Publication Date: | 2012 |
| Country: | España |
| Institution: | Universitat Autònoma de Barcelona |
| Repository: | Dipòsit Digital de Documents de la UAB |
| Language: | English |
| OAI Identifier: | oai:ddd.uab.cat:150557 |
| Online Access: | https://ddd.uab.cat/record/150557 https://dx.doi.org/urn:doi:10.3934/dcds.2012.32.587 |
| Access Level: | Open access |
| Keyword: | Lyness difference equations Rational points over elliptic curves Periodic points Universal family of elliptic curves |
| Summary: | Consider the celebrated Lyness recurrence xn+2 = (a + xn+1)/xn with a ∈ Q. First we prove that there exist initial conditions and values of a for which it generates periodic sequences of rational numbers with prime periods 1, 2, 3, 5, 6, 7, 8, 9, 10 or 12 and that these are the only periods that rational sequences {xn}n can have. It is known that if we restrict our attention to positive rational values of a and positive rational initial conditions the only possible periods are 1, 5 and 9. Moreover 1-periodic and 5-periodic sequences are easily obtained. We prove that for infinitely many positive values of a, positive 9-period rational sequences occur. This last result is our main contribution and answers an open question left in previous works of Bastien & Rogalski and Zeeman. We also prove that the level sets of the invariant associated to the Lyness map is a two-parameter family of elliptic curves that is a universal family of the elliptic curves with a point of order n, n ≥ 5, including n infinity. This fact implies that the Lyness map is a universal normal form for most birational maps on elliptic curves. |
|---|