多変数複素関数

数学における多変数複素関数論（たへんすうふくそかんすうろん、英: the theory of functions of several complex variables）とは、複素多変数の複素数値関数、すなわち、n 個の複素数の組全体のなす数ベクトル空間 Cⁿ 上の複素数値関数

$f(z_{1},z_{2},\ldots ,z_{n})$

を扱う分野である。複素解析（これは n = 1 の場合に当たる理論ではあるが、n > 1 の場合とは一線を画す性質を持つ）と同様、任意の単なる函数を扱うものではなく、正則 (holomorphic) あるいは複素解析的 (complex analytic) な関数、つまり局所的に変数 z_i たちの冪級数で書けるような関数を扱う。そのような関数は結局のところ、多項式列の局所一様極限として得られるような関数ということもでき、n 次元コーシー・リーマンの方程式の局所解と言っても同じことであるということが分かる。

歴史的観点

上述のような関数の多くの例は、19世紀の数学においてよく研究されたものであった。例えばアーベル関数やテータ関数の他、ある種の超幾何級数がそのような例として挙げられる。またもちろん、ある複素媒介変数に依存する任意の一変数関数も、そのような例となる。しかしそれらの特徴的な現象は捉えられていなかったため、長年の間、解析学においてその理論の完成は十分ではなかった。ワイエルシュトラスの準備定理は現在では可換環論に分類されるであろう。それは、リーマン面の理論における分岐点の一般化を扱った局所的な描像である分岐を正当化したものである。

1930年代のフリードリヒ・ハルトークスと岡潔の成果により、一般理論の構築がなされ始めた。その当時の同分野における他の研究者には、ハインリヒ・ベーンケ、ペーター・トゥレンおよびカール・シュタインがいる。ハルトークスは、n > 1 のとき任意の解析的関数

$f:\mathbf {C} ^{n}\longrightarrow \mathbf {C}$

に対してすべての孤立特異点は除去可能であるなど、いくつかの基本的な結果を証明した。ここで当然、周回積分と類似の概念は扱いが難しくなる。n = 2 の場合だと、ある点の周りの積分は、（実4次元で考えるため）3次元多様体上で行わなければならず、また2つの別々の複素変数についての逐次周回（線）積分は2次元曲面上の二重積分として扱われる必要がある。このことは、留数計算が非常に異なる性質を持つようになることを意味する。

1945年以降、アンリ・カルタンのフランスでのセミナーにおける重要な研究や、ハンス・グラウエルトおよびラインホルト・レンメルトのドイツでの重要な研究によって、理論の描像は著しく変化した。多くの問題、特に解析接続についての問題が、明らかにされた。ここで一変数の理論との主要な違いが明らかになる。すなわち、１変数の場合はC 内の任意の開連結集合 D に対して、その境界を超えて解析接続できない関数を見つけることができるが、多変数n > 1 の場合にはそのようなことはいえないのである。実際、そのような性質を持つ領域 D はあるていど特殊なものになる（擬凸性と呼ばれる条件をもつ）。最大限解析接続された関数の自然な定義域は、シュタイン多様体と呼ばれ、その性質は層係数コホモロジー群が消えるというものである。実は、（特に）岡の仕事を、理論の定式化において層を首尾一貫して使用することを導いたよりはっきりした基本へとすることが必要だったのだ。

さらに進んで、解析幾何（紛らわしいが、これは解析函数の零点の幾何に関する名称であり、初中等教育で習うような解析幾何学のことではない）や多変数の保型形式、偏微分方程式などに応用できる基本的な理論が構築された。また複素構造の変形理論や複素多様体は、小平邦彦やドナルド・スペンサーによって一般的な形で記述された。さらに、セールの高名な論文GAGAにおいて、解析幾何 (géometrie analytique) を代数幾何 (géometrie algébrique) へと橋渡す観点が突き止められた。

カール・ジーゲルは、新たな多変数複素関数論の対象になる関数がほとんどない、すなわち、理論における特殊関数的な側面は層に従属するものであったことに、不平をもらしたことが知られている。数論に対する興味は、確かに、モジュラー形式の特定の一般化にある。その古典的な代表例は、ヒルベルトモジュラー形式やジーゲルモジュラー形式である。今日においてそれらは、代数群と関連付けられている。（それぞれ GL(2) の総実代数体のヴェイユ制限と、シンプレクティック群である。）それらは、保型表現が解析関数から生じうるものである。ある意味でこれはジーゲルとは矛盾しない。現代の理論はそれ自身の異なる方向性を持つものである。

