ミナクシサンドラム–プレイジェルゼータ函数
ここに fn は正規化された固有函数である.この定義は全複素数 s について s の有理型函数へと解析接続され、P≠Q では正則である。
ありうる極は一位の極だけで、N が奇数のときは、s = N/2, N/2−1, N/2−2,..., 1/2,−1/2, −3/2,... で極を持ち、N が偶数のときは、s = N/2, N/2−1, N/2−2, ...,2, 1 で極を持つ.N が奇数のときは Z(P,P,s) は s = 0, −1, −2,... でゼロとなる.N が偶数のときは、ウィーナー=池原の定理から、系として明らかに値を得ることができ、関係式
Z ( P , P , s ) ∼ T N / 2 ( 2 π ) N Γ ( N / 2 + 1 ) {\displaystyle \displaystyle Z(P,P,s)\sim {\frac {T^{N/2}}{(2{\sqrt {\pi }})^{N}\Gamma (N/2+1)}}}
を得る.ここに記号~は T が +∞ へ近づくときに、両辺の商が 1 へ近づくことを意味する.
函数 Z(s) はこの式より、Z(P,P,s) を多様体 M 全体を渡り積分することにより得られる.
Z ( s ) = ∫ M Z ( P , P , s ) d P {\displaystyle \displaystyle Z(s)=\int _{M}Z(P,P,s)dP}
固有値 λ 1 , λ 2 , ... {\displaystyle \lambda _{1},\lambda _{2},\ldots } のラプラス-ベルトラミ作用素 Δ を持つ N 次元コンパクトリーマン多様体 M に対して、作用素 Δ のゼータ函数が、 Re  ( s ) {\displaystyle \operatorname {Re} (s)} が十分大きい s について
Z ( s ) = Tr  ( Δ − s ) = ∑ n = 1 ∞ | λ n | − s . {\displaystyle Z(s)=\operatorname {Tr} (\Delta ^{-s})=\sum _{n=1}^{\infty }\vert \lambda _{n}\vert ^{-s}.}
で与えられる(ここにもし固有値がゼロであれば、この和から除外する).多様体が境界を持つ場合は、ディリクレ条件やノイマン条件のような適当な境界条件を課さねばならない.
さらに一般的には、多様体上の点 P と Q について
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}}}}
とゼータ函数を定義することができる.