×

A new proof of Weyl’s formula on the asymptotic distribution of eigenvalues. (English) Zbl 0559.58025

Let p be a classical observable and P a corresponding quantum observable. By comparing classical and quantum partition functions one can prove that for large \(\lambda\) (1) \(N(\lambda)\sim \gamma volume\) \((p\leq 1)\). Here \(\gamma\) is a thermodynamical constant (independent of p and P) and \(N(\lambda)\) is the number of eigenvalues of P less than \(\lambda\). The author’s purpose is to give a ”soft” proof of (1). For this reason he introduces a Weyl algebra W associated with a symplectic cone y, and considers self-adjoint positive elliptic operators of order one belonging to W. He then examines the function \(\zeta (P,\mu):=\int_{0}\lambda^{\mu}dN(\lambda)\), \(\mu\in {\mathbb{C}}\), and proves that \(\zeta(P,\mu)\) converges in the half-plane Re\(\mu<-d\), \(2d=\dim y\), and has a meromorphic continuation to the whole \(\mu\)-plane with poles at \(\mu =-d,-d-1\), etc. The pole at \(\mu =-d\) is simple with residue equal to a constant \(\gamma\), depending only on W, times the symplectic volume of the set where the symbol of P is less than one. From this (1) is deduced by a Tauberian argument.
Reviewer: N.Jacob

MSC:

58J50 Spectral problems; spectral geometry; scattering theory on manifolds
81S99 General quantum mechanics and problems of quantization
35P20 Asymptotic distributions of eigenvalues in context of PDEs
58J40 Pseudodifferential and Fourier integral operators on manifolds
53D50 Geometric quantization
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Abraham, R.; Marsden, J., Foundations of Mechanics (1978), Benjamin: Benjamin Reading, Mass
[2] de Monvel, L. Boutet; Guillemin, V., The Spectral Theory of Toeplitz Operators, (Annals of Math. Studies No. 99 (1981), Princeton Univ. Press: Princeton Univ. Press Princeton, N.J) · Zbl 0469.47021
[3] P. Chernoff; P. Chernoff · Zbl 0578.58022
[4] Dieudonné, J., Foundations of Modern Analysis (1960), Academic Press: Academic Press New York · Zbl 0100.04201
[5] Dixmier, J., \(C\)∗-algebras (1977), North-Holland: North-Holland New York · Zbl 0366.17007
[6] Gelfand, I. M., (Generalized Functions, Vol. 4 (1968), Academic Press: Academic Press New York)
[7] Grothendieck, A., Produits tensoriels topologiques et espaces nucleaires, Mem. Amer. Math. Soc., No. 16 (1955) · Zbl 0064.35501
[8] Guillemin, V., Some classical theorems in spectral theory revisited, (Seminar on Singularities of Solutions of Linear Partial Differential Equations. Seminar on Singularities of Solutions of Linear Partial Differential Equations, Annals of Math. Studies No. 91 (1979), Princeton Univ. Press: Princeton Univ. Press Princeton, N.J) · Zbl 0452.35093
[9] Guillemin, V.; Sternberg, S., The metaplectic representation, Weyl operators and spectral theory, J. Funct. Anal., 42 (1981) · Zbl 0469.58017
[10] Helffer, B.; Robert, D., Comportement asymptotique precise du spectre d’opérateurs globalement elliptiques dans \(R^n\), Sem. Goulaouic-Schwartz., No. 11 (1980) · Zbl 0503.35070
[11] Hörmander, L., Fourier integral operators, I, Acta Math., 127, 79-183 (1971) · Zbl 0212.46601
[12] Hörmander, L., On the asymptotic distribution of the eigenvalues of pseudodifferential operators in \(R^n\), Ark. Mat., 17, No. 2 (1979) · Zbl 0436.35064
[13] Howe, R., Quantum mechanics and partial differential equations, J. Funct. Anal., 38, 188-254 (1980) · Zbl 0449.35002
[14] Mackey, G., The Mathematical Foundations of Quantum Mechanics (1963), Benjamin: Benjamin New York · Zbl 0114.44002
[15] Seeley, R., Complex powers of an elliptic operator, (Singular Integrals. Singular Integrals, Proceedings, Symp. Pure Math. (1967), Amer. Math. Soc: Amer. Math. Soc Providence, R.I), 288-307 · Zbl 0159.15504
[16] Weishu, Shih, On the symbol of a pseudo-differential operator, Bull. Amer. Math. Soc., 74, 657-659 (1968) · Zbl 0165.10901
[17] Shubin, M.; Tulovsky, V., On asymptotic distribution of eigenvalues of pseudodifferential operators on \(R^n\), Math. USSR-Sb., 21, 565-583 (1973) · Zbl 0295.35068
[18] Swan, R., Vector bundles and projective modules, Trans. Amer. Math. Soc., 105, 264-277 (1962) · Zbl 0109.41601
[19] Titchmarsh, E. C., The Theory of Functions (1939), Oxford Univ. Press: Oxford Univ. Press Oxford · Zbl 0022.14602
[20] Voros, A., An algebra of pseudo-differential operators and the asymptotics of quantum mechanics, mimeographed report (1976), Saclay
[21] Weyl, H., Gruppentheorie und Quantummechanick (1928), Hirzel: Hirzel Leipzig · JFM 54.0954.03
[22] Widom, H., Szegö’s theorem and a complete symbolic calculus for pseudodifferential operators, (Seminar on Singularities of Solutions of Linear Partial Differential Equations. Seminar on Singularities of Solutions of Linear Partial Differential Equations, Annals of Math. Studies No. 91 (1979), Princeton Univ. Press: Princeton Univ. Press Princeton, N.J)
[23] Wiener, N., Touberian theorems, Ann. of Math., 33, 1-100 (1932) · JFM 58.0226.02
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.