ハルトークスの拡張定理とは - わかりやすく解説 Weblio辞書

索引トップ用語の索引ランキングカテゴリー

ハルトークスの拡張定理

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/30 10:15 UTC 版)

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

歴史的な話題

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

ハルトークス現象

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

2変数の場合を例にとり、 $0<\varepsilon <1$ として、二重円板 $\Delta ^{2}=\{z\in \mathbb {Z} ;|z_{1}|<1,|z_{2}|<1\}$ の内部領域

H_{\varepsilon }=\{z=(z_{1},z_{2})\in \Delta ^{2}:|z_{1}|<\varepsilon \ \ {\text{or}}\ \ 1-\varepsilon <|z_{2}|\}

を考える。

定理 Hartogs (1906): $H_{\varepsilon }$ 上の任意の正則函数 $f$ は $\Delta ^{2}$ へ解析接続される。すなわち、 $\Delta ^{2}$ 上の正則函数 $F$ が存在し、 $H_{\varepsilon }$ 上で $F=f$ となる。

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

次元 1 のときの反例

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

脚注

^ ^a ^b 原論文であるHartogs (1906) やOsgood (1963, pp. 56–59), Severi (1958, pp. 111–115), Struppa (1988, pp. 132–134) による様々な歴史的研究報告を参照。特に最後の参考文献の p. 132 では、筆者が「(Hartogs 1906) のタイトルで触れられており、すぐに分かる通り、証明のためのキーとなるツールはコーシーの積分公式である。」と直接言及している。
^ たとえば、Vladimirov (1966, p. 153) を参照。この文献では、読者に証明のために書籍 Fuks (1963, p. 284) を紹介している。（しかし、前者の文献では、p 324 の証明は正しくない。）
^ See Brown (1936) and Osgood (1929).
^ See Fichera (1983) and Bratti (1986a) (Bratti 1986b).
^ フィチェーラの証明や彼の画期的な論文 (Fichera 1957) は、多変数複素函数論の専門家の多くから見過ごされてきたようである。Range (2002) では、この分野の多くの重要な定理の正しい役割が記載されている。
^ See Bratti (1986a) (Bratti 1986b).
^ (Kaneko 1973) や、そこにある文献を参照。

歴史的な参考文献

Fuks, B. A. (1963), Introduction to the Theory of Analytic Functions of Several Complex Variables, Translations of Mathematical Monographs, 8, Providence, RI: American Mathematical Society, pp. vi+374, MR 0168793, Zbl 0138.30902 .
Osgood, William Fogg (1966) [1913], Topics in the theory of functions of several complex variables (unabridged and corrected ed.), New York: Dover, pp. IV+120, JFM 45.0661.02, MR0201668, Zbl 0138.30901 .
Range, R. Michael (2002), “Extension phenomena in multidimensional complex analysis: correction of the historical record”, The Mathematical Intelligencer 24 (2): 4–12, doi:10.1007/BF03024609, MR1907191 . 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.
Severi, Francesco (1931), “Risoluzione del problema generale di Dirichlet per le funzioni biarmoniche” (Italian), Rendiconti della Accademia Nazionale dei Lincei, Classe di Scienze Fisiche, Matematiche e Naturali, series 6, 13: 795–804, JFM 57.0393.01, Zbl 0002.34202 . 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".
Severi, Francesco (1958) (Italian), Lezioni sulle funzioni analitiche di più variabili complesse – Tenute nel 1956–57 all'Istituto Nazionale di Alta Matematica in Roma, Padova: CEDAM – Casa Editrice Dott. Antonio Milani, Zbl 0094.28002 . 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 (which at present bears his name), and includes appendices of Enzo Martinelli, Giovanni Battista Rizza and Mario Benedicty.
Struppa, Daniele C. (1988), “The first eighty years of Hartogs' theorem”, Seminari di Geometria, 1987–1988, Bologna: Università degli Studi di Bologna, pp. 127–209, MR0973699, Zbl 0657.35018 .
Vladimirov, V. S. (1966), Ehrenpreis, L., ed., Methods of the theory of functions of several complex variables. With a foreword of N.N. Bogolyubov, Cambridge-London: The M.I.T. Press, pp. XII+353, MR0201669, Zbl 0125.31904 (Zentralblatt review of the original Russian edition). 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.