汎函数行列式のソースを表示

{{要改訳}}
[[函数空間]] V からそれ自身への[[線型写像]]を ''S'' とすると、[[行列式]]の無限次元への一般化が可能なことがしばしばある。この量 det(''S'') を ''S'' の '''汎函数行列式''' ('''{{lang-en-short|functional determinant}}''')と言う。

汎函数行列式の公式がいくつかあり、それらは皆、対角化可能な有限次元の行列に対しては行列式が固有値の積に等しいという事実を基礎としている。数学的には、[[ゼータ函数 (作用素)|作用素のゼータ函数]]を通して厳密に定義される。
:<math> \zeta_S(a) = \operatorname{tr}\, S^{-a} \,, </math>
ここに tr は汎函数のトレースを意味し、従って汎函数行列式は、
:<math> \det S = e^{-\zeta_S'(0)} \,, </math>
で定義される。ここに ''s'' = 0 でのゼータ函数は[[解析接続]]により定義される。別な一般化された方法も可能であり、物理学者が[[量子場理論]]で[[経路積分|ファインマンの経路積分]]の定式化に用いる、{{仮リンク|汎函数積分|en|functional integration}}の方法がある。
:<math> \det S \propto \left( \int_V \mathcal D \phi \; e^{- \langle \phi, S\phi\rangle} \right)^{-2} \,. </math>
この経路積分は、ある発散する乗数因子の差を除いたときのみ、うまく定義できる。この厳密な意味を与えるために、他の汎函数行列式で割る必要があり、見せかけの定数の打ち消しがなされる。

現在は、これらが表現上は2つの異なる汎函数行列式で、一方は量子場理論に由来を持つもので、他方は[[スペクトル理論]]に由来を持つものである。どちらも正規化の一種で、物理で普通に行われる定義は、2つの行列式を単に比較することができるということを意味しているが、数学ではゼータ函数が使われる。{{harvtxt|Osgood|Phillips|Sarnak|1988}} は、量子場理論で定式化された2つの汎函数行列式が、ゼータ函数正規化によって得られた結果に一致するということを示した。

==定義公式==
===経路積分版===
有限次元ユークリッド空間 ''V'' 上の正定値の[[自己共役作用素]] ''S'' では、次が成立する。
:<math>\frac{1}{\sqrt{\det S}} = \int_V e^{-\pi\langle x,Sx\rangle}\, dx</math>

問題は無限次元の空間上の作用素 ''S'' の汎函数行列式にどのようにして意味を与えるかという問題である。量子場理論で普通使う一つのアプローチは、閉区間上の連続した経路から函数空間がなるとして、形式的に次の積分を計算しようとする。

:<math>\int_V e^{-\pi\langle \phi,S\phi\rangle}\, \mathcal D\phi</math>

ここに ''V'' は函数空間で <math>\langle -,-\rangle</math> は L<sup>2</sup> 内積、 <math>\mathcal D\phi</math> は{{仮リンク|ウィナー測度|en|Wiener measure}}である。''S'' の基本前提として作用素が自己共役であり、[[自乗可積分函数|L<sup>2</sup>空間]]上で[[完全系]]をなす[[固有函数]] ''f''<sub>1</sub>, ''f''<sub>2</sub>, ''f''<sub>3</sub>… に対応して、離散的な[[スペクトル]] λ<sub>1</sub>, λ<sub>2</sub>, λ<sub>3</sub>… を持つとする。（例えば、コンパクトな区間 Ω 上の二階微分作用素の場合と同様にである）このことは大まかには、すべての函数 φ が函数 ''f''<sub>''i''</sub> の[[線型結合]]として書くことができる。

:<math> |\phi\rangle = \sum_i c_i |f_i\rangle \quad \text{with } c_i = \langle f_i | \phi \rangle.\, </math>

よって、指数関数の中の内積は次のように書くことができる。

:<math> \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.</math>

函数 ''f''<sub>''i''</sub> を基底にとれば、汎函数の積分はすべての基底関数を渡る積分に還元される。形式的には有限次元の場合から無限次元の場合への直観を働かせれば、測度は次の式となる。

:<math> \mathcal D \phi = \prod_i \frac{dc_i}{2\pi}. </math>

このことから汎函数積分は[[ガウス積分]]の積になる。

:<math> \int_V \mathcal D \phi \; e^{-\langle \phi|S|\phi\rangle} = \prod_i \int_{-\infty}^{+\infty} \frac{dc_i}{2\pi} e^{-\lambda_ic_i^2}. </math>

従って、積分は計算ができて、次の式となる。

:<math> \int_V \mathcal D \phi \; e^{-\langle \phi|S|\phi\rangle} = \prod_i \frac1{2\sqrt{\pi\lambda_i}} = \frac N{\sqrt{\prod_i\lambda_i}} </math>

ここに ''N'' はある正規化プロセスによって扱われるべき無限となる定数である。すべての固有値の積は有限次元の行列式に等しく、形式的にこれを無限次元の場合の定義にも用いる。

::<math> \int_V \mathcal D \phi \; e^{-\langle\phi|S|\phi\rangle} \propto \frac1{\sqrt{\det S}}. </math>

もしすべての量が何らかの適当な意味で収束すると、汎函数行列式は古典的極限として書くことができる(Whittaker,Watson)。そうでなければ、他の種類の[[発散級数]]の扱いを行う必要がある。最も一般的に行われる汎函数行列式の計算は、[[ゼータ函数正規化]]である。<ref>{{harv|Branson|1993}}; {{harv|Osgood|Phillips|Sarnak|1988}}</ref> 例えば、ゼータ函数正規化は、[[ミナクシサンドラム-プレイジェルゼータ函数|ミナクシサンドラム・プレイジェルゼータ函数]]を使い、[[リーマン多様体]]の上の[[ラプラス作用素]]や{{仮リンク|ディラック作用素|en|Dirac operator}}の汎函数行列式の計算が可能である。それができなければ、発散する定数をキャンセルするために、2つの行列式の商を取ることを考える必要がある。

===ゼータ函数版===
''S'' をコンパクトな台を持つ正定値で滑らかな(微分可能な)係数をもつ楕円型[[微分作用素]]とする。つまり、ある定数 ''c'' > 0 が存在し、

:<math>\langle\phi,S\phi\rangle \ge c\langle\phi,\phi\rangle</math>

をすべてのコンパクトな台を持つ滑らかな函数 φ に対して成り立つとする。すると、''S'' は下界 ''c'' を持つ ''L''<sup>2</sup> の自己共役作用素へ拡大が可能である。''S'' の固有値は数列
:<math>0<\lambda_1\le\lambda_2\le\cdots,\qquad\lambda_n\to\infty.</math>
として並べることができ、従って ''S'' のゼータ函数は級数により定義される。<ref>See {{harvtxt|Osgood|Phillips|Sarnak|1988}}さらにスペクトル函数の項の一般的な定義は、{{harvtxt|Hörmander|1968}}、{{harvtxt|Shubin|1987}}.</ref>を参照のこと。

:<math>\zeta_S(s) = \sum_{n=1}^\infty \frac{1}{\lambda_n^s}.</math>

ζ<sub>''S''</sub> が全複素平面での有理型関数に拡張できる。<ref>一般化されたラプラス作用素の場合は、ゼロでの正規化と同様である。{{harvtxt|Berline|Getzler|Vergne|2004|loc=Proposition 9.35}}を参照のこと。楕円型擬微分作用素についての一般的な場合は、{{harvtxt|Seeley|1967}}を参照のこと。</ref>  さらに、一般的な状況下ではゼータ函数を定義できるが、ゼータ函数は楕円型微分作用素（もしくは擬微分作用素）は <math>s = 0</math> で[[正規]](regular)となる。

形式的に、この級数を項別に微分すると、

:<math>\zeta_S'(s) = \sum_{n=1}^\infty \frac{-\log\lambda_n}{\lambda_n^s},</math>
が得られ、従って汎函数行列式はうまく定義でき、定義は

:<math>\det S = \exp\left(-\zeta_S'(0)\right).</math>

により与えられる。ゼータ函数の解析接続はゼロで正規(regular)であるから、この式は行列式の定義として厳密であることになる。

この種類のゼータ函数正規化の作用素の行列式は、<math> \sum_{n=0}^{\infty} \frac{1}{(n+a)} </math> の形の和を評価する際、'a'を渡る積分が <math> \sum_{n=0}^{\infty}log(n+a) </math> を与えるときにも現れる。この和はまさに[[調和振動子]]の汎函数行列式の対数と考えることができ、最後の値は <math> -\partial _{s} \zeta_{H}(0,a) </math> に等しい。ここに <math> \zeta_{H} (s,a) </math> はフルビッツのゼータ函数である。<ref>フルビッツゼータ函数(Hurwitz zeta function)は、発見者のAdolf Hurwitzから名前をとっているゼータ函数の一種である。Re(s) > 1 であり Re(q) > 0 となる複素変数 q に対し形式的に次の式で定義される。
:<math>\zeta(s,q) = \sum_{n=0}^\infty \frac{1}{(q+n)^{s}}</math>
この級数は与えられた s と q について絶対収束し、s≠1 を除くすべての全複素平面での有理型函数へ拡張される（解析接続される）。リーマンゼータ函数は ζ(s,1) である。</ref>

==実際の例==
[[Image:Infinite potential well.svg|thumb|The infinite potential well with ''A'' = 0.]]

===井戸型ポテンシャル===
[[井戸型ポテンシャル]]の中の[[量子力学|量子力学的]]粒子の運動を記述する次の式で定義される汎函数行列式の計算をしよう。

:<math> \det \left(-\frac{d^2}{dx^2} + A\right) \qquad (x\in[0,L]), </math>

ここに ''A'' はポテンシャルの深さで ''L'' は井戸の幅とする。作用素を対角化し[[固有値]]を掛け合わせることで、行列式を計算しよう。そこで、あって欲しくない発散定数に悩まされないためには、深さ ''A'' の作用素と深さ ''A'' = 0 の作用素との間で割り算をし、商を計算しよう。このポテンシャルの固有値は

:<math> \lambda_n = \frac{n^2\pi^2}{L^2} + A \qquad (n \in \mathbb N_0). </math>

に等しい。

このことは

:<math> \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^2A}{n^2\pi^2}\right). </math>

