複素解析

数学の一分野である複素解析（ふくそかいせき、）は、複素数上で定義された関数（複素関数）の性質、特に正則関数としての性質や、その微分法、積分法などを研究する解析学の分野である神保道夫、複素関数入門、岩波書店。複素関数論 あるいは単に関数論とも呼ばれる木村俊房, 高野恭一 (1991). 関数論. 朝倉書店.関数論 上・下, 竹内端三 & 佐藤正孝、裳華房.近代関数論、能代清、岩波書店.。初等教育以降で扱う実解析に対比して複素解析というが、現代数学の基礎が複素数であることから、単に解析といえば複素解析を意味することもある。複素解析の手法は、応用数学を含む数学全般、（流体力学などの）理論物理学、（数値解析森正武 (1975). 数値解析と複素関数論. 筑摩書房.Peter Henrici, Applied and Computational Complex Analysis, Volume 1-3, Wiley Classics Library.や回路理論大石進一, 回路理論, コロナ社.をはじめとした）工学などの多くの分野で用いられている。

 歴史  

 複素解析の理論に貢献した先人 
複素解析は最も古くからある数学の分野の一つであり、その起源は18世紀あるいはそれより以前にまでたどることができる。レオンハルト・オイラー、カール・フリードリッヒ・ガウス、ベルンハルト・リーマン、オーギュスタン＝ルイ・コーシー、ヨースタ・ミッタク＝レフラー、ワイエルシュトラスといった数学者や他の多くの20世紀の数学者たちが複素解析の理論に貢献しているAblowitz, M. J., & Fokas, A. S. (2003). Complex variables: introduction and applications. :en:Cambridge University Press.。

 複素解析の応用 
歴史的に複素解析、特に等角写像の理論は工学・地図学・物理学に多くの応用があるがWeisstein, Eric W. "Conformal Mapping." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/ConformalMapping.html、解析的整数論全般にわたっても応用されているTerr, David. "Analytic Number Theory." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/AnalyticNumberTheory.html。近年は複素力学系の勃興や正則関数の繰り返しによって与えられるフラクタル図形（有名な例としてマンデルブロ集合が挙げられる）の研究などによって有名になっているAgarwal, R. P., Perera, K., Pinelas, S. (2011), An Introduction to Complex Analysis, Springer.。

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

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

従って複素関数の成分

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

 正則関数 

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

が定まる複素関数 f(z) をいう。

複素関数  が点  において複素微分可能であるためには、その点において実部  と虚部  が全微分可能であり、かつ以下のコーシー・リーマンの方程式を満たすことが必要十分である。

複素関数については複素微分可能であることと解析的であること、つまり
 任意の a ∈ D に対して複素係数のべき級数

 a から一定の距離（収束半径）の範囲でこの級数が収束して、
 収束値が関数値 f(z) に一致すること
が同値である。そのため、複素解析においては正則関数 (holomorphic function) 、複素微分可能関数 (complex differentiable function) 、解析関数 (analytic function) という用語は同義になる。複素関数が複素微分可能でない点を特異点 (singularity) という。

 特異点の分類 

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

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

 孤立特異点 

孤立特異点は、可除特異点、極 、真性特異点に分類される。除去可能な特異点とは、その点における値を適当に取り直すことにより、複素函数をその近傍で解析的にすることができるときに言う。極とは、複素函数  の特異点  であって、ある自然数  を選べば  が  で除去可能（正則）となるものをいう。そのような最小の  を極の位数という。真性特異点とは、除去可能でも極でもない孤立特異点をいう。

 非孤立特異点と分岐点 
孤立特異点ではない特異点として、特異点の集積点や分岐点などが挙げられる。

特異点の集積点とは、その近傍に必ず他の特異点を含んでしまうような特異点をいう。例えば  は  （ は整数）に孤立特異点（極）を持つため、それらの極限点である  は孤立していない特異点（集積点）となる。

また、対数関数や根号関数などの多価関数を一価関数として扱うために、定義域に分岐切断 (branch cut) を導入する場合がある。分岐切断の端点を分岐点 (branch point) という。分岐点は、その点の近傍で一価正則な関数の分枝をとることができないという意味で特異点である。分岐切断は（分岐点を固定してホモトープである限り）動かすことができるため、リーマン面を導入することで、分岐点を幾何学的に捉え直すことができる。分岐点は代数分岐点と対数分岐点（代数特異点、対数特異点Weisstein, Eric W. "Logarithmic Singularity." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/LogarithmicSingularity.html）に分類される。

 複素関数の分類 
