Asymptotics of heavy atoms in high magnetic fields: II. Semiclassical regions

The ground state energy of an atom of nuclear chargeZe in a magnetic fieldB is exactly evaluated to leading order asZ in the following three regions:BZ^4/3,BZ^4/3 andZ^4/3BZ³. In each case this is accomplished by a modified Thomas-Fermi (TF) type theory. We also analyze these TF theories in detail, one of their consequences being the nonintuitive fact that atoms are spherical (to leading order) despite the leading order change in energy due to theB field. This paper complements and completes our earlier analysis [1], which was primarily devoted to the regionsBZ³ andBZ³ in which a semiclassical TF analysis is numerically and conceptually wrong. There are two main mathematical results in this paper, needed for the proof of the exactitude of the TF theories. One is a generalization of the Lieb-Thirring inequality for sums of eigenvalues to include magnetic fields. The second is a semiclassical asymptotic formula for sums of eigenvalues that isuniform in the fieldB.Work partially supported by U.S. National Science Foundation grant PHY90-19433 A02Work partially supported by U.S. National Science Foundation grant DMS 92-03829Work partially supported by the Heraeus Stiftung and the Research Fund of the University of Iceland.