続 複素関数
http://nalab.mind.meiji.ac.jp/~mk/complex2/
桂田 祐史
katurada ＠ meiji.ac.jp 2015 年 3 月 12 日 , 2023 年 6 月 20 日
関数論の基礎事項のうち、「複素関数」で説明できなかったものをいくつかピックアップし てある。すでに何かの授業で講義したものもあるが、そうでないものも多い(解析接続、鏡像 の原理、正規族、Riemannの写像定理の証明など)。後者の部分は現時点では粗いものが少な くないので、(筆者自身の) 準備のためのメモとしての性格が強い。
大規模工事中(完成度は「複素関数」よりはかなり低い)。
目 次
0 「はじめに」 6
1 続 留数定理の応用 6
1.1 留数定理と留数の計算(復習) . . . . 6 1.2 定積分の計算 . . . . 7 1.2.1 「複素関数」で学んだもの . . . . 8 1.2.2
Z ∞
0
f(x)dx . . . . 8 1.2.3
Z ∞
0
xαf(x)dx. . . . 11 1.2.4
Z ∞
0
sinx
x dx . . . . 13 1.3 級数の和の計算 . . . . 15 1.3.1 準備 . . . . 15 1.3.2
X∞ n=−∞
f(n), X∞ n=−∞
(−1)nf(n). . . . 17 1.3.3
X∞ n=−∞
f(n)einθ . . . . 20 1.3.4 その他の例 . . . . 21
1
2 正則関数の表現 — 無限和と無限積 22
2.1 はじめに . . . . 22
2.2 (復習) 一様収束 . . . . 24
2.3 正則関数列の広義一様収束 . . . . 28
2.4 余接関数の部分分数展開 . . . . 31
2.4.1 余接関数の部分分数展開の別証明 . . . . 36
2.5 無限乗積 . . . . 36
2.6 Mittag-Leffler の定理 . . . . 42
3 無限遠点と Riemann 球面 (無限遠点を仲間に入れる) 44 3.1 無限遠点の導入 . . . . 45
3.1.1 はじめに . . . . 45
3.1.2 lim と ∞ . . . . 45
3.1.3 四則 . . . . 48
3.1.4 幾何学的イメージ — Riemann 球面 . . . . 49
3.1.5 Cb に位相を導入 . . . . 50
3.2 無限遠点での座標 . . . . 53
3.3 無限遠点での留数 . . . . 58
4 有理関数 61 4.1 有理関数の部分分数分解 . . . . 61
4.2 有理関数の留数 . . . . 65
4.3 有理型関数 . . . . 67
5 1次分数変換 69 5.1 定義 . . . . 70
5.2 性質 . . . . 71
5.3 平行移動、定数倍、反転 . . . . 72
5.4 Cb の円 . . . . 73
5.5 任意の相異なる3点を任意の相異なる3点に写す . . . . 74
5.6 追加(工事中) . . . . 75
6 等角写像 77 6.1 はじめに . . . . 77
6.2 単位円盤 D1 の等角写像, Schwarzの補題 . . . . 78
6.3 代表的な領域の等角写像 . . . . 81
6.3.1 最初にまとめ . . . . 81
6.3.2 理論的結果: Jordan領域の等角写像 . . . . 82
6.3.3 単位円盤 . . . . 82
6.3.4 上半平面 . . . . 84
6.3.5 ちょっと考えたことのメモ . . . . 85
6.3.6 Cassini の橙形 . . . . 87
6.3.7 準備: Joukovski変換 . . . . 87
6.3.8 問題から . . . . 88
6.4 等角写像の定義をめぐって . . . . 89
7 正則関数からなる正規族 90 7.1 準備: Ascoli-Arzelr`aの定理 . . . . 90
7.1.1 歴史覚書 . . . . 92
7.2 正規族 . . . . 92
7.3 Montelの定理 . . . . 93
7.4 Hurwitzの定理 . . . . 93
8 Riemannの写像定理 94 8.1 Riemannの写像定理の証明 . . . . 94
8.2 耳学問: 一意化定理 . . . . 96
9 解析接続 (analytic continuation) 97 9.1 一致の定理の復習と直接解析接続 . . . . 97
9.2 関数要素の曲線に沿う解析接続、Weierstarss の解析関数 . . . . 98
9.3 対数関数の解析接続 . . . . 99
9.4 その先 . . . . 101
10 Schwarz の鏡像の原理 (Schwarz reflection principle) 101 10.1 実軸を超えての拡張 . . . . 101
10.2 円弧を超えての拡張 . . . . 104
10.2.1 円に関する鏡像 . . . . 104
10.2.2 円に関する Schwarz の鏡像の原理. . . . 105
10.3 解析曲線を超えての拡張 . . . . 105
A 解答 106 B 近傍 109 C 自分用メモ: 近傍系, フィルター 111 D ホモロジー形のCauchyの積分定理 112 D.1 閉曲線の回転数とその性質 . . . . 112
D.2 ホモロジー形のCauchyの積分定理 . . . . 115
D.3 古典的な定理のホモロジー版代替物 . . . . 117
E 単連結領域の特徴付け 119 F misc 122 F.1 Wirtingerの微分係数 ∂/∂z, ∂/∂z¯ . . . . 122
3
G 偏角の原理、Rouch´e の定理 123
記号・用語
R 実数全体の集合
C 複素数全体の集合
コンパクト集合 Rn や Cの部分集合がコンパクトとは有界閉集合であること (一般には、任意の開被覆に対して有限部分被覆が存在すること) D(c;r) {z ∈C| |z−c|< r} (c中心, 半径r の開円盤)
D1 D(0; 1) のこと (頻出するので短い表記を用意)。
C[z] zの複素係数多項式(a0zn+a1zn−1 +· · ·+an−1z+anの形の式)の全体
5
0 「はじめに」
2年秋学期に講義している「複素関数・同演習」の内容は、理工系の学部で良くある関数論入 門 (留数定理の簡単な応用まで)と、その理論(原則すべてを証明する、ということ)であった。
複素関数論の領域は、この先、Riemann 球面, Riemann 面, 代数関数, 多変数関数論, 複素 領域の常微分方程式,特殊関数, 佐藤の超函数,…と広大に広がっている。
「応用複素関数」では、応用、特にコンピューターが有効に使えそうなトピックスをいくつ か選んで解説する(という建前である)。何らかの意味で「役に立つ」話がほとんどだが、その 応用自体に価値があるというだけでなく、理論の活かし方、大切さが分かるような講義をする ことを目標としている。
コンピューターが使える=アルゴリズムがある、ということで、講義の精神自体は、有名な Henrici のテキスト“Applied and Computational Complex Analysis” ([1], [2], [3]) のそれに近 いかもしれない。
内容はまだまだ流動的で、Oh-o! Meiji に載せてあるシラバス1 とは内容が変わる可能性が 高い。
この文書は、そのうちで、比較的通常の関数論のテキストに掲載されているトピックを選ん で説明してある。
Laplace方程式の境界値問題(ポテンシャル問題)、複素流体力学、数値積分の誤差評価に対
する高橋・森理論、佐藤の超関数については、別に文書を用意する。
こういうものも含めておきたい: 素朴な Riemann 面のある程度詳しい解説。多変数の冪 級数。
1 続 留数定理の応用
せちがらいことを言うと、複素関数論は理工系の大学院入試でも良く出題され2、ここで述 べることも役に立ったりするかもしれない。でもそういうことはとりあえず脇に置いて、結果 そのものよりも、どのようにしてそれが導かれるかを見て、留数定理の強力さを鑑賞してもら いたい。
1.1 留数定理と留数の計算 ( 復習 )
(「複素関数」講義ノート [4]の第11節からの抜き書きである。)
「複素関数」では次の形の留数定理を与えた。
1http://nalab.mind.meiji.ac.jp/~mk/complex2/complex-2019-syllabus.pdf
2ただし、明治大学先端数理科学研究科の現象数理学専攻の試験は該当しない(念のため)。
命題 1.1 (留数定理) D は C 内の有界領域で、その境界 ∂D は区分的 C1 級正則単純閉 曲線とする(向きはいわゆる正の向きとする)。また c1, c2, · · ·, cN は D 内の相異なる点 であり、Ω は D ⊂ Ωを満たす C の開集合、f: Ω\ {c1, c2,· · ·, cN} →C は正則とする。
このとき、
Z
∂D
f(z)dz = 2πi XN
j=1
Res (f;cj).
留数の計算について、良く使うことを復習しておこう。
命題 1.2 (1位の極の留数) cが f の高々 1位の極ならば、
(1) Res(f;c) = lim
z→c(z−c)f(z).
命題 1.3 (有理関数の分母の1位の零点における留数) f(z) = Q(z)
P(z), P(z) と Q(z) は c の近傍で正則、cは P(z) の1位の零点ならば(P(c) = 0 かつP′(c)6= 0 と言っても良い)、 cは f の高々 1 位の極で
(2) Res(f;c) = Q(c)
P′(c).
命題 1.4 (極の留数) cが f の高々k 位の極ならば、
Res(f;c) = lim
z̸=c z→c
1 (k−1)!
d dz
k−1
(z−c)kf(z) .
次の命題は、「複素関数」では演習問題扱いだったが、後の例でしばしば φ(z) = logz ある いは φ(z) =sj(z) (sj の定義は後述)として利用することになる。
命題 1.5 (1位の極を持つ関数と正則関数の積の留数) c は f の1位の極であり、φ は c の近傍で正則とする。このとき
Res (f φ;c) = φ(c) Res (f;c).
証明 (念のため略証だけでも) Res (f φ;c) = lim
z→c((z−c)f(z)φ(z)) = lim
z→c((z−c)f(z)) lim
z→cφ(z) = Res(f;c)φ(c).
1.2 定積分の計算
定積分計算に留数定理が使える場合があることは知っているであろう。どこまでやっても キリのない話題であるが、重要なもので「複素関数」で説明出来なかったものを二、三紹介し
7
ておく。
1.2.1 「複素関数」で学んだもの
これまで有理関数f に対して、
Z ∞
−∞
f(x)dx, Z ∞
−∞
f(x)eiax dxの値を留数を利用して計算す る例を学んだ。
以下の2つの定理は留数定理を用いて証明される(「複素関数」講義ノート[4]の第12節を 見よ)。
命題 1.6 P(z), Q(z) ∈ C[z], degP(z) ≥ degQ(z) + 2, (∀x ∈ R) P(x) 6= 0, f(z) = Q(z) P(z) とするとき、 Z ∞
−∞
f(x)dx= 2πi X
Imc>0
Res (f;c).
命題 1.7 P(z), Q(z) ∈C[z], degP(z) ≥ degQ(z) + 1, (∀x ∈R) P(x)6= 0, f(z) = Q(z) P(z), a >0 とするとき、
Z ∞
−∞
f(x)eiax dx= 2πi X
Imc>0
Res f(z)eiaz;c .
1.2.2
Z ∞
0
f(x)dx
ここでは、有理関数 f の半無限区間[0,∞)上の積分 Z ∞
0
f(x)dx の値を計算する方法を紹 介する。
(「複素関数」ではf が偶関数の場合に、
Z ∞
0
f(x)dx = 1 2
Z ∞
−∞
f(x) dx として、(−∞,∞) の場合に帰着したが、以下述べるのは、f が偶関数とは限らない場合の話である。)
命題 1.8 f(x) = Q(x)
P(x), ここでP(z), Q(z)∈C[z], degP(z)≥degQ(z) + 2, (∀x∈[0,∞)) P(x)6= 0 が成り立つとする。このとき
(3)
Z ∞
0
f(x)dx=− X
c∈C\[0,∞)
Res (f(z) logz;c). ただしlog の値は、虚部が(0,2π) の範囲にあるように定める。
この命題の証明に入る前に、複素関数としての log について復習しよう。
複素対数関数log
z =reiθ (r >0, θ∈R) とするとき、ew =z を満たす w は、
w= logr+i(θ+ 2nπ) (n ∈Z).
(ここで logr は実関数としての対数関数を表すとする。以下のlogx もそうである。) こ れをlogz と表す。無限にたくさんの値があることに注意が必要である。使うときは、考 える範囲を限定して、関数が連続 (結果的に正則になる) となるように値を1つうまく選 択することが多い。
z ∈C\[0,∞)であれば、θ∈(0,2π) と取り、
logz = logr+iθ と定めると良い。
x >0 とするとき、
limz→x Imz>0
logz = logx, lim
z→x Imz<0
logz = logx+ 2πi.
(「複素関数」では虚数部分が螺旋階段の高さ、という話をした。z ∈C\(−∞,0] の場合 に、θ ∈(−π, π), logz = logr+iθ とするのが、対数関数の主値 Log であった。)
余談 1.9 (対数関数の主値の利用) この文書では、複素対数関数は、主値Logか、偏角を[0,2π) の範囲に選んだ分枝、どちらか便利な方を使うことが多い。ところでコンピューターのプログ ラミング言語には、主値しか用意されていない場合が多い。そこで、公式をなるべく主値を用 いて書く、というやり方がある。実は
Z ∞
0
f(x)dx = 1 2πi
Z
C
f(z) Log(−z)dz =− X
cはf の極
Res(f(z) Log(−z);c).
が成り立つ(森・杉原 [5] pp. 160–163 など)。本質的には同じことで、もちろん同様に証明で きる。
証明 方針は、0< ε < R, 0< δ < πとなるε, R, δ に対して、f(z) logz を図 (準備中) の閉 曲線 C1+C2+C3+C4 に沿って積分し、留数定理を用いて、δ→0 として、それからε→0,
R → ∞とする。
図の代わりに
図を描くのがおっくうなので、とりあえず式を書いておきます。
C1: z =teiδ (ε≤t≤R), C2: z =Reiθ (δ≤θ ≤2π−δ),
−C3: z =tei(2π−δ) (ε≤t≤R),
−C4: z =εeiθ (δ≤θ ≤2π−δ).
9
ε, δが十分小さく、R が十分大きければ、f(z) logz の (C\[0,∞)における)特異点 (極)は、
すべて閉曲線 C1+C2+C3+C4 の囲む領域に含まれる。留数定理から Z
C1+C2+C3+C4
f(x) logz dz = 2πi X
c∈C\[0,∞)
Res (f(z) logz;c).
δ→0 とすると、δ≤θ ≤2π−δ であったのが、0≤θ≤2π となること等から3、 Z
C1
f(z) logz dz → Z R
ε
f(x) logx dx, Z
C3
f(z) logz dz → − Z R
ε
f(x) (logx+ 2πi)dx, Z
C2
f(z) logz dz → Z 2π
0
f Reiθ
(logR+iθ)·iReiθdθ, Z
C4
f(z) logz dz → − Z 2π
0
f εeiθ
(logε+iθ)·iεeiθdθ.
最初の2つから、δ→0 とするとき Z
C1
f(z) logz dz+ Z
C3
f(z) logz dz → −2πi Z R
ε
f(x)dx.
実数 M が存在して、十分大きい任意の R に対して、f(Reiθ)≤ M
R2 であるから、R→ ∞と するとき、
Z 2π
0
f Reiθ
(logR+iθ)·iReiθdθ ≤ M
R2 (|logR|+|2πi|)R Z 2π
0
dθ = 2πMlogR+ 2π
R →0.
実数 M′ が存在して、十分小さい任意のε に対して、f(εeiθ)≤M′ であるから、ε→0とす るとき、
− Z 2π
0
f εeiθ
(logε+iθ)·iεeiθdθ
≤M′(|logε|+|2πi|)ε Z 2π
0
dθ = 2πM′(|logε|+ 2π)ε→0.
まとめると、ε→0, R→ ∞ とするとき、
−2πi Z ∞
0
f(x)dx= 2πi X
c∈C\[0,∞)
Res (f(z) logz;c).
−2πiで割り算して、結果を得る。
以上、logz が C\ {0} での連続関数にはならないことをうまく利用した、とも言える計算 である。
3ここは説明を少し簡略化してある。桂田[4]には、やや整理不十分ではあるが、省略せずに書いてある。
例 1.10 I = Z ∞
0
dx
x2+ 1. (そもそも原始関数が分かるので容易に計算できるし、留数定理を
使うにしても偶関数であるから命題 1.6 を使うことが出来るが、ここでは命題 1.8 を使って みる。)
I =− X
c∈C\[0,∞)
Res
logz z2 + 1;c
=− X
c=i,−i
Res
logz z2+ 1;c
. i, −i は1位の極であるから、
Res
logz z2+ 1;i
= lim
z→i(z−i) logz
z2 + 1 = logz z+i
z=i
= πi/2 2i = π
4, Res
logz z2+ 1;−i
= lim
z→−i(z+i) logz
z2+ 1 = logz z−i
z=−i
= 3πi/2
−2i =−3π 4 . ゆえに
I =− π
4 − 3π 4
= π 2. 例 1.11
I = Z ∞
0
dx x3+ 1. z3+ 1 = 0 の根は z =eπi/3, eπi, e5πi/3 であるから、
I =− X
c∈C\[0,∞)
Res
logz z3+ 1;c
=− X
c=eπi/3,eπi,e5πi/3
Res
logz z3+ 1;c
.
c=eπi/3, eπi, e5πi/3 のとき、c3 =−1であるから、
Res
logz z3+ 1;c
= logz (z3+ 1)′
z=c
= logz 3z2
z=c
=− zlogz 3
z=c
. ゆえに
I = 1
3(zlogz|z=eπi/3 + zlogz|z=eπi +zlogz|z=e5πi/3)
= 1 3
1 +√ 3i 2 · π
3i+ (−1)·πi+1−√ 3i 2 · 5
3πi
!
= 2√ 3π 9 .
1.2.3
Z ∞
0
xαf(x)dx
上の例と同じ積分路を用いた議論で、次の結果が得られる(上の例よりもこちらの方が有名 かもしれないが、この講義の都合で、上の例の説明を優先し、こちらは省略することになると 思う。)。
11
命題 1.12 (Mellin 変換) 0 < α < 1, f(x) = Q(x)
P(x), P(z), Q(z) ∈ C[z], degP(z) ≥ degQ(z) + 2, (∀x > 0) P(x) 6= 0, 0 は f の高々1位の極 (1位の極または正則点) とする
とき、 Z ∞
0
xαf(x)dx = 2πi 1−e2παi
X
c̸=0
Res (zαf(z);c).
ただしzα =eαlogz, logz の値は、虚部が (0,2π) の範囲にあるように定める。
証明 logz を上の例と同じように定め、zα をzα =eαlogz で定める。x >0 とするとき、xα を実関数としての冪関数として、
limz→x Imz>0
zα =xα, lim
z→x Imz<0
zα =xαe2απi.
(以下少し雑。暇が出来たら直す。曲線の記号は、命題1.8 と同じものを使う。) Z
C1
zαf(z)dz → Z R
ε
xαf(x)dx, Z
C3
zαf(z)dz → −e2παi Z R
ε
xαf(x)dx, Z
C2
zαf(z)dz → Z 2π
0
eα(logR+iθ)f Reiθ
·iReiθdθ, Z
C4
zαf(z)dz → − Z 2π
0
eα(logε+iθ)f εeiθ
·iεeiθdθ.
以上をまとめると 1−e2παi Z R
ε
xαf(x)dx+iRα+1 Z 2π
0
eiαθf(Reiθ)eiθdθ+iεα+1 Z 2π
0
eiαθf(εeiθ)eiθdθ
= 2πi X
ε<|c|<R
Res (zαf(z);c).
実数 M が存在して、十分大きい任意の R に対して、f(Reiθ)≤ M
R2 であるから、R→ ∞と するとき、
Rα+1 Z 2π
0
eiαθf(Reiθ)eiθdθ
≤Rα+1· M R2
Z 2π 0
dθ = 2πM Rα−1 →0.
実数 M′ が存在して、曲線C4 上で|f| ≤ M′
ε であるから、ε→ ∞とするとき、
εα+1 Z 2π
0
eiαθf(εeiθ)eiθdθ
≤εα+1· M′ ε
Z 2π 0
dθ = 2πM′εα→0.
以上より
1−e2παi Z ∞
0
xαf(x)dx= 2πiX
c̸=0
Res (zαf(z);c). 割り算して証明が完了する。
例 1.13 0< α <1 とするとき、
Z ∞
−∞
xα
1 +x2 dx= 2πi 1−e2παi
Res
zα 1 +z2;i
+ Res
zα 1 +z2;−i
= 2πi
1−e2παi
eπαi/2
2i − e3παi/2 2i
= π eπαi/2−e3παi/2
1−e2παi = π 2 cosπα
2 .
この例については、Mathematica, Maple等でも問題なく計算できる(それぞれIntegrate[x^a/(1+x^2), {x,-Infinity,Infinity}], integrate(x^a/(1+x^2),x =-infinity..infinity) と入力す
る)。
例 1.14 0< α <1 とするとき、
Z ∞
0
xα−1
1 +x = π sinπα. (準備中)
1.2.4
Z ∞
0
sinx x dx とても有名な積分
I = Z ∞
0
sinx
x dx= π 2 を複素関数論を利用して確認してみる。
以下の証明はやや見通しが悪いので、証明に入る前に少し考えてみる。
この広義積分が収束することを確かめるのはそんなに難しくない。被積分関数は偶関数で あるから、I = 1
2 Z ∞
−∞
sinx
x dx と変形できるが、sinz/z は有理式ではない。特に z が虚数の とき、|sinz| は大きくなりうるので、これまでのような(命題1.6 の証明で行ったような)議論 は通用しない。そこで(命題 1.7 の例でも使った)等式
sinx
x = Imeix x を使うことを考える。例えば
I = 1 2
Z ∞
−∞
sinx
x dx= 1 2
Z ∞
−∞
Imeix
x dx= 1 2Im
Z ∞
−∞
eix
x dx (最後の等号は問題がある).
おっと、eiz
z は z = 0 を1位の極に持つので、最右辺の積分は通常の意味では収束しない。何 か工夫が必要である。
13
以下は蛇足 (講義では飛ばして、証明に移る): これを読んでいる人が、いわゆる主値積分 と、積分路上に1位の極がある場合に留数定理が拡張出来る(主値の 1
2 が現れる) ということ を知っていれ ば、
p.v.
Z ∞
−∞
eix
x dx= lim
ε→+0
Z −ε
−∞
eix x dx+
Z ∞
ε
eix x dx
と解釈すればうまく行く (12 ·2πiRes eiz
z ; 0
=πiと計算できる)。以下では、主値積分という 言葉が出さないが、本質的にはそれを計算していることになる。
証明 f(z) = eiz
z (z ∈C\ {0}) とおく。0< ε < R を満たす ε, R に対して CR: z =Reiθ (θ∈[0, π]),
Cε: z =εeiθ (θ∈[0, π])
とおき、図 (準備中) の閉曲線 Cε,R に沿って積分すると、Cauchy の積分定理から、
0 = Z
Cε,R
f(z)dz = Z R
ε
f(x)dx+ Z
CR
f(z)dz+ Z −ε
−R
f(x)dx− Z
Cε
f(z)dz.
ゆえに (4)
Z R ε
f(x)dx+ Z −ε
−R
f(x)dx= Z
Cε
f(z)dz− Z
CR
f(z)dz.
(4) の左辺は (第2項をx=−t と置換積分して) Z R
ε
eix x dx−
Z R ε
e−it
t dt= 2i Z R
ε
sinx x dx.
(4) の右辺第1項はε→+0のとき πiに収束する。実際 Z
Cε
f(z)dz−πi= Z
Cε
eiz z dz−
Z
Cε
1 z dz =
Z
Cε
eiz −1
z dz →0 (ε→+0) である(z 7→ eiz−1
z は、0を除去可能特異点に持つので正則であるから、0の近傍で(∃M ∈R)
|f(z)| ≤M. ゆえに Z
Cε
eiz−1 z dz
≤M Z
Cε
|dz|=M ·2πε→0 (ε→+0) が成り立つ)。
(4) の右辺第2項はR →+∞のとき0 に収束する。実際 Z
CR
f(z)dz =
Z π 0
ei(Reiθ)
Reiθ ·iReiθ ≤
Z π 0
e−Rsinθ dθ = 2 Z π/2
0
e−Rsinθ dθ.
Jordan の不等式 sinθ ≥ 2
πθ (θ∈[0, π/2]) より Z π/2
0
e−Rsinθ dθ ≤ Z π/2
0
e−R·2θπ dθ =− π 2R
e−2Rθ/ππ
0 = π(1−e−2R)
2R →0 (R→+∞).
以上をまとめると、ε→+0, R →+∞ のとき 2i
Z R ε
sinx
x dx→πi.
これから I = π
2 を得る。
注意 1.15 ((4) の右辺第1項の極限計算について) (細かい注意なので最初は無視して良い。) 普通は、
Z
Cε
f(z)dz = Z π
0
ei(εeiθ)
εeiθ ·iεeiθ dθ=i Z π
0
eiεeiθ dθ→i Z π
0
ei·0 dθ =i Z π
0
dθ=πi
のようにすると思われるが、最後の → の正当化が少し難しいかもしれない。Lebesgue 積分 のの有界収束定理を知っていれば簡単であるが…
1.3 級数の和の計算
(ここは説明がまだ粗い。要工事。)
この項の内容は(有名であり、色々な本に載っているが)、ほぼすべて一松 [6]から採った。
色々な定積分が留数を用いて計算出来るのとほぼ同様に、級数の和を留数を用いて計算出来 る場合がある。
an が n の “簡単な” 式 (具体的には、f を正則関数として、an =f(n)) の場合に X∞
n=−∞
an または
X∞ n=−∞
(−1)nan を計算しよう。
1.3.1 準備
s1(z) := π
sinπz (πcosecπz とも書かれる), (5)
s2(z) := πcosπz
sinπz (πcotπz とも書かれる) (6)
とおく。分母、分子はいずれも整関数 (つまりC 全体で正則)である。分母 p(z) = sinπz の 零点は n = 0,±1,±2,· · · であり4、その位数は 1 である (実際、任意の n ∈ Z に対して、
4sinz= 0 ⇔ eiz−e−iz
2i = 0⇔ e2iz= 1 ⇔2iz= log 1 + (0 + 2nπ)i(n∈Z)⇔z =nπ (n∈Z)であるか ら、sinπz= 0⇔z=n(n∈Z).
15
p′(n) =πcosnπ = (−1)nπ 6= 0 であるから)。ゆえに、これらは s1(z), s2(z) の高々 1 位の極 であり(分子 6= 0 であるから、実は 1 位の極である)、留数は
Res(s1;n) = π (sinπz)′
z=n
= π
πcosnπ = (−1)n, Res(s2;n) = πcosπz
(sinπz)′
z=n
= πcosπz πcosπz
z=n
= 1 (n ∈Z).
s1,s2 を指数関数を用いて表すと s1(z) = 2πi
eiπz−e−iπz, s2(z) =π2i(eiπz+e−iπz)
2 (eiπz −e−iπz) =iπ1 +e−2πiz 1−e−2πiz.
これから、x= Rez, y= Imz とするとき、次の評価が得られる (すぐ後の積分の評価で必要 になる)。
|y|=N + 1/2 ⇒ |s1(z)| ≤2πe−πN, |s2(z)| ≤2π, (7)
|x|=N + 1/2 ⇒ |s1(z)| ≤ π
coshπy ≤π, |s2(z)| ≤π|tanhπy| ≤π.
(8)
問 1. (7), (8)を示せ。(回答は p.106)
余談 1.16 (7), (8) は、一松 [6] から採ったが、実は次が成り立ちそうだ。
|y|=N + 1/2 ⇒ |s1(z)| ≤ π
2e−πN, |s2(z)| ≤2π,
|x|=N + 1/2 ⇒ |s1(z)|= π
coshπy ≤π, |s2(z)|=π|tanh(πy)| ≤π.
(7), (8) が間違っているわけではない。
特に、任意の自然数 N に対して、R :=N + 1/2として、±R±iR を4頂点とする正方形 の周を正の向きに一周する曲線をΓN とすると (図を描かないと…)
(9) z ∈ΓN ⇒ |s1(z)| ≤2π, |s2(z)| ≤2π が成り立つことをすぐ後で用いる。
1.3.2
X∞ n=−∞
f(n), X∞ n=−∞
(−1)nf(n)
命題 1.17 P(z), Q(z)∈ C[z], degP(z)≥degQ(z) + 2, (∀n ∈ Z)P(n) 6= 0,f(z) = Q(z) P(z) とするとき、
X∞ n=−∞
f(n) = − X
cはfの極
Res(f(z)s2(z);c), X∞
n=−∞
(−1)nf(n) =− X
cはfの極
Res(f(z)s1(z);c).
ただしs1(z) = π
sinπz, s2(z) = πcosπz sinπz .
証明 任意の自然数 N に対して、ΓN を前項の閉曲線とする。f の極 c が ΓN 上になけれ ば、留数定理より、j = 1,2 について
Z
ΓN
f(z)sj(z)dz = 2πi XN k=−N
Res (f(z)sj(z);k) + 2πi X
cはf の極のうち cはΓNの内部
Res (f(z)sj(z);c).
f の極は有限個しかないので、N が十分大きいならば、ΓN が囲む範囲に含まれる。そのとき (10)
Z
ΓN
f(z)sj(z)dz = 2πi XN k=−N
Res (f(z)sj(z);k) + 2πi X
cはf の極
Res (f(z)sj(z);c). N → ∞ のとき、左辺の積分は0 に収束する。実際、ある定数 C が存在して、十分大きい 任意の N に対して、|f(z)| ≤ C
N2 (z ∈ΓN∗) となるので、
Z
ΓN
f(z)sj(z)dz
≤ max
z∈ΓN∗|f(z)sj(z)| ·(ΓN の長さ)≤ C
N2 ·2π·4(2N + 1)→0.
一方、命題 1.5 を用いると
Res (f(z)s1(z);k) = f(k) Res (s1;k) =f(k)·(−1)k= (−1)kf(k), Res (f(z)s2(z);k) = f(k) Res (s2;k) =f(k)·1 = f(k)
が分かるので、
XN k=−N
f(k) = − X
cはfの極
Res (f(z)s2(z);c) + 1 2πi
Z
ΓN
f(z)s2(z)dz, XN
k=−N
(−1)kf(k) = − X
cはfの極
Res (f(z)s1(z);c) + 1 2πi
Z
ΓN
f(z)s1(z)dz.
17
N → ∞ とすると
X∞ n=−∞
f(n) = − X
cはfの極
Res(f(z)s2(z);c), X∞
n=−∞
(−1)nf(n) = − X
cはfの極
Res(f(z)s1(z);c).
例 1.18 a >0とするとき
S = X∞ n=1
1 n2+a2 を求めよ。
(解) f(z) := 1
z2 +a2 は、命題 1.17 の条件を満たす。また f は偶関数であるから、
X∞ n=−∞
f(n) = X∞ n=1
f(−n) +f(0) + X∞ n=1
f(n) =S+ 1
a2 +S = 2S+ 1 a2. f の極は±ia で、分母の1位の零点であるから、命題1.3 によって
Res(f;ia) = 1 2z
z=ia
= 1
2ia =− i
2a, Res(f;−ia) = 1 2z
z=−ia
= 1
−2ia = i 2a. 命題 1.17 より
X∞ n=−∞
f(n) =−(Res (f s2;ia) + Res (f s2;−ia))
=−(Res (f;ia)s2(ia) + Res (f;−ia)s2(−ia)) (命題1.5 を用いた)
=−
− i
2a ·πcot(iπa) + i
2a ·πcot(−iπa)
= πi
a cot (iπa) = πi
a ·(−i) coth (πa) = π
a cothπa.
ゆえに
S = 1 2
π
a cothπa− 1 a2
. 問 2.
(1) cosh (iz), sinh (iz), tanh (iz), coth (iz) を三角関数で表せ。
(答は順に cosz,isinz, itanz, −icotz)
(2) cos (iz), sin (iz), tan (iz), cot (iz) を双曲線関数で表せ。
(答は順に coshz, isinhz, itanhz, −icothz)
命題1.17 では、(∀n ∈Z) P(n) 6= 0という仮定をおいたが、それが満たされない場合も証 明中の (10) を
Z
ΓN
f(z)sj(z)dz = 2πi X
−N≤k≤N P(k)̸=0
Res (f(z)sj(z);k) + 2πi X
cはfの極のうち ΓNの内部
Res (f(z)sj(z);c)
と修正すれば
X
n∈Z P(n)̸=0
f(n) = − X
cはf の極
Res (f(z)s1(z);c), (11)
X
n∈Z P(n)̸=0
(−1)nf(n) = − X
cはf の極
Res (f(z)s2(z);c) (12)
が得られるので、P(n) = 0 となる有限個の n について別処理すれば良い。
例 1.19 (Basel問題) Euler が発見したことで有名な X∞
n=1
1 n2 = π2
6 を導こう。(11) を用いて
X∞ n=1
1 n2 = 1
2 X
n∈Z,n̸=0
1
n2 =−1 2Res
πcotπz z2 ; 0
.
cotz は円環領域 0<|z| < π で正則であるから、そこで Laurent 展開できるが、すぐ後で確 かめるように、その最初の3項は
(13) cotz = 1
z − z 3− 1
45z3+· · · (0<|z|< π).
ゆえに
πcotπz z2 = 1
z3 − π2
3z −π4z
45 +· · · (0<|z|<1).
これから特に
Res
πcotπz z2 ; 0
= −π2 3 .
ゆえに X∞
n=1
1
n2 =−1 2 ·
−π2 3
= π2 6 . (17) の証明: 0<|z|< π のとき、
cotz = cosz sinz =
X∞ k=0
(−1)k (2k)!z2k X∞
k=0
(−1)k
(2k+ 1)!z2k+1
= 1 z ·
X∞ k=0
(−1)k (2k)!wk X∞
k=0
(−1)k (2k+ 1)!wk
, w:=z2
19
であるが、右辺の第2因子は、変数 w の関数として、0 の近傍 D(0;π2) で正則であるから、
冪級数展開出来る。すなわち、ある {ck}k≥0 が存在して X∞
k=0
(−1)k (2k)!wk X∞
k=0
(−1)k (2k+ 1)!wk
= X∞ k=0
ckwk (|w|< π2).
分母を払って X∞ k=0
(−1)k (2k)!wk =
X∞ k=0
(−1)k (2k+ 1)!wk
! ∞ X
k=0
ckwk
!
(|w|< π2).
冪級数の掛け算をすると、
1−w 2 + w2
24 −w3
6! +· · ·=c0+
c1− c0 6
w+
c2− c1 6 + c0
120
w2 +· · · . 係数を比較して
c0 = 1, c1− c0
6 =−1
2, c2− c1 6 + c0
120 = 1
24, · · · . これから
c0 = 1, c1 =−1
3, c2 =− 1
45, · · · ゆえに
cotz = 1 z ·
1− w
3 −w2 45 +· · ·
= 1 z − z
3 − z3
45 +· · · . 例 1.20
X∞ n=1
(−1)n−1
n2 =−1 2
X
n∈Z,n̸=0
(−1)n n2 = 1
2Res
π z2sinπz; 0
= π2 12. 実際
π
z2sinπz = 1 z3 + π2
6z + 7π4z 360 +· · · であるから
X∞ n=1
(−1)n−1 n2 = 1
2 ·π2 6 = π2
12.
1.3.3
X∞ n=−∞
f(n)einθ
Fourier変換の積分の計算に留数が利用できたように、Fourier級数
X∞ n=−∞
cneinθ の和の計算 に利用できることもある。
命題 1.21 (複素Fourier級数の和) P(z), Q(z)∈C[z], degP(z)≥degQ(z)+2, (∀n∈Z) P(n)6= 0, f(z) = Q(z)
P(z) とするとき、
(14)
X∞ n=−∞
f(n)einθ =− X
cはfの極
Res(f(z)s3(z)eizθ;c) (θ ∈[0,2π)).
ただしs3(z) := s2(z)−iπ= 2πi e2πiz−1.
証明の前に、s2 でなく、それを修正した s3 を用いる理由を説明する。
Z
ΓN
f(z)s2(z)eizθ dz が収束するか考えてみよう。θ∈[0,2π)⊂R であるから、Re (i(x+iy)θ) =−yθ であり
eizθ=ei(x+iy)θ=e−yθ.
これは、y >0のとき 1で抑えられるが、y→ −∞ のときは(θ 6= 0 であれば) +∞ に発散す る。そのとき、x につき一様に |s2(x+iy)| →iπ となるので、積分は収束しなくなる。そこ で代わりに s2 からiπ を除いた s3 を用いる。
証明
s3(z) =s2(z)−iπ=iπ
1 +e−2πiz 1−e−2πiz −1
= 2πie−2πiz
1−e−2πiz = 2πi e2πiz−1. s3 は、s2 と同様に、極は n (n ∈Z) で、その位数は 1, Res (s3;n) = 1 であるから、
Z
ΓN
f(z)s3(z)e<
