Free energy and entropy for finite temperature quantum field theory under the influence of periodic backgrounds

The basic thermodynamic quantities for a non-interacting scalar field in a periodic potential composed of either a one-dimensional chain of Dirac δ-δ′\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\delta -\delta ^\prime $$\end{document} functions or a specific potential with extended compact support are calculated. First, we consider the representation in terms of real frequencies (or one-particle energies). Then we turn the axis of frequency integration towards the imaginary axis by a finite angle, which allows for easy numerical evaluation, and finally turn completely to the imaginary frequencies and derive the corresponding Matsubara representation, which this way appears also for systems with band structure. In the limit case T→0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$T \rightarrow 0$$\end{document} we confirm earlier results on the vacuum energy. We calculate for the mentioned examples the free energy and the entropy and generalize earlier results on negative entropy.


Introduction
Since the seminal work by Casimir [1,2] and the experimental confirmation by Sparnay [3,4] the theory of quantum fields interaction with classical backgrounds mimicking macroscopical objects has been a very active field of research (see Refs. [5][6][7] and references therein). Most of the results obtained have focused on the study of the dependence of the zero-temperature quantum vacuum energy and its sign with the geometry (see Refs. [8][9][10][11][12]). In the last decade the use of boundary conditions allowed by the principles of quantum field theory has been used to study the properties and sign of the quantum vacuum energy. In particular general boundary conditions were used to mimic idealised models of two plane parallel plates with arbitrary physical properties and topology changes (see Refs. [13][14][15][16]). a e-mail: bordag@uni-leipzig.de b e-mail: jose.munoz.castaneda@uva.es (corresponding author) c e-mail: lucia.santamaria@uva.es Nearly 15 years ago in Casimir effect investigations the occurrence of negative entropy was noticed in [17]. In fact, thermodynamic puzzles were observed earlier, see, e.g., [18]. However, not much attention was paid to [17] since there only the separation dependent part of the entropy was considered and the focus was on another, possibly related, effect; namely a violation of the Nernst's heat theorem while using the Drude model for the dielectric slab. This problem remains still unresolved and it is related to the choice of plasma or Drude model in Casimir force calculations, see [19] for the actual status.
In the last 3 years, the entropy of Casimir effect related configurations was calculated for quite a large number of model systems. For three dimensional ones, a plasma plane or a plasma sphere, in [20,21] and [22,23] and for some simple one dimensional examples in [24]. In all these cases the single standing objects were considered and the complete entropy, except the black body part (contributions from the empty space), was computed. Again, negative entropy was observed. Now, one could speculate that negative entropy, like negative specific heat, could signal some instability of the system as discussed, for example, in [18]. However, that is beyond the scope of the present paper.
The present paper is a continuation of the above line of research concerning entropy in simple systems, now on periodic background fields. We will develop a general formalism to compute finite temperature corrections to the quantum vacuum energy as well as the entropy for periodic classical background potentials represented by infinite chains of potentials with compact support. As an application of the formalism developed we will firstly study the free energy and entropy in a one dimensional lattice of delta functions, generalized to include derivative of delta function, In fact, the potential w 0 δ(x) + 2w 1 δ (x) is a self-adjoint extension of the free particle hamiltonian on R/{0} that generalises the simple delta function and in place of (1) we will use the corresponding matching conditions defined in Refs. [15,25]. This model can also be viewed as a version of the much studied Kronig-Penney model and its pleasant feature is the possibility to work with mostly explicit formulas, showing nevertheless the interesting features we are interested in. At zero temperature, in [26] the vacuum energy was calculated for this model. Some formulas from that paper will prove to be useful below. Secondly we will apply our general formulas to the case of a periodic potential built from as an infinite array of Pöschl-Teller potentials modulated by Heaviside functions as in Ref. [27]. The paper is organized as follows. In the next section we collect the necessary formulas for a generic periodic potential and the basic thermodynamic formulas. In Sect. 3 we derive general representations of the free energy and entropy for arbitrary temperature which are convenient for the numerical evaluation. In Sect. 4 we use the general formulas from Sect. 3 to compute numerically the free energy and entropy for the two particular cases mentioned above. Finally in Sect. 5 we present or concluding remarks.
Throughout the paper we will use a system of units wherē h = c = k B = 1.

