ベルグマン核とは
ベルグマン核(Bergman kernel)は、数学の多変数複素関数論における重要な概念で、特に領域 D における
正則関数に関連しています。この核は、ステファン・ベルグマンにちなんで名づけられ、多変数
正則関数の性質を探るための強力なツールです。
まず、ヒルベルト空間について説明します。定義によれば、数値の集合
L²(D) は D 上の二乗可積分関数から構成され、その中の
正則関数だけを考慮した部分空間 L²,h(D) が存在します。具体的に言うと、
$$
L^{2,h}(D) = L^{2}(D) igcap H(D)
$$
ここで、H(D) は D における
正則関数全体の空間を指します。このように定義された L²,h(D) はヒルベルト空間であり、その理由は L²(D) の閉線型部分空間であり、したがって相対的に完備だからです。
D における正則な二乗可積分関数 f について、重要な性質として、この関数が D の任意のコンパクト部分集合 K に対して成り立つ評価が挙げられます。これは、L²(D) の
正則関数列の収束がコンパクト収束を示し、その結果として極限関数もまた正則であることを保証します。
評価写像と汎関数
次に、任意の点 z ∈ D に対する評価写像を考えます。この写像は、次のように定義されます。
$$
ext{ev}_{z}: f o f(z)
$$
リースの表現定理により、この評価写像は L²,h(D) 上の連続線型汎関数として表現され、次のように記述されます。
$$
ext{ev}_{z}f = rac{1}{A}
int_{D} f( ext{ζ}) ar{η_{z}( ext{ζ})} dμ(ζ)
$$
ここで、A は特定の
正則関数に依存する定数です。これは評価写像が内積によって表現可能であることを示しています。
ベルグマン核の定義
ベルグマン核 K は、次のように定義されます。
$$
K(z, ζ) = ar{η_{z}(ζ)}
$$
この核は、z に関しては正則であり、ζ に関しては反正則の特性を持ちます。これを用いて、関数 f(z) を次のように表現することができます。
$$
f(z) =
int_{D} K(z, ζ) f(ζ) dμ(ζ)
$$
正則ノルムとヒルベルト空間の関係
G 上の L² 正則 (n,0) ノルムの空間は、ベルグマン粒子の特性を示します。この空間上の内積は、D の双正則に対して不変であるため、ベルグマン核及びそれに伴うベルグマン計量もまた領域の自己同型群の下で不変です。
このように、ベルグマン核は多変数複素関数論における中心的な役割を果たし、
正則関数とヒルベルト空間の関係をより深く理解する手段を提供しています。さらに、この理論は関連する研究や応用に対しても広範な影響を与えております。