Lieb, Elliott H.; Simon, Barry The Thomas-Fermi theory of atoms, molecules and solids. (English) Zbl 0938.81568 Adv. Math. 23, 22-116 (1977). The Thomas-Fermi (TF) model of the quantum theory of atoms, molecules and solids is put on a firm mathematical footing. A system of \(N\) electrons moving about a number of fixed positive charges \(Z_i\), where \(\sum Z_i=Z\), is considered. If \(\rho(x)\) denotes the electron charge density at any point \(x\) and \(V(x)\) the Coulomb potential due to positive charges at the point \(x\), the energy \({\mathcal E}(\rho,V)\) of the system can be written as a functional of \(\rho\) only. For a suitable choice of units, \({\mathcal E}(\rho,V)=\tfrac 35\int\sigma(x)^{5/3} dx-\int V(x)\rho(x) dx+\tfrac 12\int\int(\rho(x)\rho(y)/|x-y|) dxdy\). The Euler-Lagrange, equation for minimizing \({\mathcal E}(\rho,V)\) with the subsidiary conditions \(\int\rho(x) dx=N\) and \(\rho\geq 0\) leads to the TF equation. It is shown that the TF equations have a unique solution for \(N\leq Z\), that these solutions minimize the TF energy function and that no solution exists for \(N>Z\). The chemical potential is monotone, strictly increasing and concave as a function of \(N\). The Hamiltonian for the system of \(N\) electrons and the nuclei gives rise to a quantum-mechanical operator that has the ground-state energy \(E_N{}^Q\), taking into account the spins of the electrons and the Pauli principle. It is proved that, as the nuclear charges go to infinity, quantum mechanics and TF theory become identical, and the ratio of the ground-state energies tends to unity as \(N\rightarrow\infty\). For the heavy atoms, far away from the nuclei, the TF density \(\rho(x)\) is strictly positive for the neutral case and \(\rho(x)\rightarrow 27\pi^{-3}|x|^{-6}\) as \(|x|\rightarrow\infty\). For molecules one adds the intermolecular potential to the TF energy, and it is proved that theory does not lead to binding. The TF theory is also extended to solids, i.e., to a system of infinitely large, periodic molecules. The periodic TF equation is obtained and it is shown that \(\rho\) exists and tends to a finite limit as the volume tends to infinity. The application of TF theory to solids under high pressures is justified. A TF theory of the screening of an impurity in a solid by the electrons in the solid is presented. Reviewer: F.C.Auluck (MR 55#1964) Cited in 3 ReviewsCited in 225 Documents MSC: 81V55 Molecular physics × Cite Format Result Cite Review PDF Full Text: DOI References: [1] Auchmuty, J. F.G; Beals, R., Variational solutions of some nonlinear free boundary problems, Arch. Rational Mech. Anal., 43, 255-271 (1971) · Zbl 0225.49013 [2] Baker, E. B., The application of the Fermi-Thomas statistical model to the calculation of potential distribution in positive ions, Phys. Rev., 36, 630-647 (1930) · JFM 56.1327.06 [3] Balazs, N., Formation of stable molecules within the statistical theory of Atoms, Phys. Rev., 156, 42-47 (1967) [4] Balslev, E., Spectral theory of Schrödinger operators of many body systems with permutation and rotation symmetries, Ann. Physics, 73, 49-107 (1972) [5] Baumgartner, B., The Thomas-Fermi-theory as result of a strong-coupling limit (1975), University of Vienna, preprint [6] Bethe, H.; Jackiw, R., Intermediate Quantum Mechanics (1969), Benjamin: Benjamin New York [7] Bove, A.; DaPrato, G.; Fano, G., An existence proof for the Hartree-Fock time dependent problem with bounded two-body interaction, Comm. Math. Phys., 37, 183-192 (1974) · Zbl 0303.34046 [8] Brillouin, L., La mécanique ondulatoire de Schrödinger; une méthode générale de résolution par approximations successives, C. R. Acad. Sci. Paris, 183, 24-26 (1926) · JFM 52.0967.05 [9] Brownell, F. H.; Clark, C. W., Asymptotic distribution of the eigenvalues of the lower part of the Schrödinger operator spectrum, J. Math. Mech., 10, 31-70 (1961) · Zbl 0148.09501 [10] Chadam, J. M.; Glassey, R. T., Global existence of solutions to the Cauchy problem for time-dependent Hartree equations, J. Math. Phys., 16, 1122-1130 (1975) · Zbl 0299.35084 [11] (Handbook of Chemistry and Physics (1960), The Chemical Rubber Company: The Chemical Rubber Company Cleveland), 2306-2308 [12] Clarkson, J., Uniformly convex spaces, Trans. Amer. Math. Soc., 40, 396-414 (1936) · JFM 62.0460.04 [13] Courant, R.; Hilbert, D., (Methods of Mathematical Physics, Vol. I (1953), Interscience: Interscience New York) · Zbl 0729.35001 [14] Dirac, P. A.M, The Principles of Quantum Mechanics (1930), Oxford Univ. Press: Oxford Univ. Press Oxford · Zbl 0030.04801 [15] Dirac, P. A.M, Note on exchange phenomena in the Thomas atom, (Proc. Cambridge Philos. Soc., 26 (1930)), 376-385 · JFM 56.0751.04 [16] Dunford, N.; Schwartz, J., Linear Operators (1957), Interscience: Interscience New York, Part I [17] Fermi, E., Un metodo statistico per la determinazione di alcune priorietà dell’atome, Rend. Accad. Naz. Lincei, 6, 602-607 (1927) [18] Feynman, R. P.; Metropolis, N.; Teller, E., Equations of state of elements based on generalized Fermi-Thomas theory, Phys. Rev., 75, 1561-1573 (1949) · Zbl 0036.43007 [19] Fock, V., Näherungsmethode zur Lösung des Quantenmechanischen Mehrkörperproblems, Z. Physik, 61, 126-148 (1930) · JFM 56.1313.08 [20] Fock, V., Bemerkung zum Virialsatz, Z. Physik, 63, 855-858 (1930) · JFM 56.1327.05 [21] Fock, V., Über die Gültigkeit des Virialsatzes in der Fermi-Thomaschen Theorie, Phys. Z. Sowjetunion, 1, 747-755 (1932) · Zbl 0005.18502 [22] Flügge, S., (Practical Quantum Mechanics, Vol. II (1971), Springer-Verlag: Springer-Verlag Berlin) · Zbl 1400.81003 [23] Fonte, G.; Mignani, R.; Schiffrer, G., Solution of the Hartree-Fock equations, Comm. Math. Phys., 33, 293-304 (1973) [24] Gombás, P., Die Statistische Theorie des Atoms und ihre Anwendungen (1949), Springer-Verlag: Springer-Verlag Berlin · Zbl 0031.37703 [25] Griffiths, R., A proof that the free energy of a spin system is extensive; Appendix A, J. Math. Phys., 5, 1215-1222 (1964) [26] F. Guerra, L. Rosen, and B. Simon\(Pø_2\)Ann. Inst. H. Poincaré; F. Guerra, L. Rosen, and B. Simon\(Pø_2\)Ann. Inst. H. Poincaré [27] Hartmann, P.; Wintner, A., Partial differential equations and a theorem of Kneser, Rend. Circ. Mat. Palermo, 4, 237-255 (1955) · Zbl 0066.34501 [28] Hartree, D., The wave mechanics of an atom with a non-coulomb central field, Part I, theory and methods, (Proc. Cambridge Philos. Soc., 24 (1928)), 89-132 · JFM 54.0966.05 [29] Hertl, P.; Lieb, E.; Thirring, W., Lower bound to the energy of complex atoms, J. Chem. Phys., 62, 3355-3356 (1975) [30] Hertl, P.; Narnhofer, H.; Thirring, W., Thermodynamic functions for fermions with gravostatic and electrostatic interactions, Comm. Math. Phys., 28, 159-176 (1972) [31] Hertl, P.; Thirring, W., Free energy of gravitating fermions, Comm. Math. Phys., 24, 22-36 (1971) · Zbl 0227.47034 [32] Hille, E., On the Thomas-Fermi Equation, (Proc. Nat. Acad. Sci., 62 (1969)), 7-10 · Zbl 0179.12903 [33] Hille, E., Methods in Classical and Functional Analysis (1972), Addison-Wesley: Addison-Wesley Reading, Mass. · Zbl 0223.46001 [34] Hylleraas, G., Über den Grundterm der Zweielektronenprobleme von \(H^−\), He, \(Li^+, Be^{++}\) usw., Z. für Physik, 65, 209-225 (1930) · JFM 56.1311.05 [35] Jeffreys, B.; Jeffreys, H., Methods of Mathematical Physics (1946), Cambridge Univ. Press: Cambridge Univ. Press Cambridge · Zbl 0037.31704 [36] Jensen, H., Über die Gültigkeit des Virialsatzes in der Thomas-Fermischen Theorie, Z. Physik, 81, 611-624 (1933) · Zbl 0006.33003 [37] Kato, T., On the convergence of the perturbation method, I, II, Progr. Theoret. Phys., 5, 207-212 (1950) [38] Kato, T., Fundamental properties of Hamiltonian operators of Schrödinger type, Trans. Amer. Math. Soc., 70, 195-211 (1951) · Zbl 0044.42701 [39] Kato, T., On the eigenfunctions of many particle systems in quantum mechanics, Comm. Pure Appl. Math., 10, 151-177 (1957) · Zbl 0077.20904 [40] Kato, T., Perturbation Theory for Linear Operators (1966), Springer-Verlag: Springer-Verlag Berlin · Zbl 0148.12601 [41] Kato, T., Some mathematical problems in quantum mechanics, Suppl. Progr. Theoret. Phys., 40, 3-19 (1967) [42] (Quantum Theory of Solids (1963), Wiley: Wiley New York), 112-114 [43] Köthé, G., Topological Vector Spaces I (1966), Springer-Verlag: Springer-Verlag Berlin · Zbl 0137.31301 [44] Kramers, H. A., Wellenmechanik and halbzählige Quantisierung, Z. Phys., 39, 828-840 (1926) · JFM 52.0969.04 [45] Lieb, E.; Lebowitz, J., The constitution of matter: Existence of thermodynamics for systems composed of electrons and nuclei, Advances in Math., 9, 316-398 (1972) · Zbl 1049.82501 [46] Lenz, W., Über die Anwendbarkeit der statistischen Methode auf Ionengitter, Z. Phys., 77, 713-721 (1932) · JFM 58.0949.02 [47] Lieb, E. H., Quantum mechanical extension of the Lebowitz-Penrose theorem on the Van der Waals theory, J. Math. Phys., 7, 1016-1024 (1966) [48] errata, 14, No. 5 (1975) · Zbl 0973.82500 [49] Lieb, E. H.; Simon, B., Thomas-Fermi theory revisited, Phys. Rev. Lett., 31, 681-683 (1973) [50] Lieb, E. H.; Simon, B., On solutions to the Hartree-Fock problem for atoms and molecules, J. Chem. Phys., 61, 735-736 (1974) [51] E. H. Lieb and B. SimonComm. Math. Phys.; E. H. Lieb and B. SimonComm. Math. Phys. [52] Lieb, E. H.; Thirring, W., Bound for the kinetic energy of fermions which proves the stability of matter, Phys. Rev. Lett., 33, 687-689 (1975), Errata 1116 [53] Lieb, E. H.; Thirring, W., Inequalities for the moments of the eigenvalues of the Schrödinger equation and their relation to Sobolev inequalities, (Lieb, E. H.; Simon, B.; Wightman, A. S., Studies in Mathematical Physics: Essays in Honor of Valentine Bargmann (1976), Princeton Univ. Press: Princeton Univ. Press Princeton, New Jersey) · Zbl 0342.35044 [54] Lions, J. L., Lectures on Elliptic Partial Differential Equations (1967), Tata Institute: Tata Institute Bombay · Zbl 0253.35001 [55] March, N. H., The Thomas-Fermi approximation in quantum mechanics, Advances in Phys., 6, 1-98 (1957) · Zbl 0077.23101 [56] Martin, A., Bound states in the strong coupling limit, Helv. Phys. Acta, 45, 140-148 (1972) [57] Maslov, V. P., Theory of Perturbations and Asymptotic Methods (1965), Izdat. Mosk. Gor. Univ.,, French trans. Dunod, Paris, 1972 [58] McLeod, J. B., The distribution of eigenvalues for the hydrogen atom and similar cases, (Proc. London Math. Soc., 11 (1961)), 139-158 · Zbl 0094.06103 [59] Milne, E. A., The total energy of binding of a heavy atom, (Proc. Cambridge Philos. Soc., 23 (1972)), 794-799 · JFM 53.0868.05 [60] Morrey, C. B., Multiple Integrals in the Calculus of Variations (1966), Springer-Verlag: Springer-Verlag Berlin · Zbl 0142.38701 [61] Narnhofer, H.; Thirring, W., Convexity properties for coulomb systems, Acta Phys. Austriaca, 41, 281-297 (1975) [62] von Neumann, J., Mathematische Grundlagen der Quantenmechanik (1932), Springer-Verlag: Springer-Verlag Berlin, English trans. Princeton Univ. Press, Princeton, N.J., 1955 · JFM 58.0929.06 [63] Pauli, W.; Villars, F., On the invariant regularization in relativistic quantum theory, Rev. Modern Phys., 21, 434-446 (1949) · Zbl 0037.12503 [64] Protter, M. H.; Weinberger, S. F., Maximum Principles in Differential Equations (1967), Prentice-Hall: Prentice-Hall Englewood Cliffs, N.J. · Zbl 0153.13602 [65] Rebane, T. K., Inequalities for nonrelativistic total energies and potential energy components of isoelectronic atoms, Opt. Spektrosk. (USSR), 34, 488-491 (1973), (English trans. [66] Reed, M.; Simon, B., Methods of Modern Mathematical Physics, Vol. I: Functional Analysis (1972), Academic Press: Academic Press New York · Zbl 0242.46001 [67] Reed, M.; Simon, B., Methods of Modern Mathematical Physics, Vol. II: Fourier Analysis, Self-Adjointness (1975), Academic Press: Academic Press New York · Zbl 0308.47002 [68] M. Reed and B. Simon; M. Reed and B. Simon · Zbl 0401.47001 [69] Reeken, M., General theorem on bifurcation and its application to the Hartree equation of the helium atom, J. Math. Phys., 11, 2505-2512 (1970) [70] Rellich, F., Störungstheorie der Spektralzerlegung, I-V, Math. Ann., 118, 462-484 (1942) · JFM 68.0243.02 [71] Rijnierse, P. J., Algebraic solutions of the Thomas-Fermi equation for atoms, (Thesis (1968), University St. Andrews) [72] Robinson, D., The Thermodynamic Pressure in Quantum Statistical Mechanics (1971), Springer-Verlag: Springer-Verlag Berlin [73] Rudin, W., Fourier Analysis on Groups (1962), Interscience: Interscience New York · Zbl 0107.09603 [74] Ruelle, D., Statistical Mechanics-Rigorous Results (1969), Benjamin: Benjamin New York · Zbl 0177.57301 [75] Gustafson, K.; Sather, D., A branching analysis of the Hartree equation, Rend. Mat., 4, 723-734 (1971) [76] Schrödinger, E., Collected Papers on Wave Mechanics (1928), Blackie: Blackie London · JFM 54.0963.02 [77] Scott, J. M.C, The binding energy of the Thomas-Fermi atom, Philos. Mag., 43, 859-867 (1952) [78] Sheldon, J. W., Use of the statistical field approximation in molecular physics, Phys. Rev., 99, 1291-1301 (1955) · Zbl 0064.45203 [79] Simon, B., On the infinitude vs. finiteness of the number of bound states of an \(N\)-body quantum system, I, Helv. Phys. Acta, 43, 607-630 (1970) [80] Simon, B., Quantum Mechanics for Hamiltonians Defined as Quadratic Forms (1971), Princeton Univ. Press: Princeton Univ. Press Princeton, N.J. · Zbl 0232.47053 [81] Simon, B., Resonances in \(N\)-body quantum systems with dilatation analytic potentials and the foundations of time dependent perturbation theory, Ann. of Math., 97, 247-274 (1973) · Zbl 0252.47009 [82] Simon, B., Pointwise bounds on eigenfunctions and wave packets in \(N\)-body quantum systems, I, (Proc. Amer. Math. Soc., 42 (1974)), 395-401 · Zbl 0285.35008 [83] Simon, B., Pointwise bounds on eigenfunctions and wave packets in \(N\)-body quantum systems, III, Trans. Amer. Math. Soc., 208, 317-329 (1975) · Zbl 0305.35078 [84] Slater, J. C., Note on Hartree’s method, Phys. Rev., 35, 210-211 (1930) [85] Sommerfeld, A., Asymptotische Integration der Differentialgleichung des Thomas-Fermischen Atoms, Z. Phys., 78, 283-308 (1932) · JFM 58.1353.03 [86] Stenger, W.; Weinstein, A., Method of Intermediate Problems for Eigenvalues: Theory and Ramifications (1972), Academic Press: Academic Press New York · Zbl 0291.49034 [87] Stuart, C., Existence Theory for the Hartree Equation, Arch. Rational Mech. Anal., 51, 60-69 (1973) · Zbl 0287.34032 [88] Tamura, H., The asymptotic eigenvalue distribution for non-smooth elliptic operators, (Proc. Japan Acad., 50 (1974)), 19-22 · Zbl 0312.35058 [89] Teller, E., On the stability of molecules in the Thomas-Fermi theory, Rev. Modern Phys., 34, 627-631 (1962) · Zbl 0111.46107 [90] Thomas, L. H., The calculation of atomic fields, (Proc. Cambridge Philos. Soc., 23 (1927)), 542-548 · JFM 53.0868.04 [91] Titchmarsh, E. C., Eigenfunction Expansions (1958), Oxford Univ. Press: Oxford Univ. Press Oxford, Part II · Zbl 0097.27601 [92] Soviet Physics JETP, 35, 550-552 (1972), English Trans.: [93] Weidmann, J., The virial theorem and its application to the spectral theory of Schrödinger operators, Bull. Amer. Math. Soc., 73, 452-456 (1967) · Zbl 0156.23304 [94] Wentzel, G., Eine Verallgemeinerung der Quantenbedingungen für die Zwecke der Wellenmechanik, Z. Phys., 38, 518-529 (1926) · JFM 52.0969.03 [95] Wolkowsky, J., Existence of solutions of the Hartree equation for \(N\) electrons, an application of the Schauder-Tychonoff theorem, Indiana Univ. Math. J., 22, 551-558 (1972) · Zbl 0237.34006 [96] Yosida, K., Functional Analysis (1965), Academic Press: Academic Press New York · Zbl 0126.11504 [97] Zhislin, G. M., Discreteness of the spectrum of the Schrödinger operator for systems of many particles, Trudy Moskov. Mat. Obšč., 9, 81-128 (1960) [98] E. H. Libe; E. H. Libe [99] Lieb, E. H., The stability of matter, Rev. Mod. Phys., 48, 553-569 (1976) [100] B. SimonAdvances in Math.; B. SimonAdvances in Math. This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.