Correct Path-Integral Formulation of Quantum Thermal Field Theory in Coherent State Representation

The path-integral quantization of thermal scalar, vector, and spinor fields is performed newly in the coherent-state representation. In doing this, we choose the thermal electrodynamics and ψ4 theory as examples. By this quantization, correct expressions of the partition functions and the generating functionals for the quantum thermal electrodynamics and ψ4 theory are obtained in the coherent-state representation. These expressions allow us to perform analytical calculations of the partition functions and generating functionals and therefore are useful in practical applications. Especially, the perturbative expansions of the generating functionals are derived specifically by virtue of the stationary-phase method. The generating functionals formulated in the position space are re-derived from the ones given in the coherent-state representation.