8
高校数学解説
文献あり

複素積分と実部,虚部

2073
0
$$\newcommand{C}[0]{\mathbb{C}} \newcommand{div}[0]{\mathrm{div}} \newcommand{division}[0]{÷} \newcommand{grad}[0]{\mathrm{grad}\ } \newcommand{N}[0]{\mathbb{N}} \newcommand{Q}[0]{\mathbb{Q}} \newcommand{R}[0]{\mathbb{R}} \newcommand{rot}[0]{\mathrm{rot}\ } \newcommand{Z}[0]{\mathbb{Z}} $$

まえがき

こんにちは!的場 沙雪です.今回は複素積分の解説をします.解説と言っても問題の解説ではなく,積分を解く際のテクニックについて解説していこうと思います.

概要

みなさんは,以下の積分をどう解きますか?

以下の式を求めてください.
$\displaystyle\int_0^\frac{\pi}{2}e^x\sin x\mathrm{d}x$

数Ⅲで頻出の積分ですね.恐らく部分積分を$2$回行った回答をされた方が多いと思いますが,実は以下のような解き方もあります.詳しくは 神鳥奈紗 さんの こちらの記事 を参照してください.

解答
解説
\begin{align*} &\int_0^\frac{\pi}{2}e^x\sin x\mathrm{d}x\\ =&\int_0^\frac{\pi}{2}\mathfrak{I}e^{\left(1+i\right)x}\mathrm{d}x\\ =&\left[\mathfrak{I}\frac{e^{\left(1+i\right)x}}{1+i}\right]_{x=0}^\frac{\pi}{2}\\ =&\mathfrak{I}\frac{e^{\left(1+i\right)\frac{\pi}{2}}-1}{1+i}\\ =&\mathfrak{I}\frac{e^\frac{\pi}{2}i-1}{1+i}\\ =&\mathfrak{I}\frac{\left(e^\frac{\pi}{2}i-1\right)\left(1-i\right)}{2}\\ =&\mathfrak{I}\frac{e^\frac{\pi}{2}i-1+e^\frac{\pi}{2}+i}{2}\\ =&\frac{e^\frac{\pi}{2}+1}{2} \end{align*}
なので,$\displaystyle\int_0^\frac{\pi}{2}e^x\sin x\mathrm{d}x=\frac{e^\frac{\pi}{2}+1}{2}$です.

では,以下の不定積分はどうでしょうか?

以下の不定積分を,複素変数$z$を用いて,積分定数は$C$として求めてください.
$\displaystyle\int e^z\sin z\mathrm{d}z$

もちろん部分積分を$2$回行えば良いです.でも,先ほどのような解答もしてみたくなります.

解答?

\begin{align*} &\int e^z\sin z\mathrm{d}z\\ =&\int \mathfrak{I}e^{\left(1+i\right)z}\mathrm{d}z\\ =&\mathfrak{I}\frac{e^{\left(1+i\right)z}}{1+i}+C\\ =&\mathfrak{I}\frac{e^z\left(\cos z+i\sin z\right)}{1+i}+C\\ =&\mathfrak{I}\frac{e^z\left(\cos z+i\sin z\right)\left(1-i\right)}{2}+C\\ =&\mathfrak{I}\frac{e^z\left(\cos z+i\sin z-i\cos z-\sin z\right)}{2}+C\\ =&\frac{e^z\left(\sin z-\cos z\right)}{2}+C \end{align*}
なので,$\displaystyle\int e^z\sin z\mathrm{d}z=\frac{e^z\left(\sin z-\cos z\right)}{2}+C$です.

果たして本当にこれで良いのでしょうか?$z$は複素数なので,一般には$e^{\left(1+i\right)z}$の虚部は$e^z\sin z$ではないはずですよね……(実際,$z=i$とすると$e^{\left(1+i\right)z}=e^{\left(1+i\right)i}=e^{i-1}=e^{-1}\left(\cos1+i\sin1\right)=e^{-1}\cos1+ie^{-1}\sin1$なので,虚部は$e^{-1}\sin1$となり,$e^z\sin z=e^i\sin i=\left(\cos1+i\sin1\right)i\sinh1=-\sinh1\sin1+i\sinh1\cos1$とは異なります.そもそもこれは実数ではないです).ああ,$z$が実変数であればよかったのに!一致の定理を使っても出来そうだけど,なんか不定積分で関数が定まってないしどういう風に言えばいいのかよくわからないなあ…….

……実は,この方法を正当化することが出来ます.もちろんこのままではダメですが,以下に導入する関数虚部を使えばこれと実質的に同じ方法で解くことが出来ます.結論から言ってしまえば,複素変数を実変数だと思って虚部を取れば良いのです.

下準備

本題に移る前に,関数に関するいくつかの定義をしておこうと思います.これらの定義はよく知られたものではありますが,定義域などを再確認しておきます.

複素関数

定義域が$\C$の部分集合で,終域が$\C$である写像を「複素関数」とよびます.

正則関数

