ゲージ対称性とは何か(12): Faddeev-Popovの方法とDiracの方法の整合性

物理学,拘束系,ゲージ理論

通報

Faddeev-Popovの方法はDiracの方法と無矛盾か？

(本記事はゲージ対称性とは何か(11)：経路積分量子化におけるFaddeev-Popovの方法の続きです。)

前回の終わりで述べたように、Faddeev-Popov(FP)の方法において、ゲージ固定を施したYang-Mills(YM)理論の分配関数は

Faddeev-Popovの方法におけるYMの分配関数

\begin{align} \int {\cal D}A \exp(iS)=V\int {\cal D}A \exp(i\tilde S), \ \ \ \ \tilde S:=\int d^4x \left({\cal L}-\frac{1}{2\alpha}(\partial_\mu A^{\mu a})^2+i\bar c^a\partial^\mu D^a_{\mu b}c^b\right) \end{align}

と書けることを述べました。これはLagrange formalismに基づきます。

一方で、Diracの方法では「ゲージ固定は第１種拘束条件の数だけ必要」でした。YM理論では第１種拘束条件は2つ、それに応じて2つのゲージ固定が必要です。典型的に以下がよく用いられます：
$$ \pi^{0a}=0, \ D^a_{bi}\pi^{ib}=0,\\ A^{0a}=0, \ \partial_i A^{ai}=0 \tag{1} $$
(このへんのことはゲージ対称性とは何か(８)：Yang-Mills理論とDiracの方法をご参照ください)
こちらはHamiltonian formalismで展開されます。

FPの方法ではEq.(1)の条件が課されているようには見えず、両者は不整合に見えます。しかし実は両者は整合的です。

今回はFPの方法とDiracの方法の整合性に関して述べます。
以下はRef.[1]P162-の議論に基づいています（今回ちょっとオリジナリティが低いです...。）。

他の参考文献としてRef.[2-4]をあげておきます。ちゃんと読んでないのですが、本記事の関連事項が扱われており、有用かと思います。

Diracの方法からFPの方法へ

以下、Diracの方法に基づいた分配関数の経路積分表示から出発して、公式1で示した、FPの方法における経路積分を導きます。

特異系における経路積分

ゲージ理論等特異系における経路積分において、次の遷移振幅を計算します：
\begin{align} T&:=\langle\psi_F,t_F=-\infty|\psi_I,t_I=\infty\rangle\\ &= \int {\cal D}p^*{\cal D}q^* \psi_F^*\psi_I \exp i\int dt [p^*\dot q^*-H^*(p^*,q^*)] \tag{2} \end{align}
上記の$T$は無限遠の過去で$|\psi_I\rangle$であり($\psi_I(\vec x)=\langle \vec x,t=-\infty|\psi_I\rangle$)、無限遠の未来で$|\psi_F\rangle$となる($\psi_F(\vec x)=\langle\psi_I|\vec x,t=\infty\rangle$)確率振幅です。$\psi_F,\psi_I$が真空なら$T$は分配関数です。ただ、$\psi^*_F,\psi_I$は気にしなくてよいです。なぜなら、$t_I\rightarrow -\infty,t_F\rightarrow +\infty$では、実質上初期・終状態に依存しなくなるからです(Ref.[1]P88)。すなわち、$T$は分配関数だと考えてよいです。以下$\psi_F^*\psi_I$のファクターを落として議論します。

ここで、$q^*,p^*,H^*$は、拘束を用いて余分な自由度を消去した位置, 運動量, ハミルトニアンを表しています（$\psi_F^*$の$*$は複素共役を表しています。念の為）。以前述べたように、Diracの方法とは、この縮約位相空間$q^*,p^*$を用いた古典・量子力学を展開する方法ですから、Eq.(2)はDiracの方法に基づいた経路積分です。しかし拘束を解いて余計な変数を消去するのは一般に難しいし、見通しも悪いです。

そこで次の事実を用います。Eq.(2)と以下の経路積分は等価です：
\begin{align} T=\int {\cal D}p{\cal D}q \prod_t \left[ \prod_{\alpha=1}^{2m}\delta(\phi_\alpha)\cdot {\rm det}^{1/2} (\{\phi_\alpha,\phi_\beta\}_{\rm P}) \right]\exp i\int dt[p\dot q-H(p,q)] \tag{3} \end{align}

