厄米算符与谱分解

厄米算符、酉变换与谱分解

物理问题引入：量子力学的两大铁律需要怎样的数学算符？

量子力学的基本假设对算符提出了两个不可违背的物理铁律：

可观测量的实数性：无论我们在实验室测量能量、动量、位置还是自旋，实验仪器读出的读数 必须且永远是实数，绝不能跳出一个虚数 $3 + 4 i$ 3 + 4i；
全概率守恒性：粒子在全空间各处被发现的概率总和必定恒等于 100%．随着时间演化，总概率不能膨胀，也不能随波蒸发．

这两个物理要求，精准对应了线性代数中两类最尊贵的算符——厄米算符（Hermitian Operator）与酉算符（Unitary Operator）．

1. 伴随算符与厄米算符定义

1.1 伴随算符（Adjoint Operator）

设 $\hat{A}$ A 是复希尔伯特空间 $H$ H 上的线性算符．若存在算符 ${\hat{A}}^{†}$ A^dagger，使得对任意向量 $| u ⟩, | v ⟩$ |urangle, |vrangle 均满足：

⟨ u | \hat{A} | v ⟩ = ⟨ {\hat{A}}^{†} u | v ⟩

langleu| A |vrangle = langle A^dagger u | vrangle

则称 ${\hat{A}}^{†}$ A^dagger 为 $\hat{A}$ A 的 伴随算符（Hermitian 共轭）．在标准正交基下，伴随算符的矩阵表示为原矩阵的 共轭转置：

(A^{†})_{i j} = (A_{j i})^{*}

(A^dagger)_ij = (A_ji)^*

1.2 厄米算符（自伴算符）

若算符严格等于其自身的伴随算符：

{\hat{A}}^{†} = \hat{A} ⟺ A = A^{†}

A^dagger = A quad iff quad A = A^dagger

则称 $\hat{A}$ A 为 厄米算符（Hermitian Operator）．

2. 厄米算符的两大核心定理（量子测量基础）

定理一：厄米算符的本征值必为纯实数

证明：设 $\hat{A} | v ⟩ = λ | v ⟩$ A|vrangle = lambda |vrangle（ $| v ⟩ \neq 0$ |vrangle != 0）．计算内积：

⟨ v | \hat{A} | v ⟩ = ⟨ v | (λ | v ⟩) = λ ⟨ v | v ⟩

另一方面，利用厄米自伴性：

⟨ v | \hat{A} | v ⟩ = ⟨ \hat{A} v | v ⟩ = ⟨ λ v | v ⟩ = λ^{*} ⟨ v | v ⟩

两式相减： $(λ - λ^{*}) ⟨ v | v ⟩ = 0$ (lambda - lambda^*) langlev|vrangle = 0．由于向量非零模长 $⟨ v | v ⟩ > 0$ langlev|vrangle > 0，故强制得出：

λ = λ^{*} ⟹ λ \in R

lambda = lambda^* implies lambda in R

定理二：属于不同本征值的本征态严格相互正交

证明：设 $\hat{A} | 1 ⟩ = λ_{1} | 1 ⟩$ A|1rangle = lambda_1|1rangle， $\hat{A} | 2 ⟩ = λ_{2} | 2 ⟩$ A|2rangle = lambda_2|2rangle（ $λ_{1} \neq λ_{2}$ lambda_1 != lambda_2）．同理展开： $⟨ 1 | \hat{A} | 2 ⟩ = λ_{2} ⟨ 1 | 2 ⟩$ langle 1|A|2rangle = lambda_2 langle 1|2rangle 且 $⟨ 1 | \hat{A} | 2 ⟩ = λ_{1}^{*} ⟨ 1 | 2 ⟩ = λ_{1} ⟨ 1 | 2 ⟩$ langle 1|A|2rangle = lambda_1^* langle 1|2rangle = lambda_1 langle 1|2rangle．相减得：

(λ_{1} - λ_{2}) ⟨ 1 | 2 ⟩ = 0

(lambda_1 - lambda_2) langle 1|2rangle = 0