$f$は複素関数,$\mathrm{def}f$は複素領域であり,
$\displaystyle\forall z\in\mathrm{def}f,\ \exists L\in\C\ \mathrm{s.t.}\ \forall\varepsilon>0,\ \exists\delta>0\ \mathrm{s.t.}\ \forall h\in\C,\ \left(0<\left|h\right|<\delta\rightarrow\left|\frac{f\left(z+h\right)-f\left(z\right)}{h}-L\right|<\varepsilon\right)$
を満たすとき,かつそのときに限り,$f$を「正則関数」とよび,複素関数$f$正則であるといいます.

複素定数関数,複素零関数

$\C$の部分集合$D$,複素数$c$に対して,
$\forall z\in D,\ f\left(z\right):=c$
により定義される複素関数$f:D\to\C$$\mathrm{const}_{c,D}$と表し,「$c$を持つ$D$上の複素定数関数」とよびます.特に$\mathrm{const}_{0,D}$$\boldsymbol{0}_D$と表し,「$D$上の複素零関数」とよびます.

複素関数の四則演算

複素関数$f$$g$に対して,

  • $\forall z\in\mathrm{def}f\cap\mathrm{def}g,\ h\left(z\right):=f\left(z\right)+g\left(z\right)$
    により定義される複素関数$h:\mathrm{def}f\cap\mathrm{def}g\to\C$$\left(f\right)+\left(g\right)$や,括弧を省略して$f+\left(g\right)$や,$\left(f\right)+g$や,$f+g$と表し,「$f$$g$の和」とよびます.
  • $\forall z\in\mathrm{def}f\cap\mathrm{def}g,\ h\left(z\right):=f\left(z\right)-g\left(z\right)$
    により定義される複素関数$h:\mathrm{def}f\cap\mathrm{def}g\to\C$$\left(f\right)-\left(g\right)$や,括弧を省略して$f-\left(g\right)$や,$\left(f\right)-g$や,$f-g$と表し,「$f$$g$の差」とよびます.
  • $\forall z\in\mathrm{def}f\cap\mathrm{def}g,\ h\left(z\right):=f\left(z\right)g\left(z\right)$
    により定義される複素関数$h:\mathrm{def}f\cap\mathrm{def}g\to\C$$\left(f\right)\left(g\right)$や,括弧を省略して$f\left(g\right)$や,$\left(f\right)g$や,$fg$と表し,「$f$$g$の積」とよびます.
  • $\displaystyle\forall z\in\mathrm{def}f\cap\mathrm{supp}g,\ h\left(z\right):=\frac{f\left(z\right)}{g\left(z\right)}$
    により定義される複素関数$h:\mathrm{def}f\cap\mathrm{supp}g\to\C$$\displaystyle\frac{\left(f\right)}{\left(g\right)}$や,括弧を省略して$\displaystyle\frac{f}{\left(g\right)}$や,$\displaystyle\frac{\left(f\right)}{g}$や,$\displaystyle\frac{f}{g}$と表し,「$f$$g$の商」とよびます.
複素関数の定数倍

複素数$c$,複素関数$f$に対して,
$\forall z\in\mathrm{def}f,\ g\left(z\right):=cf\left(z\right)$
により定義される複素関数$g:\mathrm{def}f\to\C$$\left(c\right)\left(f\right)$や,括弧を省略して$c\left(f\right)$や,$\left(c\right)f$や,$cf$と表し,「$f$$c$」とよびます.

複素関数の反数

複素関数$f$に対して,
$\forall z\in\mathrm{def}f,\ g\left(z\right):=-f\left(z\right)$
により定義される複素関数$g:\mathrm{def}f\to\C$$-\left(f\right)$や,括弧を省略して$-f$と表し,「$f$の反数」とよびます.

関数共役(関数共軛)

まず集合共役(集合共軛)と関数共役(関数共軛)の定義をします.これ以降にする定義は全てオリジナルのものですが,もし既に名前などついているのであれば,ご一報いただければ幸いです.

集合共役(集合共軛)

$\C$の部分集合$S$に対して,
$T:=\left\{\overline{z}:z\in S\right\}$
により定義される$\C$の部分集合$T$$\mathrm{cjg}\left(S\right)$や,括弧を省略して$\mathrm{cjg}S$と表し,「$S$の共役集合」や,「$S$の共軛集合」とよび,集合$T$は集合$S$に関して共役であるもしくは共軛であるといい,作用素$\mathrm{cjg}:\mathfrak{P}\left(\C\right)\to\mathfrak{P}\left(\C\right)$を「集合共役」や,「集合共軛」とよびます.

集合共役を$\overline{S}$で書くと,閉包や,代数的数全体の集合$\overline{\Q}$と紛らわしいので使わないことにします.

関数共役(関数共軛)

複素関数$f$に対して,
$\forall z\in\mathrm{cjg}\mathrm{def}f,\ g\left(z\right):=\overline{f\left(\overline{z}\right)}$
により定義される複素関数$g:\mathrm{cjg}\mathrm{def}f\to\C$$\overline{\left(f\right)}$や,$\mathrm{cjg}\left(f\right)$や,括弧を省略して$\overline{f}$や,$\mathrm{cjg}f$と表し,「$f$の共役関数」や,「$f$の共軛関数」とよび,$g$$f$に関して共役であるもしくは共軛であるといい,作用素$\displaystyle\mathrm{cjg}:\bigcup_{D\in\mathfrak{P}\left(\C\right)}\mathrm{Map}\left(D,\C\right)\to\bigcup_{D\in\mathfrak{P}\left(\C\right)}\mathrm{Map}\left(D,\C\right)$を「関数共役」や,「関数共軛」とよびます.また$z$が複素変数である場合,$\overline{f}\left(z\right)$$\mathrm{cjg}_z\left(f\left(z\right)\right)$や,括弧を省略して$\mathrm{cjg}_zf\left(z\right)$と表します.

