释义 |
Göbel's SequenceConsider the Recurrence Relation
 | (1) |
with . The first few iterates of are 1, 2, 3, 5, 10, 28, 154, ... (Sloane's A003504). The terms growextremely rapidly, but are given by the asymptotic formula
 | (2) |
where
 | (3) |
(Zagier). It is more convenient to work with the transformed sequence
 | (4) |
which gives the new recurrence
 | (5) |
with initial condition . Now, will be nonintegral Iff . The smallest for which (mod ) therefore gives the smallest nonintegral . In addition, since , is also the smallest nonintegral .
For example, we have the sequences :
 | (6) |
 | (7) |
 | (8) |
Testing values of shows that the first nonintegral is . Note that a direct verification of thisfact is impossible since
 | (9) |
(calculated using the asymptotic formula) is much too large to be computed and stored explicitly.
A sequence even more striking for remaining integral over many terms is the 3-Göbel sequence
 | (10) |
The first few terms of this sequence are 1, 2, 5, 45, 22815, ... (Sloane's A005166).
The Göbel sequences can be generalized to powers by
 | (11) |
See also Somos Sequence References
Guy, R. K. ``The Strong Law of Small Numbers.'' Amer. Math. Monthly 95, 697-712, 1988.Guy, R. K. ``A Recursion of Göbel.'' §E15 in Unsolved Problems in Number Theory, 2nd ed. New York: Springer-Verlag, pp. 214-215, 1994. Sloane, N. J. A. SequencesA003504/M0728and A005166/M1551in ``An On-Line Version of the Encyclopedia of Integer Sequences.''http://www.research.att.com/~njas/sequences/eisonline.html and Sloane, N. J. A. and Plouffe, S.The Encyclopedia of Integer Sequences. San Diego: Academic Press, 1995. Zaiger, D. ``Solution: Day 5, Problem 3.'' http://www-groups.dcs.st-and.ac.uk/~john/Zagier/Solution5.3.html. |