フレドホルム行列式

数学の分野における**フレドホルム行列式**（フレドホルムぎょうれつしき、）とは、行列の行列式の一般化であるような、ある複素数値関数のことを言う。によって、ヒルベルト空間上の恒等作用素ではない有界作用素に対して定義される。数学者エリック・イヴァル・フレドホルムの名にちなむ。

フレドホルム行列式は、数理物理学の分野において多く応用されており、その最も有名な例には、イジング模型のについてのラルス・オンサーガーと楊振寧の問題に対する解答として証明された、セゲー・ガーボルの極限公式が挙げられる。

## 定義
*H* をヒルベルト空間とし、*G* を *H* 上の有界可逆作用素で *I* + *T* と書き表されるようなもの（ここで *T* はとする）とする。*G* は、
:  (I+T)^{-1} - I = - T(I+T)^{-1} 
が成立するために、群である。

トレースクラスノルムを || · ||1 と表すとき、*G* には *d*(*X*, *Y*) = ||*X* - *Y*||1 で定義される自然な計量が存在する。

*H* を、内積 (\cdot,\cdot) を備えるヒルベルト空間としたとき、*k*次の外積冪 \Lambda^k H も、内積
: (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) 
によりヒルベルト空間となる。

特に、*H* の正規直交基底を (*e**i*) としたとき、

