ハルトークスの拡張定理

数学の、特に多変数複素函数論において、ハルトークスの拡張定理(Hartogs' extension theorem)とは、多変数正則函数の特異点に関する定理である。
この定理は、多変数正則関数の特異点の台がコンパクトにならないこと、つまりおおざっぱに言うと、特異点集合がある方向に「無限遠まで伸びる」ということを述べている。
より正確には、この定理は 個の複素変数をもつ解析函数に対して、その孤立特異点がつねに除去可能特異点であることを示している。
この定理の最初のバージョンは、フリードリヒ・ハルトークスにより証明され、「ハルトークスの補題」や「ハルトークスの原理」としても知られている。初期のソ連の文献では、 この定理はオズグッド・ブラウンの定理(Osgood-Brown theorem)とも呼ばれ、後の(William Fogg Osgood)と(Arthur Barton Brown)の仕事としても知られている。この多変数の正則函数の性質はハルトークス現象(Hartogs' phenomenon)とも呼ばれている。しかし、「ハルトークス現象」という表現は、偏微分方程式系や畳み込み作用素の解がハルトークス形式の定理を満たすという性質を表すことにも同様に使われる。
歴史的な話題.
元々の証明は1906年にフリードリヒ・ハルトークスにより与えられ、コーシーの積分公式を多変数複素函数に適用して証明された。現在は、通常、(Bochner–Martinelli–Koppelman formula)か、コンパクトな台を持つ非同次コーシー・リーマンの方程式の解に依拠して証明される。コーシー・リーマンの方程式によるアプローチは、(Leon Ehrenpreis)が論文 で導入した。もうひとつの非常に単純な証明は、(Gaetano Fichera)が論文 で、多変数正則函数のディリクレ問題の解とCR関数に関連した概念を用いて与えた。後に、彼はこの定理を論文 で偏微分方程式のあるクラスへ拡張し、さらにこのアイデアは、その後ギウリアーノ・バラッティ(Giuliano Bratti)により大きく拡張された。また、金子晃らの偏微分作用素の日本での研究も、この分野に大きく寄与している。彼らのアプローチは、(Ehrenpreis' fundamental principle)を使うものである。
ハルトークス現象.
一変数で成立するが多変数では成り立たない現象をハルトークス現象(Hartogs' phenomenon)という。この現象は、このハルトークスの拡張定理や正則領域の考え方、ひいては多変数複素函数論の発展を導いた。
2変数の場合を例にとり、formula_1 として、二重円板 formula_2 の内部領域
を考える。
定理 : formula_4 上の任意の正則函数 formula_5 は formula_6 へ解析接続される。すなわち、formula_6 上の正則函数 formula_8 が存在し、formula_4 上で formula_10 となる。
実際、コーシーの積分公式を使い、拡張された函数 formula_8 得ることができる。すべての正則函数は多重円板へ解析接続できて、多重円板はもとの正則函数が定義された領域よりも真に広くなる。このような現象は、一変数では決して起きない現象である。
次元 1 のときの反例.
このハルトークスの拡張定理は のときには成り立たない。次元 1 でこの定理が成り立たないことを示すには、函数 を考えれば充分である。この函数は明らかに } の中では正則であるが、 全体上の正則函数として連続ではない。このように一変数と多変数の函数論の間の差異が顕わになることこそ、ハルトークス現象の性質である。