その後の発展として、超関数 (hyperfunction) の理論や楔の刃の定理が挙げられるが、それらはいずれも場の量子論からいくらかの着想を得たものである。その他、バナッハ環の理論など、多変数複素関数を利用する分野がいくつかある。

Cⁿ 空間

最も簡単なシュタイン多様体は、複素数の n-組からなる空間 Cⁿ（複素 n-次元数空間）である。これは複素数体 C 上の n-次元ベクトル空間とみることができて、つまりR 上の次元が 2n である。したがって、集合および位相空間として、Cⁿ は R²ⁿ と等しく、その位相次元は 2n である。

座標に依らない形で述べるならば、複素数体上の任意のベクトル空間は、その2倍の次元を持つ実ベクトル空間と考えることができる。ここに複素構造は、虚数単位 i によるスカラー倍を定義する線型作用素 J（J² = −I をみたす）によって特定される。

そのような任意の空間は、実空間として向き付けられている。ガウス平面をデカルト平面と見做したとき、複素数 w = u + iv を掛けるという操作は、実行列

${\begin{pmatrix}u&&-v\\v&&u\end{pmatrix}}$

によって表現される。これは 2次実正方行列で、行列式は

$u^{2}+v^{2}=|w|^{2}$

となる。同様に、任意の有限次元複素線型作用素を実行列として表現すると（上述の形の 2×2 ブロックによって構成され）、その行列式は対応する複素行列式の絶対値の自乗に等しい。それは非負の数であり、このことは複素作用素によって空間の（実の）向き付けが逆になることはないことを意味する。同様のことは Cⁿ から Cⁿ への正則関数のヤコビ行列に対しても適用される。

正則関数

一変数複素関数の正則性の定義には、局所的に整級数で表されることを条件として定義する方法、コーシー・リーマン方程式を満たすことを条件として定義する方法、複素的に微分可能であることを条件として定義する方法の3通りの方法があった。多変数の場合にも複数の定義の仕方がある。

n を2以上の整数とし、f を Cⁿ の領域 D 上定義された複素数値関数とする。f に対する以下の条件は同値であり、いずれか一つ（したがって全て）を満たすとき、f は D 上正則（holomorphic）であるという。

• D の任意の点 z₀ に対し、この点の近傍で収束するべき級数を用いて f は

$f(z)=\sum _{\alpha \in \mathbb {N} _{0}^{n}}c_{\alpha }(z-z_{0})^{\alpha }$

と表される。ここで N₀ は0以上の整数のなす集合、(z − z₀)^α は多重指数記法による冪である。

• D の任意の点 z⁽⁰⁾ に対し、この点の近傍で連続な関数 α₁, ..., α_n が存在しその近傍で

$f(z)=f(z^{(0)})+\sum _{j=1}^{n}\alpha _{j}(z)(z_{j}-z_{j}^{(0)})$

が成り立つ。

• f は連続的微分可能な複素数値関数であり、各変数についてコーシー・リーマンの方程式を満たす。

• f は連続であり、さらに、D の各点で n 個の変数のうち任意の n − 1 個の変数を固定し f を残りの1個の変数の関数と見たとき、この1変数複素関数が正則である。後者の条件が満たされるとき、f は各変数について正則であるという。

• f は各変数について正則である（上の条件から連続という条件を外している）。

最後の条件を除く4条件が同値であることは、一変数複素関数の正則性の特徴づけやベキ級数の項別微分、コーシーの積分公式を用いれば示すことができる。最後の条件、つまり変数別の正則性から連続性が導かれることはハルトークスの正則性定理と呼ばれる著名な結果である。

古典的には4番目の条件、つまり連続性と各変数についての正則性で多変数複素関数の正則性を定義していた。

関連項目

• 連接層
• 双正則写像
• 正則領域
• 複素射影空間

定理

• カルタンの定理
• ハルトークスの拡張定理
• ハルトークスの定理

研究者

• 岡潔
• 大沢健夫

関連分野

• クザン問題
• 複素幾何学
• 実多変数関数

脚注

参考文献

洋書

