220 likes | 407 Views
当体系处于力学量 的本征态时 , 对其测量 , 可得一 个确定值 , 而不会出现涨落 . 但在其本征态下去测量 另一个力学量 时 , 却不一定得到一个确定值. 设有两个任意的力学量 和. 3.3.1 不确定度关系的严格证明. 引入. 下面我们普遍地分析此问题. 分析下列积分不等式 其中 , 为体系的 任意 一个波函数 , 为 任意实 参数. 引进厄米算符. 则. 为实,不妨取. , 则得. 因为 与 为厄米算符, 所以 . 即. 在上式中,.
E N D
当体系处于力学量 的本征态时,对其测量,可得一 个确定值,而不会出现涨落.但在其本征态下去测量 另一个力学量 时,却不一定得到一个确定值. 设有两个任意的力学量 和 3.3.1 不确定度关系的严格证明 引入 下面我们普遍地分析此问题. 分析下列积分不等式 其中, 为体系的任意一个波函数, 为任意实参数.
引进厄米算符 则 为实,不妨取 ,则得 因为 与 为厄米算符, 所以
即 在上式中, 与 为厄米算符, 与 又均为实数, 与 也是厄米的. 再考虑到 就可得出 让 则(1)式仍成立.
或简记为 (2) 上式就是任意两个力学量 与 在任意量子 态下的涨落必须满足的关系式,即Heisenberg的不确定 度关系(uncertainty relation)的普遍表达式.
由(2)式可以看出, 若两个力学量 与 不 对易, 则一般说来 与 不能同时为零, 即 与 不能同时测定. (但 的特殊态可 反之,若两个厄米算符 与 对易, 则可以 找出这样的态, 使 与 同时满足, 即可 能是例外), 或者说他们不能有共同本征态. 以找出它们的共同本征态.
坐标 的共同本征态,即 函数 相应本征值为 例如
3.3.2 的共同本征态,球谐函数 但由于 ,可以找出 与任何一个 分量(例如 )的共同本征态. 由于角动量的三个分量不对易, 一般无共同本征态. 采用球坐标, 角动量的平方算符表示为
考虑到 的本征函数可以同时也取为 的本征态 此时, 的本征函数已分离变量, 即令 并代入本征方程 其中, 是 的本征值( 无量纲), 待定.
化简本征方程,得 令 则 或 这就是连带Legendre方程.
在 区域中, 微分方程有两个正则奇点, 其余各点均为常点. 可以证明, 只当 时,方程有一个多项式解(另一解为无穷级数), 即连带 Legendre 多项式 它在 区域中是有界的, 是物理上可接受的解.
定义一个归一化的 部分的波函数(实) 满足 利用正交归一性公式
所以, 的正交归一的共同本征函数表示为 为球谐函数, 它们满足
在上面的式子中, 和 的本征值都是量子化的. 轨道角动量量子数 磁量子数 对于给定 , 的本征函数是不确定的, 因为 共有 个简并态. 就 是用 的本征值来确定这些简并态.
表示一组完备的量子数. 3.3.3 对易力学量完全集(CSCO) 设有一组彼此独立而且互相对易的厄米算符 它们的共同本征态记为 设给定一组量子数 之后, 就能够完全确定体系的唯一 一个可能状态, 则我们称 构成体系的一组对易可 观测量完全集(complete set of commuting Observables, 简记为CSCO), 在中文教材中,习惯称为对易力学量完全集, 或简称为力学量完全集. 对易力学量完全集的概念与体系的一个量子态的制备密切相关.
利用 的正交归一性, 上式中的展开系数 得到 态下, 测量力学量 可确切定出. 表示在 值的概率. 这是波函数的统计诠释的最一般的表述. 或力学量 (这里假定量子数 不连续变化. 若 而相应的展开系数的模方代表概 连续变化, 则 率密度. 例如, 坐标表象和动量表象的展开, 即属此情况.) 按照态叠加原理, 体系的任何一个状态 均可用 来展开
则 如体系的 Hamilton 量不显含时间 这种完全集又称为对易守恒量完全集( a complete set of commuting conserved observables, 简记为CSCCO.) 包括 H 在内的守恒量完全集的共同本征态, 当然是定 态, 所相应的量子数都称为好量子数. 在这种展开中, 是不随时间 (无论ψ是什么态, 定态或非定态), 改变的. H 为守恒量. 在此情况下, 如对易力学量完全集中包含 有体系的Hamilton量, 则完全集中各力学量都是守恒量,
(1) CSCO是限于最小集合,即从集合中抽出任何一个可 观测量后, 就不再构成体系的CSCO. 所以要求CSCO 中各观测量是函数独立的. (2) 一个给定体系的CSCO中, 可观测量的数目一般等于 体系自由度的数目, 但也可以大于体系自由度的数目. (3) 一个给定体系往往可以找到多个CSCO, 或CSCCO. 在处理具体问题时, 应视其侧重点来进行选择. 一个 CSCCO的成员的选择, 涉及体系的对称性. 关于CSCO, 再做几点说明:
体系的量子态用一组彼此对易的力学量完全集的共同体系的量子态用一组彼此对易的力学量完全集的共同 本征函数来展开, 在数学上涉及完备性问题. 这是一个颇 为体系的一个厄米算符, 对于体系的任一态 定理: 设 有下界( 即总是大于某一个固定的数c), 的本征态的集合, 构成体系的态空间中 但无上界, 则 的一个完备集, 即体系的任何一个量子态都可以用这一 组本征态完全集来展开. 为复杂的问题.李政道曾经给出关于本征态的完备性的如 下重要的定理.
(a) 自然界中真实存在的物理体系的Hamilton 算符 都应为厄米算符(保证所有能量本征值为实), 并且应有 下界( 能量无下界是不合理的, 在自然界中未发现这种 情况). 因此, 体系的任一量子态总可以放心地用包含 在内的一个CSCCO的共同本征态完全集来展开. (b) 在 本征值有简并的情况下, 对于给定能量本征值, 本征态尚未完全确定, 此时需要用包含Hamilton量在内 的一个CSCCO, 根据他们的本征值把本征态完全确定下 来, 以便于对任何量子态进行确切的展开. 这里有两点值得提到:
“量子力学中力学量用相应的线性厄米算符来表达”,“量子力学中力学量用相应的线性厄米算符来表达”, 其含义是多方面的: 3.3.4 量子力学中力学量用厄米算符表达 与Schrödinger方程是量子力学的一个基本假定一样, 量子体系的可观测量 (力学量) 用一个线性厄米算符来 描述, 也是量子力学的一个基本假定, 它们的正确性应 该由实验来判定.
由下式 (1) 在给定状态ψ之下, 力学量 A 的平均值 确定: 就是算符 (2) 在实验上观测某力学量A, 它的可能取值 的某一个本征值. 由于力学量观测值总是实数, 所以 要求相应的算符必为厄米算符. (3) 力学量之间关系也通过相应的算符之间的关系反映 出来. 例如, 两个力学量 A 与 B, 在一般情况下, 可以同时 具有确定的观测值的必要条件为
特别是对于H 不显含 t 的体系, 一个力学量A是否 与 是守恒量, 可以根据 是否对易来判断. 反之, 若 则一般说来, 力学量 A与 B 不能 同时具有确定的观测值.