第02讲:对称性与守恒律
本文是视频《MIT 量子场论·8.323·第02讲:对称性与守恒律》(作者:MIT OpenCourseWare(主讲 Prof. Hong Liu(刘宏)))的精读笔记,配套中配视频观看效果更佳;另附完整文稿|English transcript。
MIT 8.323 第二讲由刘宏(Prof. Hong Liu)承接上讲:先补上全程沿用的度规约定——时间分量 −1、空间分量 +1(mostly-plus),再从局域性原理搭起经典场论的骨架,最后正式点题本讲主角:对称性。这一讲把“场论为何长成这样”讲成一条因果链,而非公式罗列,值得细看。
图:视频精读笔记 · MIT 量子场论·8.323·第02讲:对称性与

全景:一条主线看懂
全片是一条递进链:局域性原理推出“场=每个空间点各一份自由度”,作用量因此被限定为单一的四维积分;取最小样本——自由实标量场——把框架落实;再借样本给出对称性的严格定义与分类,为守恒律埋线。
本节要点:先立框架(局域性→场→作用量),再用最简例子标定对称性,步步为守恒律铺路。
从“无穷个自由度”到“对称性家谱”
论点一:场论=无穷自由度的经典力学。 局域性原理要求作用量只依赖同一时空点上的场及导数取值,这自然引出场 φ_a(x,t):每个空间点各一份自由度,a 是区分场的标签,时间负责演化。刘宏一锤定音:
「经典场论就像经典力学,只是自由度变成了无穷多个。」——(01:49)
顺着类比,经典力学词汇整套平移:正则动量对应每个空间点共轭于 φ_a 的动量密度 π(由 φ̇ 定义);哈密顿密度为 π_a·φ̇_a 求和减 𝓛,对空间积分得总哈密顿量;对 S=∫d⁴x 𝓛 变分,即得欧拉–拉格朗日型运动方程。形式之简,恰是局域性原理之力。
论点二:最小样本=自由实标量场。 答疑先澄清 φ 只取实数;随后按“从最简入手”的通例,选单分量、无内部指标的标量场。作用量由对称性裁定:动能项 ∂_μφ∂^μφ(正负号由度规约定定)加 m²φ²,而动能项并非随手写就——它是洛伦兹对称性下能写出的最简导数项。此例中 π=φ̇,运动方程是线性方程。
「它是个很简单的理论、很简单的运动方程,但后面会看到,它实际上能教给我们很多关于一般场论的东西。」——(06:34–06:39)
论点三:对称性=换场+作用量不变。 变换把每个场 φ^a 变成场的某个函数(撇号只是“另一个函数”,不是求导),判定标准只有一条:作用量不变。以“星号作用量”为样本,平移 x^μ→x^μ+a^μ(a 为常矢量)与洛伦兹变换 x'^μ=Λ^μ_ν x^ν 均通过检验,标量场变换规则统一为 φ'(x')=φ(x):
「改变坐标,其实就是换掉场上的标签。但场的值不该变。」
不变性的技术根源在 ∂_μ∂^μ 的上下指标缩并,验证留作习题集练习。
论点四:给对称性分类,是给理论分家谱。 两个维度交叉切分:
| 对称性 | 变换 | 参数 | 类别 |
|---|---|---|---|
| 平移 | x^μ→x^μ+a^μ | 4 个连续参数 | 连续·整体 |
| 洛伦兹 | x'^μ=Λ^μ_ν x^ν | 6 个(3转动+3助推) | 连续·整体 |
| Z2 与宇称 | φ→−φ;x→−x | 无连续参数 | 分立 |
| 规范变换 | 参数随时空点变化 | 随时空变化 | 局域 |
φ→−φ 的来由极妙:「就是φ变成负φ,因为它是二次的。」它与宇称同属 Z2——变换做两次即回恒等。而“整体 vs 局域”这一刀切得更深:平移、洛伦兹的参数是与时空无关的常数,故属整体对称性;参数随时空变化的局域变换,原型正是电磁学里的规范变换——这条线索日后直通规范场论。
本节要点:局域性框定作用量的形状,对称性甄别合法变换,二者共同构成后续守恒律(诺特定理)的全部前提。
给对称性分类:两根轴,一座通往守恒律的桥
刘宏教授先给上一讲的例子贴上标签:像平移、洛伦兹这类带连续参数的变换,叫连续对称性。参数不止“有无”,还能数出来——平移参数 A 是四维矢量,可任意连续取值,共 4 个;洛伦兹变换则有 6 个:3 个空间转动加 3 个助推(boost)。课堂一问一答间也给出了可操作的判据:把变换显式写出,有没有参数一眼可见。
不含连续参数的归入分立对称性。学生答“宇称”,获肯定,但老师指出还有更基本的:线索藏在拉氏量里——所有项都是 φ 的二次项,二次型天然容许 φ → −φ。它与空间反演 x → −x 一样,「Z2 的意思是,变换做两次就回到恒等」。
于是有第一根分类轴;第二根轴看参数是否依赖时空:参数为常数是整体对称性(平移、洛伦兹皆属之),参数随时空变化则是局域对称性,其原型是电磁学中的规范变换,留待后续课程展开。
| 分类轴 | 类型 | 参数特征 | 本讲实例 |
|---|---|---|---|
| 是否含连续参数 | 连续对称性 | 可连续取值 | 平移(4 参数)、洛伦兹(3 转动 + 3 助推 = 6 参数) |
| 是否含连续参数 | 分立对称性 | 无连续参数 | φ→−φ、宇称 x→−x(均属 Z2) |
| 参数是否依赖时空 | 整体对称性 | 参数为常数 | 平移、洛伦兹变换 |
| 参数是否依赖时空 | 局域对称性 | 参数随时空变化 | 电磁学规范变换 |
定义也随之收紧。有学生问:变换改变作用量却不改运动方程,算对称吗?老师按定义裁定——「按定义,如果它让作用量保持不变,我们说它是对称性」,并补一句诚实的限定:作用量不变几乎总保证运动方程不变,但纯数学上并无保证——这是物理惯例,不是定理。
「有一个非常简单、但很深的联系,就在对称性和守恒律之间。」
真正的主题在此登场:任何守恒律都能理解为对称性的结果。经典力学早有三组对应——时间平移给能量、空间平移给动量、转动给角动量;艾米·诺特 1918 年的定理把经验升格为普适命题:「只要系统有连续整体对称性,那系统就有守恒律」——不限于那三个熟悉的例子,任何一种都算。
证明的钥匙是无穷小变换。连续对称性可以连续滑向恒等变换:把 a^μ 取小、把转角或助推速度取小即得,一般写成 φ_a → φ_a′ = φ_a + ε f_a。ε 是无穷小参数(小平移、小转角、小助推皆可充当),f_a 是场及其导数的任意函数;记号 δ̂ 专指这类对称变换,不是一般变分。
推导三步走。其一,按定义 δ̂S = 0;其二,S 是拉格朗日密度 L 的时空积分,且变换正比于 ε、只保留线性阶,故 L 的变分必为全导数:δ̂L = ε ∂_μ k^μ,k^μ 可取零——此时拉氏量本身严格不变,是更强的不变性。这个方程不是终点,而是对称性压在理论上的约束。当学生问是否该直接验证作用量不变时,老师的回答点破方法论:
「我们假设理论有某种对称性,然后看这给理论带来什么约束。」
这正是诺特定理证明的起点——下一步对 L 做显式变分,守恒流将从约束中被逼出。
本节要点:对称性沿两根轴分类——连续/分立看参数有无、整体/局域看参数是否依赖时空,而诺特定理把“连续整体对称 ⇒ 守恒律”锻造成铁律,其证明从无穷小变换与全导数约束 δ̂L = ε ∂_μ k^μ 起步。
从无穷小变换到守恒流:诺特定理的完整推导
论点先行:连续对称性的威力藏在“无穷小”里。 27 分钟处,刘宏教授写下全讲最关键的一行式:φ_a → φ_a + ε·f_a。只要存在连续对称性,就必有贴近恒等变换的无穷小变换——ε 可以是很小的平移 a_μ、小旋转角或小 boost 速度;而刻画变换的 f_a 对场及其导数没有任何先验限制。注意 δ̂ 专指无穷小对称变换,不是一般变分。
「只要有个连续对称性,就总有无穷小变换,它接近恒等。」
约束方程的推出只需三步。 其一,按定义,对称变换下作用量不变:δ̂S = 0。其二,S 是拉格朗日密度 L 的时空积分,且变换正比于 ε,只需保留线性阶。其三,于是 L 的变分只能是全导数:δ̂L = ε∂_μ k^μ(k^μ 也可取零,此时 L 本身严格不变)。有学生问“是否该直接变分参数、验证作用量不变”,教授点破方法论:方向恰好相反——已知变换是对称性,用它反推拉格朗日量必须满足的约束。学生立刻猜到答案:这是在证诺特定理。
高潮在代入运动方程。 对 L 显式变分,按乘积法则展开两项;关键一步是代入欧拉-拉格朗日方程 ∂L/∂φ_A = ∂_μ(∂L/∂(∂_μφ_A)),把 δL 化成全导数,再与右边 ε∂_μ k^μ 对比、代入 δφ_A = εF_A,36 分钟处守恒律水到渠成:
∂_μ j^μ = 0,其中 j^μ = (∂L/∂(∂_μφ_A))·F_A − k^μ
「守恒律就是找一个满足这个方程的矢量。」
有学生觉得四维散度为零“很奇怪”,教授回应:这是经典力学守恒律的时空版本,比只看 dQ/dt=0 更强。拆开写就是电磁学里的连续性方程:j^0 是密度,密度的时间变化率等于空间流的散度;对全空间积分、用高斯定理化掉无穷远边界项,即得 dQ/dt = 0,守恒荷落地。至于 j^μ 具体对应什么物理量,会在习题中给定具体拉格朗日量与变换后显式算出。
三条岔路:定理的适用边界。 课堂追问把讨论引向更细的分类:
| 对称性类型 | 参数 ε | 对应定理 | 结论 |
|---|---|---|---|
| 整体对称 | 不依赖时空 | 诺特第一定理 | 守恒流 j^μ 与守恒荷 Q |
| 局域对称 | 依赖时空 | 诺特第二定理 | 无守恒律,运动方程部分冗余 |
| 分立对称 | 无连续参数 | — | 可有分立量子数(如宇称),但无流 |
「当 ε 依赖时空、即有局域对称性时,你得不到守恒律,反而会发现运动方程的某些部分是冗余的。」
收束在两个漂亮的观察上。 一是研究策略:面对任何复杂对称性,只需理解它在恒等变换附近的行为——任何有限变换都由无穷小变换累加而成(除整体拓扑外完全决定),且不变的对象连做多次变换仍不变。二是视角澄清:推导中时空坐标 x 是作用量里的哑变量,被积分消掉——变的是场而非空间;对称性也不必是时空变换,可以是抽象变换(本讲只处理含一阶导数的常见情形,高阶原则上可行)。课程至此为经典部分盖章:
「经典场论就是有无穷多自由度的经典力学。」
下一站,是这个故事的量子版本。
本节要点:诺特定理的精髓是把对称性当约束反推理论——δ̂S=0 迫使 δL 成为全导数,代入运动方程即得守恒流 ∂_μ j^μ=0;整体对称给出守恒荷,局域对称暴露冗余,分立对称只剩量子数。
从守恒荷到量子场:诺特定理收官,量子化开篇
守恒律的最后一步。 前面已得诺特流满足连续性方程 ∂_μJ^μ=0,把它对全空间积分:左边变成电荷的时间导数 ∂₀Q;含空间导数的项是全导数,用高斯定理化为边界面积分——只要流在无穷远处为零,边界项消失,立刻得到 dQ/dt=0。刘宏特别对比:经典力学里守恒通常只有 dQ/dt=0 这一句,场论给出的却是完整版守恒律——守恒荷由一个局域的流承载。
诺特定理的两副面孔。 有学生问 J 到底代表什么,回答很务实:给定具体拉格朗日量与具体变换,δS=0 对任意区域成立意味着变化量只能是全导数 ∂_μK^μ,由此显式解出边界项系数 K、写出 J——这正是习题课要练的。随后课堂推到关键分岔:以上推导假设变换参数 ε 不依赖时空,这是诺特第一定理;一旦 ε 随时空变化(局域对称性),ε 必须留在全导数内部、不能提出去,结论彻底改写。
「当 ε 依赖时空、即有局域对称性时,你得不到守恒律,反而会发现运动方程的某些部分是冗余的。」
即:整体对称→守恒流与守恒荷;局域(规范)对称→运动方程部分冗余(诺特第二定理)。分立对称是第三种情形——如宇称,可定义守恒的分立量子数,但没有对应的流。
无穷小变换为何够用。 这是本讲的方法论内核:任何有限变换都由无穷小变换累加而成,而对称性按定义在复合下封闭——不变的对象连变多次仍不变——所以只需理解对称性在恒等变换附近的行为,除少数整体拓扑结构外,整个对称性就被完全决定了。
「每当我们遇到一个对称性,不管它多复杂,只要理解它在恒等变换附近的行为——即无穷小变换——就足够了。」
转入量子场。 刘宏用一句话给前半程盖章:
「经典场论就是有无穷多自由度的经典力学。」
例证是电磁场:麦克斯韦方程组及其求解即构成电磁场的经典场论。路线图随之铺开——标量场论(最简起点)→ 狄拉克理论(描述电子)→ 二者合流的 QED(课程终点)。量子化配方在单粒子量子力学中早已预演:x(t) 变成算符,经典运动方程恰好变成海森堡方程。唯一的陷阱是记号:场论中的 x 永远只是空间点的标签,不是动力学变量;被量子化的是场 φ 本身。
绘景之争:QFT 一边倒。 把两套绘景平行搬进场论,差别立刻放大:
| 薛定谔绘景 | 海森堡绘景 | |
|---|---|---|
| 单粒子量子力学 | 波函数 ψ(x,t) 演化,位置算符不随时间变 | 算符满足海森堡方程,态不变 |
| 量子场论 | 波泛函 Ψ[φ(x),t],以整张场位形为变量 | 场算符 φ̂(x,t) 满足海森堡方程(φ 经典方程的量子版),态不变 |
| 本课取舍 | 多场时波泛函极其复杂,仅偶尔有用 | 几乎总是采用,此后不再谈薛定谔绘景 |
薛定谔绘景要对付的“庞然大物”,是空间上函数所有可能取值的波泛函;海森堡绘景只需解一个形似经典方程的算符方程。刘宏反问“你觉得哪个更简单”,并给出学习建议:过去的量子力学课几乎全在薛定谔绘景里,现在必须强迫自己一切用海森堡绘景来想,学 QFT 会轻松得多。
本节要点:对称性研究在诺特第一、第二定理处分流——整体对称给守恒流、局域对称暴露方程冗余、分立对称只剩量子数;而量子化的入口只有一个动作:让场 φ(而非坐标标签 x)变成满足海森堡方程的算符,并从此改用海森堡绘景思考。
海森堡绘景的胜利,与一个“并不存在”的理论
绘景之争:量子场论站队海森堡。 承接上文,场算符 φ̂ 满足的演化方程正是海森堡方程——“它服从海森堡方程,就是 φ 经典方程的量子版”。和量子力学一样,场论也有两种讲法,但代价天差地别:
「用薛定谔绘景,你得对付这个庞然大物——也就是空间上函数所有取值的波泛函。」
薛定谔绘景里算符 φ̂(x) 凝固不动,时间依赖全部塞进波函数;可场的本征值 φ(x) 本身是整个空间的函数,波函数于是升格为波泛函 Ψ[φ(x)]——你得对“所有可能场构型”解一个薛定谔方程,场一多更是复杂到无从下手。海森堡绘景反着来:态钉死不动(刘宏强调了两遍),只解算符演化方程,而那正是此前早已写好的经典方程,换个解释而已。他当场反问“你觉得哪个更简单?”,并叮嘱学生:以前量子力学课里解波函数的那套思维,得整体翻译成海森堡语言,学场论才轻松。
「所以量子场论里,我们几乎都用海森堡绘景,我们总用海森堡绘景,很少去想波函数。」
| 维度 | 薛定谔绘景 | 海森堡绘景 |
|---|---|---|
| 演化对象 | 波泛函 Ψ[φ(x)],扛下全部时间依赖 | 场算符 φ(x,t),态不变 |
| 要解的方程 | 波泛函的薛定谔方程 | 经典场方程的量子版 |
| QFT 中的负担 | 场构型自由度无穷,多场时近乎不可处理 | 与经典力学同构,顺手 |
| 本课程选择 | 宣布不再讨论 | 全程采用 |
学生追问:不看波函数,怎么算位置、期望值?答案令人安心——算法与量子力学完全相同,拿关心的态去夹算符;而 QFT(如 QED)打交道的几乎总是真空态及其轻微激发,无需面对任意态,这正是海森堡绘景方便的深层原因。“到这个层面,量子场和量子力学没有区别。”
更大的转折:把狭义相对论塞进量子力学,得到的不是“相对论性量子力学”,而是场论。 朴素答案是老教材里的那个词,但刘宏的论断毫不客气:
「严格来说,相对论性量子力学并不存在。」
只要统一这两者,被逼出来的产物必然是量子场论——“就算你不想谈场,就算只想谈粒子”。他复原 1926 年的历史现场:非相对论路线从色散关系 E=p²/2m 出发,替换 E→i∂/∂t、p→空间导数(先忘掉 ħ),便得自由薛定谔方程;对相对论色散关系“照做一遍”,合并导数后得到 ∂μ∂μψ=0——克莱因-戈登方程。吊诡在于:它与本课最简自由标量场的运动方程一字不差,诠释却南辕北辙——ψ 不是场,是单个粒子的概率幅,|ψ|² 给出概率。克莱因与戈登当年正是这样写下“相对论性量子力学第一个方程”并自认“永垂不朽”,很快却发现:若把它当波函数方程,立刻撞上硬伤——可以证明,不存在任何量能充当概率密度,而概率密度按定义首先必须非负。这个悖论,正是通往量子场论的必经裂缝。
本节要点:海森堡绘景因把动力学还给算符方程而在 QFT 中一统天下;而“相对论化”量子力学的首次尝试(克莱因-戈登方程)在概率解释上失败,恰恰暗示量子场论是被相对论与量子力学共同逼出的唯一出路。
一条「照做一遍」的捷径,撞碎了单粒子量子力学
第一步:照抄即可得方程。 忘掉 ħ,把动量 p 换成空间导数、能量 E 换成 i∂/∂t,就得到自由粒子的薛定谔方程,之后还可补上势能项。刘宏教授由此设问:假如你身处量子力学早期,最自然的动作就是把这套流程推向狭义相对论——写下相对论色散关系,做完全相同的替换,合并导数项移到一边,得到 ∂μ∂μ 作用于波函数的二阶方程。这就是克莱因-戈登方程。
第二步:一个方程,两种身份。 它正是此前写下的最简自由标量场的运动方程;但此刻 ψ 不是场,而是单个粒子在时刻 t、位置 x 出现的概率幅,模平方给出概率。
「这方程眼熟吗?这就是我们写过的最简标量场运动方程。但这里,解释很不同。」
第三步:历史喜剧与三重裂缝。 1926 年,克莱因与戈登正是这么干的——
「写下这方程后他们说,这下永垂不朽了,因为写出了相对论性量子力学的第一个方程。」
可把它当作相对论性单粒子的波动方程,问题立刻浮现。教授先说「很多问题」,又自嘲「说很多有点夸张,其实就是几个」。难在三层:
| 困难 | 具体表现 | 结局 |
|---|---|---|
| 概率密度不存在 | 定义要求非负且随时间守恒,此方程下找不到可作概率密度的量 | 证明留作习题 PSI 2 |
| 负能解 | E 取 ± 两支,能量无下界 | 经典上可扔负能支,量子力学扔不掉:跃迁躲不开(如激发氢原子必回落),粒子全跌向无穷负能,系统失稳 |
| 概念失效 | 相对论中粒子可随时产生湮灭(正反电子对产生、电子湮灭成光子,加速器里天天发生),粒子数不守恒 | 「单粒子波函数」本身说不通 |
第四步:致命伤在概念层。 教授点破:前两关即便有巧妙方案绕开也不够——相对论性量子力学连概念都不成立。波函数按定义绑死粒子数:非相对论世界粒子不生不灭,单粒子、双粒子各分支互不混合,说得通;相对论世界只要能量足够就能造出新粒子,粒子数随时在变,必须有能同时描述任意多粒子的框架。
「神奇的是,场论能做到。场论一旦量子化,就会自动给你一个框架,统一描述任意多的粒子。」
机制只有一句话:场的激发自动就是粒子。这正是场论成为粒子物理通用语言的根源。
本节要点:克莱因-戈登方程的失败不在两个技术困难,而在「单粒子波函数」概念与相对论粒子数不守恒的根本冲突——量子场论由此成为必然。
总结要点
- 方程形式不决定物理:同一个 ∂μ∂μψ=0,场论里是场的运动方程,1926 年的历史语境里是单粒子波函数方程——诠释才分生死。
- 两大技术困难:非负且守恒的概率密度不存在;E=± 的负能支能量无下界,量子跃迁使其无法丢弃。
- 更根本一刀:相对论下粒子随时产生与湮灭,粒子数不守恒,「单粒子波函数」概念本身崩塌——修补无用,必须换框架。
- 量子化后的场论以「场的激发」统一描述一个、两个乃至任意多粒子,这是它统治粒子物理的根源。
本节要点:本讲沿「照抄—两种诠释—三重裂缝—概念崩塌—场论登场」完成了「为什么必须是量子场论」的论证闭环。
迁移与启发
- 分清症状与病根。 概率不守恒、负能只是「表面原因」,概念才致命。职场里修不完的流程 bug、投资中屡补屡漏的策略,先问一句是不是框架错了——换框架比换参数有效得多。
- 拒绝「无下界」结构。 负能支让能量可趋于无穷负,系统注定塌陷。高杠杆、孤注一掷的仓位就是人生里的负能支:先守住亏损下界,再谈收益上行。
- 选能自动扩展的方案。 场论无需逐个手写「一个粒子、两个粒子」的理论。搭技能树、做职业规划时,优先选能随规模自动生长的可复用结构,而非逐案救火。
本节要点:诊断先辨层次(补丁还是框架),评估先设下界,选择先看扩展性。
一句话升华
当概念撑不住事实,修补只是精致的徒劳;敢换框架,才有真正的跃迁。
本节要点:与其在旧方程上缝缝补补,不如造一个容得下全部事实的新框架。