Stability of matter

Last updated

In physics, the stability of matter refers to the ability of a large number of charged particles, such as electrons and protons, to form macroscopic objects without collapsing or blowing apart due to electromagnetic interactions. Classical physics predicts that such systems should be inherently unstable due to attractive and repulsive electrostatic forces between charges, and thus the stability of matter was a theoretical problem that required a quantum mechanical explanation.

Contents

The first solution to this problem was provided by Freeman Dyson and Andrew Lenard in 1967–1968, [1] [2] but a shorter and more conceptual proof was found later by Elliott Lieb and Walter Thirring in 1975 using the Lieb–Thirring inequality. [3] The stability of matter is partly due to the uncertainty principle and the Pauli exclusion principle. [4]

Description of the problem

In statistical mechanics, the existence of macroscopic objects is usually explained in terms of the behavior of the energy or the free energy with respect to the total number of particles. More precisely, the ground-state energy should be a linear function of for large values of . [5] In fact, if the ground-state energy behaves proportional to for some , then pouring two glasses of water would provide an energy proportional to , which is enormous for large . A system is called stable of the second kind or thermodynamically stable when the free energy is bounded from below by a linear function of . Upper bounds are usually easy to show in applications, and this is why scientists have worked more on proving lower bounds.

Neglecting other forces, it is reasonable to assume that ordinary matter is composed of negative and positive non-relativistic charges (electrons and ions), interacting solely via the Coulomb's interaction. A finite number of such particles always collapses in classical mechanics, due to the infinite depth of the electron-nucleus attraction, but it can exist in quantum mechanics thanks to Heisenberg's uncertainty principle. Proving that such a system is thermodynamically stable is called the stability of matter problem and it is very difficult[ clarification needed ] due to the long range of the Coulomb potential. Stability should be a consequence of screening effects, but those are hard to quantify.

Let us denote by

the quantum Hamiltonian of electrons and nuclei of charges and masses in atomic units. Here denotes the Laplacian, which is the quantum kinetic energy operator. At zero temperature, the question is whether the ground state energy (the minimum of the spectrum of ) is bounded from below by a constant times the total number of particles:

The constant can depend on the largest number of spin states for each particle as well as the largest value of the charges . It should ideally not depend on the masses so as to be able to consider the infinite mass limit, that is, classical nuclei.

History

19th century physics

At the end of the 19th century it was understood that electromagnetic forces held matter together. However two problems co-existed. [6] Earnshaw's theorem from 1842, proved that no charged body can be in a stable equilibrium under the influence of electrostatic forces alone. [6] The second problem was that James Clerk Maxwell had shown that accelerated charge produces electromagnetic radiation, which in turn reduces its motion. [6] In 1900, Joseph Larmor suggested the possibility of an electromagnetic system with electrons in orbits inside matter. He showed that if such system existed, it could be scaled down by scaling distances and vibrations times, however this suggested a modification to Coulomb's law at the level of molecules. [6] Classical physics was thus unable to explain the stability of matter and could only be explained with quantum mechanics which was developed at the beginning of the 20th century. [6]

Dyson–Lenard solution

Freeman Dyson showed [7] in 1967 that if all the particles are bosons, then the inequality ( 1 ) cannot be true and the system is thermodynamically unstable. It was in fact later proved that in this case the energy goes like instead of being linear in . [8] [9] It is therefore important that either the positive or negative charges are fermions. In other words, stability of matter is a consequence of the Pauli exclusion principle. In real life electrons are indeed fermions, but finding the right way to use Pauli's principle and prove stability turned out to be remarkably difficult. Michael Fischer and David Ruelle formalized the conjecture in 1966 [10] According to Dyson, Fischer and Ruelled offered a bottle of Champagne to anybody who could prove it. [11] Dyson and Lenard found the proof of ( 1 ) a year later [1] [2] and therefore got the bottle.

Lieb–Thirring inequality

As was mentioned before, stability is a necessary condition for the existence of macroscopic objects, but it does not immediately imply the existence of thermodynamic functions. One should really show that the energy really behaves linearly in the number of particles. Based on the Dyson–Lenard result, this was solved in an ingenious way by Elliott Lieb and Joel Lebowitz in 1972. [12]

According to Dyson himself, the Dyson–Lenard proof is "extraordinarily complicated and difficult" [11] and relies on deep and tedious analytical bounds. The obtained constant in ( 1 ) was also very large. In 1975, Elliott Lieb and Walter Thirring found a simpler and more conceptual proof, based on a spectral inequality, now called the Lieb–Thirring inequality. [3] [13] They got a constant which was by several orders of magnitude smaller than the Dyson–Lenard constant and had a realistic value. They arrived at the final inequality

