Namespaces
Variants
Actions

Difference between revisions of "Statistical physics, mathematical problems in"

From Encyclopedia of Mathematics
Jump to: navigation, search
(refs format)
m (tex encoded by computer)
 
Line 1: Line 1:
 +
<!--
 +
s0874401.png
 +
$#A+1 = 38 n = 0
 +
$#C+1 = 38 : ~/encyclopedia/old_files/data/S087/S.0807440 Statistical physics, mathematical problems in
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
{{MSC|82-01}}
 
{{MSC|82-01}}
  
Line 5: Line 17:
 
The problems of the mathematical methods of equilibrium statistical mechanics include the calculation of averages of the following types (when using a canonical Gibbs distribution):
 
The problems of the mathematical methods of equilibrium statistical mechanics include the calculation of averages of the following types (when using a canonical Gibbs distribution):
  
<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/s/s087/s087440/s0874401.png" /></td> </tr></table>
+
$$
 +
=   \mathop{\rm Sp}  e ^ {- H/ \theta } ,\ \
 +
\langle  A\rangle  =
 +
\frac{1}{Z}
 +
  \mathop{\rm Sp}  Ae ^ {- H/ \theta } ,
 +
$$
  
<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/s/s087/s087440/s0874402.png" /></td> </tr></table>
+
$$
 +
\langle  BA( t)\rangle  = -
 +
\frac{1}{Z}
 +
  \mathop{\rm Sp}  BA( t) e ^ {- H/ \theta } ,
 +
$$
  
etc., where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087440/s0874403.png" /> is the Hamiltonian of the system, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087440/s0874404.png" /> is the temperature, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087440/s0874405.png" /> is an operator in the Heisenberg representation, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087440/s0874406.png" /> is the partition function related to the free energy of the system by the relation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087440/s0874407.png" /> (when a grand canonical distribution is used, instead of the operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087440/s0874408.png" />, the operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087440/s0874409.png" /> figures in the process, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087440/s08744010.png" /> is the chemical potential and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087440/s08744011.png" /> is the number of particles; instead of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087440/s08744012.png" /> there is the grand partition function (cf. [[Statistical sum|Statistical sum]]); instead of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087440/s08744013.png" />, the thermodynamic potential <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087440/s08744014.png" />, etc.).
+
etc., where $  H $
 +
is the Hamiltonian of the system, $  \theta = kT $
 +
is the temperature, $  A( t) $
 +
is an operator in the Heisenberg representation, and $  Z $
 +
is the partition function related to the free energy of the system by the relation $  F = - \theta  \mathop{\rm ln}  Z $(
 +
when a grand canonical distribution is used, instead of the operator $  H $,  
 +
the operator $  H- \mu N $
 +
figures in the process, where $  \mu $
 +
is the chemical potential and $  N $
 +
is the number of particles; instead of $  Z $
 +
there is the grand partition function (cf. [[Statistical sum|Statistical sum]]); instead of $  F $,  
 +
the thermodynamic potential $  \Omega = F- \mu N $,  
 +
etc.).
  
The calculation of the time-independent averages <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087440/s08744015.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087440/s08744016.png" /> solves the problems of the equilibrium theory (all equilibrium characteristics, such as internal energy, heat capacity, state equations, static response, etc., are defined by methods of thermodynamics based on the free energy <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087440/s08744017.png" />), as well as of fluctuation theory; the calculation of quantities of the type <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087440/s08744018.png" /> enables one to study a whole series of dynamic (frequency-dependent) response functions of the system, transport coefficients, etc., as well as properties of the simplest perturbations of the system (generally when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087440/s08744019.png" />), their energy, damping, etc.
+
The calculation of the time-independent averages $  Z $
 +
and $  \langle  A\rangle $
 +
solves the problems of the equilibrium theory (all equilibrium characteristics, such as internal energy, heat capacity, state equations, static response, etc., are defined by methods of thermodynamics based on the free energy $  F  $),  
 +
