微分有限函数

宝塔服务器面板，一键全能部署及管理，送你10850元礼包，点我领取

前两天看到 EI 的博客里面有这个，于是去翻了一下论文

一些定义：

齐次线性微分方程

如果一个函数 yx)) 满足：

[a_0y+a_1y’+a_2y”+cdots+a_ny^{n)}=Cx)
]

则称其满足一个线性微分方程。特别地，如果 Cx)=0)，则称其满足一个齐次线性微分方程（linear homogeneous differential equation）。

根据所有的系数 {a_n}) 是否为常数还可以进一步划分为常系数齐次线性微分方程和变系数齐次线性微分方程。

P-递归数列

如果一个数列 a_n) 满足

p_0n)a_n+p_1n)a_{n-1}+p_2n)a_{n-2}+cdots+p_dn)a_{n-d}=0)

则称其为 P-递归（P-recursive）的。其中所有的 p_ix)) 均为多项式。

微分有限

如果一个函数 fx))（不一定是多项式）满足一个齐次线性微分方程，则称其为微分有限（D-finite）的。

关于微分有限函数我们有下述定理：

定理一 记函数 fx)) 的级数展开为 fx)=sum_{ngeq 0}a_nx^n)，那么 fx)) 是微分有限的当且仅当其系数 {a_n}) 是 P-递归的。
定理二 如果 fx)) 和 gx)) 都是微分有限的，那么 alpha fx)+eta gx),fx)gx)) 也是微分有限的。
定理三 如果 fx)) 微分有限，gx)) 是代数函数（即只包含加减乘除乘方开方的函数），那么 fgx))) 是微分有限的。