• Journal of the Korean Mathematical Society
• /
• v.33 no.4
• /
• pp.823-855
• /
• 1996

We study Dirichlet forms and the associated diffusion processes for the Gibbs measures related to the quantum unbounded spin systems (lattice boson systems) interacting via superstable and regular potentials. This work is a continuation of the author's previous study on the classical systems [LPY] to the quantum cases. In [LPY], we constructed Dirichlet forms and the associated diffusion processes for the Gibbs measures of classical unbounded spin systems. Furthermore, we also showed the essential self-adjointness of the Dirichlet operator and the log-Sobolev inequality for any Gibbs measure under appropriate conditions on the potentials. In this atudy we try to extend the results of the classical systems to the quantum cases. Because of some technical difficulties, we are only able to construct a Dirichlet form and the associated diffusion process for any Gibbs measure of the quantum systems. We utilize the general scheme of the previous work on the theory in infinite dimensional spaces [AH-K1-2, AKR, AR1-2, Kus, MR, Ro, Sch] and the ideas we employed in our study of the calssical systems ]LPY].

• Journal of the Korean Mathematical Society
• /
• v.34 no.3
• /
• pp.731-770
• /
• 1997

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.