形式的べき級数の形式微分

形式的べき級数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