第01讲：经典场论与局域性原理

本文是视频《MIT 量子场论·8.323·第01讲：经典场论与局域性原理》（作者：MIT OpenCourseWare（主讲 Prof. Hong Liu（刘宏）））的精读笔记，配套中配视频观看效果更佳；另附完整文稿｜English transcript。

MIT 刘宏（Hong Liu）教授的《量子场论 8.323》第一讲，是一堂“教科书不会教”的入门课：前半程交代这门号称“最难科目”为什么值得修、该怎么学，后半程正式进入第一章，沿“局域性 → 作用量 → 欧拉–拉格朗日 → 标量场 → 克莱因-戈登”走出第一条完整推导线。对想啃 QFT 的人，这一讲最值钱的是两样东西：一套方法，和一条亲手走通的第一条推导线。

图：视频精读笔记 · MIT 量子场论·8.323·第01讲：经典场论

全景：一条主线看懂

全片逻辑分三步：先回答“为什么学”——量子场论已是理论物理的通用语言；再回答“怎么学”——把 QFT 看作无穷自由度的量子力学，靠例子与习题养直觉。最后启程“学什么”——从法拉第的局域性原理出发，经作用量框架推出场论的欧拉–拉格朗日方程，落到最简单的标量场，得到克莱因-戈登方程。

图：开场主线——为什么学 QFT 与怎么学

一、课程定位与学习心法：难点不在计算，在概念

刘宏自报家门：理论物理学家，研究方向涵盖弦论、量子引力与非平衡统计物理。本课目标是为“场的量子动力学”建立概念、形式体系与技术。他从所有人学过的麦克斯韦方程讲起：它完整描述了电磁场的经典动力学，“但我们生活在量子世界”——把电场、磁场量子化后，光子自然涌现，成为传递电磁相互作用的基本粒子，物理图像与经典彻底不同；这条线索的终点就是量子电动力学（QED）。论证再升一层：自然界四种基本相互作用中，三种完全由量子场论描述；引力虽尚无完整量子理论，场论技术仍能处理其部分问题。量子场论起于粒子物理，如今在凝聚态、统计物理处处开花——结论是：它已成为理论物理的通用语言，做理论者必修，实验者了解概念也大有裨益。课程定位随之明确：本课是硕士系列 QFT I/II/III 的第一门，本学期重概念，后两门重技术；只修 QFT I 也能独立掌握量子标量场的基本思想。大纲只是路线图——他讲一半可能改主意，别看得太死。

核心论断：量子场论一点都不难，前提是用对方法。第一步是拆穿误解：计算量大是“生活的现实”，但不是难点——再复杂的计算一行一行推，细心耐心总能走完；真正的难点在概念层面，这门学科不直观，光靠“想”没用，必须像学量子力学那样做透大量例子，直觉才会慢慢长出来。由此他给出三条建议。其一，QFT 本质上就是量子力学，差别只在无穷多自由度——“More is different（多了就不一样）”，有时是概念层面的质变；所以遇到卡壳，先退一步问“这个困难能否只用有限自由度的量子力学表述”，多数困难其实是量子力学的理解缺口。他以身说法：当年在某处卡了很久，后来发现是海森堡绘景没学透，搞懂后困难消失，与场论本身毫无关系——因此第一次作业就安排练海森堡绘景。其二，形式体系再抽象，都是为解决具体物理问题而设计的；弄清 QFT 为哪些问题而生，套路便迎刃而解。其三，直觉靠经验积累：每做完一道习题（PSET），要回头问自己“我从这道题学到了什么”，把收获想透一遍——决定直觉深浅的不是刷题量，而是复盘。研究生课程的定位是课堂只负责引导（give a guide），重点讲概念图景与物理直觉，大部分内容靠课外自学；老师甚至会刻意把新细节留进习题集，PSET 不只是练习旧知识，更是学习全新内容的一环。

图：金句卡——“多了，就不一样”（More is different）

他还主动“致歉”：推荐的两本参考书——Peskin 与 Weinberg——记号和讲述顺序都与课堂不同，他承认这很烦人，但没有完美教科书、也没有人人通用的完美记号，大家只能各用最顺手的。这段致歉本身就是量子场论的第一课：记号只是方言，物理才是语言。

