宇宙并不只是由“物体”组成。如果你看得足够深入，越过粒子这一层，就会发现场：更准确地说，是量子场。就像塑造海洋运动的暗流一样，这些场决定了我们宇宙中粒子的行为。
这不只是一个诗意的意象。它是量子场论（QFT）的骨架。下面我们仔细看一个简单却富有启发性的计算：Quantum Field Theory for the Gifted Amateur 中的例 1.5。
背景：从拉格朗日量到作用量
为了搭建舞台，我们需要两个核心概念：拉格朗日密度和作用量。拉格朗日密度记作 $mathcal{L}$，它是描述场动力学的局域记账工具。它由场、场的导数，以及质量或耦合常数等参数构成。
作用量记作 $S$，它概括了整个时空中的动力学：
驻定作用量原理说的是：物理场构型应当使得场发生微小变分时，作用量在一阶近似下保持不变。这会导出场的欧拉-拉格朗日方程。
协变与逆变向量
在相对论记号中，指标很重要。协变向量使用下指标，例如 $A_mu$；逆变向量使用上指标，例如 $A^mu$。二者通过度规张量联系起来：
同样的思想也适用于导数。我们用 $partial_mu$ 表示对时空坐标 $x^mu$ 求导，并用度规升高指标：
这种紧凑的记号让我们能够写出洛伦兹不变的表达式，也就是说，这些表达式的形式在洛伦兹变换下保持不变。
例 1.5：标量场
在例 1.5 中，我们考虑自由实标量场的拉格朗日密度：
更明确地说，动能项表示
这里 $phi(x)$ 是一个标量场：它为时空中的每一点赋予一个数值。对象 $partial_muphi$ 是 $phi$ 对第 $mu$ 个时空坐标的偏导数。参数 $m$ 是场激发的质量。
场的欧拉-拉格朗日方程是
对于这个拉格朗日密度，第一项为
而对 $partial_muphi$ 求导得到
把这些代入欧拉-拉格朗日方程，得到
等价地，
其中
这就是 Klein-Gordon 方程。它描述了自由相对论性标量场在时空中的演化。具体符号约定会随度规号差而变化，但稳妥的方法始终相同：写出拉格朗日密度，应用场的欧拉-拉格朗日方程，并一致地追踪升降指标。
为什么这很重要
这个小例子包含了量子场论所需的几种基本习惯：写出洛伦兹不变的拉格朗日量、对作用量做变分，以及推导场的运动方程。标量场是最简单的场之一，但这种方法可以推广到更复杂的理论。
从这个意义上说，例 1.5 不只是一个形式练习。它是通向现代物理中描述粒子与相互作用那套机制的第一步。一旦作用量已知，动力学就会从一个紧凑的变分原理中随之而来。
这个计算的美妙之处在于，它把一个关于 $mathcal{L}$ 的简短表达式转化为一条物理运动方程。这正是量子场论的核心操作之一：宇宙并不只由孤立粒子描述，而是由场来描述；这些场的动力学写在对称性、变分与时空的语言之中。