The model
We consider the action of a massless scalar field φ(x) in (1 + 1)-dimensions, where the considered general background periodic potential reads as This scalar field φ(x) obeys the Schrödinger equation, after Fourier transform where ω = k are the frequencies of the quantum field modes. Given the one particle states hamiltonian, the band spectrum of the lattice can be written in terms of the transmission amplitude t (k), and the reflection amplitudes r L (k) and r R (k) for the Hamiltonian It is of note that since V (x) has compact support all the transmission amplitudes admit analytical continuation to the whole complex k-plane with a finite number of poles, i.e., t (k), r L (k) and r R (k) are meromorphic functions over the complex k-plane (see Ref. [28]) . The bands are determined by the real solutions of the spectral equation, i.e., by the zeroes of the meromorphic function where we define h V (k) as [29] The parameter θ is connected with the quasi-momentum q following from the Bloch periodicity, by means of θ = −qa. For the definition of the thermodynamic quantities we put the model into a large box, x ∈ [−L/2, L/2] with L → ∞ in the thermodynamic limit. Now the energies are discrete and the equation f θ (k) = 0 turns into Here N = L/a is the number of V (x) potentials given by (3) contained in the box [−L/2, L/2], i labels the energy levels inside a group of levels which turns into a band for L → ∞ and n numbers the band. One of the thermodynamic quantities that we need is the free energy, where is the vacuum energy (we have introduced the zeta regularization [30]) and is the temperature dependent part of the free energy. The entropy S follows with which is the well know thermodynamic definition.

Basic free energy and entropy formulas
The general form of the band equation in terms of scattering coefficients (t, r R , r L ) and the quasi-momentum q in the first Brillouin zone for the compact supported potential from which the comb is built is given by (7). Since the cosine of the left hand side of (7) is a bounded function, the energy spectrum of the system is organized into allowed/forbidden energy bands/gaps. The crystal spectrum will be obtained as beingK the quantum Hamiltonian that characterises the one particle states of the theory (5) and f θ (ω) the spectral function given by (7). The spectrum of the comb, spec(K ), is a band spectrum that depends on a continuous parameter θ and we will assume that there are no negative energy bands. Furthermore, for each θ fixed within the interval [−π, π], spec(K ) θ is a discrete point spectrum. Hence, we can obtain the whole spectrum spec(K ) as the union of the 1-parameter point spectra spec(K ) θ for θ ∈ [−π, π] (see Ref. [26] for details).
The temperature dependent part of the free energy can be computed as the sum of the Boltzmann factors over the quantum field modes that form the comb spectrum, Here ω = k is the energy of the one-particle states of the quantum field theory. Now, the summation over the whole spectrum is equivalent to the summation over the spectrum for a fixed θ and then integrating the continuous parameter θ in [−π, π]. Adding over the spectrum is the summation over the zeroes of the secular function f θ (ω), i.e, we have to sum up the energies of each band for all the bands that form the whole spectrum, Since θ represents the quasi-momentum in the first Brillouin zone, integrating over the energies of each band is equivalent to integrating the quasi-momentum in the primitive cell. The summation over the zeroes of f θ (k) (which give us the band structure) can be written down by using a complex contour integral (through the Cauchy integral formula) which involves the logarithmic derivative of the secular equation, where the contour Γ is represented in Fig. 1. The Boltzmann factors, B(k, T ), have a discrete set of branch points on the imaginary axis. The integral (19) is well defined because f θ (k) is an holomorphic function on k and the logarithmic derivative of the secular equation has poles at the zeroes of f θ (k) (which are the bands in the real axis when we sum over the quasi-momentum) and the residue coincides with the multiplicity of the corresponding zero. When the variable R tends to infinity, the integral over the circumference arc of the contour Fig. 1 goes to zero since 1 for any ν ∈ (0, π/2). Hence, integrating over the whole contour is equivalent to integrating over the two straight lines k = ξ e iα and k = ξ e −iα being α a constant angle. In such a way T F reads as The residue theorem ensures that the result of this integration does not depend on the angle α taken in the contour. Furthermore, the complex contour chosen avoids the possible poles in the real axis and the pure imaginary axis of the functions that form the integrand. From formula (20) we obtain But taking into account (7) we can exchange the integrals in order to do θ integration first Plugging this result in (21) we obtain the final expression This formula can be applied to any comb whose individual potential of the primitive cell has a compact support not exceeding the lattice spacing. It has the advantage that it avoids possible oscillations of the integrand caused by the secular function on the real axis. Also it avoids the branch points on the imaginary axis. At once, for finite slope α, the integrand has an exponential decrease which makes numerical evaluation easier.

