Recently I started to play with some massive Gaussian models on a lattice. Motivation being that I work on massless models and want to understand the massive case because it seems easier to handle (e.g. cluster expansion makes sense thanks to contours carrying mass). Consider a Hamiltonian
$$ H(x_{\Lambda}) = \sum_{<i,j> \in E(\Lambda)} (x_i - x_j)^2 +\sum_{i \in \Lambda} U(x_i) $$
with $\Lambda$ a lattice (think mainly of ${\mathbb Z}^d$ with $d = 2$), $E(\Lambda)$ the set of its edges, $x_{\Lambda} \in (\Lambda \to {\mathbb R})$ and $U(y)$ a potential.
I would like to know what is known about this class of models in general. E.g. for a related class of models without mass but with arbitrary two-point function Funaki and Spohn showed that there is no phase transition if that function is convex.
1. I wonder whether similar result is known for convex (replace with any other reasonable condition) $U$.
Similarly,
2. Is there a necessary condition on $U$ for there to be a phase transition? Try to give some examples.
E.g. it seems natural that there will be a transition for a symmetric double-well model (with spontaneous symmetry breaking at low temperatures) and one could also investigate the case with one of the wells being more favorable. I think I should be able to prove these things with some work but I suppose it's already been done by someone.
3. Could you point me to a reference about some double-well models?
Other kind of model I've been thinking about is (setting $\beta = 1$ and letting $p$ play the role of temperature)
$$\exp(-U(y)) = p \exp (-a y^2) + (1-p) \exp (-b y^2)$$ with $a$ suitably small and $b$ suitably large. This is a big well with a smaller well inside. Intuitively the system should sit in the small well at low temperatures ($p = 0$) and jump out and behave freely (with small mass $a$) at higher temperatures ($p = 1$), so this is a toy model of melting. Trouble is, I have no idea whether this really works and I can't decide whether there will or won't be a phase transition.
4. Any ideas about this model? Pointing me to a reference would be wonderful but I am not sure this has been studied before.