系列条目
微积分学
函数 极限论 微分学 积分 微积分基本定理 微积分发现权之争（英语：Leibniz–Newton calculus controversy）
基础概念（含极限论和级数论） 实数性质 函数 · 单调性 · 初等函数 · 数列 · 极限 · 实数的构造（1=0.999…） · 无穷（衔尾蛇） · 无穷小量 · ε-δ语言 · 实无穷（英语：Actual infinity） · 大O符号 · 最小上界 · 收敛数列 · 芝诺悖论 · 柯西序列 · 单调收敛定理 · 夹挤定理 · 波尔查诺-魏尔斯特拉斯定理 · 斯托尔兹-切萨罗定理 · 上极限和下极限 · 函数极限 · 渐近线 · 邻域 · 连续 · 连续函数 · 不连续点 · 狄利克雷函数 · 稠密集 · 一致连续 · 紧集 · 海涅-博雷尔定理 · 支撑集 · 欧几里得空间 · 点积 · 外积 · 三重积 · 拉格朗日恒等式 · 等价范数 · 坐标系 · 多元函数 · 凸集 · 巴拿赫不动点定理 · 级数 · 收敛级数（英语：convergent series） · 几何级数 · 调和级数 · 项测试 · 格兰迪级数 · 收敛半径 · 审敛法 · 柯西乘积 · 黎曼级数重排定理 · 函数项级数（英语：function series） · 一致收敛 · 迪尼定理 数列与级数 连续 函数
一元微分 差分 · 均差 · 微分 · 微分的线性（英语：linearity of differentiation） · 导数（流数法 · 二阶导数 · 光滑函数 · 高阶微分 · 莱布尼兹记号（英语：Leibniz's_notation） · 幽灵似的消失量） · 介值定理 · 中值定理（罗尔定理 · 拉格朗日中值定理 · 柯西中值定理） · 泰勒公式 · 求导法则（乘积法则 · 广义莱布尼茨定则（英语：General Leibniz rule） · 除法定则 · 倒数定则 · 链式法则） · 洛必达法则 · 反函数的微分 · Faà di Bruno公式（英语：Faà di Bruno's formula） · 对数微分法 · 导数列表 · 导数的函数应用（单调性 · 切线 · 极值 · 驻点 · 拐点 · 求导检测（英语：derivative test） · 凸函数 · 凹函数 · 简森不等式 · 曲线的曲率 · 埃尔米特插值） · 达布定理 · 魏尔施特拉斯函数
一元积分 积分表 定义 不定积分 定积分 黎曼积分 达布积分 勒贝格积分 积分的线性 求积分的技巧（换元积分法 · 三角换元法 · 分部积分法 · 部分分式积分法 · 降次积分法） 微元法 · 积分第一中值定理 · 积分第二中值定理 · 微积分基本定理 · 反常积分 · 柯西主值 · 积分函数（Β函数 · Γ函数 · 古德曼函数 · 椭圆积分） · 数值积分（矩形法 · 梯形公式 · 辛普森积分法 · 牛顿-寇次公式） · 积分判别法 · 傅里叶级数（狄利克雷定理 · 周期延拓） · 魏尔施特拉斯逼近定理 · 帕塞瓦尔定理 · 刘维尔定理
多元微积分 偏导数 · 隐函数 · 全微分（微分的形式不变性） · 二阶导数的对称性 · 全微分 · 方向导数 · 标量场 · 向量场 · 梯度（Nabla算子） · 多元泰勒公式 · 拉格朗日乘数 · 黑塞矩阵 · 鞍点 · 多重积分（逐次积分 · 积分顺序（英语：Order of integration (calculus)）） · 积分估值定理 · 旋转体 · 帕普斯-古尔丁中心化旋转定理 · 祖暅-卡瓦列里原理 · 托里拆利小号 · 雅可比矩阵 · 广义多重积分（高斯积分） · 若尔当曲线 · 曲线积分 · 曲面积分（施瓦茨的靴（俄语：Сапог Шварца）） · 散度 · 旋度 · 通量 · 可定向性 · 格林公式 · 高斯散度定理 · 斯托克斯定理及其外微分形式 · 若尔当测度 · 隐函数定理 · 皮亚诺-希尔伯特曲线 · 积分变换 · 卷积定理 · 积分符号内取微分 (莱布尼茨积分定则（英语：Leibniz integral rule）) · 多变量原函数的存在性（全微分方程） · 外微分的映射原像存在性（恰当形式） · 向量值函数 · 向量空间内的导数推广（英语：generalizations of the derivative）（加托导数 · 弗雷歇导数 · 矩阵的微积分（英语：matrix calculus）） · 弱微分
微分方程 常微分方程 · 柯西-利普希茨定理 · 皮亚诺存在性定理 · 分离变量法 · 级数展开法 · 积分因子 · 拉普拉斯算子 · 欧拉方法 · 柯西-欧拉方程 · 伯努利微分方程 · 克莱罗方程 · 全微分方程 · 线性微分方程 · 叠加原理 · 特征方程式 · 朗斯基行列式 · 微分算子法 · 差分方程 · 拉普拉斯变换 · 偏微分方程（拉普拉斯方程 · 泊松方程） · 施图姆-刘维尔理论 · N体问题 · 积分方程
相关数学家 牛顿 · 莱布尼兹 · 柯西 · 魏尔斯特拉斯  · 黎曼 · 拉格朗日 · 欧拉 · 帕斯卡 · 海涅 · 巴罗 · 波尔查诺 · 狄利克雷 · 格林 · 斯托克斯 · 若尔当 · 达布 · 傅里叶 · 拉普拉斯 · 雅各布·伯努利 · 约翰·白努利 · 阿达马 · 麦克劳林 · 迪尼 · 沃利斯 · 费马 · 达朗贝尔 · 黑维塞 · 吉布斯 · 奥斯特罗格拉德斯基 · 刘维尔 · 棣莫弗 · 格雷果里 · 玛达瓦（英语：Madhava of Sangamagrama） · 婆什迦罗第二 · 阿涅西 · 阿基米德
历史名作 从无穷小量分析来理解曲线（英语：Analyse des Infiniment Petits pour l'Intelligence des Lignes Courbes） · 分析学教程（英语：Cours d'Analyse） · 无穷小分析引论 · 用无穷级数做数学分析（英语：De analysi per aequationes numero terminorum infinitas） · 流形上的微积分（英语：Calculus on Manifolds (book)） · 微积分学教程 · 纯数学教程（英语：A Course of Pure Mathematics） · 机械原理方法论（英语：The Method of Mechanical Theorems）
分支学科 实变函数论 · 复分析 · 傅里叶分析 · 变分法 · 特殊函数 · 动力系统 · 微分几何 · 微分代数 · 向量分析 · 分数微积分 · 玛里亚温微积分（英语：Malliavin calculus） · 随机分析 · 最优化 · 非标准分析
查 论 编

