## Abstract

It is shown that the recently proposed quantum analogue of classical energy equipartition theorem for two paradigmatic, exactly solved models (i.e., a free Brownian particle and a dissipative harmonic oscillator) also holds true for all quantum systems which are composed of an arbitrary number of non-interacting or interacting particles, subjected to any confining potentials and coupled to thermostat with arbitrary coupling strength.

## Introduction

In classical statistical physics, the theorem on equipartition of kinetic energy is one of the most universal relation [1, 2]. It states that for a system in thermodynamic equilibrium of temperature *T*, the mean kinetic energy \(E_k\) per one degree of freedom is equal to \(E_k=k_B T/2\), where \(k_B\) is the Boltzmann constant [3, 4]. It does not depend on a number of particles in the system, the form of the potential force which acts on them, the form of interaction between particles and strength of coupling between the system and thermostat. It depends only on the thermostat temperature *T*. On the contrary, for quantum systems, the mean kinetic energy is not equally shared among all degrees of freedom and the theorem fails. The quite natural question arises whether one can formulate a similar and universal relation for the mean kinetic energy of quantum systems at the thermodynamic equilibrium state. Recently, in a series of papers [5,6,7], the authors have proposed quantum analogue of the classical energy equipartition theorem. For a system of one degree of freedom this quantum counterpart, which is called the energy *partition* theorem, has the following appealing form:

where

has the same form as thermally averaged kinetic energy of the harmonic oscillator with the frequency \(\omega \) weakly coupled to thermostat of temperature *T* [8]. The function \({\mathbb {P}}(\omega )\) has all properties of a probability density on a positive half-line of real numbers meaning that

The explicit form of \({\mathbb {P}}(\omega )\) has been derived for two exactly solved quantum systems: a free Brownian particle [5] and a dissipative harmonic oscillator [6]. In these papers [5, 6], thermostat is composed of quantum harmonic oscillators (à la Caldeira–Leggett [9,10,11]) and the above interpretation of \({\mathcal {E}}_k(\omega )\) as their mean kinetic energy per one degree of freedom is fully justified. Because \({{\mathbb {P}}}(\omega )\) is a probability density, Eq. (1) can be rewritten in the form

where \(\langle {\mathcal {E}}_k \rangle \) is a mean value of the function \({\mathcal {E}}_k(\xi )\) of some random variable \(\xi \) distributed according to the probability density \({{\mathbb {P}}}\). In the Caldeira–Leggett model, \(\xi \) can be interpreted as a random frequency of harmonic oscillators forming the thermostat which should be infinitely extended, i.e., the thermodynamic limit for the thermostat should be carried out in order to guarantee a continuous spectrum of the thermostat oscillators frequencies.

## Universal Relation for Kinetic Energy of Quantum Systems

Here, we want to prove a relation similar to Eq. (1) for a class of quantum systems for which the concept of kinetic energy has sense (e.g spin systems are outside of this class). More precisely, we study a quantum system *S* coupled to a heat bath (thermostat, environment) *B*. The composite system \(S+B\) is in a Gibbs equilibrium state of temperature *T* defined by the density operator

and

is the Hamiltonian of the composite system \(S+B\). Next,

is the Hamiltonian of the system *S* and

is the Hamiltonian of interaction of the system *S* with the thermostat *B*. Finally, \(H_B\) is the Hamiltonian of thermostat *B*. Its explicit form is now not relevant. The set of parameters \(\{\lambda _{jn}\}\) characterizes the coupling strength. The coordinate and momentum operators \(\{x_j, p_j\}\) refer to the system *S* and the operators \(\{X_n\}\) refer to the thermostat *B*. All coordinate and momentum operators obey canonical equal-time commutation relations. We assume that all components of the Hamiltonian (7) fulfil required conditions to ensure a well defined thermodynamic equilibrium state of the composite system \(S+B\) in the thermodynamic limit for the thermostat.

### Theorem 1

The mean kinetic energy per one degree of freedom of the system *S* can be expressed in a universal form as

where

and \({\mathcal {E}}_k(\omega )\) is given by Eq. (2). The function \({\mathbb {P}}_j(\omega )\) is a probability density which obeys conditions (3) and (4).

