Minakshisundaram–Pleijel zeta function explained

The Minakshisundaram–Pleijel zeta function is a zeta function encoding the eigenvalues of the Laplacian of a compact Riemannian manifold. It was introduced by . The case of a compact region of the plane was treated earlier by .

Definition

For a compact Riemannian manifold M of dimension N with eigenvalues

λ _{1,} λ _{2,} \ldots of the Laplace–Beltrami operator \Delta , the zeta function is given for \operatorname{Re}(s) sufficiently large byZ(s) = Tr (\Delta ^{-s} ) = \sum ^{inf ty} _{n =1} \vert λ _{n} \vert ^{-s} .

(where if an eigenvalue is zero it is omitted in the sum). The manifold may have a boundary, in which case one has to prescribe suitable boundary conditions, such as Dirichlet or Neumann boundary conditions.

More generally one can define

Z(P, Q, s) = \sum ^{inf ty} _{n =1} (f _{n(P)f} _{n(Q)})/(λ ^{s} _{n})

for P and Q on the manifold, where the

f _{n} are normalized eigenfunctions. This can be analytically continued to a meromorphic function of s for all complex s, and is holomorphic for P\ne Q .

The only possible poles are simple poles at the points

s = N/ 2 , N/ 2-1 , N/ 2-2 , ... , 1 / 2 , -1 / 2 , -3 / 2 , ... for N odd, and at the points s = N/ 2 , N/ 2-1 , N/ 2-2 , ... , 2 , 1 for N even. If N is odd then Z(P,P,s) vanishes at s = 0 , -1 , -2 , ... . If N is even, the residues at the poles can be explicitly found in terms of the metric, and by the Wiener–Ikehara theorem we find as a corollary the relation\sum _{λ _{n} < T} f ^{2} _{n(P)} \sim (T ^{N/2})/(( 2 \sqrt{\pi) ) ^{N\Gamma(N/2+1)}} ,

where the symbol

\sim indicates that the quotient of both the sides tend to 1 when T tends to +inf ty .^[1] The function Z(s) can be recovered from Z(P,P,s) by integrating over the whole manifold M:\displaystyle Z(s) = \int _{M} Z(P,P,s)dP .

Heat kernel

K(P,Q,t) = \sum ^{inf ty} _{n =1} f _{n(P)f} _{n(Q)} e ^{-λ _{n} t}

as the Mellin transform

Z(P,Q,s) = (1)/(\Gamma(s)) \int ^{inf ty} _{0} K(P,Q,t) t ^{s-1} dt

In particular, we have

Z(s) = (1)/(\Gamma(s)) \int ^{inf ty} _{0} K(t) t ^{s-1} dt

where

K(t) = \int _{M} K(P,P,t)dP = \sum ^{inf ty} _{i =1} e ^{-λ _{i} t} is the trace of the heat kernel.

The poles of the zeta function can be found from the asymptotic behavior of the heat kernel as t→0.

Example

If the manifold is a circle of dimension N=1, then the eigenvalues of the Laplacian are n² for integers n. The zeta function

Z(s) = \sum _{n\ne} (1)/((n ^{2)} ^{s}) = 2 \zeta( 2 s) where ζ is the Riemann zeta function.

Applications

Apply the method of heat kernel to asymptotic expansion for Riemannian manifold (M,g) we obtain the two following theorems. Both are the resolutions of the inverse problem in which we get the geometric properties or quantities from spectra of the operators.

1) Minakshisundaram–Pleijel Asymptotic Expansion

Let (M,g) be an n-dimensional Riemannian manifold. Then, as t→0+, the trace of the heat kernel has an asymptotic expansion of the form:

K(t)\sim( 4 \pi t) ^{-n/2} \sum ^{inf ty} _{m =0} a _{m} t ^{m.} In dim=2, this means that the integral of scalar curvature tells us the Euler characteristic of M, by the Gauss–Bonnet theorem.

In particular,

a _{0=\operatorname{Vol}(M,g), a} ^{1= (1)/(6)} \int _{MS(x)dV} where S(x) is scalar curvature, the trace of the Ricci curvature, on M.

2) Weyl Asymptotic FormulaLet M be a compact Riemannian manifold, with eigenvalues

0=λ _{0\leλ} _{1\leλ} _{2 … ,} with each distinct eigenvalue repeated with its multiplicity. Define N(λ) to be the number of eigenvalues less than or equal to λ , and let \omega _{n} denote the volume of the unit disk in \R ^{n} . ThenN( λ )\sim (\omega _{n} \operatorname{Vol)/((M) λ) ^{n/2} },as λ \to inf ty . Additionally, as k \to inf ty , ( λ ^{n/ 2} _{k)} \sim (( 2 \pi) ^{nk})/(\omega _{n} \operatorname{Vol) (M)}. This is also called Weyl's law, refined from the Minakshisundaram–Pleijel asymptotic expansion.

Notes and References

1. Subbaramiah Minakshisundaram . Subbaramiah . Minakshisundaram . Åke Pleijel . Åke . Pleijel . Some properties of the eigenfunctions of the Laplace-operator on Riemannian manifolds . 10.4153/CJM-1949-021-5 . 0031145 . 1949 . . 0008-414X . 1 . 242–256 . 2011-02-12 . https://web.archive.org/web/20120320072815/http://math.ca/10.4153/CJM-1949-021-5 . 2012-03-20 . dead . free .