Gaussian Property of the Renormalization Group

Let $$\Lambda \subset \mathbb{Z}^{d}$$ be a finite set and $$\varphi = (\varphi_{x})_{x\in \Lambda} \in \mathbb{R}^{|\Lambda|}$$. Let $$F^{\Lambda}=F^{\Lambda}(\varphi)$$ be a real-valued global function, because it depends on every entry of $$\varphi$$. The renormalization group setup goes like this: first, for a fixed $$N$$, we define $$Z_{0}: \overbrace{\mathbb{R}^{|\Lambda|}\times\cdots\times\mathbb{R}^{|\Lambda|}}^{\mbox{N times}} \to \mathbb{R}$$ by $$Z_{0}(\xi_{1},...,\xi_{N}) := F^{\Lambda}(\xi_{1}+\cdots+\xi_{N})$$. Now, suppose $$\mu_{C}$$ is a Gaussian measure on $$\mathbb{R}^{|\Lambda|}$$ associated to the (positive-definite) matrix $$C$$, which has a decomposition $$\sum_{j=1}^{N}C_{j}$$, where each $$C_{j}$$ is again positive-definite and let $$\mu_{j}$$ be the Gaussian measure associated to $$C_{j}$$. Then, because $$\xi_{j} \sim N(C_{j}) \Rightarrow \sum_{j=1}^{N}\xi_{j} \sim N(C)$$, we have: $$\begin{eqnarray} \int d\mu_{C}(\varphi)F^{\Lambda}(\varphi) = \int d\mu_{N}(\xi_{N})\int d\mu_{N-1}(\xi_{N-1})\cdots \int d\mu_{1}(\xi_{1})Z_{0}(\xi_{1},...,\xi_{N}) \tag{1}\label{1} \end{eqnarray}$$ Now, the left hand side of (\ref{1}) is well-defined provided $$F^{\Lambda}$$ is measurable and $$\mu_{C}$$-integrable. In this case, $$Z_{0}$$ is again measurable because it is the composition of $$F^{\Lambda}$$ with the continuous function $$\mathbb{R}^{\Lambda}\times\cdots\times \mathbb{R}^{\Lambda} \to \mathbb{R}^{\Lambda}$$ given by $$(\xi_{1},...,\xi_{N}) \mapsto \xi_{1}+\cdots+\xi_{N}$$.

My question is: Is the right hand side of (\ref{1}) well-defined? Is $$Z_{0}$$ automatically $$\mu_{j}$$-integrable (for each $$j$$) given that $$F^{\Lambda}$$ is measurable and $$\mu_{C}$$-integrable? Do I need more assumptions?

The following (between the horizontal lines) is a statement of what one may call the abstract change of variable theorem. It is taken from some exercise I gave my students a while ago:

Let $$(X,\mathcal{M},\mu)$$ be a measure space and let $$(Y,\mathcal{N})$$ be a measurable space. Let $$f:X\rightarrow Y$$ be an $$(\mathcal{M},\mathcal{N})$$-measurable map. For $$B\in\mathcal{N}$$ define $$f_{\ast}\mu(B)=\mu(f^{-1}(B))\ .$$

a) Show that $$f_{\ast}\mu$$ is well defined and gives a measure on $$(Y,\mathcal{N})$$.

b) Let $$\phi:Y\rightarrow\mathbb{R}$$ be a nonnegative simple function. Show that $$\int_X \phi\circ f\ {\rm d}\mu= \int_Y \phi\ {\rm d}(f_{\ast}\mu)$$

c) Using the Monotone Convergence Theorem, prove that the last equality holds without the assumption of $$\phi$$ being a simple function.

d) Show that a non necessarily nonnegative measurable function $$\phi$$ from $$Y$$ to $$\mathbb{R}$$ is $$f_{\ast}\mu$$-integrable iff $$\phi\circ f$$ is $$\mu$$-integrable. In this case, show that the equality in b) still holds.

Here $$f$$ is the map $$(\xi_1,\ldots,\xi_N)\mapsto \xi_1+\cdots+\xi_N$$. The measure $$\mu$$ is the product measure $$\otimes_{j=1}^{N}d\mu_j(\xi_j)$$ on $$X=\mathbb{R}^{|\Lambda|}\times\cdots\times\mathbb{R}^{|\Lambda|}$$, $$N$$ times. Finally the push-forward measure is $$\mu_C$$. So you see that there is no need for extra hypotheses on $$F^{\Lambda}$$. Morover, being able to integrate successively over the $$\xi_j$$ is a consequence of Fubini's Theorem which, in particular, says that integrability over the product space implies the iterated integral is well defined and gives the same result as the integral over the product space.