原文と比べた結果、この記事には多数の(または内容の大部分に影響ある)誤訳 があることが判明しています。情報の利用には注意してください。 正確な表現に改訳できる方を求めています。
函数空間 V からそれ自身への線型写像 を S とすると、行列式 の無限次元への一般化が可能なことがしばしばある。この量 det(S ) を S の 汎函数行列式 (英 : functional determinant )と言う。
汎函数行列式の公式がいくつかあり、それらは皆、対角化可能な有限次元の行列に対しては行列式が固有値の積に等しいという事実を基礎としている。数学的には、作用素のゼータ函数 を通して厳密に定義される。
ζ
S
(
a
)
=
tr
S
−
a
,
{\displaystyle \zeta _{S}(a)=\operatorname {tr} \,S^{-a}\,,}
ここに tr は汎函数のトレースを意味し、従って汎函数行列式は、
det
S
=
e
−
ζ
S
′
(
0
)
,
{\displaystyle \det S=e^{-\zeta _{S}'(0)}\,,}
で定義される。ここに s = 0 でのゼータ函数は解析接続 により定義される。別な一般化された方法も可能であり、物理学者が量子場理論 でファインマンの経路積分 の定式化に用いる、汎函数積分 (英語版 ) の方法がある。
det
S
∝
(
∫
V
D
ϕ
e
−
⟨
ϕ
,
S
ϕ
⟩
)
−
2
.
{\displaystyle \det S\propto \left(\int _{V}{\mathcal {D}}\phi \;e^{-\langle \phi ,S\phi \rangle }\right)^{-2}\,.}
この経路積分は、ある発散する乗数因子の差を除いたときのみ、うまく定義できる。この厳密な意味を与えるために、他の汎函数行列式で割る必要があり、見せかけの定数の打ち消しがなされる。
現在は、これらが表現上は2つの異なる汎函数行列式で、一方は量子場理論に由来を持つもので、他方はスペクトル理論 に由来を持つものである。どちらも正規化の一種で、物理で普通に行われる定義は、2つの行列式を単に比較することができるということを意味しているが、数学ではゼータ函数が使われる。Osgood, Phillips & Sarnak (1988) は、量子場理論で定式化された2つの汎函数行列式が、ゼータ函数正規化によって得られた結果に一致するということを示した。
有限次元ユークリッド空間 V 上の正定値の自己共役作用素 S では、次が成立する。
1
det
S
=
∫
V
e
−
π
⟨
x
,
S
x
⟩
d
x
{\displaystyle {\frac {1}{\sqrt {\det S}}}=\int _{V}e^{-\pi \langle x,Sx\rangle }\,dx}
問題は無限次元の空間上の作用素 S の汎函数行列式にどのようにして意味を与えるかという問題である。量子場理論で普通使う一つのアプローチは、閉区間上の連続した経路から函数空間がなるとして、形式的に次の積分を計算しようとする。
∫
V
e
−
π
⟨
ϕ
,
S
ϕ
⟩
D
ϕ
{\displaystyle \int _{V}e^{-\pi \langle \phi ,S\phi \rangle }\,{\mathcal {D}}\phi }
ここに V は函数空間で
⟨
−
,
−
⟩
{\displaystyle \langle -,-\rangle }
は L2 内積、
D
ϕ
{\displaystyle {\mathcal {D}}\phi }
はウィナー測度 (英語版 ) である。S の基本前提として作用素が自己共役であり、L2 空間 上で完全系 をなす固有函数 f 1 , f 2 , f 3 … に対応して、離散的なスペクトル λ1 , λ2 , λ3 … を持つとする。(例えば、コンパクトな区間 Ω 上の二階微分作用素の場合と同様にである)このことは大まかには、すべての函数 φ が函数 f i の線型結合 として書くことができる。
|
ϕ
⟩
=
∑
i
c
i
|
f
i
⟩
with
c
i
=
⟨
f
i
|
ϕ
⟩
.
{\displaystyle |\phi \rangle =\sum _{i}c_{i}|f_{i}\rangle \quad {\text{with }}c_{i}=\langle f_{i}|\phi \rangle .\,}
よって、指数関数の中の内積は次のように書くことができる。
⟨
ϕ
|
S
|
ϕ
⟩
=
∑
i
,
j
c
i
∗
c
j
⟨
f
i
|
S
|
f
j
⟩
=
∑
i
,
j
c
i
∗
c
j
δ
i
j
λ
i
=
∑
i
|
c
i
|
2
λ
i
.
{\displaystyle \langle \phi |S|\phi \rangle =\sum _{i,j}c_{i}^{*}c_{j}\langle f_{i}|S|f_{j}\rangle =\sum _{i,j}c_{i}^{*}c_{j}\delta _{ij}\lambda _{i}=\sum _{i}|c_{i}|^{2}\lambda _{i}.}
函数 f i を基底にとれば、汎函数の積分はすべての基底関数を渡る積分に還元される。形式的には有限次元の場合から無限次元の場合への直観を働かせれば、測度は次の式となる。
D
ϕ
=
∏
i
d
c
i
2
π
.
{\displaystyle {\mathcal {D}}\phi =\prod _{i}{\frac {dc_{i}}{2\pi }}.}
このことから汎函数積分はガウス積分 の積になる。
∫
V
D
ϕ
e
−
⟨
ϕ
|
S
|
ϕ
⟩
=
∏
i
∫
−
∞
+
∞
d
c
i
2
π
e
−
λ
i
c
i
2
.
{\displaystyle \int _{V}{\mathcal {D}}\phi \;e^{-\langle \phi |S|\phi \rangle }=\prod _{i}\int _{-\infty }^{+\infty }{\frac {dc_{i}}{2\pi }}e^{-\lambda _{i}c_{i}^{2}}.}
従って、積分は計算ができて、次の式となる。
∫
V
D
ϕ
e
−
⟨
ϕ
|
S
|
ϕ
⟩
=
∏
i
1
2
π
λ
i
=
N
∏
i
λ
i
{\displaystyle \int _{V}{\mathcal {D}}\phi \;e^{-\langle \phi |S|\phi \rangle }=\prod _{i}{\frac {1}{2{\sqrt {\pi \lambda _{i}}}}}={\frac {N}{\sqrt {\prod _{i}\lambda _{i}}}}}
ここに N はある正規化プロセスによって扱われるべき無限となる定数である。すべての固有値の積は有限次元の行列式に等しく、形式的にこれを無限次元の場合の定義にも用いる。
∫
V
D
ϕ
e
−
⟨
ϕ
|
S
|
ϕ
⟩
∝
1
det
S
.
{\displaystyle \int _{V}{\mathcal {D}}\phi \;e^{-\langle \phi |S|\phi \rangle }\propto {\frac {1}{\sqrt {\det S}}}.}
もしすべての量が何らかの適当な意味で収束すると、汎函数行列式は古典的極限として書くことができる(Whittaker,Watson)。そうでなければ、他の種類の発散級数 の扱いを行う必要がある。最も一般的に行われる汎函数行列式の計算は、ゼータ函数正規化 である。[1] 例えば、ゼータ函数正規化は、ミナクシサンドラム・プレイジェルゼータ函数 を使い、リーマン多様体 の上のラプラス作用素 やディラック作用素 (英語版 ) の汎函数行列式の計算が可能である。それができなければ、発散する定数をキャンセルするために、2つの行列式の商を取ることを考える必要がある。
S をコンパクトな台を持つ正定値で滑らかな(微分可能な)係数をもつ楕円型微分作用素 とする。つまり、ある定数 c > 0 が存在し、
⟨
ϕ
,
S
ϕ
⟩
≥
c
⟨
ϕ
,
ϕ
⟩
{\displaystyle \langle \phi ,S\phi \rangle \geq c\langle \phi ,\phi \rangle }
をすべてのコンパクトな台を持つ滑らかな函数 φ に対して成り立つとする。すると、S は下界 c を持つ L 2 の自己共役作用素へ拡大が可能である。S の固有値は数列
0
<
λ
1
≤
λ
2
≤
⋯
,
λ
n
→
∞
.
{\displaystyle 0<\lambda _{1}\leq \lambda _{2}\leq \cdots ,\qquad \lambda _{n}\to \infty .}
として並べることができ、従って S のゼータ函数は級数により定義される。[2] を参照のこと。
ζ
S
(
s
)
=
∑
n
=
1
∞
1
λ
n
s
.
{\displaystyle \zeta _{S}(s)=\sum _{n=1}^{\infty }{\frac {1}{\lambda _{n}^{s}}}.}
ζS が全複素平面での有理型関数に拡張できる。[3] さらに、一般的な状況下ではゼータ函数を定義できるが、ゼータ函数は楕円型微分作用素(もしくは擬微分作用素)は
s
=
0
{\displaystyle s=0}
で正規 (regular)となる。
形式的に、この級数を項別に微分すると、
ζ
S
′
(
s
)
=
∑
n
=
1
∞
−
log
λ
n
λ
n
s
,
{\displaystyle \zeta _{S}'(s)=\sum _{n=1}^{\infty }{\frac {-\log \lambda _{n}}{\lambda _{n}^{s}}},}
が得られ、従って汎函数行列式はうまく定義でき、定義は
det
S
=
exp
(
−
ζ
S
′
(
0
)
)
.
{\displaystyle \det S=\exp \left(-\zeta _{S}'(0)\right).}
により与えられる。ゼータ函数の解析接続はゼロで正規(regular)であるから、この式は行列式の定義として厳密であることになる。
この種類のゼータ函数正規化の作用素の行列式は、
∑
n
=
0
∞
1
(
n
+
a
)
{\displaystyle \sum _{n=0}^{\infty }{\frac {1}{(n+a)}}}
の形の和を評価する際、'a'を渡る積分が
∑
n
=
0
∞
l
o
g
(
n
+
a
)
{\displaystyle \sum _{n=0}^{\infty }log(n+a)}
を与えるときにも現れる。この和はまさに調和振動子 の汎函数行列式の対数と考えることができ、最後の値は
−
∂
s
ζ
H
(
0
,
a
)
{\displaystyle -\partial _{s}\zeta _{H}(0,a)}
に等しい。ここに
ζ
H
(
s
,
a
)
{\displaystyle \zeta _{H}(s,a)}
はフルビッツのゼータ函数である。[4]
The infinite potential well with A = 0.
井戸型ポテンシャル の中の量子力学的 粒子の運動を記述する次の式で定義される汎函数行列式の計算をしよう。
det
(
−
d
2
d
x
2
+
A
)
(
x
∈
[
0
,
L
]
)
,
{\displaystyle \det \left(-{\frac {d^{2}}{dx^{2}}}+A\right)\qquad (x\in [0,L]),}
ここに A はポテンシャルの深さで L は井戸の幅とする。作用素を対角化し固有値 を掛け合わせることで、行列式を計算しよう。そこで、あって欲しくない発散定数に悩まされないためには、深さ A の作用素と深さ A = 0 の作用素との間で割り算をし、商を計算しよう。このポテンシャルの固有値は
λ
n
=
n
2
π
2
L
2
+
A
(
n
∈
N
0
)
.
{\displaystyle \lambda _{n}={\frac {n^{2}\pi ^{2}}{L^{2}}}+A\qquad (n\in \mathbb {N} _{0}).}
に等しい。
このことは
det
(
−
d
2
d
x
2
+
A
)
det
(
−
d
2
d
x
2
)
=
∏
n
=
1
+
∞
n
2
π
2
L
2
+
A
n
2
π
2
L
2
=
∏
n
=
1
+
∞
(
1
+
L
2
A
n
2
π
2
)
.
{\displaystyle {\frac {\det \left(-{\frac {d^{2}}{dx^{2}}}+A\right)}{\det \left(-{\frac {d^{2}}{dx^{2}}}\right)}}=\prod _{n=1}^{+\infty }{\frac {{\frac {n^{2}\pi ^{2}}{L^{2}}}+A}{\frac {n^{2}\pi ^{2}}{L^{2}}}}=\prod _{n=1}^{+\infty }\left(1+{\frac {L^{2}A}{n^{2}\pi ^{2}}}\right).}
であることを意味する。さて、正弦函数 のオイラー の無限積 を使い
sin
z
=
z
∏
n
=
1
∞
(
1
−
z
2
n
2
π
2
)
{\displaystyle \sin z=z\prod _{n=1}^{\infty }\left(1-{\frac {z^{2}}{n^{2}\pi ^{2}}}\right)}
となり、このことから同様な双曲正弦函数 を導くことができる。
sinh
z
=
−
i
sin
i
z
=
z
∏
n
=
1
∞
(
1
+
z
2
n
2
π
2
)
.
{\displaystyle \sinh z=-i\sin iz=z\prod _{n=1}^{\infty }\left(1+{\frac {z^{2}}{n^{2}\pi ^{2}}}\right).}
これを適用して、次のことが分かる。
det
(
−
d
2
d
x
2
+
A
)
det
(
−
d
2
d
x
2
)
=
∏
n
=
1
+
∞
(
1
+
L
2
A
n
2
π
2
)
=
sinh
L
A
L
A
.
{\displaystyle {\frac {\det \left(-{\frac {d^{2}}{dx^{2}}}+A\right)}{\det \left(-{\frac {d^{2}}{dx^{2}}}\right)}}=\prod _{n=1}^{+\infty }\left(1+{\frac {L^{2}A}{n^{2}\pi ^{2}}}\right)={\frac {\sinh L{\sqrt {A}}}{L{\sqrt {A}}}}.}
1-次元のポテンシャルでは、汎函数行列式の形を少し変える変形が存在する。[5] それは次の表現を考えることにベースがある。
det
(
−
d
2
d
x
2
+
V
1
(
x
)
−
m
)
det
(
−
d
2
d
x
2
+
V
2
(
x
)
−
m
)
{\displaystyle {\frac {\det \left(-{\frac {d^{2}}{dx^{2}}}+V_{1}(x)-m\right)}{\det \left(-{\frac {d^{2}}{dx^{2}}}+V_{2}(x)-m\right)}}}
ここに m は複素数 の定数で、この表現は m の有理型函数 で、m がポテンシャル V 1 (x ) を持つ作用素の固有値に等しいときにはゼロ点を持ち、V 2 (x ) を持つ作用素の固有値の時には極を持つ。ここで、次の方程式を満たす函数 ψm 1 と ψm 2 を考える。
(
−
d
2
d
x
2
+
V
i
(
x
)
−
m
)
ψ
i
m
(
x
)
=
0
{\displaystyle \left(-{\frac {d^{2}}{dx^{2}}}+V_{i}(x)-m\right)\psi _{i}^{m}(x)=0}
また、この函数は次の境界条件を満たすとする。
ψ
i
m
(
0
)
=
0
,
d
ψ
i
m
d
x
(
0
)
=
1.
{\displaystyle \psi _{i}^{m}(0)=0,\quad \qquad {\frac {d\psi _{i}^{m}}{dx}}(0)=1.}
もし、函数
Δ
(
m
)
=
ψ
1
m
(
L
)
ψ
2
m
(
L
)
,
{\displaystyle \Delta (m)={\frac {\psi _{1}^{m}(L)}{\psi _{2}^{m}(L)}},}
で、m の有理型函数となっているものを考えると、計算しようとしている行列式の商として同じ極とゼロ点を持っていることがわかる。もし m が作用素番号1の固有値であれば ψm 1 (x ) は ψm 1 (L ) = 0 を意味する固有値であり、分母に対しても同じことが言える。リウヴィルの定理 によって2つの同じ極とゼロ点をもつ有理型函数は互いに比例関係にあるはずである。今の場合は、比例定数は1であることが判明しているので、m のすべての値に対して
det
(
−
d
2
d
x
2
+
V
1
(
x
)
−
m
)
det
(
−
d
2
d
x
2
+
V
2
(
x
)
−
m
)
=
ψ
1
m
(
L
)
ψ
2
m
(
L
)
{\displaystyle {\frac {\det \left(-{\frac {d^{2}}{dx^{2}}}+V_{1}(x)-m\right)}{\det \left(-{\frac {d^{2}}{dx^{2}}}+V_{2}(x)-m\right)}}={\frac {\psi _{1}^{m}(L)}{\psi _{2}^{m}(L)}}}
を得る。m = 0 に対しては、
det
(
−
d
2
d
x
2
+
V
1
(
x
)
)
det
(
−
d
2
d
x
2
+
V
2
(
x
)
)
=
ψ
1
0
(
L
)
ψ
2
0
(
L
)
.
{\displaystyle {\frac {\det \left(-{\frac {d^{2}}{dx^{2}}}+V_{1}(x)\right)}{\det \left(-{\frac {d^{2}}{dx^{2}}}+V_{2}(x)\right)}}={\frac {\psi _{1}^{0}(L)}{\psi _{2}^{0}(L)}}.}
を得る。
前節の問題は、この定式化をさらに簡単に解くことができる。函数 ψ0 i (x ) は次の関係式に従う。
(
−
d
2
d
x
2
+
A
)
ψ
1
0
=
0
,
ψ
1
0
(
0
)
=
0
,
d
ψ
1
0
d
x
(
0
)
=
1
,
−
d
2
d
x
2
ψ
2
0
=
0
,
ψ
2
0
(
0
)
=
0
,
d
ψ
2
0
d
x
(
0
)
=
1
,
{\displaystyle {\begin{aligned}&\left(-{\frac {d^{2}}{dx^{2}}}+A\right)\psi _{1}^{0}=0,\qquad \psi _{1}^{0}(0)=0\quad ,\qquad {\frac {d\psi _{1}^{0}}{dx}}(0)=1,\\&-{\frac {d^{2}}{dx^{2}}}\psi _{2}^{0}=0,\qquad \psi _{2}^{0}(0)=0,\qquad {\frac {d\psi _{2}^{0}}{dx}}(0)=1,\end{aligned}}}
さらに、次の解を与える。
ψ
1
0
(
x
)
=
1
A
sinh
x
A
,
ψ
2
0
(
x
)
=
x
.
{\displaystyle {\begin{aligned}&\psi _{1}^{0}(x)={\frac {1}{\sqrt {A}}}\sinh x{\sqrt {A}},\\&\psi _{2}^{0}(x)=x.\end{aligned}}}
このことは次の最終的な表現を与える。
det
(
−
d
2
d
x
2
+
A
)
det
(
−
d
2
d
x
2
)
=
sinh
L
A
L
A
.
{\displaystyle {\frac {\det \left(-{\frac {d^{2}}{dx^{2}}}+A\right)}{\det \left(-{\frac {d^{2}}{dx^{2}}}\right)}}={\frac {\sinh L{\sqrt {A}}}{L{\sqrt {A}}}}.}
^ (Branson 1993 ); (Osgood, Phillips & Sarnak 1988 )
^ See Osgood, Phillips & Sarnak (1988) さらにスペクトル函数の項の一般的な定義は、Hörmander (1968) 、Shubin (1987) .
^ 一般化されたラプラス作用素の場合は、ゼロでの正規化と同様である。Berline, Getzler & Vergne (2004 , Proposition 9.35)を参照のこと。楕円型擬微分作用素についての一般的な場合は、Seeley (1967) を参照のこと。
^ フルビッツゼータ函数(Hurwitz zeta function)は、発見者のAdolf Hurwitzから名前をとっているゼータ函数の一種である。Re(s) > 1 であり Re(q) > 0 となる複素変数 q に対し形式的に次の式で定義される。
ζ
(
s
,
q
)
=
∑
n
=
0
∞
1
(
q
+
n
)
s
{\displaystyle \zeta (s,q)=\sum _{n=0}^{\infty }{\frac {1}{(q+n)^{s}}}}
この級数は与えられた s と q について絶対収束し、s≠1 を除くすべての全複素平面での有理型函数へ拡張される(解析接続される)。リーマンゼータ函数は ζ(s,1) である。
^ S. Coleman, The uses of instantons , Int. School of Subnuclear Physics, (Erice, 1977)
Berline, Nicole; Getzler, Ezra; Vergne, Michèle (2004), Heat Kernels and Dirac Operators , ISBN 978-3-540-20062-8
Branson, Thomas P. (2007), “Q-curvature, spectral invariants, and representation theory”, SIGMA. Symmetry, Integrability and Geometry. Methods and Applications 3 : Paper 090, 31, ISSN 1815-0659 , MR 2366932
Branson, Thomas P. (1993), The functional determinant , Lecture Notes Series, 4 , Seoul: Seoul National University Research Institute of Mathematics Global Analysis Research Center, MR 1325463
Hörmander, Lars (1968), “The spectral function of an elliptic operator”, Acta Mathematica 121 : 193-218, doi :10.1007/BF02391913 , ISSN 0001-5962 , MR 0609014
Osgood, B.; Phillips, R.; Sarnak, Peter (1988), “Extremals of determinants of Laplacians”, Journal of Functional Analysis 80 (1): 148-211, doi :10.1016/0022-1236(88)90070-5 , ISSN 0022-1236 , MR 960228
Ray, D. B.; Singer, I. M. (1971), “R -torsion and the Laplacian on Riemannian manifolds”, Advances in Math. 7 (2): 145-210, doi :10.1016/0001-8708(71)90045-4 , MR 0295381
Seeley, R. T. (1967), “Complex powers of an elliptic operator”, Singular Integrals (Proc. Sympos. Pure Math., Chicago, Ill., 1966) , Providence, R.I.: American Mathematical Society , pp. 288-307, MR 0237943
Shubin, M. A. (1987), Pseudodifferential operators and spectral theory , Springer Series in Soviet Mathematics, Berlin, New York: Springer-Verlag , ISBN 978-3-540-13621-7 , MR 883081