## Sigma function solution of the initial value problem for Somos 5 sequences.(English)Zbl 1162.11011

Summary: The Somos 5 sequences are a family of sequences defined by a fifth order bilinear recurrence relation with constant coefficients. For particular choices of coefficients and initial data, integer sequences arise. By making the connection with a second order nonlinear mapping with a first integral, we prove that the two subsequences of odd/even index terms each satisfy a Somos 4 (fourth order) recurrence. This leads directly to the explicit solution of the initial value problem for the Somos 5 sequences in terms of the Weierstrass sigma function for an associated elliptic curve.

### MSC:

 11B37 Recurrences 33E05 Elliptic functions and integrals 37J35 Completely integrable finite-dimensional Hamiltonian systems, integration methods, integrability tests 37C99 Smooth dynamical systems: general theory

### Keywords:

integer sequences; elliptic curves

OEIS
Full Text:

### References:

 [1] G. Bastien and M. Rogalski, On some algebraic difference equations \?_{\?+2}\?_{\?}=\?(\?_{\?+1}) in \Bbb R_{*}$$^{+}$$, related to families of conics or cubics: generalization of the Lyness’ sequences, J. Math. Anal. Appl. 300 (2004), no. 2, 303 – 333. · Zbl 1070.39024 [2] Harry W. Braden, Victor Z. Enolskii, and Andrew N. W. Hone, Bilinear recurrences and addition formulae for hyperelliptic sigma functions, J. Nonlinear Math. Phys. 12 (2005), no. suppl. 2, 46 – 62. · Zbl 1126.11007 [3] M. Bruschi, O. Ragnisco, P. M. Santini, and Gui Zhang Tu, Integrable symplectic maps, Phys. D 49 (1991), no. 3, 273 – 294. · Zbl 0734.58023 [4] V. M. Bukhshtaber and Igor Moiseevich Krichever, Vector addition theorems and Baker-Akhiezer functions, Teoret. Mat. Fiz. 94 (1993), no. 2, 200 – 212 (Russian, with English and Russian summaries); English transl., Theoret. and Math. Phys. 94 (1993), no. 2, 142 – 149. · Zbl 0803.39006 [5] Ralph H. Buchholz and Randall L. Rathbun, An infinite set of Heron triangles with two rational medians, Amer. Math. Monthly 104 (1997), no. 2, 107 – 115. · Zbl 0873.11022 [6] V. M. Buchstaber, V. Z. Enolskiĭ, and D. V. Leĭkin, Hyperelliptic Kleinian functions and applications, Solitons, geometry, and topology: on the crossroad, Amer. Math. Soc. Transl. Ser. 2, vol. 179, Amer. Math. Soc., Providence, RI, 1997, pp. 1 – 33. · Zbl 0911.14020 [7] David G. Cantor, On the analogue of the division polynomials for hyperelliptic curves, J. Reine Angew. Math. 447 (1994), 91 – 145. · Zbl 0788.14026 [8] Manfred Einsiedler, Graham Everest, and Thomas Ward, Primes in elliptic divisibility sequences, LMS J. Comput. Math. 4 (2001), 1 – 13. · Zbl 1037.11089 [9] Graham Everest, Victor Miller, and Nelson Stephens, Primes generated by elliptic curves, Proc. Amer. Math. Soc. 132 (2004), no. 4, 955 – 963. · Zbl 1043.11051 [10] Graham Everest, Alf van der Poorten, Igor Shparlinski, and Thomas Ward, Recurrence sequences, Mathematical Surveys and Monographs, vol. 104, American Mathematical Society, Providence, RI, 2003. · Zbl 1033.11006 [11] Sergey Fomin and Andrei Zelevinsky, The Laurent phenomenon, Adv. in Appl. Math. 28 (2002), no. 2, 119 – 144. · Zbl 1012.05012 [12] D. Gale, The strange and surprising saga of the Somos sequences, Mathematical Intelligencer 13 (1) (1991), 40-42. [13] A. N. W. Hone, Elliptic curves and quadratic recurrence sequences, Bull. London Math. Soc. 37 (2005), no. 2, 161 – 171. , https://doi.org/10.1112/S0024609304004163 A. N. W. Hone, Corrigendum: ”Elliptic curves and quadratic recurrence sequences” [Bull. London Math. Soc. 37 (2005), no. 2, 161 – 171; MR2119015], Bull. London Math. Soc. 38 (2006), no. 5, 741 – 742. · Zbl 1166.11333 [14] Apostolos Iatrou and John A. G. Roberts, Integrable mappings of the plane preserving biquadratic invariant curves, J. Phys. A 34 (2001), no. 34, 6617 – 6636. · Zbl 1052.37047 [15] Apostolos Iatrou and John A. G. Roberts, Integrable mappings of the plane preserving biquadratic invariant curves. II, Nonlinearity 15 (2002), no. 2, 459 – 489. · Zbl 1067.37072 [16] Danesh Jogia, John A. G. Roberts, and Franco Vivaldi, An algebraic geometric approach to integrable maps of the plane, J. Phys. A 39 (2006), no. 5, 1133 – 1149. · Zbl 1117.14032 [17] Shigeki Matsutani, Recursion relation of hyperelliptic psi-functions of genus two, Integral Transforms Spec. Funct. 14 (2003), no. 6, 517 – 527. · Zbl 1041.11047 [18] Rick Miranda, Algebraic curves and Riemann surfaces, Graduate Studies in Mathematics, vol. 5, American Mathematical Society, Providence, RI, 1995. · Zbl 0820.14022 [19] Alfred J. van der Poorten, Elliptic curves and continued fractions, J. Integer Seq. 8 (2005), no. 2, Article 05.2.5, 19. · Zbl 1079.11006 [20] Alfred J. van der Poorten and Christine S. Swart, Recurrence relations for elliptic sequences: every Somos 4 is a Somos \?, Bull. London Math. Soc. 38 (2006), no. 4, 546 – 554. · Zbl 1169.11013 [21] A.J. van der Poorten, Curves of genus $$2$$, continued fractions and Somos Sequences, J. Integer Seq. 8 (2005), Article 05.3.4. · Zbl 1177.11012 [22] J. Propp, The “bilinear” forum, and The Somos Sequence Site, http://www.math.wisc. edu/ propp/ [23] G. R. W. Quispel, J. A. G. Roberts, and C. J. Thompson, Integrable mappings and soliton equations. II, Phys. D 34 (1989), no. 1-2, 183 – 192. · Zbl 0679.58024 [24] Raphael M. Robinson, Periodicity of Somos sequences, Proc. Amer. Math. Soc. 116 (1992), no. 3, 613 – 619. · Zbl 0774.11009 [25] R. Shipsey, Elliptic divisibility sequences, Ph.D. thesis, University of London (2000). [26] Joseph H. Silverman, The arithmetic of elliptic curves, Graduate Texts in Mathematics, vol. 106, Springer-Verlag, New York, 1986. · Zbl 0585.14026 [27] Joseph H. Silverman, \?-adic properties of division polynomials and elliptic divisibility sequences, Math. Ann. 332 (2005), no. 2, 443 – 471. · Zbl 1066.11024 [28] N.J.A. Sloane, On-Line Encyclopedia of Integer Sequences, http://www.research.att.com / njas/sequences, sequence A006721. · Zbl 1044.11108 [29] C.S. Swart, Elliptic curves and related sequences, Ph.D. thesis, University of London (2003). [30] Teruhisa Tsuda, Integrable mappings via rational elliptic surfaces, J. Phys. A 37 (2004), no. 7, 2721 – 2730. · Zbl 1060.14051 [31] A. P. Veselov, Integrable mappings, Uspekhi Mat. Nauk 46 (1991), no. 5(281), 3 – 45, 190 (Russian); English transl., Russian Math. Surveys 46 (1991), no. 5, 1 – 51. · Zbl 0785.58027 [32] A. P. Veselov, What is an integrable mapping?, What is integrability?, Springer Ser. Nonlinear Dynam., Springer, Berlin, 1991, pp. 251 – 272. · Zbl 0733.58025 [33] Morgan Ward, Memoir on elliptic divisibility sequences, Amer. J. Math. 70 (1948), 31 – 74. · Zbl 0035.03702 [34] Morgan Ward, The law of repetition of primes in an elliptic divisibility sequence, Duke Math. J. 15 (1948), 941 – 946. · Zbl 0032.01403 [35] E.T. Whittaker and G.N. Watson, A Course of Modern Analysis, 4th edition, Cambridge, 1965. · JFM 45.0433.02 [36] D. Zagier, ‘Problems posed at the St. Andrews Colloquium, 1996,’ Solutions, 5th day; available at http://www-groups.dcs.st-and.ac.uk/ john/Zagier/Problems.html
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.