where is the largest nuclear charge and is the number of electronic spin states which is 2. Since , this yields the desired linear lower bound ( 1 ). The Lieb–Thirring idea was to bound the quantum energy from below in terms of the Thomas–Fermi energy. The latter is always stable due to a theorem of Edward Teller which states that atoms can never bind in Thomas–Fermi model. [14] [15] [16] The Lieb–Thirring inequality was used to bound the quantum kinetic energy of the electrons in terms of the Thomas–Fermi kinetic energy . Teller's no-binding theorem was in fact also used to bound from below the total Coulomb interaction in terms of the simpler Hartree energy appearing in Thomas–Fermi theory. Speaking about the Lieb–Thirring proof, Dyson wrote later [17] [18]

Lenard and I found a proof of the stability of matter in 1967. Our proof was so complicated and so unilluminating that it stimulated Lieb and Thirring to find the first decent proof. (...) Why was our proof so bad and why was theirs so good? The reason is simple. Lenard and I began with mathematical tricks and hacked our way through a forest of inequalities without any physical understanding. Lieb and Thirring began with physical understanding and went on to find the appropriate mathematical language to make their understanding rigorous. Our proof was a dead end. Theirs was a gateway to the new world of ideas.

Further work

The Lieb–Thirring approach has generated many subsequent works and extensions. (Pseudo-)Relativistic systems [19] [20] [21] [22] magnetic fields [23] [24] quantized fields [25] [26] [27] and two-dimensional fractional statistics (anyons) [28] [29] have for instance been studied since the Lieb–Thirring paper. The form of the bound ( 1 ) has also been improved over the years. For example, one can obtain a constant independent of the number of nuclei. [19] [30]

Bibliography

Related Research Articles

<span class="mw-page-title-main">Pauli exclusion principle</span> Quantum mechanics rule: identical fermions cannot occupy the same quantum state simultaneously

In quantum mechanics, the Pauli exclusion principle states that two or more identical particles with half-integer spins cannot simultaneously occupy the same quantum state within a system that obeys the laws of quantum mechanics. This principle was formulated by Austrian physicist Wolfgang Pauli in 1925 for electrons, and later extended to all fermions with his spin–statistics theorem of 1940.

Degenerate matter occurs when the Pauli exclusion principle significantly alters a state of matter at low temperature. The term is used in astrophysics to refer to dense stellar objects such as white dwarfs and neutron stars, where thermal pressure alone is not enough to prevent gravitational collapse. The term also applies to metals in the Fermi gas approximation.

<span class="mw-page-title-main">Fermi gas</span> Physical model of gases composed of many non-interacting identical fermions

A Fermi gas is an idealized model, an ensemble of many non-interacting fermions. Fermions are particles that obey Fermi–Dirac statistics, like electrons, protons, and neutrons, and, in general, particles with half-integer spin. These statistics determine the energy distribution of fermions in a Fermi gas in thermal equilibrium, and is characterized by their number density, temperature, and the set of available energy states. The model is named after the Italian physicist Enrico Fermi.

<span class="mw-page-title-main">Fermi liquid theory</span> Theoretical model in physics

Fermi liquid theory is a theoretical model of interacting fermions that describes the normal state of the conduction electrons in most metals at sufficiently low temperatures. The theory describes the behavior of many-body systems of particles in which the interactions between particles may be strong. The phenomenological theory of Fermi liquids was introduced by the Soviet physicist Lev Davidovich Landau in 1956, and later developed by Alexei Abrikosov and Isaak Khalatnikov using diagrammatic perturbation theory. The theory explains why some of the properties of an interacting fermion system are very similar to those of the ideal Fermi gas, and why other properties differ.

Matter waves are a central part of the theory of quantum mechanics, being half of wave–particle duality. At all scales where measurements have been practical, matter exhibits wave-like behavior. For example, a beam of electrons can be diffracted just like a beam of light or a water wave.

In astrophysics and condensed matter physics, electron degeneracy pressure is a quantum mechanical effect critical to understanding the stability of white dwarf stars and metal solids. It is a manifestation of the more general phenomenon of quantum degeneracy pressure.

<span class="mw-page-title-main">Luttinger liquid</span> Theoretical model describing interacting fermions in a one-dimensional conductor

A Luttinger liquid, or Tomonaga–Luttinger liquid, is a theoretical model describing interacting electrons in a one-dimensional conductor. Such a model is necessary as the commonly used Fermi liquid model breaks down for one dimension.

