ベルグマン核

ベルグマン核 (ベルグマンかく、テンプレート:Lang-en-short) は、数学の多変数複素関数論において、領域 D in Cⁿ 上のすべての二乗可積分正則関数からなるヒルベルト空間に対するテンプレート:仮リンクである。テンプレート:仮リンクに因んで名づけられている。

詳しくは、L²(D) を D 上の自乗可積分関数のヒルベルト空間とし、L^2,h(D) を D における正則関数からなる部分空間とする。つまり、

$L^{2,h}(D)=L^2(D)\cap H(D)$

ただし H(D) は D における正則関数全体の空間。すると L^2,h(D) はヒルベルト空間である。なぜならば、L²(D) の閉線型部分空間であり、したがってそれ自身完備だからである。これは次の基本的な評価から従う。D における正則二乗可積分関数 ƒ に対し、 テンプレート:NumBlk が D のすべてのコンパクト部分集合 K に対して成り立つ。したがって、L²(D) における正則関数列の収束はコンパクト収束も意味し、そのため極限関数もまた正則である。

(テンプレート:EquationRef) の別の結果は、すべての z ∈ D に対し、評価写像

${\mathrm{ev}}_z:f\mapsto f(z)$

が L^2,h(D) 上の連続線型汎関数であるというものである。リースの表現定理により、この汎関数は L^2,h(D) の元により内積で表せる、つまり、

${\mathrm{ev}}_{z}f=\underset{D}{\int }f(\zeta )\overline{{\eta }_z(\zeta )}d\mu (\zeta ).$

ベルグマン核 K は

$K(z,\zeta )=\overline{{\eta }_z(\zeta )}$

で定義される。核 K(z,ζ) は z について正則で、ζ について反正則で、

$f(z)=\underset{D}{\int }K(z,\zeta )f(\zeta )d\mu (\zeta )$

を満たす。

これについての1つの重要なことは、L^2,h(D) を、 $d{z}^1\wedge \cdots \wedge d{z}^n$ による積により、D 上 L² 正則 (n,0) ノルムの空間と同一視できることである。この空間上の $L^2$ 内積は D の双正則の下で明らかに不変であるから、ベルグマン核およびそれに伴うベルグマン計量は自動的に領域の自己同型群の下で不変である。

関連項目

• ベルグマン計量
• ベルグマン空間
• テンプレート:仮リンク

参考文献

• テンプレート:Citation.
• テンプレート:SpringerEOM.
• 大沢健夫：「関数論外伝：Bergman 核の100 年」、現代数学社、ISBN 978-4-7687-0592-6（2022年10月）。