ハルトークスの拡張定理

数学の、特に多変数複素函数論において、ハルトークスの拡張定理とは、多変数正則函数の特異点に関する定理である。 この定理は、多変数正則関数の特異点の台がコンパクトにならないこと、つまりおおざっぱに言うと、特異点集合がある方向に「無限遠まで伸びる」ということを述べている。 より正確には、この定理は //n//>1}} 個の複素変数をもつ解析函数に対して、その孤立特異点がつねに除去可能特異点であることを示している。 この定理の最初のバージョンは、フリードリヒ・ハルトークスにより証明され、「ハルトークスの補題」や「ハルトークスの原理」としても知られている。初期のソ連の文献では、 この定理はオズグッド・ブラウンの定理とも呼ばれ、後のウィリアム・フォッグ・オズグッドとアーサー・バートン・ブラウンの仕事としても知られている。この多変数の正則函数の性質はハルトークス現象とも呼ばれている。しかし、「ハルトークス現象」という表現は、偏微分方程式系や畳み込み作用素の解がハルトークス形式の定理を満たすという性質を表すことにも同様に使われる。

1. 歴史的な話題
---------

元々の証明は1906年にフリードリヒ・ハルトークスにより与えられ、コーシーの積分公式を多変数複素函数に適用して証明された。現在は、通常、ボホナー・マルティエリ・コッペルマンの公式か、コンパクトな台を持つ非同次コーシー・リーマンの方程式の解に依拠して証明される。コーシー・リーマンの方程式によるアプローチは、レオン・エーレンプライスが論文 Ehrenpreis で導入した。もうひとつの非常に単純な証明は、ガエターノ・フィチェーラが論文 Fichera で、多変数正則函数のディリクレ問題の解とCR関数に関連した概念を用いて与えた。後に、彼はこの定理を論文 Fichera で偏微分方程式のあるクラスへ拡張し、さらにこのアイデアは、その後ギウリアーノ・バラッティにより大きく拡張された。また、金子晃らの偏微分作用素の日本での研究も、この分野に大きく寄与している。彼らのアプローチは、エーレンプライスの基本原理を使うものである。

2. ハルトークス現象
-----------

一変数で成立するが多変数では成り立たない現象をハルトークス現象という。この現象は、このハルトークスの拡張定理や正則領域の考え方、ひいては多変数複素函数論の発展を導いた。

2変数の場合を例にとり、 として、二重円板 の内部領域

を考える。

定理 Hartogs: 上の任意の正則函数 は へ解析接続される。すなわち、 上の正則函数 が存在し、 上で となる。

実際、コーシーの積分公式を使い、拡張された函数 得ることができる。すべての正則函数は多重円板へ解析接続できて、多重円板はもとの正則函数が定義された領域よりも真に広くなる。このような現象は、一変数では決して起きない現象である。

3. 次元 1 のときの反例
--------------

このハルトークスの拡張定理は n =}} 1}} のときには成り立たない。次元 1 でこの定理が成り立たないことを示すには、函数 f =}} z−1}} を考えれば充分である。この函数は明らかに C\0}}} の中では正則であるが、C}} 全体上の正則函数として連続ではない。このように一変数と多変数の函数論の間の差異が顕わになることこそ、ハルトークス現象の性質である。

4. 脚注
-----

5. 歴史的な参考文献
-----------

last = Fuks.

last = Osgood.

last = Range. An historical paper correcting some inexact historical statements in the theory of holomorphic functions of several variables, particularly concerning contributions of Gaetano Fichera and Francesco Severi.

last = Severi. This is the first paper where a general solution to the Dirichlet problem for pluriharmonic functions is solved for general real analyitic data on a real analytic hypersurface. A translation of the title reads as:-"//Solution of the general Dirichlet problem for biharmonic functions//".

last = Severi. A translation of the title is:-"//Lectures on analytic functions of several complex variables – Lectured in 1956–57 at the Istituto Nazionale di Alta Matematica in Rome//". This book consist of lecture notes from a course held by Francesco Severi at the Istituto Nazionale di Alta Matematica , and includes appendices of Enzo Martinelli, Giovanni Battista Rizza and Mario Benedicty.

last = Struppa.

last = Vladimirov. One of the first modern monographs on the theory of several complex variables, being different from other ones of the same period due to the extensive use of generalized functions.

6. 参考文献
-------

last = Bochner.

last = Bochner.

last = Bratti. A translation of the title reads as:-"//About an example of Fichera concerning Hartogs' phenomenon//".

last = Bratti. An English translation of the title reads as:-"//Extension of a theorem of Fichera for systems of P.D.E. with constant coefficients, concerning Hartogs' phenomenon//".

last = Bratti. An English translation of the title reads as:-"//On a theorem of Hartogs//".

last = Ehrenpreis. A fundamental paper in the theory of Hrtogs' phenomenon. The typographical error in the title is reproduced in as it is appears in the original version of the paper.

last = Fichera. An epoch-making paper in the theory of CR-functions, where the Dirichlet problem for analytic functions of several complex variables is solved for general data. A translation of the title reads as:-"//Characterization of the trace, on the boundary of a domain, of an analytic function of several complex variables//".

last = Fichera. An English translation of the title reads as:-"//Hartogs phenomenon for certain linear partial differential operators//".

last = Fueter. Available at the [1]. An English translation of the title reads as:-"//On a theorem of Hartogs//".

last = Fueter. Available at the [2]. An English translation of the title reads as:-"//On a theorem of Hartogs in the theory of analytic functions of complex variables//".

last = Hartogs.

last = Hartogs. Available at the [3].

last = Hörmander.

last = Kaneko, available at [4].

last = Martinelli. Available at the [5]. An English translation of the title reads as:-"//On a proof by R. Fueter of a theorem of Hartogs//".

last = Severi. An English translation of the title reads as:-"//A fundamental property of the domain of holomorphy of an analytic function of one real variable and one complex variable//".

last = Severi. Available at the [6]. An English translation of the title reads as:-"//About a theorem of Hartogs//".

7. 外部リンク
--------