この式では$q^*,p^*$が使われておらず、かわりに拘束とそのPoisson括弧の行列式が使われています。この表式ではDiracの方法で必要な拘束条件がすべて課されています。Eq.(2)と(3)の等価性の証明はAppendixにまわします。とりあえず特異系ではEq.(3)を計算すればよく、またこれはDiracの方法と整合的、と理解しておいてください。

以下、YM理論におけるEq.(3)から出発して、最初に示した「公式1(Faddeev-Popovの方法における分配関数)」を導きます。

Coulomb gaugeにおけるYang-Mills理論でのEq.(3)の計算

Eq.(3)をCoulombゲージのYM理論（拘束・ゲージ固定はEq.(1)）に適用すると以下になります：
\begin{align} T=\int {\cal D}\pi{\cal D}A \ \prod_x \left[\prod_a\delta(A^a_0(x))\delta(\vec\nabla\cdot\vec A^a(x))\right]\times\prod_x\left[\prod_a\delta(\pi^a_0(x)) \delta(\vec D\cdot\vec\pi^a(x)) \right] \prod_t({\rm Det}M) \\ \times \exp i\int d^4x\left[ \pi^{a\mu}\dot A^a_\mu-\tilde {\cal H}(\pi,A) \right] \tag{4} \end{align}
ここで
\begin{align} \tilde {\cal H}:=\frac{1}{2}[(\vec \pi^a)^2+(\vec B^a)^2]+\vec\pi^a\cdot (\nabla A^a_0-gf^{abc}\vec A^a A^c_0)+\pi^a_0\lambda^a \end{align}
であり、$\pi^{\mu a}$は$A^{\mu a}$の共役運動量で
\begin{align} \pi^{\mu a}:=\frac{\partial {\cal L}}{\partial \dot A_\mu},\ \vec \pi^a=-\vec\nabla A^{0a}-\dot {\vec A}^a+gf^{abc}\vec A^b A^{0c} \end{align}
です。また${\rm Det}M$は以下の$M$:
$$ M^{ab}_{\vec x\vec y}(t)=\nabla_{\vec x}\cdot(\delta^{ab}\nabla_{\vec x} -gf_{abc}\vec A^c(x))\delta^3(\vec x-\vec y) $$
の汎関数行列式です。
Eq.(4)のデルタ関数を見ると、Eq.(3)の拘束・ゲージ固定が課されていることがわかります。つまりDiracの方法と整合的です。これを変形し、最終的にFPの方法と同じ表式を導きます。

まず
\begin{align} \tilde S=i\int d^4x \left[ \pi^{a\mu}\dot A^a_\mu -\tilde {\cal H}(\pi,A)\right] \end{align}
を定義しておきます。

${\cal D}A^{0a},{\cal D}\pi^{0a}$の積分をします。$\delta(A^a_0(x)),\delta(\pi^a_0(x))$により、これは自明に実行できます：
\begin{align} \tilde S\rightarrow i\int d^4x \left[ \pi^{ia}\dot A_i^a-\frac{1}{2}[(\vec\pi^a)^2+(\vec B^a)^2]\right] \end{align}

次に、以下の等式を用います：

$\delta(\vec D\cdot\vec\pi^a-\rho^a)$の書き換え

$$ \prod_{x,a}\delta(\vec D\cdot\vec\pi^a-\rho^a) =\int {\cal D}\lambda^a\exp i\int d^4x [\lambda^a(\vec D\cdot\vec\pi^a-\rho^a)],\\ \vec D\cdot\vec \pi^a:=\nabla\cdot\vec\pi^a-gf^{abc}\vec A^b\cdot \vec\pi^c $$

