Appearance
量子力学题目 · 2026年9月26日
← 2026年9月25日 · 目录 · 2026年9月27日 → (色标说明见目录页)
2026年9月26日
形式理论(第3章 §6.1 不确定原理 + 例题3.7、3.8;CSCO 练习1–3 + 例题3.11–3.16)· 序号 34–45
题 34 · 形式理论 · 不确定原理的证明 · 🟢 懂
设 、 为任意两个可观测量(厄米算符 、),体系处于归一化的态 ()。证明
其中 ,并由此推出 。
(注:教辅书式 (3.56) 把""印成了"",属印刷问题,正确是 。)
**点开:骨架 / 入口**(先对着上面题干默,默不出再展开)
骨架
- 令 、,利用 厄米把一个算符挪到左边,得 、(3.47)(3.48)。
- Schwarz 不等式 ,再用 ,取 (3.49)–(3.51)。
- 展开四项得 、,相减得 ,代回即结论(3.52)–(3.56)。
- 代入 得 ,标准差非负,开方(3.57)。
入口
- :厄米算符能从内积右边挪到左边,方差就变成一个函数的模方,后面才能用 Schwarz。
题 35 · 形式理论 · 例3.7 对易关系(三小问) · 🟡(未复习)
(a) 证明下列对易关系等式:
(b) 证明
(c) 对任意函数 ,更一般地证明
(其中 。)
**点开:骨架 / 入口**(先对着上面题干默,默不出再展开)
骨架
- (a) 写 ,中间加一项减一项 ,前两项左提 、后两项右提 。
- (b) 先把 作用到试探函数 上得 ;再对 数学归纳: 用 (a) 拆成 。
- (c) 主解法:,对易子对第一个位置线性,,逐项用 (b) 再求和,就是 。
- (c) 另法:直接算 ,乘积求导后 项抵消。
入口
- 对易子恒等式靠“加一项减一项”((a) 在 中间插 ),含 的对易子一律“作用到试探函数 上再用乘积求导”:。
题 36 · 形式理论 · 例3.8 σ_x σ_H 不确定关系 · 🟢 懂
证明著名的"(名副其实的)不确定原理"——联系着坐标()的不确定和能量()的不确定:
对于定态,这个并不能告诉你更多——为什么?
**点开:骨架 / 入口**(先对着上面题干默,默不出再展开)
骨架
- 用题 34 的结论,取 、:。
- ,故 ;由题 35(a) 得 ,所以 。
- 代回得 ,开方时 ,出现绝对值。
- 定态 不随时间变, 为常数,,右边为 0,不等式平凡(而且定态 ,两边都是 0)。
入口
- (题 35(a) 换成 的形式),于是 ,。
- (9/26 卡点,已懂)对易子算出来是常数 ,取平均值为什么不变:,常数提出积分,再用归一化 。本题 还含算符 ,所以 :只有常数 提到外面, 依赖于态、要留着;代入广义不确定关系得 ,平方后开方出绝对值,。
题 37 · 形式理论 · CSCO 练习1 一维自由粒子 · 🟡(未复习)
对于一维自由粒子, 是否构成一个 CSCO?(见 4.2 节,例 3) 可否选为一个 CSCO?(见 4.2 节,例 4.)定义空间反射算符 ,。显然,,所以 。因而 的本征值为 ,相应的本征态分别称为偶宇称态和奇宇称态。对于一维自由粒子,可否取 为一个 CSCO?如果可以,试写出其共同本征态。
(CSCO:一组两两对易的可观测量,给定它们的一组本征值后,共同本征态唯一确定(至多差一个常数因子)。)
**点开:骨架 / 入口**(先对着上面题干默,默不出再展开)
骨架
- CSCO 判据:一组两两对易的可观测量,给定全部本征值后共同本征态唯一(无简并)。
- :解 ,一阶方程对每个实数 只有一个解 ,不简并,单独构成 CSCO。
- :()对应 、 两个独立解,二重简并,单独不构成 CSCO。
- :证 ;简并子空间里 把 、 互换,组合成 ()、(), 唯一确定态,构成 CSCO。
入口
- 判断 CSCO 就看“给定全部本征值后还剩几个独立解”: 的一个 对应 两个解,再用宇称区分 ()和 (),简并就消掉了。
- (9/26 卡点)自由粒子能量本征函数是什么、为什么简并:,定态方程化为 ,;二阶方程有两个独立解 、,代回能量都是 。一个 对应两个独立解,就是二重简并(向右、向左两个方向,动量 ,能量只看 )。对比 : 是一阶方程,每个 只有一个解 ,不简并。
- (9/26 卡点)自由粒子本征函数归一化系数为什么是 :设 ,则 ;用 函数的傅里叶表示 ,要求结果等于 ,得 ,。 在全轴上积分发散,不能归一到 1,只能 归一化。用动量写是 ,满足 ,因为 ,。
题 38 · 形式理论 · CSCO 练习2 平面转子 · ⬜ 未测
对于平面转子,可否选 为一个 CSCO?(见 4.2 节,例 1)。可否选 为一个 CSCO?(见 4.2 节,例 2)。可否选 为一个 CSCO?这里 是在 平面中对 轴的镜像反射算符,,或 。可以证明 的本征值为 。
**点开:骨架 / 入口**(先对着上面题干默,默不出再展开)
骨架
- :解 得 ,周期条件 给出 ,每个 只有一个解,构成 CSCO。
- :, 与 同能( 二重简并),单独不构成 CSCO。
- 给出本征值 ,;再证 。
- 在 中 互换两者,组合成 ()、(), 只有常数(); 唯一确定态, 构成 CSCO。
入口
- 作用两次回到原函数:,所以本征值满足 ;再用 在 下互换,组合出 、。
题 39 · 形式理论 · CSCO 练习3 三维自由粒子 · ⬜ 未测
对于三维自由粒子,, 是否构成一个 CSCO? 是否构成一个 CSCO? 可否选为一个 CSCO?(见 4.3.2 节) 可否选为一个 CSCO?如果可以,写出它们的共同本征态。 可否选为一个 CSCO?如果可以,写出它们的共同本征态。
(照片这几行因页面弯曲,按印刷行序转写; 中照片印的是大写 ,与练习 1 空间反射算符同一符号,按空间反射(宇称)理解。)
**点开:骨架 / 入口**(先对着上面题干默,默不出再展开)
骨架
- 单独: 对应所有方向的 ( 固定),无穷重简并,不是 CSCO。
- 两两对易,共同本征态 由 唯一确定,是 CSCO; 的共同本征态 ,是 CSCO; 的共同本征态 ,也是 CSCO。
- :三者两两对易,共同本征态 ,宇称为 ;给定 、宇称和 仍有无穷多个同奇偶的 ,简并未消,不是 CSCO。
- 把 换成 : 是 CSCO,共同本征态 。
入口
- 三维自由粒子有三个自由度,一般要三个对易量才能把态“钉死”;宇称只给出 的奇偶,钉不住 ,必须用 把 定下来。
题 40 · 形式理论 · 例3.11 两态体系的时间演化 · 🟢 懂
假定一个体系仅有两个线性独立的态:
最一般的态是它们归一化的线性迭加:
哈密顿函数算符可以表示为一个(厄密)矩阵;假定它有特定的形式:
这里 和 都是实常数。如果体系的初始态是 (在 时刻),那么在 时刻它的状态是什么?
**点开:骨架 / 入口**(先对着上面题干默,默不出再展开)
骨架
- 含时方程 ,先解定态方程 :久期方程 得 。
- 代回本征方程得 ,归一化得 。
- 初态 ,每个分量乘各自的时间因子 。
- 提出 ,用欧拉公式合并得 ;验证 和含时方程。
入口
- 不含时,就“先对角化 ,再把初态按本征矢展开,每项乘 ”;最后 ,。
- (9/27 卡点,已懂)初态按本征矢展开的系数:两态体系没有积分,内积就是矩阵乘法,左矢取复共轭转置成行向量:,归一化因子 不能丢;所以 ,自检 。
题 41 · 形式理论 · 例3.12 投影算符 · 🟡(模糊)
证明投影算符是等幂的:。求出 本征值,描述它的本征矢量。
(投影算符按格里菲斯原书定义:, 为归一化矢量。)
**点开:骨架 / 入口**(先对着上面题干默,默不出再展开)
骨架
- 写出 ,。
- 。
- 设 ,作用两次得 ,,故 或 。
- :;:,即与 正交的一切矢量( 维空间中 重简并)。
入口
- 中间夹的 是数 1,所以 ;求本征值就把 作用在本征矢上,得 。
- (9/27 卡点)求本征矢:把本征值代回 ;因为 ,方程就是 。:,归一化后就是 (差一个相位),不简并;: 而 ,所以 ,与 正交的矢量全是, 维空间中 重简并。用矩阵看:取 为第一个基矢,; 逐行得 ,归一化 ; 第一行得 。
- (9/28 卡点)描述本征矢: 就是 本身(); 是所有与 正交的矢量(),在 维空间里张成 维子空间, 重简并。
题 42 · 形式理论 · 例3.13 左矢、内积与矩阵元 · 🟡(未复习)
考虑由正交归一基 ,, 张成的三维矢量空间。右矢 和 由下式给定
(a) 给出 和 (以对偶基 ,, 表示的)。
(b) 求出 和 并证实 。
(c) 在这个基中,求出算符 里的 9 个矩阵元,并写出矩阵 。它是厄密矩阵么?
(讲义把 、 两式中的右矢印成了 的样子,属印刷问题。)
**点开:骨架 / 入口**(先对着上面题干默,默不出再展开)
骨架
- (a) 右矢变左矢:系数取复共轭,,得 ,。
- (b) 用 逐项乘:,。
- (c) ,算出 9 个元,排成矩阵。
- 比较 与 (转置再取共轭): 而 ,不相等, 不是厄密矩阵。
入口
- 矩阵元 :行号取 的分量,列号取 分量的复共轭。
题 43 · 形式理论 · 例3.14 两能级体系哈密顿量的本征值与矩阵 · 🟡(未复习)
一个两-能级体系的哈密顿为:
这里 , 是正交归一基, 是量纲为能量的一个实数。求出它的本征值和归一化的本征矢(用 和 的线性迭加)。相应于这个基表示 的矩阵 是什么?
**点开:骨架 / 入口**(先对着上面题干默,默不出再展开)
骨架
- 求矩阵元 ,用 得 。
- 久期方程 ,本征值 。
- 代回得 , 代回得 。
- 归一化:,。
入口
- 的系数就放在矩阵第 行第 列(因为 ),所以 直接读成 。
- (9/27 卡点,已懂)本征矢直接用列向量求:代 入 取一行得比值,再归一化写出,不必把 作用在 、 上;列向量两个数就是 、 前的系数。
- (9/27 卡点)归一化:本征方程只定出比值 ,归一化条件是 ,不是 。:,,取相位使 为正实数,;:,,。
题 44 · 形式理论 · 例3.15 谱分解 · ⬜ 未测
设算符 有一组完备的正交归一本征矢:
证明 可以被写成它的谱分解形式:
提示:一个算符是由它对所有可能矢量的作用来表征的,因此你需要证明的是,对于任意矢量 来说,有:
**点开:骨架 / 入口**(先对着上面题干默,默不出再展开)
骨架
- 完备性:任意 ;用正交归一性求出 。
- 用 的线性:。
- 把 代回:。
- 任意,两算符相等:。
入口
- 展开系数就是投影 ,所以 ;或者直接在 右边插入 。
题 45 · 形式理论 · 例3.16 Virial 定理 · ⬜ 未测
Virial 定理。利用 3.71 式证明:
式中 是动能()。对定态上式的左边为是 0(为什么?)所以有:
这个称为 Virial 定理。用它来证明对谐振子的定态有 ,并检验这与习题 2.11 和 2.12 中所得的结果是一致的。
(讲义照片在“,”处截断,“并检验……一致的”据原书补全;3.71 式是格里菲斯原书(第 2 版)的式号,即广义埃伦菲斯特定理 。)
**点开:骨架 / 入口**(先对着上面题干默,默不出再展开)
骨架
- 由 3.71 式 ,取 , 不显含 。
- ,,,得 。
- 定态 , 中相位因子抵消,不随时间变,左边为 0,得 。
- 谐振子 ,,得 ;用升降算符算 、,核对 。
入口
- ,两块分别用题 36 的 (取负号)和题 35(c) 的 ,乘上 后 全部消掉。