The explicit form of the probability density \({\mathbb {P}}_j(\omega )\) is presented below.

### Proof of Theorem 1

To prove the relation (10), we apply the fluctuation–dissipation relation of the Callen–Welton type [12, 13]. One can exploit the results derived e.g. in the Landau–Lifshitz book [14] [see Eq. (124.10)] or in the Zubarev book [15] [see Eq. (17.19g)]. We apply them to the momentum operator \(p_j\) of the system *S*. Without loss of generality we assume that the average momentum \(\langle p_j \rangle =0\) at the equilibrium state and then one obtains

where \(\chi _{jj}''(\omega )\) is the imaginary part of the generalized susceptibility,

The real part is an even function and the imaginary part is an odd function,

The generalized susceptibility \(\chi _{jj}(\omega )\) is the Fourier transform

of the response function \(G_{jj}(t)\) which in fact is the retarded thermodynamic Green function [15], namely,

where \(\theta (t)\) is the Heaviside step function and

is the Heisenberg representation of the momentum \(p_j(0)\). The averaging in Eq. (16) is over the Gibbs canonical statistical operator (6).

Now, we compare Eqs. (10) and (12), and obtain the expression for \({\mathbb {P}}_j(\omega )\) in the form

Hence, we obtain the formal expression for \({\mathbb {P}}_j(\omega )\). However, we have to show that it can be interpreted as a probability density. \(\square \)

### Corollary

The function \({\mathbb {P}}_j(\omega )\) assumes non-negative values for all positive values of the argument \(\omega \).

### Proof

We use the spectral representation of \(\chi _{jj}''(\omega )\) in the form (see e.g. the equation just above Eq. (124.9) in the Landau–Lifshitz book [14]),

where \(p_{nm}\) are the matrix elements of the momentum operator in the basis of the eigenstates of the total Hamiltonian *H*, \(E_n\) are the eigenvalues of *H* and the population factor is \(\rho _n = Z^{-1} \text{ exp }(-E_n/k_B T)\). From the form of this relation we see that for all positive \(\omega \) the function \(\chi _{jj}''(\omega )\) is positive and not zero. In fact, it is a well-known that \(\chi _{jj}''(\omega )\) is positive and is also named an absorptive part of the susceptibility \(\chi _{jj}(\omega )\), see also the text below Eq. (123.11) in [14]. Hence, also \({\mathbb {P}}_j(\omega )\) given by Eq. (18) is positive for all positive values of \(\omega \). \(\square \)

### Theorem 2

The function \({\mathbb {P}}_j(\omega )\) defined by Eq. (18) is normalized to unity,

### Proof of Theorem 2

According to the Kramers–Kronig dispersion relation

where \({{{\mathcal {P}}}}\) denotes the principal value of the integral. Its value at \(\omega =0\) reads