この式を使って、デルタ関数を$\exp$の肩に乗せます。$\rho^a$は物質場がもたらすカラー電荷の源ですが、いま物質場はないので、$\rho^a$はゼロです。ここで、$\lambda^a$を、既に積分した$A^{0a}$と改めて書き直しておきます：
\begin{align} &\rightarrow i\int d^4x \left[ \pi^{ia}\dot A_i^a-\frac{1}{2}[(\vec\pi^a)^2+(\vec B^a)^2]+A^{0a}(\vec D\cdot\vec\pi^a)\right]\\ &=i\int d^4x \left[ \pi^{ia}\dot A_i^a-\frac{1}{2}[(\vec\pi^a)^2+(\vec B^a)^2]+A^{0a} (\partial_i\pi^{ia}-gf_{abc}A^{ib}\pi^{ic})\right]\\ &=i\int d^4x \left[ \pi^{ia}\dot A_i^a-\frac{1}{2}[(\vec\pi^a)^2+(\vec B^a)^2]+(-\pi^{ia}\partial_iA^{0a}-gf_{abc}A^{0a}A^{ib}\pi^{ic})\right] \ \ \ \ \ \ (部分積分)\\ &=i\int d^4x \left[ \pi^{ia}\left( \dot A^a_i -\partial_i A^a_0+gf_{abc}A^b_0A^c_i \right) -\frac{1}{2}[(\vec\pi^a)^2+(\vec B^a)^2]\right]\\ &=i\int d^4x \left[ -\frac{1}{2}(\vec\pi^a)^2 + \pi^{ia}F^a_{0i} -\frac{1}{2}(\vec B^a)^2\right] \ \ \ (F^a_{0i}=\dot A^a_i -\partial_i A^a_0+gf_{abc}A^b_0A^c_i\text{ はfield strength})\\ &=i\int d^4x \left[ -\frac{1}{2} \left( \pi^{ia}-F^a_{0i} \right)^2 +\frac{1}{2}F^a_{0i}F^a_{0i} -\frac{1}{2}(\vec B^a)^2\right] \end{align}
$\vec\pi^a$に関して積分を実行すれば（Gauss積分）
\begin{align} \rightarrow i\int d^4x\left[ \frac{1}{2}F^a_{0i}F^a_{0i} -\frac{1}{2}(\vec B^a)^2\right] \end{align}
磁場に関し、$(\vec B^a)^2=\frac{1}{2}F^a_{ij}F^{ija}$なので
\begin{align} &=i\int d^4x\left[ -\frac{1}{2}F^a_{0i}F^{0ia} -\frac{1}{4}F^a_{ij}F^{ija}\right]\\ &=i\int d^4x\left[ -\frac{1}{4}F_{\mu\nu}^a F^{\mu\nu a}\right]\\ &=i\int d^4x\ {\cal L}(A) \end{align}
${\cal L}=-\frac{1}{4}F^a_{\mu\nu} F^{\mu\nu a}$はYM理論のLagrangianです。

以上より

\begin{align} T=\int {\cal D}A \prod_{x,a}\delta(\vec\nabla\cdot\vec A^a(x))\prod_t(\text{Det}M)\exp\left[i\int d^4x {\cal L}\right] \tag{5} \end{align}

となります。
これがCoulomb gaugeにおける遷移振幅の経路積分表示です。
（注意：上記の計算で、$\dot A^a_i$を、共役運動量の定義：$\pi^{ia}=F^{0ia}=\dot A^a_i -\partial_i A^a_0+gf_{abc}A^b_0A^c_i$を使って$\pi$で書いてはダメです。同様に$F^{0ia}$を$\pi^{ia}$で書き直すのもいけません）

ここまでの計算で重要なことをまとめておきます：

特異系の遷移振幅の経路積分Eq.(4)において、被積分関数は$\exp i\int d^4x \left[\pi^{a\mu}\dot A^a_\mu-\tilde{\cal H}(\pi,A)\right]$のように$\pi,A$で書かれており、積分は$\pi,A$で行う。Diracの方法における拘束条件・ゲージ固定が全て課されている。
$\pi_0,A^0$は自明に積分でき、これらは被積分関数においてゼロになる。すると$A^0$が消えてしまうが、$\delta(D^a_{bi}\pi^{ib})$を積分の形にして、その積分変数であるLagrange multiplierを$A^0$と書くことで復活する。
$\pi^i$に関してはGauss積分なので、これを実行すれば、$\exp$の肩はLagrangianの積分に一致する。これにCoulomb gauge条件および$\text{Det}M$をかけたものを$A$で積分した経路積分が最終的な表式。

ゲージ固定項、FP determinantの導出

ここまで導けば、あとは基本的に前回行った計算と同様です。

まずFPの方法におけるゲージ固定項$-\frac{1}{2\alpha}(\partial^\mu A_{\mu a})$を導いておきます。