as well as of fluctuation theory; the calculation of quantities of the type $  \langle  BA( t)\rangle $
 +
enables one to study a whole series of dynamic (frequency-dependent) response functions of the system, transport coefficients, etc., as well as properties of the simplest perturbations of the system (generally when $  \theta \neq 0 $),  
 +
their energy, damping, etc.
  
These averages can be calculated completely only in exceptional cases: for ideal systems and for certain special models. These calculations can serve as a zero approximation in further research. The most-frequently studied models of non-ideal statistical systems are systems with direct interaction between the particles (interaction of a finite radius, Coulomb interaction and others) or interaction between the particles and a photon-type field (in a solid body describing a thermal motion of the crystalline lattice), discrete Ising-type systems, systems of Heisenberg magnets with interaction between the nodes and with a finite action radius, and combinations of similar types of interactions. In a representation of second quantization, the Hamiltonian <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087440/s08744020.png" /> is expressed through quadratic combinations of creation and annihilation operators (if the part <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087440/s08744021.png" /> is without interaction), through a four-form (if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087440/s08744022.png" /> includes the direct interaction of particles), through a three-form of the type used in quantum electrodynamics (electron-photon interaction in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087440/s08744023.png" />), etc.
+
These averages can be calculated completely only in exceptional cases: for ideal systems and for certain special models. These calculations can serve as a zero approximation in further research. The most-frequently studied models of non-ideal statistical systems are systems with direct interaction between the particles (interaction of a finite radius, Coulomb interaction and others) or interaction between the particles and a photon-type field (in a solid body describing a thermal motion of the crystalline lattice), discrete Ising-type systems, systems of Heisenberg magnets with interaction between the nodes and with a finite action radius, and combinations of similar types of interactions. In a representation of second quantization, the Hamiltonian $  H = H _ {0} + H _ {1} $
 +
is expressed through quadratic combinations of creation and annihilation operators (if the part $  H _ {0} $
 +
is without interaction), through a four-form (if $  H _ {1} $
 +
includes the direct interaction of particles), through a three-form of the type used in quantum electrodynamics (electron-photon interaction in $  H _ {1} $),  
 +
etc.
  
Approximate methods for calculating these averages are based in most cases on the addition of corrections to the results obtained for the case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087440/s08744024.png" /> (if the zero approximation really is such a case in the physical sense), which take the form of a straightforward or modified expansion in powers of the parameter defining the strength of the interaction in the Hamiltonian <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087440/s08744025.png" />. When comparing the formal model under consideration with real systems, in many cases of practical interest the interaction parameter by which the "expansion" takes place proves to be not small. Difficulties of this type exist in the problem of electron gas in metals, in the theory of a non-ideal Bose gas, in the theory of fluids, in studying situations in the area of phase transitions or close to critical points, etc.
+
Approximate methods for calculating these averages are based in most cases on the addition of corrections to the results obtained for the case $  H = H _ {0} $(
 +
if the zero approximation really is such a case in the physical sense), which take the form of a straightforward or modified expansion in powers of the parameter defining the strength of the interaction in the Hamiltonian $  H _ {1} $.  
 +
When comparing the formal model under consideration with real systems, in many cases of practical interest the interaction parameter by which the "expansion" takes place proves to be not small. Difficulties of this type exist in the problem of electron gas in metals, in the theory of a non-ideal Bose gas, in the theory of fluids, in studying situations in the area of phase transitions or close to critical points, etc.
  
 
Leaving aside these problems of a formal nature, while bearing in mind that for certain particular cases a small parameter does exist, one sees that in developing the theory of perturbations with respect to this parameter, difficulties arise which are peculiar to many-body systems, and which become apparent when divergences emerge in the terms taking account of the many-particle correlations. Their emergence is caused by the fact that a simple series with integer powers of the "small" parameter being used, starting from a particular degree, does not reflect the real dependence of the required characteristic of the system on this parameter. These difficulties, being purely mathematical, are in principle surmountable. In order to detect the amendments, which "non-analytically" depend on the small parameter, methods have been worked out which are fundamentally related to the study of the classes of perturbations with respect to the interaction parameter and which are most essential for every concrete case of a formal series in perturbation theory.
 
