複素解析
虚数単位と複素数体
\(i^2 = -1\) を満たす数 \(i\) を虚数単位と言い, 形式的に \(i = \sqrt{-1}\) とも書く.
2 実数 \(x,y∈ℝ\) を係数とした \(1,i\) の線形結合 \(x+yi\) を複素数といい, 複素数の全体を \(ℂ\) と書く. 複素数 \(z=x+yi\) の \(x =: \Re{z}\), \(y = \Im{z}\) をそれぞれ \(z\) の実部 real part, 虚部 imaginary part という.
複素数 \(z=x+yi\) に対して, \(z^*:=x-yi\) を \(z\) 複素共役といい, 複素数 \(z\) の絶対値 \(|z|\) を \(|z|^2 := z^*z = x^2 + y^2 ≥ 0\) で定義する.
三角関数と指数関数
複素数 \(z\) に対する三角関数 \(\cos z\), \(\sin z\) を以下で定義する:
\[\begin{aligned} \cos z &:= ∑_{n=0}^∞ \frac{(-1)^n}{(2n)!} z^{2n} &&= 1 - \frac{z^2}{2!} + \frac{z^4}{4!} - \frac{z^6}{6!} +- ⋯, \\ \sin z &:= ∑_{n=0}^∞ \frac{(-1)^n}{(2n+1)!} z^{2n+1} &&= z - \frac{z^3}{3!} + \frac{z^5}{5!} - \frac{z^7}{7!} +- ⋯. \end{aligned}\]また, 指数関数 \(e^z\) (または \(\exp z\)) を以下で定義する:
\[e^z := ∑_{n=0}^∞ \frac{z^n}{n!} = 1 + z + \frac{z^2}{2!} + \frac{z^3}{3!} + ⋯.\]これらは実数における三角関数と指数関数の自然な拡張である.
指数関数と三角関数について以下が成立する:
\[\begin{gathered} e^{iz} = \cos z + i \sin z, \\ \cos z = \frac{e^{iz} + e^{-iz}}{2}, \quad \sin z = \frac{e^{iz} - e^{-iz}}{2i}. \end{gathered}\]複素平面と極形式
複素数 \(z=x+yi∈ℂ\) に対し, \((x,y)\) を点とする \(ℝ^2\) 平面を複素平面といい, この \(ℝ^2\) と \(ℂ\) を同一視する. たとえば, 原点 \(O = (0,0)\) から点 \((x,y)\) までの距離は \(\sqrt{x^2+y^2}\) で複素数 \(z\) の絶対値 \(|z|\) と同じである.
\(z = |z| e^{iθ} = |z| \cos θ + i |z| \sin θ\) のような形で与えられる複素数を極形式といい, \(θ\) を偏角という: 実際, 複素平面上では点 \((|z| \cos θ, |z| \sin θ)\) に対応し, 極座標では \((|z|, θ)\) である. したがって,
\[\begin{gathered} x + yi = |z| e^{iθ} \\ ⇔ |z|^2 = x^2 + y^2,\; \cos θ = \frac{x}{|z|},\; \sin θ = \frac{y}{|z|} \end{gathered}\]都合の良い偏角の範囲を偏角の主値といい, \(\arg{z}\) と書く: たとえば \(0 ≤ \arg{z} < 2π\) や \(-π < \arg{z} ≤ π\) など.
複素微分
複素関数 \(f(z)\) の点 \(z\) における微分は
\[\dv{f}{z} := \lim_{Δz→0} \frac{f(z + Δz) - f(z)}{Δz}.\]定義式の極限値が存在するとき, \(f(z)\) は \(z\) で微分可能であるという.
\(f(z)=u(z)+iv(z)\) が \(z=x+iy\) で微分可能である条件は, \(u(x,y) := u(x+iy)\), \(v(x,y) := v(x+iy)\) として, 以下の方程式が成立することである. これを Cauchy-Riemann 方程式 Cauchy-Riemann equation という:
\[\pdv{u}{x} = \pdv{v}{y}, \quad \pdv{u}{y} = - \pdv{v}{x}.\]実際, 微分の定義式において \(Δz = |Δz| e^{iθ}\) とすると, \(f(z)\) が \(z\) で微分可能であるための条件は, この値が \(θ\) によらないことである. したがって,
\[\begin{aligned} \dv{f}{z} &= \lim_{|Δz|→0} \frac{e^{-iθ}}{|Δz|} \Big[f(z + |Δz| e^{iθ}) - f(z)\Big] \\ &= \lim_{|Δz|→0} \frac{e^{-iθ}}{|Δz|} \Big[ u(x + |Δz| \cos θ, y + |Δz| \sin θ) + i v(x + |Δz| \cos θ, y + |Δz| \sin θ) - u(x, y) - i v(x, y) \Big] \\ &= \lim_{|Δz|→0} \frac{e^{-iθ}}{|Δz|} \bqty{ \pdv{u}{x} |Δz| \cos θ + \pdv{u}{y} |Δz| \sin θ + i \pdv{v}{x} |Δz| \cos θ + i \pdv{v}{y} |Δz| \sin θ + O(|Δz|^2) } \\ &= \pqty{ \pdv{u}{x} + i \pdv{v}{x}} e^{-iθ} \cos θ + \pqty{ \pdv{u}{y} + i \pdv{v}{y}} e^{-iθ} \sin θ \\ &= \pqty{ \pdv{u}{x} + i \pdv{v}{x}} e^{-iθ} (e^{iθ} - i \sin θ) + \pqty{ \pdv{u}{y} + i \pdv{v}{y}} e^{-iθ} \sin θ \\ &= \pqty{ \pdv{u}{x} + i \pdv{v}{x}} - \pqty{i \pdv{u}{x} - \pdv{v}{x}} e^{-iθ} \sin θ + \pqty{ \pdv{u}{y} + i \pdv{v}{y}} e^{-iθ} \sin θ \\ &= \pqty{ \pdv{u}{x} + i \pdv{v}{x}} + \bqty{ \pqty{\pdv{u}{y} + \pdv{v}{x}} - i \pqty{\pdv{u}{x} - \pdv{v}{y}} } e^{-iθ} \sin θ. \end{aligned}\]正則関数と特異点
関数 \(f(z)\) が \(z\) とその近傍で 1 価関数かつ微分可能であるとき, \(f(z)\) は \(z\) において正則という. \(f(z)\) が領域 \(D\) 内の全ての点で正則であるとき, \(f(z)\) は \(D\) において正則という.
\(f(z)\) が正則でない点を \(f(z)\) の特異点 singularity という. また近くに特異点が存在しない特異点を特に孤立特異点といい, 以下の二つに分類される:
- \(N\) 位の極: 自然数 \(N\) に対し, その点のまわりで関数 \(f(z)\) が \(\displaystyle \frac1{(z-a)^N}\) のように振る舞う特異点.
- 真性特異点: 形式的には \(∞\) 位の極.
- 分岐点: その点を中心とする閉曲線に沿って一周するとき, 周回の度に値が変わるような特異点.
リーマン面
ある関数に関し, その点を中心とする閉曲線に沿って一周するとき, 周回の度に値が変わるような孤立特異点を分岐点といい, このような関数を多価関数という. たとえば, \(f(z)=z^{1/2}\) は 2 価関数である: \(z=e^{iθ}\) とすれば \(e^{0i}=e^{2πi}=1\) であるが, \(f(z)=e^{iθ/2}\) より \(f(e^{0i})=e^{0i}=0\), \(f(e^{2πi})=e^{iπ}=1\) で \(f(1)=0,1\) である.
複素積分
関数 \(f(z)\) の経路 \(C\) に沿った積分は
\[I = ∫_C \d{z} f(z).\]または, 関数を \(f(z)=u(z)+iv(z)\), 経路を \(C(t)∈ℂ\) として,
\[I = ∫ \d{t} f(C(t)) = ∫ \d{t} u(C(t)) + i ∫ \d{t} v(C(t)).\]領域 \(D\) で正則な \(f(z)\) を, その境界である閉曲線 \(∂D\) で積分するとその値は \(0\) になる. これを Cauchy の積分定理という:
\[∮_{∂D} \d{z} f(z) = 0.\]実際, \(z=x+iy\), \(f(z)=u(x,y)+iv(x,y)\) に対し,
\[\begin{aligned} ∮_{∂D} \d{z} f(z) &= ∮_{∂D} (\d{x}+i\d{y}) \Big[ u(x,y)+iv(x,y) \Big] \\ &= ∮_{∂D} \bigg\{ \d{x} \Big[ u(x,y)+iv(x,y) \Big] + \d{y} \Big[ i u(x,y) - v(x,y) \Big] \bigg\} \\ &= ∮_{∂D} \Big[ \d{x} u(x,y) - \d{y} v(x,y) \Big] + i ∮_{∂D} \Big[ \d{y} u(x,y) + \d{x} v(x,y) \Big] \\ &= ∬_D \d{x} \d{y} \bqty{- \pdv{v}{x} - \pdv{u}{y}} + i ∬_D \d{x} \d{y} \bqty{\pdv{u}{x} - \pdv{v}{y}} \qquad (∵\text{Green の定理}) \\ &= 0. \qquad (∵\text{Cauchy-Riemann 方程式}) \end{aligned}\]Cauchy の積分定理より, 積分は経路を特異点を越えない連続的な経路の変更に対して不変である: \(C↦C'\) の経路変更に対して, 内部領域 \(D\) で関数 \(f(z)\) 正則であるから,
\[∫_C \d{z} f(z) \quad ↦ \quad ∫_{C'} \d{z} f(z) = ∫_{C' + \overline{C}} \d{z} f(z) - ∫_{\overline{C}} \d{z} f(z) = ∫_C \d{z} f(z).\]領域 \(D\) で正則な関数 \(f(z)\) について, \(z=a∈D\) を囲む \(D\) 内の閉曲線 \(C\) に対し以下が成立する. これを Cauchy の積分公式という:
\[f(a) = \frac1{2πi} ∮_C \d{z} \frac{f(z)}{z-a}.\]実際, \(z=a\) を中心とし \(D\) 内に含まれる半径 \(\varepsilon\) の円 \(S\) に対し, \(C\) と \(S\) を巡り内部が正則であるような閉曲線 \(C'\) について Cauchy の積分定理より,
\[∮_{C'} \d{z} \frac{f(z)}{z-a} = ∮_C \d{z} \frac{f(z)}{z-a} + ∮_{\overline{S}} \d{z} \frac{f(z)}{z-a} = 0.\] \[\begin{aligned} ∴ ∮_C \d{z} \frac{f(z)}{z-a} &= ∮_S \d{z} \frac{f(z)}{z-a} \\ &\quad (z = a + \varepsilon e^{iθ}, \; \d{z} = i \varepsilon e^{iθ} \d{θ}) \\ &= ∫_0^{2π} \d{θ} i \varepsilon e^{iθ} \frac{f(a + \varepsilon e^{iθ})}{\varepsilon e^{iθ}} \\ &= i ∫_0^{2π} \d{θ} f(a + \varepsilon e^{iθ}) \\ &= i ∫_0^{2π} \d{θ} \Big[ f(a) + O(\varepsilon) \Big] \\ &= 2πi f(a) + O(\varepsilon). \end{aligned}\]ここで \(\varepsilon\) は任意だから, \(\varepsilon→0\) の極限で Cauchy の積分公式が得られる.
Cauchy の積分公式の条件下で, 以下が同様に成立する. これを Goursat の定理という.
\[f^{(n)}(a) = \frac{n!}{2πi} ∮_C \d{z} \frac{f(z)}{(z-a)^{n+1}}.\]これは Cauchy の積分公式を \(a\) で \(n\) 回微分することで得られる.
冪級数
複素数の冪級数
\[f(z) = ∑_{n=0}^∞ c_n z^n = c_0 + c_1 z + c_2 z^2 + ⋯\]について, これが収束する条件は \(n→∞\) の極限で \(|c_nz^n|>|c_{n+1}z^{n+1}|\) であるから, 収束半径と呼ばれる実数
\[R = \lim_{n→∞} \frac{|c_n|}{|c_{n+1}|}\]に対し, \(|z|<R\) で \(f(z)\) は収束する: 実際,
\[R - |z| = \lim_{n→∞} \pqty{\frac{|c_n|}{|c_{n+1}|} - \abs{\frac{z^{n+1}}{z^n}}} = \lim_{n→∞} \frac{|c_nz^n|-|c_{n+1}z^{n+1}|}{|c_{n+1}z^n|}>0.\]\(z=a\) において正則な関数 \(f(z)\) を以下の冪級数に展開することができる. これを \(z=a\) まわりの Tayler 級数展開という:
\[\begin{gathered} f(z) = ∑_{n=0}^∞ A_n (z-a)^n = A_0 + A_1 (z-a) + A_2 (z-a)^2 + ⋯ \\ A_n = \frac1{2πi} ∮_C \d{ζ} \frac{f(ζ)}{(ζ-a)^{n+1}} = \frac{f^{(n)}(a)}{n!}. \quad (∵\text{Goursat の定理}) \end{gathered}\]ただし \(z=a\) を中心として \(f(z)\) が正則である最大の半径 \(R\) の円領域 \(D\) に対し, \(C\) は \(z=a\) を囲む \(D\) 内の閉曲線. また収束半径は \(R\). 実際, Cauchy の積分定理より \(C = ∂D\) として十分, Cauchy の積分公式より
\[\begin{aligned} f(z) &= \frac1{2πi} ∮_C \d{ζ} \frac{f(ζ)}{ζ-z} \\ &= \frac1{2πi} ∮_C \d{ζ} \frac{f(ζ)}{ζ-a} \frac1{\displaystyle 1-\frac{z-a}{ζ-a}} \\ &= \frac1{2πi} ∮_C \d{ζ} \frac{f(ζ)}{ζ-a} ∑_{n=0}^∞ \pqty{\frac{z-a}{ζ-a}}^n \\ &= ∑_{n=0}^∞ (z-a)^n \frac1{2πi} ∮_C \d{ζ} \frac{f(ζ)}{(ζ-a)^{n+1}}. \end{aligned}\]ただし, \(|z|<1\) に対し以下が成立することを用いた:
\[\begin{gathered} ∑_{n=0}^{N-1} z^n - z ∑_{n=0}^{N-1} z^n = 1 - z^N. \\ ∴ ∑_{n=0}^{N-1} z^n = \frac{1-z^N}{1-z} \quad \xrightarrow{N→∞} \quad ∑_{n=0}^∞ z^n = \frac1{1-z}. \end{gathered}\]\(z=a\) を極あるいは真性特異点として持つ関数 \(f(z)\) を以下の冪級数に展開することができる. これを \(z=a\) まわりの Laurent 級数展開という:
\[\begin{gathered} f(z) = ∑_{n=-∞}^∞ A_n (z-a)^n = ⋯ + \frac{A_{-1}}{z-a} + A_0 + A_1 (z-a) + ⋯, \\ A_n = \frac1{2πi} ∮_C \d{ζ} \frac{f(ζ)}{(ζ-a)^{n+1}}. \end{gathered}\]ただし \(z=a\) を中心として \(f(z)\) が正則である円環領域 \(D\) に対し, \(C\) は \(z=a\) を囲む \(D\) 内の閉曲線. \(n < 0\) 項を \(f(z)\) 主要部という.
留数定理
\(z=a\) まわりの Laurent 級数展開 \(f(z) = ∑_{n=-∞}^∞ A_n (z-a)^n\) において, \(n=-1\) の項の係数
\[\Res(a) := A_{-1} = \frac1{2πi} ∮_C \d{z} f(z)\]を留数 residual といい, 次の留数定理が成立: \(f(z)\) が閉曲線 \(C\) 内で有限個の特異点 \(a_1,…,a_N\) を除いて正則であるとき,
\[∮_C \d{z} f(z) = 2πi ∑_{n=1}^N \Res(a_n).\]実際, 特異点を \(z=a_n\) のみ含む閉曲線 \(C_n\) に対し, 留数の定義から
\[∮_{C_n} \d{z} f(z) = 2πi \Res(a_n).\]\(C\) および \(\overline{C_1},…,\overline{C_N}\) を巡り, 内部が正則であるような閉曲線 \(C'\) を考えると, Cauchy の積分定理より
\[\begin{gathered} ∮_{C'} \d{z} f(z) = ∮_C \d{z} f(z) + ∑_{n=1}^N ∮_{\overline{C_n}} \d{z} f(z) = 0. \\ ∴ ∮_C \d{z} f(z) = ∑_{n=1}^N ∮_{C_n} \d{z} f(z) = 2πi ∑_{n=1}^N \Res(a_n). \end{gathered}\]留数の求め方の例
\(z=a\) で正則な関数 \(g(z)\) に対し, 以下の \(f(z)\) は \(z=a\) で特異点を持つ. このとき, \(f(z)\) の留数 \(\Res(a)\) の求め方は以下:
- \(\displaystyle f(z) = \frac{g(z)}{(z-a)^n}\) (\(n\) は自然数):
より, \(m = n-1\) の項は留数:
\[\Res(a) = \frac{g^{(n-1)}(a)}{(n-1)!}.\]特に \(n=1, 2\) のとき
\[\begin{aligned} f(z) &= \frac{g(z)}{z-a} & ⇒ \quad \Res(a) &= g(a), \\ f(z) &= \frac{g(z)}{(z-a)^2} & ⇒ \quad \Res(a) &= g'(a). \end{aligned}\]- \(\displaystyle f(z) = \frac{g(z)}{h(z)}\) (\(h(z)=0\), \(h'(z)≠0\)):
したがって分母の総和の \(n=1\) 項は留数:
\[\Res(a) = \frac{g(z)}{h'(a)}.\]定積分への応用
一致の定理と解析接続
2 関数 \(f(z)\), \(g(z)\) がどちらも領域 \(D\) で正則で, \(D\) の部分領域 \(D_0\) において \(f(z) = g(z)\) であるとき, \(D\) においても \(f(z) = g(z)\) である. これを一致の定理という. 実際, \(h(z) := f(z) - g(z)\) の Tayler 展開の係数 \(\{A_n\}\) を考えると, \(D_0\) 内の点まわりでの Tayler 展開では \(h(z) = 0\) より \(\{A_n = 0\}\). したがって \(D_0\) 外の点でも \(f(z) = g(z)\) である.
領域 \(D_0\) で定義された関数 \(f_0(z)\) に対し, \(D_0\) を含む領域 \(D\) で \(f_0(z)\) が正則かつ, 同様に正則な \(f(z)\) が \(D_0\) で \(f_0(z) = f(z)\) であるとき, \(f(z)\) を \(D\) への \(f_0(z)\) の解析接続 analytic continuation という. \(f(z)\) が存在すればただ一つである. 実際, \(f_0(z)\) に対し \(D_0\) で一致する関数が複数存在する場合も, 一致の定理よりそれらは \(D\) において同一の関数である.
解析接続の例
-
\(\displaystyle \frac1{1-z}\) は \(ℂ \setminus \{1\}\) への \(\displaystyle ∑_{n=0}^∞ z^n\) の解析接続 (\(|z|<0\) において一致).
-
\(\Re{z}>0\) で定義されるガンマ関数 \(\displaystyle Γ(z) := ∫_0^∞ \d{x} x^{z-1} e^{-x}\) に対し, \(\displaystyle \frac{Γ(z+1)}{z}\) は \(\Re{z}>-1\) への \(Γ(z)\) の解析接続である. 帰納的に解析接続を繰り返すことでガンマ関数の \(\Re{z}<0\) への解析接続が得られる. 実際, \(\Re{z}>0\) で