本节要点：QFT 是理论物理的通用语言，四种相互作用中三种由它描述；难点在概念不在计算——把 QFT 当作无穷自由度的量子力学，靠“退回量子力学查缺口、为问题学形式体系、做完题必复盘”三招养直觉；参考书记号与课堂不同是常态，别死磕记号。

二、从超距作用到局域性：场是被“逼”出来的概念

第一章的问题被亮出：为什么我们需要量子场论？策略是先铺一层经典场论搭舞台，抛出第一个核心概念——局域性原理。牛顿力学的旧图景里存在超距作用：太阳隔着重重空间直接拉住地球，带电粒子间的库仑相互作用也是同样情形。转折发生在约 1830 年：法拉第提出，点与点之间并不存在超距作用，空间中所有的点都参与物理过程；任何效应都必须被传递，从一点逐点传到邻近的点。

图：板书——principle of locality 被圈出，法拉第（1830）：效应从一点传到邻近点（17:48）

那么靠什么传递？答案是场。场是一种数学工具或载体，是落实局域性原理所需的基本工具：给空间中每一个点配置一个或几个动力学变量。典型例子是电场，定义在全空间上，写成 E(x,t)。主讲人特意强调这一写法：x 只是标记位置的标签，t 才是描述演化的参数——在场的定义里，空间与时间的角色极不对等；磁场可完全同样处理，其演化由麦克斯韦方程组描述。

图：板书——场：给每个点配一个动力学变量；电场 E(x,t) 的 x 是标签、t 是演化（21:42）

写出微分形式的前两条——∇·B = 0，∇·E = 4πρ（ρ 为电荷密度，含具体系数 4π）——主讲人随即点题：这组方程完美体现了局域性原理。论据在于：方程中每一项都取自同一个空间点，场在 x 点，源也在 x 点，绝不混入另一点 y 的量，且只含有限个导数——这就是局域方程的定义。导数正是关键机制：它把一点与紧邻的点联系起来，效应借此逐点传播。

第二个范例是爱因斯坦引力（广义相对论）：动力学变量是带两个时空指标的度规 g，爱因斯坦方程同样只依赖同一点的 g 与有限个导数——在爱因斯坦引力里不再有超距作用，引力效应在时空中逐点传播，牛顿式瞬时引力就此退场。两个例子共同给出结论：局域性一旦被立为前提，能写下的理论就被大大限制，因此它是“非常、非常强大的原理”。数学上完全可以构造非局域方程，但经验事实是——到目前为止，支配自然界全部四种基本相互作用（引力、电磁、强、弱）的方程都是局域的。这条经验事实，比任何先验论证都更有分量；非局域方程一般不被视为基本定律。

场的分类随之展开：标量场在每点只取一个数值，温度是典型；矢量场每点对应一个矢量，E 和 B 即是——现阶段用三维转动定义矢量，到相对论性理论则换成四维转动，矢量势就是例子；张量场每点是一个带两个指标的量、分量随位置变化，度规正是实例；今后还会遇到带旋量指标 α 的旋量场，定义留待后讲。可供量子化的对象已排在了下文的路上。

本节要点：法拉第（约1830年）用“所有点都参与物理过程”替换牛顿式超距作用，场的概念由此诞生——给空间每点配动力学变量；局域方程的定义是“只取同一点的量＋有限个导数”，导数是逐点传播的机制；麦克斯韦与爱因斯坦引力皆局域，且四种基本相互作用的方程至今全是局域的——这是局域性作为基本原理的最强经验证据。

三、记号、作用量框架与局域性的“两重锁”

记号先行立规：希腊指标 μ 取 0 到 3、覆盖时空；拉丁字母 i 专指空间方向；x^μ=(ct, x) 是四维矢量，加粗的 x 才是空间矢量；四维偏导 ∂_μ=(1/c·∂_t, 空间梯度)。板书中 t 与 x 写法有别，教授答疑时解释：这是强调二者现阶段角色不同，“等讲到相对论，这两个就一样了，角色完全平等”——写法本身就是物理立场的表态。拆分 A=A⁰+Aⁱ 时教授宣布“这是我最后一次写光速”：课程从此采用自然单位制，c=ℏ=1，目的纯粹是记号方便。

