力学量用算符表达
§3.1 算符的运算规则一、算符的定义：
算符代表对波函数进行某种运算或变换的符号。
表示?把函数u变成 v,?就是这种变换的算符。
为强调算符的特点，常常在算符的符号上方加一个“^”号。但在不会引起误解的地方，也常把“^”略去。
二、算符的一般特性
1、线性算符满足如下运算规律的算符?，称为线性算符
其中c1,c2是任意复常数，(1,(2是任意两个波函数。
例如：动量算符，
单位算符I是线性算符。
2、算符相等若两个算符?、对体系的任何波函数(的运算结果都相同，即，则算符?和算符相等记为。
3、算符之和
若两个算符?、对体系的任何波函数(有：，则称为算符之和。
，
4、算符之积
算符?与之积，记为，定义为
(是任意波函数。一般来说算符之积不满足交换律，即。
5、对易关系若，则称?与不对易。
若，则称?与对易。
若算符满足,则称和反对易。
例如：算符x,不对易证明：(1)
(2)
显然二者结果不相等，所以：
因为(是体系的任意波函数，所以
对易关系同理可证其它坐标算符与共轭动量满足
，
但是坐标算符与其非共轭动量对易，各动量之间相互对易。
，，
，，
，，
写成通式(概括起来)：
(1)
其中或
量子力学中最基本的对易关系。
注意：当?与对易，与?对易，不能推知?与?对易与否。
6、对易括号(对易式)
为了表述简洁，运算便利和研究量子力学与经典力学的关系，人们定义了对易括号：
这样一来，坐标和动量的对易关系可改写成如下形式：
不难证明对易括号满足下列代数恒等式：
1)
2)
3) ,，
4) ——称为 Jacobi 恒等式。
角动量的对易式：
(1)在直角坐标系中角动量算符的对易关系角动量算符
在直角坐标中的三个分量可表示为
，， （要求会证明）
是角动量算符的定义式。
式中((((称淡Levi-Civita符号，是一个三阶反对称张量，定义如下：
其中或
证明：或
或
(2)在球坐标系中角动量算符的对易关系
只与(,( 有关，与r 无关，而且只与( 有关。
或
其中，可称为径向动量算符。
(3)角动量升降阶算符
(I) 定义
，
显然有如下性质
,
这两个算符不是厄密算符。
(II) 对易关系
,，，
7、逆算符
(1),定义,设?(=(,能够唯一的解出(,则可定义算符?之逆?-1为,
(2).性质I,若算符?之逆?-1存在，则
,
(3).性质II,若?,均存在逆算符,则
8、算符函数设给定一函数F(x)，其各阶导数均存在，其幂级数展开收敛
则可定义算符?的函数F(?)为,
补充：定义一个量子体系的任意两个波函数(态) (与(的“标积”
是指对体系的全部空间坐标进行积分，d(是坐标空间体积元。例如
对于一维粒子：
对于三维粒子：
可以证明
9、转置算符
算符?的转置算符定义为
即
式中(和(是两个任意波函数。
例如：（证明）
可以证明：
10、复共轭算符算符?的复共轭算符?*就是把?表达式中的所有量换成其复共轭。
但应注意，算符?的表达式与表象有关。
11、厄米共轭算符
算符?之厄米共轭算符?+定义为：
或
厄密共轭算符亦可写成：
可以证明,
12、厄米算符 (自共轭算符)
(1),定义,满足下列关系的算符称为厄米算符.
或
(2),性质性质 I：两个厄密算符之和仍是厄密算符。
性质 II：两个厄密算符之积一般不是厄密算符,除非二算符对易。
三、算符的本征方程
如果算符?作用于函数(的结果，等于某一常数(乘以(，即
(2)
那么称(为算符?的本征值，(为算符?的属于本征值(的本征函数。方程(2)称为算符?的本征方程。
§3.2 动量算符和角动量算符一、动量算符
1、动量算符的厄密性（证明）
2、动量算符本征方程
，即
采用分离变量法，令：
代入动量本征方程
(
(1)
可取任意实数值，即动量算符的本征值组成连续谱，相应的本征函数为(1)式所表示的，这正是自由粒子的de Broglie波的空间部分波函数。
(2).归一化系数的确定
①、归一化为 ( 函数取，则归一化为函数，
(2)
（3）
一维情况：
②、箱归一化——P70-72（略去不讲）
箱归一化方法仅对平面波适用，而归一化为(函数方法对任何连续谱都适用。
二、角动量算符
1、角动量算符的形式
(1)、直角坐标系它在直角坐标系中的三个分量是：
角动量平方算符
(2)、球坐标利用上述变换关系可以得到在球坐标中的表示式是
只与(,( 有关，与r 无关，而且只与( 有关。
2、的本征值和本征函数
为了求出的本征值lz和本征函数((()，我们解下列本征方程：
( 的本征值为：
式中的m习惯上称为磁量子数。
相应本征函数：
角动量在空间的任何方向的投影都是量子化的，它的值只能是0,(?,(2?,(，而不能是其他的值。
3、的本征值和本征函数
设的本征值为，本征函数为Y((,()，本征方程为
在球坐标系中，只与(,(有关，所以，则
(6)
令，，其中((()只是(的函数，((()只是(的函数，由(6)式可得
( 的本征值为l(l+1)?2，所属的本征函数为Ylm((,()，
；
Ylm((,() 正交归一条件为：
说明：(1)、由上面结果可知的本征值为l(l+1)?2，所属的本征函数为Ylm((,()，
,
显然，只能取一系列离散值，由于l是表征角动量的大小，所以称l为角量子数。
(2)、
Ylm((,()即是的本征函数，也是的本征函数，其相应的本征值分别为l(l+1)?2，m?。即球谐函数Ylm((,()是的共同本征态
(3)、我们把一个本征值只对应一个本征函数的情况称为非简并；把对应于一个本征值有一个以上本征函数的情况称为简并，把对应于同一本征值的本征函数的数目称为简并度。的本征值是(2l+1)度简并的。
(4)、通常把的态，依次称为态，而把处于这些态的粒子称为粒子。
4、平面转子的能量本征值与本征态,
绕z轴转动的平面转子的能量经典表达式为，I为转动惯量，lz为角动量。
能量本征方程表为
(?的本征值为：
相应的本征函数为,，
5、空间转子的能量本征值与本征态,
绕一固定点转动的空间转子的能量经典表达式为，I为转动惯量，l为角动量。
(?的本征值为：
相应的本征函数为：,；
例：证明
例：证明在lz本征态Ylm下，
§3.3 厄米算符的本征值与本征函数一、厄米算符的平均值定理I：体系任何状态(下，其厄米算符的平均值必为实数。（证明）
逆定理：在任何状态下，平均值均为实数的算符必为厄米算符。（证明）
推论：设?为厄米算符，则在任意态(之下
二、厄米算符的本征方程
1、涨落
涨落定义为
证明
2、力学量的本征方程若体系处于一种特殊状态，在此状态下测量A所得结果是唯一确定的，即,
则称这种状态为力学量A的本征态。
或
可把常数记为An，把状态记为(n，于是得,
(1)
其中An,(n分别称为算符?的本征值和相应的本征态，式(1)即算符?的本征方程。
定理II：厄米算符的本征值必为实。（证明）
三、量子力学中的力学量用线性厄米算符表示
1、表示力学量的算符必为线性算符；
2、表示力学量的算符必为厄密算符。
例1： （为实数）
例2：
例3：证明为厄密算符综上所述：表示力学量的算符必为线性、厄密算符，线性厄密算符不一定是力学量算符。
3、力学量算符和力学量之间的关系测量力学量A时所有可能出现的值，都对应于线性厄米算符?的本征值An（即测量值是本征值之一），该本征值由力学量算符?的本征方程
当体系处于?的本征态(n时，则每次测量所得结果都是完全确定的，即An。
四、厄米算符的本征函数的正交性
正交性的定义如果两函数(1和(2满足关系式，则称(1和(2相互正交。
2、定理III：厄米算符属于不同本征值的本征函数彼此正交。（证明）
3、分立谱、连续谱正交归一表示式
(1),分立谱正交归一条件分别为：
归一化条件
正交性引用(mn称为克朗内克（Kronecker）符号，它具有如下性质：
把(3)与(4)式合写为
(2),连续谱正交归一条件表示为：
(3),正交归一系满足上式的函数系(n或((称为正交归一（函数）系
4、简并情况如果?的本征值An是fn度简并的，则属于本征值An的本征态有fn个：(n(，(=1,2,(,fn
满足本征方程：
一般说来，这些函数并不一定正交。但是可以证明由这 fn 个函数可以线性组合成fn 个独立的新函数，它们仍属于本征值An且满足正交归一化条件。
算符?本征值An简并的本质是：当An确定后还不能唯一的确定状态，要想唯一的确定状态还得寻找另外一个或几个力学量算符，?算符与这些算符两两对易，其本征值与An一起共同确定状态。
综合上述讨论可得如下结论：既然厄米算符本征函数总可以取为正交归一化的，所以以后凡是提到厄米算符的本征函数时，都是正交归一化的，即组成正交归一系。
五、实例
（1）动量本征函数组成正交归一系
当时，
即属于动量算符不同本征值的两个本征函数与相互正交。这是所有厄密算符的本征函数所共有的。
（2）线性谐振子能量本征函数组成正交归一系
线性谐振子的能量本征函数
组成正交归一系：
（3）角动量本征函数组成正交归一系
1,lz 本征函数
角动量算符的本征函数
组成正交归一系： (7)
2,本征函数角动量平方算符属于本征值的本征函数
组成正交归一系： (8)
(7)和(8)可合写为 (9)
§3.4 算符与力学量的关系一、力学量的可能值及其几率有两点问题：
①,测得每个本征值An的几率是多少？
②,是否会出现各次测量都得到同一个本征值，即有确定值。
1,力学量算符本征函数组成完备系
(1)、函数的完备性有一组函数(n(x) (n=1,2,...)，如果任意函数( (x)可以按这组函数展开：
则称这组函数(n(x)是完备的。
(2)、力学量算符的本征函数组成完备系若力学量算符?
则任意函数( (x)可按(n(x)展开：
量子力学认为：一切力学量算符的本征函数都组成完备系。
2、力学量的可能值和相应几率
由于(n(x)组成完备系，所以体系任一状态( (x)可按其展开：
展开系数an与x无关。
（证明）
|an|2具有几率的意义，an称为几率振幅。我们知道|( (x)|2表示在x点找到粒子的几率密度，| c(p)|2表示粒子具有动量p的几率，那末同样，|an|2则表示A取An的几率。
讨论,( (x)是坐标空间的波函数； c(p)是动量空间的波函数；则{an}则是A空间的波函数，三者完全等价。|( (x)|2表示在x点找到粒子的几率密度，| c(p)|2表示粒子具有动量p的几率，那末同样，|an|2则表示A取An的几率。
证明：当( (x)已归一时，c(p)也是归一的，同样an也是归一的。（证明）
量子力学基本假定：任何力学量算符A的本征函数(n(x)组成正交归一完备系，在任意已归一态( (x)中测量力学量A得到本征值An的几率等于( (x)按(n(x)展开式：
中对应本征函数(n(x)前的系数an的|an|2。
分析：(1)、根据态迭加原理，由(1) (1( |a1|2 (2( |a2|2 …… (n( |a n |2
(2)、根据前面的假设 (1( A1 (2( A2 …… (n( An
(3)、A1( |a1|2 A2( |a2|2 (( An( |a n |2
3、力学量有确定值的条件推论：当体系处于( (x) 态时，测量力学量A具有确定值的充要条件是( (x)必须是算符?的一个本征态。
二、力学量的平均值在任一态( (x)中测量某力学量A的平均值可写为：
此式等价于以前的平均值公式。（证明）
这两种求平均值的公式都要求波函数是已归一化的如果波函数未归一化,则
，
三、连续谱的情况
分立谱 连续谱
, ，
例1、设粒子在宽度为a的一维无限深势阱中运动，若其状态由波函数描述，求粒子能量的可能取值和相应的几率及其平均值。
解：
，，（）
的可能取值：
相应几率,
注意：
例2：线性谐振子在初始时刻处于下面归一化状态：
式中(n(x)表示谐振子第n个定态波函数，求系数a5=？
写出t时刻的波函数；
t=0时刻谐振子能量的可能取值及其相应几率，并求其平均值；
t= t时刻谐振子能量的可能取值及其相应几率，并求其平均值；
解,（1）
（2）
（3）t=0时,，，
能量E可能值：，，
相应几率(：，，
（4）t= t时刻谐振子能量的可能值、相应几率、平均值与t=0时刻相同。
§3.5 共同本征函数一、两力学量同时有确定值的条件当在(态中测量力学量A和B时，如果同时具有确定值，那么(必是二力学量共同本征函数。
二、两算符对易的物理含义定理：若两个力学量算符有一组共同完备的本征函数系，则二算符对易。（证明）
逆定理：如果两个力学量算符对易，则此二算符有组成完备系的共同的本征函数。（仅考虑非简并情况）（证明）
定理：一组力学量算符具有共同完备本征函数系的充要条件是这组算符两两对易。
例 1：动量算符：两两对易，
共同完备本征函数系：
同量有确定值：
例2：定轴转子：，相互对易共同完备本征函数系：
同量有确定值：,
例 3：定间转子：，，两两对易共同完备本征函数系：
同量有确定值：,，
小结：两个力学量同时有确定值的条件
(1)、
(2)、体系恰好处在其共同本征态上。
三、力学量完全集合
1、定义：为完全确定状态所需要的一组两两对易的力学量算符的最小（数目）集合称为力学量完全集。
设有一组彼此对易，且函数独立的厄米算符?(?1,?2,...)，它们的共同本征函数记为(k，k是一组量子数的笼统记号。设给定k之后就能够确定体系的一个可能状态，则称(?1,?2,...)构成体系的一组力学量完全集。
例 1：三维空间中自由粒子，完全确定其状态需要三个两两对易的力学量：
例 2：一维谐振子，只需要一个力学量就可完全确定其状态：
2、力学量完全集中力学量的个数并不一定等于自由度的数目。一般说来，力学量完全集中力学量的个数(体系的自由度数目。
3、体系的任何态总可以用包含?在内的一组力学量完全集的共同本征态来展开。
四、测不准(不确定度)关系的严格证明不确定度：测量值An与平均值ā的偏差的大小。
1、测不准关系的严格证明（证明）
(3)
其中均方偏差
或简记为
(4)
这就是任意两个力学量A与B在任意量子态下的涨落必须满足的关系式，即不确定度关系。
由式(4)可以看出，若两个力学量A与B不对易，则一般说来(A与(B不能同时为零，即A与B不能同时测定，或者说它们不能有共同本征态。反之，若两个厄米算符?与对易，则可以找出这样的态，使(A=0与(B=0同时满足，即可以找出它们的共同本征态。
2、坐标和动量的测不准关系
(1)、测不准关系
简记之,,
表明：坐标与动量的均方偏差不能同时为零，其一越小，另一就越大。
这说明(x与(px不能同时为零，x的均方偏差愈小，则与它共轭的动量px的均方偏差愈大。
x有确定值，(x =0，(px ((
(2)、利用测不准关系求线性谐振子的零点能
3、角动量的测不准关系
当体系处于本征态Ylm
当Ylm为Y00时，m=0 （）
同时有确定的本征值lx、ly
例1：利用测不准关系证明，在本征态Ylm下，（证明）
例2,共同本征态Ylm下，求测不准关系：
综上所述，量子力学中的力学量用相应的线性厄米算符来表达，其含义包括下列几方面：
实验上观测A的可能值，必为算符?的某一本征值；
在量子态(之下，力学量A的平均值由下式确定，
(c) 力学量之间的关系通过相应的算符之间的关系反映出来。
§3.1 算符的运算规则一、算符的定义：
算符代表对波函数进行某种运算或变换的符号。
表示?把函数u变成 v,?就是这种变换的算符。
为强调算符的特点，常常在算符的符号上方加一个“^”号。但在不会引起误解的地方，也常把“^”略去。
二、算符的一般特性
1、线性算符满足如下运算规律的算符?，称为线性算符
其中c1,c2是任意复常数，(1,(2是任意两个波函数。
例如：动量算符，
单位算符I是线性算符。
2、算符相等若两个算符?、对体系的任何波函数(的运算结果都相同，即，则算符?和算符相等记为。
3、算符之和
若两个算符?、对体系的任何波函数(有：，则称为算符之和。
，
4、算符之积
算符?与之积，记为，定义为
(是任意波函数。一般来说算符之积不满足交换律，即。
5、对易关系若，则称?与不对易。
若，则称?与对易。
若算符满足,则称和反对易。
例如：算符x,不对易证明：(1)
(2)
显然二者结果不相等，所以：
因为(是体系的任意波函数，所以
对易关系同理可证其它坐标算符与共轭动量满足
，
但是坐标算符与其非共轭动量对易，各动量之间相互对易。
，，
，，
，，
写成通式(概括起来)：
(1)
其中或
量子力学中最基本的对易关系。
注意：当?与对易，与?对易，不能推知?与?对易与否。
6、对易括号(对易式)
为了表述简洁，运算便利和研究量子力学与经典力学的关系，人们定义了对易括号：
这样一来，坐标和动量的对易关系可改写成如下形式：
不难证明对易括号满足下列代数恒等式：
1)
2)
3) ,，
4) ——称为 Jacobi 恒等式。
角动量的对易式：
(1)在直角坐标系中角动量算符的对易关系角动量算符
在直角坐标中的三个分量可表示为
，， （要求会证明）
是角动量算符的定义式。
式中((((称淡Levi-Civita符号，是一个三阶反对称张量，定义如下：
其中或
证明：或
或
(2)在球坐标系中角动量算符的对易关系
只与(,( 有关，与r 无关，而且只与( 有关。
或
其中，可称为径向动量算符。
(3)角动量升降阶算符
(I) 定义
，
显然有如下性质
,
这两个算符不是厄密算符。
(II) 对易关系
,，，
7、逆算符
(1),定义,设?(=(,能够唯一的解出(,则可定义算符?之逆?-1为,
(2).性质I,若算符?之逆?-1存在，则
,
(3).性质II,若?,均存在逆算符,则
8、算符函数设给定一函数F(x)，其各阶导数均存在，其幂级数展开收敛
则可定义算符?的函数F(?)为,
补充：定义一个量子体系的任意两个波函数(态) (与(的“标积”
是指对体系的全部空间坐标进行积分，d(是坐标空间体积元。例如
对于一维粒子：
对于三维粒子：
可以证明
9、转置算符
算符?的转置算符定义为
即
式中(和(是两个任意波函数。
例如：（证明）
可以证明：
10、复共轭算符算符?的复共轭算符?*就是把?表达式中的所有量换成其复共轭。
但应注意，算符?的表达式与表象有关。
11、厄米共轭算符
算符?之厄米共轭算符?+定义为：
或
厄密共轭算符亦可写成：
可以证明,
12、厄米算符 (自共轭算符)
(1),定义,满足下列关系的算符称为厄米算符.
或
(2),性质性质 I：两个厄密算符之和仍是厄密算符。
性质 II：两个厄密算符之积一般不是厄密算符,除非二算符对易。
三、算符的本征方程
如果算符?作用于函数(的结果，等于某一常数(乘以(，即
(2)
那么称(为算符?的本征值，(为算符?的属于本征值(的本征函数。方程(2)称为算符?的本征方程。
§3.2 动量算符和角动量算符一、动量算符
1、动量算符的厄密性（证明）
2、动量算符本征方程
，即
采用分离变量法，令：
代入动量本征方程
(
(1)
可取任意实数值，即动量算符的本征值组成连续谱，相应的本征函数为(1)式所表示的，这正是自由粒子的de Broglie波的空间部分波函数。
(2).归一化系数的确定
①、归一化为 ( 函数取，则归一化为函数，
(2)
（3）
一维情况：
②、箱归一化——P70-72（略去不讲）
箱归一化方法仅对平面波适用，而归一化为(函数方法对任何连续谱都适用。
二、角动量算符
1、角动量算符的形式
(1)、直角坐标系它在直角坐标系中的三个分量是：
角动量平方算符
(2)、球坐标利用上述变换关系可以得到在球坐标中的表示式是
只与(,( 有关，与r 无关，而且只与( 有关。
2、的本征值和本征函数
为了求出的本征值lz和本征函数((()，我们解下列本征方程：
( 的本征值为：
式中的m习惯上称为磁量子数。
相应本征函数：
角动量在空间的任何方向的投影都是量子化的，它的值只能是0,(?,(2?,(，而不能是其他的值。
3、的本征值和本征函数
设的本征值为，本征函数为Y((,()，本征方程为
在球坐标系中，只与(,(有关，所以，则
(6)
令，，其中((()只是(的函数，((()只是(的函数，由(6)式可得
( 的本征值为l(l+1)?2，所属的本征函数为Ylm((,()，
；
Ylm((,() 正交归一条件为：
说明：(1)、由上面结果可知的本征值为l(l+1)?2，所属的本征函数为Ylm((,()，
,
显然，只能取一系列离散值，由于l是表征角动量的大小，所以称l为角量子数。
(2)、
Ylm((,()即是的本征函数，也是的本征函数，其相应的本征值分别为l(l+1)?2，m?。即球谐函数Ylm((,()是的共同本征态
(3)、我们把一个本征值只对应一个本征函数的情况称为非简并；把对应于一个本征值有一个以上本征函数的情况称为简并，把对应于同一本征值的本征函数的数目称为简并度。的本征值是(2l+1)度简并的。
(4)、通常把的态，依次称为态，而把处于这些态的粒子称为粒子。
4、平面转子的能量本征值与本征态,
绕z轴转动的平面转子的能量经典表达式为，I为转动惯量，lz为角动量。
能量本征方程表为
(?的本征值为：
相应的本征函数为,，
5、空间转子的能量本征值与本征态,
绕一固定点转动的空间转子的能量经典表达式为，I为转动惯量，l为角动量。
(?的本征值为：
相应的本征函数为：,；
例：证明
例：证明在lz本征态Ylm下，
§3.3 厄米算符的本征值与本征函数一、厄米算符的平均值定理I：体系任何状态(下，其厄米算符的平均值必为实数。（证明）
逆定理：在任何状态下，平均值均为实数的算符必为厄米算符。（证明）
推论：设?为厄米算符，则在任意态(之下
二、厄米算符的本征方程
1、涨落
涨落定义为
证明
2、力学量的本征方程若体系处于一种特殊状态，在此状态下测量A所得结果是唯一确定的，即,
则称这种状态为力学量A的本征态。
或
可把常数记为An，把状态记为(n，于是得,
(1)
其中An,(n分别称为算符?的本征值和相应的本征态，式(1)即算符?的本征方程。
定理II：厄米算符的本征值必为实。（证明）
三、量子力学中的力学量用线性厄米算符表示
1、表示力学量的算符必为线性算符；
2、表示力学量的算符必为厄密算符。
例1： （为实数）
例2：
例3：证明为厄密算符综上所述：表示力学量的算符必为线性、厄密算符，线性厄密算符不一定是力学量算符。
3、力学量算符和力学量之间的关系测量力学量A时所有可能出现的值，都对应于线性厄米算符?的本征值An（即测量值是本征值之一），该本征值由力学量算符?的本征方程
当体系处于?的本征态(n时，则每次测量所得结果都是完全确定的，即An。
四、厄米算符的本征函数的正交性
正交性的定义如果两函数(1和(2满足关系式，则称(1和(2相互正交。
2、定理III：厄米算符属于不同本征值的本征函数彼此正交。（证明）
3、分立谱、连续谱正交归一表示式
(1),分立谱正交归一条件分别为：
归一化条件
正交性引用(mn称为克朗内克（Kronecker）符号，它具有如下性质：
把(3)与(4)式合写为
(2),连续谱正交归一条件表示为：
(3),正交归一系满足上式的函数系(n或((称为正交归一（函数）系
4、简并情况如果?的本征值An是fn度简并的，则属于本征值An的本征态有fn个：(n(，(=1,2,(,fn
满足本征方程：
一般说来，这些函数并不一定正交。但是可以证明由这 fn 个函数可以线性组合成fn 个独立的新函数，它们仍属于本征值An且满足正交归一化条件。
算符?本征值An简并的本质是：当An确定后还不能唯一的确定状态，要想唯一的确定状态还得寻找另外一个或几个力学量算符，?算符与这些算符两两对易，其本征值与An一起共同确定状态。
综合上述讨论可得如下结论：既然厄米算符本征函数总可以取为正交归一化的，所以以后凡是提到厄米算符的本征函数时，都是正交归一化的，即组成正交归一系。
五、实例
（1）动量本征函数组成正交归一系
当时，
即属于动量算符不同本征值的两个本征函数与相互正交。这是所有厄密算符的本征函数所共有的。
（2）线性谐振子能量本征函数组成正交归一系
线性谐振子的能量本征函数
组成正交归一系：
（3）角动量本征函数组成正交归一系
1,lz 本征函数
角动量算符的本征函数
组成正交归一系： (7)
2,本征函数角动量平方算符属于本征值的本征函数
组成正交归一系： (8)
(7)和(8)可合写为 (9)
§3.4 算符与力学量的关系一、力学量的可能值及其几率有两点问题：
①,测得每个本征值An的几率是多少？
②,是否会出现各次测量都得到同一个本征值，即有确定值。
1,力学量算符本征函数组成完备系
(1)、函数的完备性有一组函数(n(x) (n=1,2,...)，如果任意函数( (x)可以按这组函数展开：
则称这组函数(n(x)是完备的。
(2)、力学量算符的本征函数组成完备系若力学量算符?
则任意函数( (x)可按(n(x)展开：
量子力学认为：一切力学量算符的本征函数都组成完备系。
2、力学量的可能值和相应几率
由于(n(x)组成完备系，所以体系任一状态( (x)可按其展开：
展开系数an与x无关。
（证明）
|an|2具有几率的意义，an称为几率振幅。我们知道|( (x)|2表示在x点找到粒子的几率密度，| c(p)|2表示粒子具有动量p的几率，那末同样，|an|2则表示A取An的几率。
讨论,( (x)是坐标空间的波函数； c(p)是动量空间的波函数；则{an}则是A空间的波函数，三者完全等价。|( (x)|2表示在x点找到粒子的几率密度，| c(p)|2表示粒子具有动量p的几率，那末同样，|an|2则表示A取An的几率。
证明：当( (x)已归一时，c(p)也是归一的，同样an也是归一的。（证明）
量子力学基本假定：任何力学量算符A的本征函数(n(x)组成正交归一完备系，在任意已归一态( (x)中测量力学量A得到本征值An的几率等于( (x)按(n(x)展开式：
中对应本征函数(n(x)前的系数an的|an|2。
分析：(1)、根据态迭加原理，由(1) (1( |a1|2 (2( |a2|2 …… (n( |a n |2
(2)、根据前面的假设 (1( A1 (2( A2 …… (n( An
(3)、A1( |a1|2 A2( |a2|2 (( An( |a n |2
3、力学量有确定值的条件推论：当体系处于( (x) 态时，测量力学量A具有确定值的充要条件是( (x)必须是算符?的一个本征态。
二、力学量的平均值在任一态( (x)中测量某力学量A的平均值可写为：
此式等价于以前的平均值公式。（证明）
这两种求平均值的公式都要求波函数是已归一化的如果波函数未归一化,则
，
三、连续谱的情况
分立谱 连续谱
, ，
例1、设粒子在宽度为a的一维无限深势阱中运动，若其状态由波函数描述，求粒子能量的可能取值和相应的几率及其平均值。
解：
，，（）
的可能取值：
相应几率,
注意：
例2：线性谐振子在初始时刻处于下面归一化状态：
式中(n(x)表示谐振子第n个定态波函数，求系数a5=？
写出t时刻的波函数；
t=0时刻谐振子能量的可能取值及其相应几率，并求其平均值；
t= t时刻谐振子能量的可能取值及其相应几率，并求其平均值；
解,（1）
（2）
（3）t=0时,，，
能量E可能值：，，
相应几率(：，，
（4）t= t时刻谐振子能量的可能值、相应几率、平均值与t=0时刻相同。
§3.5 共同本征函数一、两力学量同时有确定值的条件当在(态中测量力学量A和B时，如果同时具有确定值，那么(必是二力学量共同本征函数。
二、两算符对易的物理含义定理：若两个力学量算符有一组共同完备的本征函数系，则二算符对易。（证明）
逆定理：如果两个力学量算符对易，则此二算符有组成完备系的共同的本征函数。（仅考虑非简并情况）（证明）
定理：一组力学量算符具有共同完备本征函数系的充要条件是这组算符两两对易。
例 1：动量算符：两两对易，
共同完备本征函数系：
同量有确定值：
例2：定轴转子：，相互对易共同完备本征函数系：
同量有确定值：,
例 3：定间转子：，，两两对易共同完备本征函数系：
同量有确定值：,，
小结：两个力学量同时有确定值的条件
(1)、
(2)、体系恰好处在其共同本征态上。
三、力学量完全集合
1、定义：为完全确定状态所需要的一组两两对易的力学量算符的最小（数目）集合称为力学量完全集。
设有一组彼此对易，且函数独立的厄米算符?(?1,?2,...)，它们的共同本征函数记为(k，k是一组量子数的笼统记号。设给定k之后就能够确定体系的一个可能状态，则称(?1,?2,...)构成体系的一组力学量完全集。
例 1：三维空间中自由粒子，完全确定其状态需要三个两两对易的力学量：
例 2：一维谐振子，只需要一个力学量就可完全确定其状态：
2、力学量完全集中力学量的个数并不一定等于自由度的数目。一般说来，力学量完全集中力学量的个数(体系的自由度数目。
3、体系的任何态总可以用包含?在内的一组力学量完全集的共同本征态来展开。
四、测不准(不确定度)关系的严格证明不确定度：测量值An与平均值ā的偏差的大小。
1、测不准关系的严格证明（证明）
(3)
其中均方偏差
或简记为
(4)
这就是任意两个力学量A与B在任意量子态下的涨落必须满足的关系式，即不确定度关系。
由式(4)可以看出，若两个力学量A与B不对易，则一般说来(A与(B不能同时为零，即A与B不能同时测定，或者说它们不能有共同本征态。反之，若两个厄米算符?与对易，则可以找出这样的态，使(A=0与(B=0同时满足，即可以找出它们的共同本征态。
2、坐标和动量的测不准关系
(1)、测不准关系
简记之,,
表明：坐标与动量的均方偏差不能同时为零，其一越小，另一就越大。
这说明(x与(px不能同时为零，x的均方偏差愈小，则与它共轭的动量px的均方偏差愈大。
x有确定值，(x =0，(px ((
(2)、利用测不准关系求线性谐振子的零点能
3、角动量的测不准关系
当体系处于本征态Ylm
当Ylm为Y00时，m=0 （）
同时有确定的本征值lx、ly
例1：利用测不准关系证明，在本征态Ylm下，（证明）
例2,共同本征态Ylm下，求测不准关系：
综上所述，量子力学中的力学量用相应的线性厄米算符来表达，其含义包括下列几方面：
实验上观测A的可能值，必为算符?的某一本征值；
在量子态(之下，力学量A的平均值由下式确定，
(c) 力学量之间的关系通过相应的算符之间的关系反映出来。