在数学中，${\displaystyle \Gamma \,}$函数（伽玛函数；Gamma函数），是阶乘函数在实数与复数域上的扩展。如果${\displaystyle n}$为正整数，则：

${\displaystyle \Gamma (n)=(n-1)!}$

根据解析延拓原理，伽玛函数可以定义在除去非正整数的整个复数域上：

${\displaystyle \Gamma (z)=\int _{0}^{\infty }t^{z-1}\mathrm {e} ^{-t}{\rm ((d}t,))}$ ${\displaystyle \Re (z)>0.}$

数学家勒让德首次使用了希腊字母Γ作为该函数的记号。在概率论和组合数学中此函数很常用。

定义

${\displaystyle \Gamma \,}$函数可以通过欧拉（Euler）第二类积分定义：

${\displaystyle \Gamma (z)=\int _{0}^{\infty }t^{z-1}\mathrm {e} ^{-t}{\rm ((d}t))}$

对复数${\displaystyle z\,}$，我们要求${\displaystyle \mathrm {Re} (z)>0}$。

${\displaystyle \Gamma }$函数还可以通过对${\displaystyle \mathrm {e} ^{-t}\,}$做泰勒展开，解析延拓到整个复平面： ${\displaystyle \Gamma (z)=\int _{1}^{\infty }{\frac {t^{z-1)){\mathrm {e} ^{t))}{\rm {d))t+\sum _{n=0}^{\infty }{\frac {(-1)^{n)){n!)){\frac {1}{n+z))}$

这样定义的${\displaystyle \Gamma }$函数在全平面除了${\displaystyle z=0,-1,-2,\ldots }$以外的地方解析。

${\displaystyle \Gamma }$函数也可以用无穷乘积的方式表示：

${\displaystyle \Gamma (z)={\frac {1}{z))\prod _{n=1}^{\infty }\left(1+{\frac {z}{n))\right)^{-1}\left(1+{\frac {1}{n))\right)^{z))$

这说明${\displaystyle \Gamma (z)}$是亚纯函数，而${\displaystyle {\frac {1}{\Gamma (z)))}$是全纯函数。

历史动机

Γ函数本身可以被看作是一个下列插值问题的解：

‘找到一个光滑曲线连接那些由 ${\displaystyle y=(x-1)!}$ 所给定的点${\displaystyle (x,y)}$，并要求${\displaystyle x}$要为正整数’

