物理学+数学：δ函数

最近看周世勋的《量子力学》第二版教材时，对公式2.2.28与2.2.29的推导部分看不明白，翻看第一版时，更是发现它与第二版有很多出入，依然看不明白，而且我的推导总是与它差一个指数的正负。其他教材都是同样的表达结果，说明此处推导过程说的不详细，需要仔细推导。但发现这个过程需要傅里叶变换，更是需要\(\delta\)函数的傅里叶变换，于是有了本文的整理。

本文旨在总结δ函数相关的定义/性质，持续补充ing……

内容来自于：δ函数 – 知乎 (zhihu.com)

狄拉克 delta 函数（严谨定义） – 知乎 (zhihu.com)

Delta函数 – 知乎 (zhihu.com)

delta 函数及其性质 – 知乎 (zhihu.com)

---

定义 I

在最经典的表述方法下，δ函数被定义为：

且 

这样定义的δ函数是最简洁且最符合物理直觉的一种方法，它很自然地让人们联想到概率分布、点源以及脉冲。譬如，在三维欧氏空间中，一个点电荷分布可以被描述为  ；在电信号中，一个理想情况下的脉冲信号可以被描述为  。同时，δ函数作为一个广义函数，其本身的性质由于极限性的缘故变得十分独特，如果我们顺着定义I来研究它，将得到一些有趣的数学性质。

---

性质 I

[证]：由定义，显然。

此条性质将被运用于计算坐标的本征函数(δ函数)的正交归一性上。

它还给出了1.0*：若存在两个函数  与  满足  ，则有 

[证]：由于δ函数本身的极限性质，显然有

在很小区间  中，  的值可以被  代替。

于是原积分

证毕#

非常直观地，δ函数的这个性质使它具备了对于任意函数的筛选功能，此性质同时也是其他性质的基础。

[证]：设函数  ，函数  ，考虑以下积分：

用两种不同的方式计算此积分，并利用性质1.1，有

那么显然

证毕#

此条性质表明δ函数是一个偶函数，这在一些涉及它的积分运算中非常有用。

[证]：考虑  ，以及  ，

稍作变换并联立，有

由于δ函数非负且为偶函数，而被积函数应恒等，故显然：

证毕#

此条性质也可看做奇偶性的推广(a=1)。

本条性质是根据筛选性应用到δ函数自身而自然得出的。

它可以具体地写为：

于是，还有性质1.4*：

[证]：考虑δ函数与  的卷积：

这直观地给出了延时的操作。

证毕#

而1.5*给出两个δ函数的卷积：

δ函数满足一类最简单的泊松方程：

由此得出一个矢量分析的恒等式

---

定义 II

在历史上，δ函数并不是作为一个广义函数被首先提出，而是作为在解决傅里叶变换问题时自然引出的一个辅助函数被提出。傅里叶在《热分析理论》(Théorie analytique de la chaleur)一书中，考虑了以下积分：

此积分用现代傅里叶变换的指数语言来描述，即为：

柯西后来指出，若将积分的计算顺序改变(不影响结果)，那么将得到另外一种形式：

在这里能够清晰地看到，  作为一个特殊的函数独立出来，它正是起到「筛选」的作用(算上归一化常数)。那么，这个函数可以被定义为：

有趣的是，若我们根据定义I计算δ函数的傅里叶变换(它显然满足绝对可积条件，而同时它又是和Dirichlet条件是自洽的，这在下文会详细讨论)，那么有：

显然，当  时，  ，即δ函数的傅里叶变换为常函数1。

于是，可以写出反傅里叶变换：

这和我们刚才得出的结论是完全等价/自洽的。上式便是δ函数的第二种定义。

---

性质 II

根据定义II，我们有能力继续探讨δ函数的其他三大性质。

δ函数定义I的两大特征给予我们一个灵感：是否存在其他的一些经典函数，它们虽然不作为广义函数，但能够在某些极限情况下自然过渡到δ函数？

在同一定义域  上，我们取一个由参数  描述的函数  ，它满足以下两条类δ函数性质：

i） 
ii） 

以及过渡性质：

iii） 

那么，我们有充足的理由相信： 

基于此，我们可以得到大量δ函数的辅助函数，以下仅作为结论给出(均易证)：

 (sinc函数)

 (高斯核/热核，它由无限长细杆的热传导问题得出)

 (泊松核，它由半平面拉普拉斯方程问题得出)

 (此函数在极限情况下每一点都趋于δ函数)

