RSolve

RSolve[eqn, a[n], n]はa[n]についての再帰方程式を解く．

RSolve[, , ... , [n], [n], ... , n]は再帰方程式系を解く．

RSolve[eqn, a[, , ... ], , , ... ]は偏再帰方程式を解く．

RSolve[eqn, a, n]はaの解を純関数として与える．

この方程式はa[n+i]の形式でオブジェクトを含むことができる．ここで，iは任意の固定整数あるいはa[q^i n]の形式のオブジェクトである．

端末条件の指定のために，a[0]==valのような方程式を与えることができる．

RSolveは，十分な端末条件が指定されていない場合は未定義の定数を含む一般的な解を返す．

RSolveが導入する定数には連続する整数で指標が付けられる．オプションGeneratedParametersで各指標に適用する関数を指定する．デフォルトはGeneratedParameters->Cであり，これによって定数C[1], C[2], ... が与えられる．

GeneratedParameters->(Module[{C}, C]&)は，たとえRSolveが別の機会に呼び出されても積分定数が一意的であることを保障する．

偏再帰方程式の場合，RSolveは任意の関数C[n][... ]を生成する．

RSolveが与える解はSumが明示的に実行できない総和を含むことがある．そのような総和には局所的な名前を持ったダミー変数が使われる．

RSolveはSolveによる陰的な解を与えることがある．

RSolveは常差分方程式と差分方程式の両方を解くことができる．

RSolveは常差分方程式だけでなく差分代数方程式も扱うことができる．

RSolveは定数係数を持つ任意の階数の線形再帰方程式を解くことができる．また，多くの非線形方程式に加え非定数係数を持つ2階までの線形方程式も解くことができる．

参照セクション：1.5.13 ， 3.6.8.

実装に関するノート：A.9.5.

次も参照：Sum，ZTransform，DSolve.

バージョン5.0の新関数

他の例