en>Gilliam: Reverted edits by 193.1.34.50 (talk) to last version by ML5

2014-12-16T20:59:41Z

Reverted edits by 193.1.34.50 (talk) to last version by ML5

en>Helpful Pixie Bot: ISBNs (Build KE)

2012-05-11T03:44:07Z

ISBNs (Build KE)

New page

{{Orphan|date=March 2010}}

In [[statistical mechanics]] of continuous systems, a potential for a many-body system is called '''H-stable''' (or simply '''stable''') if the [[potential energy]] per particle is bounded below by a constant that is independent of the total number of particles. In many circumstances, if a potential is not H-stable, is not possible to define a [[grand canonical ensemble|grand canonical]] partition function in finite volume, because of ''catastrophic configurations'' with infinite particles located in a finite space.

==Classical statistical mechanics==
===Definition===
Consider a system of particles in positions <math>x_1, x_2,\ldots \in R^\nu</math>; the ''interaction'' or ''potential'' between a particle in position <math>x_i</math> and a particle in position <math>x_j</math> is
:<math>\phi(x_i-x_j) \, </math>
where <math>\phi(x)</math> is a real, even (possibly unbounded) function. Then <math>\phi(x)</math> is H-stable if there exists <math>B>0</math> such that, for any <math>n\ge1</math> and any <math>x_1, x_2,\ldots, x_n\in R^\nu</math>,
:<math>V_n(x_1, x_2,\ldots x_n):=\sum_{i<j=1}^n \phi(x_i-x_j)\ge-Bn\, </math>

===Applications===
* If <math>\phi(0)<\infty</math> and, for every <math>n\ge 1</math> and every <math>x_1, x_2,\ldots x_n\in R^\nu</math>, it holds
::<math>\sum_{i,j=1}^n \phi(x_i-x_j)\ge0
</math>
:then the potential <math>\phi(x)</math> is stable (with the constant <math>B</math> given by <math>\frac{\phi(0)}{2}</math>). This condition applies for example to potentials that are: a) positive functions; b) [[positive-definite function]]s.

* If the potential <math>\phi(x)</math> is stable, then, for any bounded domain <math>\Lambda</math>, any <math>\beta>0</math> and <math>z>0</math>, the series
::<math>
\sum_{n\ge 1}\frac{z^n}{n!}
\int_{\Lambda^n}\!dx_1\cdots dx_n\;
\exp[-\beta V_n(x_1, x_2,\ldots x_n)]
</math>
: is convergent. In fact, for bounded, upper-semi-continuous potentials the hypothesis is not only sufficient, but also necessary!

*The [[grand canonical ensemble|grand canonical]] partition function, in finite volume, is
::<math> \Xi(\beta, z, \Lambda):=1+\sum_{n\ge 1}\frac{z^n}{n!}
\int_{\Lambda^n}\!dx_1\cdots dx_n\;
\exp[-\beta V_n(x_1, x_2,\ldots x_n)]
</math>
:hence the H-stability is a sufficient condition for the partition function to exists ''in finite volume''.

* H-stability doesn't necessary imply the existence of the ''infinite volume'' pressure. For example, in a [[Coulomb system]] (in dimension three) the potential is
::<math>
\phi(x)=\frac{1}{4\pi|x|}
</math>
:and, if the charges of all the particles are equal, then the potential energy is
::<math>
V_n(x_1,\ldots, x_n)=\sum_{i<j} \phi(x_i-x_j)
</math>
: and the system is H-stable with <math>B=0</math>; but the thermodynamic limit doesn't exist, because the potential is not [[tempered potential|tempered]].

* If the potential is not bounded, H-stability is not a necessary condition for the existence of the [[grand canonical ensemble|grand canonical]] partition function in finite volume. For example, in the case of Yukawa interaction in two dimensions,
::<math>
\phi(x)\sim-\frac{1}{2\pi}\ln{m|x|} \qquad
{\rm for}\quad x\sim 0
</math>
:if the particles can have charges with different signs, the potential energy is
::<math>
H_n(\underline q, \underline x)=\sum_{i<j} q_i q_j\phi(x_i-x_j)
</math>
:where <math>q_j</math> is the charge of the particle <math>j</math>. <math>H_n(\underline q, \underline x)</math> in not bounded from below: for example, when <math>n=2</math> and <math>q_1q_2=1</math>, the two body potential has infimum
::<math>
\inf_{x_1, x_2} \phi(x_1-x_2)=-\infty
</math>
:Yet, Frohlich<ref>{{cite journal|last=Frohlich|first=J.|title=Classical and quantum statistical mechanics in one and two dimensions: Two-component Yukawa and Coulomb systems|journal=Comm.Math.Phys.|year=1976|volume=47}}</ref> proved the existence of the thermodynamics limit for <math>\beta< 4\pi</math>.

==Quantum statistical mechanics==
The notion of H-stability in [[quantum mechanics]] is more subtle.
While in the classical case the kinetic part of the Hamiltonian is not important as it can be zero independently of the position of the particles, in the quantum case the kinetic term plays an important role in the lower bound for the total energy because of the [[uncertainty principle]]. (In fact, stability of matter was the historical reason for introducing such a principle in mechanics.)
The definition of stability is :

: <math>\exists B: \frac{E_0}{N} > -B, \, </math>

where ''E''<sub>0</sub> is the [[ground state]] energy.

Classical H-stability implies quantum H-stability, but the converse is false.

The criterion is especially useful in [[statistical mechanics]], where H-stability is necessary to the existence of [[thermodynamics]], i.e. if a system is not H-stable, the [[thermodynamic limit]] does not exist.

==References==
{{Reflist}}
* ''J.L. Lebowitz'' and [[Elliott H. Lieb]] [http://astrophysics.fic.uni.lodz.pl/100yrs/pdf/06/078.pdf] (Physical Review Letters, 1969)

[[Category:Statistical mechanics]]

Condition of average - Revision history

en>Gilliam: Reverted edits by 193.1.34.50 (talk) to last version by ML5

en>Helpful Pixie Bot: ISBNs (Build KE)