量子场论（Quantum Field Theory, QFT）的世界令人着迷：它是一场数学与物理交织的宇宙之舞，揭示着宇宙最深层的运行机制。此刻，我正沉浸在 Quantum Field Theory for the Gifted Amateur 这本书中；这是一段智识上的远行，为我打开了新的视野。
我想分享这段旅程中一个贴近内心的部分：对练习 1.3 的探索。这个练习深入函数泛函及其导数的细节，在这片数学领域中，经典微积分与泛函分析的微妙之美相遇。
题目
考虑泛函
\[G[f] = int g(y, f),mathrm{d}y.\]
证明
\[frac{delta G[f]}{delta f(x)} = frac{partial g(x, f)}{partial f}.\]
题目还要求我们把这个想法推广到包含 $f'$ 和 $f''$ 的更复杂泛函，其中 $f'$ 和 $f''$ 分别是 $f$ 对 $y$ 的一阶与二阶导数。
第 1 步：建立泛函
第一个泛函可以更明确地写作
\[G[f] = int g(y, f(y)),mathrm{d}y.\]
为了求泛函导数 $delta G[f]/delta f(x)$，我们在点 $x$ 处扰动函数 $f$。一种方便的表达方式是使用狄拉克 delta 函数：
\[f(y) rightarrow f(y) + epsilondelta(x-y),\]
其中 $epsilon$ 是一个小量。于是泛函导数定义为
\[frac{delta G[f]}{delta f(x)}
= lim_{epsilon to 0}
frac{G[f(y)+epsilondelta(x-y)] - G[f(y)]}{epsilon}.\]
第 2 步：深入导数
把泛函代入定义，得到
\[begin{aligned}
frac{delta G[f]}{delta f(x)}
&= lim_{epsilon to 0}
frac{int g(y, f(y)+epsilondelta(x-y)),mathrm{d}y
- int g(y, f(y)),mathrm{d}y}{epsilon}.
end{aligned}\]
将 $g$ 按 $epsilon$ 展开到一阶，
\[g(y, f(y)+epsilondelta(x-y))
= g(y, f(y))
+ epsilonfrac{partial g(y, f)}{partial f}delta(x-y)
+ O(epsilon^2).\]
因此，
\[begin{aligned}
frac{delta G[f]}{delta f(x)}
&= lim_{epsilon to 0}
frac{int left[g(y, f(y))
+ epsilonfrac{partial g(y, f)}{partial f}delta(x-y)right] ,mathrm{d}y
- int g(y, f(y)),mathrm{d}y}{epsilon} \
&= int frac{partial g(y, f)}{partial f}delta(x-y),mathrm{d}y \
&= frac{partial g(x, f)}{partial f}.
end{aligned}\]
于是我们正好得到了题目要求证明的结果：
\[frac{delta G[f]}{delta f(x)}
= frac{partial g(x, f)}{partial f}.\]
将结果推广到 $f'$
现在假设泛函依赖于函数的导数：
\[G[f] = int g(y, f, f'),mathrm{d}y.\]
一个小变分 $f rightarrow f + epsiloneta$ 给出
\[delta G
= epsilonintleft(
frac{partial g}{partial f}eta
+ frac{partial g}{partial f'}eta'
right)mathrm{d}y.\]
含有 $eta'$ 的项还不是泛函导数所需的形式，因此我们对它分部积分：
\[int frac{partial g}{partial f'}eta',mathrm{d}y
= left[frac{partial g}{partial f'}etaright]_{text{boundary}}
- int frac{mathrm{d}}{mathrm{d}y}left(frac{partial g}{partial f'}right)eta,mathrm{d}y.\]
如果变分在边界处为零，边界项就为零。于是
\[delta G
= epsilonintleft[
frac{partial g}{partial f}
- frac{mathrm{d}}{mathrm{d}y}left(frac{partial g}{partial f'}right)
right]eta,mathrm{d}y.\]
因此，
\[frac{delta G[f]}{delta f(x)}
= frac{partial g}{partial f}
- frac{mathrm{d}}{mathrm{d}x}left(frac{partial g}{partial f'}right),\]
其中所有量都在 $y=x$ 处取值。
将结果推广到 $f''$
对于依赖二阶导数的泛函，
\[G[f] = int g(y, f, f', f''),mathrm{d}y,\]
其变分为
\[delta G
= epsilonintleft(
frac{partial g}{partial f}eta
+ frac{partial g}{partial f'}eta'
+ frac{partial g}{partial f''}eta''
right)mathrm{d}y.\]
$eta'$ 项通过一次分部积分处理。$eta''$ 项则需要两次分部积分：
\[int frac{partial g}{partial f''}eta'',mathrm{d}y
= left[frac{partial g}{partial f''}eta'
- frac{mathrm{d}}{mathrm{d}y}left(frac{partial g}{partial f''}right)etaright]_{text{boundary}}
+ int frac{mathrm{d}^2}{mathrm{d}y^2}left(frac{partial g}{partial f''}right)eta,mathrm{d}y.\]
假设边界项消失，我们得到
\[frac{delta G[f]}{delta f(x)}
= frac{partial g}{partial f}
- frac{mathrm{d}}{mathrm{d}x}left(frac{partial g}{partial f'}right)
+ frac{mathrm{d}^2}{mathrm{d}x^2}left(frac{partial g}{partial f''}right).\]
这正是贯穿经典场论与量子场论的欧拉-拉格朗日模式：场的每一阶导数在分部积分后都会贡献一个符号交替的项。
感想
这个练习深刻地展示了泛函如何与其导数相互作用，为讨论量子场论的微妙之处提供了一套数学词汇。它就像是在学习一门复杂语言的语法，每一个符号都是一个不断展开的故事中的诗性词语。
我在量子场论宇宙中的旅程仍在继续，而这个练习虽小却至关重要：它展示了函数的局部变分如何把一个积分表达式转化为逐点方程，这正是场论中运动方程背后的基本操作。
