第04讲：自由标量场论的正则量子化

本文是视频《MIT 量子场论·8.323·第04讲：自由标量场论的正则量子化》（作者：MIT OpenCourseWare（主讲 Prof. Hong Liu（刘宏）））的精读笔记，配套中配视频观看效果更佳；另附完整文稿｜English transcript。

MIT OpenCourseWare 的 8.323 量子场论第四讲，刘宏教授把上一讲刚完成的自由标量场量子化摊开重推一遍：从模式展开、对易代数，一路算到哈密顿量。这一讲的价值在于把“量子化之后场到底变成了什么”这条推理链完整走给你看，适合跟着推导走，而不是只背结论。

图：视频精读笔记 · MIT 量子场论·8.323·第04讲：自由标量

全景：一条主线看懂

全片逻辑一条线：写下场算符方程的通解（模式展开）→ 代入正则对易关系，得到产生湮灭算符的代数 → 算哈密顿量做验证 → 收束成一幅物理图像。中途埋了两个伏笔：零点能发散、时间依赖为何在哈密顿量中消失。

本节要点：主线是“通解→对易代数→哈密顿量验证”三步，把场一步步化归为谐振子集合。

场＝无穷多谐振子：一条推理链算到底

第一步，摆齐框架。 理论仍是自由标量场：正则动量密度 π=φ̇，哈密顿密度由 π²/2 与梯度平方项组成。讲者不重复量子化步骤，直接在算符层面写通解：完备解系 u_k（含 e^{-iω_k t} 因子）构成解的基，任意解是其线性叠加，展开系数 a_k 是不依赖时空坐标的常算符——方程的“积分常数”，即产生湮灭算符。他同时立下书写约定：从此省略算符帽子 ^，但 φ 永远按量子算符理解。

第二步，对易关系定出代数。 把 φ、π 的展开式代入正则等时对易关系（[φ(x),π(x′)]=δ³(x−x′)，[π,π]=0），立即得到 [a_k,a_k′]=0、[a_k†,a_k′†]=0、[a_k,a_k′†]=δ(k−k′)。这是单谐振子 [a,a†]=1 的连续推广：离散指标换成连续波矢，δ 函数保证 k≠k′ 的模式彼此独立。

关键转折：代数不等于结论。 讲者在这里踩了刹车：

「这些只是对易关系，还不能说明真有谐振子。要看谐振子，得算哈密顿量。」

第三步，用哈密顿量坐实图像。 把展开式直白代入哈密顿密度再做空间积分：平面波积分吐出动量空间 δ 函数，三重积分塌缩成单个 k 的积分，H=∫d³k ω_k(a_k†a_k+½a_k a_k†)；再用标准技巧改写成对易子形式，与单谐振子逐项对照——结构完全相同，谐振子图像至此才被验证。但差别藏在细节里：k′=k 时对易子给出 2π³δ_k³(0) 而非 1（注意 δ 的零点在 k 空间），于是零点能 E0=Σ_k ½ω_k 是发散的，讲者预告稍后给物理解释。

对象	单谐振子	自由标量场
模式标记	单一自由度	连续波矢 k
频率	ω	ω_k=√(k²+m²)
基本对易	[a,a†]=1	[a_k,a_k′†]=δ(k−k′)
哈密顿量	ω(a†a+½)	∫d³k ω_k a_k†a_k+E0
零点能	½ω，有限	E0=Σ½ω_k，发散

两个追问收尾。 其一：φ、π 都显含时间，H 却不含时——时间不是被扔掉，而是在空间积分里自动相消，这正是时间平移对称性意味着能量守恒的体现；且哈密顿密度本身并不守恒，只有积分后的总 H 才守恒。其二：学生问答给出直觉坐标——谐振子不是每点无穷多个，而是每个空间点各一个、彼此相连；它来自原子-弹簧链取连续极限的类比，傅里叶变换本质上就是对角化弹簧耦合得到简正模式，所以从离散系统看毫不意外，从场论本身看反而意外。至于 a_k 不随时间变，因为它本就是运动方程的积分常数，与相干态的类比留到希尔伯特空间一讲。

「我们其实找到无穷多个谐振子，每个谐振子用一组连续数 k 来标记。」——刘宏

本节要点：对易代数只是必要条件，算出 H=∫ω_k a†a+E0 才真正证明自由标量场就是无穷多个以 k 标记、频率 ω_k=√(k²+m²) 的独立谐振子，代价是零点能发散。

从守恒荷清单到第一个发散：场论的“宿命”初现