铺垫完毕，进入本讲核心任务：把经典力学的作用量框架推广到场论。经典力学里，作用量 S 是拉格朗日量 L 的时间积分；L 是 x、ẋ、t 的函数，正则动量 p=∂L/∂ẋ，经勒让德变换得 H=pẋ−L。要点在于 S 是轨迹的泛函（以整条轨迹为自变量、输出一个数）：对任意轨迹让 S 取极值，即得运动方程。

图：板书——作用量原理：经典力学 S=∫dt L，p=∂L/∂ẋ、H=pẋ−L，运动方程=让 S 取极值（34:01）

推广到场的结构貌似只多一层积分：S 仍是对时间的积分，而 L 被规定为对全空间 d³x 的积分，被积函数 𝓛 称为拉格朗日密度——它是场 φᵃ（上标 a 区分不同场，也可以把时空指标一并打包进 a）及其导数在单个点（比如 x）上的取值的普通函数；再把每一点的取值对所有 x 积分，才得到拉格朗日量。所以它的名字是拉格朗日密度（Lagrangian density）——“密度”二字点明它管的是局部：𝓛 是“每点的函数”，不是全场的“总账”（34:40 处教授暂停物理专门澄清这点，学生追问也被按下：先搭语言，再谈物理）。

这个特定形式不是随手写的，而是局域性强加的两重约束。其一，只允许这一个简单积分：若拉格朗日量里出现不同空间点的 φ 的乘积耦合，导出的运动方程中就会出现“场在一点的行为受远处另一点直接影响”的项——“隔着距离伸手”，直接违背局域性。教授的论断很锋利：

“局域性是很强的约束。一旦放弃它，拉格朗日量原则上可以任意复杂，想加多少个积分都行。”——刘宏教授在解释作用量为何必须是单一时空积分时（39:17）的原话

正因局域性，只剩这一个单积分——这不是美学偏好，而是硬性法律。其二，拉格朗日量中只允许时间的一阶导数、禁止二阶导数：若放进二阶时间导数，导出的运动方程将含超过两个时间导数；因此施加“运动方程只含两个时间导数”的要求，倒逼拉格朗日量只含一阶时间导数（详细论证后续展开）——这正是本讲留下的悬念。

本节要点：课程立下记号三规（希腊指标管时空、拉丁字母管空间、自然单位制 c=ℏ=1）；作用量框架从质点推广到场的唯一改动是 L 换成对全空间积分的拉格朗日密度 𝓛——它是每一点的普通函数，不是泛函；局域性上两重锁：只许一个时空积分（跨点项=超距作用），只许一阶时间导数（保运动方程只含两个时间导数）。

四、δS = 0：把质点力学的老手艺搬进无穷自由度

推导前先补一课记号（45:57 由学生提问引出）：本课默认爱因斯坦求和约定——重复指标一律自动求和，不管场有多少个分量，一律把指标 a 加起来。这看似记号洁癖，实则是后面所有推导的地基。

核心主题登场：推导运动方程，做法与经典力学完全相同，唯一的推广是把有限自由度换成无穷多——空间每一点都各自挂着一些自由度。变分原理原封不动：令作用量 S = ∫dt L = ∫d⁴x 𝓛 取极值，即 δS = 0。为简洁，先设 𝓛 只含一个时间导数和一个空间导数，用指标 μ 把两者合并书写，之后可直接推广到更一般情形。

变分之所以能“直截了当”，靠的还是局域性：𝓛 只是 φᵃ 及其导数的普通函数，并非泛函。于是 δS 展开为两项：场自身的变分 (∂𝓛/∂φᵃ)δφᵃ，与导数的变分 (∂𝓛/∂(∂_μφᵃ))δ(∂_μφᵃ)。关键一步是 δ 与 ∂_μ 相互独立、可交换次序：δ(∂_μφᵃ) = ∂_μ(δφᵃ)。接着对第二项分部积分（注意动的是 ∂_μ δφᵃ，重复指标都要求和），得到 [∂𝓛/∂φᵃ − ∂_μ(∂𝓛/∂(∂_μφᵃ))]·δφᵃ，外加一个来自分部积分、正比于 δφᵃ 的边界项。由于 δφᵃ 是 x 的任意函数，表达式恒为零的唯一可能是方括号系数为零——这就是场论的欧拉–拉格朗日方程；边界项则总按约定选取合适的边界条件使其为零（细节课上不展开）。

