Abstract:In this paper the problem is posed of the formulation of the so-called "ab initio" approach to the statistical description of the Boltzmann-Sinai N-body classical dynamical system (CDS) formed by identical smooth hard spheres. This amounts to introducing a suitably-generalized version of the axioms of Classical Statistical Mechanics. The latter involve a proper definition of the functional setting for the N-body probability density function (PDF), so that it includes also the case of the deterministic N-body PDF. In connection with this issue, a further development concerns the introduction of modified collision boundary conditions which differ from the usual ones adopted in previous literature. Both features are proved to be consistent with the validity of exact H-theorems for the N-body and 1-body PDFs respectively. Consequences of the axiomatic approach which concern the conditions of validity of the Boltzmann kinetic equation and the Boltzmann H-theorem are investigated. In particular, the role of the modified boundary conditions is discussed. It is shown that both theorems fail in the case in which the N-body PDF is identified with the deterministic PDF. Finally, the issue of applicability of the Zermelo and Loschmidt paradoxes to the "ab initio" approach presented here is discussed.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the following aspects:
1. **Basic problems of statistical description**: The paper proposes an "ab initio" statistical description method for the Boltzmann - Sinai N - body classical dynamical system (CDS). This involves introducing a broader axiomatic system of classical statistical mechanics, especially the proper definition of the functional setting of the N - body probability density function (PDF) to include deterministic N - body PDFs.
2. **Modification of collision boundary conditions**: The paper introduces modified collision boundary conditions that are different from those commonly used in previous literature. These new boundary conditions are consistent with the conditions for the establishment of the exact H - theorem and are applicable to N - body and single - body PDFs.
3. **Validity conditions of the Boltzmann equation and the H - theorem**: The paper explores the validity conditions of the Boltzmann equation of motion and the Boltzmann H - theorem based on the above - mentioned axiomatic method. In particular, it discusses the role of the modified boundary conditions in these theories and points out that when the N - body PDF is identified as a deterministic PDF, both theorems will fail.
4. **Application of the Zermelo and Loschmidt paradoxes**: The paper also discusses whether the Zermelo and Loschmidt paradoxes are applicable to the "ab initio" method proposed here. These paradoxes are related to microscopic reversibility and the Poincaré recurrence theorem and are of great significance for understanding the basic principles of statistical mechanics.
### Specific problems and solutions
- **Definition of the functional class**:
- The paper proves that the functional class \(\{\rho^{(N)}(t)\}\) can be uniquely defined to satisfy the statistical mechanics axioms for all \(\rho^{(N)}(x,t) \in \{\rho^{(N)}(t)\}\), including distributions that may violate the PDF conservation boundary conditions. In particular, the functional class must contain a partially deterministic PDF form:
\[
\rho^{(N)}(x,t)=\delta(f(x,t)) w^{(N)}(x,t) \equiv \rho_d^{(N)}(x,t)
\]
where \(\delta(f(x,t))\) is the multi - dimensional Dirac delta function, \(f(x,t)\) is a suitable smooth real vector function, and \(w^{(N)}(x,t)\) is a strictly positive, smooth and summable function.
- **Modified collision boundary conditions (MCBC)**:
- Based on Axiom #1, the paper proves that for any \(\rho^{(N)}(x,t) \in \{\rho^{(N)}(t)\}\), the modified Lagrangian boundary condition (16) must be applicable:
\[
\rho^{(N)+}(x^{+}(t_i), t_i)=\rho^{(N)-}(x^{+}(t_i), t_i)
\]
If \(\rho^{(N)}(x(t), t)\) is left - continuous at all collision times \(t_i\), the above equation can be replaced by:
\[
\rho^{(N)+}(x^{+}(t_i), t_i)=\rho^{(N)}(x^{+}(t_i), t_i)
\]
The corresponding Euler - form boundary condition is:
\[
\rho^{(N)+}(x^{+}, t)=\rho^{(N)}(x^{+}, t)
\]
- **Probability conservation**:
- The family \(K(\Gamma^N)\) can be uniquely defined to satisfy the probability conservation law of Axiom #2, that is, for all \(A(t) \in K(\Gamma^N)\), the probability conservation law holds:
\[
P\{A(t)\}=P\{A(t_0)\}
\]
- **H - theorem**:
- For any time \(t \in I\), any N - body PDF \(\rho^{(N)}(x,t) \in \{\rho^{(N)}(t)\}\) satisfies the constant H - theorem: