正則関数

複素解析における正則関数（せいそくかんすう、英: regular analytic function）あるいは整型函数（せいけいかんすう、英: holomorphic function）とは、ガウス平面上あるいはリーマン面上のある領域について、常に微分可能な複素変数、複素数値函数（英語版）を指す。 正則関数とは、複素関数（複素数を変数とし、複素数に値をもつ関数）のうちで、対象とする領域内の全ての点において微分可能な関数である。すべての点で微分可能という性質は「正則性」と呼ばれる。多項式関数や指数関数、三角関数、対数関数、ガンマ関数、ゼータ関数など、複素解析において中心的な役割を演じる多くの関数はこの正則性を備える。 正則な複素関数は、その導関数も正則である。すなわち微分操作を無制限に繰り返してよい。実変数関数のように導関数が微分不可能となり微分回数が制限されることは起きない。微分可能回数について言い及ぶこともない。実数関数と勝手の全く異なる点である。 複素関数の微分可能性の特徴は、その微分の定義に起因する。複素関数の微分は実数軸および虚数軸という2次元平面内の任意の方位に沿って見積もられうるが、これをすべて一意とする。すなわちどの方位をみても同一の値をとるものとして定義されている。したがって方位を決めて一度に一方向しか見ない実数空間の偏微分よりも、複素変数空間の微分の方が制約が厳しい。連続であるだけでは十分でない。 ある任意の点についてみたときの周辺の増減がその点に対し軸対称であると正則である。これを満たすとき実数成分および虚数成分を表す関数はそれぞれ調和関数である。また実数成分および虚数成分の偏導関数はコーシー・リーマンの方程式を満たす（ただし逆は真ではない）。 正則函数が解析的であること:複素解析における正則関数は何回でも微分可能であり、したがって冪級数に展開できる。複素関数に関して、それが正則であることと解析関数であることとは同義である。また、一致の定理により正則関数はその特異点を含まない領域へ一意的に拡張（解析接続）できる場合がある。 ガウス平面の全域で正則である複素関数は整関数と呼ばれる。また、正則関数の商として得られる関数は有理型関数という。 ガウス平面 C 内の開集合 D と D 上で定義される複素関数 f(z) について、a ∈ D に対し極限 lim z → a f ( z ) − f ( a ) z − a {\displaystyle \lim _{z\to a}{\frac {f(z)-f(a)}{z-a}}} が定まるとき、すなわち D 内で z を a に近づけるとき、どのような近づけ方によっても右辺の商がただ一つの値に収束するとき、複素関数 f(z) は点 a で、あるいは z = a で複素微分可能または単に微分可能であるといい、この極限値を f ′ ( z ) = d f d z = lim z → a f ( z ) − f ( a ) z − a {\displaystyle f'(z)={\frac {df}{dz}}=\lim _{z\to a}{\frac {f(z)-f(a)}{z-a}}} と書いて、複素関数 f(z) の点 a あるいは z = a における微分係数と呼ぶ。 複素関数 f(z) が D で複素微分可能である、すなわち D の全ての点で複素微分可能であるとき、複素関数 f(z) は 開集合 D において正則であるといい（集合における正則性）、複素関数 f(z) は D 上の 正則関数であるという。 また、複素関数 f(z) が点 a で複素微分可能なだけでなく、点 a を含む適当な（どんなに小さくてもよい）近傍 U(a) でも複素微分可能である（近傍 U(a) の全ての点で複素微分可能である）とき、複素関数 f(z) は点 a で正則であるという（1点における正則性）。 f, g を領域 U 上で定義される正則関数とする。また α, β を複素数の定数とすると 線型性: d ( α f + β g ) d z = α d f d z + β d g d z , {\displaystyle {\frac {d(\alpha f+\beta g)}{dz}}=\alpha {\frac {df}{dz}}+\beta {\frac {dg}{dz}},} ライプニッツ則: d ( f g ) d z = d f d z g ( z ) + f ( z ) d g d z , {\displaystyle {\frac {d(fg)}{dz}}={\frac {df}{dz}}g(z)+f(z){\frac {dg}{dz}},} 連鎖律: d ( f ∘ g ) d z = d f d g d g d z {\displaystyle {\frac {d(f\circ g)}{dz}}={\frac {df}{dg}}{\frac {dg}{dz}}} が成り立つ。ゆえに正則関数の和、定数倍（スカラー倍）、積は再び正則である。 正則関数は微分が 0 にならない点において複素平面上の等角写像である。 z = x + iy とし、ガウス平面 C を実平面 R2 と同一視すると、複素関数 f は 2 つの実 2 変数関数 u(x, y), v(x, y) を用いて f(x, y) = u(x, y) + iv(x, y) と表すことができる。f(z) = f(x, y) が正則関数であれば、u, v はコーシー・リーマンの方程式と呼ばれる偏微分方程式 { ∂ u ∂ x = ∂ v ∂ y , ∂ u ∂ y = − ∂ v ∂ x {\displaystyle {\begin{cases}\displaystyle {\frac {\partial u}{\partial x}}={\frac {\partial v}{\partial y}},\\\displaystyle {\frac {\partial u}{\partial y}}=-{\frac {\partial v}{\partial x}}\end{cases}}} を満たす。 ここから正則関数 f(x, y) の実部 u(x, y), 虚部 v(x, y) は実 2 変数の調和関数であることがわかる。 コーシー・リーマンの方程式は f(x, y) が正則となるための必要条件であるが、さらに u(x, y), v(x, y) が、2 変数の関数として全微分可能であるならば、f(x, y) は正則となる。 また、ウィルティンガーの微分 ∂ ∂ z ¯ := 1 2 ( ∂ ∂ x + i ∂ ∂ y ) {\displaystyle {\frac {\partial }{\partial {\bar {z}}}}:={\frac {1}{2}}\left({\frac {\partial }{\partial x}}+i{\frac {\partial }{\partial y}}\right)} を用いれば、コーシー・リーマンの方程式は、ディーバー方程式 ∂ f ∂ z ¯ = 0 {\displaystyle {\frac {\partial f}{\partial {\bar {z}}}}=0} に変換される。 ディーバー方程式を用いれば、たとえば、多項式に z しか現れないとき、コーシー・リーマンの方程式が成り立つのは一目瞭然であるし、 | z | = z z ¯ {\displaystyle |z|={\sqrt {z{\bar {z}}}}} のように z を含むものを、z で微分して 0 にならないのであれば、コーシー・リーマンの方程式は満たされないのである。 |z| の場合は、z 微分して 0 にならないこともすぐ分かり、正則ではない。 ある領域 E において定義される正則関数 h(z) が与えられているとする。また、E を含む領域 D 上で定義される正則関数 f(z) で z が E に含まれるときは常に h ( z ) = f ( z ) {\displaystyle h(z)=f(z)} が成り立つならば、正則関数 f を正則関数 h の（D 上の）解析接続とよび、また h は f によって D まで解析接続可能であるという。正則関数に関する一致の定理によれば、局所的に恒等的に等しい正則関数は大域的に一致するため、解析接続の概念はもう少し一般に、二つの正則関数 h, f の定義域 E と D が共通部分 E ∩ D を持つときに h ( z ) = f ( z )  for any  z ∈ E ∩ D {\displaystyle h(z)=f(z){\mbox{ for any }}z\in E\cap D} であるならば、h および f は領域の和集合 E ∪ D まで広げた領域で定義される正則関数と見なすことであるということもできる。つまり、ある領域における（局所的な）正則関数は一つの大きな（大域的な）正則関数の局所的な姿であると考えることができ、解析接続は局所的な関数とその定義域の組を張り合わせて大域的な正則関数を表示する方法であると捉えられる。このような立場からは、正則関数は解析接続を可能な限り施して定義域を広げたものと考えて扱うのが自然である。 ここで、ある領域を定義域としてそこで特定の表示を持つ正則関数に対して、その定義域を超えて解析接続して得られる正則関数を考えるとき、はじめの表示がもとの定義域の外でも有効であるわけではないことには注意しなければならない。たとえば、リーマンゼータ関数の値 ζ(−1) = −1/12 に対して、Re(s) > 1 上で有効なゼータ関数の表示 ζ ( s ) = ∑ n = 1 ∞ 1 n s = 1 − s + 2 − s + 3 − s + ⋯ + n − s + ⋯ {\displaystyle \zeta (s)=\sum _{n=1}^{\infty }{\frac {1}{n^{s}}}=1^{-s}+2^{-s}+3^{-s}+\cdots +n^{-s}+\cdots } を、s = −1 に対してむりやり適用すると − 1 12 = 1 + 2 + 3 + ⋯ + n + ⋯ {\displaystyle -{\frac {1}{12}}=1+2+3+\cdots +n+\cdots } となり（→1+2+3+4+…）、この表示が s = −1 の周辺で有効でないことを見て取ることができる。(厳密にはこの記述方法は正しくない)一方で、明らかに無限大に発散するはずの右辺が負の値を持つ左辺と等しいという、この一見不可解な等式を物理学への応用などの観点から正当化する方法が、繰り込みなどいくつか知られていて、それ自体興味深い研究対象である。 最初に与えられた正則関数を解析接続したときに、ガウス平面内の領域でこれ以上解析接続できないような極大単連結領域が存在する場合はさほど問題は起きないのであるが、一般には特異点のまわりで「おかしな振る舞い」が現れて状況が複雑化するため、大域的な議論はそれほど単純ではない。たとえば、局所的には一価な正則関数でも、大域的には多価関数となるような場面に遭遇するのはこのような事情の現れの一つである。二つの解析接続がいつ一致するかというのはホモトピーの言葉を使って述べることができ、一価性定理（モノドロミー定理）などが知られている。一方、局所的に成立する関数等式は解析接続によって大域的な議論に移しても保たれる（関数関係不変の法則あるいは定理）ことが知られており、特徴的な関数等式が判っている Γ 関数やリーマン ζ 関数などの解析接続は、しばしば関数等式を用いて行われる。 正則関数の全体は層を成すことが知られている。この立場から見れば、上記の局所的な正則関数は正則関数の芽である。関数関係不変の法則によれば、微分方程式はその正則解・解析解全体の成す層を表現していると考えることができる。つまり、適当なクラスの関数が作る関数空間があたえられるとき、その空間に作用してある種の層を生み出す関手として微分方程式が捉えられるのである。 ^ 複素平面上の或る領域 K の各点において微分可能な函数を K において正則な解析函数という．あるいは略して正則ともいう． ^ 形容詞‘解析’ (analytic) は，むしろ全局的の意味において用いられる．局所的には簡便に正則 (regular) という．フランス系では整型 (holomorphe) ともいう． ^ "holo-" は「全体」を意味する希: ὅλος (hólos) に由来し、通例「整」の語が宛てられる。"morph" は「型」を意味する希: μορφή (morphḗ) に由来する。 ^ ディーバー (∂) は ∂⁄∂z の略記号である。 ^ a b 高木 2010, p. 216. ^ Carathéodory 2001, p. 124. ^ 岩波基礎講座シリーズ。例えば清水英男『保型関数』。ハーツホーン『代数幾何学』でもこの訳語が採用されている。 ^ Weisstein, Eric W. “Holomorphic Function”. MathWorld. 2016年6月17日閲覧。 ^ a b c d e f g 杉浦光夫、解析入門II、東京大学出版会。 ^ a b c d e f g h 藤本坦孝、複素解析、岩波書店。 ^ a b c d e f g 複素関数論、岸正倫・藤本坦孝 共著、学術図書出版社。 ^ a b 時弘哲治、工学における特殊関数、共立出版。 ^ a b Andrews, George E.; Askey, Richard; Roy, Ranjan (1999), Special functions, Encyclopedia of Mathematics and its Applications, 71, en:Cambridge University Press, MR1688958 ^ a b c Weisstein, Eric W. "Cauchy-Riemann Equations." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/Cauchy-RiemannEquations.html ^ a b c Cauchy-Riemann equations. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Cauchy-Riemann_equations&oldid=31198 ^ a b c Weisstein, Eric W. "Analytic Continuation." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/AnalyticContinuation.html ^ a b c Analytic continuation. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Analytic_continuation&oldid=24365 高木貞治『定本　解析概論』黒田成俊 解説、岩波書店、2010年9月。ISBN 978-4-00-005209-2。  L.V. アールフォルス『複素解析』笠原乾吉訳、現代数学社、1982年。ISBN 4-7687-0118-3。 神保道夫、複素関数入門、岩波書店。 小平邦彦; 複素解析, 1990. 岩波書店. Carathéodory, Constantin (2001) [1954], Theory of Functions of a Complex Variable, 1 (2nd ed.), American Mathematical Society, ISBN 978-0-8218-2831-1, https://books.google.co.jp/books?id=jyicNQi_6qYC  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. 解析関数 関数 (数学) 整関数 調和関数 テイラーの定理 等角写像 微分 複素解析 有理型関数 “「正則関数」という用語を使うの止めたい”. 記号の世界ゟ (2016年12月14日). 2018年6月閲覧。（個人ブログ） Hazewinkel, Michiel, ed. (2001), “Analytic function”, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Analytic_function  Weisstein, Eric W. "Analytic Function". mathworld.wolfram.com (英語). Rowland, Todd and Weisstein, Eric W. "Complex Differentiable". mathworld.wolfram.com (英語). Weisstein, Eric W. "Holomorphic Function". mathworld.wolfram.com (英語).