I've posted a question about the thermodynamic limit for Gaussian Free Fields (GFF) a couple days ago and I haven't got any answers yet but I kept thinking about it and I thought it would be better to reformulate my question and exclude the previous one, since now I can pose it in a more concrete way. The problem is basically give mathematical meaning to the infinite volume Gaussian measure associated to the Hamiltonian of the discrete GFF. In what follows, I will formulate the problem and then state the question.

A (lattice) field is a function $\phi: \Lambda_{L} \to \mathbb{R}$, where $\Lambda_{L} := \mathbb{Z}^{d}/L\mathbb{Z}^{d}$. Thus, the space of all fields is simply $\mathbb{R}^{\Lambda_{L}}$. The discrete Laplacian is the linear operator $\Delta_{L}:\mathbb{R}^{\Lambda_{L}}\to \mathbb{R}^{\Lambda_{L}}$ defined by: \begin{eqnarray} (\Delta_{L}\phi)(x) := \sum_{k=1}^{d}[-2\phi(x)+\phi(x+e_{k})+\phi(x-e_{k})] \tag{1}\label{1} \end{eqnarray} If $\langle \cdot, \cdot \rangle_{L}$ denotes the usual inner product on $\mathbb{R}^{\Lambda_{L}}$, we can prove that $\langle \phi, (-\Delta_{L}+m^{2})\phi\rangle_{L} > 0$ if $\langle \phi,\phi\rangle_{L}> 0$ and $m \neq 0$. Thus, $-\Delta_{L}+m^{2}$ defines a positive-definite linear operator on $\mathbb{R}^{\Lambda_{L}}$. We can extend these ideas to $\mathbb{R}^{\mathbb{Z}^{d}}$ as follows. A field $\phi: \mathbb{Z}^{d}\to \mathbb{R}$ is called $L$-periodic if $\phi(x+Ly) = \phi(x)$ for every $y \in \mathbb{Z}^{d}$. Let $\mathcal{F}_{per}$ be the set of all $L$-periodic fields, so that $\mathcal{F}_{per} \subset \mathbb{R}^{\mathbb{Z}^{d}}$. Now, using the same expression in (\ref{1}) we can define 'infinite volume' Laplacians $\Delta_{per}$ and $\Delta$ on $\mathcal{F}_{per}$ and $l^{2}(\mathbb{Z}^{d}):=\{\phi:\mathbb{R}^{d}\to \mathbb{R}:\hspace{0.1cm} \sum_{x \in \mathbb{Z}^{d}}|\psi(x)|^{2}<\infty\}$, respectivelly. In addition, if $\phi \in \mathcal{F}_{per}$, its restriction $\phi|_{\Lambda_{L}}$ can be viewed as an element of $\Lambda_{L}$, and the action of $\Lambda_{per}$ to $\phi|_{\Lambda_{L}}$ is equivalent to the action of $\Delta_{L}$ to $\phi|_{\Lambda_{L}}$.

The Hamiltonian for the GFF in the lattice $\Lambda_{L}$ is given by: \begin{eqnarray} H_{\Lambda_{L}}(\phi) = \frac{1}{2}\langle \phi, (-\Delta_{L}+m^{2})\phi\rangle_{\Lambda} \tag{2}\label{2} \end{eqnarray}

The first step is to define finite volume measures on $\mathbb{R}^{\mathbb{Z}^{d}}$. For each finite $\Lambda \subset \mathbb{Z}^{d}$, let $C_{\Lambda} =(C_{xy})_{x,y \in \Lambda}$ be the matrix with entries $C_{xy} := (-\Delta_{per}+m^{2})_{xy}$, where $(-\Delta_{per}+m^{2})_{xy}$ is the Kernel of $-\Delta_{per}+m^{2}$ on $\mathbb{R}^{\mathbb{Z}^{d}}$. Because the Kernel of $-\Delta_{per}+m^{2}$ is the same as $-\Delta_{L}+m^{2}$, each $C_{\Lambda}$ is a positive-definite matrix and, thus, define a Gaussian measure $\mu_{\Lambda}$ on $\mathbb{R}^{\Lambda}$. Because this family of Gaussian measures $\mu_{\Lambda}$ is consistent, we can use Kolmogorov's Extension Theorem to obtain a Gaussian measure $\mu$ on $\mathbb{R}^{\mathbb{Z}^{d}}$ (with the product $\sigma$-algebra). Moreover, we can also obtain a family $\{f_{\alpha}\}_{\alpha \in \mathbb{Z}^{d}}$ of random variables such that $\mu_{\Lambda}$ is the joint probability distribution of $\{f_{\alpha}\}_{\alpha \in \Lambda}$. As it turns out, it is possible to prove that these random variables are given by $f_{\alpha}(\phi) = \phi(\alpha)$, $\alpha \in \mathbb{Z}^{d}$. In summary, if $A$ is a Borel set in $\mathbb{R}^{\Lambda}$, we must have: \begin{eqnarray} \mu_{\Lambda_{L}}(A) = \frac{1}{Z}\int_{A}e^{-\frac{1}{2}\langle \phi, (-\Delta_{L}+m^{2})\phi\rangle_{L}}d\nu_{L}(\phi) = \mu(A\times \mathbb{R}^{\mathbb{Z}^{d}\setminus \Lambda}) \tag{3}\label{3} \end{eqnarray} with $\nu_{L}$ being the Lebesgue measure on $\mathbb{R}^{\Lambda}$. The Gaussian measure $\mu$ is our a priori measure on $\mathbb{R}^{\mathbb{Z}^{d}}$ and, by (\ref{3}), it can be interpreted as a finite volume over $\mathbb{R}^{\Lambda}$.

