- DIRICHLET FORMS, DIRICHLET OPERATORS, AND LOG-SOBOLEV INEQUALITIES FOR GIBBS MEASURES OF CLASSICAL UNBOUNDED SPIN SYSTEM
- Lim, Hye-Young ; Park, Yong-Moon ; Yoo, Hyun-Jae ;
- Journal of the Korean Mathematical Society, volume 34, issue 3, 1997, Pages 731~770
Abstract
We study Diriclet forms and related subjects for the Gibbs measures of classical unbounded sping systems interacting via potentials which are superstable and regular. For any Gibbs measure $\mu$, we construct a Dirichlet form and the associated diffusion process on $L^2(\Omega, d\mu), where \Omega = (R^d)^Z^\nu$. Under appropriate conditions on the potential we show that the Dirichlet operator associated to a Gibbs measure $\mu$ is essentially self-adjoint on the space of smooth bounded cylinder functions. Under the condition of uniform log-concavity, the Gibbs measure exists uniquely and there exists a mass gap in the lower end of the spectrum of the Dirichlet operator. We also show that under the condition of uniform log-concavity, the unique Gibbs measure satisfies the log-Sobolev inequality. We utilize the general scheme of the previous works on the theory in infinite dimensional spaces developed by e.g., Albeverio, Antonjuk, Hoegh-Krohn, Kondratiev, Rockner, and Kusuoka, etc, and also use the equilibrium condition and the regularity of Gibbs measures extensively.