次の量を定義します：
\begin{align} (\Delta[A,f])^{-1}:=\int {\cal D}\theta \prod_{x,a}\delta(\partial^\mu A_\mu^a-f^a) \end{align}
$\theta$はゲージ変換のパラメータです。${\cal D}\theta$はHaar measure: ${\cal D}\theta'={\cal D}\theta$なので$\Delta[A^\theta,f]=\Delta[A,f]$となりゲージ不変です（$A^\theta$は$A$を$\theta$だけゲージ変換した配位）。このことから
$$ 1=\int{\cal D}\theta \prod_{x,a}\delta(\partial^\mu A^\theta_\mu -f)\Delta[A,f] \tag{6} $$
です。これをEq.(5)にかければ
\begin{align} T=\int {\cal D}A \prod_{x,a}\delta(\vec\nabla\cdot\vec A^a(x)) \prod_t(\text{Det}M) \exp\left[i\int d^4x {\cal L}\right] \int{\cal D}\theta \prod_{x,a}\delta(\partial^\mu A^\theta_\mu -f) \Delta[A,f] \end{align}
となります。

作用と$\Delta$のgauge不変性を用い、$\int {\cal D}\theta$を外にもってくれば
\begin{align} T&=\int{\cal D}\theta \int {\cal D}A \prod_{x,a}\delta(\vec\nabla\cdot\vec A^a(x)) \Delta_M[\vec A] \prod_{x,a}\delta(\partial^\mu A^\theta_\mu -f)\Delta[A^\theta,f] \exp\left[iS[A^\theta]\right],\\ S[A]&:=\int d^4x{\cal L}, \ \ \ \Delta_M[A]:=\prod_t(\text{Det}M) \end{align}

ここで$A$の積分を$A':=A^\theta$の積分に変更します。このとき$A=A'^{\theta^{-1}}$です。$A'$を改めて$A$と書き直せば
\begin{align} =\int{\cal D}\theta \int {\cal D}A \prod_{x,a}\delta(\vec\nabla\cdot \vec A^{\theta^{-1}a}(x)) \Delta_M[\vec A^{\theta^{-1}}] \prod_{x,a}\delta(\partial^\mu A_\mu -f)\Delta[A,f] \exp\left[iS[A]\right] \end{align}
さらに${\cal D}\theta$がHaar measureであることを使って書き直せば
\begin{align} T&=\int {\cal D}A \left(\int {\cal D}\theta \ \delta(\vec\nabla\cdot\vec A^\theta)\Delta_M[A^\theta]\right)\delta(\partial^\mu A_\mu -f)\Delta[A,f]\exp(iS[A]),\\ \end{align}
となります（$\prod_{x,a}$は省略しました）。

次に$\Delta[A,f]=(\int {\cal D}\theta\prod_{x,a}\delta(\partial^\mu A^a_\mu -f^a))^{-1}$を評価します。これは前回の計算（この記事の「証明($\Delta_F(A)$の計算)」）と同様です。積分変数が$\theta$なので、デルタ関数の中を$\theta$で書きます。$\partial_\mu A^\theta$は
$$ \partial_\mu A^\theta=\partial_\mu A+\partial_\mu D^a_{\mu b}\theta^b+{\cal O}(\theta^2) $$
なので、デルタ関数の性質より$\theta$の係数行列の行列式の逆数が現れ、$(\Delta[A,f])^{-1}= ({\rm Det}(\partial_\mu D^{\mu a}_b)\delta^4(x-y))^{-1}$を得ます。ゆえに
$$ \Delta[A,f]=\text{Det}(\partial_\mu D^{\mu a}_b \delta^4(x-y)) $$
です。これはFP determinantです。

さらに
$$ \left(\int {\cal D}\theta \ \delta(\vec\nabla\cdot\vec A^\theta)\Delta_M[A^\theta]\right)=1 $$
であることが証明できます。これはEq.(6)の証明とほぼ同じなので省略します。

以上より
$$ T=\int {\cal D}A \prod_{x,a}\delta(\partial^\mu A_\mu^a-f^a) \Delta[A,f]\exp(iS[A]) $$
とかけます。

あとは前回と同様、
$$ 1=\int {\cal D}f\exp i\int d^4x\left[-\frac{1}{2\alpha}f^af^a\right] \tag{7} $$
を用いてデルタ関数部分を作用にとりこみ、さらにFP determinant $\Delta[A,f]$をghost・anti-ghostで書き直せば
$$ T=\int {\cal D}A \exp\left({\cal L}-\frac{1}{2\alpha}\left(\partial^\mu A^a_\mu\right)^2+i\bar c^a\partial^\mu D_\mu c^a\right) $$
となります（前記事の「局所場の形で書き直す」をご参照ください）。