守恒的是总量，不是密度。 时间平移对称性要求哈密顿量 H 守恒，刘宏特意板书验证了 H 不显含时间，但随即画出重点：必须对空间做积分——哈密顿密度本身逐点变化、并不守恒，守恒的是积分后的那个数。

「哈密顿密度不守恒，总量才守恒。」

量子化的结果是一套无穷连续谐振子。 对标量场 φ 的处理最终化成由波矢 k 标记、频率 ω_k=√(k²+m²) 的无穷多振子。这个结果有两面：从直觉看毫不奇怪——场论不过是原子-弹簧链取连续极限，弹簧链对角化后每个简正模式本就是一个振子，傅里叶变换正是消除耦合的对角化操作；但从场论自身出发则相当意外——没有离散系统的直觉，很难在动手之前料到。答疑厘清了两点：空间每一点各有一个振子、彼此相连；â 是运动方程的积分常数，故不随时间变化，它与相干态的类比留待希尔伯特空间一讲说清。

对称性给出守恒荷清单。 时间平移给 H，空间平移给三分量动量 P，洛伦兹变换给 M^{μν}——后者用 a、a† 改写的版本因计算繁琐被列为附加题。此处最大的坑是两种“动量”：

守恒荷	对称性来源	关键特征
哈密顿量 H	时间平移	含零点能 E₀，其 k 积分发散
时空动量 P	空间平移	直接代入 π、φ 的平面波解即得；表达式不含零点能，且明显不显含时间
洛伦兹荷 M^{μν}	洛伦兹变换	可用 φ、π 写出；用 a、a† 改写为附加题

「所以这里有两个动量，你别搞混它们：π 是共轭于场变量 φ 的正则动量，而这是整个物理系统的时空动量。」

零点能与第一次照面。 E₀ 表达式含 (2π)³δ³(0)；δ³(0) 是与 k 无关的常数（可提出积分号外），由 δ 函数定义取 k=0 可知它就是全空间体积 V。

「为了理解这个量，你可以把整个宇宙装进一个大盒子里。」

于是 E₀=V·ε₀，ε₀ 获得明确身份——真空能量密度。代入 ω_k 后对 k 的积分出现 k² 因子，算不出，因为发散。但发散有极好的物理理由：回到格点图像，格距 a→0 时任何单位体积内振子数都无穷多——场论自由度连续，任意体积内自由度必然无限。这是学生在 QFT 里见到的第一个发散量，刘宏预告它将迅速成为“生活常态”，并给出总纲：「整个量子场论，就是想办法处理这些发散。」发散并不影响物理结论，但必须发明精巧技巧对付；这份无限真空能还直接牵出著名的宇宙学常数问题。有学生提议“减去无穷大”，老师立即警告：∞−∞ 在微积分里仍可能是 ∞，减除之前必须先做正则化——这正是下一阶段的话题。

本节要点：诺特定理把对称性兑换成守恒荷（H、P、M^{μν}），但真空零点能的积分发散暴露了场论与有限自由度量子力学的本质分野——连续自由度带来的发散，正是量子场论全部核心技巧所要应对的对象。

发散的第一课，与粒子的诞生

把整个宇宙装进一个大盒子，真空能量便可写成 E₀ = V·ε₀，ε₀ 从此有了明确身份：能量密度。代入 ω_k 的显式表达式、对 k 积分（教授随堂发现漏写一个 π，当场补上），被积函数带着 k² 因子。面对“δ(0) 是不是对所有 k 都等于 1”的疑问，他澄清：那是与 k 无关的常数，总能提到积分号外。但结论很干脆——这个积分发散，去算它是徒劳无益的。

发散不是数学毛病，而是物理图像。 回到之前的类比：场是格距为 a 的振子系统，取 a→0 后，任何单位体积里都塞着无限多个振子。

「发散就是这么来的。因为场论里自由度是连续的。每个点上都有自由度，任何体积里自由度必然无限。」

这是学生第一次在量子场论里撞见发散，教授安慰大家很快会习以为常，随即抛出总纲：

「整个量子场论，就是想办法处理这些发散。」

这正是场论与自由度有限的普通量子力学的关键区别：发散并不影响物理结论，但必须发明精巧技巧来对付。

先正则化，再减除。 有学生提议“减去无穷大”，教授泼了冷水：

「微积分课上，无穷减无穷还可能是无穷，对吧？所以必须非常小心。」

正确次序是先让发散变有限。他借调和级数 1+1/2+1/3+… 讲截断思想——场论中的对应操作是加动量截断 λ，即假设动量小于 λ；在格点模型里，λ 就是格距的倒数。没人保证场论在一切尺度适用，截断正对应场论失效之处。截断后的零点能依然巨大、原则上可测，现实却观测不到——这就是著名的宇宙学常数问题（上周系里恰好有专题讲座）。

