Second order linear difference equations over discrete Hardy fields
We shall investigate the properties of solutions of second order linear difference equations defined over a discrete Hardy field via canonical valuations.
We shall investigate the properties of solutions of second order linear difference equations defined over a discrete Hardy field via canonical valuations.
We show that three problems involving linear difference equations with rational function coefficients are essentially equivalent. The first problem is the generalization of the classical Skolem–Mahler–Lech theorem to rational function coefficients. The second problem is whether or not for a given linear difference equation there exists a Picard–Vessiot extension inside the ring of sequences. The third problem is a certain special case of the dynamical Mordell–Lang conjecture. This allows us to deduce...