§3.2 Hermitian算符的主要性质 1. 算符的本征方程 定义：设是一个算符，则  称为的本征方程，称为本征值，称为的属于的本征函数，或本征态。 可以证明：如果算符是Hermitian算符，那么在的本征态下，力学量的涨落为零，这里“涨落”的定义是  还可以证明：如果算符是Hermitian算符，那么当是的本征态的时候，，其中是在上的平均值，是的变分（这意味着是的极大值点或者极小值点或者鞍点）。 关于本征值和本征函数的物理意义，量子力学的基本假设是：算符的本征值集就是力学量的测量值集；的本征函数代表力学量有确定值的量子状态。 2．Hermitian算符的本征值 定理：Hermitian算符的本征值都是实数。 证明：本征方程是 , 所以 , 在Hermitian算符的定义式中让，那么  也就是 , 而 , 所以 . ▌ 定理的推论：Hermitian算符的平均值必是实数。 由于这个定理，我们要求所有的物理量（或称为“可观察量”）的算符都是Hermitian算符。不难证明：坐标算符和动量算符都是Hermitian算符。以为例，其Hermitian性证明如下。  ▌ 这里用到了分部积分法则和。 在一定条件下，坐标算符和动量算符所构成的函数也是Hermitian算符。事实上，如果和都是Hermitian算符而且，那么也是Hermitian算符。因此，角动量算符是Hermitian算符。 定理的逆定理也是成立的，即，全体本征值都为实数的算符必是Hermitian算符。但是，并不是所有的Hermitian算符都一定代表可观察量。 3. 本征函数系的正交性 定义：若两个函数和满足  则称它们是正交的。 正交性定理：同一个Hermitian算符的属于不同本征值的本征函数必是彼此正交的。 证明：设Hermitian算符有两个本征函数和，分别属于本征值和且，那么 , , 所以  , 由于，所以 . ▌ 注意，这个定理的结论与的本征值谱是分立（离散）谱还是连续谱无关。 彼此“正交”的几何意义就是彼此垂直。 如果的本征值谱是非简并的和离散的，本征值为，本征函数为，那么波函数是平方可积的，因而可以有限地归一化，所以我们有  其中 . 这称为函数系的正交归一关系，或正交归一性。 为简单起见，以下记  称为和的“内积”。它的主要性质有：  其中当且仅当时号成立，    这样，函数系的正交归一性就可以写为  而算符的Hermitian共轭的定义可以写为  所以Hermitian算符就定义为  如果的本征值谱是连续的，那么本征函数就不是平方可积的。这时候，本征函数系可以“按函数归一化”。关于这个问题，我们将在以后再做说明。 4. 简并情形 如果出现简并（即一个本征值有若干个线性独立的本征函数）的情形，则正交性定理不能保证同一本征值的不同本征函数是彼此正交的。但是我们不难证明，经过对本征函数进行适当的重新组合，可以使它们仍然是彼此正交的。 假如是属于同一本征值的不同本征函数，彼此并不正交（但各自仍然是归一的）。那么我们可以按照下面的方法组成一套新的本征函数彼此是正交的。比如，让，而，那么导致，所以，则由的归一化来决定。依此类推。在线性代数里，这称为Schmidt正交化程序。 5. 同时本征函数 但是在量子力学里，我们有一个更加“物理”的办法来解决简并本征函数的正交性，那就是考虑同时本征函数。 定理：若，即是，则和可以有同时（共同）本征函数，即存在使得和（和是常数）同时成立。 我们不对这个定理进行严格的证明了。 该定理也很容易推广到多个算符的情形。假如我们有一系列算符，它们是两两对易的，即满足，那么它们就可以有同时本征函数，即存在使得，，同时成立，其中是常数。 同时本征函数所描写的就是几个力学量同时有确定值的状态。 这样，如果算符的本征值有简并，我们就再引进另一个算符，满足，并求出和的同时本征函数。如果对于简并的（同时）本征函数对于不再是简并的（即分属于的不同的本征值），那么正交性定理仍然保证了它们是正交的。但也有可能和的同时本征函数仍然有简并，那么我们就再引进第三个算符例如，满足，并求出的同时本征函数，如此等等，直到所有的简并完全去除为止。这时，是一组（而不是仅仅一个）量子数例如完全确定了一个量子态（即一个同时本征函数）。如果这些量子数都是分立量子数，那么这些同时本征函数的正交归一关系就是  6. 力学量的完备集 某个力学量有简并本征函数的这种情形，多半出现在多自由度体系中。例如，如果一个粒子在三维空间中运动，按照经典力学它的自由度数就是3，这时候只用一个力学量来描写粒子的状态显然是不够的。 定义：对于一个量子力学系统，一组彼此函数独立而又两两对易，并且完全去除简并的力学量的集合，称为它的完备力学量集。 完备力学量集里所包含的力学量的数目，通常是在经典力学中该系统的自由度数之外，再加上一些具有“纯”量子力学起源的自由度，例如宇称，自旋，或者一些“内部”自由度（例如同位旋）。 完备力学量集的选择不是唯一的。例如对于一个在三维空间中运动的无自旋粒子（不管它受到什么势场的作用），完备力学量集可以选为，也可以选为。但是，的同时本征函数一定不是系统的Schr?dinger方程的解，除去自由粒子以外，的同时本征函数也不是Schr?dinger方程的解，所以这些选择不是最方便的。经常地，我们要求完备力学量集里包含系统的Hamiltonian，这样的完备力学量集称为完备守恒量集（对于“守恒”这个术语我们以后还会解释）。 7. 一般力学量的测量几率 根据完备力学量集的定义和态的叠加原理，完备力学量集的全体算符的同时本征函数构成了表示该系统的量子状态的正交归一完备基底，也就是说，系统的任何状态都可以展开为这些状态的线性组合。 以离散本征值的情况为例，把完备力学量集的同时本征态记为，其中代表一个量子数组，那么的正交归一关系是  而任何状态都可以展开为  由于  所以的展开式的系数就是  而代表了在状态中包含状态的几率，也就是在状态下测量完备力学量集的各力学量，得到所对应的那些本征值的几率。这就是波函数的几率解释的一般表述。现在的归一化同时体现为  但是严格说来，我们在这里还有一个问题需要交代。前面我们说“任何状态都可以展开为的线性组合”，那么有什么条件能保证这个展开一定是可行的呢？显然，只有在“足够多”的时候，它们的线性组合才能表达任意的波函数，换句话说，这个函数系必须是“完备的”。 函数系的“完备性”是一个比较复杂的问题。我们在这里仅以一元函数为例加以说明。如果一个正交归一函数系能使展开式  对任何都成立，我们就称这个函数系是“完备的”。那么在什么情况下是完备的呢？把  再代回上式，我们得  因为是任意的，所以必须有  这个条件就称为函数系的“（强）完备性条件”。反过来说，如果上式成立，我们就可以借助  得到在上的展开式。这里要注意别把完备性条件和正交归一条件弄混，后者是  我们在上面很容易就证明了Hermitian算符本征函数系的正交性，但是要证明它的完备性显然要困难得多，因为完备函数系一定包含了无穷多个函数，而完备性是这无穷多个函数的“整体性质”。当然在数学上，“什么样的算符的本征函数系是完备的”这个问题是有答案的，但是我们不想做详细的介绍了（请参看教材）。从物理上说，函数系的完备性尽管很重要，我们却经常不对它做严格的证明。一方面这是因为有些函数系的完备性已经由数学家证明过，另一方面也是因为物理上的“完备性”通常只意味着取这些基本函数来展开我们要研究的波函数已经“足够多”了，而这并不是数学意义上的完备性，比如这些基本函数的数目经常不是无穷多。 8. 不确定关系的准确形式 与的情形相反，如果，那么和就不能同时有确定值。比如，我们已经知道，同时又从粒子波动性实验的直接分析中看到了，所以这二者必然是有的联系的。下面我们就从导出和的不确定关系的准确描写。 定义偏差算符为：  (是的平均值) 那么   这个量（所谓“均方偏差”）就描写了力学量的测量值的偏差程度。如果，那么和有什么关系？计算的方法如下。 引入  其中是一个实参数，所以我们必有  另一方面，由于和都是Hermitian算符，所以  其中注意  根据二次三项式的判别式的性质，在时必有  这就是准确的Heisenberg不确定关系。在数学上，它称为Schwarz不等式。 对于，有，所以  也有时记  称为均方根偏差，那么，  对于某些量子状态，上面那些不等式中的号恰好取号，这样的状态通常称为“最小测不准态”。 应用不确定关系的一个例子：谐振子的零点能。现在  所以，  对于谐振子，，所以，  假设只考虑“最小测不准态”，那么就有  求在这个约束条件下的极小值，可设 , 其中是Lagrange待定乘子，然后求的无条件极值，结果是：极值点出现在 , 它对应的的极小值是  这正是谐振子的零点能。我们看到，非零的“零点能”是不确定关系的结果。不难验证：谐振子的基态确实是最小测不准态（但是不能说任何系统的基态都是最小测不准态）。 作业：习题3.5; 3.6; 3.7; 3.8.