複素線積分のソースを表示

{{About|複素平面における線積分|一般の線積分|線積分}}
{{脚注の不足|date=2016年7月}}
{{Calculus |Integral}}

[[複素解析]]における'''線積分'''（せんせきぶん、{{lang-en-short|line integral}}）とは、複素平面内の道に沿った[[積分]]であり<ref name="Stalker">{{Cite book|title=Complex Analysis: Fundamentals of the Classical Theory of Functions |author=John Stalker |page=77 | url=https://books.google.com/books?id=yl3GIXd3dFIC&pg=PP12&dq=%22calculus+of+residues%22#PPA77,M1|isbn=0-8176-4038-X |publisher=Springer |year=1998}}</ref><ref name="Bak">{{Cite book|title=Complex Analysis |author=Joseph Bak & Donald J. Newman |at=Chapters 11 & 12, pp. 130–156 |url=https://books.google.com/books?id=JX2YSgfZwbYC&pg=PA130&dq=%22contour+integral%22#PPA130,M1 |isbn=0-387-94756-6 |year=1997 |publisher=Springer}}</ref><ref name="Krantz">{{Cite book|title=Handbook of Complex Variables |author=Steven George Krantz |chapter= Chapter 2 |url=https://books.google.com/books?id=aYU2AdF_0dIC&pg=PT13&dq=Calculus++Residues+inauthor:krantz#PPT47,M1 |isbn=0-8176-4011-8 |year=1999 |publisher=Springer }}</ref>、特に道が単純閉曲線の場合の線積分を'''周回積分'''（しゅうかいせきぶん、{{lang-en-short|contour integral}}）ということがある。

線積分は[[複素解析]]の手法である[[留数定理|留数計算]]と密接に関連している<ref name="Mitrinovic1">{{Cite book|title=The Cauchy Method of Residues: Theory and Applications |url=https://books.google.com/books?id=-suKhxfPH5AC&printsec=frontcover&dq=%22calculus+of+residues%22#PPA5,M1
|author=Dragoslav S. Mitrinovic & Jovan D. Keckic |isbn=90-277-1623-4 |year=1984 |publisher=Springer |chapter=Chapter 2 }}</ref>。

線積分のひとつの使い方として、実変数だけの方法を使うことでは容易には分からない、実数直線に沿った積分の計算がある<ref name="Mitrinovic2">{{Cite book|title=Chapter 5 |url=https://books.google.com/books?id=-suKhxfPH5AC&printsec=frontcover&dq=%22calculus+of+residues%22#PPA108,M1 | author=Dragoslav S. Mitrinovic & Jovan D. Keckic|year=1984 |isbn=90-277-1623-4 }}</ref>。

線積分の方法は以下を含む。
* [[複素数]]値関数の複素平面内の曲線に沿った直接の積分、
* [[コーシーの積分公式]]の応用、
* [[留数定理]]の応用。
これらの積分や和を求めるために、これらのうちのひとつ、あるいは、複数を組み合わせた、また、極限をとる様々な方法を使うことができる。

==複素平面内の曲線==
[[複素解析]]において、'''積分路'''は[[複素平面]]内の曲線の一種である。路に沿う積分では、積分路がその上で積分が適切に定義できる[[曲線]]の正確な定義を与える。複素平面内の'''曲線'''は、[[実数直線]]の[[閉区間]]から複素平面への[[連続関数]] {{math|''z'': [''a'', ''b''] &rarr; '''C'''}} として定義される。

曲線のこの定義は、直感的な概念と一致するが、閉区間からの連続関数による径数付けを含む。このより正確な定義により、曲線が積分に有用なためにもたなければならない性質が何であるかを考えることができる。以下の小節では、積分できる曲線を、向きを与えることができる有限個の連続曲線から作ることのできるものだけに絞る。さらに、「断片」は互いに交わらない場合だけを考え、各断片は有限の（消えない）連続微分を持つと仮定する。これらの仮定は次のような曲線だけを考えることと対応する。例えばペンによって、切れ目なく一筆書きで、曲線の新しい断片を始める時だけ止まり、ずっとペンは持ち上げないように、たどることができる<ref name="Saff">{{Cite book|title=Chapter 4 |url=https://books.google.com/books?id=fVsZAQAAIAAJ&q=saff+%26+Snider&dq=saff+%26+Snider&hl=en&sa=X&ei=rT7PUPaiL4OE2gXvg4GoBQ&ved=0CFEQ6AEwAw
|author=Edward B. Saff & Arthur David Snider |year=2003 |isbn=01-390-7874-6}}</ref>。

=== 向き付けられた滑らかな曲線 ===
積分路はしばしば向き付けられた滑らかな曲線のことばで定義される<ref name="Saff"/>。これらは、滑らかな曲線の「断片」の正確な定義を与え、積分路は断片からなる。

'''滑らかな曲線'''とは、曲線 {{math|''z'': [''a'', ''b''] → '''C'''}} であって、微分が消えず連続で、各点が一度だけ通過される（{{mvar|z}} が[[単射]]である）ものである、ただし終点が始点と一致する場合 {{math|1=(''z''(''a'') = ''z''(''b''))}} だけは例外である。終点が始点と一致するような場合には、曲線は閉曲線と呼ばれ、関数は他のいたるところ単射でなければならず、微分はその一致する点で連続でなければならない {{math|(''z{{'}}''(''a'') {{=}} ''z{{'}}''(''b''))}}。閉でない滑らかな曲線はしばしば滑らかな弧と呼ばれる<ref name="Saff"/>。

曲線の{{仮リンク|径数付け|en|parametrization}}により曲線上の点に自然な順序が入る：{{math|''x'' &lt; ''y''}} のとき {{math|''z''(''x'')}} は {{math|''z''(''y'')}} より"小さい"。このことは'''向き付けられた滑らかな曲線''' {{en|(directed smooth curve)}} の概念を導く。特定の径数付けに依存しない曲線を考えるのが最も有用である。このことは同じ方向を持つ滑らかな曲線の[[同値類]]を考えることによってなされる。すると'''方向をもつ滑らかな曲線'''は、ある滑らかな曲線の像である複素平面の点の集合に（径数付けから定まる）自然な順序をいれたものとして定義できる。点のすべての順序付けが滑らかな曲線の自然な順序であるわけではないことに注意。実は、与えられた滑らかな曲線は、そのような順序付けを2つしかもたない。また、ひとつの閉曲線は任意の点を終点として持つことができるが、滑らかな弧の終点となるのは2点のみである。

===積分路===
積分路はその上で路に沿う積分を定義する曲線のクラスである。'''積分路'''は向き付けられた滑らかな曲線の有限列 {{math|''&gamma;''{{sub|1}}, ..., ''&gamma;''{{sub|''n''}}}} からなる向き付けられた曲線であって、すべての {{math|1 &le; ''i'' &lt; ''n''}} に対して {{math|''&gamma;''{{sub|''i''}}}} の終点が {{math|''&gamma;''{{sub|''i''+1}}}} の始点と一致するようなものである（そうすると向きが上手く定まる）。積分路はすべての向き付けられた滑らかな曲線を含む。また、複素平面の一点も積分路と考える。記号 {{math|+}} が曲線をつないで新しい曲線を作ることを表すためにしばしば用いられる。したがって {{mvar|n}} 個の断片からなる積分路 {{math|&Gamma;}} を
:<math> \Gamma = \gamma_1 + \gamma_2 + \cdots + \gamma_n</math>
と書くことができる。

==路に沿う積分==
[[複素関数]] {{math|''f''ː '''C''' → '''C'''}} の'''路に沿う積分'''（{{en|contour integral}}, 曲線に沿う積分、線積分）は、実数値関数の積分の一般化である。[[複素平面]]内の[[連続関数]]に対し、路に沿う積分は[[線積分]]の類似で定義することができる。最初に向き付けられた滑らかな曲線に沿った積分を実数値のパラメータの上の積分のことばで定義するのである。より一般的な定義は、[[区間の分割]]との類似による積分路の分割と[[リーマン積分]]のことばにより与えることができる。どちらの場合も路に沿う積分は積分路を構成する向き付けられた滑らかな曲線上の積分の和として定義される。

積分路の終点が始点と一致するとき、路に沿う積分を周回積分ということがある。

===連続関数の場合===
この方法で路に沿う積分を定義するためにはまず実変数上の複素数値関数の積分を考えなければならない。{{math|''f'': '''R''' → '''C'''}} を実変数 {{mvar|t}} の複素数値関数とする。{{mvar|f}} の実部と虚部はしばしばそれぞれ {{math|''u''(''t'')}} と {{math|''v''(''t'')}} と書かれる、つまり
:<math>f(t) = u(t) + iv(t)</math>
である。すると複素数値関数 {{mvar|f}} の区間 {{math|[''a'', ''b'']}} 上の積分は次で与えられる：
:<math>\begin{align}
\int_a^b f(t) \, dt &=  \int_a^b \big[ u(t) + i v(t) \big] \, dt \\
                      &= \int_a^b u(t) \, dt + i \int_a^b v(t) \, dt.
\end{align}</math>

{{math|''f'': '''C''' → '''C'''}} を[[#向き付けられた滑らかな曲線|向き付けられた滑らかな曲線]] {{mvar|&gamma;}} 上の[[連続関数]]とする。{{math|''z'': '''R''' → '''C'''}} をその順序（向き）と両立する {{mvar|&gamma;}} の任意の径数付けとする。すると {{mvar|&gamma;}} に沿った積分は
:<math>\int_\gamma f(z)\, dz\, </math>
と記され、
: <math>\int_\gamma f(z) \, dz = \int_a^b f(z(t)) z'(t) \, dt</math>
によって与えられる<ref name="Saff"/>。

この定義は well defined である。つまり、結果は選ばれた径数付けに依存しない<ref name="Saff" />。右辺の実積分が存在しない場合には {{mvar|&gamma;}} に沿う積分は存在しないと言われる。

===リーマン積分の一般化として===
[[リーマン積分]]の複素変数の関数への一般化は実数からの関数に対する定義との完全な類似でなされる。向き付けられた滑らかな曲線 {{mvar|&gamma;}} の分割は {{mvar|&gamma;}} 上の有限個の順序付けられた点の集合と定義される。その曲線上の積分は分割の点での関数値の有限和の極限である。極限は分割の連続する2点の（複素平面での）距離（分割の幅）の最大値が {{math|0}} に行くようにとる。

==直接的な方法==
直接的な方法は多変数解析学における線積分の計算と類似の手法による積分計算を含む。これは以下の手法を用いることを意味する：
* 積分路の径数付け
: 積分路は実変数の微分可能な複素数値関数によって径数付けられる、あるいは積分路は断片に分けられ別々に径数付けられる。
* 径数付けの被積分関数への代入
: 径数付けを被積分関数に代入することで積分が一実変数の積分となる。
* 直接計算
: 積分は実変数の積分と類似の手法で計算される。

===例===
複素解析における基本的な結果は {{math|''z''{{sup|&minus;1}}}} の周回積分が {{math|2''&pi;i''}} であることである、ただし積分路は単位円周を反時計回りに一周するものをとる（あるいは {{math|0}} についての任意の正の向きの[[ジョルダン曲線]]でもよい）。単位円周の場合には積分
:<math>\oint_C {1 \over z}\,dz</math>
を計算する直接的な方法がある。この積分の計算では、単位円周 {{math|1={{!}}''z''{{!}} = 1}} を {{math|1=''z''(''t'') = ''e{{sup|it}}'' (''t'' &isin; [0, 2''&pi;''])}} で径数付けしたものを積分路として使う。すると {{math|1=''dz''/''dt'' = ''ie<sup>it</sup>''}} であり、積分は次のように計算される。
:<math> \oint_C {1 \over z}\,dz = \int_0^{2\pi} \frac{1}{e^{it}} ie^{it}\,dt = i\int_0^{2\pi} dt = 2\pi i.</math>

==積分定理の応用==
路に沿う積分を計算するために積分定理を用いることもしばしばある。これは実数値関数が路に沿う積分の計算と一緒に同時に計算されることを意味する。

[[コーシーの積分公式]]や[[留数定理]]のような積分定理は以下の手法において一般的に用いられる：
* ある特定の閉じた積分路が選ばれる：
: 積分路は以下のように選ばれる。実数値積分を記述する複素平面の部分を通り、[[コーシーの積分公式]]や[[留数定理]]が使えるように被積分関数の特異点を囲む。
* {{仮リンク|コーシー・グルサの定理|en|Cauchy–Goursat theorem}}の適用
: 積分は各極のまわりの小さい円周に沿う積分のみに簡約される。
* コーシーの積分公式あるいは留数定理の適用
: これらの積分公式を適用することで積分路全体の積分の値が得られる。
* 実部と虚部に沿う積分路への積分路の分割
: 積分路の全体は前に選んだように実数値積分を記述する複素平面の部分を通る積分路 {{mvar|R}} と複素平面をお横断する積分路 {{mvar|I}}に分割できる。積分路全体上の積分はこれらの積分路それぞれの上の積分の和である。
* 複素平面を横断する積分が和に影響しないことの証明
: {{mvar|I}} 上の積分が {{math|0}} であることを示すことができるか、あるいは、求める実数値積分が広義積分のときは {{mvar|I}} 上の積分が {{math|0}} に収束することを示せば、{{mvar|R}} 上の積分は積分路 {{math|''R'' + ''I''}} に沿う積分に収束する。
* 結論
: 上記の段階を示すことができれば、{{mvar|R}} 上の実数値積分を計算することができる。

===例===
次の積分を考える：
: <math>\int_{-\infty}^\infty {1 \over (x^2+1)^2}dx.</math>
この積分を計算するために、次の複素数値関数を見る：
: <math>f(z)={1 \over (z^2+1)^2}.</math>
この関数は {{math|''i''}} と {{math|&minus;''i''}} に[[特異点 (数学)|特異点]]を持つ。積分路として実数値積分を含む積分路を選ぶ。ここでは実数直線上に境界の直径（{{math|−''a''}} から {{mvar|a}} まで）を持つ半円が便利である。この積分路を {{mvar|C}} と呼ぶ。

2つのやり方がある。[[コーシーの積分公式]]を使う方法と留数の手法によるものである：

====コーシーの積分公式を使う====
次に注意：

: <math>\oint_C f(z)\,dz = \int_{-a}^a f(z)\,dz  + \int_\text{Arc} f(z)\,dz </math>

したがって

: <math>\int_{-a}^a f(z)\,dz = \oint_C f(z)\,dz - \int_\text{Arc} f(z)\,dz. </math>

さらに次が成り立つ：

: <math>f(z)={1 \over (z^2+1)^2}={1 \over (z+i)^2(z-i)^2}.</math>

閉曲線の囲む領域内に二位の極 {{mvar|i}} があるため、コーシーの積分公式を用いて、

: <math>\oint_C f(z)\,dz = 2\pi i \frac{d}{dz} \left({1 \over (z+i)^2}\right)\Bigg|_{z=i} =2 \pi i \left(\frac{-2}{(z+i)^3}\right)\Bigg|_{z = i} =\frac{\pi}{2}.</math>

半円の弧を {{math|Arc}} と呼ぶことにすれば、{{math|Arc}} 上の積分が {{math|''R'' &rarr; &infin;}} のとき {{math|0}} に収束することを示す必要がある。{{仮リンク|estimation lemma|en|estimation lemma}} を用いて

: <math>\left|\int_\text{Arc} f(z)\,dz\right| \le ML</math>

ただし {{mvar|M}} は {{math|Arc}} 上の {{math|{{!}}''f''(''z''){{!}}}} の上界であり、{{mvar|L}} は {{math|Arc}} の長さである。今

: <math>\left| \int_\text{Arc} f(z)\,dz \right| \le \frac{R\pi}{(R^2-1)^2} \to 0 \quad (R \to \infty)</math>

である。したがって

:<math>\int_{-\infty}^\infty {1 \over (x^2+1)^2}\,dx = \int_{-\infty}^\infty f(z)\,dz = \lim_{a \to +\infty} \int_{-a}^a f(z)\,dz = {\pi\over 2}.\quad\square</math>

====留数の方法を使う====
{{mvar|i}} の周りでの {{math|''f''&thinsp;(''z'')}} の[[ローラン級数|ローラン展開]]を考える（{{mvar|i}} は考える必要のある唯一の[[特異点 (数学)|特異点]]である）。すると

: <math>f(z) = {-1 \over 4(z-i)^2} + {-i \over 4(z-i)} + {3 \over 16} + {i \over 8}(z-i) + {-5 \over 64}(z-i)^2 + \cdots</math>

となる（この級数の導出は{{仮リンク|ローラン級数|en|Laurent series|preserve=1}}の計算例を参照）。

留数が {{math|&minus;''i''/4}} であることは見た目から明らかである（これを確かめるには、上の等式に {{math|''z'' &minus; ''i''}} を掛けたものを考え、コーシーの積分公式を用いて両辺を積分すると、第二項のみが {{math|0}} でない値となる）。よって[[留数定理]]より

: <math> \oint_C f(z)\,dz = \oint_C {1 \over (z^2+1)^2}\,dz = 2 \pi i \,\mathrm{Res}_{z=i} f =\frac{\pi}{2}.\quad\square</math>

したがって前と同じ結果が得られた。

====積分路についての注意====
余談ではあるが、''他の''特異点 {{math|&minus;''i''}} を囲む半円を取らなかったことについて疑問が生じ得る。正しい向きに動いて実軸に沿って積分するには、その積分路は時計回り、つまり負の方向にまわらなければならず、積分全体の符号が逆になる。

これは級数による留数の手法の使用に影響しない。

===例 II: コーシー分布===
積分

:<math>\int_{-\infty}^\infty {e^{itx} \over x^2+1}\,dx</math>

[[Image:contourDiagram.svg|right|275px|積分路]]

（[[確率論]]において[[コーシー分布]]の[[特性関数 (確率論)|特性関数]]のスカラー倍として生じる）は初等[[解析学]]のテクニックでは困難である。それを次の積分路 {{mvar|C}} に沿った線積分の極限として表示することにより計算しよう：実数直線を {{math|−''a''}} から {{mvar|a}} まで沿って行き、{{math|0}} を中心とする半円に沿って {{mvar|a}} から {{math|−''a''}} まで反時計回りに行く。{{mvar|a}} を {{math|1}} よりも大きく取って、[[虚数単位]] {{mvar|i}} が曲線の内側に入るようにする。線積分は

:<math>\int_C {e^{itz} \over z^2+1}\,dz</math>

である。{{mvar|e<sup>itz</sup>}} は[[整関数]]（複素平面のどこにも特異点を持たない）だから、この関数は分母 {{math|''z''<sup>2</sup> + 1}} が {{math|0}} になる点でのみ特異点を持つ。{{math|1=''z''<sup>2</sup> + 1 = (''z'' + ''i'')(''z'' − ''i'')}} であるから、それは {{math|1=''z'' = ''i''}} あるいは {{math|1=''z'' = −''i''}} でのみ起こる。これらの点のうち1つだけが積分路で囲まれる領域に含まれる。{{math|''f''(''z'')}} の {{math|1=''z'' = ''i''}} における[[留数]]は

:<math>\mathrm{Res}_{z=i} f(z) = \lim_{z\to i}(z-i)f(z) = \lim_{z\to i}{e^{itz} \over z+i}={e^{-t}\over 2i}</math>

である。[[留数定理]]により、

:<math>\int_C f(z)\,dz= 2\pi i \operatorname{Res}_{z=i}f(z)= \pi e^{-t}</math>

となる。積分路 {{mvar|C}} は「まっすぐな (straight)」部分と曲がった弧 (arc) とに分けられるので

:<math>\int_{\text{straight}}+\int_{\text{arc}}=\pi e^{-t}</math>

でありしたがって

:<math>\int_{-a}^a =\pi e^{-t}-\int_{\text{arc}}</math>

となる。'''{{math|''t'' > 0}} のとき'''

:<math>\int_{\text{arc}}{e^{itz} \over z^2+1}\,dz \rightarrow 0 \text{ as } a\rightarrow\infty</math>

であることを示すことができる。よって '''{{math|''t'' > 0}} のとき'''

:<math>\int_{-\infty}^\infty {e^{itx} \over x^2+1}\,dx=\pi e^{-t}</math>

である。'''{{math|''t'' < 0}} のとき'''は {{mvar|i}} ではなく {{math|−''i''}} をまわる弧を用いた類似の議論によって

:<math>\int_{-\infty}^\infty {e^{itx} \over x^2+1}\,dx=\pi e^t</math>

が示される。よって最終的に次を得る：

:<math>\int_{-\infty}^\infty {e^{itx} \over x^2+1} \,dx=\pi e^{-\left|t\right|}.\quad\square</math>

（{{math|1=''t'' = 0}} のときは積分はただちに実数値の解析学の手法が使えてその値は {{pi}} である。）

===例 III: 三角関数の積分===
[[三角関数]]を含む積分に対して、ある種の代入を行って複素有理関数へと変換することで積分値が算出できる場合がある。

例として次のような積分を考える。

: <math> \int_{-\pi}^\pi {1 \over 1 + 3 (\cos{t})^2} \,dt. </math>

''z'' = ''e<sup>it</sup>'' と変数変換する。

: <math> \cos t = {1 \over 2} \left(e^{it}+e^{-it}\right) = {1 \over 2} \left(z+{1 \over z}\right)</math>

および

: <math> {dz \over dt} = iz,\ dt = {dz \over iz} </math>

であることを思い出すと、代入により積分は次のように書き直せる。''C'' は単位円周。

: <math>\begin{align}
\oint_C {1 \over 1 + 3 ({1 \over 2} (z+{1 \over z}))^2} \,{dz\over iz} &= \oint_C {1 \over 1 + {3 \over 4} (z+{1 \over z})^2}{1 \over iz} \,dz \\
&= \oint_C {-i \over z+{3\over 4}z(z+{1\over z})^2}\,dz \\
& = -i \oint_C { 1 \over z+{3\over 4}z(z^2+2+{1\over z^2})} \,dz \\
& = -i \oint_C {1\over z+{3\over 4}(z^3+2z+{1 \over z})} \,dz \\
&= -i \oint_C {1 \over {3\over 4 }z^3+{5 \over 2}z+{3 \over 4z}} \,dz \\
& = -i \oint_C {4 \over 3z^3+10z+{3\over z}}\,dz \\
&= -4i \oint_C {1 \over 3z^3+10z+{3\over z}}\,dz \\
& = -4i \oint_C { z \over 3z^4+10z^2+3 } \,dz \\
& = -4i \oint_C {z \over 3(z+\sqrt{3}i)\left(z-\sqrt{3}i\right)\left(z+\frac{i}{\sqrt{3}}\right)\left(z-\frac{i}{\sqrt{3}}\right)}\,dz \\
& = -{4\over 3}i \oint_C {z \over (z+\sqrt{3}i)(z-\sqrt{3}i)\left(z+\frac{i}{\sqrt{3}}\right)\left(z-\frac{i}{\sqrt{3}}\right)}\,dz.
\end{align}</math>

考える必要がある特異点は 3<sup>−1/2</sup>''i'', −3<sup>−1/2</sup>''i'' の2つである。

''C''<sub>1</sub> を 3<sup>−1/2</sup>i を囲む小さな円周、''C''<sub>2</sub> を −3<sup>−1/2</sup>''i'' を囲む小さな円周として、以下のように計算できる。

: <math>\begin{align}
&-\frac{4}{3}i \left [ \oint_{C_1} \frac{\frac{z}{(z+\sqrt{3}i)(z-\sqrt{3}i)\left(z+\frac{i}{\sqrt{3}} \right)}}{z-\frac{i}{\sqrt{3}}}\,dz +\oint_{C_2} \frac{\frac{z}{(z+\sqrt{3}i)(z-\sqrt{3}i)\left(z-\frac{i}{\sqrt{3}}\right)}}{z+\frac{i}{\sqrt{3}}} \, dz \right ] \\
&= -\frac{4}{3}i \left[ 2\pi i \left(\frac{z}{(z+\sqrt{3}i)(z-\sqrt{3}i)(z+\frac{i}{\sqrt{3}})}\right)\Bigg|_{z=\frac{i}{\sqrt{3}}} + 2\pi i \left(\frac{z}{(z+\sqrt{3}i)(z-\sqrt{3}i)(z-\frac{i}{\sqrt{3}})} \right)\Bigg|_{z=-\frac{i}{\sqrt{3}}}\right] \\
&= \frac{8\pi}{3} \left[\frac{\frac{i}{\sqrt{3}}}{(\frac{i}{\sqrt{3}}+\sqrt{3}i)(\frac{i}{\sqrt{3}}-\sqrt{3}i)(\frac{i}{\sqrt{3}}+\frac{i}{\sqrt{3}})} + \frac{-\frac{i}{\sqrt{3}}}{(-\frac{i}{\sqrt{3}}+\sqrt{3}i)(-\frac{i}{\sqrt{3}}-\sqrt{3}i)(-\frac{i}{\sqrt{3}}-\frac{i}{\sqrt{3}})} \right] \\
&= \frac{8\pi}{3} \left[\frac{\frac{i}{\sqrt{3}}}{(\frac{4}{\sqrt{3}}i)(-\frac{2}{i\sqrt{3}})(\frac{2}{\sqrt{3}i})}+\frac{-\frac{i}{\sqrt{3}}}{(\frac{2}{\sqrt{3}}i)(-\frac{4}{\sqrt{3}}i)(-\frac{2}{\sqrt{3}}i)}\right] \\
&= \frac{8\pi}{3}\left[\frac{\frac{i}{\sqrt{3}}}{i(\frac{4}{\sqrt{3}})(\frac{2}{\sqrt{3}})(\frac{2}{\sqrt{3}})}+\frac{-\frac{i}{\sqrt{3}}}{-i(\frac{2}{\sqrt{3}})(\frac{4}{\sqrt{3}})(\frac{2}{\sqrt{3}})}\right] \\
&= \frac{8\pi}{3}\left[\frac{\frac{1}{\sqrt{3}}}{(\frac{4}{\sqrt{3}})(\frac{2}{\sqrt{3}})(\frac{2}{\sqrt{3}})}+\frac{\frac{1}{\sqrt{3}}}{(\frac{2}{\sqrt{3}})(\frac{4}{\sqrt{3}})(\frac{2}{\sqrt{3}})}\right] \\
&= \frac{8\pi}{3}\left[\frac{\frac{1}{\sqrt{3}}}{\frac{16}{3\sqrt{3}}}+\frac{\frac{1}{\sqrt{3}}}{\frac{16}{3\sqrt{3}}} \right] \\
&= \frac{8\pi}{3}\left[\frac{3}{16} +  \frac{3}{16} \right] = \pi.
\end{align}</math>

===例 IIIa: 三角関数の積分、一般的な手続き===
上記の方法は、次の形をした全ての積分に適用できる。
:<math> \int_0^{2\pi} \frac{P(\sin(t),\sin(2t),\ldots,\cos(t),\cos(2t),\ldots)}{Q(\sin(t),\sin(2t),\ldots,\cos(t),\cos(2t),\ldots)}\, dt</math>

ここで ''P'' と ''Q'' は多項式である（つまり、三角関数の有理関数の積分を考えている）。積分範囲は先の例のように π から -π まででも良いし、また 2π だけ離れた任意の区間でも良い。

変数変換 <math>z = \exp(i t)</math> を行うのが技巧である。このとき <math>dz = i \exp(i t) \,dt</math> だから、

:<math> \frac{1}{iz} \,dz = dt.</math>

この変換により閉区間 [0, 2π] は複素平面の単位円周に写される。さらに、

:<math> \sin(k t) = \frac{\exp(i k t) - \exp(- i k t)}{2 i} = \frac{z^k - z^{-k}}{2i}</math>

および

:<math> \cos(k t) = \frac{\exp(i k t) + \exp(- i k t)}{2} = \frac{z^k + z^{-k}}{2}</math>

であるから、変換によって ''z'' の有理関数 ''f''(''z'') が得られ、積分は

:<math> \oint_{|z|=1} f(z) \frac{1}{iz}\, dz </math>

となる。この積分は <math>f(z)\frac{1}{iz}</math> の、単位円板内にある留数の和をとることで計算できる。

[[Image:TrigonometricToComplex.png|right]]
右の図は

:<math> I = \int_0^\frac{\pi}{2} \frac{1}{1 + \sin(t)^2}\, dt,</math>

の場合を図示したものである。まず、

:<math> I = \frac{1}{4} \int_0^{2\pi} \frac{1}{1 + \sin(t)^2} \,dt.</math>

と変形して、変数変換をすると

:<math> \frac{1}{4} \oint_{|z|=1} \frac{4 i z}{z^4 - 6z^2 + 1}\, dz = \oint_{|z|=1} \frac{i z}{z^4 - 6z^2 + 1}\, dz</math>

となる。被積分関数の極は 1&nbsp;±&nbsp;√2 と −1&nbsp;±&nbsp;√2 である。これらのうち 1&nbsp;+&nbsp;√2 と −1&nbsp;−√2 は単位円板の外側にあり（赤い点で示した。縮尺は正確ではない）、一方 1&nbsp;−&nbsp;√2 と −1&nbsp;+&nbsp;√2 は単位円板の内側にある（青い点で示した）。

対応する留数はいずれも −''i''√2/16 だから、求める積分値は
:<math> I = 2 \pi i \; 2 \left( - \frac{\sqrt{2}}{16} i \right) = \pi \frac{\sqrt{2}}{4}</math>

となる。

===例 IV: 分岐切断===
実関数積分
: <math>\int_0^\infty {\sqrt{x} \over x^2+6x+8}\,dx.</math>

を考える。次のように複素積分として書き直すところから始める。
: <math>\int_C {\sqrt{z} \over z^2+6z+8}\,dz=I.</math>

[[Image:Keyhole contour.svg|right|180px]]
問題となる留数の値を得るため、再びコーシーの積分公式もしくは留数定理を用いることができる。しかしここで注意すべき重要なことは、''z''<sup>1/2</sup>&nbsp;=&nbsp;''e''<sup>(1/2)Log(''z'')</sup> であり、''z''<sup>1/2</sup> には[[分岐点 (数学)|分岐切断]]があるということである。このことは、積分路 ''C'' の選び方に影響してくる。

対数関数の分岐切断は、普通は実軸のうち負の部分と定めることが多いが、こうすると計算がやや面倒になる。そこでここでは、実軸の正の部分と定めることにする。

ここで、次のような経路を順にたどって得られる、いわゆる「鍵穴積分路（keyhole contour）」を用いる。
*原点を中心として時計回りにほぼ1周する半径 ε の小さな円
*実軸に上半平面側から接近して（接触はしていない）平行な線分
*反時計回りにほぼ1周する半径 R の大きな円
*実軸に下半平面側から接近し平行な線分

''z''&nbsp;=&nbsp;−2 と ''z''&nbsp;=&nbsp;−4 は大円が囲む内部にあることに注意する。被積分関数の分母を因数分解すれば、これらが2個の極だとがわかる。分岐点は ''z''&nbsp;=&nbsp;0 だが、これは原点を迂回したことによって避けられている。
{{clear}}

γ を半径 ε の小円、Γ を半径 ''R'' の大円とする。このとき積分路は

: <math>\int_C = \int_\varepsilon^R + \int_\Gamma + \int_R^\varepsilon + \int_\gamma</math>

と分解できる。

Γ と γ に沿う積分は、先に行ったのと同様の議論で ε → 0, ''R'' → ∞ のときにいずれも 0 に収束することが示せて、積分は2項のみが残る。ここで ''z''<sup>1/2</sup> = ''e''<sup>(1/2)Log(''z'')</sup> であり、分岐切断の外側で γ に沿って動くとき、偏角は 2π だけ変わる。よって

: <math> \begin{align}
\int_R^\varepsilon {\sqrt{z} \over z^2+6z+8}\,dz&=\int_R^\varepsilon {e^{{1\over 2} \mathrm{Log}(z)} \over z^2+6z+8}\,dz \\
&=\int_R^\varepsilon {e^{{1\over 2}(\log{|z|}+i \arg{z})} \over z^2+6z+8}\,dz \\
& = \int_R^\varepsilon { e^{{1\over 2}\log{|z|}}e^{(1/2)(2\pi i)} \over z^2+6z+8}\,dz\\
&=\int_R^\varepsilon { e^{{1\over 2}\log{|z|}}e^{\pi i} \over z^2+6z+8}\,dz \\
& = \int_R^\varepsilon {-\sqrt{z} \over z^2+6z+8}\,dz\\
&=\int_\varepsilon^R {\sqrt{z} \over z^2+6z+8}\,dz.
\end{align}</math>

ゆえに<ref group="注釈">（訳注）実軸に平行な路に沿った複素線積分の収束性については、厳密にはもう少し議論が要るように思われる（これに続く例でも同様）。

この箇所の実軸下側の複素線積分について述べれば、例えば、''n'' を自然数、''x'' ∈ [0, +∞)、1<sub>A</sub>(・) を[[指示関数]]として

:<math>
{ e^{{1\over 2}\log{|x -\frac{i}{n}|}}e^{(i/2) \arg{(x -\frac{i}{n})}} \over (x -\frac{i}{n})^2+6(x -\frac{i}{n})+8} \cdot 1_{[\frac{1}{n} ,n]} (x)
</math>

は ''n'' によらずに [0, +∞) 上可積分かつ、可積分関数

:<math>
{ e^{{1\over 2}\log{|x +1|}} \over x^2+6x+8}
</math>

で絶対値が上から抑えられ、更に ''n'' → ∞ のとき

:<math>
{-\sqrt{x} \over x^2+6x+8}
</math>

に各点収束する。よって[[優収束定理]]により、本文で述べているような変形が正当化される。</ref>

:<math>\int_C {\sqrt{z} \over z^2+6z+8}\,dz = 2\int_0^\infty {\sqrt{x} \over x^2+6x+8}\,dx</math>

留数定理を使うか、もしくはコーシーの積分公式を使う（まず被積分関数を部分分数分解して、2個の単純な円の周りの積分に書き直してから和をとる）かして、

: <math>\pi i \left({i\over \sqrt{2}}-i\right)=\int_0^\infty {\sqrt{x} \over x^2+6x+8}\,dx = \pi\left(1-{1\over\sqrt{2}}\right).\quad\square</math>

を得る。

===例 V: 対数関数の平方を利用した積分===
[[Image:KeyholeContourLeft.png|right]]

この節では、

:<math>\int_0^\infty \frac{\log(x)}{(1+x^2)^2} \, dx</math>

のようなタイプの積分を扱う。

この積分を計算するのに、関数

:<math>f(z) = \left (\frac{\log(z)}{1+z^2} \right )^2</math>

を用い、<math>-\pi < \arg(z) \le \pi</math> に対応した対数関数の枝を考える。

''f''(''z'') の、右の図に示すような鍵穴積分路に沿った複素線積分を計算する。この積分は、冒頭に示した実積分の定数倍であることがわかり（後述）、積分値は留数定理により

:<math>\begin{align}
\left( \int_R + \int_M + \int_N + \int_r \right) f(z) \, dz &= 2 \pi i \left( \mathrm{Res}_{z=i} f(z) + \mathrm{Res}_{z=-i} f(z) \right) \\
&= 2 \pi i \left( - \frac{\pi}{4} + \frac{1}{16} i \pi^2 - \frac{\pi}{4} - \frac{1}{16} i \pi^2 \right) \\
&= - i \pi^2
\end{align}</math>

と計算できる。

''R'' と ''r'' をそれぞれ大円、小円の半径とし、上側の線分を ''M''、下側の線分を ''N'' と書く。''R'' → ∞ および ''r'' → 0 の極限はまだとっていない。2つの円周部分からの積分の寄与はいずれも極限をとると消える。例えば、ML補題により大円に沿った積分は次のように上から抑えられる：

:<math>\left| \int_R f(z) \, dz \right| \le 2 \pi R \frac{(\log(R))^2 + \pi^2}{(R^2-1)^2} \to 0</math>

''M'', ''N'' に沿った積分値を計算するため、''M'' 上では <math>z =-x + i\epsilon</math>、''N''上では <math>z = -x - i\epsilon</math> (0 < ''x'' < ∞) ととると、

:<math>\begin{align}
-i \pi^2 &= \left( \int_R + \int_M + \int_N + \int_r \right) f(z) \, dz \\
&= \left( \int_M + \int_N \right) f(z)\, dz \qquad \int_R, \int_r \text { vanish} \\
&=-\int_\infty^0 \left (\frac{\log(-x + i\epsilon)}{1+(-x + i\epsilon)^2} \right )^2\, dx - \int_0^\infty \left (\frac{\log(-x - i\epsilon)}{1+(-x - i\epsilon)^2}\right)^2 \, dx \\
&= \int_0^\infty \left (\frac{\log(-x + i\epsilon)}{1+(-x + i\epsilon)^2} \right )^2 \, dx - \int_0^\infty \left (\frac{\log(-x - i\epsilon)}{1+(-x - i\epsilon)^2} \right )^2 \, dx \\
&= \int_0^\infty \left (\frac{\log(x) + i\pi}{1+x^2} \right )^2 \, dx - \int_0^\infty \left (\frac{\log(x) - i\pi}{1+x^2} \right )^2 \, dx \qquad \epsilon \to 0 \\
&= \int_0^\infty \frac{(\log(x) + i\pi)^2 - (\log(x) - i\pi)^2}{(1+x^2)^2} \, dx \\
&= \int_0^\infty \frac{4 \pi i \log(x)}{(1+x^2)^2} \, dx \\
&= 4 \pi i \int_0^\infty \frac{\log(x)}{(1+x^2)^2} \, dx
\end{align}</math>

以上より

:<math>\int_0^\infty \frac{\log(x)}{(1+x^2)^2} \, dx = - \frac{\pi}{4}.</math>

===例 VI: 対数関数と、無限遠点での留数===
[[Image:ContourLogs.png|right]]

次の積分を計算したい。
:<math>I = \int_0^3 \frac{x^{\frac{3}{4}} (3-x)^{\frac{1}{4}}}{5-x}\,dx.</math>

これには、関数

:<math>f(z) = z^{\frac{3}{4}} (3-z)^{\frac{1}{4}}.</math>

の精密な分析が必要である。''f''(''z'') を、分岐切断が図に赤で示したように [0, 3] となるよう構成する。これをするため、2つの対数関数を、枝がそれぞれ

:<math>z^{\frac{3}{4}} = \exp \left (\frac{3}{4}\log(z) \right ) \quad \mbox{where} \quad -\pi \le \arg(z) < \pi </math>

:<math>(3-z)^{\frac{1}{4}} = \exp \left (\frac{1}{4} \log(3-z) \right ) \quad \mbox{where} \quad 0 \le \arg(3-z) < 2\pi </math>

となるよう選ぶ。

このとき、''z''<sup>3/4</sup> の分岐切断は (−∞, 0] であり、(3−''z'')<sup>1/4</sup> の分岐切断は (−∞, 3] となる。これらの積、つまり ''f''(''z'') の分岐切断は [0, 3] である。なぜなら、''f''(''z'') は実は (−∞, 0) をまたいで連続になるからである。このことは、''z'' = −''r'' < 0 として (−∞, 0) に向かって上半平面から近づくときの ''f''(''z'') の値が

:<math> r^{\frac{3}{4}} \exp(\tfrac{3 \pi i}{4}) (3+r)^{\frac{1}{4}} \exp(\tfrac{2 \pi i}{4}) = r^{\frac{3}{4}} (3+r)^{\frac{1}{4}} \exp(\tfrac{5 \pi i}{4})</math>

であり、一方下半平面から近づくときの ''f''(''z'') の値が

:<math> r^{\frac{3}{4}} \exp(-\tfrac{3 \pi i}{4}) (3+r)^{\frac{1}{4}} \exp(\tfrac{0 \pi i}{4}) = r^{\frac{3}{4}} (3+r)^{\frac{1}{4}} \exp(-\tfrac{3 \pi i}{4})</math>

となるが、

:<math>\exp(-\tfrac{3 \pi i}{4}) = \exp(\tfrac{5 \pi i}{4})</math>

だから、この両者は (−∞, 0) を越えて連続となることからわかる。図中では、2個の向きのついた黒い円周が、それぞれ ''z''<sup>3/4</sup> と (3−''z'')<sup>1/4</sup> を定義している対数関数の偏角とともに示されている。

図中の緑色の積分路を使うことにする。このため線分のすぐ上側と、すぐ下側を通る経路上の積分を考える。これらの経路は極限では（つまり2個の緑色の円周が半径0となるとき）、''z'' = ''r'' (0 ≤ ''r'' ≤ 3) となる。線分の上側では、''f''(''z'') の値は

:<math>r^{\frac{3}{4}} \exp(\tfrac{0 \pi i}{4}) (3-r)^{\frac{1}{4}} \exp(\tfrac{2 \pi i}{4}) = i \, r^{\frac{3}{4}} (3-r)^{\frac{1}{4}}</math>

と求まる。線分の下側では、

:<math>r^{\frac{3}{4}} \exp(\tfrac{0 \pi i}{4}) (3-r)^{\frac{1}{4}} \exp(\tfrac{0 \pi i}{4}) = r^{\frac{3}{4}} (3-r)^{\frac{1}{4}}</math>

となる。これらより

:<math>\frac{f(z)}{5-z}</math>

の積分は、線分の上側を通るとき極限では −''iI'' となり、下側を通るとき極限では ''I'' となることがわかる。

2個の緑色の円周上の積分が極限では消えることを示せれば、留数定理によって ''I'' の値も得られる。緑色の円周の半径を ρ とし、ρ < 1/1000 を満たしつつ ρ → 0 と向かう状況を考える。

ML不等式を左側の円周 ''C<sub>L</sub>'' に適用すると、

:<math> \left| \int_{C_L} \frac{f(z)}{5-z} dz \right| \le 2 \pi \rho \frac{\rho^{\frac{3}{4}} (3+\frac{1}{1000})^{\frac{1}{4}}}{5-\frac{1}{1000}} \in \mathcal{O} \left( \rho^{\frac{7}{4}} \right) \to 0</math>

が得られる。同様に、右側の円周 ''C''<sub>''R''</sub> に適用すると、

:<math> \left| \int_{C_R} \frac{f(z)}{5-z} dz \right| \le 2 \pi \rho \frac{(3+\frac{1}{1000})^{\frac{3}{4}} \rho^{\frac{1}{4}}}{2-\frac{1}{1000}} \in \mathcal{O} \left( \rho^{\frac{5}{4}} \right) \to 0</math>

が得られる。

ここで留数定理より（今考えている積分路は、内側には有限個の孤立特異点を囲めていない事に注意する）、

:<math> (-i + 1) I = -2\pi i \left( \mathrm{Res}_{z=5} \frac{f(z)}{5-z} + \mathrm{Res}_{z=\infty} \frac{f(z)}{5-z} \right)</math>

となる。ここで右辺の最初に負号がついているのは、特異点から見ると積分路は時計回りをしているからである。上で定めた対数関数の枝を使うと、明らかに

:<math>\mathrm{Res}_{z=5} \frac{f(z)}{5-z} = - 5^{\frac{3}{4}} \exp \left (\tfrac{\log(-2)}{4} \right).</math>

この極は図では青い点で示されている。値は単純化されて
:<math>- 5^{\frac{3}{4}} \exp \left (\tfrac{\log(2) + \pi i}{4} \right ) = - \exp (\tfrac{\pi i}{4}) 5^{\frac{3}{4}} 2^{\frac{1}{4}}</math>

となる。

無限遠点での留数を求めるのに、次の公式を使う。

:<math>\mathrm{Res}_{z=\infty} h(z) = \mathrm{Res}_{z=0} \left[- \frac{1}{z^2} h\left(\frac{1}{z}\right)\right].</math>

''z'' を ''1/z'' に置き換えて、

:<math>\frac{1}{5-\frac{1}{z}} = -z \left(1 + 5z + 5^2 z^2 + 5^3 z^3 + \cdots\right)</math>

および

:<math>\left(\frac{1}{z^3}\left (3-\frac{1}{z} \right )\right)^{\frac{1}{4}} = \frac{1}{z} (3z-1)^{\frac{1}{4}} = \frac{1}{z}\exp(\tfrac{\pi i}{4}) (1-3z)^{\frac{1}{4}} </math>

を得る。ここで、2番目の対数関数の枝について −1 = ''e''<sup>''i''π</sup> であることを用いた。

更に[[二項級数|二項展開]]から、

:<math>\frac{1}{z} \exp(\tfrac{\pi i}{4}) \left( 1 - {\frac{1}{4} \choose 1} 3z + {\frac{1}{4} \choose 2} 3^2 z^2 - {\frac{1}{4} \choose 3} 3^3 z^3 + \cdots \right) </math>

を得る。結論として、留数

:<math>\mathrm{Res}_{z=\infty} \frac{f(z)}{5-z} = \exp (\tfrac{\pi i}{4}) \left (5 - \frac{3}{4} \right ) = \exp(\tfrac{\pi i}{4})\frac{17}{4}</math>

が得られた。

以上より、最終的に ''I'' の値は

:<math>
\begin{align}
I &= 2 \pi i \frac{\exp(\tfrac{\pi i}{4})}{-1+i} \left(\frac{17}{4} - 5^{\frac{3}{4}} 2^{\frac{1}{4}} \right) = 2 \pi 2^{-\frac{1}{2}} \left(\frac{17}{4} - 5^{\frac{3}{4}} 2^{\frac{1}{4}} \right) \\
& = \frac{\pi}{2\sqrt{2}} \left(17 - 5^{\frac{3}{4}} 2^{\frac{9}{4}} \right) = \frac{\pi}{2\sqrt{2}} \left(17 - 40^{\frac{3}{4}} \right)
\end{align}
</math>

と求まる。

== 積分表現 ==
{{main|積分表現}}
{{expand section|date=November 2013}}
関数の'''積分表現''' (integral representation) とは路に沿う積分を含む関数の表示である。様々な積分表現が多くの[[特殊関数]]に対して知られている。積分表現は理論的な理由で重要となり得る。例えば[[解析接続]]や[[関数等式]]やときには[[数値評価]]を与える。

[[Image:Hankel contour.png|right|thumb|150px|ハンケルの積分路]]
例えば、[[リーマンのゼータ関数]] {{math|''&zeta;''(''s'')}} の[[ディリクレ級数]]を用いたもともとの定義
:<math> \sum_{n=1}^\infty\frac{1}{n^s}</math>
は {{math|Re(''s'') > 1}} に対してのみ有効である。しかし

:<math>\zeta(s) = - \frac{\Gamma(1 - s)}{2 \pi i} \int_H\frac{(-t)^{s-1}}{e^t - 1} dt </math>

（ただし積分は{{仮リンク|ハンケルの積分路|en|Hankel contour}} {{mvar|H}} 上する）はすべての複素数 {{mvar|s}} に対して有効である。

==関連項目==
* [[留数]]
* [[コーシーの主値]]
* [[ポアソン積分]]
* {{仮リンク|ポッホハマーの積分路|en|Pochhammer contour}}

==参考文献==
{{Reflist}}

==注釈==
<references group="注釈" />

==関連文献==
*{{Citation|authorlink=E.C. Titchmarsh|first=E.C.|last=Titchmarsh|title= The Theory of Functions|publisher=Oxford University Press|year=1939|edition=2nd|
isbn=0-19-853349-7}}
* Jean Jacquelin, Marko Riedel, ''[http://les-mathematiques.u-strasbg.fr/phorum/read.php?f=2&i=333327&t=333327   Branche univalente], Les-Mathematiques.net'', in French.
* Marko Riedel et al., ''[http://www.les-mathematiques.net/phorum/read.php?4,507617,507807#msg-507807 Problème d'intégrale], Les-Mathematiques.net'', in French.
* Marko Riedel et al., ''[http://math.stackexchange.com/questions/1189503 Integral by residue], math.stackexchange.com''.
* Various authors, ''[http://groups.google.com/group/es.ciencia.matematicas/browse_thread/thread/036a688c9b6bbad3#2019491b71b209bd   sin límites ni cotas], es.ciencia.matematicas'', in Spanish.
* W W L Chen, ''[http://rutherglen.science.mq.edu.au/wchen/lnicafolder/ica04.pdf Introduction to Complex Analysis]''

==外部リンク==
*{{springer|title=Complex integration, method of|id=p/c024120}}
* [http://www.exampleproblems.com/wiki/index.php/Complex_Variables#Complex_Integrals A collection of examples]
* [http://math.fullerton.edu/mathews/c2003/ResidueCalcMod.html Residue Calculus Module by John H. Mathews]

{{DEFAULTSORT:ふくそせんせきふん}}
[[Category:複素解析]]
[[Category:積分法]]
[[Category:数学に関する記事]]