複素関数が微分可能であるということは、実関数が微分可能であるということに比べて遥かに強い制約条件である。一階微分可能な複素関数は無限階微分可能であり藤本坦孝. 複素解析. 岩波書店, 1996年.、積分可能であり、解析的である。定義域（もしくは考察の対象となっている領域）の全体で正則な関数を正則関数といい、特に複素平面全体を定義域とする正則関数を整関数という。孤立した極を除いて正則な関数を有理型関数という。指数関数、正弦関数、余弦関数、多項式関数など、多くの初等関数は整関数であるが、正接関数()などは極を持つから有理型であり、対数関数は負の実軸に分岐を持ち正則でない。ガンマ関数は負の整数に極を持つから有理型であるが、右半平面に限れば正則である時弘哲治. 工学における特殊関数. 共立出版.Weisstein, Eric W. "Gamma Function." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/GammaFunction.html。

 主要な定理 
 複素線積分と留数定理 

複素解析においてよく用いられる道具立てに複素線積分がある。コーシーの積分定理によって、閉じた経路で囲まれた領域の内側全体で正則になっている関数を、その経路上で線積分した値はかならず 0 になる。

領域内に特異点（極など）を持つ場合、その経路上の積分値は、特異点における留数によって決定される（留数定理）。この定理を用いることで、閉曲線上の積分値を容易に計算できるだけでなく、複雑な実定積分の値を決定することも可能になる。

また、正則関数の値は、その点のまわりの円周上での積分値として表すことができる（コーシーの積分公式）。

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

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

 リウヴィルの定理 

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

 解析接続 

正則関数の重要な性質に、正則関数の連結な領域上全体での挙動が任意のより小さい領域上の挙動によって決定されてしまう（一致の定理）、というものがある。大きい領域全体でのもとの関数は小さい領域上に制限して考えたものの解析接続とよばれる。このような原理によってリーマンゼータ関数など、限られた領域上でしか収束しない級数によって定義されていた関数を複素平面全体に正則関数や有理型関数として拡張することが可能になるSondow, Jonathan and Weisstein, Eric W. "Riemann Zeta Function." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/RiemannZetaFunction.html。場合によっては自然対数などのように複素平面内の単連結でない領域への解析接続が不可能なこともあるが、リーマン面とよばれる曲面を導入することでその上の正則関数としての「解析接続」を考えることができるSpringer, G. (1957). Introduction to Riemann surfaces (Vol. 473). Reading, Mass.: Addison-Wesley.Hershel M. Farkas and Irwin Kra (1992), Riemann surfaces, Springer, New York.Weisstein, Eric W. "Riemann Surface." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/RiemannSurface.htmlRiemann surface in nLab。

 多変数複素解析 

