Functional integral representations and inequalities for bose partition functions

Abstract

Different phase space descriptions of quantum mechanics are used to construct different functional integral representations for the partition function of a general system where Bose degrees of freedom are involved. The “static approximation” to these functional integrals yields (pseudo-)classical partition functions providing either a lower or an upper bound on the original partition function. The upper bound generalizes a result due to HEPP and LIEB.