Convexity in the Theory of Lattice Gases (Princeton Legacy Library, 1729) - Softcover
Buch 13 von 32: Princeton Series in Physics
Inhaltsangabe
In this book, Robert Israel considers classical and quantum lattice systems in terms of equilibrium statistical mechanics. He is especially concerned with the characterization of translation-invariant equilibrium states by a variational principle and the use of convexity in studying these states.
Arthur Wightman's Introduction gives a general and historical perspective on convexity in statistical mechanics and thermodynamics. Professor Israel then reviews the general framework of the theory of lattice gases. In addition to presenting new and more direct proofs of some known results, he uses a version of a theorem by Bishop and Phelps to obtain existence results for phase transitions. Furthermore, he shows how the Gibbs Phase Rule and the existence of a wide variety of phase transitions follow from the general framework and the theory of convex functions. While the behavior of some of these phase transitions is very "pathological," others exhibit more "reasonable" behavior. As an example, the author considers the isotropic Heisenberg model. Formulating a version of the Gibbs Phase Rule using Hausdorff dimension, he shows that the finite dimensional subspaces satisfying this phase rule are generic.
Originally published in 1979.
The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Auszug. © Genehmigter Nachdruck. Alle Rechte vorbehalten.
Convexity in the Theory of Lattice Gases
By Robert B. IsraelPRINCETON UNIVERSITY PRESS
Copyright © 1979 Princeton University Press
All rights reserved.
ISBN: 978-0-691-08216-5All rights reserved.
Contents
INTRODUCTION, ix,
I. INTERACTIONS,
II. TANGENT FUNCTIONALS AND THE VARIATIONAL PRINCIPLE,
III. DLR EQUATIONS AND KMS CONDITIONS,
IV. DECOMPOSITION OF STATES,
V. APPROXIMATION BY TANGENT FUNCTIONALS: EXISTENCE OF PHASE TRANSITIONS,
VI. THE GIBBS PHASE RULE,
APPENDIX A. Hausdorff Measure and Dimension, 143,
APPENDIX B. Classical Hard-Core Continuous Systems, 153,
BIBLIOGRAPHY, 163,
INDEX, 166,
CHAPTER 1
INTERACTIONS
1.1. Classical lattice systems
The Ising model is a simple example of a statistical-mechanical system. At each site of the lattice Zv we assume there is a "spin" which can be either "up" (+1) or "down" (-1). Thus for each subset Λ of Zv We have the space ΩΛ = {-1,+ 1}Λ of configurations in Λ. With the product topology this forms a compact metric space, even if Λ is infinite. The full configuration space [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] will he denoted simply by Ω, and σi(ω) will denote the spin at site i ε Zv in the configuration ω. The Hamiltonian for the system in a finite subset Λ of Zv will be some real-valued function HΛ on ΩΛ. At inverse temperature β we obtain the partition function (in a canonical ensemble)
(1) [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]
and thermal averages
(2) [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]
for functions A on ΩΛ.
For more general classical lattice systems, we will allow the "spin" at each site to vary over a compact metric space Ω0. The configuration space corresponding to Λ [subset] Zv is then ΩΛ = (Ω0)Λ, again with the product topology. Again ΩZv will be denoted byΩ. The Hamiltonian for a finite subset Λ of Zv will be a continuous real-valued function HΛ on ΩΛ. To obtain a partition function and thermal averages we need an "a priori" measure to take the place of the summations in (1) and (2). It will be convenient to use a probability measure for this purpose. This measure should describe the state of a noninteracting system, and so the spins at different sites should be independent and identically distributed under this measure. Thus we will take a probability measure μ0 on Ω0, and the a priori measure for Λ [subset] Zv will be the product measure μΛ0 on ΩΛ; expectation values under μΛ0 will frequently be denoted 0,Λ Whenever there is no danger of confusion we will simply use μ0 and 0 in place of μΛ0 and 0,Λ. We also use the natural maps iXY:ΩX -> ΩY (for Y [subset] X [subset] Zv) without warning; thus we will tacitly identify a function F on ΩY with the function F [??] iXY on ΩX. We will always assume that μ0 is supported on all of Ω0 i.e. every non-empty open subset has nonzero μ0-measure.
In many cases the choice of μ0 will be suggested by some symmetry of Ω0. For example, if Ω0 is a finite set we will take μ0 to be normalized counting measure; in the classical Heisenberg model Ω0 is a sphere, so we will take μ0 to be normalized surface measure. In other cases the choice will not be so obvious; we venture no opinion on how Nature chooses an a priori measure.
The partition function and thermal averages for our system in a finite subset Λ of Zv are now
(3) [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]
and
[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]
Note that these are analytic functions of β and of any parameter entering linearly in the Hamiltonian. Thus the finite system has no phase transitions; to find such interesting phenomena we must pass to an infinite-volume limit. From the physical point of view this limit should provide a description of the properties of the system "in bulk," removing all surface effects.
Out Hamiltonians will arise from interactions. For the Ising model an interaction is usually taken as a real function φ on finite nonempty subsets of Zv, and the associated Hamiltonians are
(5) [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]
Now instead of speaking of spins we could use a different formulation of the same model: the "lattice gas." Here the configuration space for a subset Λ of Zv is taken to be the set P(Λ)of subsets of Λ. This can be identified with ΩΛ by [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. In the lattice gas formulation the interaction is again a real function φ on finite non-empty subsets of Zv, but the Hamiltonian in a finite subset Λ of Zv is the function on P(Λ) given by
(6) [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII].
Under the identification of P(Λ) with ΩΛ this becomes the function on ΩΛ given by
(7) [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]
where [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]
We will use a more general formulation which includes both spin and lattice gas interactions as special cases. This will have several advantages:
i) it can be applied to an arbitrary Ω0 and μ0 where there are no obvious choices to replace the σX or ρX above;
ii) it provides a simple way of expressing certain interactions we will use in Chapters II and III;
iii) it provides a space of interactions with a norm naturally connected to the norm topology on states (probability measures on the configuration space).
In our formulation, an interaction Φ assigns to each nonempty finite subset X of Zv a real-valued continuous function Φ(X) onΩX. We will always assume our interactions are translation-invariant, i.e., they satisfy
[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]
where τi is the natural map from the space C(ΩX) of continuous functions on ΩX to C(ΩX+i). The Hamiltonian for a finite subset Λ of Zv is then the function HΦΛ on ΩΛ given by
(8) [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]
In the Ising model, with Ω0 = {-1,+1}, a "spin language" interaction associated to a Hamiltonian as in (5) is identified with one of our interactions having each Φ(X) a real multiple of σX, while for a "lattice gas language" interaction as in (7) we would take each Φ(X) to be a multiple of ρX.
An interaction Φ has finite range if Φ(X) = 0 for all X of sufficiently large diameter. The linear space of finite-range interactions will be denoted B0 . Banach spaces of interactions are obtained by completing B0 in various norms. We denote by B the space of interactions with
[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]
where [absolute value of x] is the number of sites in X. [??] will denote the space of interactions with
[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]
These are separable real Banach spaces with B0 [subset] [??] [subset] B, B0 being dense in both [??] and B.
For real-valued A [member of] C(ΩX) we define an interaction by ΨXA by
(9) [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] if Y is not a...
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
