常用特殊函数

注意

该页面有待完善．如果遇到错误或不完整的地方，欢迎提交 Issue

在求解物理问题，特别是微分方程时，我们经常会遇到一些不属于初等函数范畴的函数，这些函数被称为 特殊函数．它们在数学物理方法中占有核心地位．

伽马函数 (Gamma Function)

伽马函数 $Γ (z)$ 是阶乘函数在复数域上的推广．

定义

对于 $Re (z) > 0$ ，伽马函数定义为积分形式：

Γ (z) = \int_{0}^{\infty} t^{z - 1} e^{- t} d t

这个定义可以通过解析延拓推广到整个复平面，除了非正整数点（ $z = 0, - 1, - 2, \dots$ ），在这些点上伽马函数有简单极点．

性质

递推关系：
$Γ (z + 1) = z Γ (z)$
这是通过分部积分得到的．
与阶乘的关系：对于正整数 $n$ ，
$Γ (n) = (n - 1)!$
例如， $Γ (4) = 3! = 6$ ．
特殊值：
$Γ (1 / 2) = \sqrt{π}$
这个结果可以通过计算高斯积分得到．
欧拉反射公式：
$Γ (z) Γ (1 - z) = \frac{π}{\sin (π z)}$

伽马函数在统计力学、弦理论和量子场论中都有应用．

贝塔函数 (Beta Function)

贝塔函数与伽马函数密切相关，常出现在概率论和积分计算中．

定义

对于 $Re (x) > 0, Re (y) > 0$ ，贝塔函数定义为：

B (x, y) = \int_{0}^{1} t^{x - 1} (1 - t)^{y - 1} d t

与伽马函数的关系

B (x, y) = \frac{Γ (x) Γ (y)}{Γ (x + y)}

这个关系使得贝塔函数的计算可以转化为伽马函数的计算．

贝塞尔函数 (Bessel Functions)

贝塞尔函数是 贝塞尔微分方程 的解．贝塞尔方程出现在涉及柱对称性的问题中，例如圆柱形波导中的电磁波、圆形鼓膜的振动等．

贝塞尔方程为：

x^{2} \frac{d^{2} y}{d x^{2}} + x \frac{d y}{d x} + (x^{2} - ν^{2}) y = 0

其中 $ν$ 是一个常数，称为贝塞尔函数的阶．

这是一个二阶线性常微分方程，因此它有两个线性无关的解．

第一类贝塞尔函数 $J_{ν} (x)$ ：在 $x = 0$ 处是有限的．
第二类贝塞尔函数 $Y_{ν} (x)$ （也称诺伊曼函数 $N_{ν} (x)$ ）：在 $x = 0$ 处是发散的．

方程的通解为：

y (x) = c_{1} J_{ν} (x) + c_{2} Y_{ν} (x)

在物理问题中，如果解在原点必须是有限的，那么系数 $c_{2}$ 必须为零．

勒让德多项式 (Legendre Polynomials)

勒让德多项式是 勒让德微分方程 的解．勒让德方程出现在涉及球对称性的问题中，特别是在分离变量求解拉普拉斯方程或薛定谔方程时．

勒让德方程为：

(1 - x^{2}) \frac{d^{2} y}{d x^{2}} - 2 x \frac{d y}{d x} + n (n + 1) y = 0

其中 $n$ 是非负整数．

当 $n$ 为整数时，方程的解是在区间 $[- 1, 1]$ 上有界的多项式，称为 勒让德多项式 $P_{n} (x)$ ．

罗德里格斯公式

P_{n} (x) = \frac{1}{2^{n} n!} \frac{d^{n}}{d x^{n}} (x^{2} - 1)^{n}

前几个勒让德多项式为：

$P_{0} (x) = 1$
$P_{1} (x) = x$
$P_{2} (x) = \frac{1}{2} (3 x^{2} - 1)$
$P_{3} (x) = \frac{1}{2} (5 x^{3} - 3 x)$

正交性

勒让德多项式在区间 $[- 1, 1]$ 上是正交的：

\int_{- 1}^{1} P_{m} (x) P_{n} (x) d x = \frac{2}{2 n + 1} δ_{m n}

其中 $δ_{m n}$ 是克罗内克符号．这种正交性使得它们可以作为函数空间的基，用于展开其他函数，这在多极展开和量子力学中非常有用．

球谐函数 (Spherical Harmonics)

球谐函数 $Y_{l}^{m} (θ, ϕ)$ 是拉普拉斯方程在球坐标系下角度部分的解．它们是描述球面上物理现象（如原子轨道、行星引力场、宇宙微波背景辐射的各向异性）的自然基函数．

定义

球谐函数是 连带勒让德多项式 $P_{l}^{m} (\cos θ)$ 和复指数的乘积：

Y_{l}^{m} (θ, ϕ) = \sqrt{\frac{(2 l + 1)}{4 π} \frac{(l - m)!}{(l + m)!}} P_{l}^{m} (\cos θ) e^{i m ϕ}

$l$ 是非负整数，称为 角量子数 或 轨道量子数，决定了总的角动量．
$m$ 是整数，满足 $- l \leq m \leq l$ ，称为 磁量子数，决定了角动量在 $z$ 轴上的投影．

正交性

球谐函数在单位球面上是正交的：

\int_{0}^{2 π} d ϕ \int_{0}^{π} \sin θ d θ Y_{l^{'}}^{m^{'}} (θ, ϕ)^{*} Y_{l}^{m} (θ, ϕ) = δ_{l l^{'}} δ_{m m^{'}}

这使得任何定义在球面上的「行为良好」的函数都可以展开为球谐函数的级数．

狄拉克 $δ$ 函数 (Dirac Delta Function)

狄拉克 $δ$ 函数是一个广义函数或分布，它在物理学中被用来表示点电荷、点质量或瞬时冲量等理想化的物理量．

定义

$δ$ 函数通常由以下性质定义：

$δ (x) = 0$ 对于所有 $x \neq 0$ ．
$\int_{- \infty}^{\infty} δ (x) d x = 1$ ．

它在 $x = 0$ 处有一个无限高的尖峰，但其下总面积为 1．

筛选性质

$δ$ 函数最重要的性质是其 筛选性质：

\int_{- \infty}^{\infty} f (x) δ (x - a) d x = f (a)

这个性质意味着 $δ$ 函数可以从积分中「筛选」出函数在某一点的值．这个性质在信号处理和量子力学中极其有用．

本页面最近更新：2026/7/3 22:14:58，更新历史
发现错误？想一起完善？在 GitHub 上编辑此页！
本页面贡献者：Leafuke
本页面的全部内容在 CC BY-SA 4.0 和 SATA 协议之条款下提供，附加条款亦可能应用