常用特殊函数

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

伽马函数 (Gamma Function)

伽马函数 $\mathrm{\Gamma }(z)$ 是阶乘函数在复数域上的推广。

定义

对于 ，伽马函数定义为积分形式：

$$\mathrm{\Gamma }(z)={\int }_0^{\mathrm{\infty }}{t}^{z-1}{e}^{-t}dt$$

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

性质

• 递推关系：

$$ \Gamma(z+1) = z\Gamma(z) $$

这是通过分部积分得到的。

• 与阶乘的关系：对于正整数 $n$，

$$ \Gamma(n) = (n-1)! $$

例如，$\mathrm{\Gamma }(4)=3!=6$。

• 特殊值：

$$ \Gamma(½) = \sqrt{\pi} $$

这个结果可以通过计算高斯积分得到。

• 欧拉反射公式：

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

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

贝塔函数 (Beta Function)

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

定义

对于 ，贝塔函数定义为：

$$B(x,y)={\int }_0^1{t}^{x-1}(1-t{)}^{y-1}dt$$

与伽马函数的关系

$$B(x,y)=\frac{\mathrm{\Gamma }(x)\mathrm{\Gamma }(y)}{\mathrm{\Gamma }(x+y)}$$

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

贝塞尔函数 (Bessel Functions)

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

贝塞尔方程为：

$$x^2\frac{d^{2}y}{d{x}^2}+x\frac{dy}{dx}+(x^2-{\nu }^2)y=0$$

其中 $\nu$ 是一个常数，称为贝塞尔函数的阶。

这是一个二阶线性常微分方程，因此它有两个线性无关的解。 - 第一类贝塞尔函数 $J_{\nu }(x)$：在 $x=0$ 处是有限的。 - 第二类贝塞尔函数 $Y_{\nu }(x)$（也称诺伊曼函数 $N_{\nu }(x)$）：在 $x=0$ 处是发散的。

方程的通解为：

$$y(x)=c_1{J}_{\nu }(x)+c_2{Y}_{\nu }(x)$$

在物理问题中，如果解在原点必须是有限的，那么系数 $c_2$ 必须为零。

勒让德多项式 (Legendre Polynomials)

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

勒让德方程为：

$$(1-x^2)\frac{d^{2}y}{d{x}^2}-2x\frac{dy}{dx}+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}(3x^2-1)$
• $P_3(x)=\frac{1}{2}(5x^3-3x)$

正交性

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

$${\int }_{-1}^1{P}_m(x)P_n(x)dx=\frac{2}{2n+1}{\delta }_{mn}$$

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

球谐函数 (Spherical Harmonics)

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

定义

球谐函数是连带勒让德多项式 $P_l^m(\cos \theta )$ 和复指数的乘积：

$$Y_l^m(\theta ,\varphi )=\sqrt{\frac{(2l+1)}{4\pi }\frac{(l-m)!}{(l+m)!}}{P}_l^m(\cos \theta )e^{im\varphi }$$

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

正交性

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

$${\int }_0^{2\pi }d\varphi {\int }_0^{\pi }\sin \theta d\theta Y_{l^{\prime }}^{m^{\prime }}(\theta ,\varphi {)}^{\ast }{Y}_l^m(\theta ,\varphi )={\delta }_{l{l}^{\prime }}{\delta }_{m{m}^{\prime }}$$

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

狄拉克 $\delta$ 函数 (Dirac Delta Function)

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

定义

$\delta$ 函数通常由以下性质定义： 1. $\delta (x)=0$ 对于所有 $x\ne 0$。 2. ${\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}\delta (x)dx=1$。

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

筛选性质

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

$${\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}f(x)\delta (x-a)dx=f(a)$$

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

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

评论