图：板书——δS 的两项展开：场自身的变分与导数的变分（50:13）

至此逻辑闭环：局域性先保证 𝓛 是普通函数，再保证变分能落地为逐点成立的方程——“每点自治”从输入一路贯穿到输出。推导结束后讲师宣布两个后续通行的限制，并特意说明大部分讨论都能推广到限制之外。其一，平移不变：理论中没有特殊的时空点——在波士顿做实验和在华盛顿做结果一样；理论若不平移不变，换座城市结论就变。其二，洛伦兹不变：有些凝聚态问题里根本没有洛伦兹对称性，但课程的方法照样适用。

本节要点：求和约定是推导地基；变分流程与质点力学完全相同，唯一升级是自由度从有限到无穷；局域性两次出手——保证 𝓛 是普通函数、保证方程逐点成立；任意变分 δφᵃ 的系数为零直接给出欧拉–拉格朗日方程；后续默认平移不变与洛伦兹不变，但方法本身不依赖洛伦兹对称性。

五、三个例子一步比一步简单：局域性做筛子，对称性当裁判

第一个例子是麦克斯韦理论：动力学变量为四维矢势 A_μ，由它定义场强张量 F_{μν}，电场 E、磁场 B 都藏在这一个张量里；不含带电物质的作用量为 S = ∫d⁴x (−1/4)F_{μν}F^{μν}，对它变分得到的正是真空麦克斯韦方程组。讲师随即点题：这种“对时空单一一次积分”的作用量形式，正对应前文讲的局域理论概念。

第二个例子出人意料：爱因斯坦引力本身也是经典场论。作用量前带牛顿常数 G，动力学变量是度规 g，R 为里奇标量。不懂爱因斯坦方程也没关系——写它只为说明引力同样是局域理论、单一积分；不过其变量是张量，比矢量场（每个时空点挂一个矢量）还要更复杂。

例子	动力学变量	作用量	备注
麦克斯韦理论	四维矢势 A_μ	S = ∫d⁴x (−1/4)F_{μν}F^{μν}	变分即得真空麦克斯韦方程组
爱因斯坦引力	度规 g（张量）	牛顿常数 G × ∫d⁴x R	只为说明引力也是局域理论
实标量场	每点一个数 φ	S = ∫d⁴x [∂_μφ∂^μφ − V(φ)]	局域性允许的最一般作用量

于是最简单的情形登场：标量场——每个时空点上只有一个单独的数值。课程选定实数值场 φ（复值亦可，实数最简单），φ 就是动力学变量，且绝非纸上角色：多年前被实验发现的希格斯场、可视为标量场激发的 π 介子都是现实实例。板书的作用量——动能项 ∂_μφ∂^μφ 加势 V(φ)——不是推导出来的，但可以论证：满足局域性时，这是能写出的最一般作用量——其中洛伦兹指标（含导数的）全部缩并，正是洛伦兹不变的保障；V(φ) 是 φ 的任意函数，实践上常取多项式。

图：板书——欧拉–拉格朗日方程落地，下方进入例子：麦克斯韦理论的动力学变量 A_μ(x)（56:49）

写下的候选还要接受对称性审查。平移对称性的物理含义极直白：在这个理论里做实验，换任何地点、任何时刻，结果都一样。由此立刻读出一条硬约束——V(φ) 中所有参数必须是常数：一旦系数依赖时空，不同位置、不同时刻表现各异，平移不变性当场破产。这里可以提炼出本讲的方法论味道：理论物理不靠推导“猜出”唯一答案，而是先写下局域性允许的最一般形式，再让对称性逐条删减。

段落结尾进入具体演算路线：先写出拉格朗日量密度 𝓛，对 φ̇ 求导即得共轭的动量密度 π(x)（单场情形没有指标），再由它构造哈密顿量——标量场理论的细致核算由此起步。

本节要点：麦克斯韦（矢量场 A_μ）、爱因斯坦引力（张量场 g）、标量场（每点一个数 φ）三个例子复杂度递减；标量场作用量是“局域性允许的最一般形式”，洛伦兹指标缩并保证洛伦兹不变；平移对称性再砍一刀——V 中参数必须全是常数；方法论：先写最一般形式，再让对称性删减。

