On the dimension of the solution space of linear difference equations over the ring of infinite sequences
Let \(R\) be the ring of two-sided sequences having rational number terms with respect to termwise addition and multiplication. The paper discusses a linear difference equation\N\[\Na_{r}(n)y(n+r)+\cdots+a_{1}(n)y(n+1)+a_{0}(n)y(n)=0\tag{1}\N\]\Nwith computable \(a_{r}(n),...,a_{0}(n)\in R\) as coefficients. Let \(V\) be the \(\mathbb{Q}\)-vector subspace in R generated by solutions of equation (1). Is it possible to determine \(\dim V\)? The article gives a negative answer to this question. \N\NTheorem. (i) There is no algorithm that tests the existence of a nonzero solution to a given equation.\N\N(ii) There is no algorithm that computes the dimension of the solution space of a given equation.
- SOLVING DIFFERENCE EQUATIONS IN SEQUENCES: UNIVERSALITY AND UNDECIDABILITY
- On the dimension of systems of algebraic difference equations
- Solving difference equations whose coefficients are not transcendental
- Implicit linear first order difference equations over commutative rings
- On an undecidable problem related to difference equations with parameters
- An extension of holonomic sequences: C^2-finite sequences
- Effective difference elimination and nullstellensatz
- Linear difference operators with coefficients in the form of infinite sequences
- Linear difference operators with sequence coefficients having infinite-dimentional solution spaces
- On Computable Numbers, with an Application to the Entscheidungsproblem
- On the dimension of systems of algebraic difference equations
- SOLVING DIFFERENCE EQUATIONS IN SEQUENCES: UNIVERSALITY AND UNDECIDABILITY
- Symbolic computation with sequences
This page was built for publication: On the dimension of the solution space of linear difference equations over the ring of infinite sequences
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6615399)
