Abstract:
We introduce the notion of a resolving sequence of (scalar) operators for a given differential or difference system with coefficients in some differential or difference field K. We propose an algorithm to construct, such a sequence, and give some examples of the use of this sequence as a suitable auxiliary tool for finding certain kinds of solutions of differential and difference systems of arbitrary order. Some experiments with our implementation of the algorithm are reported.
Key words:higher-order linear systems of differential and difference equations resolving sequence of operators embracing system companion matrix cyclic vector hypergeometric solutions of difference systems formal exponential-logarithmic solutions of differential systems.