家用笔记1
位置与位置算子
让我们首先考虑一个在实线上运动的单一粒子。这样一个粒子的波函数是一个的映射。虽然这个映射会随着时间的推移而变化,但我们现在认为时间是固定的。函数被认为是粒子位置的概率密度。这意味着粒子的位置属于某个集的概率是
为了让这个规则有意义,应该归一化,使得
也就是说,应该是希尔伯特空间上的单位向量。
既然函数是粒子位置的概率密度,那么根据概率论的标准定义,位置的期望值将是
只要积分是绝对收敛的。这里为了抽象掉傀儡变元,使用指示函数来表示位置这个物理量。更一般地说,我们可以将位置的任何阶矩(moment,概率论概念。即位置的某个幂的期望值)计算为
同样假设积分是收敛的。
量子理论的一个关键思想是用算子和相关希尔伯特空间上的内积来表达各种量(位置、动量、能量等)的期望值。在位置的情况下,希尔伯特空间就是,我们可以引入由
定义的位置算子 ,也就是说,是“乘以”的算子。引入这个算子的意义在于,在(3)中定义的位置的期望值现在可以表示为
其中内积是上通常的内积。(回顾一下,我们是按照物理学的惯例,把共轭放在内积的第一个因子上)为了避免函数E的过度重载,我们将算子在状态中的期望值改用尖括号表示。蓝字是狄拉克记法。
在(4)中定义的位置的高阶矩也可以用位置算子来计算。
这里,我们用积分(4)写过的矩,用算子和内积再写了一遍,可谓是听君一席话,如听一席话。然而,算子描述将促使我们用相应的算子来平行描述粒子的动量、能量或角动量的矩。
应该注意的是,对于一个给定的,可能不在中。未能定义在我们所有的希尔伯特空间上,这反映了是一个无界算子。即使在中,对某些来说也可能不在中。尽管如此,对于中的任何单位向量,我们在上都有一个定义明确的概率密度,由给出。
动量与动量算符
在任何固定时间,粒子的波函数(根据薛定谔假设的波理论)只是一个“位置”变量的函数。尽管波函数通过直接编码了粒子位置的概率,但关于粒子动量的信息是如何编码的并不清楚。事实证明,动量是通过波函数的振荡来编码的。量子力学的一个关键思想是德布罗意假说,作为理解氢原子玻尔模型中允许的能量的一种方式。德布罗意假说提出了波函数的振荡频率——作为固定时间内位置的函数——和它的动量之间的特殊关系。
命题 3.5 (德布罗意假说) 如果一个粒子的波函数具有空间角频率,那么粒子的动量为:
其中是普朗克常数。
戴维森-盖默电子衍射实验,不仅有力地支持了电子具有波动行为的观点,而且还支持了电子的动量与相关波的空间频率之间的具体关系(8)。当然,命题3.5是相当模糊的。更准确一点说,命题3.5应该是指形式为的简谐波函数代表一个具有动量的粒子。这里,粒子的空间角频率对标的是光波的角频率。
现在,函数显然不是平方可积的,所以波函数[它应该满足归一化条件(2)]严格来说不可能是。因此,让我们简单地转而思考圆上的粒子,这样我们就可以避免某些技术问题。我们认为圆上粒子的波函数是上周期的一个函数,满足归一化条件:
对于任何整数,说归一化的简谐波函数代表一个具有动量的粒子都是有意义的。在这种情况下,我们应该认为粒子的动量是确定的,也就是说,是非随机的。如果粒子的波函数是,那么对粒子动量的测量应然(概率为1)给出数值。
现在,函数,构成了周期的、平方可积的函数所成的希尔伯特空间的正交基。因此,圆上粒子的一般的波函数都可以线性表出为:
上式又称傅里叶(Fourier)反演公式,等号右边是的傅里叶级数,它在中是绝对收敛的。复数列称作的傅里叶变换,其序号互为相反数的项互为共轭复数。这样,的第个傅里叶系数为:
如果被归一化为一个单位矢量,那么我们有普朗谢尔(Plancheral)公式:
对于一个波函数由(10)给出的粒子,粒子的动量不再是确定的。相反,我们应该认为,对粒子动量的测量将产生这些值中的一个,得到一个特定值的概率为,按照基本概率论,那么,动量的期望值应该是
而动量的更高阶矩应该是
假设级数绝对收敛。
我们希望在动量算子中编码动量条件(12)和(13),它的定义应该是:对于所有由(10)给出粒子的波函数,都有。如果满足
我们可以实现这种关系,因为那时,
满足(14)的的(大概是唯一的)选择是
现在回到实轴的设定,很自然地假设实线上的动量算子也应该由给出。这个算子满足关系
这应该是为了捕捉波函数具有动量的想法。尽管函数关于来说不是平方可积的,但傅里叶变换允许我们将任何平方可积的函数建立为形如的函数的叠加(superposition,是物理学家对线性组合或其连续类似物(continuous analog thereof),即积分,所使用的术语)。这意味着[通过与(10)的类比]我们有
其中是的傅里叶变换,定义为
普朗谢尔定理告诉我们,傅里叶变换是到的一个单元映射(unitary map)。即对于任何单位矢量:
考虑到圆的情况(11),我们很自然地认为,本质上是粒子动量的概率密度。(准确地说,是空间角频率的概率密度)
现在我们可以完全在希尔伯特空间内表达动量算子的属性,而不需要明确提及非平方可积的函数。
命题 3.6
用来定义动量算子。那么对于中所有足够好的单位向量,我们有
对于所有正整数m。(22)中的量被解释为动量的m次方的期望值,。
方程(22)应与圆的情况下的(15)进行比较。