$\mathrm{def}f$は空集合でも構いません.その場合$f$は空関数となり,空関数の共役関数は空関数自身となります.

関数共役は通常の共役とは異なります.例えば
$\forall z\in\C,\ f\left(z\right):=z$
により定義される複素関数$f:\C\to\C$に対して,$a$$b$を実数とすると$\overline{f\left(a+bi\right)}=\overline{a+bi}=a-bi$ですが,一方$\overline{f}\left(a+bi\right)=\overline{f\left(\overline{a+bi}\right)}=\overline{f\left(a-bi\right)}=\overline{a-bi}=a+bi$です.

cjgは「共役」の英語"conjugate"の略です.関数共役は簡単にいうと,変数を実数だと思って共役をとることです.

$z$は複素変数とします.

  • $\mathrm{cjg}_zz=z$
  • $\mathrm{cjg}_z\left(z^2-2iz-1\right)=z^2+2iz-1$
  • $\mathrm{cjg}_ze^{iz}=e^{-iz}$
  • $\mathrm{cjg}_z\sin iz=\sin\left(-iz\right)$

「変数を実数だと思って共役をとる」というのは一般論ではないので,この方法で求めてはいけないものもあります(一部はたまたまその方法でも一致しますが).

$z$は複素変数とします.

  • $\mathrm{cjg}_z\overline{z}=\overline{z}$
  • $\mathrm{cjg}_z\mathfrak{R}z=\mathfrak{R}z$
  • $\mathrm{cjg}_z\mathfrak{I}z=-\mathfrak{I}z$
  • $\mathrm{cjg}_z\left|z\right|=\left|z\right|$

勘が鋭い人は気づいたかもしれませんが,要は正則関数なら変数を実数だと思って共役をとる方法が使えます.それ以外は基本的に定義に従って変形してください.

では,この関数共役の基本的性質を見ていきましょう.証明は省略します(命題 3は一見非自明ですが,Schwarzの鏡像の原理からすぐにわかります).

対合

以下の等式が成り立ちます.ただし$f$は複素関数とします.
$\overline{\overline{f}}=f$

写像の一致を述べるためには,全点での値の一致のみでなく定義域,終域の一致を示す必要があります.今回示すべきは$\C$の部分集合$S$に対して,$\mathrm{cjg}\mathrm{cjg}S=S$となることです.これは$\forall x\in\C,\ \left(x\in\mathrm{cjg}S\leftrightarrow\overline{x}\in S\right)$を示しておけば楽に証明できます.後述する命題 5も同様です.命題 5に関しては$\C$の部分集合$S$$T$に対して,$\mathrm{cjg}\left(S\cap T\right)=\left(\mathrm{cjg}S\right)\cap\left(\mathrm{cjg}T\right)$となること,そして複素関数$f$に対して,$\mathrm{cjg}\mathrm{supp}f=\mathrm{supp}\overline{f}$となることを示す必要があります.

以下$2$つの論理式は恒真です.ただし$f$は複素関数とします.

  • $\displaystyle\left.\overline{f}\right|_{\mathrm{def}f\cap\mathrm{cjg}\mathrm{def}f}=\left.f\right|_{\mathrm{def}f\cap\mathrm{cjg}\mathrm{def}f}\rightarrow\left(\forall x\in\mathrm{def}f\cap\R,\ f\left(x\right)\in\R\right)$
  • $\displaystyle\left.\overline{f}\right|_{\mathrm{def}f\cap\mathrm{cjg}\mathrm{def}f}=-\left.f\right|_{\mathrm{def}f\cap\mathrm{cjg}\mathrm{def}f}\rightarrow\left(\forall x\in\mathrm{def}f\cap\R,\ \frac{f\left(x\right)}{i}\in\R\right)$

命題 2の逆,即ち
$\displaystyle\left(\forall x\in\mathrm{def}f\cap\R,\ f\left(x\right)\in\R\right)\rightarrow\left.\overline{f}\right|_{\mathrm{def}f\cap\mathrm{cjg}\mathrm{def}f}=\left.f\right|_{\mathrm{def}f\cap\mathrm{cjg}\mathrm{def}f}$
及び
$\displaystyle\left(\forall x\in\mathrm{def}f\cap\R,\ \frac{f\left(x\right)}{i}\in\R\right)\rightarrow\left.\overline{f}\right|_{\mathrm{def}f\cap\mathrm{cjg}\mathrm{def}f}=-\left.f\right|_{\mathrm{def}f\cap\mathrm{cjg}\mathrm{def}f}$
一般には成り立ちません.いずれも前件は実数直線上での話でしかないですが,後件は複素平面上での話になっているためです.$\mathrm{def}f\cap\R\subseteq\mathrm{def}f\cap\mathrm{cjg}\mathrm{def}f$に注意してください.