Free energy: real frequencies
Another approach to compute the temperature dependent part of the free energy is to work on the real line. In order to compute T F we start from (18) where we have to sum up the Boltzmann factors over the spectrum, or equivalent, to sum over the zeroes of the secular equation f θ (ω) = 0, which gives us the band energy structure of the comb: The allowed ω of the spectrum are given by the condition Plugging (24) into the following form the condition (25) reads as Hence, if we want to integrate the energy ω from the minimum energy to the maximum energy of each band, we have to make the change of variables θ → ω(θ) and introduce the Jacobian of this transformation where n ∈ N indexes the bands. From (24) we get This result implies that, for each band that forms the spectrum, ω n (θ ) is a monotone function between θ = 0 and θ = π (see Ref. [29] for a detailed demonstration). Furthermore, for those extreme values of the quasi momentum θ = 0, π in the first Brillouin zone there is always a maximum or a minimum of the band. We can distinguish two cases -If ω n (0) = ω min and ω n (π ) = ω max of the band -If ω n (0) = ω max and ω n (π ) = ω min of the band These two cases can be implemented in the same formula by taking the module of the Jacobian in (27) as follows The band structure of the comb ensures that the allowed bands are those in which Re [θ(ω)] is non-zero. Hence, since Re[θ(ω)] is identically zero for the energies in forbidden bands, summing over the allowed bands is the same as integrating ω from 0 to ∞. In this way, the temperature dependent part of the free energy takes the form This fact allows us to give a general expression for the density of states of the comb as a function of ω The secular Eq. (7) can be written in terms of the scattering transmission amplitude t (k) and the phase shift δ(k) as where the freedom introduced by the integers p corresponds to the fact that the argument of the transmission scattering amplitude t (k) is fixed by the arguments of the reflection amplitudes r R,L (k) up to (2 p + 1)π 2arg(t (k)) = arg(r R (k)) + arg(r L (k)) + (2 p + 1)π, p ∈ Z as pointed out in Ref. [29]. The limit a → ∞ in (34) does not exist in general. Nevertheless a → ∞ keeping θ fixed can be well understood from a physical point of view following the equivalence between combs and selfadjoint extensions ofĤ 0 ≡ −d 2 /dx 2 in [−a/2, a/2] defined by quasi-periodic boundary conditions shown in Ref. [26]. The comb can be understood as the selfadjoint extension of the hamiltonian defined over the finite interval [−a/2, a/2] with quasiperiodic boundary conditions. Since V (x) has compact support in the interior of [−a/2, a/2] any obstruction forĤ V to be selfadjoint comes fromĤ 0 , so the selfadjoint extensions ofĤ V andĤ 0 are the same. Under these conditions when a → ∞ the operatorĤ 0 (equivalentlyĤ V ) becomes selfadjoint. Hence a → ∞ gives rise to a quantum mechanical system defined by one single potential V (x) with compact support over the whole real line. In this case from Ref. [24] Therefore comparing Eq. (35) with Eqs. (32) and (33) we can give f θ the physical meaning of a phase shift for particles propagating along the comb. In addition it is a well known fact that the derivative of the phase shift with respect ω is the density of states for the continuous spectrum defined byĤ V as a quantum Hamiltonian over the real line which completes the physical analogy.

