- Research Article
27
- 10.2307/2005473
Continued Fractions and Linear Recurrences
- Jan 01, 1975
- Mathematics of Computation
- W H Mills
Let q, fj, t2, be a sequence of elements of a field F. We give a 2 3 continued fraction algorithm for t^x + txx + t2x + .If our sequence satisfies a linear recurrence, then the continued fraction algorithm is finite and produces this recurrence.More generally the algorithm produces a nontrivial solution of the system s ',+/*/.0</<*-l, /=0 for every positive integer s. 1.Let t0, tx, t2, be a sequence of elements of a field F. Set T-\ttft./=0 Let d be a nonnegative integer.We say that T* is an approximation of T of degree d if there exist polynomials V and W such that T* = V/W, deg V < d, deg W < d, x\w, and x2d\WT -V.We shall give a continued fraction expansion for xT.This yields polynomials V-, W, and integers d-, 0 = dx < d2 < d3 < , such that (V, W) = 1 and V,/W-is an approximation of T of degree d.Suppose T* is any approximation of T of some degree d.Then T* = V/W for that value of i such that d < d<di+x.If the sequence of the t satisfies a linear recurrence of degree d, but not one of smaller degree, then there is an m such that dm = d and the linear recurrence is given by the polynomial Wm.In this case, WmT = Vm, the continued fraction expansion, terminates at i = m, and we can determine Wm from the first 2d of the t:, i.e., from those t such that 0 </ < 2d.Our algorithm is closely related to Zierler's version of Berlekamp's algorithm [1].2. We consider continued fraction expansions of the form a = A, +-l A, + 2 A3+-where A,, A2, A3, are elements from some field E. We can write
Read more