以下$2$つの論理式は恒真です.ただし$f$は正則関数とします.

  • $\displaystyle\left.\overline{f}\right|_{\mathrm{def}f\cap\mathrm{cjg}\mathrm{def}f}=\left.f\right|_{\mathrm{def}f\cap\mathrm{cjg}\mathrm{def}f}\leftrightarrow\left(\forall x\in\mathrm{def}f\cap\R,\ f\left(x\right)\in\R\right)$
  • $\displaystyle\left.\overline{f}\right|_{\mathrm{def}f\cap\mathrm{cjg}\mathrm{def}f}=-\left.f\right|_{\mathrm{def}f\cap\mathrm{cjg}\mathrm{def}f}\leftrightarrow\left(\forall x\in\mathrm{def}f\cap\R,\ \frac{f\left(x\right)}{i}\in\R\right)$

命題 2とは異なり$\mathrm{def}f\cap\mathrm{cjg}\mathrm{def}f\neq\varnothing\land\mathrm{def}f\cap\R=\varnothing$の場合が気になりますが,今$\mathrm{def}f$は複素領域なので連結です.このような状況は起こり得ません(ただし要証明です).

以下の等式が成り立ちます.ただし$c\in\C$$D\subseteq\C$とします.
$\overline{\mathrm{const}_{c,D}}=\mathrm{const}_{\overline{c},\mathrm{cjg}D}$

また特に以下の等式が成り立ちます.
$\overline{\boldsymbol{0}_D}=\boldsymbol{0}_{\mathrm{cjg}D}$

以下$4$つの等式が成り立ちます.ただし$f$$g$は複素関数とします.

  • $\overline{f+g}=\overline{f}+\overline{g}$
  • $\overline{f-g}=\overline{f}-\overline{g}$
  • $\overline{fg}=\overline{f}\overline{g}$
  • $\displaystyle\overline{\left(\frac{f}{g}\right)}=\frac{\overline{f}}{\overline{g}}$

以下の等式が成り立ちます.ただし$c\in\C$$f$は複素関数とします.
$\overline{cf}=\overline{c}\overline{f}$

以下の等式が成り立ちます.ただし$f$は複素関数とします.
$\overline{-f}=-\overline{f}$

以下の論理式は恒真です.ただし$P\left(X\right)$$X$を変数とする実数係数多項式,$f$は複素関数とします.
$P\left(f\right)=\boldsymbol{0}_{\mathrm{def}f}\leftrightarrow P\left(\overline{f}\right)=\boldsymbol{0}_{\mathrm{cjg}\mathrm{def}f}$

$P\left(f\right)$$P\left(\overline{f}\right)$において定数項は$\mathrm{const}_{1,\mathrm{def}f}$$\mathrm{const}_{1,\mathrm{cjg}\mathrm{def}f}$の定数倍として扱ってください.

このように,通常の共役と似た性質を持つことがわかります.関数共役はこれらの命題を用いて容易に計算できます.

では,今回の話題の核心に迫る定理の紹介です.

$f$は正則関数とします.

このとき$\overline{f}$は正則で,
$\overline{f}^\prime=\overline{f^\prime}$
を満たします.

この定理によって,色々なことがわかります.例えば,後述する関数実部,関数虚部に関する系が証明できます.また証明は省略しますが以下の系がいえます.

$f$は正則関数とします.

このとき,$z$を複素変数,$C$を積分定数として以下の不定積分に関する等式が成り立ちます.
$\displaystyle\int\overline{f^\prime}\left(z\right)\mathrm{d}z=\overline{f}\left(z\right)+C$

$f$は正則関数,$a\in\mathrm{cjg}\mathrm{def}f$$b\in\mathrm{cjg}\mathrm{def}f$とします.

このとき,以下の等式が成り立ちます.
$\displaystyle\int_a^b\overline{f^\prime}\left(z\right)\mathrm{d}z=\left[\overline{f}\left(z\right)\right]_{z=a}^b=\overline{f}\left(b\right)-\overline{f}\left(a\right)$

$\displaystyle\int_a^b\overline{f^\prime}\left(z\right)\mathrm{d}z$$\displaystyle\mathrm{cjg}_z\int_a^bf^\prime\left(z\right)\mathrm{d}z$としたり,$\left[\overline{f}\left(z\right)\right]_{z=a}^b$$\mathrm{cjg}_z\left[f\left(z\right)\right]_{z=a}^b$としたりすることはできません.つまり関数共役は外に出せません.これは,「$z$が従属変数だから」というのはもちろんなのですが,通常の共役が値に作用するのと違って,関数共役は関数(もしくは特定の変数)に作用するからです.$\displaystyle\int\overline{f^\prime}\left(z\right)\mathrm{d}z$$\mathrm{cjg}_z\displaystyle\int f^\prime\left(z\right)\mathrm{d}z$とするのも(正しいですが計算するときは)やめた方が良いです.後述する関数実部,関数虚部も同様です.

とりあえず定理 9を証明しましょう.

