Resolving sequences of operators for linear ordinary differential and difference systems of arbitrary order

详细

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.