科数网
学习首页
高中数学
高中物理
微积分
线性代数
概率论
赞助
在线教程
物理数学
工程数学
超几何函数
最后更新:
2023-11-29 15:03
查看:
189
次
下载
编辑本文
科数网
超几何函数
## 定义 超几何函数 $F(a, b ; c ; z)$ 是由高斯级数给出,定义Wie 15.2.1 $$ \begin{aligned} F(a, b ; c ; z) & =\sum_{s=0}^{\infty} \frac{(a)_s(b)_s}{(c)_s s !} z^s=1+\frac{a b}{c} z+\frac{a(a+1) b(b+1)}{c(c+1) 2 !} z^2+\cdots \\ & =\frac{\Gamma(c)}{\Gamma(a) \Gamma(b)} \sum_{s=0}^{\infty} \frac{\Gamma(a+s) \Gamma(b+s)}{\Gamma(c+s) s !} z^s \end{aligned} $$ $|z|<1$, 并通过其他地方的解析延拓。总的来说, $F(a, b ; c ; z)$ 不存在于何时 $c=0,-1,-2, \ldots$ 从 $\cdots$ 上切下的枝条 1 到 $+\infty$ 在现实中 $z$-轴, 即部门中的分支 $|\mathrm{ph}(1-z)| \leq \pi$, 是主枝 (或者主值) 的 $F(a, b ; c ; z)$. ## 介绍 首先,我们定义超几何级数是如下形式的级数: $$ \mathrm{F}(\alpha, \beta, \gamma, z)=\sum_{n=0}^{+\infty} \frac{(\alpha)_n(\beta)_n}{n !(\gamma)_n} z^n,|z|<1 $$ 特别的,规定 $\mathrm{F}(\alpha, \beta, \gamma, 0)=1$ 。超几何级数可以解析延拓至全复平面(可能除去 $z=1,+\infty$ 两点),此时称其为超几何函数,我们依然用上述符号来表示。 设 $m, n, l \in \mathbb{Z}$ ,称函数 $\mathrm{F}(\alpha+l, \beta+m, \gamma+n, z)$ 为超几何函数 $\mathrm{F}(\alpha, \beta, \gamma, z)$ 的连带函数。我们很容易可以得到递推关系如下: $$ \frac{\mathrm{d}}{\mathrm{d} z} \mathrm{~F}(\alpha, \beta, \gamma, z)=\frac{\alpha \beta}{\gamma} \mathrm{F}(\alpha+1, \beta+1, \gamma+1, z) $$ 还可以把这个递推关系推广,即: $$ \frac{\mathrm{d}^n}{\mathrm{~d} z^n} \mathrm{~F}(\alpha, \beta, \gamma, z)=\frac{(\alpha)_n(\beta)_n}{(\gamma)_n} \mathrm{~F}(\alpha+n, \beta+n, \gamma+n, z) $$ 我们还可以在单位圆中把超几何函数表示为: $$ \mathrm{F}(\alpha, \beta, \gamma, z)=\frac{\Gamma(\gamma)}{\Gamma(\alpha) \Gamma(\beta)} \sum_{n=0}^{+\infty} \frac{\mathrm{G}(n)}{n !} z^n $$ 其中函数 $\mathrm{G}(n)=\frac{\Gamma(\alpha+n) \Gamma(\beta+n)}{\Gamma(\gamma+n)}$ 。 如果 $\alpha, \beta$ 非负,那么做半圆围道可以得到: $$ \begin{aligned} \mathrm{F}(\alpha, \beta, \gamma, z) & =\frac{\Gamma(\gamma)}{\Gamma(\alpha) \Gamma(\beta)} \sum_{s=0, n=0}^{+\infty} \operatorname{Res}\left\{-\mathrm{G}(s) \Gamma(-s)(-z)^s\right\} \\ & =\frac{\Gamma(\gamma)}{\Gamma(\alpha) \Gamma(\beta)} \frac{1}{2 \pi \mathrm{i}} \oint_C \mathrm{G}(s) \Gamma(-s)(-z)^s \mathrm{~d} s \end{aligned} $$ 我们容易得到: $$ \mathrm{F}(\alpha, \beta, \gamma, z)=\frac{\Gamma(\gamma)}{\Gamma(\alpha) \Gamma(\beta)} \frac{1}{2 \pi \mathrm{i}} \int_{-\infty}^{+\infty} \frac{\Gamma(\alpha+s) \Gamma(\beta+s)}{\Gamma(\gamma+s)} \Gamma(-s)(-z)^s \mathrm{~d} s $$ 这就是超几何函数的Barnes积分表示。 我们还可以定义 $n-$ 超几何多项式 (又称为 $n$ 次Jacobi多项式) 为: $$ \mathrm{F}(-n, \beta, \gamma, z):=\sum_{k=0}^k \frac{(-n)_k(\beta)_k}{k !(\gamma)_k} z^k $$ 利用二项式系数,可以改写为: $$ \mathrm{F}(-n, \beta, \gamma, z)=\sum_{k=0}^k(-1)^k\left(\begin{array}{l} n \\ k \end{array}\right) \frac{(\beta)_k}{(\gamma)_k} z^k $$ 通过一些计算,我们还可以把它改写为积分形式: $$ (\gamma)_n \mathrm{~F}(-n, \beta, \gamma, z)=\frac{1}{2 \pi \mathrm{i}} n ! \int^{(0+)} \frac{(1-v)^{\beta-\gamma}(1-(1-z) v)^{-\beta}}{v^{n+1}} \mathrm{~d} v $$ 还可以写出其的微分形式: $$ \mathrm{F}(-n, \beta, \gamma, z)=\frac{\Gamma(\gamma)}{\Gamma(\gamma+n)} z^{1-\gamma}(1-z)^{\gamma+s-\beta} \frac{\mathrm{d}^n}{\mathrm{~d} z^n}\left(z^{\gamma+n-1}(1-z)^{\beta-\gamma}\right) $$
上一篇:
贝塞尔函数
下一篇:
没有了
本文对您是否有用?
有用
(
0
)
无用
(
0
)
科数网知识库旨在打造一个可以顺序阅读的在线电子学习教程,点击顶部的
编辑本文
来完善本文,如果本文对您有用,也欢迎
赞助我们
0
篇笔记
写笔记
更多笔记
提交笔记