正則関数
複素解析において、正則関数[注 1]（せいそくかんすう、英: regular analytic function[2]:124）あるいは整型函数[注 2][3]（せいけいかんすう、英: holomorphic function[注 3]）とは、ガウス平面あるいはリーマン面上のある領域の全ての点で微分可能であるような複素変数複素数値函数のことである。
概要
正則関数とは、複素関数（複素数を変数とし、複素数に値をもつ関数）のうちで、定義域（または議論の対象とする領域）の全ての点で微分可能な関数の事である。領域内の全ての点で微分可能であるという性質は、正則性といわれる。多項式関数、 指数関数、三角関数、対数関数、ガンマ関数, ゼータ関数など、複素解析において中心的な役割を演じる関数の多くはこの性質を持っている。
複素関数が正則であることを仮定すると、その関数は各点で何回でも微分することができる。すなわち、実関数（実数を変数とする関数）とは違って微分可能な回数に縛られることはなく、複素関数においては正則であるか否か、すなわちある特定の集合の全ての点で1回微分可能であるか否かの差異があるのみである。 このような1回微分可能ならば何回でも微分可能という性質は、複素関数のもつ最も大きな特徴であると同時に、他の関数の微分とは一線を画す特異な性質でもある。
微分可能性についての複素関数と他の関数の著しい相違の原因は、そもそもの微分の定義の違いにある。 実変数の場合、極限は直線的な近づき方のみしかないが、複素関数の場合の極限は2次元平面の任意の曲線に沿った近づき方が許される。 よって、実変数の極限よりも複素変数の極限の方がより強い条件となるので、複素関数の微分可能性の方が実関数のそれよりもより多くの内容をもつ。 では、平面を定義域とする2次元ベクトル場と複素平面を定義域とする複素関数との相違は何かといえば、それは代数的構造である。 ベクトル場では、定義域・値域のベクトル空間は体ではないため、商が定義されていない。 よって、微分に対しても商を用いた定義をすることができないため、ベクトル場は正則関数のような強い特徴は持たない。 複素関数の定義域・値域である複素数体には商が定義されているので、ごく自然に微分係数を商で定義することができる。 また、「ごく自然に微分係数を商で定義すること」の結果として、コーシー・リーマンの方程式を経由し、調和関数と正則関数は関係付けられる。 正則関数の特異で便利な性質は、調和関数の性質を引き継いだものとして捉えることができる。
正則函数が解析的であること: さらに、正則であれば何回でも微分可能ということから、正則関数は冪級数に展開されるので、複素関数に関しては、それが正則関数であるということと解析関数であることとは同じである。また、一致の定理により正則関数はその特異点を含まない領域へ一意的に拡張（解析接続）することができる場合がある。
ガウス平面の全域で正則である複素関数は整関数であるといい、正則関数の商として得られる関数は有理型関数という。
定義
ガウス平面 C 内の開集合 D と D 上で定義される複素関数 f(z) について、a ∈ D に対し極限
[math]\lim_{z\to a}\frac{f(z)-f(a)}{z-a}[/math]
が定まるとき、すなわち D 内で z を a に近づけるとき、どのような近づけ方によっても右辺の商がただ一つの値に収束するとき、複素関数 f(z) は点 a で、あるいは z = a で複素微分可能または単に微分可能であるといい、この極限値を
[math]f'(z) = \frac{df}{dz} = \lim_{z\to a}\frac{f(z)-f(a)}{z-a}[/math]
と書いて、複素関数 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 上で定義される正則関数とする。また α, β を複素数の定数とすると
- 線型性: [math]\frac{d(\alpha f + \beta g)}{dz} = \alpha\frac{df}{dz} + \beta\frac{dg}{dz}, [/math]
- ライプニッツ則: [math]\frac{d(fg)}{dz} = \frac{df}{dz}g(z) + f(z)\frac{dg}{dz}, [/math]
- 連鎖律: [math] \frac{d(f\circ g)}{dz} = \frac{df}{dg}\frac{dg}{dz} [/math]
が成り立つ。ゆえに正則関数の和、定数倍（スカラー倍）、積は再び正則である。
正則関数は微分が 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 はコーシー・リーマンの方程式と呼ばれる偏微分方程式
- [math]\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}[/math]
を満たす。
- ここから正則関数 f(x,y) の実部 u(x,y), 虚部 v(x,y) は実 2 変数の調和関数であることがわかる。
コーシー・リーマンの方程式は f(x,y) が正則となるための必要条件であるが、さらに u(x,y), v(x,y) が、2 変数の関数として全微分可能であるならば、f(x,y) は正則となる。
また、ウィルティンガーの微分を用いれば、コーシー・リーマンの方程式は、ディーバー方程式[注 4]
- [math] \frac{\partial}{\partial \bar{z}} f(z) := \frac{1}{2} \left( \frac{\partial f}{\partial x} + i \frac{\partial f}{\partial y} \right) = 0 [/math]
に変換される。
ディーバー方程式を用いれば、たとえば、多項式に z しか現れないとき、コーシー・リーマンの方程式が成り立つのは一目瞭然であるし、
[math] |z| = \sqrt{z \bar{z}} [/math]
のように z を含むものを、z で微分して 0 にならないのであれば、コーシー・リーマンの方程式は満たされないのである。
- テンプレート:Mabs の場合は、z 微分して 0 にならないこともすぐ分かり、正則ではない。
解析接続
ある領域 E において定義される正則関数 h(z) が与えられているとする。また、E を含む領域 D 上で定義される正則関数 f(z) で z が E に含まれるときは常に
[math]h(z) = f(z)[/math]
が成り立つならば、正則関数 f を正則関数 h の（D 上の）解析接続とよび、また h は f によって D まで解析接続可能であるという。正則関数に関する一致の定理によれば、局所的に恒等的に等しい正則関数は大域的に一致するため、解析接続の概念はもう少し一般に、二つの正則関数 h, f の定義域 E と D が共通部分 E ∩ D を持つときに
[math]h(z) = f(z) \mbox{ for any } z \in E \cap D[/math]
であるならば、h および f は領域の和集合 E ∪ D まで広げた領域で定義される正則関数と見なすことであるということもできる。つまり、ある領域における（局所的な）正則関数は一つの大きな（大域的な）正則関数の局所的な姿であると考えることができ、解析接続は局所的な関数とその定義域の組を張り合わせて大域的な正則関数を表示する方法であると捕らえられる。このような立場からは、正則関数は解析接続を可能な限り施して定義域を広げたものと考えて扱うのが自然である。
ここで、ある領域を定義域としてそこで特定の表示を持つ正則関数に対して、その定義域を超えて解析接続して得られる正則関数を考えるとき、はじめの表示がもとの定義域の外でも有効であるわけではないことには注意しなければならない。たとえば、リーマンゼータ関数の値 ζ(−1) = −1/12 に対して、Re(s) > 1 上で有効なゼータ関数の表示
[math]\zeta(s) = \sum_{n=1}^{\infty} \frac{1}{n^s} = 1^{-s} + 2^{-s} + 3^{-s} + \cdots + n^{-s} + \cdots[/math]
を、s = −1 に対してむりやり適用すると
[math]-\frac{1}{12} = 1 + 2 + 3 + \cdots + n + \cdots[/math]
となり（→1+2+3+4+…）、この表示が s = −1 の周辺で有効でないことを見て取ることができる。一方で、明らかに無限大に発散するはずの右辺が負の値を持つ左辺と等しいという、この一見不可解な等式を物理学への応用などの観点から正当化する方法が、繰り込みなどいくつか知られていて、それ自体興味深い研究対象である。
最初に与えられた正則関数を解析接続したときに、ガウス平面内の領域でこれ以上解析接続できないような極大単連結領域が存在する場合はさほど問題は起きないのであるが、一般には特異点のまわりで「おかしな振る舞い」が現れて状況が複雑化するため、大域的な議論はそれほど単純ではない。たとえば、局所的には一価な正則関数でも、大域的には多価関数となるような場面に遭遇するのはこのような事情の現れの一つである。二つの解析接続がいつ一致するかというのはホモトピーの言葉を使って述べることができ、一価性定理（モノドロミー定理）などが知られている。一方、局所的に成立する関数等式は解析接続によって大域的な議論に移しても保たれる（関数関係不変の法則あるいは定理）ことが知られており、特徴的な関数等式が判っている Γ 関数やリーマン ζ 関数などの解析接続は、しばしば関数等式を用いて行われる。
正則関数の全体は層を成すことが知られている。この立場から見れば、上記の局所的な正則関数は正則関数の芽である。関数関係不変の法則によれば、微分方程式はその正則解・解析解全体の成す層を表現していると考えることができる。つまり、適当なクラスの関数が作る関数空間があたえられるとき、その空間に作用してある種の層を生み出す関手として微分方程式が捉えられるのである。
脚注
注釈
- ↑ 複素平面上の或る領域 K の各点において微分可能な函数を K において正則な解析函数という．あるいは略して正則ともいう[1]．
- ↑ 形容詞‘解析’ (analytic) は，むしろ全局的の意味において用いられる．局所的には簡便に正則 (regular) という．フランス系では整型 (holomorphe) ともいう[1]．
- ↑ "holo-" は「全体」を意味する希: ολοζ (holos) に由来し、仏: entire と同義で、通例「整」の語が宛てられる。"morph" は「型」を意味する希: μορφη (morphe) に由来する[4]。
- ↑ ディーバー (∂) は テンプレート:Fraction の略記号である。
出典
- ↑ 1.0 1.1 高木 2010, p. 216.
- ↑ Carathéodory 2001, p. 124.
- ↑ 岩波基礎講座
- ↑ Weisstein, Eric W. “Holomorphic Function”. MathWorld. . 2016閲覧.
参考文献
- Carathéodory, Constantin (2001) [1954], Theory of Functions of a Complex Variable, 1 (2nd ed.), American Mathematical Society, ISBN 978-0-8218-2831-1
- 高木貞治 『定本 解析概論』 黒田成俊 解説、岩波書店、2010-09。ISBN 978-4-00-005209-2。
関連項目
外部リンク
- “「正則関数」という用語を使うの止めたい”. 記号の世界ゟ (2016年12月14日). . 2018年6月閲覧. (個人ブログ)
- テンプレート:Springer
- Weisstein, Eric W. “Analytic Function”. MathWorld（英語）. Template:Cite webの呼び出しエラー：引数 accessdate は必須です。
- Rowland, Todd and Weisstein, Eric W.. “Complex Differentiable”. MathWorld（英語）. Template:Cite webの呼び出しエラー：引数 accessdate は必須です。
- Weisstein, Eric W. “Holomorphic Function”. MathWorld（英語）. Template:Cite webの呼び出しエラー：引数 accessdate は必須です。