<span class="mw-page-title-main">Fermi's interaction</span> Mechanism of beta decay proposed in 1933

In particle physics, Fermi's interaction is an explanation of the beta decay, proposed by Enrico Fermi in 1933. The theory posits four fermions directly interacting with one another. This interaction explains beta decay of a neutron by direct coupling of a neutron with an electron, a neutrino and a proton.

<span class="mw-page-title-main">Elliott H. Lieb</span> American mathematical physicist

Elliott Hershel Lieb is an American mathematical physicist. He is a professor of mathematics and physics at Princeton University. Lieb's works pertain to quantum and classical many-body problem, atomic structure, the stability of matter, functional inequalities, the theory of magnetism, and the Hubbard model.

In physics, the von Neumann entropy, named after John von Neumann, is an extension of the concept of Gibbs entropy from classical statistical mechanics to quantum statistical mechanics. For a quantum-mechanical system described by a density matrix ρ, the von Neumann entropy is

In theoretical condensed matter physics and quantum field theory, bosonization is a mathematical procedure by which a system of interacting fermions in (1+1) dimensions can be transformed to a system of massless, non-interacting bosons. The method of bosonization was conceived independently by particle physicists Sidney Coleman and Stanley Mandelstam; and condensed matter physicists Daniel C. Mattis and Alan Luther in 1975.

Walter Eduard Thirring was an Austrian physicist after whom the Thirring model in quantum field theory is named. He was the son of the physicist Hans Thirring.

The Thomas–Fermi (TF) model, named after Llewellyn Thomas and Enrico Fermi, is a quantum mechanical theory for the electronic structure of many-body systems developed semiclassically shortly after the introduction of the Schrödinger equation. It stands separate from wave function theory as being formulated in terms of the electronic density alone and as such is viewed as a precursor to modern density functional theory. The Thomas–Fermi model is correct only in the limit of an infinite nuclear charge. Using the approximation for realistic systems yields poor quantitative predictions, even failing to reproduce some general features of the density such as shell structure in atoms and Friedel oscillations in solids. It has, however, found modern applications in many fields through the ability to extract qualitative trends analytically and with the ease at which the model can be solved. The kinetic energy expression of Thomas–Fermi theory is also used as a component in more sophisticated density approximation to the kinetic energy within modern orbital-free density functional theory.

In mathematics, there are many kinds of inequalities involving matrices and linear operators on Hilbert spaces. This article covers some important operator inequalities connected with traces of matrices.

In quantum information theory, strong subadditivity of quantum entropy (SSA) is the relation among the von Neumann entropies of various quantum subsystems of a larger quantum system consisting of three subsystems. It is a basic theorem in modern quantum information theory. It was conjectured by D. W. Robinson and D. Ruelle in 1966 and O. E. Lanford III and D. W. Robinson in 1968 and proved in 1973 by E.H. Lieb and M.B. Ruskai, building on results obtained by Lieb in his proof of the Wigner-Yanase-Dyson conjecture.

The Lieb–Robinson bound is a theoretical upper limit on the speed at which information can propagate in non-relativistic quantum systems. It demonstrates that information cannot travel instantaneously in quantum theory, even when the relativity limits of the speed of light are ignored. The existence of such a finite speed was discovered mathematically by Elliott H. Lieb and Derek W. Robinson in 1972. It turns the locality properties of physical systems into the existence of, and upper bound for this speed. The bound is now known as the Lieb–Robinson bound and the speed is known as the Lieb–Robinson velocity. This velocity is always finite but not universal, depending on the details of the system under consideration. For finite-range, e.g. nearest-neighbor, interactions, this velocity is a constant independent of the distance travelled. In long-range interacting systems, this velocity remains finite, but it can increase with the distance travelled.

In mathematics and physics, Lieb–Thirring inequalities provide an upper bound on the sums of powers of the negative eigenvalues of a Schrödinger operator in terms of integrals of the potential. They are named after E. H. Lieb and W. E. Thirring.

In quantum chemistry and physics, the Lieb–Oxford inequality provides a lower bound for the indirect part of the Coulomb energy of a quantum mechanical system. It is named after Elliott H. Lieb and Stephen Oxford.

<span class="mw-page-title-main">Gian Michele Graf</span>

Gian Michele Graf is a Swiss mathematical physicist.

<span class="mw-page-title-main">Jan Philip Solovej</span> Danish mathematical physicist

Jan Philip Solovej is a Danish mathematician and mathematical physicist working on the mathematical theory of quantum mechanics. He is a professor at University of Copenhagen.

