Correlation inequalities and uniqueness of the equilibrium state for the plane rotator ferromagnetic model

We derive new inequalities for the plane rotator ferromagnetic model and use them to obtain the following results:

1. If the model is isotropic, the derivability of the free energy as function of the magnetic fieldh implies the existence of a unique translation invariant Gibbs state and if furthermoreh=0 all Gibbs states are invariant by rotation of the spins.
2. If the model is anisotropic the above assertion holds forh non-zero.
3. If the model is anisotropic then there are at most two extremal translation invariant Gibbs states for almost all values of the anisotropy parameter.