We consider symplectic difference systems, which contain as special cases linear Hamiltonian difference systems and Sturm–Liouville difference equations of any even order. An associated discrete quadratic functional is important in discrete variational analysis, and while its positive definiteness has been characterized and is well understood, a characterization of its positive semidefiniteness remained an open problem. In this paper we present the solution to this problem and offer necessary and sufficient conditions for such discrete quadratic functionals to be non-negative definite.
AMS 2000 Mathematics subject classification: Primary 39A12; 39A13. Secondary 34B24; 49K99
