(1) It is well-known that we can get a Gaussian integral of this type, where $x$ is in $\mathbb{R}$:
$$
\int_{-\infty}^{\infty} dx e^{-ax^2}=\sqrt{(2\pi)/a}. \tag{i}
$$
We can generalize this integral from a number $a$ to a matrix value $A$, from a number $x$ to a vector $X=(x_1,x_2,…,x_N)$.
So we generalize
$$
\int_{-\infty}^{\infty} Dx \;
e^{\frac{i}{2}X^T \cdot A \cdot X+ i JX }
=
\int_{-\infty}^{\infty} dx_1
\int_{-\infty}^{\infty} dx_2
\dots
\int_{-\infty}^{\infty} dx_N
e^{\frac{i}{2}X^T \cdot A \cdot X+ i JX }=\left(\frac{(2\pi i)^N}{\det(A)}\right)^{1/2}
e^{-\frac{i}{2} J^T \cdot A^{-1} \cdot J}.
\tag{ii}
$$
(2) We can generalize again the integral to a functional integral or the so-called path integral in Quantum Field Theory.
So for a real scalar field $\phi$, can be regarded as the earlier Eq(i) real valued $x$ generalized to the field
$$
x \to \varphi,
$$
and the matrix value $A$ is generalized to the matrix operator $M$, so we can evaluate the path integral in the $N$-dimensional spacetime manifold $\Sigma_N$:
$$
\int_{-\infty}^{\infty} D \varphi e^{i \int_{\Sigma_N} (d^N x)\big( -\frac{1}{2}\varphi \cdot M \cdot \varphi + J \cdot \varphi \big)} . \tag{iii}
$$
where the Green's function $G(x_i-x_f)$ is a solution of the delta function $\delta^N(x_i-x_f)$ on right hand side (r.h.s):
$$
-M G(x_i-x_f)=\delta^N(x_i-x_f).
$$
Therefore, the $A$ matrix in Eq.(ii) is related to $M$, while also related to $G$ via the inverse generalization
$$
A \to M,
$$
$$
A^{-1}_{if}=G(x_i-x_f).
$$
Thus we obtain:
$$
\int_{-\infty}^{\infty} D \varphi e^{i \int_{\Sigma_N} (d^N x)\big( -\frac{1}{2}\varphi \cdot M \cdot \varphi + J \cdot \varphi \big)}=Constant\cdot
e^{\frac{-i}{2} \int d^N x_i \int d^N x_f
J(x_i)
G(x_i-x_f)
J(x_f)
}. \tag{iii}
$$
involving the Green's function $G$.
up to a not crucial constant $Constant$ which I do not care.
(3) Question:
Suppose I have a quartic integral from (i) to (i')
$$
\int_{-\infty}^{\infty} dx \; e^{h x – a x^2-b x^4}=?. \tag{i'}
$$
I suppose that we can still easily get an answer.
How about the matrix value integral from (ii) to (ii'):
$$
\int_{-\infty}^{\infty} Dx \;
e^{\frac{i}{2}X^T \cdot A \cdot X+ i J \cdot X +(X^T \cdot X)^2 }
=?.
\tag{ii'}
$$
Do we also have a QFT path integral analogy:
$$
\int_{-\infty}^{\infty} D \varphi e^{i \int_{\Sigma_N} (d^N x)\big( -\frac{1}{2}\varphi \cdot M \cdot \varphi + J \cdot \varphi + \varphi^4 \big)} =?. \tag{iii'}
$$My question concerns the neat evaluation of (i'), (ii') and (iii'). Thank you!
Here we can focus on the real valued function field $\varphi(x) \in \mathbb{R}$
Best Answer
I keep seeing this question percolate up. I think it deserves at least one more or less correct answer.
First, the 1d integrals $I(a,b) = \int_{\mathbb{R}} \exp(-\frac{1}{2}x^2 - ax - b x^4) dx$ certainly exist for $b \geq 0$ and are analytic in $a$ and $b$. But they're not do-able in elementary terms. Noting that $\partial_bI = \partial_a^4I$ and integrating by parts gives a 4-th order ODE in $a$: $$ 4b\partial_a^4 I - \partial_a^2 + a\partial_aI + I = 0. $$ You can solve this via Laplace transform. The boundary values along $a=0$ are integrals $\partial_a^kI = C_k\int x^k \exp(-\frac{1}{2}x^2 - b x^4)dx$, which can be reduced to sums of products of parabolic cyclinder functions and exponential functions. The cylinder functions can be expressed in terms of $\operatorname{erfc}$ by recursion, but that's as elementary as they get.
The 2nd kind of integral is (after switching back to Euclidean signature) just a multivariate generalization of the first. It can be done in an eigenbasis of C.
The 3rd integral isn't really an analogue of the first two. (The quadratic case is so degenerate as to be misleading.) That path integral is a shorthand for a limit of finite-dimensional integrals of the second kind. Fix $\Sigma = \mathbb{R}^n$. Fix in $\mathbb{R}^n$ a finite cubic lattice $L_{a,N}$ which has edges of length $a$ and $N^n$ sites. The path integral $"\int e^{-\int_\Sigma (q(\phi,\phi) + b\phi^4) dx}\mathcal{D}(\phi)"$ is meant to be defined to be a certain limit $a\to 0, N\to\infty$ of integrals of the form $$ \int_{Map(L_{a,N}, \mathbb{R})} e^{-\int_{L_{a,N}} Q(a)(f,f)(l) + B_4(a) f^4(l) dl} df $$ The critical distinction here is that the coefficients $Q(a)$ and $B_4(a)$ are functions of the lattice spacing. One is supposed to choose these functions so as to fix the lower order moments of the resulting measures to be given functions of $q$ and $b$. The theory of renormalization tells you how to select these functions: Basically, you can integrate out the field $f$ on half of the sites and get a theory on the lattice $L_{2a,N/2}$. This theory should still have the same limit $N\to\infty$, $a\to 0$.
The case $n=1$ is basically the theory of Ornstein-Uhlenbeck measures, and its relation to quantum mechanics. No renormalization required here.
In $n=2$ and $n=3$ some of these path integrals are known to exist -- and known to have moments -- due to the efforts of the constructive QFT school associated with Glimm & Jaffe.
In $n=4$, it is generally believed that no such limit exists, except for the degenerate case when $b=0$. The evidence is numerical and circumstantial at the moment. I don't believe any general proof has been given.
In $n \geq 5$, it is actually proven that no such limits exist, for pure scalar field theories.
IIRC, this is due to Aizenman, Brydges, and Spencer.Edit: Per Malek, Aizenman & Froehlich have priority.