であることを意味する。さて、[[三角函数|正弦函数]]の[[レオンハルト・オイラー|オイラー]]の[[リーマンゼータ函数#オイラー積|無限積]]を使い

:<math> \sin z = z \prod_{n=1}^{\infty} \left(1 - \frac{z^2}{n^2\pi^2}\right) </math>

となり、このことから同様な[[双曲線函数|双曲正弦函数]]を導くことができる。

:<math> \sinh z = - i\sin iz = z \prod_{n=1}^{\infty} \left(1 + \frac{z^2}{n^2\pi^2}\right). </math>

これを適用して、次のことが分かる。

:<math> \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^2A}{n^2\pi^2}\right) = \frac{\sinh L\sqrt A}{L\sqrt A}. </math>

===他の作用素の行列式を計算する方法===
1-次元のポテンシャルでは、汎函数行列式の形を少し変える変形が存在する。<ref>S. Coleman, ''The uses of instantons'', Int. School of Subnuclear Physics, (Erice, 1977)</ref>それは次の表現を考えることにベースがある。

:<math> \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)} </math>

ここに ''m'' は[[複素数]]の定数で、この表現は ''m'' の[[有理型函数]]で、''m'' がポテンシャル ''V''<sub>1</sub>(''x'') を持つ作用素の固有値に等しいときにはゼロ点を持ち、''V''<sub>2</sub>(''x'') を持つ作用素の固有値の時には極を持つ。ここで、次の方程式を満たす函数 ψ<sup>''m''</sup><sub>1</sub> と ψ<sup>''m''</sup><sub>2</sub> を考える。

