正則関数の解析性

テンプレート:出典の明記 この記事では正則関数の解析性（テンプレート:Lang-en-short）について述べる。複素解析において、複素変数 テンプレート:Mvar の複素数値関数 テンプレート:Mvar が

• 点 テンプレート:Mvar において正則であるとは、テンプレート:Mvar を中心とするある開円板内のすべての点において微分可能であることをいい、
• テンプレート:Mvar において解析的であるとは、テンプレート:Mvar を中心とするある開円板において収束冪級数

$f(z)=\sum _{n=0}^{\mathrm{\infty }}{c}_n(z-a{)}^n$

として展開できることをいう（これは収束半径が正であることを意味する）。

複素解析の最も重要な定理の1つは、正則関数は解析的であることである。この定理の系として以下のようなものがある。

• 2つの正則関数が、それらの定義域の共通部分に含まれる集積点をもつ無限集合 テンプレート:Mvar のすべての点で一致するならば、集合 テンプレート:Mvar を含む定義域の任意の連結開部分集合のすべての点で一致するという一致の定理。
• 冪級数は無限回微分可能であるから正則関数もまた無限回微分可能である（実微分可能な関数の場合とは対照的である）。
• 収束半径は中心 テンプレート:Mvar から最も近い特異点までの距離であり、特異点が無いとき（すなわち テンプレート:Mvar が整関数であるとき）は収束半径は無限大である。厳密には、これは定理の系ではなく、証明の副産物である。
• 複素平面上の（恒等的に テンプレート:Math でない）隆起関数は整関数ではない。とくに、複素平面の任意の連結開集合に対し、その集合上定義された正則な隆起関数は存在しない。そのため、1の分割が使えないから複素多様体の研究に重要な影響がある。対照的に、1の分割は任意の実多様体上に用いることのできる道具である。

証明

コーシーが最初に与えた議論はコーシーの積分公式と

$\frac{1}{w-z}$

の冪級数展開を用いる。テンプレート:Mvar を テンプレート:Mvar を中心とする開円板とし、テンプレート:Mvar は テンプレート:Mvar の閉包を含むある開近傍のいたるところで微分可能であるとする。テンプレート:Mvar を テンプレート:Mvar の境界である正の向き（すなわち反時計回り）の円とし、テンプレート:Mvar を テンプレート:Mvar 内の点とする。コーシーの積分公式から、次が成り立つ：

$\begin{array}{cc}f(z)& =\frac{1}{2\pi i}\underset{C}{\int }\frac{f(w)}{w-z}\mathrm{d}w\\ & =\frac{1}{2\pi i}\underset{C}{\int }\frac{f(w)}{(w-a)-(z-a)}\mathrm{d}w\\ & =\frac{1}{2\pi i}\underset{C}{\int }\frac{1}{w-a}\cdot \frac{1}{1-\frac{z-a}{w-a}}f(w)\mathrm{d}w\\ & =\frac{1}{2\pi i}\underset{C}{\int }\frac{1}{w-a}\cdot \sum _{n=0}^{\mathrm{\infty }}{\left(\frac{z-a}{w-a}\right)}^{n}f(w)\mathrm{d}w\\ & =\sum _{n=0}^{\mathrm{\infty }}\frac{1}{2\pi i}\underset{C}{\int }\frac{(z-a{)}^n}{(w-a{)}^{n+1}}f(w)\mathrm{d}w.\end{array}$

積分と無限和の交換は以下のように正当化される。$f(w)/(w-a)$ は テンプレート:Mvar 上正数 テンプレート:Mvar によっておさえられ、一方、テンプレート:Mvar 内の任意の テンプレート:Mvar に対しても、ある正数 テンプレート:Mvar に対し

$\left|\frac{z-a}{w-a}\right|\le r<1$

が成り立つ。したがって テンプレート:Mvar 上

$|\frac{(z-a{)}^n}{(w-a{)}^{n+1}}f(w)|\le M{r}^n$

が成り立ち、ワイエルシュトラスのM判定法によって級数は テンプレート:Mvar 上一様収束するので、 和と積分は交換できる。

因子 テンプレート:Math は積分の変数 テンプレート:Mvar に依らないから、くくりだすことができ、次の式を得る：

$f(z)=\sum _{n=0}^{\mathrm{\infty }}(z-a{)}^n\frac{1}{2\pi i}\underset{C}{\int }\frac{f(w)}{(w-a{)}^{n+1}}\mathrm{d}w.$

これは テンプレート:Mvar についての冪級数の求める形

$f(z)=\sum _{n=0}^{\mathrm{\infty }}{c}_n(z-a{)}^n$

であり、係数は

$c_n=\frac{1}{2\pi i}\underset{C}{\int }\frac{f(w)}{(w-a{)}^{n+1}}\mathrm{d}w$

である。

注意

• 冪級数は項別微分できるから、上の議論を逆向きに適用し、

$\frac{1}{(w-z{)}^{n+1}}$

の冪級数表現を考えると、

$f^{(n)}(a)=\frac{n!}{2\pi i}\underset{C}{\int }\frac{f(w)}{(w-a{)}^{n+1}}dw$

を得る。これは導関数に対するコーシーの積分公式である。したがって上で得られた冪級数は テンプレート:Mvar のテイラー級数である。

• テンプレート:Mvar が テンプレート:Mvar の任意の特異点よりも中心 テンプレート:Mvar に近い任意の点である場合、この議論は成り立つ。よって、テイラー級数の収束半径は テンプレート:Mvar から最も近い特異点への距離よりも小さくはなれない（また大きくもなれない、なぜならば冪級数は収束円の内側に特異点を持たないからである）。
• 一致の定理の特別な場合は前述の注意から従う。2つの正則関数が（かなり小さくてもよい）テンプレート:Mvar の開近傍 テンプレート:Mvar 上一致するならば、それらは開円板 テンプレート:Math 上一致する、ただし テンプレート:Mvar は テンプレート:Mvar から最も近い特異点までの距離である。

外部リンク

• テンプレート:Planetmath reference