由前几个的阶乘清楚地表明这样的曲线是可以被画出来的，但是我们更希望有一个精确的公式去描述这个曲线，并让阶乘的操作不会依赖于${\displaystyle x}$值的大小。而最简单的阶乘公式 ${\displaystyle x!=1\times 2\times \cdots \times x}$ 不能直接应用在${\displaystyle x}$值为分数的时候，因为它被限定在${\displaystyle x}$值为正整数而已。相对而言，并不存在一个有限的关于加总、乘积、幂次、指数函数或是对数函数可以表达 ${\displaystyle x!}$，但是是有一个普遍的公式借由微积分的积分与极限去表达阶乘的，而 Γ函数就是那个公式。^[1]

阶乘有无限多种的连续扩张方式将定义域扩张到非整数：可以通过任何一组孤立点画出无限多的曲线。Γ函数是实务上最好的一个选择，因为是解析的(除了正整数点)，而且它可以被定义成很多种等价形式。然而，它并不是唯一一个扩张阶乘意义的解析函数，只要给予任何解析函数，其在正整数上为零，像是 ${\displaystyle k\sin(m\pi x)}$，会给出其他函数有着阶乘性质。

无穷乘积

${\displaystyle \Gamma \,}$函数可以用无穷乘积表示：

${\displaystyle \Gamma (z)=\lim _{n\to {\infty ))n!\;n^{z}\prod _{k=0}^{n}(z+k)^{-1))$

${\displaystyle \Gamma (z)={\frac {\mathrm {e} ^{-\gamma z)){z))\prod _{n=1}^{\infty }\left(1+{\frac {z}{n))\right)^{-1}\mathrm {e} ^{\frac {z}{n))}$

其中${\displaystyle \gamma \,}$是欧拉-马歇罗尼常数。

Γ积分

${\displaystyle 1=\int _{0}^{\infty }{\frac {x^{\alpha -1}\lambda ^{\alpha }\mathrm {e} ^{-\lambda x)){\Gamma \left(\alpha \right))){\rm {d))x}$

${\displaystyle \implies {\frac {\Gamma \left(\alpha \right)}{\lambda ^{\alpha ))}=\int _{0}^{\infty }x^{\alpha -1}\mathrm {e} ^{-\lambda x}{\rm {d))x}$

递推公式

${\displaystyle \Gamma \,}$函数的递推公式为： ${\displaystyle \Gamma (x+1)=x\Gamma (x)}$，

对于正整数${\displaystyle n\,}$，有

${\displaystyle \Gamma (n+1)=n!}$，

可以说${\displaystyle \Gamma \,}$函数是阶乘的推广。

递推公式的推导

${\displaystyle \Gamma (n+1)=\int _{0}^{\infty }\mathrm {e} ^{-x}x^{n+1-1}\mathrm {d} x=\int _{0}^{\infty }\mathrm {e} ^{-x}x^{n}{\rm {d))x}$

我们用分部积分法来计算这个积分：

${\displaystyle \int _{0}^{\infty }\mathrm {e} ^{-x}x^{n}\mathrm {d} x=\left[{\frac {-x^{n)){\mathrm {e} ^{x))}\right]_{0}^{\infty }+n\int _{0}^{\infty }\mathrm {e} ^{-x}x^{n-1}{\rm {d))x}$

当${\displaystyle x=0\,}$时，${\displaystyle {\tfrac {-0^{n)){\mathrm {e} ^{0))}={\tfrac {0}{1))=0}$。当${\displaystyle x\,}$趋于无穷大时，根据洛必达法则，有：

${\displaystyle \lim _{x\rightarrow \infty }{\frac {-x^{n)){\mathrm {e} ^{x))}=\lim _{x\rightarrow \infty }{\frac {-n!\cdot 0}{\mathrm {e} ^{x))}=0}$.

因此第一项${\displaystyle \left[{\tfrac {-x^{n)){\mathrm {e} ^{x))}\right]_{0}^{\infty ))$变成了零，所以：

${\displaystyle \Gamma (n+1)=n\int _{0}^{\infty }{\frac {x^{n-1)){\mathrm {e} ^{x))}{\rm {d))x}$

等式的右面正好是${\displaystyle n\Gamma (n)\,}$, 因此，递推公式为：

${\displaystyle {\Gamma (n+1)=n\Gamma (n)}\,}$.

重要性质

• 当${\displaystyle z\to 0^{+))$时，${\displaystyle \Gamma (z)\to +\infty }$
• 欧拉反射公式（余元公式）：

