设 ,那么 ,并且 。我们有 ,所以 ,其中 是一个 次多项式。它有递推公式 。
下面用EGF 解这个递推方程。可得PDE 。换元 ,得 。这个方程在满足ODE 的曲线上可以变为 。所以现在只需解上面的ODE。我们有 ,其中 ,所以PDE的通解是 。代入初始条件 可得 ,所以 。
令 ,那么 。但我们知道 是个 次多项式,所以 。因此 。