狄拉克 Delta 函数

物理问题引入：如何用数学描述「没有体积的点电荷」？

在宏观电磁学中，电荷密度定义为单位体积内的电荷量： $ρ = \frac{Δ q}{Δ V}$ rho = Delta q/Delta V．但是，经典电动力学常常研究 理想点电荷 $q$ q：

它集中在空间中一个没有体积的几何点 $r_{0}$ r_0 处（ $Δ V \to 0$ Delta V -> 0）；
在该点处，电荷密度应当发散到无穷大（ $ρ (r_{0}) = \infty$ rho(r_0) = inf）；
在除该点之外的其余所有空间，电荷密度严格为零（ $ρ (r \neq r_{0}) = 0$ rho(r != r_0) = 0）；
然而，当对包含该点的整个空间区域积分时，总电荷必须精确等于 $q$ q： $∭ ρ (r) d V = q$ iiint rho(r)dV = q．

在传统柯西 - 黎曼积分体系中，一个「几乎处处为零」的函数其积分必然为零，根本无法容纳这种物理现实．为了给点电荷、瞬间冲量、质点质量密度赋予合法的数学身份，保罗·狄拉克（Paul Dirac）引入了 $δ$ delta 函数（后由数学家施瓦茨建立为严格的 广义函数/分布（Distribution）理论）．

1. 狄拉克 $δ$ delta 函数的定义与极限表示

1.1 算子定义（筛选性定义）

严格来说， $δ (x)$ delta(x) 并非传统逐点定义的普通函数，而是一个作用于连续测试函数 $f (x)$ f(x) 上的线性泛函：

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

int_-inf^inf f(x) delta(x - a) dx = f(a)

1.2 物理近似序列（弱收敛极限）

在真实物理系统中，点源都是某种极端极限下的近似． $δ (x)$ delta(x) 可视为下列光滑函数序列在参数 $ϵ \to 0$ epsilon -> 0 时的弱极限：

高斯函数极限：
$δ (x) = lim_{ϵ \to 0} \frac{1}{\sqrt{2 π} ϵ} \exp (- \frac{x^{2}}{2 ϵ^{2}})$ delta(x) = lim_epsilon -> 0 12piepsilon expleft(-x^22epsilon^2right)
洛伦兹型（柯西分布）极限：
$δ (x) = lim_{ϵ \to 0} \frac{1}{π} \frac{ϵ}{x^{2} + ϵ^{2}}$ delta(x) = lim_epsilon -> 0 1pi x^2 + epsilon^2
波动与傅里叶积分核极限（狄利克雷核）：
$δ (x) = lim_{K \to \infty} \frac{\sin (K x)}{π x} = \frac{1}{2 π} \int_{- \infty}^{\infty} e^{i k x} d k$ delta(x) = lim_K -> inf sin(K x)pi x = 12pi int_-inf^inf e^ikx dk

2. 核心代数与微积分性质

