本文先证明一个重要的引理:泊松求和公式,然后给出一个实例:一维晶体衍射,并在计算过程中引入Ш函数,并介绍Ш函数的一些性质。
首先,我们先证明泊松求和公式:
若为速降函数,则
∑k=−∞∞φ(k)=∑k=−∞∞Fφ(k)(1)
证明如下:
我们先将函数
φ(x)
周期化,即在一维直线上每隔
k
放一个
φ
,这样就可以得到
Φ(x)=∑k=−∞∞φ(x−k)(2)
接着,我们将
Φ(x)
用傅里叶级数展开,有:
Φ(x)=∑k=−∞∞Φ^(k)e2πikx(3)
其中,
Φ^(s)=∫10Φ(x)e−2πisxdx
我们将
(2)
式带入其中,并令
u=x−k
,则有
Φ^(s)=∫10∑k=−∞∞φ(x−k)e−2πisxdx=∑k=−∞∞∫1−k−kφ(u)e−2πis(u+k)du=∑k=−∞∞∫1−k−kφ(u)e−2πisue−2πiskdu
注意到傅里叶级数的原函数周期为
1
,因此积分区间
k,1+k
对于任何实数
k
积分的值都是相同的,同时,因为是级数展开式,因此式中的
s
和
k
都是整数,于是
e−2πisk=1
。最后,我们注意到,
k
的取值从
−∞
到
∞
,相当于积分上下限的增加,最后将增加到
(−∞,∞)
。于是,我们得到:
Φ^=Fφ
将其代回
(3)
式,我们有
Φ(x)=∑k=−∞∞Fφ(k)e2πikx(4)
使
(2)
、
(4)
两式中的
k=0
,可得
Φ(0)=∑k=−∞∞φ(−k)=∑k=−∞∞φ(k)
Φ(0)=∑k=−∞∞Fφ(k)
对比求和项,得证
接下来,我们给出一个分布傅里叶变换应用的实例:一维晶体衍射
方便起见,我们研究一维情况,即原子分布在一条无限上的直线上
我们设单个原子的密度为
ρ(x)
,考虑到量子力学,其实这就是概率密度。接着,我们选定某个原子作为零点,设这些原子两两间隔为
a
,则整个一维直线上的原子的密度可以表示为所有位置的原子的密度之和,即
ρa(x)=∑k=−∞∞ρ(x−ka)
注意到右边可以表示成,
δ
函数的卷积形式,有
ρa(x)=∑k=−∞∞ρ(x)∗δ(x−ka)=ρ(x)∗∑k=−∞∞δ(x−ka)(5)
此时,我们引入Ш函数,我们定义:
Шa(x)=∑k=−∞∞δ(x−ka)
(5)
式就可以表示为
ρa(x)=ρ(x)∗Шa(x)
两边取傅里叶变换,有:
Fρa(x)=(Fρ(x))(FШa(x))(6)
想解出
(6)
式,就必须知道Ш函数的傅里叶变换,我们先看Ш函数的傅里叶变换
首先,当
a=0
时,
Ш=∑k=−∞∞δ(x−k)
于是,
FШ=⟨FШ,φ⟩=⟨Ш,Fφ⟩=⟨∑k=−∞∞δ(x−k),Fφ⟩=∑k=−∞∞Fφ(k)
由泊松求和公式
(1)
式,可得
⟨Ш,Fφ⟩=∑k=−∞∞φ(k)=⟨Ш,φ⟩=Ш
于是我们就得到了
FШ=Ш(7)
接下来看更普通的情况,一下过程用到了
δ(ax)
的性质
Шa(x)=∑k=−∞∞δ(x−ka)=∑k=−∞∞δ(a(xa−k))=1a∑k=−∞∞δ(xa−k)=1aШ(xa)
那么
FШa(x)=F(1aШ(xa))=1aF(Ш(xa))=1a(a(FШ)(ax))=Ш(ax)=∑k=−∞∞δ(ax−k)=∑k=−∞∞δ(a(x−ka))=1a∑k=−∞∞δ(x−1ak)=1aШ1a
即
FШa=1aШ1a(8)
Шa
与
FШa
的部分图像如上图所示,可见他们的间隔互为倒数,
FШa
的高度是
Шa
的
1a
倍(虽然其实箭头指代的都是正无穷)
现在我们回到待解决的
(6)
式,我们将
(8)
式代入
(6)
式中,即可得到:
Fρa=(Fρ)(1aШ1a)=1a(Fρ)∑k=−∞∞δ(x−1ak)=1a∑k=−∞∞Fρ(ka)δ(x−ka)
从衍射的公式可以看出,一维晶格的衍射图案为一系列间距为
1p
的点,各点的强度如上式所示
最后,我们给出Ш函数的一些常用性质
1. 采样性
f(x)Шa(x)=∑k=−∞∞f(ka)δ(x−ka)
2. 周期性
(f∗Шa)(x)=∑k=−∞∞f(x−ka)
3. 傅里叶正逆变换
FШa=1aШ1a
F−1Шa=1aШ1a