前回の記事では、汎関数微分という謎めいた世界へ足を踏み入れ、量子場理論（QFT）という尽きることなく興味をかき立てる領域におけるその役割を解きほぐしました。今日はこの探究を続け、演習1.4に取り組みます。ここでは、場の変分を扱うときにディラックのデルタ関数がどのように現れるのか、というもう一段洗練された内容が提示されます。
問題文
今日の探究は、一見単純でありながら非常に重要な二つの方程式をめぐるものです。
課題は、これらの方程式を証明することです。これらは、場の変分が空間および時間の異なる点でどのように相互作用するかを記述しています。
解法の旅
問題1：$phi(x)$ と $phi(y)$ の場合
ステップ1：変分を理解する
$phi(y)$ の変分が $phi(x)$ にどのような影響を与えるかを理解するには、汎関数微分の定義的性質を用います。点 $y$ に局在した場の小さな変化は、次のように表せます。
この摂動された場を $x$ で評価すると、
したがって、
ステップ2：ディラックのデルタの役割
項 $epsilondelta(x-y)$ は、点 $y$ における場の変分に対する $phi(x)$ の局在した応答です。$epsilon$ で割り、極限を取ると、
ディラックのデルタ関数は引数について偶関数なので、
同じ結果は次のようにも書けます。
問題2：$dot{phi}(t)$ と $phi(t_0)$ の場合
ステップ1：時間微分を導入する
次に、$phi(t_0)$ の変化が時間微分 $dot{phi}(t)$ にどのような影響を与えるかを考えます。局在した変分から始めます。
時間微分を取ると、
したがって、
ステップ2：結果を明らかにする
$epsilon$ で割り、極限を取ると、デルタ関数の微分が残ります。
これはまさに期待される結果です。汎関数微分を取る前に場を微分することは、その後にデルタ関数として現れる応答を微分することと等価なのです。
結びの考察：量子のバレエ
この演習は、ディラックのデルタ関数とのダンスでした。これは物理学者ポール・ディラックによる見事な発明であり、一点への局在を数学的に表現するものです。私たちの旅は、空間と時間の異なる点における場の変分の関係についての理解を広げる結果へと導いてくれました。
今日証明した方程式は、単なる数学的な珍品ではありません。それらは、QFTにおける多くの高度な概念の構成要素となっています。この魅力的な主題の層をさらに剥がしていくたびに、宇宙の言語は数学という方言で書かれており、解く一つひとつの方程式が、粒子と場の宇宙的なダンスを理解するための一歩であることを思い出させてくれます。
次なる量子の謎へ、進みましょう！