Free energy: Matsubara formalism
In the preceding subsection we have given a representation of the thermodynamic quantities for a finite temperature scalar quantum field theory in terms of real frequencies (or one particle energies). The Matsubara representation is an alternative to the one given above in terms of imaginary frequencies, ω → iξ , that take discrete values ξ = 2π T , being an integer for bosons and half integer for fermions. The Matsubara representation can be obtained starting from an Euclidean field theory on a finite time interval [7]. Equivalently it arises from the representation in terms of real frequencies by performing a Wick rotation. In this subsection we will obtain the Matsubara representation in the case where the one particle spectrum has a band structure. In order to take α = π/2 in (23) we must introduce a displacement > 0 on the resulting vertical line to avoid the branch points of B(k, T ), i.e., we turn the upper half of the contour towards the vertical semi-line ω = + iξ and the lower half of the contour towards ω = − iξ . Before taking the limit → 0 the singular terms cancel, as explained in Ref. [30], and we finally obtain: where B(±iξ, T ) = T log(1 − e ∓iξ/T ), Further we use where Θ is the step function, the prime on the sum means that the contribution from = 0 enters with a factor 1/2 and ξ = 2π T ( ∈ Z) are the Matsubara frequencies.
Since f θ (iξ) = f θ (−iξ) for the potentials we are studying, 2 if we 2 We can write the scattering data using a common denominator which is basically the Jost function: t (k) = τ (k)/j (k), r R,L (k) = ρ R,L (k)/j (k). Using this notation, t 2 − r R r L = j * (k)/j (k), and it is a very well known property of the Jost function that j (−k) = j * (k).
In addition τ (−k) = τ (k), ρ R (−k) = ρ L (k). These properties ensure f θ (iξ) = f θ (−iξ) for all those potentials with compact support and time reversal symmetry (see e.g. [28] for more details). insert (38) into (36) the contribution with log |2 sin(ξ/2T )| cancel and we arrive at Here the first term is, with minus sign, the vacuum energy Since Finally, we integrate by parts and arrive at for the free energy per unit cell, which is a more conventional form of the Matsubara representation. This way we observe the expected feature that the vacuum energy is the zero temperature limit of the free energy. It must be mentioned that in Eq. (39) an ultraviolet divergence was introduced. The temperature dependent part of the free energy is finite, however the vacuum energy and the free energy have a divergence. Therefore we should have introduced a regularization in separation the contributions in (39). The vacuum energy for a generalized Dirac comb was calculated in [26] with Eq. (44) as final formula. Thereby a renormalization was performed by subtracting the contributions from the vacuum energies of the δ-δ potentials taken separately.

Introducing a mass term
When we study a potential that generates a spectrum with bound states it is convenient to introduce a mass term in order to avoid instabilities. We consider the action of a scalar massive field φ(x) in (1 + 1)-dimensions where U (x) is the general periodic potential with compact support considered. The modes of this scalar field obey the Schrödinger equation, after Fourier transform, being ω = √ k 2 + m 2 the frequencies of the quantum field modes. The temperature dependent part of the free energy is given by This last expression will consist of a summation over bound states (k = iκ with κ > 0) of the Boltzmann factor and a Cauchy integral over the states of the continuous spectrum (notice that the secular equation f θ is holomorphic in k, not in ω), where Γ is the contour represented in Fig. 1 but displaced a distance m on the real axis. Again the integral on all the contour is reduced to the integral on the lines k = ξ e ±iα with α a constant angle: where we have written z(ξ, α, m) = ξ 2 e i2α + m 2 . It is of note that the bound states are poles in the pure imaginary axis of the k-complex plane. Hence, the integral in (47) is well defined if we use a contour similar to that represented in Fig. 1.

Particular cases
In this section we apply the formulas for the free energy and the entropy developed in the preceding section to some specific systems. The first is a single potential with point support, the other two have periodic potentials, one with localized support and the other with extended support (within one lattice cell).

Entropy for single δ-δ potential
We consider the potential with w 0 > 0 to ensure that there are no negative energy levels, and in addition no negative energy bands in the associated comb (see Ref. [25] for a detailed discussion about the bound state spectrum of the δ-δ potential). For this potential, following [15], the scattering amplitudes are given by Taking into account that the determinant of the scattering matrix is t 2 − r R r L = e 2iδ(k) being δ(k) the phase shift, we obtain Transforming the arctan in the last equality by means of the trigonometric relation we obtain two possible solutions for tan(δ(k)): If we require that δ(k → ∞) = 0 then the only possibility is tan(δ(k)) = −γ /2k. Taking now the arctan and using arctan(−z) = − arctan(z), we finally obtain the expression for the phase shift, Using the derivative of the phase shift (52), in (35), the free energy can be evaluated when w 0 > 0 (and therefore there are no bound states) or the binding energy should be larger than the mass. In this way, the temperature Fig. 2 Temperature dependent part of the free energy (54), for a single δ-δ -potential as a function of T for the potential V δδ and the configurations w 0 = 0.01,w 1 = 2 (blue); w 0 = 3,w 1 = 2 (green) and w 0 = 2, w 1 = 0 (red) Fig. 3 Entropy (55), for a single δ-δ -potential as a function of T for the potential V δδ and the configurations w 0 = 0.01, w 1 = 2 (blue); w 0 = 3, w 1 = 2 (green) and w 0 = 2, w 1 = 0 (red) dependent part of the free energy and the entropy can be written explicitly as These formulas generalize Eq. (4) from Ref. [24] to the case w 1 = 0. The above two expressions can easily be evaluated numerically. Results are shown in Figs. 2 and 3. As it can be seen, in all cases the entropy is positive.

