Abstract
A famous formula of H. Weyl [17] states that if D is a bounded region of R d with a piecewise smooth boundary B, and if 0 > γ 1 ≥ γ 2 ≥ γ 3 ≥ etc. ↓−∞ is the spectrum of the problem
then
or, what is the same,
where \(C(d) = 2\pi [(d/2)!]^{d/2}\).
Communicated April 6, 1967. The partial support of the National Science Foundation under NSF GP-4364 and NSF GP-6166 is gratefully acknowledged.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Kac [6] expresses the corner correction \((\pi ^{2} -\gamma ^{2})/24\pi \gamma\) as complicated integral. D. B. Ray [private communication] derived it by a simpler argument, beginning with the Green function G for s −Δ(s > 0) expressed as a Kantorovich-Lebedev transform
$$\displaystyle\begin{array}{rcl} G(A,B)& =& x^{-2}\int _{ 0}^{\infty }dxK_{\sqrt{-1}x}\big(\sqrt{s}a\big)K_{\sqrt{-1}x}\big(\sqrt{s}b\big) {}\\ & & \times \bigg[\cosh \big(\pi -\vert \alpha -\beta \vert \big)x -\frac{\sinh \pi x} {\sinh \gamma x}\cosh (\gamma -\alpha -\beta )x + \frac{\sinh (\pi -\gamma )x} {\sinh \gamma x} \cosh (\alpha -\beta )x\bigg], {}\\ \end{array}$$in which \(A = ae^{\sqrt{-1}\alpha }\), \(B = be^{\sqrt{-1}\beta }\), and K is the usual modified Bessel function. The corner correction \((\pi ^{2} -\gamma ^{2})/24\pi \gamma\) follows easily, and this jibes with Kac’s integral upon applying Parseval’s formula to the latter.
- 2.
As before • stands for the one-sided partial in the positive 1-direction perpendicular to B. To prove that \((g^{11}\det g)^{\bullet }\sqrt{g_{11}}/\det g\) is (double) the spur of the second fundamental form of B, it is preferable to further specialize the local coordinates on U so as to make
$$\displaystyle\begin{array}{rcl} g = \left (\begin{array}{*{10}c} g_{11} & 0\\ 0 & h \end{array} \right )\mbox{ on }U\quad \mbox{ and}\quad g_{11} = 1\mbox{ on }U \cap B.& & {}\\ \end{array}$$The second fundamental form f is the (Riemannian) gradient along B of the inward-pointing unit normal field n:
$$\displaystyle\begin{array}{rcl} f_{ij} = \frac{\partial n_{i}} {\partial x_{j}} +\Big\{\begin{array}{*{10}c} i\\ jk \end{array} \Big\}n_{k} =\Big\{\begin{array}{*{10}c} i\\ 1j \end{array} \Big\} = \mbox{ the Christoffel bracket}\quad (i,j \geq 2).& & {}\\ \end{array}$$Computing this for the special g adopted above gives \(\frac{1} {2}h^{-1}h^{\bullet }\), so that double the spur is
$$\displaystyle\begin{array}{rcl} \mathop{\mathrm{sp}}\nolimits h^{-1}h^{\bullet } = (\lg \det h)^{\bullet } =\big (\lg g^{11}\det g\big)^{\bullet } =\big (g^{11}\det g\big)^{\bullet }/\det g,& & {}\\ \end{array}$$as desired (\(g^{11} = g_{11} = 1\) on B).
Bibliography
M. Berger. Sur le spectre d’une variètè riemanniene. C. R. Acad. Sci. Paris Sèr. A-B, 263:A13–A16, 1966.
G. Borg. Eine Umkehrung der Sturm-Liouvilleschen Eigenwertaufgabe Bestimmung der Differentialgleihung durch die Eigenwerte. Acta Math., 78:1–96, 1946.
È Cartan. Leçons sur la Gèomètrie des Espaces de Riemann. Gauthier-Villars, 1928.
S. S. Chern. A simple intrinsic proof of the Gauss-Bonnet formula for closed Riemannian manifolds. Ann. of Math., 2:747–752, 1944.
G. de Rham. Variètès Diffèrentiables. Hermann, Paris, 1960.
M. Kac. Can you hear the shape of a drum? Amer. Math. Monthly, 73:1–23, 1966.
H. P. McKean. Kramers-Wannier duality for the 2-dimensional Ising model as an instance of Poisson’s summation formula. J. Math. Phys., 5:775–776, 1964.
J. Milnor. Eigenvalues of the Laplace operator on certain manifolds. Proc. Nat. Acad. Sci., 51:542, 1964.
S. Minakshisundaram. A generalization of the Epstein zeta function. Canadian J. Math., 1:320–327, 1949.
S. Minakshisundaram. Eigenfunctions on Riemannian manifolds. J. Indian Math. Soc. (N. S.), 17:159–163, 1953.
S. Minakshisundaram and A. Pleijel. Some properties of the eigenfunctions of the Laplace operator on Riemannian manifolds. Canadian J. Math., 1:242–256, 1949.
E. Nelson. The adjoint Markoff process. Duke Math. J., 25:671–690, 1958.
A. Pleijel. A study of certain Green’s functions with applications in the theory of vibrating membranes. Ark. Mat., 2:553–569, 1954.
R. Seeley. The power A s of an elliptic operator A. The University of Michigan, 1966.
S. R. S. Varadhan. Diffusion processes in small time intervals. Comm. Pure Appl. Math., 20:659–685, 1967.
R. Weitzenböck. Invariantentheorie. P. Noordhoff, Groningen, 1923.
H. Weyl. Das asymptotische Verteilungsgesetz der Eigenschwingungen eines beliebig gestalteten elastischen Körpers. Rend. Circ. Mat. Palermo, 39:1–50, 1915.
H. Weyl. The Classical Groups. Princeton University Press, New Jersey, 1946.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
McKean, H.P., Singer, I.M. (2015). Curvature and the Eigenvalues of the Laplacian. In: Grünbaum, F., van Moerbeke, P., Moll, V. (eds) Henry P. McKean Jr. Selecta. Contemporary Mathematicians. Birkhäuser, Cham. https://doi.org/10.1007/978-3-319-22237-0_6
Download citation
DOI: https://doi.org/10.1007/978-3-319-22237-0_6
Publisher Name: Birkhäuser, Cham
Print ISBN: 978-3-319-22236-3
Online ISBN: 978-3-319-22237-0
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)