上記の結果はすべて一変数に関する複素解析のものであるが、多変数複素解析についても豊かな理論が存在しSalomon Bochner and W. T. Martin Several Complex Variables (1948).Steven G. Krantz, Function Theory of Several Complex Variables (1992)Volker Scheidemann, Introduction to complex analysis in several variables, Birkhäuser, 2005, ISBN 3-7643-7490-X大沢健夫 (2018). 多変数複素解析 (増補版). 岩波書店.倉田令二朗 著, 高瀬正仁 解説 (2015), 多変数複素関数論を学ぶ, 日本評論社.一松信, 多変数解析函数論. 培風館.、べき級数展開などの解析的な性質が成立している。一方で共形性などの一変数正則関数が持つ幾何学的な性質は拡張されず、リーマンの写像定理が示すような複素平面の領域に関する共形関係性などの複素一変数の理論では成立する重要な性質が複素二変数以上の理論ではもはや成立しない。

 脚注 

 参考文献 

 Ablowitz, M. J., & Fokas, A. S. (2003). 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. (1952). Analytic functions.
 Whittaker, E. T., & Watson, G. N., A course of modern analysis. :en:Cambridge University Press.
 吉川實夫：函數論、富山房(1913年）
 竹内端三：「函數論 上巻」、裳華房（1926年4月7日、1966年11月、2015年6月PDF版）．
 竹内端三：「函數論 下巻」、裳華房（1926年6月5日、1967年10月、2015年6月POD版）．
 藤原松三郎：複素函數論、岩波書店（岩波講座數學）；6分冊（配本第6回～第11回；全て1933年)
 掛谷宗一：一般函數論、岩波書店（1930年7月30日）
 吉田洋一：「函数論」、岩波書店(岩波全書88）(1938年9月20日）
 『複素變數凾數論』辻 正次 著、共立出版（1946）の現代仮名遣い版
 小松勇作：「一般函数論」：角川書店（1952年5月).
 辻正次：「函数論〈上巻〉」、朝倉書店(数學全書)、(1952年5月10日);復刊版(2005年4月)。
 辻正次：「函数論〈下巻〉」、朝倉書店(数學全書)、(1952年5月10日);復刊版(2005年4月)。
 H.カルタン：「複素函数論」，岩波書店、（1965年1月23日）
 吉田洋一：「函数論」第2版（岩波全書141）、岩波書店、ISBN 978-4-00-021107-9 (1965年3月31日).
 辻正次：「複素函数論」、槇書店（1968年11月10日）
 犬井鉄郎、石津武彦：「複素函数論」、東京大学出版会、ISBN 4-13-064008-9 (1966年5月30日).
 栗林暲和：「複素関数論」、教育出版（シリーズ新しい応用の数学3）(1973年11月10日).

 田村二郎：「解析関数（新版）」、裳華房、ISBN 4-7853-1307-2 (新版1983年11月15日).
 小平邦彦：「複素解析」、岩波書店、ISBN 978-4-00-007815-3（1991年6月).
 高橋礼司：「[新版]複素解析」、東京大学出版会、ISBN 4-13-062106-8 (1990年1月10日).
 野口潤次郎：「複素解析概論」、裳華房、ISBN 978-4-7853-1314-2 (1993年5月10日).
 藤原毅夫：「複素解析の技法」、共立出版 (工学数学講座6)、ISBN 4-320-01605-X (1999年9月25日).
 森正武、杉原正顕：「複素関数論」、岩波書店、ISBN 4-00-005950-5 (2003年5月22日)．
 神保道夫:「複素関数入門」、岩波書店（現代数学への入門）、ISBN 4-00-006874-1 (2003年12月12日).
 新井朝雄：「複素解析とその応用」、共立出版、ISBN 4-320-01830-3 (2006年12月25日).
 Elias M. Stein、Rami Shakarchi：「複素解析」（プリンストン解析学講義Ⅱ）、日本評論社、ISBN 978-4-535-60892-4 (2009年6月30日).
 柴雅和：「複素関数論」、朝倉書店、ISBN 978-4-254-11759-2 (2013年9月25日).
 藤原毅夫：「東京大学工学教程 基礎系 数学 複素関数論 I」、丸善出版、ISBN 978-4-621-08716-9 (2013年10月10日).
 藤原毅夫：「東京大学工学教程 基礎系 数学 複素関数論 II」、丸善出版、ISBN 978-4-621-08903-3 (2014年12月20日).
 堀川穎二：「複素関数論の要諦[新装版]」、日本評論社、ISBN 978-4535785977（2015年8月25日）.
 相川弘明：「複素関数入門」、共立出版、ISBN 978-4-320-11186-8 (2016年4月25日)．
 畑政義：「数理科学のための複素関数論」、サイエンス社、ISBN 978-4-7819-1419-0 (2018年2月10日).

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



 Peter Henrici, Applied and Computational Complex Analysis, Volume 1-3, Wiley Classics Library.
 Bobenko, A. I. (2011). Computational approach to Riemann surfaces (Lecture Notes in Mathematics 2013). :en:Springer Science & Business Media.

Numerical Complex Analysis by Sheehan Olver

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


 関連項目 

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

 定理 

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

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

 関連分野 

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

 特殊関数 

 ガンマ関数
 ボーア・モレルップの定理
 スターリングの公式

 超幾何級数

q超幾何級数

 楕円関数
 楕円積分
 算術幾何平均
 ヤコビの楕円関数
 ヴァイエルシュトラスの楕円函数
 直交多項式
 アスキースキーム
 ロドリゲスの公式


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

 複素解析の研究者 
 海外 


 ロルフ・ネヴァンリンナ
 ラース・ヴァレリアン・アールフォルス
エドマンド・テイラー・ホイッテーカー（複素解析の教科書：:en:A Course of Modern Analysisで知られる）
ジョージ・ネビル・ワトソン（複素解析の教科書：:en:A Course of Modern Analysisで知られる）
リチャード・バルガ

 日本 
 岡潔
 能代清
 大沢健夫

*
Category:数学に関する記事