数学>複素解析学
ここでは、複素解析学について解説する。
2つの実数
と、虚数単位と呼ばれる
を満たす
を用いて
と表される
を複素数と呼ぶ。すると、複素数の全体は体となる。すなわち、0で割る操作を除く加減乗除の計算を自由に行うことができる。複素数を用いると、実数だけを考えていては見えてこない豊かな世界(たとえば複素数平面など)が見えるということを、読者は既に少しは知っていることだろう。初等的な内容については高等学校数学II 式と証明・高次方程式、高等学校数学III 複素数平面を参照のこと。
さて、ここでは、複素数から複素数への関数
を考えたい。ところで、
は複素数値関数であるから、その値も実部と虚部にわけておいたほうが便利である。そこで、しばしば次のようにあらわすことにする。
![{\displaystyle f(z)=u(z)+iv(z)=u(x,y)+iv(x,y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/224f97e2670ac00ff0c0627f3a6e95566165258f)
このようにあらわすことで、複素数から複素数への関数を、見かけ上は2つの2変数実数値関数の組として捉えることができる。実関数については既によく知っているので、この方が扱いやすいこともしばしばあるだろう。
を
で定義された複素変数
の関数、
を
に属する一つの複素数とする。このとき
![{\displaystyle \lim _{z\to c}f(z)=f(c)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fdd15566c552eaef2a5bc5db4337c5e76512ff3b)
ならば、関数
は
で連続である、あるいは
で連続であるという。
極限の定義までさかのぼっていえば、任意の正の実数
に対応する正の実数
が定まって、
のとき ![{\displaystyle |f(z)-f(c)|<\epsilon }](https://wikimedia.org/api/rest_v1/media/math/render/svg/dfa85a3d451916ddd82b6485e5348124b0fb76b8)
となるようにできるならば、
は、
で連続であるという。
とおき、
を実部と虚部に分けて
![{\displaystyle f(z)=u(z)+iv(z),u(z)=Ref(z),v(z)=Imf(z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d4d4a56c66fcf4c3f280331cea71c6f7357f8caa)
と書いて
を2つの実変数
の関数と考えれば、
![{\displaystyle |f(z)-f(c)|={\sqrt {|u(x,y)-u(a,b)|^{2}+|v(x,y)-v(a,b)|^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/202c5deca667cef77ceb8925efacf8c88ad5aa74)
であるから、複素関数
が連続であることは、
![{\displaystyle \lim _{(x,y)\to (a,b)}u(x,y)=u(a,b),\lim _{(x,y)\to (a,b)}v(x,y)=v(a,b)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a38d969e81b5920dc84b8ded0a876eb0cefe6277)
と同値である。すなわち複素変数
の関数
が
で連続であるということは、
その実部
と虚部
が2つの実変数
の関数として点
で連続であることに他ならない。
で定義された変数
で "複素関数の意味で" 微分可能である条件を考えてみよう。
微分
とは、
![{\displaystyle f'(z)=\lim _{h\to 0}{\frac {f(x+h)-f(x)}{h}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee22b5097d4795b83ce1302aea44637cb6d20742)
という極限によって定義されるものである。
一次元的な実数では、実関数は正負2つの方向から近づけてみて極限が一致すれば微分可能であるといえた。
一方、二次元的な広がりを持つ複素数では、各方向から近づけたときに極限が一致する必要がある。その必要条件を見てみよう。
まず、
に対して実軸に平行に近づいたときの極限を計算してみると、
![{\displaystyle {\begin{aligned}\lim _{h\to 0}{\frac {f(z+h)-f(z)}{h}}&=\lim _{h\to 0}{\frac {\{u(x+h,y)+iv(x+h,y)\}-\{u(x,y)+iv(x,y)\}}{h}}\\&={\frac {\partial u}{\partial x}}+i{\frac {\partial v}{\partial x}}\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ec709030742f9817f1bcee827aac0fc79191bee)
である。同様にして虚軸に平行に
に近づいたときの極限を計算してみると、
![{\displaystyle {\begin{aligned}\lim _{h\to 0}{\frac {f(z+ih)-f(z)}{ih}}&=\lim _{h\to 0}{\frac {\{u(x,y+h)+iv(x,y+h)\}-\{u(x,y)+iv(x,y)\}}{ih}}\\&=-i{\frac {\partial u}{\partial y}}+{\frac {\partial v}{\partial y}}\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/24c85668fc650d40bea6ecf1cfcfcb82e570a14c)
となる。したがって、実部と虚部を比較して
![{\displaystyle {\begin{cases}{\frac {\partial u}{\partial x}}={\frac {\partial v}{\partial y}}\\{\frac {\partial v}{\partial x}}=-{\frac {\partial u}{\partial y}}\\\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c78c2501bc1e5b71ae742fbec4844fbd9b61a96)
を満たすことが必要であることがわかる。この連立方程式を Cauchy-Riemann の方程式と呼ぶ。この本ではしばしば C-R と略記することにする。
ここでは細かく検討しないが、複素関数の意味で微分可能であることの必要かつ十分な条件は、
が実変数
の全微分可能な関数であって、かつ、C-R を満たすことである。
定義(正則関数)
を複素数平面内の領域とする。
上の複素関数であって、
の各点で複素関数の意味で微分可能である(すなわち各点でC-Rを満たす)ものを
上の正則関数と呼ぶ。□
複素解析学とは、正則関数の性質を調べていく学問である。
実変数の場合と同様に、1次結合、積、商の微分法は複素変数の関数でもそのまま成り立ち、正則関数
の一次結合、積、商も正則関数である。
![{\displaystyle {\begin{aligned}&{\frac {d}{dz}}(a_{1}f(z)+a_{2}g(z))=a_{1}f'(z)+a_{2}g'(z),\\&{\frac {d}{dz}}(f(z)g(z))=f'(z)g(z)+f(z)g'(z),\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed28ae5d8298ec4a675b54e09dcdc3bc3c3921bb)
定義領域でつねに
であれば、
![{\displaystyle {\begin{aligned}&{\frac {d}{dz}}(f(z)/g(z))={\frac {f'(z)g(z)-f(z)g'(z)}{g(z)^{2}}},\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2fd96062802b8ae3abc5b713554c21792a83380e)
実変数の場合と同様に、合成関数の微分法の公式が成り立つ:
![{\displaystyle {\begin{aligned}{\frac {d}{dz}}g(f(z))=g'(f(z))\cdot f'(z)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/965f972e621172ebe3c85c46d9b5eaec46a2af98)
とその複素共役
は複素数体上で考えると互いに独立ではない。しかし、これらをあたかも独立変数のように考えると、理論の展開に便利である。
および
を実2変数
、
の関数とみなす。微分形式の理論(詳しくは微分幾何学参照)において
、
の外微分をとると、
![{\displaystyle {\begin{aligned}dz&=dx+idy\\d{\bar {z}}&=dx-idy\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc15deee96b8fa5ac239cce784713a47ec75bfb5)
が得られる。これらの双対は
![{\displaystyle {\begin{aligned}{\frac {\partial }{\partial z}}&={\frac {1}{2}}\left({\frac {\partial }{\partial x}}-i{\frac {\partial }{\partial y}}\right)\\{\frac {\partial }{\partial {\bar {z}}}}&={\frac {1}{2}}\left({\frac {\partial }{\partial x}}+i{\frac {\partial }{\partial y}}\right)\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/41f79708a12e38efd4e57c95d80408881fd60fe6)
で与えられる。(この式は
、
という変数変換に関する接ベクトル
、
と
、
の間の変換公式としても導ける)
この事実を元に、関数
の正則微分
ならびに反正則微分
を次のように定義する。
定義(正則微分と反正則微分)
関数
を実変数
、
の関数とみたとき
級であるとする。このとき、
![{\displaystyle {\begin{aligned}{\frac {\partial f}{\partial z}}&=&{\frac {1}{2}}\left({\frac {\partial f}{\partial x}}-i{\frac {\partial f}{\partial y}}\right)\\{\frac {\partial f}{\partial {\bar {z}}}}&=&{\frac {1}{2}}\left({\frac {\partial f}{\partial x}}+i{\frac {\partial f}{\partial y}}\right)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/53c7c775f41e1353795ea2418554886d6a3f86a8)
をそれぞれ
の正則微分、反正則微分という。□
コーシー・リーマン方程式と組み合わせることにより、次の結果が得られる。
定理(正則関数と反正則微分)
上の
級関数
が正則であるための必要十分条件は、
となることである。□
- (証明)
の反正則微分が0ならば、
はC-Rを満たす。よって、仮定の
級(すなわち全微分可能)であることと併せて、
は正則になる。
- 正則ならば
となるのは明らかである。//
定義(べき級数)
![{\displaystyle \sum _{n=0}^{\infty }a_{n}(z-c)^{n}=a_{0}+a_{1}(z-c)+a_{2}(z-c)^{2}+\cdots +a_{n}(z-c)^{n}+\cdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/580a703e87a31b52279160d698e01eb684dd3ccb)
なる形の級数を
を中心 (center) とする べき級数 (power series) という。
が収束すれば、
であるから,すべての自然数
に対して、
ある正の実数
が存在して、
![{\displaystyle |a_{n}z^{n}|\leq M}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92a549437ede8ee049588cd9830dbc635333fde4)
となる。このような
に対して、
、
であるから、
![{\displaystyle |z|\limsup _{n\to \infty }|a_{n}|^{1/n}\leq 1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e6e62b4804f87b39bd626dd1767313da174554f2)
(Cauchy–Hadamard の公式)
定義 (収束半径)
![{\displaystyle r={\frac {1}{\limsup _{n\to \infty }|a_{n}|^{1/n}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/817a88b2d70709853ca17ba48a14d90e4c9ee4c9)
べき級数
の収束半径とよぶ。
命題 (収束半径)
![{\displaystyle r={\frac {1}{\lim _{n\to \infty }|a_{n+1}/a_{n}|}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/24513cb65a4f736c4909febdea1f31a4d2af405c)
(d'Alembert の公式)
定理(べき級数の微分)
べき級数
の収束半径を
,
, とすれば,その和
は収束円の内部
で正則な
の関数であって,
の導関数は,
べき級数
を
について項別に部分することよって得られる:
![{\displaystyle f'(z)=\sum _{n=1}^{\infty }na_{n}z^{n-1}=a_{1}+2a_{2}z+3a_{3}z^{2}+\cdots +na_{n}z^{n-1}+\cdots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b876bd4bbb43b9bff9c87100d9f37da453f70522)
微分を考えたので、次は積分を考えよう。正則関数は、微分可能な実二変数関数の組として捉えることができた。そこで、実二変数関数における線積分の概念を、そのまま積分の定義として採用することにしよう。積分路は、とりあえず滑らかにパラメーターづけられた曲線
に限っておくことにする。滑らかな曲線上の積分を定義しておけば、区分的に滑らかな曲線上の積分を考えることは容易である。
定義(線積分)
を複素平面上の滑らかな曲線、
とする。このとき、fの
に沿った積分を
![{\displaystyle \int _{\gamma }f(z)dz=\int _{0}^{1}u(\gamma (t)){\frac {d\gamma }{dt}}dt+i\int _{0}^{1}v(\gamma (t)){\frac {d\gamma }{dt}}dt}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1f5dbbe1f720cd635a3b5450ee2a80fe61e6db20)
で定める。
とおくと
なので、
![{\displaystyle \int _{\gamma }f(z)dz=\int _{0}^{1}u(x,y)\left({\frac {dx}{dt}}+i{\frac {dy}{dt}}\right)dt+i\int _{0}^{1}v(x,y)\left({\frac {dx}{dt}}+i{\frac {dy}{dt}}\right)dt}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4ace682dba46630a41e0ace028f5aa0b626718ea)
である。整理すると、
![{\displaystyle \int _{\gamma }f(z)dz=\int _{\gamma }(u(x,y)dx-v(x,y)dy)+i\int _{\gamma }(v(x,y)dx+u(x,y)dy)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/366443a4ee3f01ec5ede6e6abf1fda9a2e3cc082)
と表すこともできる。□
既に知っている実二変数関数の積分とまったく変わらない。ところが、正則という条件は見かけ以上に強い条件であり、正則関数の積分には驚くべき性質がいくつかある。そのうちのひとつが、次に挙げるCauchyの積分定理である。
上では一般の曲線について考えたが、ここから先は閉曲線、特に単純閉曲線について考える。念のためきちんと定義しておく。
定義(単純閉曲線)
曲線
が単純閉曲線であるとは、
が単射であって、
を満たすことである。□
単純閉曲線は、平面をその「内側」と「外側」の2つの領域にわける。直感的には明らかだが、証明は難しい。ここでは事実を指摘するにとどめておく。
正則関数の単純閉曲線上の積分について成り立つ重要な定理が、次の定理である。
定理(コーシーの積分定理)
を正則関数、
を単純閉曲線とするとき、
![{\displaystyle \int _{\gamma }f(z)dz=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/78868168890c69cbd4a9b68d44dad0793bf557f5)
が成り立つ。□
(証明)
閉曲線
の「内側」の領域をDとする。グリーンの定理より
![{\displaystyle \int _{\gamma }f(z)dz=\int _{\gamma }(u(x,y)dx-v(x,y)dy)+i\int _{\gamma }(v(x,y)dx+u(x,y)dy)=\int _{D}\left(-{\frac {\partial u}{\partial y}}-{\frac {\partial v}{\partial x}}\right)dxdy+i\int _{D}\left(-{\frac {\partial v}{\partial y}}+{\frac {\partial u}{\partial x}}\right)dxdy}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2551b8e202854c687d8ca22dd7d01b5d04d8f73b)
である。一方、C-Rより
![{\displaystyle -{\frac {\partial u}{\partial y}}-{\frac {\partial v}{\partial x}}=0,\ -{\frac {\partial v}{\partial y}}+{\frac {\partial u}{\partial x}}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e218dd1da289da6d1a05cc3b5a35b82d6d818c44)
である。よって、
![{\displaystyle \int _{\gamma }f(z)dz=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/78868168890c69cbd4a9b68d44dad0793bf557f5)
である。//
証明を見ればわかるように、「
は正則関数」という仮定は、実は「
は閉曲線
およびその内部を含むようなある開集合で正則」であればよい。
積分定理の応用として、次の公式を証明してみよう。
定理(コーシーの積分公式)
を正則関数とし、単純閉曲線
の内側にある複素数cを任意に取るとき、
![{\displaystyle \int _{\gamma }{\frac {f(z)}{z-c}}dz=2\pi if(c)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e82b240e92e3ade08910f58b387315271a1633bf)
である。□
証明の前に、ある積分を直接計算しておこう。
補題
cを中心とする半径
の円周を
とするとき、
![{\displaystyle \lim _{\varepsilon \to 0}\int _{C_{\varepsilon }}{\frac {f(z)}{z-c}}dz=2\pi if(c)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e5844c939bf44749fd83379792580d3ea8287616)
(証明)
のとき
とパラメタ付けできるので、
![{\displaystyle \int _{C_{\varepsilon }}{\frac {f(z)}{z-c}}dz=\int _{0}^{1}{\frac {f(c+\varepsilon e^{2\pi it})}{\varepsilon e^{2\pi it}}}2\pi i\varepsilon e^{2\pi it}dt=\int _{0}^{1}2\pi if(c+\varepsilon e^{2\pi it})dt\to \int _{0}^{1}2\pi if(c)dt=2\pi if(c)\ (\varepsilon \to 0)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6235dae659a0876a76260ec16e35d7008e254d55)
である。//
(コーシーの積分公式の証明)
と
を適当な線分で結んだ閉曲線
を考える。
の内部かつ
の外部が
の内部である。この領域で
は正則なので、コーシーの積分定理より
![{\displaystyle \int _{\Gamma }{\frac {f(z)}{z-c}}dz=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f1c3ca77038efb9b1900d04a5f1ae5fd9767768)
である。ところで、
![{\displaystyle \int _{\Gamma }{\frac {f(z)}{z-c}}dz=\int _{\gamma }{\frac {f(z)}{z-c}}dz-\int _{C_{\varepsilon }}{\frac {f(z)}{z-c}}dz}](https://wikimedia.org/api/rest_v1/media/math/render/svg/72d8cdf9cc405be667a5f5b4c28d856415dc23ed)
であることに注意すると、
![{\displaystyle \int _{\gamma }{\frac {f(z)}{z-c}}dz=\int _{C_{\varepsilon }}{\frac {f(z)}{z-c}}dz}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5e43515aff337c1cf27249814a242ce7b360470a)
であり、
としてよいので、
![{\displaystyle \int _{\gamma }{\frac {f(z)}{z-c}}dz=2\pi if(c)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e82b240e92e3ade08910f58b387315271a1633bf)
である。//
なお、コーシーの積分公式は、文字を取り換えた次の形で用いられることもしばしばなので、この形も記載しておく。
定理(コーシーの積分公式)
を正則関数とし、単純閉曲線
の内側にある複素数zを任意に取るとき、
![{\displaystyle f(z)={\frac {1}{2\pi i}}\int _{\gamma }{\frac {f(\xi )}{\xi -z}}d\xi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/533dcb45181ea493ca37f48556dd270f45866810)
である。□
コーシーの積分公式の重要な帰結として、次の定理が得られる。
定理 (正則関数のべき級数展開可能性)
を領域
上の正則関数とする。任意の複素数
に対し、
とする。このとき、
は
を中心とした半径
の円の内部
においてテイラー展開可能である。すなわち、
において
![{\displaystyle f(z)=\sum _{n=0}^{\infty }a_{n}(z-c)^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b1c199c503afc2c897aba0051d0b500f79d43f1)
が成立する。ここで、
は
を内側に含むような
内の任意の単純閉曲線
に対し
![{\displaystyle a_{n}={\frac {1}{2\pi i}}\int _{\gamma }{\frac {f(\xi )}{(\xi -c)^{n+1}}}d\xi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/0ca6d61abb382180dc4b591d777506c7df79f75f)
と表せる。□
(証明)
コーシーの積分公式により、
に対して、
![{\displaystyle f(z)={\frac {1}{2\pi i}}\int _{C_{r_{c}}}{\frac {f(\xi )}{\xi -z}}d\xi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f32b3930d63d858a399fc7a6b33f4aedb8eb7a41)
が成立する。このとき、
であれば、
![{\displaystyle {\frac {1}{\xi -z}}={\frac {1}{\xi -c-(z-c)}}={\frac {1}{(\xi -c)(1-{\frac {z-c}{\xi -c}})}}=\sum _{n=0}^{\infty }{\frac {(z-c)^{n}}{(\xi -c)^{n+1}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6846900abcdefe1d9267c68b2568f909620609a3)
が成立し、しかも最後の無限和は広義一様収束する。
であればこの条件は満たされ、したがって
![{\displaystyle f(z)={\frac {1}{2\pi i}}\int _{C_{r_{c}}}{\frac {f(\xi )}{\xi -z}}d\xi ={\frac {1}{2\pi i}}\int _{C_{r_{c}}}\sum _{n=0}^{\infty }{\frac {f(\xi )(z-c)^{n}}{(\xi -c)^{n+1}}}d\xi =\sum _{n=0}^{\infty }{\frac {1}{2\pi i}}\int _{C_{r_{c}}}{\frac {f(\xi )}{(\xi -c)^{n+1}}}d\xi \cdot (z-c)^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b775698c3bf7d31d6e567128c683d0c17cf2129c)
となる。ここで、
は
の内側かつ
の外側の領域において正則であり、したがって
が成り立つ。以上により
![{\displaystyle f(z)=\sum _{n=0}^{\infty }a_{n}(z-c)^{n}\,\,\,,\,a_{n}={\frac {1}{2\pi i}}\int _{\gamma }{\frac {f(\xi )}{(\xi -c)^{n+1}}}d\xi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/75eb40a82811eb56458a3e74832fff1263492fa7)
が得られる //
初期の複素関数論においては、局所的にべき級数展開可能な関数のことを解析関数と呼び、正則関数とは区別していた。べき級数はその収束円内において無限回微分可能であるため、当然正則関数になる。上の定理はその逆が成立することを示している。すなわち正則関数と解析関数が同値な概念であることが上の定理によって示されたことになる。
上で示したべき級数展開の系として、コーシーの積分公式を微分した式が正当化される。
系
![{\displaystyle f^{(n)}(z)={\frac {n!}{2\pi i}}\int _{\gamma }{\frac {f(\xi )}{(\xi -z)^{n+1}}}d\xi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3922cf95ba9e1b33a4e3982c216313518c9d261c)
(証明)
べき級数展開
![{\displaystyle f(z)=\sum _{k=0}^{\infty }a_{k}(z-c)^{k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c9847dd0575118f713ba9fc9f70b9e4935dbb35b)
の両辺を
回微分すると、
![{\displaystyle f^{(n)}(z)=\sum _{k=0}^{\infty }{}_{k+n}P_{n}a_{k+n}(z-c)^{k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3cf7c8f6c7e0464b9738d7379a7de4c5c19eca6d)
である。両辺に
を代入すると
の項だけが残って、
![{\displaystyle f^{(n)}(c)=n!a_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb7c62a958b78044340bc33149da4a69fba68dae)
となる。
に定理で示された式を当てはめ、文字を取り換えることで系を得る。//
複素関数としての正則関数と解析関数は同値な概念であることがわかったが、この概念は実関数の解析性とは大きく異なる概念である。そのことを示す一例として、実解析関数では成り立たない、実関数しか知らない人にとっては不思議にすら感じる定理をひとつ紹介する。
定理(リウヴィルの定理)
複素数全体で有界な正則関数
は定数である。
実関数としてみれば、たとえば分数関数
も三角関数
も実数全体で有界な実解析関数であり、このような定理は成り立ちそうにないように思える。しかし、複素関数としてみれば確かに
は
で正則ではないし、
は
を虚軸上にとり
とすると
であり双曲線関数
は有界ではないのである。
(定理の証明)
有界の仮定より、任意の
に対して
としてよい。前節最後の系で
とすると
![{\displaystyle f'(z)={\frac {1}{2\pi i}}\int _{\gamma }{\frac {f(\xi )}{(\xi -z)^{2}}}d\xi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/63439faf1c412018aea1c7f850e6638be4e9f329)
が成り立つ。ここで、
を中心が
で半径
の円周とすると、
![{\displaystyle |f'(z)|={\frac {1}{2\pi }}\left|\int _{\gamma }{\frac {f(\xi )}{(\xi -z)^{2}}}d\xi \right|\leq {\frac {1}{2\pi }}{\frac {2\pi RM}{R^{2}}}={\frac {M}{R}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/617a2d01cde09c4d2a392b2ab6f38b131cc088f3)
である。ところで、
は複素数全体で正則なので、
はいくらでも大きくとることができる。よって、任意の複素数
に対して
であるから、
は定数である。//
この定理を用いると、代数学の基本定理を簡単に証明することができる。
定理(代数学の基本定理)
複素数係数の多項式
は、定数でなければ必ず複素数の根を持つ。
(証明)
が根を持たないと仮定すると
は複素数全体で有界な正則関数であるから、リウヴィルの定理より定数である。これは
が定数であることを表す。//
が
において「無限大に発散」してしまっていて、この点において正則でない場合を考えよう。このとき、cを囲む単純閉曲線C上の積分
を考えたい。このような関数にも様々な関数が考えられるが、特殊な状況としてたとえば
のように、
は正則ではないが
は正則という状況はあるかもしれない(この状況を、cは
の1位の極であるという)。このとき、
にはコーシーの積分公式を用いることができるので、
![{\displaystyle \int _{C}f(z)dz=\int _{C}{\frac {g(z)}{z-c}}dz=2\pi ig(c)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ecd0548acdb82fc176c0a9ed905f9a8c3f8e54ef)
である。この結果は、留数定理と呼ばれる定理(の特別な場合)である。この場合の
は
のcにおける留数と呼ばれ、
のように書かれる。
単純閉曲線の内部に1位の極が複数ある場合は、それぞれ1つだけを含むような小さな単純閉曲線と適当に接続して閉曲線を作ることで、定積分の値は留数の和になることが分かる。すなわち、次のことが分かった。
定理(留数定理(の特別な場合))
単純閉曲線Cの内部で
が正則でない点がn個であり、それぞれの点
の近くにおいて
が正則になるとき、
を留数と呼ぶ。このとき、
![{\displaystyle \int _{C}f(z)dz=2\pi i\sum _{k=1}^{n}Res_{z=c_{k}}f(z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c430467d5a9f42819cebd5b0f1a94c27a78c8aa7)
である。
この定理は実関数の具体的な定積分の計算にもしばしば役立つ。以下でそのような例を見る。
例1
![{\displaystyle I_{1}=\int _{-{\frac {\pi }{2}}}^{\frac {\pi }{2}}{\frac {dx}{1+3\sin ^{2}x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d4bc129bcd5960782e5a29fbd8b428e83eb3e5a2)
を考える。
![{\displaystyle I_{1}=\int _{-{\frac {\pi }{2}}}^{\frac {\pi }{2}}{\frac {2dx}{5-3\cos 2x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/89f3344374423d0e938f05f03b7780274cfcdc36)
である。
とすると
であり、
であることに注意すると、
![{\displaystyle I_{1}=\int _{|z|=1}{\frac {2idz}{3z^{2}-10z+3}}=\int _{|z|=1}{\frac {2idz}{(3z-1)(z-3)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8b14e1f1e4bb962af66f0fc91fd0579ba11d28a3)
である。単位円
の内側にある
の1位の極は
のみで、その留数は
である。よって、
![{\displaystyle I_{1}=2\pi i\left(-{\frac {i}{4}}\right)={\frac {\pi }{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b95123ffdd9b511885a3c06a76b4d1d57de896c8)
である。
以下の2つの例では、実軸上の閉区間
と半円
をつなげた閉曲線
を考える。Rとして十分大きい数を取れば、積分したい関数
の1位の極のうち、上半平面
に含まれるものはすべて
の内側に入るようにできる。そのように
を十分大きくとったとき、もし
であれば、
である。以上のことを用いて、留数計算によって
を計算してみよう。
例2
![{\displaystyle I_{2}=\int _{-\infty }^{\infty }{\frac {x^{2}+3x+4}{x^{4}+5x^{2}+4}}dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d179896d465917fc71ee730ea8e3b001324c9519)
を考える。
![{\displaystyle f(z)={\frac {z^{2}+3z+4}{z^{4}+5z^{2}+4}}={\frac {z^{2}+3z+4}{(z+i)(z-i)(z+2i)(z-2i)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c32359aabba58dacfe9d5609915f6caa42a990d2)
の上半平面内の1位の極は
で、その留数はそれぞれ
と
である。さらに、Rを十分大きくしたとき
ならば
![{\displaystyle |f(z)|\leq k\left|{\frac {R^{2}}{R^{4}}}\right|={\frac {k}{R^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8178db943907ec48e83b291f4a017993ab48088e)
であることに注意すると、
![{\displaystyle \left|\int _{C}f(z)dz\right|\leq \int _{0}^{\pi }{\frac {k}{R^{2}}}Rd\theta ={\frac {k\pi }{R}}\to 0\ (R\to \infty )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/934ecc5b2af4d5636bad3ca6494b7b728ef4712b)
である。よって、
![{\displaystyle I_{2}=2\pi i\left({\frac {1-i}{2}}-{\frac {1}{2}}\right)=\pi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/874f2bd39bc5ba96176af541f3806d22ecf18981)
である。
例3
![{\displaystyle f(z)={\frac {e^{iz}}{z^{2}+1}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f88f7cbe1366a76e8479b8191e17a13ef93b4b82)
を考える。上半平面においては
であることに注意すると、
![{\displaystyle \left|\int _{C}f(z)dz\right|\leq \int _{0}^{\pi }{\frac {1}{R^{2}-1}}Rd\theta ={\frac {R\pi }{R^{2}-1}}\to 0\ (R\to \infty )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca067d9821e2b12476969ed09d6ac2c26b264f6b)
である。また、
![{\displaystyle \int _{I}f(z)dz=\int _{-\infty }^{\infty }{\frac {\cos x}{x^{2}+1}}dx+i\int _{-\infty }^{\infty }{\frac {\sin x}{x^{2}+1}}dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca79fd216cd982572c253f6420009095848e1516)
であるが、
は奇関数なので、
![{\displaystyle \int _{I}f(z)dz=\int _{-\infty }^{\infty }{\frac {\cos x}{x^{2}+1}}dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d8bd1b2c67aecb58e0b0c31ff04bea18e11063e)
である。
の上半平面内の1位の極は
で、その留数は
である。以上から、
![{\displaystyle I_{3}=\int _{-\infty }^{\infty }{\frac {\cos x}{x^{2}+1}}dx=2\pi i{\frac {-i}{2e}}={\frac {\pi }{e}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/261aa24e8f92c9e5d5aecdf35c7f61dffca68e74)
であることがわかった。
(参考)
複素解析を使わず計算するならば、例1の
は
![{\displaystyle I_{1}=\int _{-{\frac {\pi }{2}}}^{\frac {\pi }{2}}{\frac {dx}{\cos ^{2}x+4\sin ^{2}x}}=\int _{-{\frac {\pi }{2}}}^{\frac {\pi }{2}}{\frac {dx}{\cos ^{2}x(1+4\tan ^{2}x)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0954c7e48b39c252472ce6c6bc7515b16b2205b5)
として、
とおくと
であることから
![{\displaystyle I_{1}=\int _{-\infty }^{\infty }{\frac {dt}{1+4t^{2}}}=\left[{\frac {1}{2}}\arctan(2t)\right]_{-\infty }^{\infty }={\frac {\pi }{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0ef393c2b9911c74a7ac2d771b69f2c761a76adf)
と計算できる。また例2の
は
![{\displaystyle I_{2}=\int _{-\infty }^{\infty }\left({\frac {x+1}{x^{2}+1}}-{\frac {x}{x^{2}+4}}\right)dx=\left[\arctan x+{\frac {1}{2}}\log {\frac {x^{2}+1}{x^{2}+4}}\right]_{-\infty }^{\infty }=\pi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/fd11a36d7534cbc676e6c9930666cf1c2f44cebd)
と計算できる。しかし例3で計算した積分
の値をこのような計算技巧で得ることは難しいように思われる。