图略。

 (  ，此函数的定义域为  ，因为这个定义域上它已经是归一化的了)

Dirichlet核将作为一个重要的δ函数的辅助函数，用来证明Dirichlet定理的充分性。

为了引入Dirichlet核，我们考虑以下求和：

利用三角恒等变形： 

裂项计算：

那么

两边同时在  积分，由于余弦函数是偶函数，左边求和符号内积分为0，故有：

考虑凑成归一化形式，于是令  ，它被称为Dirichlet内核(Dirichlet kernel)，与  类似，它满足：

i） 
ii） 

故  为δ函数的一个辅助函数，  。

我们还可以考虑另一个Dirichlet核，Diirichlet倍核，它是

显然它在非对称区间  上是归一化的，它的极限同样是δ函数。

利用这两个Dirichlet核，我们尝试证明Dirichlet定理的充分性。在傅里叶分析中，Dirichlet定理被表述为：

若 
i）在  内除有限点外有定义且是单值的；
ii）在  外是周期为  的周期函数；
iii）在  内分段光滑，即它和它的一阶导数  在  内分段连续，
则 的傅里叶级数  收敛于
i）  ，若  为连续点；
ii）  ，若  为第一类间断点。

我们需要考虑的是傅里叶级数收敛性在连续点和第一类间断点都是符合Dirichlet定理的，一个非常好的思路是将级数以部分和的形式带入计算，最后将求和上限的参数取极限到正无穷，可以想象，取极限的过程正是积分内δ函数的辅助函数过渡为δ函数的过程。

[证]：下面给出一种简略的证法。

首先给出傅里叶级数的部分和： 

系数分别为：

 ；  ； 

带入后并应用和差角公式与Dirichlet内核，有

i）连续点

对于连续点，可以自然地在  处直接取  ，故有

ii）第一类间断点

通过在间断点两侧拆分积分，我们自然地引入了Dirichlet倍核，于是可以方便地在间断点处取极限：

证毕#

2.2.1 坐标算符的连续谱本征函数

坐标的本征方程： 

注意到性质1.0：  ，显然  满足本征方程，即

同时，本征函数δ函数满足正交归一性，即

且满足完备性，即任意一个连续函数可按照坐标算符的本征函数集展开：

在坐标表象中，几个力学量的矩阵表示为：

2.2.2 动量算符的连续谱本征函数

动量的本征方程： 

和坐标算符一样，它也满足正交归一性： 

若基于动量的一般本征函数  ，根据正交归一性可以得出归一化常数为

对于动量本征函数的完备性，考虑  的傅里叶变换：

带入  ，有按照动量算符的本征函数集展开的  ：

而对于δ函数，它的展开即为：

对于动量表象下的力学量，只需要将坐标表象下的δ函数内的坐标换为动量，将δ函数外的坐标换为  。

---

定义 III

δ函数被定义为阶梯函数的导函数。

阶梯函数： 

从更广义的角度来看，对一个非连续函数在间断点处取微分，都可以得到类δ函数(局部相似)。

考虑积分：

对它进行分部积分操作：

由被积函数处处相等可得到上述结论。

---

性质 III

由定义III，δ函数在半经典热统里有着重要的意义，它在离散的求和转化为连续的积分时通过对阶梯函数求导而出现(它与能级有关)。

在热统中， 是宏观层面上对“无穷小”量的描述，但是在微观层面  量级上，能级非常稠密，  实际上包含了很多层能级。因此在求和的过程中，完全可以取相空间上的一个状态点  来用积分替换状态求和。在引入态密度  时：

利用这一点可以去尝试求一些简单的态密度函数。

例如经典情况下： 

经典情况下多粒子态密度函数为：

其中

而在非极端相对论情况下(  )，我们需要证明δ函数的另一个性质。

对于一些只有单根的  ，若记它的根为  ，满足：

i） 
ii） 

则

[证]：很显然，只有在  时，即取那些单根  时，  才不为0，那么可以将其展开为

对于展开系数  ，考虑积分

利用微分中值定理，并令  ，有：

又左式可以写为：

再做换元  ，有：

i）若  ，则 

那么显然， 

ii）若  ，则 

那么，更换积分上下限，有 

综上，展开系数  ，在乘上  并求和过程中，等价于  。

证毕#

根据这条性质，我们有：

基于此，给出非极端相对论情况下的单粒子态密度函数：

---

定义 IV

分布/测度

待补充。

 

 

请使用手机”扫一扫”x