А есть ли такой более-менее общий метод, который позволит сводить функции с умножением, возведением в степень к рекуррентным соотношениям, использующим только сложение(или вычитание).
Есть метод для конечно-разностных уравнений вида

, аналог решения линейных дифференциальных уравнений с постоянными коэффициентами. Есть его матричный аналог:

. Обе задачи сводимы друг к другу. Погуглите книги и найдете.