Note8 Feynmanの恒等式(Feynman identity)

今日はQEDでは有名な公式を見てみたいと思います。一見すると難しそうですが綺麗な公式なので簡単に覚えられそうです。

その公式はFeynmanの恒等式(Feynman identity)と呼ばれています。
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190805/20190805052933.jpg
デルタ関数を含む積分は0 から∞ までする必要はなく, デルタ関数の発散点を含めばよいから、
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190805/20190805055016.jpg

この公式は数学的帰納法を使えば意外と簡単に示す事ができます。
r=1の場合
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190805/20190805055021.jpg
となって成立しています。次にrのとき成り立つと仮定してr+1でも成立する事を確認してみます。その前に次の公式を示しておきます。
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190805/20190805055025.jpg
これは次の微分の公式が成り立っているので、
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190805/20190805055030.jpg
これから、
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190805/20190805055034.jpg
なのでこれを少し整理すると
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190805/20190805055040.jpg
となって成立しています。さて、話を元に戻してrの時成立していると仮定すると、
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190805/20190805055043.jpg
として先程の公式に代入すると、
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190805/20190805053010.jpg
なので、これを先程の式(1)に代入すると、
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190805/20190805055047.jpg
ここで、次の変数変換を行う。
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190805/20190805055052.jpg
そうするとデルタ関数因子は
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190805/20190805052938.jpg
δ関数の公式
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190805/20190805052942.jpg
から、
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190805/20190805052952.jpg
となります。また変数変換で積分
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190805/20190805052955.jpg
ですから、
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190805/20190805053000.jpg
となる。積分変数名を次のように置換して
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190805/20190805053005.jpg
積分区間はδ関数を入れているので1から∞にしてもよいから
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190805/20190805053014.jpg
となってr+1でも成立することが分かる。ということでFeynmanの恒等式(Feynman identity)の証明が出来ました。