複素解析

複素解析学[[画像:Color complex plot.jpg|240px|thumb|複素関数//f// = 2}}/のグラフ。色相は偏角を表し、明度は絶対値を表す。]]数学の一分野である複素解析は、複素数上で定義された関数の微分法、積分法、変分法、微分方程式論、積分方程式論などの総称であり、関数論とも呼ばれる。初等教育以降で扱う実解析に対比して複素解析というが、現代数学の基礎が複素数であることから、単に解析といえば複素解析を意味することもある。複素解析の手法は、応用数学を含む数学全般、理論物理学、工学などの多くの分野で用いられている。

1. 歴史
-----

1.1. 複素解析の理論に貢献した先人
-------------------

複素解析は最も古くからある数学の分野の一つであり、その起源は18世紀あるいはそれより以前にまでたどることができる。レオンハルト・オイラー、カール・フリードリッヒ・ガウス、ベルンハルト・リーマン、オーギュスタン＝ルイ・コーシー、ヨースタ・ミッタク＝レフラー、ワイエルシュトラスといった数学者や他の多くの20世紀の数学者たちが複素解析の理論に貢献している。

1.2. 複素解析の応用
------------

歴史的に複素解析、特に等角写像の理論は工学・地図学・物理学に多くの応用があるが、解析的整数論全般にわたっても応用されている。近年は複素力学系の勃興や正則関数の繰り返しによって与えられるフラクタル図形の研究などによって有名になっている。

他の重要な応用として共形変換に対して作用が不変な場の量子論である共形場理論が挙げられる。また電気工学におけるフェーザ表示、固体力学における応力関数、流体力学における複素速度ポテンシャルなど、工学の様々な分野にも応用されている。

2. 複素関数
-------

複素関数とは、自由変数と従属変数がともに複素数の範囲で与えられるような関数である。より正確に言えば複素平面の部分集合上で定義された複素数値の関数が複素関数と呼ばれる。複素関数に対し自由変数や従属変数を実部と虚部とに分けて考えることができる。 従って複素関数の成分

は、2つの実変数 //x//, //y//}} についての実数値関数だと考えることができる。複素解析の基本的な概念は、指数関数、対数関数、三角関数などの実関数を複素関数に拡張することにより与えられることが多い。

3. 正則関数
-------

正則関数とは、複素平面のある領域 //D// で定義され、定義域の全体で複素微分可能、つまり任意の //a// ∈ //D// に対し極限

が定まる複素関数 //f// をいう。 複素関数については複素微分可能であることと解析的であること、つまり

任意の //a// ∈ //D// に対して複素係数のべき級数
//a// から一定の距離の範囲でこの級数が収束して、
収束値が関数値 //f// に一致することが同値である。そのため、複素解析においては正則関数  、複素微分可能関数  、解析関数  という用語は同義になる。複素関数が複素微分可能でない点を特異点  という。

3.1. 特異点の分類
-----------

複素解析は解析的な領域を主として探求する分野であるが、複素関数に特異点がある場合、特異点を含む領域全体に於ける大局的な挙動は特異点に支配される。従って、特異点の位置や性質を研究することは複素解析の範疇に含まれる。

特異点には孤立したものと孤立しないものとがあるが、複素解析の対象となるのは主に孤立した特異点である。

3.1.1. 孤立特異点
------------

孤立特異点は、可除特異点、極 、真性特異点に分類される。除去可能な特異点とは、その点における値を適当に取り直すことにより、複素函数をその近傍で解析的にすることができるときに言う。極とは、複素函数 //f//}} の特異点 1=//z// = //a//}} であって、sup において除去可能な特異点となる自然数 n}} が存在するものをいう。真性特異点とは、除去可能でも極でもない孤立特異点をいう。

3.1.2. 非孤立特異点
-------------

非孤立特異点は、特異点が稠密に連なっているために、その近傍に必ず他の特異点を含んでしまう特異点をいう。例えば 1=//f// = 1/sin}} は 1=//z// = 0}} に非孤立特異点を持つ。この他に、定義域の自然な境界や多価関数を一価関数として扱うために導入する分岐切断  も一種の特異点と考えられる。分岐切断の端点を分岐点  というが、分岐切断が有るかぎり、分岐点は孤立した特異点になりえない。然し、分岐切断は何処に置いてもよいものであるから都合に合わせて分岐切断を動かせば、分岐点を恰も孤立した特異点であるかのように扱える。この発想はリーマン面に通ずる。分岐点は代数分岐点と対数分岐点に分類されるが、代数特異点、対数特異点と呼ばれることもある。

3.2. 複素関数の分類
------------

複素関数が微分可能であるということは、実関数が微分可能であるということに比べて遥かに強い条件である。一階微分可能な複素関数は無限階微分可能であり、積分可能であり、解析的である。定義域の全体で正則な関数を正則関数といい、特に複素平面全体を定義域とする正則関数を整関数という。孤立した極を除いて正則な関数を有理型関数という。指数関数、正弦関数、余弦関数、多項式関数など、多くの初等関数は整関数であるが、正接関数などは極を持つから有理型であり、対数関数は負の実軸に分岐を持ち正則でない。ガンマ関数は負の整数に極を持つから有理型であるが、右半平面に限れば正則である。

4. 著しい特徴
--------

4.1. 複素線積分
----------

複素解析においてよく用いられる道具立てに複素線積分がある。コーシーの積分定理によって、閉じた経路で囲まれた領域の内側全体で正則になっている関数を、その経路上線積分した値はかならず 0 になるということがわかる。もし正則関数が特定の点を極にしているとき、つまりそこで関数の値が「爆発」し有限の値をとらないときには、その点での関数の留数を求めることで線積分の値を決定できる。各複素数における正則関数の値は、その点のまわりの円周上での線積分の値として求めることができる。また、正則関数の線積分に関する留数の理論を用いることで複雑な実積分の値を決定することもできるようになる。

4.2. カゾラーティ・ワイエルシュトラスの定理
------------------------

カゾラーティ・ワイエルシュトラスの定理によって真性特異点のまわりでの正則関数の挙動に関する驚くべき性質が導かれる。特異点のまわりでの関数の挙動はテイラー級数に類似のローラン級数によって記述される。

4.3. リウヴィルの定理
-------------

リウヴィルの定理によって複素平面全体で有界な正則関数は定数関数に限られることがわかるが、これをもちいて複素数体が代数的閉体であるという代数学の基本定理の自然で簡単な証明が与えられる。

4.4. 解析接続
---------

正則関数の重要な性質に、正則関数の連結な領域上全体での挙動が任意のより小さい領域上の挙動によって決定されてしまう、というものがある。大きい領域全体でのもとの関数は小さい領域上に制限して考えたものの解析接続とよばれる。このような原理によってリーマンゼータ関数など、限られた領域上でしか収束しない級数によって定義されていた関数を複素平面全体に正則関数や有理型関数として拡張することが可能になる。場合によっては自然対数などのように複素平面内の単連結でない領域への解析接続が不可能なこともあるが、リーマン面とよばれる曲面を導入することでその上の正則関数としての「解析接続」を考えることができる。

4.5. 多変数複素解析
------------

上記の結果はすべて一変数に関する複素解析のものであるが、多変数複素解析に関しても豊かな理論が存在し、べき級数展開などの解析的な性質が成立している。一方で共形性などの一変数正則関数が持つ幾何学的な性質は拡張されず、リーマンの写像定理が示すような複素平面の領域に関する共形関係性などの複素一変数の理論では成立する重要な性質が複素二変数以上の理論ではもはや成立しない。

5. 脚注
-----

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

[1]
辻 正次、函数論〈上〉朝倉書店;復刊版。
辻 正次、函数論〈下〉朝倉書店;復刊版。
神保道夫、複素関数入門、岩波書店。
小平邦彦; 複素解析, 1990. 岩波書店.
堀川穎二：「複素関数論の要諦[新装版]」、日本評論社、ISBN 978-4535785977。
Ablowitz, M. J., & Fokas, A. S. . Complex variables: introduction and applications. :en:Cambridge University Press.
Remmert, R., Theory of complex functions. :en:Springer Science & Business Media.
Remmert, R., Classical topics in complex function theory. :en:Springer Science & Business Media.
Lang, S., Complex analysis. :en:Springer Science & Business Media.
Conway, J. B., Functions of one complex variable I-II. :en:Springer Science & Business Media.
Saks, S., & Zygmund, A. . Analytic functions.
Whittaker, E. T., & Watson, G. N., A course of modern analysis. :en:Cambridge University Press.

6.1. 数値解析と複素解析の関係を解説する文献
------------------------

森正武. . 数値解析と複素関数論. 筑摩書房.
森正武, 数値解析と超函数論, 京都大学数理解析研究所講究録, 145  1-11.
Peter Henrici, Applied and Computational Complex Analysis, Volume 1-3, Wiley Classics Library.
Bobenko, A. I. . Computational approach to Riemann surfaces . :en:Springer Science & Business Media.
Complex Function Theory and Numerical Analysis, by Hidetosi Takahasi. Publ. RIMS, Kyoto Univ.41 , 979–988.
[2]

6.2. 流体力学との関係を解説する文献
--------------------

今井功. . 複素解析と流体力学. 日本評論社.

7. 関連項目
-------

解析接続
解析関数
有理型関数
佐藤超函数
等角写像
ローラン展開
調和微分形式

7.1. 定理
-------

代数学の基本定理
一致の定理
偏角の原理
ルンゲの定理
リーマンの写像定理
カゾラーティ・ワイエルシュトラスの定理

7.2. 方程式
--------

コーシー・リーマンの方程式
複素領域の常微分方程式
パンルヴェ方程式
リッカチの微分方程式
ホイン函数#ホインの方程式
ガウスの微分方程式

7.3. 関連分野
---------

漸近展開
メリン変換
:en:Watson's lemma
:en:Laplace's method
:en:Stationary phase approximation
複素多様体
リーマン面
リーマン球面
複素射影空間
複素力学系
ネヴァンリンナ理論
多変数複素関数

7.4. 特殊関数
---------

ガンマ関数
ボーア・モレルップの定理
スターリングの公式
超幾何級数
q超幾何級数
楕円関数
楕円積分
算術幾何平均
ヤコビの楕円関数
ヴァイエルシュトラスの楕円函数
直交多項式
アスキースキーム
ロドリゲスの公式

7.5. 積分
-------

複素積分
留数
コーシーの積分定理
コーシーの積分公式

7.6. 複素解析の研究者
-------------

7.6.1. 海外
---------

ロルフ・ネヴァンリンナ
ラース・ヴァレリアン・アールフォルス
エドマンド・テイラー・ホイッテーカー
ジョージ・ネビル・ワトソン
リチャード・バルガ

7.6.2. 日本
---------

岡潔
能代清
大沢健夫