数学 演算子 のゼータ関数 O {\displaystyle {\mathcal {O}}} は次のように定義される関数です。
ζ O ( s ) = tr O − s {\displaystyle \zeta _{\mathcal {O}}(s)=\operatorname {tr} \;{\mathcal {O}}^{-s}} この式が存在するs の値については、また、他のs の値については、この関数の解析接続 として。ここで「tr」は関数トレース を表します。
ゼータ関数は、固有値を 用いてスペクトルゼータ関数 [ 1 ]として表現することもできる。 λ 私 \displaystyle \lambda _{i}} オペレーターのO {\displaystyle {\mathcal {O}}} による
ζ O ( s ) = ∑ 私 λ 私 − s {\displaystyle \zeta _{\mathcal {O}}(s)=\sum _{i}\lambda _{i}^{-s}} 。これは、演算子の関数行列式 を厳密に定義するために使用され、それは次のように表されます。
検出 O := e − ζ O ′ ( 0 ) 。 {\displaystyle \det {\mathcal {O}}:=e^{-\zeta '_{\mathcal {O}}(0)}\;.} ミナクシサンダラム・プレイエルゼータ関数は 、演算子がコンパクトなリーマン多様体 のラプラシアンで ある場合の例である。
アラケロフ理論 の最も重要な動機の一つは、熱核 法を代数幾何学的に一般化した演算子のゼータ関数である。[ 2 ]
参考文献 ↑ Lapidus & van Frankenhuijsen (2006) p.23 ↑ Soulé, C. (1992), Lectures on Arakelov geometry , Cambridge Studies in Advanced Mathematics, vol. 33, with the collaboration of D. Abramovich , J.-F. Burnol and J. Kramer, Cambridge: Cambridge University Press, pp. viii+177, ISBN 0-521-41669-8 MR 1208731 ラピダス、ミシェル・L.、ファン・フランケンハイゼン、マキエル(2006)、『フラクタル幾何学、複素次元、ゼータ関数。フラクタル弦の幾何学とスペクトル』 、シュプリンガー・モノグラフ・イン・マセマティクス、ニューヨーク、NY:シュプリンガー・フェルラーク 、ISBN 0-387-33285-5 、Zbl 1119.28005 フルサエフ、ドミトリ;ヴァシレヴィッチ、ドミトリ(2011)『演算子、幾何学、量子:量子場理論におけるスペクトル幾何学の方法』 、理論物理学および数理物理学、シュプリンガー・フェルラーク 、 98ページ、 ISBN 978-94-007-0204-2