When doing thermal field theory, one can start with the definition of the (thermal) partition function $Z = Tr[e^{-\beta H}]$, and inserting a number of completness-relations, we can arrive at (I am using a scalar field for illustration)
$$ Z[\beta] = \int D\varphi \, \exp[- \int_0^\beta d\tau \int d\vec x \, \mathcal{L}_E(\varphi(\tau, \vec x))] $$ Here, $\mathcal L_E$ is the Euclidian Lagrangian, defined by $\mathcal L_E(\tau, \vec x) = - \mathcal L(t = -i\tau, \vec x)$. Thus, the thermal partition function and the vacuum partition function $$ Z' = \int D\varphi \, \exp[i\int_0^\infty dt \int d\vec x \, \mathcal{L}(\varphi(t, \vec x))] $$ is related by a simple procedure: rotate the time integral from the real line to the imaginary line, then change variable of integration to $\tau$, before restricting this new variable to $\tau \in [0, \beta]$. The thermal partition function gives free energy as a function of temperature, $$ F(\beta) = - \frac{1}{\beta} \ln(Z[\beta]) $$ My understanding is that in the low temperature limit, $\beta \rightarrow \infty$, the vacuum partition function $Z'$ also gives the free energy through $$ \beta F = i \ln(Z') $$ (Peskin & Schröder, 9.3 seems to suggest so, but i do not understand the explanation) Is this true? And if yes, how does it hold? I do not see why the partition function should be unaltered after changing the integration for $\mathbb{R}$ to $i\mathbb{R}^+ $. If not, what is the relation between $Z$ and $Z'$.