性质	数学表达式	物理背景与限定
偶函数性	$δ (- x) = δ (x)$ delta(-x)=delta(x)	点源无固有空间朝向
标度变换	$δ (c x) = \frac{1}{\| c \|} δ (x)$ delta(cx)=1lvert crvertdelta(x)， $c \neq 0$ cne0	缩放坐标反比改变密度
函数零点展开	$δ (g (x)) = \sum_{i} \frac{δ (x - x_{i})}{\| g^{'} (x_{i}) \|}$ delta(g(x))=sum_idelta(x-x_i)lvert g'(x_i)rvert	$x_{i}$ x_i 必须为孤立单根： $g (x_{i}) = 0$ g(x_i)=0、 $g^{'} (x_{i}) \neq 0$ g'(x_i)ne0
一阶导数筛选	$\int_{- \infty}^{\infty} f (x) δ^{'} (x - a) d x = - f^{'} (a)$ int_-inf^inff(x)delta'(x-a) ,mathrm dx=-f'(a)	对测试函数分部积分
阶跃函数导数	$δ (x) = \frac{d Θ (x)}{d x}$ delta(x)=mathrm dTheta(x)mathrm dx	在分布意义下成立

3. 三维空间形式与正交坐标系表达

在三维空间中，点源的三维狄拉克 $δ$ delta 函数定义为笛卡尔分量的乘积：

δ (r - r_{0}) = δ (x - x_{0}) δ (y - y_{0}) δ (z - z_{0})

delta(r - r_0) = delta(x - x_0)delta(y - y_0)delta(z - z_0)

满足全空间体积分归一性： $∭_{R^{3}} δ (r - r_{0}) d^{3} r = 1$ iiint_R^3 delta(r - r_0)d^3r = 1．

曲线正交坐标系中的展开

由于体积元在曲线坐标系中含有拉梅系数（Lamé coefficients）雅可比行列式 $d V = h_{1} h_{2} h_{3} d u_{1} d u_{2} d u_{3}$ dV = h_1 h_2 h_3 du_1 du_2 du_3：

柱坐标系 $(r, θ, z)$ (r, theta, z)：
$δ (r - r_{0}) = \frac{1}{r} δ (r - r_{0}) δ (θ - θ_{0}) δ (z - z_{0})$ delta(r - r_0) = 1r delta(r - r_0)delta(theta - theta_0)delta(z - z_0)
球坐标系 $(r, θ, ϕ)$ (r, theta, phi)：
$δ (r - r_{0}) = \frac{1}{r^{2} \sin θ} δ (r - r_{0}) δ (θ - θ_{0}) δ (ϕ - ϕ_{0})$ delta(r - r_0) = 1r^2 sintheta delta(r - r_0)delta(theta - theta_0)delta(phi - phi_0)

4. 物理皇冠公式：泊松方程与基本解

在经典静电学中，距原点 $r$ r 处的单位点电荷激发的库仑势为 $ϕ (r) = \frac{1}{4 π ε_{0} r}$ phi(r) = 14pivarepsilon_0 r．在除原点外的任意位置：

\nabla^{2} (\frac{1}{r}) = \frac{1}{r^{2}} \frac{d}{d r} (r^{2} \frac{d}{d r} \frac{1}{r}) = \frac{1}{r^{2}} \frac{d}{d r} (- 1) = 0

nabla^2 left(1rright) = 1r^2ddrleft(r^2 ddr1rright) = 1r^2ddrleft(-1right) = 0

然而，根据高斯散度定理，包围原点的任意闭合球面上电场通量为：

\oint_{S} \nabla (\frac{1}{r}) \cdot d S = \oint_{S} (- \frac{\hat{r}}{r^{2}}) \cdot (\hat{r} r^{2} d Ω) = - \oint_{S} d Ω = - 4 π

oint_S nablaleft(1rright)*dS = oint_S left(-rr^2right)* (r r^2 dOmega) = -oint_S dOmega = -4pi

如果 $\nabla^{2} (1 / r)$ nabla^2(1/r) 处处为零，根据散度定理体积分也应为零，这产生明显矛盾！唯一的解释是，原点处包含了集中发散的散度源．用 $δ$ delta 函数表达这一深刻事实即为：

\nabla^{2} (\frac{1}{| r - r^{'} |}) = - 4 π δ (r - r^{'})

nabla^2 left(1|r - r'|right) = -4pi delta(r - r')

格林函数方法的诞生之门

上式意味着： $G (r, r^{'}) = \frac{1}{4 π | r - r^{'} |}$ G(r, r') = 14pi|r - r'| 是拉普拉斯算符在三维无限大自由空间中的 格林函数！后续所有静电边值与电动力学积分，均源于这一个方程．

5. 学习衔接

下一节：用正交基展开周期信号与函数，进入傅里叶级数；
核心应用：在格林函数方法中掌握任意点源场卷积积分．

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