形式的べき級数の形式微分
形式的べき級数
Fの形式微分を下記のように定義する
$ F = \sum_{n=0}^\infty f_n x^n
$ F' = \sum_{n=1}^\infty n f_n x^{n-1} = \sum_{n=0}^\infty (n + 1) f_{n+1} x^n
Leibniz則
$ (FG)' = F'G + FG'
などが成り立つ
多項式・形式的べき級数（３）線形漸化式と形式的べき級数 | maspyのHP