解説
$f$は正則ですから,
$\displaystyle\forall z\in\mathrm{def}f,\ \forall\varepsilon>0,\ \exists\delta>0\ \mathrm{s.t.}\ \forall h\in\C,\ \left(0<\left|h\right|<\delta\rightarrow\left|\frac{f\left(z+h\right)-f\left(z\right)}{h}-f^\prime\left(z\right)\right|<\varepsilon\right)$
です.ここで
\begin{align*} &\forall z\in\mathrm{def}f,\ \forall\varepsilon>0,\ \exists\delta>0\ \mathrm{s.t.}\ \forall h\in\C,\ \left(0<\left|h\right|<\delta\rightarrow\left|\frac{f\left(z+h\right)-f\left(z\right)}{h}-f^\prime\left(z\right)\right|<\varepsilon\right)\\ \implies&\forall z\in\mathrm{def}f,\ \forall\varepsilon>0,\ \exists\delta>0\ \mathrm{s.t.}\ \forall k\in\C,\ \left(0<\left|\overline{k}\right|<\delta\rightarrow\left|\frac{f\left(z+\overline{k}\right)-f\left(z\right)}{\overline{k}}-f^\prime\left(z\right)\right|<\varepsilon\right)\\ \implies&\forall z\in\mathrm{def}f,\ \forall\varepsilon>0,\ \exists\delta>0\ \mathrm{s.t.}\ \forall k\in\C,\ \left(0<\left|k\right|<\delta\rightarrow\left|\frac{f\left(z+\overline{k}\right)-f\left(z\right)}{\overline{k}}-f^\prime\left(z\right)\right|<\varepsilon\right)\\ \implies&\forall z\in\mathrm{def}f,\ \forall\varepsilon>0,\ \exists\delta>0\ \mathrm{s.t.}\ \forall k\in\C,\ \left(0<\left|k\right|<\delta\rightarrow\left|\frac{f\left(\overline{\overline{z}+k}\right)-f\left(\overline{\overline{z}}\right)}{\overline{k}}-f^\prime\left(\overline{\overline{z}}\right)\right|<\varepsilon\right)\\ \implies&\forall z\in\mathrm{def}f,\ \forall\varepsilon>0,\ \exists\delta>0\ \mathrm{s.t.}\ \forall k\in\C,\ \left(0<\left|k\right|<\delta\rightarrow\left|\overline{\left(\frac{\overline{f\left(\overline{\overline{z}+k}\right)}-\overline{f\left(\overline{\overline{z}}\right)}}{k}-\overline{f^\prime\left(\overline{\overline{z}}\right)}\right)}\right|<\varepsilon\right)\\ \implies&\forall z\in\mathrm{def}f,\ \forall\varepsilon>0,\ \exists\delta>0\ \mathrm{s.t.}\ \forall k\in\C,\ \left(0<\left|k\right|<\delta\rightarrow\left|\overline{\left(\frac{\overline{f}\left(\overline{z}+k\right)-\overline{f}\left(\overline{z}\right)}{k}-\overline{f^\prime}\left(\overline{z}\right)\right)}\right|<\varepsilon\right)\\ \implies&\forall z\in\mathrm{def}f,\ \forall\varepsilon>0,\ \exists\delta>0\ \mathrm{s.t.}\ \forall k\in\C,\ \left(0<\left|k\right|<\delta\rightarrow\left|\frac{\overline{f}\left(\overline{z}+k\right)-\overline{f}\left(\overline{z}\right)}{k}-\overline{f^\prime}\left(\overline{z}\right)\right|<\varepsilon\right)\\ \implies&\forall w\in\mathrm{cjg}\mathrm{def}f,\ \forall\varepsilon>0,\ \exists\delta>0\ \mathrm{s.t.}\ \forall k\in\C,\ \left(0<\left|k\right|<\delta\rightarrow\left|\frac{\overline{f}\left(\overline{\overline{w}}+k\right)-\overline{f}\left(\overline{\overline{w}}\right)}{k}-\overline{f^\prime}\left(\overline{\overline{w}}\right)\right|<\varepsilon\right)\\ \implies&\forall w\in\mathrm{cjg}\mathrm{def}f,\ \forall\varepsilon>0,\ \exists\delta>0\ \mathrm{s.t.}\ \forall k\in\C,\ \left(0<\left|k\right|<\delta\rightarrow\left|\frac{\overline{f}\left(w+k\right)-\overline{f}\left(w\right)}{k}-\overline{f^\prime}\left(w\right)\right|<\varepsilon\right) \end{align*}
なので,$\displaystyle\forall w\in\mathrm{cjg}\mathrm{def}f,\ \forall\varepsilon>0,\ \exists\delta>0\ \mathrm{s.t.}\ \forall k\in\C,\ \left(0<\left|k\right|<\delta\rightarrow\left|\frac{\overline{f}\left(w+k\right)-\overline{f}\left(w\right)}{k}-\overline{f^\prime}\left(w\right)\right|<\varepsilon\right)$を得ます.つまり,$\overline{f}$が正則でかつ$\displaystyle\forall w\in\mathrm{cjg}\mathrm{def}f,\ \overline{f}^\prime\left(w\right)=\overline{f^\prime}\left(w\right)$です.ここで$\overline{f}^\prime$の定義域は$\mathrm{cjg}\mathrm{def}f$,終域は$\C$であり,$\overline{f^\prime}$の定義域は$\mathrm{cjg}\mathrm{def}f$,終域は$\C$ですから,$\overline{f}^\prime=\overline{f^\prime}$です.