${\displaystyle \Gamma (z)\Gamma (1-z)={\frac {\pi }{\sin {\pi z))}\quad (0<\mathrm {Re} (z)<1)}$.

由此可知当${\displaystyle \ z={\tfrac {1}{2))}$时，${\displaystyle \Gamma \left({\tfrac {1}{2))\right)={\sqrt {\pi ))}$.

• 伽马函数还是负自然指数函数的梅林变换: ${\displaystyle \Gamma (z)={\mathcal {M))\{e^{-x}\}(z).}$

• 乘法定理：

${\displaystyle \Gamma (z)\;\Gamma \left(z+{\tfrac {1}{2))\right)=2^{1-2z}\;{\sqrt {\pi ))\;\Gamma (2z)}$。

${\displaystyle \Gamma (z)\;\Gamma \left(z+{\tfrac {1}{m))\right)\;\Gamma \left(z+{\tfrac {2}{m))\right)\cdots \Gamma \left(z+{\tfrac {m-1}{m))\right)=(2\pi )^{\frac {m-1}{2))\;m^((\frac {1}{2))-mz}\;\Gamma (mz)}$.

• 此外：

${\displaystyle \Gamma \left(n+{\tfrac {1}{2))\right)={\frac {(2n)!{\sqrt {\pi ))}{n!4^{n))))$.

• 使用乘法定理推导的关系：

${\displaystyle \Gamma (1/6)=\Gamma (1/3)^{2}/{\sqrt {\pi ))*2^{2/3}*\sin({\pi /3}).}$

${\displaystyle \Gamma (5/6)=1/\Gamma (1/3)^{2}*{\sqrt {\pi ))^{3}*2^{4/3}/{\sqrt {3)).}$

${\displaystyle \Gamma (1/10)=\Gamma (1/5)*\Gamma (2/5)/{\sqrt {\pi ))*2^{4/5}*\sin({2*\pi /5}).}$

${\displaystyle \Gamma (3/10)=\Gamma (1/5)/\Gamma (2/5)*{\sqrt {\pi ))/2^{3/5}/\sin({3*\pi /10}).}$

${\displaystyle \Gamma (7/10)=\Gamma (2/5)/\Gamma (1/5)*{\sqrt {\pi ))*2^{3/5}.}$

${\displaystyle \Gamma (9/10)=1/(\Gamma (1/5)*\Gamma (2/5))*{\sqrt {\pi ))^{3}/2^{4/5}/(\sin(\pi /10)*\sin({2*\pi /5})).}$

^[2]

此式可用来协助计算t分布概率密度函数、卡方分布概率密度函数、F分布概率密度函数等的累计概率。

• 极限性质

对任何实数α

${\displaystyle \lim _{n\to \infty }{\frac {\Gamma (n+\alpha )}{\Gamma (n)n^{\alpha ))}=1,\qquad \alpha \in \mathbf {R} }$

斯特灵公式

Γ函数与斯特灵公式

由于已知的技术原因，图表暂时不可用。带来不便，我们深表歉意。

${\displaystyle \Gamma (z+1)}$（蓝色）、${\displaystyle {\sqrt {2\pi z))\left({\frac {z}{e))\right)^{z))$（橘色），数字越大${\displaystyle {\sqrt {2\pi z))\left({\frac {z}{e))\right)^{z},}$会越趋近${\displaystyle \Gamma (z+1)}$。但${\displaystyle {\sqrt {2\pi z))\left({\frac {z}{e))\right)^{z))$会在负值则会因为出现虚数而无法使用。

斯特灵公式能用以估计${\displaystyle \Gamma (z)}$函数的增长速度。公式为：

${\displaystyle \Gamma (z+1)\sim {\sqrt {2\pi z))\left({\frac {z}{e))\right)^{z},}$

其中e约等于2.718281828459。

特殊值

${\displaystyle {\begin{array}{rcccl}\Gamma \left(-{\tfrac {3}{2))\right)&=&{\tfrac {4}{3)){\sqrt {\pi ))&\approx &2.363\,271\,801\,207\\\Gamma \left(-{\tfrac {1}{2))\right)&=&-2{\sqrt {\pi ))&\approx &-3.544\,907\,701\,811\\\Gamma \left({\tfrac {1}{2))\right)&=&{\sqrt {\pi ))&\approx &1.772\,453\,850\,906\\\Gamma (1)&=&0!&=&1\\\Gamma \left({\tfrac {3}{2))\right)&=&{\tfrac {1}{2)){\sqrt {\pi ))&\approx &0.886\,226\,925\,453\\\Gamma (2)&=&1!&=&1\\\Gamma \left({\tfrac {5}{2))\right)&=&{\tfrac {3}{4)){\sqrt {\pi ))&\approx &1.329\,340\,388\,179\\\Gamma (3)&=&2!&=&2\\\Gamma \left({\tfrac {7}{2))\right)&=&{\tfrac {15}{8)){\sqrt {\pi ))&\approx &3.323\,350\,970\,448\\\Gamma (4)&=&3!&=&6\end{array))}$

