关于完整函数#

本文旨在解释完整函数。我们假设你有微分方程和抽象代数的基本概念。

定义#

完整函数是一类非常普遍的特殊函数类型,它包含许多已知的简单函数作为其特例。事实上,更为人所知的超几何函数和Meijer G-函数也是它的一个特例。

如果一个函数是只具有多项式系数的常微分方程的解,则称为完整函数。由于微分方程的一般解由一系列函数组成,而不是由一个函数组成,完整函数通常由一组初始条件与微分方程一起定义。

\(K\) 是一个有特点的领域 0 . 例如, \(K\) 可以是 QQRR . 函数 \(f(x)\) 如果存在多项式,将是完整的 \(p_0, p_1, p_2, ... p_r \in K[x]\) 这样的话

\[p_\cdot f(x)+p_1\cdot f^{(1)}(x)+p_2\cdot f^{(2)}(x)+。。。+p\u r\cdot f^{(r)}(x)=0\]

这个微分方程也可以写成 \(L \cdot f(x) = 0\) 在哪里?

\[L=p_0+p_1\cdot D+p_2\cdot D^2+。。。p\U r\cdot日期^r\]

在这里 \(D\) 是微分算子和 \(L\) 称为函数的零化子。

从零化子和一组初始条件可以定义一个唯一的完整函数。例如:

\[f(x)=\exp(x):L=D-1,\:f(0)=1\]

其他基本功能,如 \(\cos(x)\)\(\log(x)\) 贝塞尔函数也是完整函数。

完整函数族在加法、乘法、积分、组合下是封闭的。这意味着如果给定两个函数是完整的,那么应用这些运算得到的函数也将是完整的。

工具书类#

https://en.wikipedia.org/wiki/Holonomic_function