以上より$\overline{f}$は正則で,$\overline{f}^\prime=\overline{f^\prime}$を満たします.$\blacksquare$

関数実部,関数虚部

さあ,いよいよ大詰めです.関数実部と関数虚部を導入します.

関数実部,関数虚部

複素関数$f$に対して,

  • $\displaystyle g:=\frac{1}{2}\left(f+\overline{f}\right)$
    により定義される複素関数$g:\mathrm{def}f\cap\mathrm{cjg}\mathrm{def}f\to\C$$\mathfrak{R}\left(f\right)$や,$\mathrm{Re}\left(f\right)$や,括弧を省略して$\mathfrak{R}f$や,$\mathrm{Re}f$と表し,「$f$の実部関数」や,「$f$の実部」とよび,作用素$\displaystyle\mathfrak{R}:\bigcup_{D\in\mathfrak{P}\left(\C\right)}\mathrm{Map}\left(D,\C\right)\to\bigcup_{D\in\mathfrak{P}\left(\C\right)}\mathrm{Map}\left(D,\C\right)$を「関数実部」とよびます.また$z$が複素変数である場合,$\left(\mathfrak{R}f\right)\left(z\right)$$\mathfrak{R}_z\left(f\left(z\right)\right)$や,$\mathrm{Re}_z\left(f\left(z\right)\right)$や,括弧を省略して$\mathfrak{R}_zf\left(z\right)$や,$\mathrm{Re}_zf\left(z\right)$と表します.
  • $\displaystyle g:=\frac{1}{2i}\left(f-\overline{f}\right)$
    により定義される複素関数$g:\mathrm{def}f\cap\mathrm{cjg}\mathrm{def}f\to\C$$\mathfrak{I}\left(f\right)$や,$\mathrm{Im}\left(f\right)$や,括弧を省略して$\mathfrak{I}f$や,$\mathrm{Im}f$と表し,「$f$の虚部関数」や,「$f$の虚部」とよび,作用素$\displaystyle\mathfrak{I}:\bigcup_{D\in\mathfrak{P}\left(\C\right)}\mathrm{Map}\left(D,\C\right)\to\bigcup_{D\in\mathfrak{P}\left(\C\right)}\mathrm{Map}\left(D,\C\right)$を「関数虚部」とよびます.また$z$が複素変数である場合,$\left(\mathfrak{I}f\right)\left(z\right)$$\mathfrak{I}_z\left(f\left(z\right)\right)$や,$\mathrm{Im}_z\left(f\left(z\right)\right)$や,括弧を省略して$\mathfrak{I}_zf\left(z\right)$や,$\mathrm{Im}_zf\left(z\right)$と表します.

関数実部,関数虚部も関数共役と同じく正則関数なら変数を実数だと思って計算する方法が使えます.

$z$は複素変数とします.

  • $\mathfrak{R}_zz=z$
  • $\mathfrak{R}_z\left(z^2-2iz-1\right)=z^2-1$
  • $\mathfrak{R}_ze^{iz}=\cos z$
  • $\mathfrak{R}_z\sin iz=\mathfrak{R}_zi\sinh z=0$

$z$は複素変数とします.

  • $\mathfrak{R}_z\overline{z}=\overline{z}$
  • $\mathfrak{R}_z\mathfrak{R}z=\mathfrak{R}z$
  • $\mathfrak{R}_z\mathfrak{I}z=0$
  • $\mathfrak{R}_z\left|z\right|=\left|z\right|$

$z$は複素変数とします.

  • $\mathfrak{I}_zz=0$
  • $\mathfrak{I}_z\left(z^2-2iz-1\right)=-2z$
  • $\mathfrak{I}_ze^{iz}=\sin z$
  • $\mathfrak{I}_z\sin iz=\mathfrak{I}_zi\sinh z=\sinh z$

$z$は複素変数とします.

  • $\mathfrak{I}_z\overline{z}=0$
  • $\mathfrak{I}_z\mathfrak{R}z=0$
  • $\mathfrak{I}_z\mathfrak{I}z=-i\mathfrak{I}z$
  • $\mathfrak{I}_z\left|z\right|=0$

では,関数実部,関数虚部の基本的性質を見ていきましょう.こちらも証明は省略します.

以下$2$つの等式が成り立ちます.ただし$f$は複素関数とします.

  • $\left.f\right|_{\mathrm{def}f\cap\mathrm{cjg}\mathrm{def}f}=\left(\mathfrak{R}f\right)+i\left(\mathfrak{I}f\right)$
  • $\left.\overline{f}\right|_{\mathrm{def}f\cap\mathrm{cjg}\mathrm{def}f}=\left(\mathfrak{R}f\right)-i\left(\mathfrak{I}f\right)$

以下の論理式は恒真です.ただし$f$$g$は複素関数とします.
$\left.f\right|_{\mathrm{def}f\cap\mathrm{cjg}\mathrm{def}f}=\left.g\right|_{\mathrm{def}g\cap\mathrm{cjg}\mathrm{def}g}\leftrightarrow\left(\mathfrak{R}f=\mathfrak{R}g\land\mathfrak{I}f=\mathfrak{I}g\right)$

