This paper is concerned with the Sturm-Liouville difference equation with complex coefficients:
where are complex sequences such that for , is a positive real sequence, and is a spectral parameter. An important question is whether a solution (which depends on ) is square summable, that is, whether the series is finite.
where stands for the closed convex hull, let
The authors give the following definition: Let and . If (1) has exactly one linearly independent solution satisfying
and this is the only linearly independent square summable solution, then (1) is of Type I. If (1) has exactly one linearly independent solution satisfying (2), but all solutions of (1) are square summable, then (1) is of Type II. If all solutions of (1) satisfy (2) (and hence square summable), then (1) is of Type III.
It is shown that a Type I equation does not depend on but Type II and Type III equations do.
The results in this paper supplement those in an earlier paper by R. H. Wilson [Proc. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci. 461, No. 2057, 1505–1531 (2005; Zbl 1145.47303)]. In particular, the dependence of Type II and Type III equations on is discussed.
Remark: Since is also involved in (1), it may seem necessary to explain why this number does not play any role in and in the classification scheme.