• Behnke, H.; Thullen, P. (1934). Theorie der Funktionen mehrerer komplexer Veränderlichen , Springer-Verlag, eISBN 978-3-642-99659-7 (電子版2013年).
• Bochner, Salomon; Martin, W. T. (1948). Several Complex Variables , Princeton Univ. Press, ISBN 978-0-69108032-1
• H.Grauert and K.Fritzsche(1976). Several Complex Variables, Springer-Verlag, ISBN 978-1-4612-9876-2
• Hörmander, Lars (1973) [1966]. An Introduction to Complex Analysis in Several Variables (2 ed.). https://books.google.co.jp/books?id=MaM7AAAAQBAJ  and later editions
• Hörmander, Lars(1990). An Introduction to Complex Analysis in Several Variables, 3rd Ed., North Holland, ‎ISBN 978-0444884466
• Krantz, Steven G. (1992). Function Theory of Several Complex Variables , 2nd Ed., AMS Chelsea pub., ISBN 978-0-8218-2724-6
• Scheidemann, Volker (2005). Introduction to complex analysis in several variables. Birkhäuser. ISBN 3-7643-7490-X 

和書

• 辻 正次「多複素變數函數論」『岩波講座数学 VIII』岩波書店、1935年。NDLJP:1785277。 
• フランチェスコ・セヴェリ 著、弥永 昌吉 訳『多変数解析函数論講義』岩波書店、1936年。NDLJP:1237856。 
• 一松 信『多変数函数論』共立出版〈現代数学講座〉、1956年。 
• 一松 信『多変数解析函数論』培風館、(1960年9月25日)。NDLJP:2421964。 2016年に復刻出版。
• 酒井 栄一『多変数関数論』共立全書、1966年。NDLJP:1381566。 
• 梶原 壌二『複素関数論』森北出版、1968年。 2007年にPOD化して復刻出版。
• ラース・ヘルマンダー 著、笠原 乾吉 訳『多変数複素解析学入門』（2版）東京図書、1973年。NDLJP:12623477。 
• 倉田 令二朗「多変数関数論を学ぶ」『数学セミナー』（1977年7月号～1978年5月号）。 2015年に単行本化。
• 樋口禎一、吉永悦男、渡辺公夫：「多変数複素解析入門」、森北出版（数学ライブラリー51）（1980年10月20日）
• 中野 茂男『多変数函数論 ─微分幾何学的アプローチ─』朝倉書店、(1981年5月20日)。 
• 樋口 禎一、瀬島都夫、泉池敬司、渡辺公夫『多変数複素解析』培風館、(1984年10月5日)。ISBN 4-563-00557-6。 
• 西野 利雄『多変数函数論』東京大学出版会、(1996年11月20日)。ISBN 4-13-066900-1。 
• 大沢 健夫『多変数複素解析』岩波書店〈現代数学の展開〉、1998年。 2008年に単行本化。
• 山口 博史『複素関数』朝倉書店、2003年。 2019年に復刻出版。
• 安達 謙三『多変数複素関数論』開成出版、2003年。 
• 大沢健夫：「複素解析幾何と${\overline {\partial }}$方程式」、培風館、 (2006年2月20日)。ISBN 4-563-00662-9。
• 若林 功『多変数関数論』共立出版、2013年。 
• 野口 潤次郎『多変数解析関数論 ─学部生へおくる岡の連接定理─』朝倉書店、(2013年3月30日)。ISBN 978-4-254-11139-2。 
• 大沢 健夫『岡潔 多変数関数論の建設』現代数学社、(2014年10月23日)。ISBN 978-4-7687-0438-7。 
• 倉田令二朗『多変数複素関数論を学ぶ』高瀬正仁 解説、日本評論社、2015年。 
• 安達 謙三『多変数複素解析入門』開成出版、2016年。 
• 大沢 健夫『多変数複素解析 増補版』岩波書店、2018年。 
• 野口 潤次郎『多変数解析関数論 (第2版) ─学部生へおくる岡の連接定理─』朝倉書店、2019年。 
• 安達 謙三『多変数複素関数論序説』開成出版、2021年。 
• 野口 潤次郎『岡理論新入門：多変数関数論の基礎』培風館、2021年。 
• 相原義弘、野口潤次郎:「複素解析 － 一変数・多変数の関数 －」、裳華房、（2024年3月）。ISBN 978-4-7853-1605-1。