以下$2$つの論理式は恒真です.ただし$f$は複素関数とします.

  • $\mathfrak{R}f=\left.f\right|_{\mathrm{def}f\cap\mathrm{cjg}\mathrm{def}f}\leftrightarrow\mathfrak{I}f=\boldsymbol{0}_{\mathrm{def}f\cap\mathrm{cjg}\mathrm{def}f}$
  • $\displaystyle\mathfrak{R}f=\boldsymbol{0}_{\mathrm{def}f\cap\mathrm{cjg}\mathrm{def}f}\leftrightarrow\mathfrak{I}f=\frac{1}{i}\left.f\right|_{\mathrm{def}f\cap\mathrm{cjg}\mathrm{def}f}$

以下$8$つの等式が成り立ちます.ただし$f$は複素関数とします.

  • $\mathfrak{R}\overline{f}=\mathfrak{R}f$
  • $\mathfrak{I}\overline{f}=-\mathfrak{I}f$
  • $\overline{\mathfrak{R}f}=\mathfrak{R}f$
  • $\mathfrak{R}\mathfrak{R}f=\mathfrak{R}f$
  • $\mathfrak{I}\mathfrak{R}f=\boldsymbol{0}_{\mathrm{def}f\cap\mathrm{cjg}\mathrm{def}f}$
  • $\overline{\mathfrak{I}f}=\mathfrak{I}f$
  • $\mathfrak{R}\mathfrak{I}f=\mathfrak{I}f$
  • $\mathfrak{I}\mathfrak{I}f=\boldsymbol{0}_{\mathrm{def}f\cap\mathrm{cjg}\mathrm{def}f}$

以下$2$つの等式が成り立ちます.ただし$c\in\C$$D\subseteq\C$とします.

  • $\mathfrak{R}\mathrm{const}_{c,D}=\mathrm{const}_{\mathfrak{R}c,D\cap\mathrm{cjg}D}$
  • $\mathfrak{I}\mathrm{const}_{c,D}=\mathrm{const}_{\mathfrak{I}c,D\cap\mathrm{cjg}D}$

また特に以下$2$つの等式が成り立ちます.

  • $\mathfrak{R}\boldsymbol{0}_D=\boldsymbol{0}_{D\cap\mathrm{cjg}D}$
  • $\mathfrak{I}\boldsymbol{0}_D=\boldsymbol{0}_{D\cap\mathrm{cjg}D}$

以下$8$つの等式が成り立ちます.ただし$f$$g$は複素関数とします.

  • $\mathfrak{R}\left(f+g\right)=\left(\mathfrak{R}f\right)+\left(\mathfrak{R}g\right)$
  • $\mathfrak{R}\left(f-g\right)=\left(\mathfrak{R}f\right)-\left(\mathfrak{R}g\right)$
  • $\mathfrak{R}\left(fg\right)=\left(\mathfrak{R}f\right)\left(\mathfrak{R}g\right)-\left(\mathfrak{I}f\right)\left(\mathfrak{I}g\right)$
  • $\displaystyle\mathfrak{R}\frac{f}{g}=\frac{\left(\mathfrak{R}f\right)\left(\mathfrak{R}g\right)+\left(\mathfrak{I}f\right)\left(\mathfrak{I}g\right)}{\left(\mathfrak{R}g\right)\left(\mathfrak{R}g\right)+\left(\mathfrak{I}g\right)\left(\mathfrak{I}g\right)}$
  • $\mathfrak{I}\left(f+g\right)=\left(\mathfrak{I}f\right)+\left(\mathfrak{I}g\right)$
  • $\mathfrak{I}\left(f-g\right)=\left(\mathfrak{I}f\right)-\left(\mathfrak{I}g\right)$
  • $\mathfrak{I}\left(fg\right)=\left(\mathfrak{I}f\right)\left(\mathfrak{R}g\right)+\left(\mathfrak{R}f\right)\left(\mathfrak{I}g\right)$
  • $\displaystyle\mathfrak{I}\frac{f}{g}=\frac{\left(\mathfrak{I}f\right)\left(\mathfrak{R}g\right)-\left(\mathfrak{R}f\right)\left(\mathfrak{I}g\right)}{\left(\mathfrak{R}g\right)\left(\mathfrak{R}g\right)+\left(\mathfrak{I}g\right)\left(\mathfrak{I}g\right)}$

以下$2$つの等式が成り立ちます.ただし$c\in\C$$f$は複素関数とします.

  • $\mathfrak{R}\left(cf\right)=\left(\mathfrak{R}c\right)\left(\mathfrak{R}f\right)-\left(\mathfrak{I}c\right)\left(\mathfrak{I}f\right)$
  • $\mathfrak{I}\left(cf\right)=\left(\mathfrak{I}c\right)\left(\mathfrak{R}f\right)+\left(\mathfrak{R}c\right)\left(\mathfrak{I}f\right)$

以下$2$つの等式が成り立ちます.ただし$f$は複素関数とします.

  • $\mathfrak{R}\left(-f\right)=-\mathfrak{R}f$
  • $\mathfrak{I}\left(-f\right)=-\mathfrak{I}f$

さて,定理 9から直ちに以下の系を得ます.

定理 9

$f$は正則関数とします.

