数学の分野におけるフレドホルム行列式(フレドホルムぎょうれつしき、英: Fredholm determinant)とは、行列の行列式の一般化であるような、ある複素数値関数のことを言う。トレースクラス作用素(英語版)によって、ヒルベルト空間上の恒等作用素ではない有界作用素に対して定義される。数学者エリック・イヴァル・フレドホルムの名にちなむ。
フレドホルム行列式は、数理物理学の分野において多く応用されており、その最も有名な例には、イジング模型の自発磁化(英語版)についてのラルス・オンサーガーと楊振寧の問題に対する解答として証明された、セゲー・ガーボルの極限公式が挙げられる。
定義
H をヒルベルト空間とし、G を H 上の有界可逆作用素で I + T と書き表されるようなもの(ここで T はトレースクラス作用素(英語版)とする)とする。G は、
![{\displaystyle (I+T)^{-1}-I=-T(I+T)^{-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb3aced5a46ec619c972f0654d70c6911bbf2864)
が成立するために、群である。
トレースクラスノルムを || · ||1 と表すとき、G には d(X, Y) = ||X - Y||1 で定義される自然な計量が存在する。
H を、内積
を備えるヒルベルト空間としたとき、k次の外積冪
も、内積
![{\displaystyle (v_{1}\wedge v_{2}\wedge \cdots \wedge v_{k},w_{1}\wedge w_{2}\wedge \cdots \wedge w_{k})={\rm {det}}\,(v_{i},w_{j})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/39eb2031e900f729e01795ca6f3424336fec2b69)
によりヒルベルト空間となる。
特に、H の正規直交基底を (ei) としたとき、
![{\displaystyle e_{i_{1}}\wedge e_{i_{2}}\wedge \cdots \wedge e_{i_{k}},\qquad (i_{1}<i_{2}<\cdots <i_{k})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c220d857f3277f09a6dbe02dcb27de9895d8fd48)
は
の正規直交基底となる。
A を H 上の有界作用素とするなら、A は
上の有界作用素
を
![{\displaystyle \Lambda ^{k}(A)v_{1}\wedge v_{2}\wedge \cdots \wedge v_{k}=Av_{1}\wedge Av_{2}\wedge \cdots \wedge Av_{k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/934faedfc756842e16be15fa04ed62541f581eae)
として functorially に定義する。
A がトレースクラスであるなら、
![{\displaystyle \|\Lambda ^{k}(A)\|_{1}\leq \|A\|_{1}^{k}/k!.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d7edce09110b69e09580ac12e5b95690f7ff5d95)
によって
(A) もトレースクラスとなる。このことから、
![{\displaystyle {\rm {det}}\,(I+A)=\sum _{k=0}^{\infty }{\rm {Tr}}\Lambda ^{k}(A)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e121054cd32f316fd1e250cb5e9f686207a76d93)
として定義されるフレドホルム行列式には、意味があることが分かる。
性質
![{\displaystyle {\rm {det}}\,(I+zA)=\sum _{k=0}^{\infty }z^{k}{\rm {Tr}}\Lambda ^{k}(A)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c242ffcfa62ad742cc9bb8aad195dc69ab2e26b)
- は
![{\displaystyle |{\rm {det}}\,(I+zA)|\leq \exp(|z|\cdot \|A\|_{1})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ab8eca6ba000cbd9b6ab10f7fd510e5bdf98cf4)
- を満たす整関数である。
![{\displaystyle |{\rm {det}}(I+A)-{\rm {det}}(I+B)|\leq \|A-B\|_{1}\exp(\|A\|_{1}+\|B\|_{1}+1).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bdfe2af8d544477fc89f99b70068cffb8ad94532)
- という不等式によって、トレースクラス作用素の空間上で連続となる。
- また、この不等式は、Simon (2005) の第5章で述べられているように、
![{\displaystyle |{\rm {det}}(I+A)-{\rm {det}}(I+B)|\leq \|A-B\|_{1}\exp(\max(\|A\|_{1},\|B\|_{1})+1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7cbb63065c03b0a4919848c89ff2ceb634f2924a)
- という不等式によって、わずかに改良される。
![{\displaystyle {\rm {det}}(I+A)\cdot {\rm {det}}(I+B)={\rm {det}}(I+A)(I+B)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d75aeeb144d9aa4775d4834169e6a8cc1b55138b)
- が成り立つ。
- 関数 det は、非ゼロ複素数の乗法群 C* への G の準同型写像である。
![{\displaystyle {\rm {det}}\,XTX^{-1}={\rm {det}}\,T}](https://wikimedia.org/api/rest_v1/media/math/render/svg/33a95c98af5c457902948e8b343242ad6ad1d54a)
- が成り立つ。
![{\displaystyle {\rm {det}}\,e^{A}=\exp \,{\rm {Tr}}(A)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/209c50251ddae6e8e8bed2596fcac10c4a526bf3)
- と
![{\displaystyle \log {\rm {det}}\,(I+zA)={\rm {Tr}}(\log {(I+zA)})=\sum _{k=1}^{\infty }(-1)^{k+1}{\frac {{\rm {Tr}}A^{k}}{k}}z^{k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/edfa502136eed9be64ae8a39eaebcedf595332cc)
- が成り立つ。
交換子のフレドホルム行列式
(a, b) から G への関数 F(t) は、F(t) -I がトレースクラス作用素への写像として微分可能であるとき、すなわち、極限
![{\displaystyle {\dot {F}}(t)=\lim _{h\rightarrow 0}{F(t+h)-F(t) \over h}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d5f869a6ec15f14da935f2f545dd9b8fe0fc9984)
がトレースクラスノルムについて存在するとき、微分可能であると言われる。
g(t) を、トレースクラス作用素に値を取る微分可能関数とするとき、exp g(t) もそのような関数となり、
![{\displaystyle F^{-1}{\dot {F}}={{\rm {id}}-\exp -{\rm {ad}}g(t) \over {\rm {ad}}g(t)}\cdot {\dot {g}}(t)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2854636f4850c363aa0a4eb8f1c2969b798a84fc)
が成立する。ここで
![{\displaystyle {\rm {ad}}(X)\cdot Y=XY-YX}](https://wikimedia.org/api/rest_v1/media/math/render/svg/43b5c9cdfb0813815d2e05cc28d9786d82b9bd73)
である。イスラエル・ゴーベルグ(英語版)とマーク・クライン(英語版)は、F が G への微分可能関数であるとき、f = det F は C* への微分可能写像で、
![{\displaystyle f^{-1}{\dot {f}}={\rm {Tr}}F^{-1}{\dot {F}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d24a7a83856b5e863e4b72ea831ef4a910967870)
が成立することを証明した。この結果は、ジョエル・ピンカスとウィリアム・ヘルトンおよびロジャー・ハウ(英語版)によって、A と B が有界作用素で、その交換子 AB -BA がトレースクラスであるなら、
![{\displaystyle {\rm {det}}\,e^{A}e^{B}e^{-A}e^{-B}=\exp {\rm {Tr}}(AB-BA)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/99643bf5f7c9e47ba88a21e8ea1c00c0afe4f502)
が成立することの証明に用いられた。
セゲーの極限公式
「セゲーの極限定理」も参照
H = L2 (S1) とし、P をハーディ空間 H2 (S1) の上への直交射影とする。
f がその円板上の滑らかな関数であるとき、対応する H 上の乗算作用素を m(f) と表すことにする。
交換子
- Pm(f) - m(f)P
はトレースクラスである。
T(f) を、
![{\displaystyle T(f)=Pm(f)P}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7249ea511fb0ca58bdb96190c29653bfe0c58d3d)
のように定義される H2 (S1) 上のテープリッツ作用素(英語版)とする。このとき、加法的な交換子
![{\displaystyle T(f)T(g)-T(g)T(f)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d43e74fbd38728a39975369c026821d0494170f7)
がトレースクラスであるための十分条件は、f と g が滑らかであることである。
ベルガーとショウは、次の等式を示した:
![{\displaystyle {\rm {tr}}(T(f)T(g)-T(g)T(f))={1 \over 2\pi i}\int _{0}^{2\pi }fdg.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5e7face7e86c53dbfe1b60039ba85e969a186518)
f と g が滑らかであるなら、
![{\displaystyle T(e^{f+g})T(e^{-f})T(e^{-g})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2ffb7d46301394f6a0251ff3a9e455c1de2cfd10)
は G に含まれる。
ハロルド・ウィドム(英語版)は、ピンカス=ヘルトン=ハウの結果を使って、次の等式を示した:
![{\displaystyle {\rm {det}}\,T(e^{f})T(e^{-f})=\exp \sum _{n>0}na_{n}a_{-n}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a87e40aad39e9819cd5c5f20e22a5173c4b0aaf7)
但し
![{\displaystyle f(z)=\sum a_{n}z^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5bf0fe865c08fafc50411d7d4a6232152382a78a)
とする。彼はこの等式を使って、セゲー・ガーボルの有名な極限公式
![{\displaystyle \lim _{N\rightarrow \infty }{\rm {det}}P_{N}m(e^{f})P_{N}=\exp \sum _{n>0}na_{n}a_{-n},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f01d35b174a92dae7fc60f782a9766d778aafee)
の新たな証明方法を考案した。ここで、PN は 1, z, ..., zN によって張られる H の部分空間の上への射影とし、a0 = 0 とする。
セゲーの極限公式は、1951年、イジング模型の自発磁化(英語版)の計算に関するラルス・オンサーガーと楊振寧の研究で生じた問題に対する答えとして、証明された。ウィドムの公式は、セゲーの極限公式をより早く導くものであり、共形場理論におけるボース粒子とフェルミ粒子の間の双対性と恒等的なものである。円板の弧の上でサポートされる関数に対する、セゲーの極限公式の特殊な場合の証明も、ウィドウによるものである;この結果は、ランダム行列の固有値分布に関する確率論的結果を得るために応用されている。
非公式な表現
この節では、フレドホルム行列式のある非公式な定義を紹介する。以下のフレドホルム行列式が与えられる状況において、より望ましい定義のためには、いくつかの点が well-defined であったり、収束したりすることについて証明することが求められる。以下で現れる核 K は様々なヒルベルト空間やバナッハ空間上で定義され得るものであるため、それらはつまらない練習問題という訳ではない。
フレドホルム行列式は
![{\displaystyle \det(I-\lambda K)=\left[\sum _{n=0}^{\infty }(-\lambda )^{n}\operatorname {Tr} K^{n}\right]=\exp {(\sum _{n=0}^{\infty }(-1)^{n+1}{\frac {\operatorname {Tr} A^{n}}{n}}z^{n}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f64ebe8a6e874a5a57e1d2024131d479f38427a8)
のように定義され得る。但し、K は積分作用素である。その作用素のトレースは
![{\displaystyle \operatorname {Tr} K=\int K(x,x)\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/db2aa2078b5a462c9bd782d54fafd1aebcbc9769)
および
![{\displaystyle \operatorname {Tr} \Lambda ^{2}(K)={\frac {1}{2!}}\iint K(x,x)K(y,y)-K(x,y)K(y,x)\,dxdy}](https://wikimedia.org/api/rest_v1/media/math/render/svg/317653be28a82709dfef46560d6e0de85eead273)
および、より一般的に
で与えられる。これらの核はトレースクラスあるいは核作用素であるため、そのようなトレースは well-defined である。
応用
フレドホルム行列式は、物理学者 John A. Wheeler (1937, Phys. Rev. 52:1107) によって、共鳴群法により部分波動関数の反対称な組み合わせとして構成される、複合原子核に対する波動関数の数学的表記を与えるために、用いられた。この方法は、アルファ粒子やヘリウム-3、重水素、トリトン、重中性子など、基本的なボース粒子やフェルミ粒子のクラスター群あるいは構成要素へと、中性子や陽子のエネルギーを分配するためのさまざまな方法に対応するものである。ベータやアルファ安定アイソトープのために共鳴群法が応用されるとき、フレドホルム行列式は、(1) 複合システムのエネルギー値を決定するため、および (2) 分布と崩壊の断面図を決定するために用いられる。Wheeler の共鳴群法は、以後のすべての核子クラスターモデルに対する理論的な基盤と、すべての軽および重質量アイソトープのための対応するクラスターエネルギーダイナミクスをもたらすものであった(N.D. Cook, 2006 に含まれる、物理学でのクラスターモデルについてのレビューを参照されたい)。
参考文献
- Simon, Barry (2005), Trace Ideals and Their Applications, Mathematical Surveys and Monographs, 120, American Mathematical Society, ISBN 0-8218-3581-5
- Wheeler, John A. (1937), On the Mathematical Description of Light Nuclei by the Method of Resonating Group Structure, Physical Review, 52, p. 1107
- Bornemann, Folkmar (2010), “On the numerical evaluation of Fredholm determinants”, Math. Comp. (Springer) 79: 871–915