View source for Bogolyubov inequality

''in statistical mechanics''

Bogolyubov's inequality for the free-energy functional is an inequality that gives rise to a variational principle of statistical mechanics. The following inequality is valid for any Hermitian operators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016740/b0167401.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016740/b0167402.png" />:

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016740/b0167403.png" /></td> <td valign="top" style="width:5%;text-align:right;">(*)</td></tr></table>

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016740/b0167404.png" /></td> </tr></table>

where

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016740/b0167405.png" /></td> </tr></table>

This expression has the meaning of the free-energy density for a system with Hamiltonian <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016740/b0167406.png" />; the extensive parameter <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016740/b0167407.png" /> is the number of particles or the volume, depending on the system; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016740/b0167408.png" /> is the absolute temperature in energy units, and

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016740/b0167409.png" /></td> </tr></table>

denotes the thermodynamic average with respect to the Hamiltonian <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016740/b01674010.png" />.

The Bogolyubov inequality (*) is used to obtain the exact thermodynamic limit solutions of model problems in statistical quantum physics [[#References|[1]]], [[#References|[2]]], in studies using the method of molecular fields [[#References|[3]]], in proving the existence of the thermodynamic limit, and also in order to obtain physically important estimates for the free energies of various multi-particle systems [[#References|[4]]]. There exist generalizations of the Bogolyubov inequality (*) to the case of von Neumann algebras with a  "trace"  [[#References|[5]]] and general von Neumann algebras [[#References|[6]]].

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  N.N. Bogolyubov, jr.,   "On model dynamical systems in statistical mechanics"  ''Physica'' , '''32'''  (1966)  pp. 933–944</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  N.N. Bogolyubov jr.,   "A method for studying model Hamiltonians" , Pergamon  (1972)  (Translated from Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  S.V. Tyablikov,   "Methods of the quantum theory of magnetism" , Plenum  (1967)  (Translated from Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  L.P. Kudrin,   "Statistical plasma physics" , Moscow  (1974)  (In Russian)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  M.B. Ruskai,   "Inequalities for traces on von Neumann algebras"  ''Comm. Math. Phys.'' , '''26'''  (1972)  pp. 280–289</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  H. Araki,   "Golden–Thompson and Peierls–Bogolyubov inequalities for a general von Neumann algebra"  ''Comm. Math. Phys.'' , '''34'''  (1973)  pp. 167–178</TD></TR></table>

====Comments====


====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  D. Ruelle,   "Statistical mechanics: rigorous results" , Benjamin  (1974)</TD></TR></table>

Bogolyubov's inequality for Green functions and correlation functions. The following inequality holds for time-temperature commutator Green functions (cf. [[Green function|Green function]] in statistical mechanics). If one defines

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016740/b01674011.png" /></td> </tr></table>

where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016740/b01674012.png" /> is the operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016740/b01674013.png" /> in the Heisenberg representation for imaginary time <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016740/b01674014.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016740/b01674015.png" /> denotes the thermodynamic average for Hamiltonian <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016740/b01674016.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016740/b01674017.png" /> is the absolute temperature, then

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016740/b01674018.png" /></td> <td valign="top" style="width:5%;text-align:right;">(1)</td></tr></table>

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016740/b01674019.png" /></td> </tr></table>

Substituting <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016740/b01674020.png" /> one gets

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016740/b01674021.png" /></td> <td valign="top" style="width:5%;text-align:right;">(2)</td></tr></table>

where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016740/b01674022.png" /> is the commutator. One may also write down the inequality

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016740/b01674023.png" /></td> <td valign="top" style="width:5%;text-align:right;">(3)</td></tr></table>

which follows from (2). Owing to the general nature of the inequalities (2) and (3) they are extensively employed in studies of various physical systems.

An improved estimate of the correlation function

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016740/b01674024.png" /></td> </tr></table>

is attained in (3) by selecting as the operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016740/b01674025.png" /> some  "quasi-integral"  of motion which, for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016740/b01674026.png" />, commutes with the Hamiltonian <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016740/b01674027.png" />. The commutator in the numerator of the right-hand side of (3) describes the transformation properties of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016740/b01674028.png" /> under the infinitesimal transformations of the continuous symmetry group generated by the operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016740/b01674029.png" />. The inequalities (2) and (3) are effectively employed in the study of systems with a spontaneous symmetry breaking: In such a case thermodynamic averages must be considered in the framework of the method of quasi-averages (cf. [[Quasi-averages, method of|Quasi-averages, method of]]).

Similar inequalities are applicable to Green functions in classical statistical mechanics, where the respective commutators  "become"  [[Poisson brackets|Poisson brackets]].

Bogolyubov's inequalities made it possible to establish several relations concerning model systems of statistical physics, to study the problem of ordering in infinite systems, etc. For references see [[Bogolyubov theorem|Bogolyubov theorem]].