ヒルベルト＝シュミット積分作用素

数学の分野において、ヒルベルト＝シュミット積分作用素（ヒルベルト＝シュミットせきぶんさようそ、テンプレート:Lang-en-short）は、積分変換の一種である。特に、n-次元ユークリッド空間 Rⁿ 内の与えられた領域（開かつ連結な集合）Ω に対して、ヒルベルト＝シュミット核（Hilbert-Schmidt kernel）は次を満たす関数 k : Ω × Ω → C として与えられる：

$\underset{\mathrm{\Omega }}{\int }\underset{\mathrm{\Omega }}{\int }|k(x,y){|}^{2}dxdy<\mathrm{\infty }.$

すなわち、k の L²(Ω×Ω; C) ノルムは有限である。これに対応するヒルベルト＝シュミット積分作用素は、次のような作用素 K : L²(Ω; C) → L²(Ω; C) のことを言う：

$(Ku)(x)=\underset{\mathrm{\Omega }}{\int }k(x,y)u(y)dy.$

このとき、K はヒルベルト＝シュミットノルム

$\Vert K{\Vert }_{\mathrm{H}\mathrm{S}}=\Vert k{\Vert }_{L^2}$

を備えるヒルベルト＝シュミット作用素であることに注意されたい。ヒルベルト＝シュミット積分作用素は、すべてのヒルベルト＝シュミット作用素がそうであるように、連続（したがって有界）かつコンパクトである。

ヒルベルト＝シュミット作用素の概念は、任意の局所コンパクトハウスドルフ空間へと拡張できる場合もある。具体的に、X を、正のボレル測度を備える局所コンパクトなハウスドルフ空間とする。また、L²(X) を可分なヒルベルト空間とする。Rⁿ 上の核 k についての上述の条件は、L²(X × X) に k が属することを要求するものであると解釈できる。このとき、作用素

$(Kf)(x)=\underset{X}{\int }k(x,y)f(y)dy$

はコンパクトである。もしも

$k(x,y)=\overline{k(y,x)}$

が成立するなら、K は自己共役作用素であり、したがってスペクトル定理が適用される。これは、このような作用素の基本的な構成方法の一つであり、無限次元ベクトル空間についての問題を、よく知られている有限次元固有空間の問題へと簡略化する際にしばしば用いられている。そのような例については、参考文献にある Bump の本の第 2 章を見られたい。

関連項目

• ヒルベルト＝シュミット作用素
• ダフィット・ヒルベルト
• エルハルト・シュミット

参考文献

• テンプレート:Cite book (Sections 7.1 and 7.5)

• テンプレート:Cite book