このとき$\mathfrak{R}f$$\mathfrak{I}f$は正則で,
$\left(\mathfrak{R}f\right)^\prime=\mathfrak{R}\left(f^\prime\right)$
及び
$\left(\mathfrak{I}f\right)^\prime=\mathfrak{I}\left(f^\prime\right)$
を満たします.

この系から,さらに以下の系を得ます.

定理 9 系

$f$は正則関数とします.

このとき,$z$を複素変数,$C$を積分定数として以下$2$つの不定積分に関する等式が成り立ちます.

  • $\displaystyle\int\left(\mathfrak{R}\left(f^\prime\right)\right)\left(z\right)\mathrm{d}z=\left(\mathfrak{R}f\right)\left(z\right)+C$
  • $\displaystyle\int\left(\mathfrak{I}\left(f^\prime\right)\right)\left(z\right)\mathrm{d}z=\left(\mathfrak{I}f\right)\left(z\right)+C$
定理 9 系

$f$は正則関数,$a\in\mathrm{def}f\cap\mathrm{cjg}\mathrm{def}f$$b\in\mathrm{def}f\cap\mathrm{cjg}\mathrm{def}f$とします.

このとき,以下$2$つのの等式が成り立ちます.

  • $\displaystyle\int_a^b\left(\mathfrak{R}\left(f^\prime\right)\right)\left(z\right)\mathrm{d}z=\left[\left(\mathfrak{R}f\right)\left(z\right)\right]_{z=a}^b=\left(\mathfrak{R}f\right)\left(b\right)-\left(\mathfrak{R}f\right)\left(a\right)$
  • $\displaystyle\int_a^b\left(\mathfrak{I}\left(f^\prime\right)\right)\left(z\right)\mathrm{d}z=\left[\left(\mathfrak{I}f\right)\left(z\right)\right]_{z=a}^b=\left(\mathfrak{I}f\right)\left(b\right)-\left(\mathfrak{I}f\right)\left(a\right)$

これが今回一番言いたかったことでした.冒頭の問題 2を解くことができます!

解答
解説
\begin{align*} &\int e^z\sin z\mathrm{d}z\\ =&\int\mathfrak{I}_ze^{\left(1+i\right)z}\mathrm{d}z\\ =&\mathfrak{I}_z\frac{e^{\left(1+i\right)z}}{1+i}+C\\ =&\mathfrak{I}_z\frac{e^z\left(\cos z+i\sin z\right)}{1+i}+C\\ =&\mathfrak{I}_z\frac{e^z\left(\cos z+i\sin z\right)\left(1-i\right)}{2}+C\\ =&\mathfrak{I}_z\frac{e^z\left(\cos z+i\sin z-i\cos z-\sin z\right)}{2}+C\\ =&\frac{e^z\left(\sin z-\cos z\right)}{2}+C \end{align*}
なので,$\displaystyle\int e^z\sin z\mathrm{d}z=\frac{e^z\left(\sin z-\cos z\right)}{2}+C$です.

さらに,積分範囲が実数区間でない定積分にも適用できます!

以下の式を求めてください.
$\displaystyle\int_0^ie^z\sin z\mathrm{d}z$

解答
解説
\begin{align*} &\int_0^ie^z\sin z\mathrm{d}z\\ =&\int_0^i\mathfrak{I}_ze^{\left(1+i\right)z}\mathrm{d}z\\ =&\left[\mathfrak{I}_z\frac{e^{\left(1+i\right)z}}{1+i}\right]_{z=0}^i\\ =&\left[\mathfrak{I}_z\frac{e^z\left(\cos z+i\sin z\right)\left(1-i\right)}{2}\right]_{z=0}^i\\ =&\left[\mathfrak{I}_z\frac{e^z\left(\cos z+i\sin z-i\cos z+\sin z\right)}{2}\right]_{z=0}^i\\ =&\left[\frac{e^z\left(\sin z-\cos z\right)}{2}\right]_{z=0}^i\\ =&\frac{e^i\left(\sin i-\cos i\right)-e^0\left(\sin0-\cos0\right)}{2}\\ =&\frac{\left(\cos1+i\sin1\right)\left(i\sinh1-\cosh1\right)-\left(0-1\right)}{2}\\ =&\frac{-\cos1\cosh1-\sin1\sinh1+1}{2}+i\frac{\cos1\sinh1-\sin1\cosh1}{2} \end{align*}
なので,$\displaystyle\int_0^ie^z\sin z\mathrm{d}z=\frac{-\cos1\cosh1-\sin1\sinh1+1}{2}+i\frac{\cos1\sinh1-\sin1\cosh1}{2}$です.

あとがき

お疲れ様でした!これで心置きなく実部や虚部を取って複素積分が計算できます!実は 解説6 解説7 の不定積分はいきなり思いついたのではなく,この方法を使ってあらかじめ求めていたのでした.ただ実際の解答に書くわけにもいかず,複素数範囲で不定積分を求めようとしたらあんなに複雑になってしまっただけです.この方法はあくまで目標となる不定積分を求めるための手法,くらいに思っていただければと思います.

長くなりましたが,ここまで読んでいただきありがとうございました.

参考文献

投稿日:2021227

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

微分積分学,数理論理学,順序数解析が好きです.ここでは主に微積や級数の話題をすると思います.記事まとめは下のリンクからどうぞ.

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中