where we utilize the relation \(\chi '_{jj}(0)= \chi _{jj}(0) \) which follows from (13) and (14) for \(\omega =0\). The rhs of this equation is related to Eq. (20). Alternatively, one can apply Eq. (123.19) in the Landau–Lifshitz book [14] which reads

and for \(\omega =0\) it takes the same value as (22). On the other hand, from Eqs. (15) and (16) it follows that

We observe that the problem of normalization of \({\mathbb {P}}_j(\omega )\) in Eq. (18) is converted to the problem whether the equality

holds true for the Hamiltonian (7)–(9).

This may seem surprising at first glance since \(\chi _{jj}(0)\) does not depend on the form of the potential, interaction, temperature and parameters of the Hamiltonian, but it depends only on mass \(M_j\) of the particle considered.

In the next step, we prove that the relation (25) indeed holds true for a general form of the Hamiltonian (7). We start from the Heisenberg equations of motion for coordinate operators of the system *S*, namely,

We insert it into Eq. (24) and obtain

where we use a well-known limiting procedure with the \(\epsilon \)-term to ensure convergence of the integral [16]. The integral in the last line is finite and therefore this term tends to zero as \(\epsilon \rightarrow 0\). In the first term, for the upper limit \(t \rightarrow \infty \) the expression tends to zero. For the lower limit, \(\langle [x_j(0), p_j(0)]\rangle = i\hbar \). Thus it finishes proofs of the relation (25) and normalization of the function \({\mathbb {P}}_j(\omega )\) defined by Eq. (18). \(\square \)

## Comments and Discussion

- 1.
The formula (10) is a generalization of the classical energy equipartition theorem. It fulfils elementary conditions for generalization: Indeed, in the high temperature limit

$$\begin{aligned} \coth \left[ {\frac{\hbar \omega }{ 2k_BT}}\right] \approx \frac{2k_B T}{\hbar \omega }, \quad {\mathcal {E}}_k(\omega ) \approx k_B T/2 \end{aligned}$$(28)and Eq. (10) reduces to its classical counterpart

$$\begin{aligned} E_k^{(j)} = \frac{1}{2} k_B T \int _0^{\infty } {\mathbb {P}}_j(\omega ) \,d\omega = \frac{1}{2} k_B T \end{aligned}$$(29)because of normalization of \({\mathbb {P}}_j(\omega )\). We want to notice that Callen and Welton in their ’historical’ paper [12] missed the normalization: see Eq. (4.11) therein.

- 2.
It has to be stressed that the formula (10) is universal, however, the mean kinetic energy \(E_k^{(j)}\) depends not only on temperature of the system (as in the classical case) but also, via the probability density \({\mathbb {P}}_j(\omega )\), on a number of particles in the system, the form of the potential which acts on them, the form of interaction between particles and strength of coupling between the system and thermostat.

- 3.
If

*H*is the Hamiltonian of the composite system \(S+B\) then all regimes, from weak to strong coupling with thermostat, can be analyzed. However, if \(H = H_S\) (there is no explicit interaction with thermostat*B*) then it means that only the weak coupling limit can be considered because averaging is over the Gibbs canonical density operator \(\rho _S \propto \text{ exp }(-H_S/k_B T)\) valid in the weak coupling limit. - 4.
There are no specific assumptions regarding thermostat

*B*: It should be infinitely extended and satisfying the Kubo–Martin–Schwinger conditions expressing periodicity of Green’s functions in imaginary time [16, 17]. - 5.
The factor \({\mathcal {E}}_k(\omega )\) in Eq. (10) is the same as mean kinetic energy of a quantum harmonic oscillator in the Gibbs state \(\rho _O \propto \text{ exp }(-H_O/k_B T)\), where \(H_O\) is the Hamiltonian of the harmonic oscillator [8],

$$\begin{aligned} {\mathcal {E}}_k(\omega ) = \frac{1}{2m} \langle p^2 \rangle = \frac{\hbar \omega }{4} \coth {\frac{\hbar \omega }{ 2k_BT}}. \end{aligned}$$(30)It depends on the frequency \(\omega \) of the harmonic oscillator but not upon its mass

*m*. However, in the considered model (7)–(9), a harmonic oscillator does not occur at all. It is a consequence of the above point 4 and the linear response theory [18]. - 6.
As an example, we demonstrate how the above theory works for a free Brownian particle coupled to thermostat which is a collection of harmonic oscillators [5]. What we need is the explicit form of the momentum operator

*p*(*t*) which has been calculated e.g. in Ref. [5], see Eq. (7) therein. It reads$$\begin{aligned} p(t)= & {} R(t)p(0) - \int _0^t R(t-u) \gamma (u) \,du \, x(0) \nonumber \\&+ \int _0^t R(t-u) \eta (u) \,du, \end{aligned}$$(31)

where *R*(*t*) and \(\gamma (t)\) are the response function and the memory kernel of the generalized Langevin equation. The operator \(\eta (t)\) models quantum thermal noise and is expressed by thermostat operators which commute with the system operators. In Eq. (16), only the second term in r.h.s. of Eq. (31) contributes to the commutator yielding the Green function

The susceptibility \(\chi (\omega )\) is a Fourier transform of the Green function *G*(*t*) which is a convolution in (32) of two scalar functions *R*(*t*) and \(\gamma (t)\). Therefore as a result we obtain

i.e., it is expressed by a product of two Laplace transforms \({{\hat{R}}}_L(z)\) and \({{\hat{\gamma }}}_L(z)\) of the functions *R*(*t*) and \(\gamma (t)\), respectively. For the free Brownian particle of mass *M* the Laplace transforms of *R*(*t*) reads [5]

and the generalized susceptibility takes the form

It is seen that for any form of the memory function \(\gamma (t)\) the value of susceptibility at zero frequency is the particle mass, \(\chi (0)=M\).

In conclusion, applying the fluctuation–dissipation relation we demonstrate that Eq. (10) is valid for arbitrary quantum systems described by the Hamiltonian (7)–(9) and being at the thermodynamic equilibrium state. The probability distribution is of the form (18), where the susceptibility \(\chi _{jj}(\omega )\) is the Fourier transform of the retarded thermodynamic Green function (16). The formula (10) can be called the energy *partition* theorem for quantum systems because: (i) it is universal; (ii) it is an extension of the formula for classical systems; (iii) it reduces to the energy *equipartition* theorem for high temperatures.

## References

Huang, K.: Statistical Mechanics. Wiley, New York (1987)

Terletskií, Y.P.: Statistical Physics. North-Holland, Amsterdam (1971)

Waterston, J.J.: Note on the physical constitution of gaseous fluids and a theory of heat. R. Soc. Lond.

**5**, 604 (1846)Boltzmann, L.: Über die Natur der Gasmoleküle. Wiener Berichte

**74**, 553 (1876)Spiechowicz, J., Bialas, P., Łuczka, J.: Quantum partition of energy for a free Brownian particle: impact of dissipation. Phys. Rev. A

**98**, 052107 (2018)Bialas, P., Spiechowicz, J., Łuczka, J.: Partition of energy for a dissipative quantum oscillator. Sci. Rep.

**8**, 16080 (2018)Bialas, P., Spiechowicz, J., Łuczka, J.: Quantum analogue of energy equipartition theorem. J. Phys. A

**52**, 15LT01 (2019)Feynman, R.P.: Statistical Mechanics. Westview Press, Reading, PA (1972)

Zwanzig, R.: Nonlinear generalized Langevin equation. J. Stat. Phys.

**9**, 215–220 (1973)Caldeira, A.O., Leggett, A.J.: Quantum tunnelling in a dissipative system. Ann. Phys. (N.Y.)

**149**, 374–456 (1983)Hänggi, P., Ingold, G.L.: Fundamental aspects of quantum Brownian motion. Chaos

**15**, 026105 (2005)Callen, H.B., Welton, T.A.: Irreversibility and generalized noise. Phys. Rev.

**83**, 34–40 (1951)Kubo, R.: The fluctuation–dissipation theorem. Rep. Prog. Phys.

**29**, 255–284 (1966)Landau, L.D., Lifshitz, E.M.: Statistical Physics, Part I. Pergamon, Oxford (1980)

Zubarev, D.N.: Nonequilibrium Statistical Thermodynamics. Consultants Bureau, New York (1974)

Kubo, R.: Statistical–mechanical theory of irreversible processes. J. Phys. Soc. Jpn.

**12**, 570–586 (1957)Martin, P.C., Schwinger, J.: Theory of many-particle systems. Phys. Rev.

**115**, 1342–1373 (1959)Ford, G.W.: The fluctuation–dissipation theorem. Contemp. Phys.

**58**, 244 (2017)

## Acknowledgements

The author would like to thank P. Hänggi and G.-L. Ingold for insightful discussions on various aspects of this work and P. Talkner for suggestions regarding the proof of normalization. The work supported by the Grant No. NCN 2015/19/B/ST2/02856.

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

Communicated by Abishek Dhar.

### Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

## Rights and permissions

**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://creativecommons.org/licenses/by/4.0/.

## About this article

### Cite this article

Łuczka, J. Quantum Counterpart of Classical Equipartition of Energy.
*J Stat Phys* **179, **839–845 (2020). https://doi.org/10.1007/s10955-020-02557-5

Published:

Issue Date:

DOI: https://doi.org/10.1007/s10955-020-02557-5

### Keywords

- Quantum systems
- Equipartition of energy
- Quantum analogue