连分数表示

伽马函数也可以在复数域表示为两个连分数之和^[3]：

${\displaystyle \Gamma (z)={\cfrac {e^{-1)){2+0-z+1{\cfrac {z-1}{2+2-z+2{\cfrac {z-2}{2+4-z+3{\cfrac {z-3}{2+6-z+4{\cfrac {z-4}{2+8-z+5{\cfrac {z-5}{2+10-z+\ddots ))))))))))))+{\cfrac {e^{-1)){z+0-{\cfrac {z+0}{z+1+{\cfrac {1}{z+2-{\cfrac {z+1}{z+3+{\cfrac {2}{z+4-{\cfrac {z+2}{z+5+{\cfrac {3}{z+6-\ddots ))))))))))))))}$

导数

对任何复数z，满足 Re(z) > 0，有

${\displaystyle {\frac ((\rm {d))^{n))((\rm {d))z^{n))}\,\Gamma (z)=\int _{0}^{\infty }t^{z-1}e^{-t}(\ln t)^{n}dt}$

于是，对任何正整数 m

${\displaystyle \Gamma '(m+1)=m!\left(-\gamma +\sum _{k=1}^{m}{\frac {1}{k))\right)\,}$

其中γ是欧拉-马歇罗尼常量。

复数值

${\displaystyle \Gamma (x+{\rm {i))y)=\left\{\int _{1}^{\infty }{\frac {t^{x-1)){\mathrm {e} ^{t))}\cos(y\ln t){\rm {d))t+\sum _{k=0}^{\infty }{\frac {(-1)^{k)){k!))\left[{\frac {k+x}{(k+x)^{2}+y^{2))}\right]\right\}+{\rm {i))\left\{\int _{1}^{\infty }{\frac {t^{x-1)){\mathrm {e} ^{t))}\sin(y\ln t){\rm {d))t-\sum _{k=0}^{\infty }{\frac {(-1)^{k)){k!)){\left[{\frac {y}{(k+x)^{2}+y^{2))}\right]}\right\}\,}$

解析延拓

注意到在${\displaystyle \Gamma }$函数的积分定义中若取${\displaystyle z\,}$为实部大于零之复数、则积分存在，而且在右半复平面上定义一个全纯函数。利用函数方程

${\displaystyle \Gamma (z)\Gamma (1-z)={\frac {\pi }{\sin {\pi z))}\quad (0<\mathrm {Re} (z)<1)}$

并注意到函数${\displaystyle \sin(\pi z)\,}$在整个复平面上有解析延拓，我们可以在${\displaystyle \mathrm {Re} (z)<1}$时设

${\displaystyle \Gamma (z)={\dfrac {\pi }{\Gamma (1-z)\sin {\pi z))))$

从而将${\displaystyle \Gamma \,}$函数延拓为整个复平面上的亚纯函数，它在${\displaystyle z=0,-1,-2,-3\cdots }$有单极点，留数为

${\displaystyle \mathrm {Res} (\Gamma ,-n)={\dfrac {(-1)^{n)){n!)).}$

程序实现

许多编程语言或表格软件有提供Γ函数或对数的Γ函数，例如EXCEL。而对数的Γ函数还要再取一次自然指数才能获得Γ函数值。例如在EXCEL中，可使用GAMMALN函数，再用EXP[GAMMALN(X)]，即可求得任意实数的伽玛函数的值。

• 例如在EXCEL中：EXP[GAMMALN(4/3)]=0.89297951156925

而在没有提供Γ函数的程序环境中，也能够过泰勒级数或斯特灵公式等方式来近似，例如Robert H. Windschitl在2002年提出的方法，其在十进制可获得有效数字八位数的精确度^[4]，已足以填满单精度浮点数的二进制有效数字24位：

${\displaystyle \Gamma (z)\approx {\sqrt {\frac {2\pi }{z))}\left({\frac {z}{e)){\sqrt {z\sinh {\frac {1}{z))+{\frac {1}{810z^{6))))}\right)^{z))$

参见

• 双伽玛函数
• 多伽玛函数
• 倒数伽玛函数
• 反伽玛函数
• 伽玛分布

参考文献

外部链接

• 神奇的Gamma函数(上)
• 神奇的Gamma函数(下)

规范控制数据库：各地 德国 日本