⟐ 数学の作り方 How to make Mathematics

↑ ↓ 移動 Enter 開く Esc 閉じる

第9章 実積分への応用

実数の積分を、複素平面へ回り道して解く

∫−∞∞dx1+x4\displaystyle\int_{-\infty}^\infty\frac{dx}{1+x^4} を実の方法で計算しようとすると、部分分数分解が煩雑で骨が折れます。ところが 複素解析を使うと——実軸を含む閉曲線をとり、囲んだ極の留数を足すだけ——数行で答え π2\frac{\pi}{\sqrt2} が出ます。 「実数の問題を、わざわざ複素平面へ回り道して解く」という一見遠回りが、実は最短経路なのです。

これが留数定理(前章)の最も華麗な応用です。コツは共通しています:実軸上の積分を、閉曲線の一部とみなし、 残りの部分(半円や大円)の寄与が消えることを示す。すると閉曲線積分=実積分+00=2πi∑Res⁡2\pi i\sum\operatorname{Res} となり、 実積分が留数で書ける。この章では、4つの典型パターンを、それぞれの“閉じ方”とともに整理します。実解析では 手に負えない積分が、機械的なレシピで解けるようになります。

実積分=閉曲線積分の一部。残りの寄与が消えるよう閉じれば、実積分=2πi∑Res⁡2\pi i\sum\operatorname{Res} で計算できる。

型1:三角関数の有理式(単位円)

∫02π\int_0^{2\pi} の三角関数の積分は、z=eiθz=e^{i\theta} とおいて単位円周上の複素積分に変換します。

定理 三角関数の有理式

∫02πR(cos⁡θ,sin⁡θ) dθ\displaystyle\int_0^{2\pi}R(\cos\theta,\sin\theta)\,d\theta(RR は有理式)は、z=eiθz=e^{i\theta}、cos⁡θ=z+z−12\cos\theta=\frac{z+z^{-1}}2、sin⁡θ=z−z−12i\sin\theta=\frac{z-z^{-1}}{2i}、dθ=dzizd\theta=\frac{dz}{iz} で 単位円 ∣z∣=1|z|=1 上の積分になり、=2πi∑(単位円内の極の留数)=2\pi i\sum(\text{単位円内の極の留数})。

例 計算例

∫02πdθa+cos⁡θ\displaystyle\int_0^{2\pi}\frac{d\theta}{a+\cos\theta}(a>1a>1)=∮∣z∣=11a+z+z−12dziz=∮2 dzi(z2+2az+1)=\oint_{|z|=1}\frac{1}{a+\frac{z+z^{-1}}2}\frac{dz}{iz}=\oint\frac{2\,dz}{i(z^2+2az+1)}。 分母の根 z±=−a±a2−1z_\pm=-a\pm\sqrt{a^2-1} のうち単位円内は z+z_+ のみ。Res⁡z+=2i(2z++2a)=1ia2−1\operatorname{Res}_{z_+}=\frac{2}{i(2z_++2a)}=\frac{1}{i\sqrt{a^2-1}}。 よって積分 =2πi⋅1ia2−1=2πa2−1=2\pi i\cdot\frac{1}{i\sqrt{a^2-1}}=\frac{2\pi}{\sqrt{a^2-1}}。

θ∈[0,2π]\theta\in[0,2\pi] が「単位円を一周」に化けるので、閉曲線が自動的に手に入る。あとは円内の極を拾うだけです。

型2:無限区間の有理関数(半円)

∫−∞∞p(x)q(x)dx\int_{-\infty}^\infty\frac{p(x)}{q(x)}dx は、実軸+上半平面の大半円で閉じます。半円の寄与が消えるのが鍵です。

定理 無限区間の有理関数

deg⁡q≥deg⁡p+2\deg q\ge\deg p+2、qq が実軸上に零点をもたないとき ∫−∞∞p(x)q(x) dx=2πi∑(上半平面の極の留数).\int_{-\infty}^\infty\frac{p(x)}{q(x)}\,dx=2\pi i\sum(\text{上半平面の極の留数}).

証明

実軸 [−R,R][-R,R] と上半円 CRC_R(∣z∣=R|z|=R、Im⁡≥0\operatorname{Im}\ge0)で閉曲線を作る。留数定理より ∫−RR+∫CR=2πi∑Res⁡\int_{-R}^R+\int_{C_R}=2\pi i\sum\operatorname{Res}。 CRC_R 上、deg⁡q≥deg⁡p+2\deg q\ge\deg p+2 ゆえ ∣pq∣≤CR2\left|\frac pq\right|\le\frac{C}{R^2}、length⁡(CR)=πR\operatorname{length}(C_R)=\pi R なので ∣∫CR∣≤CR2πR=CπR→0\left|\int_{C_R}\right|\le\frac{C}{R^2}\pi R=\frac{C\pi}R\to0。 R→∞R\to\infty で実軸の積分だけが残る。∎

例 計算例

