一致の定理と解析接続

ここでは正則関数の解析接続という概念を紹介する。 まずは、正則関数がテイラー展開できるという事実を証明抜きで紹介しよう。

ffは領域Ω\Omegaで正則とする。 このとき、a∈Ωa\in\Omegaに対し、あるΩ\Omegaで正則な関数fn(z)f_n(z)が存在して

f(z)=f(a)+f(ˊa)(z−a)+f(2)(a)2!(z−a)2+⋯+f(n−1)(a)(n−1)!(z−a)n−1+fn(z)(z−a)n f(z)=f(a)+f\'(a)(z-a)+\frac{f^{(2)}(a)}{2!}(z-a)^2+\cdots+\frac{f^{(n-1)}(a)}{(n-1)!}(z-a)^{n-1}+f_n(z)(z-a)^n

となる。

さらに、z=az=aを中心とする十分小さな円周CCに対し

fn(z)=12πi∫Cf(ζ)(ζ−a)n(ζ−z)dζ f_n(z)=\frac{1}{2\pi i}\int_C\frac{f(\zeta)}{(\zeta-a)^n(\zeta-z)}d\zeta

となる。

この事実を用いると次のことが証明できる。

Ω\Omegaで正則な関数f(z)f(z)について、 z=az=aで微分係数が全て00だとするとf(z)f(z)は恒等的に00である。

まず、ある円CCの内部でffが恒等的に00であることを示す。 微分係数が全て00であるとすると、任意のnnに対しある正則関数fn(z)f_n(z)が存在して

f(z)=fn(z)(z−a)n f(z)=f_n(z)(z-a)^n

となる。 この円CC及びその内部における∣f(z)∣\lvert f(z) \rvertの最大値をMMとし、CCの半径をRRとすると、 上の定理の剰余項の表示から

∣fn(z)∣≤MRn−1(R−∣z−a∣) \lvert f_n(z) \rvert\leq\frac{M}{R^{n-1}(R-\lvert z-a \rvert)}

となる。 よって

∣f(z)∣≤(∣z−a∣R)nMRR−∣z−a∣ \lvert f(z) \rvert\leq(\frac{\lvert z-a \rvert}{R})^n\frac{MR}{R-\lvert z-a \rvert}

となる。 ここで、∣z−a∣<R\lvert z-a \rvert<Rとなるので、n→∞n\to\inftyで右辺は00に収束するからf(z)=0f(z)=0となる。

さてΩ\Omega全体でffが恒等的に00であることを示す。 E1⊂ΩE_1\subset\Omegaをff及びその導関数が全て00になる点のなす集合とする。 上で見たことより、E1E_1は開集合である。 一方で、E1E_1は閉集合でもある。 Ω\Omegaが連結でE1E_1は空でないのでΩ=E1\Omega=E_1となる。

上の定理の対偶でffが恒等的に00という関数でなければ、微分係数が00でないkkが存在する。 このことからffの零点は孤立することがわかる。 特に次の事実が成り立つ。

f(α)=0f(\alpha)=0とし、f(z)=∑n=0∞an(z−α)nf(z)=\sum_{n=0}^\infty a_n(z-\alpha)^nとおく。 あるn0n_0でan0≠0a_{n_0}\neq0かつn<n0n< n_0ならばan=0a_n=0であるとする。 このとき、

f(z)=(z−α)n0∑n=0∞an0+n(z−α)n f(z)=(z-\alpha)^{n_0}\sum_{n=0}^\infty a_{n_0+n}(z-\alpha)^n

となる。 bn=an0+nb_n=a_{n_0+n}とおき、g(z)=∑n=0∞an0+n(z−α)ng(z)=\sum_{n=0}^\infty a_{n_0+n}(z-\alpha)^nとおく。 b0≠0b_0\neq0なので、g(α)=b0≠0g(\alpha)=b_0\neq0である。 よって、あるϵ\epsilonで∣z−α∣<ϵ\lvert z-\alpha\rvert <\epsilonならばg(z)≠0g(z)\neq0となるようなものが取れる。 この範囲においてはf(z)≠0f(z)\neq0でもある。

集積点とは。 孤立点でないこと。 z=αz=\alphaが零点の集積点であるとは（f(α)≠0f(\alpha)\neq0でもよい？） 任意のϵ\epsilonに対してあるz∈Cz\in\mathbb{C}で0<∣z−α∣<ϵ0<\lvert z-\alpha\rvert<\epsilonかつf(z)=0f(z)=0となるものが存在すること。

f(z),g(z)f(z), g(z)を領域DDで正則な関数で、DD内に集積点を持つ集合の上でf(z)=g(z)f(z)=g(z)とする。 このとき、DD上でf(z)=g(z)f(z)=g(z)である。

f−gf-gに対して上の定理を用いればよい。

領域DD上の「解析関数」f,gf, gがあり、DD内のある点α\alphaにおいて、f(α)=g(α)f(\alpha)=g(\alpha)であるとする。 さらに、α\alphaのどんな近くにも（要するに集積点、収束する点列が取れる）f(z)=g(z)f(z)=g(z)となるz≠αz\neq\alphaがあるなら、 ffとggはDD全体で一致する。