References

  1. 1 2 Dyson, Freeman J.; Lenard, A. (March 1967). "Stability of Matter. I". Journal of Mathematical Physics. 8 (3): 423–434. Bibcode:1967JMP.....8..423D. doi:10.1063/1.1705209.
  2. 1 2 Lenard, A.; Dyson, Freeman J. (May 1968). "Stability of Matter. II". Journal of Mathematical Physics. 9 (5): 698–711. Bibcode:1968JMP.....9..698L. doi: 10.1063/1.1664631 .
  3. 1 2 Lieb, Elliott H.; Thirring, Walter E. (15 September 1975). "Bound for the Kinetic Energy of Fermions Which Proves the Stability of Matter". Physical Review Letters . 35 (11): 687–689. Bibcode:1975PhRvL..35..687L. doi:10.1103/PhysRevLett.35.687.
  4. ↑ Marder, Michael P. (2010-11-17). Condensed Matter Physics. John Wiley & Sons. ISBN   978-0-470-94994-8.
  5. ↑ Ruelle, David (April 1999). Statistical Mechanics: Rigorous Results. World Scientific. Bibcode:1999smrr.book.....R. doi:10.1142/4090. ISBN   978-981-02-3862-9.
  6. 1 2 3 4 5 Jones, W (1980-04-01). "Earnshaw's theorem and the stability of matter". European Journal of Physics. 1 (2): 85–88. doi:10.1088/0143-0807/1/2/004. ISSN   0143-0807.
  7. ↑ Dyson, Freeman J. (August 1967). "Ground-State Energy of a Finite System of Charged Particles". Journal of Mathematical Physics. 8 (8): 1538–1545. Bibcode:1967JMP.....8.1538D. doi:10.1063/1.1705389.
  8. ↑ Conlon, Joseph G.; Lieb, Elliott H.; Yau, Horng-Tzer (September 1988). "TheN 7/5 law for charged bosons". Communications in Mathematical Physics. 116 (3): 417–448. Bibcode:1988CMaPh.116..417C. doi: 10.1007/BF01229202 .
  9. ↑ Lieb, Elliott H.; Solovej, Jan Philip (December 2004). "Ground State Energy of the Two-Component Charged Bose Gas". Communications in Mathematical Physics. 252 (1–3): 485–534. arXiv: math-ph/0311010 . Bibcode:2004CMaPh.252..485L. doi: 10.1007/s00220-004-1144-1 .
  10. ↑ Fisher, Michael E.; Ruelle, David (February 1966). "The Stability of Many-Particle Systems". Journal of Mathematical Physics. 7 (2): 260–270. Bibcode:1966JMP.....7..260F. doi:10.1063/1.1704928.
  11. 1 2 Dyson, Freeman (5 September 2016). "A bottle of champagne to prove the stability of matter". Youtube. Retrieved 22 June 2022.
  12. ↑ Lieb, Elliott H; Lebowitz, Joel L (December 1972). "The constitution of matter: Existence of thermodynamics for systems composed of electrons and nuclei". Advances in Mathematics . 9 (3): 316–398. doi: 10.1016/0001-8708(72)90023-0 .
  13. ↑ Lieb, Elliott H.; Thirring, Walter E. (31 December 2015). "Inequalities for the Moments of the Eigenvalues of the Schrodinger Hamiltonian and Their Relation to Sobolev Inequalities". Studies in Mathematical Physics: Essays in Honor of Valentine Bargmann: 269–304. doi:10.1515/9781400868940-014. ISBN   978-1-4008-6894-0.
  14. ↑ Lieb, Elliott H.; Simon, Barry (10 September 1973). "Thomas-Fermi Theory Revisited". Physical Review Letters . 31 (11): 681–683. Bibcode:1973PhRvL..31..681L. doi:10.1103/PhysRevLett.31.681.
  15. ↑ Lieb, Elliott H; Simon, Barry (January 1977). "The Thomas-Fermi theory of atoms, molecules and solids". Advances in Mathematics . 23 (1): 22–116. doi: 10.1016/0001-8708(77)90108-6 .
  16. ↑ Lieb, Elliott H. (1 October 1981). "Thomas-fermi and related theories of atoms and molecules". Reviews of Modern Physics. 53 (4): 603–641. Bibcode:1981RvMP...53..603L. doi:10.1103/RevModPhys.53.603.
  17. ↑ Lieb, Elliott H. (2005). Thirring, Walter (ed.). The Stability of Matter: From Atoms to Stars: Selecta of Elliott H. Lieb. Springer. doi:10.1007/b138553. ISBN   978-3-540-22212-5.
  18. ↑ Dyson, Freeman (5 September 2016). "Lieb and Thirring clean up my matter stability proof". youtube. Retrieved 22 June 2022.
  19. 1 2 Lieb, Elliott H.; Yau, Horng-Tzer (June 1988). "The stability and instability of relativistic matter". Communications in Mathematical Physics. 118 (2): 177–213. Bibcode:1988CMaPh.118..177L. doi: 10.1007/BF01218577 .
  20. ↑ Lieb, Elliott H.; Siedentop, Heinz; Solovej, Jan Philip (October 1997). "Stability and instability of relativistic electrons in classical electromagnetic fields". Journal of Statistical Physics. 89 (1–2): 37–59. arXiv: cond-mat/9610195 . Bibcode:1997JSP....89...37L. doi: 10.1007/BF02770753 .
  21. ↑ Frank, Rupert L.; Lieb, Elliott H.; Seiringer, Robert (20 August 2007). "Stability of Relativistic Matter with Magnetic Fields for Nuclear Charges up to the Critical Value". Communications in Mathematical Physics. 275 (2): 479–489. arXiv: math-ph/0610062 . Bibcode:2007CMaPh.275..479F. doi: 10.1007/s00220-007-0307-2 .
  22. ↑ Lieb, Elliott H.; Loss, Michael; Siedentop, Heinz (1 December 1996). "Stability of relativistic matter via Thomas-Fermi theory". Helvetica Physica Acta. 69 (5–6): 974–984. arXiv: cond-mat/9608060 . Bibcode:1996cond.mat..8060L. ISSN   0018-0238.
  23. ↑ Fefferman, C (23 May 1995). "Stability of Coulomb systems in a magnetic field". Proceedings of the National Academy of Sciences of the United States of America . 92 (11): 5006–5007. Bibcode:1995PNAS...92.5006F. doi: 10.1073/pnas.92.11.5006 . PMC   41836 . PMID   11607547.
  24. ↑ Lieb, Elliott H.; Loss, Michael; Solovej, Jan Philip (7 August 1995). "Stability of Matter in Magnetic Fields". Physical Review Letters . 75 (6): 985–989. arXiv: cond-mat/9506047 . Bibcode:1995PhRvL..75..985L. doi:10.1103/PhysRevLett.75.985. PMID   10060179. S2CID   2794188.
  25. ↑ Bugliaro, Luca; Fröhlich, Jürg; Graf, Gian Michele (21 October 1996). "Stability of Quantum Electrodynamics with Nonrelativistic Matter". Physical Review Letters . 77 (17): 3494–3497. Bibcode:1996PhRvL..77.3494B. doi:10.1103/PhysRevLett.77.3494. PMID   10062234.
  26. ↑ Fefferman, Charles; Fröhlich, Jürg; Graf, Gian Michele (1 December 1997). "Stability of Ultraviolet-Cutoff Quantum Electrodynamics with Non-Relativistic Matter". Communications in Mathematical Physics. 190 (2): 309–330. Bibcode:1997CMaPh.190..309F. doi: 10.1007/s002200050243 .
  27. ↑ Lieb, Elliott H.; Loss, Michael (1 July 2002). "Stability of a Model of Relativistic Quantum Electrodynamics". Communications in Mathematical Physics. 228 (3): 561–588. arXiv: math-ph/0109002 . Bibcode:2002CMaPh.228..561L. doi: 10.1007/s002200200665 .
  28. ↑ Lundholm, Douglas; Solovej, Jan Philip (June 2014). "Local Exclusion and Lieb–Thirring Inequalities for Intermediate and Fractional Statistics". Annales Henri Poincaré. 15 (6): 1061–1107. arXiv: 1301.3436 . Bibcode:2014AnHP...15.1061L. doi: 10.1007/s00023-013-0273-5 .
  29. ↑ Lundholm, Douglas; Solovej, Jan Philip (September 2013). "Hardy and Lieb-Thirring Inequalities for Anyons". Communications in Mathematical Physics. 322 (3): 883–908. arXiv: 1108.5129 . Bibcode:2013CMaPh.322..883L. doi: 10.1007/s00220-013-1748-4 .
  30. ↑ Hainzl, Christian; Lewin, Mathieu; Solovej, Jan Philip (June 2009). "The thermodynamic limit of quantum Coulomb systems Part II. Applications". Advances in Mathematics . 221 (2): 488–546. arXiv: 0806.1709 . doi: 10.1016/j.aim.2008.12.011 .
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.