Решение рекуррентных уравнений

Функция rsolve с таким же перечнем параметров, как и у solve, служит для решения рекуррентных уравнений. Напомним, что рекуррентные уравнения решаются последовательно – решение каждого последующего находится из решений одного или нескольких предыдущих. Типичным примером таких уравнений служат сеточные уравнения, имеющие, как правило, диагональные или ленточные матрицы.

Примеры:

> rsolve( {y(n+1)=y(n)/2,y(0)=a},y );

> rsolve( {y(n)*y(n-1) + y(n) - y(n-1) = 0, y(0)=a}, y );

Кроме функций solve и rsolve в системе реализованы функции вида

isolve ( eqns, vars )

для поиска решений уравнений в целых числах и

msolve ( eqns, vars, m ) или msolve( eqns, m )

для поиска решений уравнений по модулю m.