Invariants/symmetries for autonomous difference equations

Abstract:
Given an autonomous ordinary difference equation, a global first integral/invariant is a function which remains invariant on the forward orbit of the difference equation. Furthermore, these invariants are a special form of Lie group symmetries. We discuss some of the geometric implications and present a functional equation, which if solved, would give an invariant.