: e_{i_1} \wedge e_{i_2} \wedge \cdots \wedge e_{i_k}, \qquad (i_1

は \Lambda^k H の正規直交基底となる。

*A* を *H* 上の有界作用素とするなら、*A* は \Lambda^k H 上の有界作用素 \Lambda^k(A) を 
: \Lambda^k(A) v_1 \wedge v_2 \wedge \cdots \wedge v_k = Av_1 \wedge Av_2 \wedge \cdots \wedge Av_k 
として functorially に定義する。

*A* がトレースクラスであるなら、 
: \|\Lambda^k(A)\|_1 \le \|A\|_1^k/k!.
によって \Lambda^k(*A*) もトレースクラスとなる。このことから、
: {\rm det}\, (I+ A) = \sum_{k=0}^\infty {\rm Tr} \Lambda^k(A) 
として定義される**フレドホルム行列式**には、意味があることが分かる。

## 性質
* *A* がトレースクラス作用素であるなら、

:: {\rm det}\, (I+ zA) = \sum_{k=0}^\infty z^k{\rm Tr} \Lambda^k(A)

:は

:: |{\rm det}\, (I+ zA)| \le \exp (|z|\cdot \|A\|_1) 

:を満たす整関数である。

* 関数 det(*I* + *A*) は

::  |{\rm det}(I+A) -{\rm det}(I+B)| \le \|A-B\|_1 \exp (\|A\|_1 + \|B\|_1 +1).

:という不等式によって、トレースクラス作用素の空間上で連続となる。

:また、この不等式は、Simon (2005) の第5章で述べられているように、

::  |{\rm det}(I+A) -{\rm det}(I+B)| \le \|A-B\|_1 \exp (\max(\|A\|_1,\|B\|_1) +1)

:という不等式によって、わずかに改良される。

* *A* と *B* がトレースクラスであるなら、

:: {\rm det}(I+A) \cdot {\rm det}(I+B) = {\rm det}(I+A)(I+B) 

:が成り立つ。

* 関数 *det* は、非ゼロ複素数の乗法群 **C*** への *G* の準同型写像である。

* *T* が *G* に含まれ、*X* が可逆であるなら、

:: {\rm det}\, XTX^{-1} ={\rm det} \, T

:が成り立つ。

* *A* がトレースクラスであるなら、

:: {\rm det}\, e^A = \exp \, {\rm Tr} (A)

:と

:: \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

:が成り立つ。

## 交換子のフレドホルム行列式
(*a*, *b*) から *G* への関数 *F*(*t*) は、*F*(*t*) -I がトレースクラス作用素への写像として微分可能であるとき、すなわち、極限

: \dot{F}(t) = \lim_{h\rightarrow 0} {F(t+h) - F(t)\over h}

がトレースクラスノルムについて存在するとき、**微分可能**であると言われる。

*g*(*t*) を、トレースクラス作用素に値を取る微分可能関数とするとき、exp *g*(*t*) もそのような関数となり、

: F^{-1} \dot{F} = {{\rm id} -  \exp - {\rm ad} g(t)\over  {\rm ad} g(t)} \cdot \dot{g}(t)

が成立する。ここで

: {\rm ad}(X)\cdot Y = XY -YX

である。とは、*F* が *G* への微分可能関数であるとき、*f* = det *F* は **C*** への微分可能写像で、

: f^{-1} \dot{f} = {\rm Tr} F^{-1} \dot{F} 

が成立することを証明した。この結果は、ジョエル・ピンカスとウィリアム・ヘルトンおよびによって、*A* と *B* が有界作用素で、その交換子 *AB -BA* がトレースクラスであるなら、

: {\rm det}\, e^A e^B e^{-A} e^{-B} = \exp {\rm Tr} (AB-BA) 

が成立することの証明に用いられた。

## セゲーの極限公式

*H* = *L*2 (*S*1) とし、*P* をハーディ空間 *H*2 (*S*1) の上への直交射影とする。

*f* がその円板上の滑らかな関数であるとき、対応する *H* 上の乗算作用素を *m*(*f*) と表すことにする。

交換子 

:P*m*(*f*) - *m*(*f*)P

はトレースクラスである。

*T*(*f*) を、

: T(f) = Pm(f)P 

のように定義される *H*2 (*S*1) 上のとする。このとき、加法的な交換子

: T(f) T(g) - T(g) T(f) 

がトレースクラスであるための十分条件は、*f* と *g* が滑らかであることである。

ベルガーとショウは、次の等式を示した：

:  {\rm tr}(T(f) T(g) - T(g) T(f)) =  {1\over 2\pi i} \int_0^{2\pi} f dg.

*f* と *g* が滑らかであるなら、

: T(e^{f+g})T(e^{-f}) T(e^{-g}) 

は *G* に含まれる。

は、ピンカス＝ヘルトン＝ハウの結果を使って、次の等式を示した：

: {\rm det} \, T(e^f) T(e^{-f}) = \exp \sum_{ n>0} na_n a_{-n}.

但し 

: f(z) =\sum a_n z^n 

とする。彼はこの等式を使って、セゲー・ガーボルの有名な極限公式

: \lim_{N\rightarrow \infty} {\rm det} P_N m(e^f) P_N = \exp \sum_{ n>0} na_n a_{-n},

の新たな証明方法を考案した。ここで、*P**N* は 1, *z*, ..., *z**N* によって張られる *H* の部分空間の上への射影とし、*a*0 = 0 とする。

セゲーの極限公式は、1951年、イジング模型のの計算に関するラルス・オンサーガーと楊振寧の研究で生じた問題に対する答えとして、証明された。ウィドムの公式は、セゲーの極限公式をより早く導くものであり、共形場理論におけるボース粒子とフェルミ粒子の間の双対性と恒等的なものである。円板の弧の上でサポートされる関数に対する、セゲーの極限公式の特殊な場合の証明も、ウィドウによるものである；この結果は、ランダム行列の固有値分布に関する確率論的結果を得るために応用されている。

## 非公式な表現
この節では、フレドホルム行列式のある非公式な定義を紹介する。以下のフレドホルム行列式が与えられる状況において、より望ましい定義のためには、いくつかの点が well-defined であったり、収束したりすることについて証明することが求められる。以下で現れる核 *K* は様々なヒルベルト空間やバナッハ空間上で定義され得るものであるため、それらはつまらない練習問題という訳ではない。

フレドホルム行列式は

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

のように定義され得る。但し、*K* は積分作用素である。その作用素のトレースは

:\operatorname{Tr } K = \int K(x,x)\,dx

および

:\operatorname{Tr }\Lambda^2(K) = \frac{1}{2!}  \iint K(x,x)K(y,y)-K(x,y) K(y,x)\,dxdy

および、より一般的に \operatorname{Tr } K^n = \frac{1}{n!}\int\cdots\int \det K(x_i,x_j)|_{1\leq i,j\leq n}\,dx_1\cdots dx_n で与えられる。これらの核はトレースクラスあるいは核作用素であるため、そのようなトレースは well-defined である。

## 応用
フレドホルム行列式は、物理学者 John A. Wheeler (1937, Phys. Rev. 52:1107) によって、共鳴群法により部分波動関数の反対称な組み合わせとして構成される、複合原子核に対する波動関数の数学的表記を与えるために、用いられた。この方法は、アルファ粒子やヘリウム-3、重水素、トリトン、重中性子など、基本的なボース粒子やフェルミ粒子のクラスター群あるいは構成要素へと、中性子や陽子のエネルギーを分配するためのさまざまな方法に対応するものである。ベータやアルファ安定アイソトープのために共鳴群法が応用されるとき、フレドホルム行列式は、(1) 複合システムのエネルギー値を決定するため、および (2) 分布と崩壊の断面図を決定するために用いられる。Wheeler の共鳴群法は、以後のすべての核子クラスターモデルに対する理論的な基盤と、すべての軽および重質量アイソトープのための対応するクラスターエネルギーダイナミクスをもたらすものであった（N.D. Cook, 2006 に含まれる、物理学でのクラスターモデルについてのレビューを参照されたい）。

## 参考文献
*
*
*