六、三种势三种命运：外力、克莱因-戈登与非线性深渊

剩下的就是标准力学流程的场论翻版：写出拉格朗日量密度 𝓛，对 φ̇ 求导得动量密度 π(x) = φ̇（单场无指标，一步到位）；借关键展开 ∂_μφ∂^μφ = −φ̇² + (∇φ)²，哈密顿密度 H = πφ̇ − 𝓛 便完全用动量与空间导数表出。代入欧拉-拉格朗日方程，得到一般运动方程 ∂²φ + ∂V/∂φ = 0（∂² ≡ ∂_μ∂^μ）。此后的一切取决于 V 怎么选：取常数最简单，却因对称性与归一化不起作用；第一个非平凡选择是线性势 V = fφ，系数 f 仍须为常数（还是平移对称性的要求），方程变为 ∂²φ = f——f 像一个持续供能的“源”，只要 f ≠ 0，φ 就不可能为零，场总被激发、总被产生，故名“外力”；但通常我们关心系统自发演化，于是舍去 f，落到二次势 m²φ²（m² 同样必须是常数），方程 ∂²φ + m²φ = 0 正是大名鼎鼎的克莱因-戈登方程。

“这就叫做克莱因-戈登方程。下节课大家很快会明白，为什么它这么有名。”——刘宏教授写下方程、收束整讲时（68:02）的预告

图：板书——线性势 V=fφ 的“外力”，与被框出的克莱因-戈登方程 ∂²φ−m²φ=0（68:02）

φ² 的特殊之处在于：因为是平方，方程是线性的；势一旦取更高次或更复杂函数，方程立刻非线性，问题马上变难。非线性方程总是复杂——这个自由标量场理论，就是我们要考虑的最简单的场论。

本节要点：标量场的“标准流程”是 𝓛 → π=φ̇ → H=πφ̇−𝓛 → 欧拉-拉格朗日 → ∂²φ+∂V/∂φ=0；V 的选择决定命运——常数平凡、线性势是持续外力、二次势给出克莱因-戈登方程（下一讲的主角）；平方=线性方程，更高次=非线性深渊，自由标量场因此是“最简单的场论”。

总结要点

1. 课程定位与方法论：QFT 是理论物理的通用语言（四种相互作用三种由它描述），难点在概念不在计算——把它当作无穷自由度的量子力学，靠例子、习题与复盘养直觉，参考书记号不合是常态。
2. 局域性原理是本讲的思想枢纽：法拉第（约1830年）用“效应从一点传到邻近点”替换超距作用；局域方程只含同一点的场与有限个导数，导数是传播机制；四种基本相互作用的方程至今全是局域的。
3. 作用量框架：场的推广只把 L 换成拉格朗日密度 𝓛（每点的普通函数，非总账）；局域性上两重锁——只许一个时空积分、只许一阶时间导数。
4. 变分推导：δS=0 的流程与质点力学相同，任意变分的系数为零直接给出场论版欧拉–拉格朗日方程；后续默认平移不变与洛伦兹不变。
5. 例子与标量场：麦克斯韦（A_μ）、爱因斯坦引力（g）、标量场（φ）复杂度递减；标量场作用量是局域性允许的最一般形式，对称性（平移不变）要求 V 的参数全为常数；线性势是外力，二次势给出克莱因-戈登方程 ∂²φ + m²φ = 0——下一讲的主角。

迁移与启发

• 决策只信“光锥内”的信息：像物理定律只依赖邻近数据一样，职场判断优先采纳你亲自验证过的一手信息；远端的小道消息与宏大叙事一律降权——它们大概率已被别人“定价”。
• 影响以有限速度传播，别追已到站的列车：等你“听说”风口时，超额收益通常已被吃掉。守好自己的局部——现金流、可迁移技能、低杠杆的资产负债表——远比捕捉远端信号更可复制。
• 改局部条件，胜过改全局目标：复杂人生没有全局方程，只有每天的“局部规则”。把每天相邻的一小时设计好——它就是你人生的拉格朗日量，决定整条轨迹的走向。

一句话升华

宇宙不承认瞬间的魔法，只允许邻近处的相互作用——改变世界唯一可靠的方式，是先把你自己所在之处做对。