因为 $λ_{1} \neq λ_{2}$ lambda_1 != lambda_2，必须严格满足：

⟨ 1 | 2 ⟩ = 0

langle 1|2rangle = 0

量子物理公设：大自然中每一个物理可观测量（动量 $\hat{p}$ p、哈密顿量 $\hat{H}$ H、角动量 $\hat{L}$ L）都由一个厄米算符表示．实验测量的所有可能可能值，严格对应其特征实数本征值！

3. 酉算符与保内积变换（概率守恒之盾）

3.1 酉算符定义

线性算符 $\hat{U}$ U 称为 酉算符（Unitary Operator），若其伴随算符严格等于其逆算符：

{\hat{U}}^{†} \hat{U} = \hat{U} {\hat{U}}^{†} = \hat{I}

U^dagger U = U U^dagger = I

3.2 保持内积与模长不变

对任意经过酉变换演化后的态 $| u^{'} ⟩ = \hat{U} | u ⟩, | v^{'} ⟩ = \hat{U} | v ⟩$ |u'rangle = U|urangle, |v'rangle = U|vrangle：

⟨ u^{'} | v^{'} ⟩ = ⟨ \hat{U} u | \hat{U} v ⟩ = ⟨ u | {\hat{U}}^{†} \hat{U} | v ⟩ = ⟨ u | v ⟩

态矢量的模长在酉变换下严格守恒！

3.3 时间演化算符

若哈密顿量 $\hat{H}$ H 是自共轭的，定义时间演化算符为：

\hat{U} (t) = \exp (- \frac{i}{ℏ} \hat{H} t)

U(t) = expleft(-ihbarHtright)

计算其伴随： ${\hat{U}}^{†} (t) = \exp (+ \frac{i}{ℏ} {\hat{H}}^{†} t) = \exp (+ \frac{i}{ℏ} \hat{H} t) = {\hat{U}}^{- 1} (t)$ U^dagger(t) = expleft(+ihbarH^dagger tright) = expleft(+ihbarHtright) = U^-1(t)． $\hat{U} (t)$ U(t) 严格为酉算符！它保证了薛定谔波动演化中全空间波函数归一化永远保持为 1．

4. 谱分解定理（Spectral Theorem）

设厄米算符 $\hat{A}$ A 拥有一组标准正交归一的本征基 ${| n ⟩}$ |nrangle，本征值为 $λ_{n}$ lambda_n．利用恒等算符分解 $\hat{I} = \sum_{n} | n ⟩ ⟨ n |$ I = sum_n |nranglelangle n|：

\hat{A} = \hat{A} \hat{I} = \hat{A} \sum_{n} | n ⟩ ⟨ n | = \sum_{n} (\hat{A} | n ⟩) ⟨ n | = \sum_{n} λ_{n} | n ⟩ ⟨ n |

这就是宏伟的 算符谱分解（Spectral Decomposition）！

量子期望值计算

当系统处于任意归一化态 $| ψ ⟩$ |psirangle 时，物理量 $A$ A 的平均期望值直接由谱展开给出：

⟨ \hat{A} ⟩ = ⟨ ψ | \hat{A} | ψ ⟩ = \sum_{n} λ_{n} | ⟨ n | ψ ⟩ |^{2} = \sum_{n} λ_{n} P_{n}

其中 $P_{n} = | ⟨ n | ψ ⟩ |^{2}$ P_n = |langle n|psirangle|^2 正是在该态下测量得到本征值 $λ_{n}$ lambda_n 的 玻恩测量概率！

5. 学习衔接

微积分对应：微分算子的厄米谱理论，参见 Sturm–Liouville 理论；
量子力学实战：在近代物理：量子力学基础中全面应用算符表象体系．

本页面最近更新：2026/10/1 10:49:01，更新历史
发现错误？想一起完善？在 GitHub 上编辑此页！
本页面贡献者：Leafuke, Physics Learning Wiki Team
本页面的全部内容在 CC BY-SA 4.0 和 SATA 协议之条款下提供，附加条款亦可能应用