:<math> \left(-\frac{d^2}{dx^2} + V_i(x) - m\right) \psi_i^m(x) = 0 </math>

また、この函数は次の境界条件を満たすとする。

:<math> \psi_i^m(0) = 0, \quad\qquad \frac{d\psi_i^m}{dx}(0) = 1. </math>

もし、函数

:<math> \Delta(m) = \frac{\psi_1^m(L)}{\psi_2^m(L)}, </math>

で、''m'' の有理型函数となっているものを考えると、計算しようとしている行列式の商として同じ極とゼロ点を持っていることがわかる。もし ''m'' が作用素番号1の固有値であれば ψ<sup>''m''</sup><sub>1</sub>(''x'') は ψ<sup>''m''</sup><sub>1</sub>(''L'') = 0 を意味する固有値であり、分母に対しても同じことが言える。[[リウヴィルの定理 (解析学)|リウヴィルの定理]]によって2つの同じ極とゼロ点をもつ有理型函数は互いに比例関係にあるはずである。今の場合は、比例定数は1であることが判明しているので、''m'' のすべての値に対して

:<math> \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)} </math>

を得る。''m'' = 0 に対しては、

:<math> \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)}. </math>

を得る。

===井戸型ポテンシャルの再検討===
前節の問題は、この定式化をさらに簡単に解くことができる。函数 ψ<sup>0</sup><sub>i</sub>(''x'') は次の関係式に従う。