Entropy for the Dirac comb
As potential we take a periodic chain of δ-δ functions (1), with lattice spacing a. This model is a generalization of the Dirac comb model. Changing notations for convenience [26], the spectral Eq. (24) reads For the δ-δ comb all we need to do is use the momentum representation formula for the temperature dependet part of the free energy (23). From the expression (57) it is easy to see that in this case On the one hand, plugging (59) in (23) we can calculate the thermal correction to the free energy of the comb at any temperature. Figure 4 shows the temperature dependent part of the free energy for different configurations of a δ-δ comb as a function of temperature. Plots in Figs. 5 and 6 show the thermal correction to the free energy in the parameter space Ω − γ in the regimes of high and low temperatures respectively. In both cases, T F takes negative values. In the limit of low temperatures, we can see that the leading contribution to the free energy will be provided for the vacuum energy at zero temperature, whereas the thermal correction will be a small deviation as it should be. However, in the limit of high temperatures the opposite happens and the thermal correction becomes more important.
On the other hand, if we derive Eq. (23) with respect to the temperature and we change the global sign, we obtain the entropy of the comb, which can be evaluated at any finite nonzero temperature for different configurations of a δ-δ comb (Fig. 7). Plots in Figs. 8 and 9 show the behaviour of the entropy in the parameter space Ω − γ in the regimes of high

Entropy for sine-Gordon comb
As potential we take a periodic chain of sine-Gordon kinks, represented by Pöschl-Teller potentials as follows, being Θ the Heaviside step function, the length of the compact support of the potential and a the lattice spacing (notice that 0 < ≤ a). Following [27], the scattering coefficients are with Λ = 1 − tanh 2 ( /2). The poles of the determinant of the scattering matrix (detS = t 2 − r R r L ) are the bound states (k = iκ with κ > 0) of the kink-comb spectrum. In this case we find that there are no bound states (see Ref. [27]). In this lattice, the bands are determined by the real solutions of the spectral equation, which takes the form with the functions For the kink-comb all we need to do is use the momentum representation formula for the free energy (23) being (63) the spectral equation in this case. The result is shown in Fig. 10 as a function of temperature for different values of the compact support length. By deriving the free energy with respect to the temperature, the entropy of the system is obtained and can be evaluated for any non-zero finite temperature. The result is shown in Fig. 11. It can be seen that there are negative entropies if the kink's compact support is such that < a. Even in the limit of a continuous comb, i.e., = a (brown line in the right plot of Fig. 11), there are negative entropies.

Conclusions
In the foregoing sections we considered free energy and entropy for periodic lattices built from infinite arrays of potentials with compact support. We have considered the particular cases of δ-δ potential, (56), in one case and a Pöschl-Teller potential, (60), in the other. First we derived some general representations for the thermodynamic quantities for a scalar quantum field theory with a classical background given by a generic periodic potential. The most commonly used is in terms of real frequencies and the Boltzmann factor. It is, so to say, the most physical one and convenient due to the exponential decrease for large frequencies in its temperature dependent part. However, in dependence of the mode density, it may involve large oscillations. By turning the integration contour towards the imaginary axis by a finite angle α (α < π/2, see Fig. 1), a still exponentially convergent representation (32) appears having the advantage that it avoids large oscillations. Turning the contour finally to the imaginary axis, α = π/2, we come to the Matsubara representation, (42), which this way is applicable also to a spectral problem with band structure.
For numerical evaluation, the intermediate representation (32) is most convenient. We used it for calculating free energy and entropy for the mentioned systems. For the generalized δ-δ comb we obtain a positive entropy, generalizing earlier results. Nevertheless for the periodic array of truncated Pöschl-Teller potentials we obtained for temperatures below a certain value a negative entropy, generalizing earlier results in [24] for a single plasma point on a half axis. These negative entropy regimes survive even in the continuum limit (brown line in the right plot of Figure 10. As discussed in Ref. [18] the appearance of negative entropies can be a hint of instabilities of the quantum system.
It must be mentioned that so far no general rule can be guessed for the sign of the entropy calculated the way as in this and earlier papers. More work in this direction seems necessary in order to understand which are the fundamental properties that determine the sign of the entropy in quantum field theories under the influence of classical backgrounds.

Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors' comment: This is a theoretical work where no use of data base has been done. Hence there are no data associated.] Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecomm ons.org/licenses/by/4.0/. Funded by SCOAP 3 .