これは公式1と一致します。
よってDiracの方法とFPの方法の整合性が示されました。 ${}_\blacksquare$

Nakanishi-Lautrup場を使った表式

ここで、Eq.(7)の代わりに、以下の等式
$$ 1=\int {\cal D}B{\cal D}f\exp i\int d^4x[B^af^a+\frac{\alpha}{2}B^aB^a] $$
を用いて変形すると、遷移振幅は
$$ T=\int{\cal D}A{\cal D}B \exp i\int d^4x \left[ {\cal L}(A)+B^a\partial^\mu A^a_\mu + \frac{\alpha}{2}B^aB^a \right] $$
とかけます。ここで導入された補助場$B^a$はNakanishi-Lautrup(NL)場と呼ばれます。この表式は有用で、今後の記事で出てきます。

まとめ

今回はDiracの方法とFaddeev-Popov(FP)の方法の整合性に関して議論しました。Eq.(3)から公式1を導くことで、両者の整合性を示しました。

正直この話は、両者の整合性が気にならない限りはあまり知る必要はないかもしれません。しかし本シリーズでは、Diracの方法をずっと話していたのにそこから突然FPの方法に話が移ったので、この点は気になるのではないかと思い、記事にすることにしました。

おしまい。${}_\blacksquare$

☆次の記事：ゲージ対称性とは何か(13): BRST対称性・BRST量子化

${}$

Appendix: 本文Eq.(3)とEq.(2)の等価性の証明

ここではRef[1]P155-に基づき、本文Eq.(3)がEq.(2)に等しいことを示します。
Eq.(3)に正準変換を施して$q,p\rightarrow q^*,p^*$に書き直すとEq.(2)に帰着することを示す、という方針を取ります。

本文Eq.(3)からEq.(2)を導く

