The Minakshisundaram–Pleijel zeta function is a zeta function encoding the eigenvalues of the Laplacian of a compact Riemannian manifold. It was introduced by Subbaramiah Minakshisundaram and Åke Pleijel (1949). The case of a compact region of the plane was treated earlier by Torsten Carleman (1935).
Definition For a compact Riemannian manifold M of dimension N with eigenvalues
λ 1 , λ 2 , … {\displaystyle \lambda _{1},\lambda _{2},\ldots } of the Laplace–Beltrami operator Δ {\displaystyle \Delta } , the zeta function is given for Re ( s ) {\displaystyle \operatorname {Re} (s)} sufficiently large by
Z ( s ) = Tr ( Δ − s ) = ∑ n = 1 ∞ | λ n | − s . {\displaystyle Z(s)={\mbox{Tr}}(\Delta ^{-s})=\sum _{n=1}^{\infty }\vert \lambda _{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 ) = ∑ n = 1 ∞ f n ( P ) f n ( Q ) λ n s {\displaystyle Z(P,Q,s)=\sum _{n=1}^{\infty }{\frac {f_{n}(P)f_{n}(Q)}{\lambda _{n}^{s}}}}
for P and Q on the manifold, where the f n {\displaystyle 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 ≠ Q {\displaystyle P\neq 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 , … {\displaystyle s=N/2,N/2-1,N/2-2,\dots ,1/2,-1/2,-3/2,\dots } for N odd, and at the points s = N / 2 , N / 2 − 1 , N / 2 − 2 , … , 2 , 1 {\displaystyle s=N/2,N/2-1,N/2-2,\dots ,2,1} for N even. If N is odd then Z ( P , P , s ) {\displaystyle Z(P,P,s)} vanishes at s = 0 , − 1 , − 2 , … {\displaystyle s=0,-1,-2,\dots } . 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
∑ λ n < T f n ( P ) 2 ∼ T N / 2 ( 2 π ) N Γ ( N / 2 + 1 ) {\displaystyle \sum _{\lambda _{n}<T}f_{n}(P)^{2}\sim {\frac {T^{N/2}}{(2{\sqrt {\pi }})^{N}\Gamma (N/2+1)}}} , where the symbol ∼ {\displaystyle \sim } indicates that the quotient of both the sides tend to 1 when T tends to + ∞ {\displaystyle +\infty } . The function Z ( s ) {\displaystyle Z(s)} can be recovered from Z ( P , P , s ) {\displaystyle Z(P,P,s)} by integrating over the whole manifold M:
… excerpt ends here. Continue reading the full article.
