a_2,是一个满足以下条件的分布：对任何测量函数 "f":formula_3用 formula_4 的一次变分 formula_5 代替 formula_6 就得到 formula_7 的一次变分 formula_8；在物理学中，通常用狄拉克δ函数formula_9，而不是一般的测试函数 formula_10, 来求出点formula_11处的泛函导数(这是整个泛函变分的关键点，就像偏导数是梯度的一个分量):这适用于formula_13 可以展开成formula_14的级数时 (或者至少