$\phi_\alpha(1\le\alpha\le 2m)$の拘束条件を、最初の$m$個の拘束すべてが$\{\psi_a,\psi_b\}_{\rm P}\approx 0$となる組と、そうでない組に分けます。それは次の線形変換：
\begin{align} \begin{pmatrix} L_{a\alpha}\\ L_{b\alpha} \end{pmatrix} \biggl( \phi_\alpha \biggr) := \begin{pmatrix} \psi_{a}\\ \varphi_{b} \end{pmatrix} \ \ \ \ \ \ L:=\begin{pmatrix} L_{a\alpha}\\ L_{b\alpha} \end{pmatrix} \end{align}
で実現するとします($L$は$q,p$の関数、$1\le a,b\le m$)。よって
$$ \prod^{2m}_{\alpha=1}\delta(\phi_\alpha)=|\text{det}L|\prod_{a=1}^m (\delta(\psi_a)\delta(\varphi_a)) \tag{A1} $$
が成立します。　
ここで、$\phi_\alpha=0$で指定される部分位相空間$\Gamma^*$では
$$ \left\{ \begin{pmatrix} \psi_a\\ \varphi_b \end{pmatrix} , \begin{pmatrix} \psi_c \ \ \varphi_d \end{pmatrix} \right\}_{\rm P} = \{L\vec \phi,\vec\phi^T L^T\}_{\rm P} = L\{\vec\phi,\vec\phi^T\}_{\rm P}L^T \ \ \ \ \ \ ((\vec \phi)_\alpha:=\phi_\alpha) $$
が成立するので (2つめのイコールは、Poisson括弧を定義に従い展開し、$\phi_\alpha=0$を使うと示せる)、
$$ L\{\vec\phi,\vec\phi^T\}_{\rm P}L^T \approx \begin{pmatrix} \{\psi_a, \psi_c\}_{\rm P} & \{\psi_a, \varphi_d\}_{\rm P}\\ \{\varphi_b, \psi_c\}_{\rm P} & \{\varphi_b, \varphi_d\}_{\rm P} \end{pmatrix} $$
が成立します。
$\Gamma^*$では$\{\psi_a,\psi_b\}_{\rm P}\approx 0$なので、これの行列式をとれば
$$ {\rm det}^2 L\cdot {\rm det}(\{\phi_\alpha,\phi_\beta\}_{\rm P}) = {\rm det}^2(\{\psi_a,\varphi_b\}_{\rm P}) $$
が、Eq.(A1)のデルタ関数との積の形で成立します。よってEq.(A1)とあわせて
$$ \prod_{\alpha=1}^{2m}\delta(\phi_\alpha)\cdot {\rm det}^{1/2}(\{\phi_\alpha,\phi_\beta\}_{\rm P}) = \prod^m_{a=1}(\delta(\psi_a)\delta(\varphi_a)) \dot |{\rm det}(\{\psi_a,\varphi_b\}_{\rm P})| $$
となります。
位相空間全体を$\Gamma$で表し、これは$2N$次元とします。すると、$\Gamma^*$は$(2N-2m)$次元であり、その座標付けは本文Eq.(2)に現れる$q^*,p^*$です。$\Gamma$全体の座標を、$(N-m)$対の$q^*,p^*$と、残り$m$対の変数を
$$ q'^a:=\psi_a(q,p) \ \ \ (a=1,2,\cdots,m) $$
及びそれに共役な運動量$p'_a$に選びます。ここで$\Gamma^*$上では拘束$\psi_a=0$が成立するので
$$ \left.\frac{\partial\psi_a}{\partial q^*}\right|_{\Gamma^*}=\left.\frac{\partial\psi_a}{\partial p^*}\right|_{\Gamma^*}=0 $$
です。更に$\Gamma^*$上で$\{\psi_a,\psi_b\}_{\rm P}=0$です。よって、$\Gamma^*$の無限小近傍では、$\psi_a$を$q^*,p^*$に独立な座標としてとれます。すなわち$(q,p)\rightarrow (q^*,q',p^*,p')$は正準変換であり、変換のJacobianは1です。
以上から
\begin{align} \text{本文}{\rm Eq.}(3)=\int{\cal D}&p^*{\cal D}q^*{\cal D}p'{\cal D}q' \prod_t \left[ \prod^m_{\alpha=1}(\delta(q'^{a})\delta(\varphi_a)) |{\rm det}(\partial\varphi_a/\partial p'_b)| \right]\\ &\times \exp i\int dt \left[ p^*\dot q^*+p'\dot q'-H(p^*,p',q^*,q') \tag{A2} \right] \end{align}
ここではPoisson括弧が正準変換で不変なことから導かれる
$$ {\rm det}(\{\psi_a,\varphi_b\}_{\rm P})={\rm det}(\{q'^a,\varphi_b\}_{\rm P})={\rm det}(\partial\varphi_b/\partial p'_a) $$
を使っています。$\Gamma^*$は$q'^a=0$および
$$ \varphi_a(q^*,q'=0,p^*,p')=0 \ \ \ (a=1,\ldots,m) $$
を満たす解$p'_a=p'_a(q^*,p^*)$で指定されます。すなわちEq.(A2)のHamiltonian $H^*$は
$$ H^*(p^*,q^*)=H(p^*,p'(q^*,p^*),q^*,q'=0) $$
のことです。
拘束$\varphi_b$は$\Gamma^*$の近傍で
$$ \varphi_b(q^*,q',p^*,p')=\left.\frac{\partial\varphi_b}{\partial q'^a}\right|_{\Gamma^*} q'^a+\left.\frac{\partial\varphi_b}{\partial p'^a}\right|_{\Gamma^*}[p'_a-p'_a(q^*,p^*)] $$
と展開されるから、デルタ関数の性質より
\begin{align} \prod^m_{a=1}(\delta(q'^a)\delta(\varphi_a))|\text{det}(\partial\varphi_b/\partial p'_a)|=\prod^m_{a=1}\delta(q'^a)\delta(p'_a-p'_a(q^*,p^*)) \end{align}
となります。これらより
\begin{align} {\rm Eq}.(A2)&= \int{\cal D}p^*{\cal D}q^*{\cal D}p'{\cal D}q' \prod_t \delta(q'^a) \delta(p'_a-p'_a(q^*,p^*))\\ &\times \exp i\int dt \left[ p^*\dot q^*+p'\dot q'-H(p^*,p',q^*,q') \right]\\ &= \int{\cal D}p^*{\cal D}q^* \exp i\int dt [ p^*\dot q^*-\underbrace{H(p^*,p'(q^*,p^*),q^*,q'=0)}_{=H(p^*,q^*)} ] \end{align}
となり、本文Eq.(2)に帰着します（$\psi_F^*\psi_I$は落としています）。${}_\blacksquare$