I know hardly anything about quantum field theory (QFT) but I'm giving a try to understand some ideas of it. As far as I understand, in QFT one is interested in studying measures such as:
\begin{eqnarray}
d\mu(\varphi) \propto e^{-S(\varphi)}d\varphi \tag{1}\label{1}
\end{eqnarray}
where $S$ is a given action and $d\varphi$ an 'a priori' measure. In particular, one of the most interesting actions is given by:
\begin{eqnarray}
S(\varphi) = \int\_{\mathbb{R}^{d}}\bigg{[}\frac{1}{2}\langle \varphi, (-\Delta+m^{2})\varphi \rangle + g\varphi(x)^{4} dx\bigg{]}. \tag{2}\label{2}
\end{eqnarray}
In view of (\ref{2}), expressions such as:
\begin{eqnarray}
d\mu(\varphi) \propto e^{-S\_{0}(\varphi)}e^{-\int\_{\mathbb{R}^{d}}g\varphi(x)^{4}}d\varphi \equiv e^{-g\int\_{\mathbb{R}^{d}}g\varphi(x)^{4}dx}d\mu\_{G}(\varphi) \tag{3}\label{3}
\end{eqnarray}
are very common in the theory, where the term $e^{-g\int\_{\mathbb{R}^{d}}\varphi(x)^{4}dx}$ is usually viewed as a perturbation of a Gaussian measure. This being said, I'd like to clarify something. As far as I understand, the measure $d\mu\_{G}$ in (\ref{3}) is a Gaussian measure on $\mathcal{S}'(\mathbb{R}^{d})$ induced by a positive-definite function $e^{-\frac{1}{2}B(f,Gf)}$ where $B$ is a quadratic form induced by a bilinear and continuous map $B$ defined on $\mathcal{S}(\mathbb{R}^{d})\times \mathcal{S}(\mathbb{R}^{d})$ in terms of the Green's function $G$ of the massive Laplacian $-\Delta + m^{2}$. Thus, the representation $-g\int\_{\mathbb{R}^{d}}\varphi(x)^{4}dx$ is only formal (what does it mean?), since $\varphi$ is supposed to be a function on $\mathcal{S}'(\mathbb{R}^{d})$. It turns out that expressions such as (\ref{3}) end up being very confusing to non-experienced students like me, once we're often misguided to wrong conclusions or get wrong understandings of the subject. I think, however, that there is a deeper reason for such notations than just being a simpler way of writting things down. I think this has to be with the fact that one is interested in seeing $\varphi(x)$ as 'tempered distributional'-valued random variables, but I'm not sure. So I'd like to clarify these concepts. Why do quantum field theorists use pointwise notation to express distributions and what can one benefit from it?



QFT and its notations
The quick answer is that (3) written by physicists is not to be taken too seriously by mathematicians. However, it is a statement of a goal or research problem which is to find a rigorous definition/construction of what (3) is trying to say.


One has an *injective* continuous linear map $\iota:\mathscr{S}(\mathbb{R}^d)\rightarrow \mathscr{S}'(\mathbb{R}^d)$ given by
$$
\iota(\varphi)=\left(f\longmapsto \int\_{\mathbb{R}^d}\varphi(x)f(x)\ d^dx\right)
$$
where $f$ is a generic element of $\mathscr{S}(\mathbb{R}^d)$. Via this map it is natural to identify $\mathscr{S}(\mathbb{R}^d)$ with a subset of $\mathscr{S}'(\mathbb{R}^d)$. Moreover, this subset is dense (in fact sequentially dense) in $\mathscr{S}'(\mathbb{R}^d)$. The action $S(\varphi)$ in (2) is perfectly well defined for $\varphi$ in the subset $\mathscr{S}(\mathbb{R}^d)$ but not for $\varphi\in \mathscr{S}'(\mathbb{R}^d)\backslash\mathscr{S}(\mathbb{R}^d)$.


Unfortunately, the Gaussian measure $d\mu\_G$ is not supported on $\mathscr{S}(\mathbb{R}^d)$ but on the much bigger space $\mathscr{S}'(\mathbb{R}^d)$.
One can be a bit more precise and work in a weighted Sobolev or Besov space of exponent $\alpha$ but the latter would be negative except for $d=1$.


So one has to introduce a regularization in order to remove the regularization. This is explained in my answer to


[A roadmap to Hairer's theory for taming infinities](https://mathoverflow.net/questions/260854/a-roadmap-to-hairers-theory-for-taming-infinities)


and to


<https://physics.stackexchange.com/questions/372306/what-is-the-wilsonian-definition-of-renormalizability>


