複素積分の導入～複素線積分とその性質

複素積分では何が問題となるのか

これまで触れてきた積分は積分区間が実数でした。この「実数」を「複素数」に拡張するとどうなるのでしょうか。
経路関数 f(x)f(x)f(x) を 000 から 111 で(実)積分することを考えましょう。xxx を 000 から 111 に動かして足し合わせるイメージです。一方，000 から 1+i1+i1+i へ複素数で積分するときのことを考えてみましょう。xxx をどのように動かすことになるのでしょうか。
000 から 1+i1+i1+i へ直線に沿うように？ 000 から iii を経由して 1+i1+i1+i に行く？
このように，「複素数で積分する」ときは，いろいろな動かし方が考えられます。複素数平面とあるように，複素数の世界が二次元的に広がっているためこのような問題が発生します。
そこで，線積分というものを考えます。こうした文脈から，複素積分には「複素線積分」という表現がしばしば用いられます。
複素積分は経路によって積分値が異なることがあります。そのため，経路を意識する必要があります。

準備：なめらかな曲線

複素積分では「経路（曲線）」が重要です。そこで，パラメタが付けられた曲線を考えます。
曲線 CCC はパラメタ ttt によって c(t)c(t)c(t) で定められるとします。複素数平面上の曲線を考えるため，c(t)c(t)c(t) の実部，虚部をそれぞれ x(t)x(t)x(t)，y(t)y(t)y(t) で表します。
なめらかな曲線なめらかな曲線とは，とがったところがないような曲線のことです。より厳密な定義は以下です。
c(t)=x(t)+iy(t)  (a≦t≦b)c(t) =x(t) + i y(t) \; (a \leqq t \leqq b)c(t)=x(t)+iy(t)(a≦t≦b) で定められた曲線 CCC がなめらかであるとは，以下の2つを満たすことを指す。
c(t)c(t)c(t) が C1C^1C1 級である。すなわち x(t),y(t)x(t),y(t)x(t),y(t) が微分可能で，これらの導関数は連続である。
CCC の各点で接線が確定する。すなわち任意の t∈(a,b)t \in (a,b)t∈(a,b) で (x′(t),y′(t))≠(0,0)(x'(t) , y'(t)) \neq (0,0)(x′(t),y′(t))=(0,0) である。
例を2つ見てみましょう。
下図の C1:c(t)=t2+it3C_1 : c(t) = t^2+it^3C1​:c(t)=t2+it3 は原点で「尖って」います。実際，t=0t=0t=0 で {x′(t)}2+{y′(t)}2=2t+3t2=0\{x'(t)\}^2 + \{y'(t)\}^2 =2t+3t^2= 0{x′(t)}2+{y′(t)}2=2t+3t2=0 となっています。そのため，CCC を c(t)  (−1≦t≦1)c (t) \; (-1 \leqq t \leqq 1)c(t)(−1≦t≦1) で定義したとき，これはなめらかではなりません。一方で c(t)  (1≦t≦2)c(t) \; (1 \leqq t \leqq 2)c(t)(1≦t≦2) で定義すると，なめらかな曲線になります。
C2:c(t)=cosh⁡t−1+isinh⁡tC_2 : c(t) = \cosh t - 1 + i \sinh tC2​:c(t)=cosht−1+isinht は，任意の区間でなめらかな曲線となります。
曲線の逆・結合曲線の逆と結合を定義します。文字でわかりにくい場合は，図を見てイメージしてください。
向きを逆にした曲線曲線 CCC を c(t)  (a≦t≦b)c (t) \; (a \leqq t \leqq b)c(t)(a≦t≦b) で定義されたなめらかな曲線とします。この曲線には ttt に沿った向きが付いていることを注目しましょう。
CCC の向きを逆にした曲線を −C-C−C で表し，文字通り「CCC を逆向きにたどった曲線」とします。すなわち
c−(t)=c(−t)  (−b≦t≦−a)
c_{-} (t) = c (-t) \; (-b \leqq t \leqq -a)
c−​(t)=c(−t)(−b≦t≦−a)
によって定義される曲線を −C-C−C とします。
曲線の結合2つのなめらかな曲線の和を定義します。
曲線 C1C_1C1​ を c1(t)  (a≦t≦b)c_1 (t) \; (a \leqq t \leqq b)c1​(t)(a≦t≦b) で，C2C_2C2​ を c2(t)  (c≦t≦d)c_2 (t) \; (c \leqq t \leqq d)c2​(t)(c≦t≦d) で定義されるなめらかな曲線とします。
特に C1C_1C1​ の終点と C2C_2C2​ の始点は同じとします。すなわち c1(b)=c2(c)c_1 (b) = c_2 (c)c1​(b)=c2​(c) と仮定します。
このとき2曲線の結合 C1+C2C_1 + C_2C1​+C2​ を C1C_1C1​ の終点と C2C_2C2​ の始点を繋げた曲線とします。すなわち
c(t)={c1(t)(a≦t≦b)c2(t−b+c)(b≦t≦b+(d−c))
c(t) =
\begin{cases}
c_1 (t) &(a \leqq t \leqq b)\\ 
c_2 (t-b+c) &(b \leqq t \leqq b + (d-c))
\end{cases}c(t)={c1​(t)c2​(t−b+c)​(a≦t≦b)(b≦t≦b+(d−c))​
によって定義される曲線を C1+C2C_1 + C_2C1​+C2​ とします。
区分的になめらかな曲線先ほどの C1C_1C1​ のように「尖った」部分がある曲線や，単純なジグザグな折れ線などを経路とする積分はどう考えるべきでしょうか。ここで区分的になめらかという概念を導入します。
曲線 CCC が，いくつかのなめらかな曲線の結合になっているとき，それを区分的になめらかな曲線といいます。
例えば先ほどの C1:c(t)=t2+it3C_1: c(t) = t^2 + it^3C1​:c(t)=t2+it3 も虚部が正の部分と負の部分で分割することで，区分的になめらかな曲線となります。

積分の定義と性質

（連続な）複素関数の積分を，これまでに定義した（区分的に）なめらかな曲線に沿った線積分として定義します。
なめらかな曲線上の積分なめらかな曲線 CCC が t  (a≦t≦b)t \; (a \leqq t \leqq b)t(a≦t≦b) をパラメタとして c(t)c(t)c(t) により定められているとします。CCC 上の連続関数 f(z)f(z)f(z) の積分を，（実積分に習い） a=t1≦⋯≦tn=ba = t_1 \leqq \cdots  \leqq t_n = ba=t1​≦⋯≦tn​=b と区間 [a,b][a,b][a,b] を分割し，区分和
∑i=1nf(c(ti))(c(ti+1)−c(ti))⋯(∗)
\sum_{i=1}^n f(c(t_i)) (c(t_{i+1}) - c(t_i)) \quad \cdots (\ast)
i=1∑n​f(c(ti​))(c(ti+1​)−c(ti​))⋯(∗)
の極限として定義します。
f(z)f(z)f(z) を u(z)+iv(z)u(z) + i v(z)u(z)+iv(z) と実部・虚部に分けると，実積分の線積分として帰着できます。ゆえに(∗)(\ast)(∗) は収束し

∫Cf(z)  dz=∫abf(c(t))c′(t)  dt
\int_C f(z) \; dz = \int_a^b f(c(t))  c'(t) \; dt
∫C​f(z)dz=∫ab​f(c(t))c′(t)dt
と計算されます。
区分的になめらかな曲線上の積分曲線 C=C1+C2+⋯+CnC = C_1 + C_2 + \cdots + C_nC=C1​+C2​+⋯+Cn​ と区分的になめらかな曲線を，なめらかな曲線に分けましょう。このとき複素関数 f(z)f(z)f(z) の CCC に沿った積分を次のように定めることができます。
∫Cf(z)  dz=∑i=1n∫Cif(z)  dz
\int_C f(z) \; dz = \sum_{i=1}^n \int_{C_i} f(z) \; dz 
∫C​f(z)dz=i=1∑n​∫Ci​​f(z)dz
複素積分の性質複素積分には，実積分と同様に「線型性」が成り立ちます。
複素積分の性質
f(z),g(z)f(z),g(z)f(z),g(z) は連続な複素関数，α\alphaα を複素数，C,DC,DC,D を区分的になめらかな曲線とする。このとき以下が成り立つ。
∫C(f(z)+g(z))  dz=∫Cf(z)  dz+∫Cg(z)  dz\displaystyle \int_C (f(z) + g(z))\; dz = \int_C f(z) \; dz + \int_C g(z) \; dz∫C​(f(z)+g(z))dz=∫C​f(z)dz+∫C​g(z)dz
∫Cαf(z)  dz=α∫Cf(z)  dz\displaystyle \int_C \alpha f(z) \; dz = \alpha \int_C f(z) \; dz∫C​αf(z)dz=α∫C​f(z)dz
∫−Cf(z)  dz=−∫Cf(z)  dz\displaystyle \int_{-C} f(z)\; dz = -\int_C f(z) \; dz∫−C​f(z)dz=−∫C​f(z)dz
∫C+Df(z)  dz=∫Cf(z)  dz+∫Df(z)  dz\displaystyle \int_{C+D} f(z)\; dz = \int_C f(z) \; dz + \int_D f(z) \; dz∫C+D​f(z)dz=∫C​f(z)dz+∫D​f(z)dz

具体例

具体的な計算例を通して，複素積分を理解しましょう。

例題1

$f(z) = z$ を次の経路に沿って積分せよ。

直線：
$C: c(t) = (1+i) t \; (0 \leqq t \leqq 1)$
折れ線：
$C_1 + C_2$ ，ただし $C_1 : c_1 (t) = t \; (0 \leqq t \leqq 1)$ ， $C_2 : c_2 (t) = 1 +it \; (0 \leqq t \leqq 1)$ とする。

$f(z) = z$ を $0$ から $1+i$ まで積分をします。2通りの経路を考えましょう。

解答

まずは，直線 $c(t) = (1+i) t \; (0 \leqq t \leqq 1)$ に沿って積分します。

$\begin{aligned} \int_C f(z) \; dz &= \int_0^1 f(c(t)) c'(t) \; dt\\ &= \int_0^1 (1+i)t \cdot (1+i) \; dt\\ &= \left[ \dfrac{(1+i)^2}{2} t^2 \right]_0^1\\ &= \dfrac{(1+i)^2}{2} = i \end{aligned}$

次は，折れ線です。 $C_1 : c_1 (t) = t \; (0 \leqq t \leqq 1)$ ， $C_2 : c_2 (t) = 1 +it \; (0 \leqq t \leqq 1)$ により積分しましょう。

$\begin{aligned} \int_{C} f(z) \; dz &= \int_{C_1} f(z) \; dz + \int_{C_2} f(z) \; dz\\ &= \int_0^1 t \; dt + \int_0^1 (1+it) i \; dt\\ &= \left[ \dfrac{1}{2} t^2 \right]_0^1 + \left[ it - \dfrac{1}{2} t^2 \right]_0^1\\ &= \dfrac{1}{2} + \left( i - \dfrac{1}{2} \right) = i \end{aligned}$

なんと，どちらも積分結果が同じになりました。実は，被積分関数 $f(z)$ が正則である領域のなかでは積分結果は始点と終点だけで決まります！

例題2

$f(z) = \dfrac{1}{1+z}$ を次の経路に沿って積分せよ。

$C_1 : c_1 (t) = e^{it} -1 \; (0 \leqq t \leqq \pi)$
$C_2 : c_2 (t) = e^{-it} -1 \; (0 \leqq t \leqq \pi)$

解答

$f(z) = \dfrac{1}{1+z}$ を $0$ から $-2$ まで積分をします。

経路1

$c_1 (t) = e^{it} -1 \; (0 \leqq t \leqq \pi)$ に沿って積分します。

$\begin{aligned} \int_{C_{1}} \dfrac{dz}{1+z} &= \int_0^{\pi} \dfrac{i e^{it}}{e^{it}} dt\\ &= \int_0^{\pi} i \; dt = i\pi \end{aligned}$

経路2

$c_2 (t) = e^{-it} -1 \; (0 \leqq t \leqq \pi)$ に沿って積分します。

$\begin{aligned} \int_{C_{2}} \dfrac{dz}{1+z} &= \int_0^{\pi} \dfrac{-i e^{-it}}{e^{-it}} dt\\ &= \int_0^{\pi} (-i) \; dt = -i\pi \end{aligned}$

今回は積分結果が変わりました。

原始関数と積分

実積分のとき，原始関数を用いて積分を計算していました。同じようなことが複素積分でも成立します。

定理

区分的になめらかな曲線 $C: c(t) \; (a \leqq t \leqq b)$ 上で連続な関数 $f(z)$ に， $C$ を含む領域で正則な関数 $F(z)$ があって， $C$ 上で $F'(z) = f(z)$ であるとき， $\int_C f(z) \; dz = F(c(b)) - F(c(a))$ である。

証明

$g(t) = F(c(t))$ とおく。 $g'(t) = F'(c(t)) c'(t) = f(c(t)) c'(t)$ である。よって $\begin{aligned} \int_C f(z) \; dz &= \int_a^b f(c(t)) c'(t) \; dt\\ &= \int_a^b g'(t) \; dt\\ &= g(b) - g(a)\\ &= F(c(b)) - F(c(a)) \end{aligned}$ が得られる。

この定理を踏まえて先ほどの例題を思い出しましょう。

$f(z) = z$ には $\mathbb{C}$ 全体で原始関数 $F(z) = \dfrac{1}{2}z^2$ が存在します。したがって積分経路によらず $\int_C z \; dz = \left[ \dfrac{1}{2}z^2 \right]_0^{1+i} = i$ となったのです。

例2の場合， $f(z) = \dfrac{1}{1+z}$ の原始関数は $\log (z+1)$ です。

$\begin{aligned} \int_{C_1} \dfrac{dz}{1+z} &= \left[ \log (z+1) \right]_{0}^{e^{i\pi}-1}\\ &= \log e^{i\pi} = i\pi\\ \int_{C_1} \dfrac{dz}{1+z} &= \left[ \log (z+1) \right]_{0}^{e^{-i\pi}-1}\\ &= \log e^{-i\pi} = -i\pi\\ \end{aligned}$ となります。

複素数の対数関数とiのi乗の主値が実数であることの記事に詳しくは書いてありますが，複素数の範囲において $\log z$ の値は $\arg z$ の分ズレが出てきて一意に定まりません。したがって積分の値にもズレが生じます。

$\;$

積分路に寄って積分値が変わる例を見てきましたが，その根本的な原因はどこにあるのでしょうか。

例2の場合， $f(z) = \dfrac{1}{1+z}$ が $z=-1$ で正則ではないこと，すなわち $z=-1$ で微積分できる関数ではないことが原因となっています。→コーシーリーマンの関係式と微分可能性・正則関数

積分路の変化については，より詳しく別の記事→ コーシーの積分定理と積分経路の変形で説明します。

複素積分の便利で美しい公式が今後登場していくのでお楽しみに！