I am reading Peskin and Schroeder's chapter on functional methods. They propose the amplitude:
$$ \langle \phi_b(\vec{x})|e^{-iHT}| \phi_a(\vec{x})\rangle = \int \mathcal{D}\phi\mathcal{D}\pi \exp \bigg[ i\int_0^T \left( \pi \dot\phi - \frac{1}{2}\pi^2 - \frac{1}{2} (\nabla\phi)^2-V(\phi) \right) \bigg] $$ They then said that we can complete the square and integrate over $\mathcal{D}\pi$ integral. How is this done?
I was able to complete the square: $\pi\dot\phi - \frac{1}{2} \pi^2=-\frac{1}{2}(\pi-\dot\phi)^2+\frac{1}{2}\dot\phi^2$ and rewrite the amplitude as:
$$
\langle \phi_b(\vec{x})|e^{-iHT}| \phi_a(\vec{x})\rangle
=
\int \mathcal{D}\phi
\exp \bigg[
i\int_0^T \left(
\frac{1}{2} \partial_\mu\phi\partial^\mu\phi-V(\phi)
\right) \bigg]
\int \mathcal{D}\pi \bigg[ -\frac{1}{2}i \int^T_0 (\pi-\dot\phi^2) \bigg]
$$
I am only confused about the functional integral (mathematically), how is it done?