转入希尔伯特空间。 教授约定先扔掉 E₀：它是像电磁学里势能零点一样不起作用的常数（之后会看到它也能有物理含义）。真空态 |0⟩ 是一条假设（postulate）：对所有 k，a_k|0⟩ = 0。一般激发态就是把产生算符反复打在真空上：|n_{k₁}, n_{k₂},…⟩ ∝ (a†{k₁})^{n{k₁}}(a†{k₂})^{n{k₂}}…|0⟩。有学生敏锐指出这写法只激发可数多个模式，教授确认属实并留待后文。

这些态究竟是什么？看量子数。 判据是哈密顿量 H 与动量算符 P 的本征值：

态	能量本征值（H）	动量本征值（P）	物理诠释
|0⟩	0（舍弃 E₀ 后）	0（对易式中带 k 因子）	真空：什么都没有
a_k†|0⟩	ω_k	k^i（对易子产生 δ 函数，消掉积分挑出 k）	质量 m 的在壳相对论性粒子
a_{k₁}†a_{k₂}†|0⟩	ω_{k₁}+ω_{k₂}	k₁+k₂	两粒子态（k₁=k₂ 即同模式放两个）

单粒子态的四动量 (ω_k, k) 满足 p² = −m²（此度规约定下四矢平方为负质量平方），因为 ω_k = √(k²+m²)——

「这正是相对论粒子在壳的动量——因为 ω_k 等于根号下 k² 加 m²，质量为 m。」

中间那步对易子计算被布置为“一分钟”作业。回应“质量是否为零”的提问时，教授强调：m 是写进拉格朗日量的参数，由你自己的理论决定。量子化一个标量场，竟自动吐出相对论性粒子——正则量子化的回报在此刻兑现。

本节要点：发散源于场的连续自由度，需先截断正则化再减除；而产生算符打在真空上所得的态，其 H、P 本征值恰好落在质壳上，场论由此“无中生有”出质量为 m 的粒子。

激发态的“身份证”：量子数、在壳粒子与一套洛伦兹友好的归一化

场被量子化成无穷多谐振子后，真正的问题才刚开始：a_k†|0⟩ 这些激发态到底是什么？刘宏（Prof. Hong Liu）的判定标准很干脆——不问名字，只读量子数：让哈密顿量 H 和时空动量 P 作用上去，看本征值说话。

真空先立基准：把真空能量 E0 显式扔掉后，H|0⟩=0；又因对易式自带 k 因子，P|0⟩=0。于是真空是能量、动量皆为零的态。单粒子态这边，各 k 模式的振子彼此独立，直接搬用第 2 讲谐振子的老结果，能量本征值就是 ω_k；动量则用标准对易子技巧 [P, a_k†]，中间蹦出一个 δ 函数消掉积分、挑出 k^i——刘宏把这一步留给学生课后“一分钟搞定”。合起来，四动量为 (ω_k, k)。关键一跃在此：ω_k=√(k²+m²)，故 p²=−m²（讲者度规约定），恰是相对论性粒子的在壳条件。

「这正是相对论粒子在壳的动量——因为 ω_k 等于根号下 k² 加 m²……所以很自然，就把它看成质量为 m 的粒子。」

有学生追问质量是否为零，刘宏的回答点破要害：m 是你亲手写进作用量/拉格朗日量的参数，由理论决定，并非先验为零。

双粒子态 a_k1† a_k2†|0⟩（k1 可取相同值，相当于同一模式放两个粒子）同样是 H、P 的共同本征态：E=ω_k1+ω_k2，P=k1+k2。推广到一般态 |n_{k1}, n_{k2}, …⟩——即 n_{k1} 个动量 k1 的在壳粒子，以此类推。由此读出四条结构性结论：其一，粒子数任意，产生算符作用多少次都行；其二，[a†_k1, a†_k2]=0 意味着交换顺序不改变态，波函数置换对称——这是玻色子；其三，虽然 E²=k²+m² 有正负两根，物理谱只取 +ω_k，经典开方带来的负能量难题被量子化消解；其四，总能量 E=Σ n_k ω_k 严格可加——若粒子间有势能，放在一起总能量就不会等于各自之和，故这是自由（无相互作用）粒子理论。

「数学上它们是谐振子，但从时空的观点看，谐振子的每一次激发都对应一个粒子——这就是这个理论的美妙之处。」

自由也意味着限制：有学生问能否改变已产生粒子的动量，答案是“产生之后，它就直线走”，动量守恒动不了；想让粒子“动起来”、定域成波包，得等下一个理论引入相互作用。刘宏的定位很清醒：这是好的起点——至少有粒子了。

