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

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

定義

編集

Hヒルベルト空間とし、GH 上の有界可逆作用素I + T と書き表されるようなもの(ここで Tトレースクラス作用素英語版とする)とする。G は、

 

が成立するために、である。

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

H を、内積   を備えるヒルベルト空間としたとき、k次の外積冪   も、内積

 

によりヒルベルト空間となる。

特に、H正規直交基底を (ei) としたとき、

 

  の正規直交基底となる。

AH 上の有界作用素とするなら、A  上の有界作用素  

 

として functorially に定義する。

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

 

によって  (A) もトレースクラスとなる。このことから、

 

として定義されるフレドホルム行列式には、意味があることが分かる。

性質

編集
  • A がトレースクラス作用素であるなら、
 
 
を満たす整関数である。
  • 関数 det(I + A) は
 
という不等式によって、トレースクラス作用素の空間上で連続となる。
また、この不等式は、Simon (2005) の第5章で述べられているように、
 
という不等式によって、わずかに改良される。
  • AB がトレースクラスであるなら、
 
が成り立つ。
  • 関数 det は、非ゼロ複素数の乗法群 C* への G準同型写像である。
  • TG に含まれ、X が可逆であるなら、
 
が成り立つ。
  • A がトレースクラスであるなら、
 
 
が成り立つ。

交換子のフレドホルム行列式

編集

(a, b) から G への関数 F(t) は、F(t) -I がトレースクラス作用素への写像として微分可能であるとき、すなわち、極限

 

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

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

 

が成立する。ここで

 

である。イスラエル・ゴーベルグ英語版マーク・クライン英語版は、FG への微分可能関数であるとき、f = det FC* への微分可能写像で、

 

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

 

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

セゲーの極限公式

編集

H = L2 (S1) とし、Pハーディ空間 H2 (S1) の上への直交射影とする。

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

交換子

Pm(f) - m(f)P

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

T(f) を、

 

のように定義される H2 (S1) 上のテープリッツ作用素英語版とする。このとき、加法的な交換子

 

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

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

 

fg が滑らかであるなら、

 

G に含まれる。

ハロルド・ウィドム英語版は、ピンカス=ヘルトン=ハウの結果を使って、次の等式を示した:

 

但し

 

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

 

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

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

非公式な表現

編集

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

フレドホルム行列式は

 

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

 

および

 

および、より一般的に   で与えられる。これらの核はトレースクラスあるいは核作用素であるため、そのようなトレースは 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