:<math> \begin{align} & \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{align} </math>

さらに、次の解を与える。

:<math> \begin{align} & \psi_1^0(x) = \frac1{\sqrt A} \sinh x\sqrt A, \\ & \psi_2^0(x) = x. \end{align} </math>

このことは次の最終的な表現を与える。

:<math> \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}. </math>

==脚注==
<references/>

==参考文献==

*{{Citation | last1=Berline | first1=Nicole | last2=Getzler | first2=Ezra | last3=Vergne | first3=Michèle | title=Heat Kernels and Dirac Operators | isbn=978-3-540-20062-8 | year=2004}}
* {{Citation | last1=Branson | first1=Thomas P. | title=Q-curvature, spectral invariants, and representation theory | mr=2366932 | year=2007 | journal=SIGMA. Symmetry, Integrability and Geometry. Methods and Applications | issn=1815-0659 | volume=3 | pages=Paper 090, 31}}
* {{Citation | last1=Branson | first1=Thomas P. | title=The functional determinant | publisher=Seoul National University Research Institute of Mathematics Global Analysis Research Center | location=Seoul | series=Lecture Notes Series | mr=1325463 | year=1993 | volume=4}}
* {{Citation | last1=Hörmander | first1=Lars | author1-link=Lars Hörmander | title=The spectral function of an elliptic operator | mr=0609014 | year=1968 | journal=[[Acta Mathematica]] | issn=0001-5962 | volume=121 | pages=193-218 | doi=10.1007/BF02391913}}
* {{Citation | last1=Osgood | first1=B. | last2=Phillips | first2=R. | last3=Sarnak | first3=Peter | authorlink3=Peter Sarnak| title=Extremals of determinants of Laplacians | mr=960228 | year=1988 | journal=Journal of Functional Analysis | issn=0022-1236 | volume=80 | issue=1 | pages=148-211 | doi=10.1016/0022-1236(88)90070-5}}
* {{Citation | last1=Ray | first1=D. B. | last2=Singer | first2=I. M. |authorlink2=Isadore Singer| title=''R''-torsion and the Laplacian on Riemannian manifolds | doi=10.1016/0001-8708(71)90045-4 | mr=0295381 | year=1971 | journal=Advances in Math. | volume=7 | pages=145-210 | issue=2}}
* {{Citation | last1=Seeley | first1=R. T. | title=Singular Integrals (Proc. Sympos. Pure Math., Chicago, Ill., 1966) | publisher=[[American Mathematical Society]] | location=Providence, R.I. | mr=0237943 | year=1967 | chapter=Complex powers of an elliptic operator | pages=288-307}}
*{{Citation | last1=Shubin | first1=M. A. | title=Pseudodifferential operators and spectral theory | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Springer Series in Soviet Mathematics | isbn=978-3-540-13621-7 | mr=883081 | year=1987}}

{{DEFAULTSORT:はんかんすうきようれつしき}}
[[Category:行列式]]
[[Category:関数解析学]]
[[Category:数学に関する記事]]