Leaving aside these problems of a formal nature, while bearing in mind that for certain particular cases a small parameter does exist, one sees that in developing the theory of perturbations with respect to this parameter, difficulties arise which are peculiar to many-body systems, and which become apparent when divergences emerge in the terms taking account of the many-particle correlations. Their emergence is caused by the fact that a simple series with integer powers of the "small" parameter being used, starting from a particular degree, does not reflect the real dependence of the required characteristic of the system on this parameter. These difficulties, being purely mathematical, are in principle surmountable. In order to detect the amendments, which "non-analytically" depend on the small parameter, methods have been worked out which are fundamentally related to the study of the classes of perturbations with respect to the interaction parameter and which are most essential for every concrete case of a formal series in perturbation theory.
  
In problems of statistical mechanics of classical systems with direct interaction between the particles, research in most cases is based on Bogolyubov's method {{Cite|B}} (see [[Bogolyubov chain of equations|Bogolyubov chain of equations]]) or on Mayer's method {{Cite|F}}. In the first case, based on research of a chain of integro-differential equations for one-, two-, etc., particle distribution functions, the basic procedure for making an approximation is to cut off the chain. The higher-ranked distribution function in the integral part of the last equation in the chain is expressed using a combination of distribution functions of lower order. The procedure for such an expansion follows from an analysis of the physical singularities of the system and of the small parameter which is typical in the given situation. Thus, in systems of short-range forces of interaction, this parameter is the cube of the ratio of the radius of interaction to the mean distance between the particles (the foundation of the so-called virial expansion, or expansion by inverse degrees of the specific volume <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087440/s08744026.png" />); in systems with Coulomb interaction, the parameter is related to the ratio of the mean energy of the Coulomb interaction of the particles to the mean of their kinetic energy, etc. Once the chain is cut off, the mathematical problem reduces to the solution of a system of equations which are non-linear in their integral part (or of one non-linear integral equation) relative to distribution functions subject to the normalization and weakening of correlations (the decomposition of many-particle functions, given a "separation" of their spatial arguments, into a product of functions of fewer particles), which play a part in particular boundary conditions.
+
In problems of statistical mechanics of classical systems with direct interaction between the particles, research in most cases is based on Bogolyubov's method {{Cite|B}} (see [[Bogolyubov chain of equations|Bogolyubov chain of equations]]) or on Mayer's method {{Cite|F}}. In the first case, based on research of a chain of integro-differential equations for one-, two-, etc., particle distribution functions, the basic procedure for making an approximation is to cut off the chain. The higher-ranked distribution function in the integral part of the last equation in the chain is expressed using a combination of distribution functions of lower order. The procedure for such an expansion follows from an analysis of the physical singularities of the system and of the small parameter which is typical in the given situation. Thus, in systems of short-range forces of interaction, this parameter is the cube of the ratio of the radius of interaction to the mean distance between the particles (the foundation of the so-called virial expansion, or expansion by inverse degrees of the specific volume $  v = V/N $);  
 +
in systems with Coulomb interaction, the parameter is related to the ratio of the mean energy of the Coulomb interaction of the particles to the mean of their kinetic energy, etc. Once the chain is cut off, the mathematical problem reduces to the solution of a system of equations which are non-linear in their integral part (or of one non-linear integral equation) relative to distribution functions subject to the normalization and weakening of correlations (the decomposition of many-particle functions, given a "separation" of their spatial arguments, into a product of functions of fewer particles), which play a part in particular boundary conditions.
  
 
The Mayer method (see {{Cite|F}}) for systems with short-range interaction potential
 
The Mayer method (see {{Cite|F}}) for systems with short-range interaction potential
  
<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/s/s087/s087440/s08744027.png" /></td> </tr></table>
+
$$
 +
\Phi _ {ij}  = \Phi ( | \mathbf r _ {i} - \mathbf r _ {j} | ),
 +
$$
 +
 
 +
which has infinite repulsion over small distances, is based on the representation of the classical integral of states,  $  Z $,
 +
in the form
 +
 
 +
$$
  
which has infinite repulsion over small distances, is based on the representation of the classical integral of states, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087440/s08744028.png" />, in the form
+
\frac{Z}{Z _  \mathop{\rm ID} }
 +
  = 
 +
\frac{1}{V  ^ {N} }
 +
\int\limits _ { ( } V) d \mathbf r _ {1} \dots
 +
d \mathbf r _ {N} \prod _ { i\leq  } j< j\leq  N ( 1 + f _ {ij} ),
 +
$$
  
<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/s/s087/s087440/s08744029.png" /></td> </tr></table>
+
where the Mayer function  $  f _ {ij} = \mathop{\rm exp} (- \Phi _ {ij} / \theta )- 1 $.  
 +
For the specific free energy
  
where the Mayer function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087440/s08744030.png" />. For the specific free energy
+
$$
  
<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/s/s087/s087440/s08744031.png" /></td> </tr></table>
+
\frac{F}{N}
 +
  = - \theta  \mathop{\rm ln}  Z  ^ {1/N}
 +
$$
  
and for other characteristics of the system, virial expansions are obtained with coefficients expressed through integrals over products of an increasing number of functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087440/s08744032.png" />, pairwise related by one of their two arguments <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087440/s08744033.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087440/s08744034.png" /> (for real models of the potential <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087440/s08744035.png" />, these integrals are calculated using numerical methods). The mathematical problems which arise when a virial expansion is used are problems of working out methods for summing these series (even if only partially), so as to approach the domain of a phase transition from gas to liquid or a critical domain, as well as general problems of the convergence of the expansion itself.
+
and for other characteristics of the system, virial expansions are obtained with coefficients expressed through integrals over products of an increasing number of functions $  f _ {ij} $,  
 +
pairwise related by one of their two arguments $  \mathbf r _ {j} $
 +
or $  \mathbf r _ {i} $(
 +
for real models of the potential $  \Phi _ {ij} $,  
 +
these integrals are calculated using numerical methods). The mathematical problems which arise when a virial expansion is used are problems of working out methods for summing these series (even if only partially), so as to approach the domain of a phase transition from gas to liquid or a critical domain, as well as general problems of the convergence of the expansion itself.
  
 
In problems of statistical mechanics of non-ideal quantum systems, in which the operators of the dynamic variables are expressed in terms of quantum creation and annihilation operators, methods initially developed in quantum field theory have proved to be effective. The most common are zero-temperature many-time techniques and the method of finite-temperature two-time Green functions. In the first two approaches {{Cite|HCB}}, the formal series of perturbation theory of the mutual interaction between the particles, or between the particles and any field, are in a way analogous to the corresponding expansions in quantum field theory (in finite-temperature techniques the role of "time" is played by an imaginary inverse temperature). Consequently, considerable progress has been made in these formalisms in the area of diagram representations of series of perturbation theory, which reduce to the study not of the initial particles, but of quasi-particles with renormalized energy and with finite damping which interact through a renormalized effective interaction (of vertex parts), etc. A system of integral equations for a Green function of quasi-particles and of vertex parts or effective interaction is made up in such a way, as a rule, that its solution would be equivalent to the calculation of a finite sequence of terms of the formal series of perturbation theory, chosen according to specific principles (for example, for a given concrete system of the strongest in each of the orders in perturbation theory).
 
In problems of statistical mechanics of non-ideal quantum systems, in which the operators of the dynamic variables are expressed in terms of quantum creation and annihilation operators, methods initially developed in quantum field theory have proved to be effective. The most common are zero-temperature many-time techniques and the method of finite-temperature two-time Green functions. In the first two approaches {{Cite|HCB}}, the formal series of perturbation theory of the mutual interaction between the particles, or between the particles and any field, are in a way analogous to the corresponding expansions in quantum field theory (in finite-temperature techniques the role of "time" is played by an imaginary inverse temperature). Consequently, considerable progress has been made in these formalisms in the area of diagram representations of series of perturbation theory, which reduce to the study not of the initial particles, but of quasi-particles with renormalized energy and with finite damping which interact through a renormalized effective interaction (of vertex parts), etc. A system of integral equations for a Green function of quasi-particles and of vertex parts or effective interaction is made up in such a way, as a rule, that its solution would be equivalent to the calculation of a finite sequence of terms of the formal series of perturbation theory, chosen according to specific principles (for example, for a given concrete system of the strongest in each of the orders in perturbation theory).
Line 39: Line 103:
 
In a finite-temperature two-time formalism, {{Cite|B}}, {{Cite|AGD}}–{{Cite|Z}}, similar problems arise when considering a Bogolyubov-type chain of linked equations for Green functions with an increasing number of "particles" , and when making up a closed system of integral equations (generally non-linear) resulting from the realization of the expansion procedure. Mathematical problems related to the study of these equations are, basically, restricted either by the search for specific asymptotics of their solutions, which are guaranteed in the approximate sense, or for the class of all diagrams, or for an expansion method.
 
In a finite-temperature two-time formalism, {{Cite|B}}, {{Cite|AGD}}–{{Cite|Z}}, similar problems arise when considering a Bogolyubov-type chain of linked equations for Green functions with an increasing number of "particles" , and when making up a closed system of integral equations (generally non-linear) resulting from the realization of the expansion procedure. Mathematical problems related to the study of these equations are, basically, restricted either by the search for specific asymptotics of their solutions, which are guaranteed in the approximate sense, or for the class of all diagrams, or for an expansion method.
  
These methods are used in studies on such systems as electron gases with Coulomb interaction (the calculation of only the most important contributions in each order according to perturbation theory is equivalent to the calculation of the screening of the initial interaction), low-density systems with short-range forces of interaction (the first stage in summing or an equivalent operation leads to the replacement of the initial interaction by an effective one, which is defined by solving an equation similar to the quantum mechanical equation for a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087440/s08744036.png" />-scattering matrix), an electron-photon system, a Heisenberg system of magnets, etc.
+
These methods are used in studies on such systems as electron gases with Coulomb interaction (the calculation of only the most important contributions in each order according to perturbation theory is equivalent to the calculation of the screening of the initial interaction), low-density systems with short-range forces of interaction (the first stage in summing or an equivalent operation leads to the replacement of the initial interaction by an effective one, which is defined by solving an equation similar to the quantum mechanical equation for a $  t $-
 +
scattering matrix), an electron-photon system, a Heisenberg system of magnets, etc.
  
A number of problems of statistical mechanics permit an asymptotically-accurate examination (in the limiting statistical sense <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087440/s08744037.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087440/s08744038.png" />); such are systems with factorized four-fold interaction, which generalize a model superconductive system of Bardeen–Cooper–Schrieffer type, and others. This technique (see ) is related to the construction of an approximating Hamiltonian which permits an exact solution, and to the subsequent proof of the asymptotic proximity of the results obtained by it to those which correspond to the initial system.
+
A number of problems of statistical mechanics permit an asymptotically-accurate examination (in the limiting statistical sense $  N \rightarrow \infty $,
 +
$  N/V = \textrm{ const } $);  
 +
such are systems with factorized four-fold interaction, which generalize a model superconductive system of Bardeen–Cooper–Schrieffer type, and others. This technique (see ) is related to the construction of an approximating Hamiltonian which permits an exact solution, and to the subsequent proof of the asymptotic proximity of the results obtained by it to those which correspond to the initial system.
  
 
====References====
 
====References====

Latest revision as of 08:23, 6 June 2020


2020 Mathematics Subject Classification: Primary: 82-01 [MSN][ZBL]

Problems that arise from the use of mathematical tools in statistical physics. Mathematical problems in statistical physics are basically related to two directions of the statistical theory: to equilibrium statistical mechanics, the problems of which are related to the development of methods for calculating averages using an equilibrium Gibbs distribution (see Statistical mechanics, mathematical problems in), and to non-equilibrium statistical physics, the difficulties of which lie in obtaining evolution equations for distribution functions that characterize the system at various stages of its development, and in solving them subsequently (see, for example, Kinetic equation; Brownian motion).

The problems of the mathematical methods of equilibrium statistical mechanics include the calculation of averages of the following types (when using a canonical Gibbs distribution):

$$ Z = \mathop{\rm Sp} e ^ {- H/ \theta } ,\ \ \langle A\rangle = \frac{1}{Z} \mathop{\rm Sp} Ae ^ {- H/ \theta } , $$

$$ \langle BA( t)\rangle = - \frac{1}{Z} \mathop{\rm Sp} BA( t) e ^ {- H/ \theta } , $$

etc., where $ H $ is the Hamiltonian of the system, $ \theta = kT $ is the temperature, $ A( t) $ is an operator in the Heisenberg representation, and $ Z $ is the partition function related to the free energy of the system by the relation $ F = - \theta \mathop{\rm ln} Z $( when a grand canonical distribution is used, instead of the operator $ H $, the operator $ H- \mu N $ figures in the process, where $ \mu $ is the chemical potential and $ N $ is the number of particles; instead of $ Z $ there is the grand partition function (cf. Statistical sum); instead of $ F $, the thermodynamic potential $ \Omega = F- \mu N $, etc.).

The calculation of the time-independent averages $ Z $ and $ \langle A\rangle $ solves the problems of the equilibrium theory (all equilibrium characteristics, such as internal energy, heat capacity, state equations, static response, etc., are defined by methods of thermodynamics based on the free energy $ F $), as well as of fluctuation theory; the calculation of quantities of the type $ \langle BA( t)\rangle $ enables one to study a whole series of dynamic (frequency-dependent) response functions of the system, transport coefficients, etc., as well as properties of the simplest perturbations of the system (generally when $ \theta \neq 0 $), their energy, damping, etc.

These averages can be calculated completely only in exceptional cases: for ideal systems and for certain special models. These calculations can serve as a zero approximation in further research. The most-frequently studied models of non-ideal statistical systems are systems with direct interaction between the particles (interaction of a finite radius, Coulomb interaction and others) or interaction between the particles and a photon-type field (in a solid body describing a thermal motion of the crystalline lattice), discrete Ising-type systems, systems of Heisenberg magnets with interaction between the nodes and with a finite action radius, and combinations of similar types of interactions. In a representation of second quantization, the Hamiltonian $ H = H _ {0} + H _ {1} $ is expressed through quadratic combinations of creation and annihilation operators (if the part $ H _ {0} $ is without interaction), through a four-form (if $ H _ {1} $ includes the direct interaction of particles), through a three-form of the type used in quantum electrodynamics (electron-photon interaction in $ H _ {1} $), etc.

Approximate methods for calculating these averages are based in most cases on the addition of corrections to the results obtained for the case $ H = H _ {0} $( if the zero approximation really is such a case in the physical sense), which take the form of a straightforward or modified expansion in powers of the parameter defining the strength of the interaction in the Hamiltonian $ H _ {1} $. When comparing the formal model under consideration with real systems, in many cases of practical interest the interaction parameter by which the "expansion" takes place proves to be not small. Difficulties of this type exist in the problem of electron gas in metals, in the theory of a non-ideal Bose gas, in the theory of fluids, in studying situations in the area of phase transitions or close to critical points, etc.

Leaving aside these problems of a formal nature, while bearing in mind that for certain particular cases a small parameter does exist, one sees that in developing the theory of perturbations with respect to this parameter, difficulties arise which are peculiar to many-body systems, and which become apparent when divergences emerge in the terms taking account of the many-particle correlations. Their emergence is caused by the fact that a simple series with integer powers of the "small" parameter being used, starting from a particular degree, does not reflect the real dependence of the required characteristic of the system on this parameter. These difficulties, being purely mathematical, are in principle surmountable. In order to detect the amendments, which "non-analytically" depend on the small parameter, methods have been worked out which are fundamentally related to the study of the classes of perturbations with respect to the interaction parameter and which are most essential for every concrete case of a formal series in perturbation theory.

In problems of statistical mechanics of classical systems with direct interaction between the particles, research in most cases is based on Bogolyubov's method [B] (see Bogolyubov chain of equations) or on Mayer's method [F]. In the first case, based on research of a chain of integro-differential equations for one-, two-, etc., particle distribution functions, the basic procedure for making an approximation is to cut off the chain. The higher-ranked distribution function in the integral part of the last equation in the chain is expressed using a combination of distribution functions of lower order. The procedure for such an expansion follows from an analysis of the physical singularities of the system and of the small parameter which is typical in the given situation. Thus, in systems of short-range forces of interaction, this parameter is the cube of the ratio of the radius of interaction to the mean distance between the particles (the foundation of the so-called virial expansion, or expansion by inverse degrees of the specific volume $ v = V/N $); in systems with Coulomb interaction, the parameter is related to the ratio of the mean energy of the Coulomb interaction of the particles to the mean of their kinetic energy, etc. Once the chain is cut off, the mathematical problem reduces to the solution of a system of equations which are non-linear in their integral part (or of one non-linear integral equation) relative to distribution functions subject to the normalization and weakening of correlations (the decomposition of many-particle functions, given a "separation" of their spatial arguments, into a product of functions of fewer particles), which play a part in particular boundary conditions.

The Mayer method (see [F]) for systems with short-range interaction potential

$$ \Phi _ {ij} = \Phi ( | \mathbf r _ {i} - \mathbf r _ {j} | ), $$

which has infinite repulsion over small distances, is based on the representation of the classical integral of states, $ Z $, in the form

$$ \frac{Z}{Z _ \mathop{\rm ID} } = \frac{1}{V ^ {N} } \int\limits _ { ( } V) d \mathbf r _ {1} \dots d \mathbf r _ {N} \prod _ { i\leq } j< j\leq N ( 1 + f _ {ij} ), $$

where the Mayer function $ f _ {ij} = \mathop{\rm exp} (- \Phi _ {ij} / \theta )- 1 $. For the specific free energy

$$ \frac{F}{N} = - \theta \mathop{\rm ln} Z ^ {1/N} $$

and for other characteristics of the system, virial expansions are obtained with coefficients expressed through integrals over products of an increasing number of functions $ f _ {ij} $, pairwise related by one of their two arguments $ \mathbf r _ {j} $ or $ \mathbf r _ {i} $( for real models of the potential $ \Phi _ {ij} $, these integrals are calculated using numerical methods). The mathematical problems which arise when a virial expansion is used are problems of working out methods for summing these series (even if only partially), so as to approach the domain of a phase transition from gas to liquid or a critical domain, as well as general problems of the convergence of the expansion itself.

In problems of statistical mechanics of non-ideal quantum systems, in which the operators of the dynamic variables are expressed in terms of quantum creation and annihilation operators, methods initially developed in quantum field theory have proved to be effective. The most common are zero-temperature many-time techniques and the method of finite-temperature two-time Green functions. In the first two approaches [HCB], the formal series of perturbation theory of the mutual interaction between the particles, or between the particles and any field, are in a way analogous to the corresponding expansions in quantum field theory (in finite-temperature techniques the role of "time" is played by an imaginary inverse temperature). Consequently, considerable progress has been made in these formalisms in the area of diagram representations of series of perturbation theory, which reduce to the study not of the initial particles, but of quasi-particles with renormalized energy and with finite damping which interact through a renormalized effective interaction (of vertex parts), etc. A system of integral equations for a Green function of quasi-particles and of vertex parts or effective interaction is made up in such a way, as a rule, that its solution would be equivalent to the calculation of a finite sequence of terms of the formal series of perturbation theory, chosen according to specific principles (for example, for a given concrete system of the strongest in each of the orders in perturbation theory).

In a finite-temperature two-time formalism, [B], [AGD][Z], similar problems arise when considering a Bogolyubov-type chain of linked equations for Green functions with an increasing number of "particles" , and when making up a closed system of integral equations (generally non-linear) resulting from the realization of the expansion procedure. Mathematical problems related to the study of these equations are, basically, restricted either by the search for specific asymptotics of their solutions, which are guaranteed in the approximate sense, or for the class of all diagrams, or for an expansion method.

These methods are used in studies on such systems as electron gases with Coulomb interaction (the calculation of only the most important contributions in each order according to perturbation theory is equivalent to the calculation of the screening of the initial interaction), low-density systems with short-range forces of interaction (the first stage in summing or an equivalent operation leads to the replacement of the initial interaction by an effective one, which is defined by solving an equation similar to the quantum mechanical equation for a $ t $- scattering matrix), an electron-photon system, a Heisenberg system of magnets, etc.

A number of problems of statistical mechanics permit an asymptotically-accurate examination (in the limiting statistical sense $ N \rightarrow \infty $, $ N/V = \textrm{ const } $); such are systems with factorized four-fold interaction, which generalize a model superconductive system of Bardeen–Cooper–Schrieffer type, and others. This technique (see ) is related to the construction of an approximating Hamiltonian which permits an exact solution, and to the subsequent proof of the asymptotic proximity of the results obtained by it to those which correspond to the initial system.

References

[B] N.N. Bogolyubov, "Selected works" , 1 , Kiev (1969) (In Russian) MR1321817 MR1228446 MR1098017 MR1098016 MR0871873 MR0804234 MR0555732 MR0414297 Zbl 0226.01021
[F] G.W. Ford, "Lectures in statistical mechanics" , Amer. Math. Soc. (1963) MR0151255 Zbl 0111.43802
[HCB] J.O. Hirschfelder, C.F. Curtiss, R.B. Bird, "Molecular theory of gases and liquids" , Wiley (1954) Zbl 0057.23402
[AGD] A.A. Abrikosov, L.P. Gor'kov, I.E. Dzyaloshinskii, "Methods of quantum field theory in statistical physics" , Prentice-Hall (1963) (Translated from Russian) MR0157687 Zbl 0135.45003
[T] S.V. Tyablikov, "Methods of the quantum theory of magnetism" , Plenum (1967) (Translated from Russian) MR0398393
[Z] D.N. Zubarev, "Double-time Green functions in statistical physics" Soviet Physics Uspekhi , 3 (1960) pp. 320–345 Uspekhi Fiz. Nauk , 71 : 1 (1960) pp. 71–116 MR0122068
[Bjr] N.N. Bogolyubov jr., "A method for studying model Hamiltonians" , Pergamon (1972) (Translated from Russian) MR0406286
How to Cite This Entry:
Statistical physics, mathematical problems in. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Statistical_physics,_mathematical_problems_in&oldid=48817
This article was adapted from an original article by I.A. Kvasnikov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article