∫−∞∞dx1+x4\displaystyle\int_{-\infty}^\infty\frac{dx}{1+x^4}:z4=−1z^4=-1 の根のうち上半平面のものは eiπ/4,e3iπ/4e^{i\pi/4},e^{3i\pi/4}。各留数は 14z3=z4z4=−z4\frac1{4z^3}=\frac{z}{4z^4}=-\frac z4。 和 −14(eiπ/4+e3iπ/4)=−14⋅i2⋅-\frac14(e^{i\pi/4}+e^{3i\pi/4})=-\frac14\cdot i\sqrt2\cdot…を計算して 2πi2\pi i 倍すると π2\dfrac{\pi}{\sqrt2}。実の部分分数分解より遥かに速い。

「分母の次数が分子より 22 以上大きい」と半円が消える(1/R2×R→01/R^2\times R\to0)。ここが型2の生命線です。

型3:フーリエ型積分(ジョルダンの補題)

∫−∞∞f(x)eiaxdx\int_{-\infty}^\infty f(x)e^{iax}dx(a>0a>0)型は、eiaze^{iaz} が上半平面で減衰することを使います。eiaz=eia(x+iy)=eiaxe−aye^{iaz}=e^{ia(x+iy)}=e^{iax}e^{-ay} で、 上半平面 y>0y>0 では e−aye^{-ay} が減衰する——これが半円の寄与を消します。

補題 ジョルダンの補題

a>0a>0、M(R)=max⁡CR∣f∣→0M(R)=\max_{C_R}|f|\to0(上半円で)なら ∫CRf(z)eiaz dz→0\displaystyle\int_{C_R}f(z)e^{iaz}\,dz\to0。

例 計算例

∫−∞∞cos⁡x1+x2dx=Re⁡∫−∞∞eix1+x2dx\displaystyle\int_{-\infty}^\infty\frac{\cos x}{1+x^2}dx=\operatorname{Re}\int_{-\infty}^\infty\frac{e^{ix}}{1+x^2}dx。eiz1+z2\frac{e^{iz}}{1+z^2} の上半平面の極は z=iz=i、 Res⁡i=ei⋅i2i=e−12i\operatorname{Res}_i=\frac{e^{i\cdot i}}{2i}=\frac{e^{-1}}{2i}。ジョルダンの補題で半円が消えるので ∫=2πi⋅e−12i=πe\int=2\pi i\cdot\frac{e^{-1}}{2i}=\frac{\pi}e。実部をとって πe\frac\pi e。

cos⁡x\cos x を直接扱わず eixe^{ix}(複素)にして、上半平面の減衰を使うのがコツ。フーリエ変換(実解析・フーリエ解析)の 計算で多用されます。

型4:分岐点を含む積分(鍵穴経路)

∫0∞xs−11+xdx\int_0^\infty\frac{x^{s-1}}{1+x}dx のような、xs−1x^{s-1}(多価、第3章)を含む積分には、**分岐切断を避ける鍵穴経路 (keyhole contour)**を使います。

注意 鍵穴経路の考え方

正の実軸に沿って分岐切断を入れ、切断のすぐ上と下、大円と原点近くの小円で「鍵穴」型の閉曲線を作る。切断の上下で xs−1x^{s-1} の値が因子 e2πi(s−1)e^{2\pi i(s-1)} だけずれる(一周で偏角が 2π2\pi 増える多価性)ため、上下の積分が打ち消さず 一定倍の差を生む。これを留数と等値して積分を求める。例:∫0∞xs−11+xdx=πsin⁡πs\int_0^\infty\frac{x^{s-1}}{1+x}dx=\frac{\pi}{\sin\pi s}(0<s<10<s<1)。 多価性(分岐)が、むしろ計算の武器になる。

分岐点を含む積分は、多価性(第3章)と留数(第8章)が組み合わさる、複素解析の技巧の集大成です。

つまずきポイント

注意 よくある誤解

  • 閉じ方はパターンごとに違う。 三角関数は単位円、無限区間は半円、フーリエ型はジョルダン、分岐は鍵穴。「残りの寄与が消える」向き・形を選ぶ。
  • 半円が消える条件を確認。 型2は deg⁡q≥deg⁡p+2\deg q\ge\deg p+2、型3はジョルダンの補題(eiaze^{iaz} の減衰、a>0a>0 なら上半平面)。条件を満たさないと半円が残る。
  • 上半平面か下半平面か。 eiaze^{iaz}(a>0a>0)は上半平面で減衰なので上で閉じる。a<0a<0 なら下半平面。囲む極が変わる。
  • 実軸上に極があるときは主値・小半円で回避。 ∫sin⁡xx\int\frac{\sin x}x 型は、原点の極を小半円で避ける(主値積分)。

この章のまとめ

  • 実積分を閉曲線積分の一部とみなし、残りの寄与が消えるよう閉じて 2πi∑Res⁡2\pi i\sum\operatorname{Res} で計算する。
  • 型1(三角関数):z=eiθz=e^{i\theta} で単位円。型2(無限区間の有理関数):上半円、deg⁡q≥deg⁡p+2\deg q\ge\deg p+2 で半円が消える。
  • 型3(フーリエ型):eiaze^{iaz} の上半平面での減衰(ジョルダンの補題)。型4(分岐点):鍵穴経路で多価性を武器にする。実解析では困難な積分が機械的に解ける。

次章は、留数の応用のもう一つの柱——零点と極を数える偏角の原理とルーシェの定理を扱います。