最后打一个技术补丁：归一化。习题里算过 ⟨k⃗|k'⃗⟩=(2π)³δ³(k−k')（“五秒的小计算”），但这个对象并非洛伦兹协变——"变换得不漂亮"，而整体不漂亮就意味着每个分量都不漂亮。补救办法是给态乘上 √(2ω_k)：

对比项	旧态记号	新态记号
定义	a_k† 作用于真空	√(2ω_k)·a_k† 作用于真空
内积 ⟨k|k'⟩	(2π)³δ³(k−k')	2ω_k(2π)³δ³(k−k')
洛伦兹性质	不协变，变换别扭	U(Λ)|k⟩=|Λk⟩，变换漂亮

（δ 只取三维，因为 ω_k 仅依赖空间分量。）此后课程固定采用新归一化，严格证明留在习题三（Pset 3）。

本节要点：让 H 与 P 读出量子数，场激发便现身为一族全在壳、全正能、数目任意、交换对称的自由玻色子；再乘上 √(2ω_k) 因子，粒子态才在洛伦兹变换下“变漂亮”，成为后续引入相互作用的干净起点。

动量守恒、洛伦兹归一化与福克空间：给量子态“立法”

正则量子化搭完算符框架，刘宏教授在本讲收尾解决“态”的问题。第一个论断近乎宿命论：再次作用产生算符 a_k† 就多一个粒子，但自由场论中没有任何机制能改变已产生粒子的动量——它守恒、沿直线走到底。想让粒子拐弯、碰撞，必须等引入相互作用（自由理论之后的下一个简单理论）。所以平面波动量本征态像非相对论量子力学里一样铺满全空间；要得到定域、“会动”的粒子，得靠稍后讲的波包。好在这套语言自洽：算符全由 a_k 构成、彼此对易，任何改动都不触及对易关系。

「不行，粒子的动量没法改变。产生之后，它就直线走。」——回应“自由理论中能否改变单粒子动量”

态语言的第一条规范是归一化。把 ⟨k⃗|k⃗′⟩ 化为对易子 [a_k, a_k′†]，“五秒小计算”给出 (2π)³δ³(k−k′)。但刘宏当场点破隐患：这个对象并不洛伦兹协变——不是不能变换，而是变换式极其别扭。修正是乘一个能量因子：重新定义 |k⟩ = √(2ω_k)|k⃗⟩ = √(2ω_k)a_k†|0⟩，内积变为 2ω_k(2π)³δ³(k−k′)；δ 只有三维，因 ω_k 只依赖空间分量。回报立竿见影：U(Λ)|k⟩ = |Λk⟩，洛伦兹变换直接把态映为“动量被变换后的那个态”。课程从此永久换用这套归一化，证明留在习题三。

「它变换得不漂亮。如果它不漂亮，就说明每个分量都不漂亮，用起来就不方便。」——澄清弃用旧归一化的根本原因

动量本征态只是积木，一般单粒子态是叠加：|ψ⟩ = ∫d³k/(2π)³ f(k)|k⟩，只积空间动量——能量被色散关系锁死、不独立。四类态的地位如下：

态	构造	可归一化？	角色
动量本征态 |k⟩	√(2ω_k)a_k†|0⟩	否（δ 归一）	数学积木，非物理态
单粒子波包	∫d³k f(k)|k⟩，∫|f|²<∞	是	一般物理态
两粒子态	∬d³k₁d³k₂ f(k₁,k₂)|k₁,k₂⟩	视 f 而定	可造相距很远的两个波包
位置本征态	—	—	不存在：相对论无位置算符

表中末行是本讲最锋利的对比：非相对论量子力学可把波函数定域到一点，相对论情形没有这种类比，因为位置算符不复存在（习题三要求证明不存在完全定域的本征态）。刘宏把钥匙交给学生——“你们已经有能力做到”。

「在相对论情形下，就没有这种态的对应了，正因为位置算符不再存在。」——回答“能否构造定域于一点的本征态”

态语言的最后一条是空间结构。因无相互作用，ℋ 按粒子数直和分解：真空 ⊕ 单粒子 ⊕ 双粒子 ⊕ ……各扇区互不相干，原则上无穷多块；限定粒子数总是有限（但可任意大——“一百亿、一千亿”），这就是福克空间。而 δ 归一的平面波态不可归一化，严格说不属于物理希尔伯特空间，与非相对论量子力学里 e^{ikx} 同病；真正的物理态是满足 ∫d³k|f_k|²<∞ 的叠加态。一条纯数学花絮：k 构成不可数连续统基，但可归一化 f 的基是可数的——单粒子希尔伯特空间终究由可数基生成，和平常量子力学一样。

讲完态，最后几分钟开启新话题：守恒荷的量子化，从经典荷密度 ρ 起步，为对称性与荷的量子理论搭桥。

本节要点：自由场论的量子态需三步立法——换上 √(2ω_k) 洛伦兹归一化、以平面波叠加造波包（位置算符缺席）、把全空间装配成粒子数有限的福克空间——此后场论才真正“像”一门量子力学。

从福克空间到守恒荷：给“无穷”装上有限的缰绳

第一步，立框架：粒子可以无穷多，态空间只收“有限粒子数”。 场量子化后，原则上存在任意多粒子的扇区；刘宏教授的做法是把零粒子、单粒子、双粒子……所有粒子数有限的态总加起来，得到福克空间（66:03）——粒子数可以一百亿、一千亿，但必须有限。

「在福克空间里，只有粒子数有限的态。但粒子数可以任意多，要多大有多大。一百亿，一千亿，但总是有限的。」——讲解福克空间定义时

第二步，划界限：平面波不是物理态。 |k⟩、|k₁,k₂⟩ 都用 δ³(k−k′) 归一，范数发散，严格说不属于物理希尔伯特空间，正如非相对论量子力学里的 e^{ikx}（66:41）。真正的物理态是叠加态 |ψ⟩=∫d³k f_k|k⟩：重叠积分给出范数 ∫d³k|f_k|²，只要有限即可归一（68:36）。一个纯数学事实：k 本是“不可数连续统”的基，可一旦施加可归一化条件，可归一 f 的基就是可数的——单粒子希尔伯特空间与普通量子力学一样由可数基生成（70:31）。

「不管这个k还是那个k，都只是平面波归一化。严格说，它们不是可归一化的态，严格说不属于物理希尔伯特空间。」——强调平面波态非物理态时

第三步，切入新话题（71:39）：守恒荷的量子化。 经典层面由诺特定理背书：作用量在连续变换（参数 α 标记对称性）下不变 ⇒ 守恒流 j^μ_α=(∂L/∂(∂_μφ_a))·f^a_α−k^μ_α（k^μ_α 为全导数项），守恒荷 Q^α 是流的零分量。“关键来了，是在量子层面”：性质一，Q^α 像哈密顿量 H、动量算符 P 一样不随时间变，是常数算符；性质二，对易子 [Q^α,φ] 生成无穷小变换，指数算符 exp(iλQ) 进一步生成把 φ 变为 φ′ 的有限变换——例子留给习题集 PS2 自验，一般性证明下一讲给出。

层面	对象	关键性质
经典	守恒流 j^μ_α	∂_μj^μ_α=0，对称性由 α 标记
量子	守恒荷 Q^α	常数算符，不随时间变化（同 H、P）
量子	[Q^α, φ]	生成无穷小变换；exp(iλQ) 生成有限变换

本节要点：福克空间以有限粒子数驯服无穷，平面波只是脚手架；守恒荷 Q 既守恒，又是变换的生成元。

总结要点

• 福克空间＝所有粒子数有限的多粒子态的集合，粒子数可任意大但必须有限。
• 平面波 |k⟩ 只被 δ 函数归一、不可归一化，是工具而非物理态；物理态是范数 ∫d³k|f_k|² 有限的叠加。
• 施加可归一化后，不可数的 k 连续统基可换成可数基——单粒子希尔伯特空间回到熟悉的量子力学形态。
• 量子层面守恒荷身兼二职：不随时间变的常数算符，加用 [Q,φ] 或 exp(iλQ) 生成对称变换。

本节要点：有限性定义舞台，对称性给出守恒，对易子负责生成。

迁移与启发

• 先建模，再“归一化”。 平面波好算却不物理：职场里再优雅的方案，若资源、验收、风险不“有限”就等于零——交付前先检查它的范数。
• 可能性可以任意大，仓位必须有限。 投资学福克空间：可以设想无限机会，但任一时刻的持仓与敞口必须有界，否则连“态”都不成立。
• 找到自己的生成元。 exp(iλQ) 的启示：有限改变来自无穷小且守恒的作用——每天固定的复盘或练习，就是那个不衰减的 Q，长期把你变换成另一个人。

本节要点：把“有限性约束”与“守恒生成”这两件物理武器带进日常决策。

一句话升华

理想的平面波从不单独存在，真实世界是无数平面波按有限权重叠加出的可归一态——人生亦然：不是选一条完美直线，而是把无穷可能收敛成一个有限而自洽的自己。

本节要点：以有限驭无穷，以守恒生万变。