Now, let $G(x,y)$ the Green function of $-\Delta+m^{2}$ in $l^{2}(\mathbb{Z}^{d})$. If $s_{m}:=\{\psi \in \mathbb{R}^{\mathbb{N}}:\hspace{0.1cm} \sum_{n=1}^{\infty}n^{2m}|\psi_{n}|^{2}\equiv ||\psi||_{m}^{2}\infty\}$, define $s:=\bigcup_{m\in \mathbb{Z}}$ and $s':=\bigcap_{m\in \mathbb{Z}}s_{m}$. Let u $K=(K_{xy})_{x,y \in \mathbb{Z}^{d}}$ be an 'infinite matrix' given by $K_{xy}:= G(x,y)$. If we order $\mathbb{Z}^{d}$, we can consider $K$ to be an 'infinite matrix' $K = (K_{ij})_{i,j \in \mathbb{N}}$. Now, define the following map: \begin{eqnarray} s \times s \ni (\psi,\varphi) \mapsto (\psi,K\varphi):= \sum_{i,j=1}^{\infty}\psi_{i}K_{ij}\varphi_{j}\tag{4}\label{4} \end{eqnarray} Let $W(\phi):= e^{-\frac{1}{2}(\phi,K\phi)}$. It is possible to prove that $W$ is a positive-definite function on $s$, so that, by Minlos Theorem, there exists a Gaussian measure $\tilde{\mu}_{K}$ on $s'$ such that $W$ is the Fourier transform of $\tilde{\mu}_{K}$.

**[Question]** I would like to establish a connection between $\mu$ and $\tilde{\mu}_{K}$ (where, here, $\mu$ is the restriction of $\mu$ to $s'\subset \mathbb{R}^{\mathbb{Z}^{d}}$ with its natural $\sigma$-algebra). It seems to me that $\tilde{\mu}_{K}$ is the infinite volume measure of $\mu$, in the sense that when we take $L\to \infty$ one should obtain $\tilde{\mu}_{K}$. In other words, $\tilde{\mu}_{K}$ is the infinite volume Gibbs measure obtained by taking the thermodynamic limit of the measures $\mu_{L}$. But, if I'm not mistaken, to prove that $\tilde{\mu}_{K}$ is the infinite volume Gibbs measure, I should prove that:
\begin{eqnarray}
\lim_{L\to \infty}\int f(\phi)d\mu_{L}(\phi) = \int f(\phi)d\tilde{\mu}_{K}(\phi) \tag{5}\label{5}
\end{eqnarray}
i.e. I should prove that $\mu$ converges weakly to $\tilde{\mu}_{K}$. And I don't know how to prove it.

**Note:** The above setup is a result of some of my thoughts about the problem during the last few days. I've been using a lot of different references and each one work the problem in a different way, with different notations and different objectives, so I'm trying to put it all together in one big picture. It is possible that my conclusions are not entirely correct or I can be going in the wrong direction, idk. But any help would be appreciated.

**Note 2:** I think it could be easier to prove a more particular limit such as $\lim_{L\to \infty}\int\phi(x)\phi(y)d\mu_{L}(\phi) = \int \phi(x)\phi(y)d\tilde{\mu}_{K}(\phi)$ and this would be enough to establish the existence of infinite volume correlation functions, which is one of the most important quantities in statistical mechanics. However, I don't think I could conclude that $\tilde{\mu}_{K}$ is the associate infinite volume Gibbs measure for the system just from this limit. Don't I need to prove it for a general $f$ as above?

6more comments