Professional Documents
Culture Documents
特殊関数とその応用について
兵庫教育大学大学院 学校教育研究科
教 科・領 域 教 育 専 攻 自 然 系コ ー ス
M 9 8 5 5 4 G 國 政 弘 行
はじめに
2階線形偏微分方程式を変数分離法を用いて,2階常微分方程式に置き換え,その
常微分方程式の解の中で初等関数で表せない解が特殊関数と呼ばれる.本論文では,特
殊関数を解にもつベッセル (Bessel) の微分方程式とルジャンドル (Legendre) の微分方
程式をあつかい,それぞれの微分方程式の解をベッセル関数,ルジャンド ル関数と呼
んでそれらの解の性質を調べた.これらの特殊関数は,物理学・工学の理論的研究に
欠くことのできない道具であり,自然科学への理論的応用について考察を深めた.
第1章ではベッセル関数について述べた. ベッセル関数は,惑星の運動を解析的に表
現しようとするベッセルの研究にはじめて現れた関数である. ここでは,主に級数解と
解の積分表示について調べ,関数の漸化式,直交性,漸近展開等について述べた.特
にベッセルの漸近展開については,ハンケル (Hankel) 関数の性質を用いて示した.
第2章ではルジャンドル関数について述べた. ラプラス (Laplace) の方程式 ∆V = 0
の解で,直交座標 (x, y, z) において n 次の同次多項式で与えられるものを体球関数と
呼び,これを極座標 (r, θ, ϕ) で表すと rn fn (θ, ϕ) となる. この fn (θ, ϕ) を n 次の球面関
数と言い,fn (θ, ϕ) の満たす微分方程式の変数を分離し,z = cos θ とおくと,z に関し
てルジャンドル陪関数の微分方程式を得る.特に,θ と ϕ の分離定数を 0 とし,n を複
素数 ν におきかえた微分方程式をルジャンド ルの微分方程式という. 一般にこの微分
方程式の解を,ルジャンド ル関数と呼び,ここでは一次独立な二つの解 Pν (z), Qν (z)
の性質について述べた.
第3章ではフ−リェ(Fourier) 級数展開,ルジャンドル多項式による展開,フ−リェ・
ベッセル (Fourier・Bessel) 級数展開の完全性について関数解析の立場から述べた.
第4章ではポテンシャルについて述べた. ポテンシャル関数 V は,物質の密度分布
ρ(x, y, z) が与えられたとき,線形非同次の二階偏微分方程式 ∆V = 4πGρ( G : 重力
定数)に支配される. これをポアッソン (Poisson) の方程式と呼ぶ. 質量のない空間で
は,密度 ρ = 0 であるからポテンシャル関数 V は,同次線形方程式のラプラスの方程
式 ∆V = 0 を満足する. これらの偏微分方程式を球座標や円柱座標に変換し ,変数分
離法を用いて解くうえでルジャンドル陪関数の微分方程式があらわれてくるのである.
第5章では熱伝導について述べた.時刻 t,点 (x, y, z) での温度を T (x, y, z, t) とす
∂T
ると,T は方程式 = κ∆T ( κ:温度伝導度係数)に支配される. これは熱伝導方程
∂t
式と呼ばる. 定常状態では ∂T /∂t = 0 より,ラプラスの方程式 ∆T = 0 に支配される.
ポテンシャルと同様で変数変換し変数分離法を用いて解くうえでベッセルの微分方程
式があらわれてくる. 特に球内部の熱伝導においては,ベッセルとルジャンドル陪関数
の微分方程式があらわれてくる.
付録Aでは主にベ−タ関数とガンマ関数の基本的な性質をまとめて補った.
最後に,本論文作成にあたり,渡辺金治教授に読みづらい原稿を読んで頂き貴重な
教示を頂いたことに深く感謝の意をあらわしここに記する.
i
目次
第1章 ベッセル関数 1
1.1 ベッセルの微分方程式と解 . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 べッセル関数の積分表示 . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3 ハンケルの公式 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.4 ベッセル関数の漸化式 . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.5 2階常微分方程式の性質 . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.6 ベッセル関数の零点 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.7 ベッセル関数の直交性 . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.8 ハンケル関数と変形ベッセル関数 . . . . . . . . . . . . . . . . . . . . . 17
1.9 ベッセル関数のロンスキアン . . . . . . . . . . . . . . . . . . . . . . . 19
1.10 8字形積分路での複素積分表示 . . . . . . . . . . . . . . . . . . . . . . 21
1.11 U字形積分路での複素積分表示 . . . . . . . . . . . . . . . . . . . . . . 25
1.12 ハンケル関数の複素積分表示 . . . . . . . . . . . . . . . . . . . . . . . 27
1.13 鞍点法 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
1.14 ベッセル関数の漸近展開 . . . . . . . . . . . . . . . . . . . . . . . . . . 31
第3章 完全直交系について 70
3.1 Lp (Ω) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
3.2 ヒルベルト空間 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
3.3 射影定理・正規直交系 . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
3.4 完全性 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
ii
3.5 シュミットの直交化 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
3.6 フ−リェ・ベッセル展開 . . . . . . . . . . . . . . . . . . . . . . . . . . 85
第4章 ポテンシャル論 90
4.1 ポテンシャルの概念 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
4.2 ラプラスとポアッソンの方程式 . . . . . . . . . . . . . . . . . . . . . . 90
4.3 球座標によるラプラス方程式の一般解 . . . . . . . . . . . . . . . . . . 93
4.4 球面調和関数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
4.5 球座標による円環のポテンシャル . . . . . . . . . . . . . . . . . . . . . 98
4.6 球座標による薄い円板のポテンシャル . . . . . . . . . . . . . . . . . . 100
4.7 両曲面のポテンシャルの関係 . . . . . . . . . . . . . . . . . . . . . . . 100
4.8 薄い球殻のポテンシャル . . . . . . . . . . . . . . . . . . . . . . . . . . 101
4.9 ルジャンド ル多項式の加法定理 . . . . . . . . . . . . . . . . . . . . . . 103
4.10 円柱座標による薄い円板のポテンシャル . . . . . . . . . . . . . . . . . 106
付 録A 129
A.1 対数関数とベキ関数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
A.2 ガンマ関数とベ−タ関数の関係 . . . . . . . . . . . . . . . . . . . . . . 130
A.3 ガンマ関数の無限乗積表現 . . . . . . . . . . . . . . . . . . . . . . . . . 134
A.4 ガンマ関数の乗法公式 . . . . . . . . . . . . . . . . . . . . . . . . . . . 137
A.5 ガンマ関数のハンケル表示 . . . . . . . . . . . . . . . . . . . . . . . . . 139
iii
第 1 章 ベッセル関数
ここではベッセルの微分方程式とその解の性質についてまとめた.ベッセルの微分方
程式の解をベッセル関数と呼ぶが,ベッセル関数の級数表示,積分表示について詳し
く述べた.また,ベッセル関数の漸近展開についてもふれた.尚,対数関数とベキ関
数の定義については付録 A で述べた.
1.1 ベッセルの微分方程式と解
複素数 z を変数とする微分方程式
d2 f 1 df ¡ ν2 ¢
+ + 1 − f =0 ν : 複素定数 (1.1)
dz 2 z dz z2
を ベッセル (Bessel) の微分方程式 という.また, その解を一般にベッセル関数という.
z = 0 のまわりの級数解を得るために
∞
X
f (z) = z α am z m a0 6= 0
m=0
1
となり, 求める級数解は
³ z ´ν X
∞
(−1)m ³ z ´2m
f (z) = Jν (z) ≡ (1.2)
2 m=0
m! Γ(ν + m + 1) 2
となる.これを ν 次の第一種ベッセル関数 とよぶ.z のべき級数 (z/2)−ν Jν (z) を考え
て,級数の収束半径をダランベ−ル (D’Alembert) の判定法から求めると無限大となる.
指数決定式のもう一つの根 α = −ν に対する解は Jν (z) で ν のかわりに −ν とおいた
ものに等しく, それを J−ν (z) と表す.ν が正整数でないとき Jν (z) と J−ν (z) は1次独立
で , ベッセル微分方程式の基本解である.
例として,ν = ±1/2 のときにはベッセル関数は初等関数をもちいて表すことがで
きる.
X∞
(−1)m ³ z ´1/2+2m
J1/2 (z) =
m=0
m! Γ(m + 1/2 + 1) 2
r ³ ´ r
2z z2 z4 2z sin z
= 1− + − ··· = (1.3)
π 3! 5! π z
r r
2 ³ z2 z4 ´ 2 cos z
J−1/2 (z) = 1− + − ··· = (1.4)
πz 2! 4! πz z
と表される.
J−1/2 (x)
1
J1/2 (x)
3π
0 π 2π 4π
−1
図 1.1:
であるから
³ z ´−n X∞
(−1)m ³ z ´2m
J−n (z) = lim Jν (z) =
ν→−n 2 m=n
m! Γ(m − n + 1) 2
2
³ z ´n X
∞
(−1)n (−1)k ³ z ´2k
=
2 k=0
k! Γ(n + k + 1) 2
を得る.よって
J−n (z) = (−1)n Jn (z) n : 整数
となり一次独立ではない.
ν が整数でないときベッセルの微分方程式の二つの独立な解は Jν (z) と J−ν (z) であっ
てこれらを基本解としてとることができるが , ν が整数のとき Jn (z) と J−n (z) は互
いに一次独立ではないので , Jn (z) のほかに独立な解を求めなくてはならない.その
ために
Jν (z) cos νπ − J−ν (z)
Yν (z) = (ν 6= 整数) (1.5)
sin νπ
で定義される関数 Yν (z) はベッセル微分方程式の解であり,Jν (z) とは一次独立である.
この関数 Yν (z) を 第二種ベッセル関数 とよぶ.または ν 次の ノイマン (Neumann) 関
数とも呼ばれる.
ν が正の整数 n のとき (1.5) は不定形をなすから,ν → n の極限値によって定義する.
すなわち
Jν (z) cos νπ − J−ν (z)
Yn (z) = lim (1.6)
ν→n sin νπ
によって Yn (z) を定義すれば , ベッセル微分方程式の解であり, Yn (z) と Jn (z) は一次
独立である.この関数の級数による表現を定義式 (1.6) にしたがって求めてみる.それ
ぞれ ν について微分したのちに極限操作をすると
となる.第一項を計算すると
∞
∂Jν (z) ¡ z ¢ν z X (−1)m ¡ z ¢2m
= log
∂ν 2 2 m=0 m! Γ(ν + m + 1) 2
(−1)m h ∂ i¡ z ¢
∞
¡ z ¢ν X 1 2m
+
2 m=0 m! ∂ν Γ(ν + m + 1) 2
を用いて
£ ∂Jν (z) ¤ X∞
(−1)m n z o¡ z ¢
n+2m
ν=n
= log − ψ(n + m + 1)
∂ν m=0
m! Γ(n + m + 1) 2 2
3
となる.次に (1.7) の第二項について, ν < n であるとき
n−1
X ∞
(−1)m ¡ z ¢−ν+2m X (−1)m ¡ z ¢−ν+2m
J−ν (z) = +
m=0
m! Γ(−ν + m + 1) 2 m=n
m! Γ(−ν + m + 1) 2
を得る.これらの結果より,非負整数 n に対し
n−1
2 z 1 X (n − m − 1)! ¡ z ¢−n+2m
Yn (z) = Jn (z) log −
π 2 π m=0 m! 2
∞
1 X ψ(m + 1) + ψ(n + m + 1) ¡ z ¢n+2m
− (−1)m (1.8)
π m=0 m! (n + m)! 2
4
1
Y1/2 (x)
3π
0 π 2π 4π
Y−1/2 (x)
−1
図 1.2:
1.2 べッセル関数の積分表示
ν が非負整数 n のとき次の命題が成り立つ.
¶ ³
命題 1.1 第一種ベッセル関数 Jn (z) は
Z π
1
Jn (z) = eiz cos t ein(t−π/2) dt n : 非負整数 (1.10)
2π −π
証明:定積分 Z π
1
f (z) = eiz cos t ein(t−π/2) dt n : 非負整数 (1.11)
2π −π
を考える.指数関数の展開公式と二項展開を用いると
となるから
∞ m Z π
1 X ¡ 1 ¢m (iz)m X
f (z) = m Cr ein(t−π/2) eirt e−i(m−r)t dt
2π m=0 2 m! r=0 −π
となる.ここで (
Z π
0 n + 2r − m 6= 0
eit(n+r−m+r) dt =
−π 2π n + 2r − m = 0
5
となり,r に関する総和の中で r = (m − n)/2 の項のみが残り他の項はすべて 0 になる
ので
X∞
¡ 1 ¢m (iz)m −inπ/2
f (z) = e m C(m−n)/2
m=0
2 m!
となる.(m − n)/2 = p とおけば
(2p + n)!
m C(m−n)/2 = 2p+n Cp =
p! (p + n)!
より
X∞ ∞
¡ z ¢2p+n (i)2p (2p + n)! ¡ z ¢n X (−1)m ¡ z ¢2m
f (z) = =
p=0
2 (2p + n)! p! (p + n)! 2 m=0 m! (m + n)! 2
と表すことができる.
µ ´
6
となる.積分記号内の級数について
X∞
(−1)m 2m
z (1 − t)m−1/2 = (1 − t)−1/2 cos[z(1 − t)1/2 ]
m=0
(2m)!
となるから
³ z ´ν Z 1
1
Jν (z) = tν−1/2 (1 − t)−1/2 cos[z(1 − t)1/2 ] dt
Γ(ν + 1/2) Γ(1/2) 2 0
Re(ν + 1/2) > 0
を得る. ( 証明終わり)
より
³ z ´ν Z 1
1
Jν (z) = (1 − ξ 2 )ν−1/2 eizξ dξ, Re(ν + 1/2) > 0 (1.14)
Γ(ν + 1/2) Γ(1/2) 2 −1
を得る.
1.3 ハンケルの公式
ベッセルの積分表示の (1.11) を用いてハンケルの公式を導くことができる.ある与
えられた関数 f (x, y) は x, y の連続で有界変動な関数とし , すべての x, y に対して積分
Z ∞ Z ∞
¯ ¯ ¯ ¯
¯f (x, y)¯ dx, ¯f (x, y)¯ dy
−∞ −∞
7
である.( ラプラス変換とフ−リェ解析要論 (p83):田代嘉宏著:森北出版参照)した
がって ZZZZ ∞
1 0
iω(x−ξ)+iω (y−η) 0
f (x, y) = 2
f (ξ, η) e dω dω dξ dη
(2π) −∞
を得る.ここで座標変換
を得る.またこの関係は
Z ∞
g(r) = h(σ) Jn (σr) σ dσ
0
Z (1.16)
∞
h(σ) = g(ρ) Jn (σρ) ρ dρ
0
8
1.4 ベッセル関数の漸化式
¶ ³
命題 1.3 次の漸化式が成り立つ.
2ν
Jν−1 (z) + Jν+1 (z) = Jν (z) (1.17)
z
µ ´
証明:ベッセル関数の定義 (1.2) から
となるから
2ν
Jν−1 (z) + Jν+1 (z) = Jν (z)
z
を得る. ( 証明終わり)
¶ ³
命題 1.4 次の漸化式が成り立つ.
0
Jν−1 (z) − Jν+1 (z) = 2Jν (z) (1.18)
µ ´
9
を得る. ( 証明終わり)
を得る.
¶ ³
命題 1.5 次の漸化式が成り立つ.
2ν
Yν−1 (z) + Yν+1 (z) = Yν (z) (1.20)
z
µ ´
証明:第二種ベッセル関数の定義から
第一種ベッセル関数の場合と同様にすると漸化式
0
を得る.
1.5 2階常微分方程式の性質
2階の線形常微分方程式は
d2 u du
2
+ p(z) + q(z)u = 0 (1.22)
dz dz
10
と表すことができる.ここで
n 1Z o
u(z) = U (z) exp − p(z)dz
2
とおくと2階微分方程式の標準形
d2 U
+ G(z) U = 0 (1.23)
dz 2
1 dp 1 2
但し G(z) = q(z) − − p (z)
2 dz 4
を得る.(1.23) の U とは別の解を V とし (1.22) の V に対応する解を v とする.このと
き U, V の満たす微分方程式より
d2 U d2 V
V − U =0
dz 2 dz 2
を得る.両辺を積分すると
dU dV
V −U = c (定数) (1.24)
dz dz
となる.左辺を関数 U, V のロンスキ− (Wronsky) 行列式,または単にロンスキアン
とよぶ.もし U, V が互いに1次独立であればロンスキアンは 0 ではない.なぜな
ら,c = 0 とすると再び積分して
0 0
U (z) = c V (z) (c : 定数)
が成り立つ.もとの u, v にもどせば関係式は
Z Z
−2
v(z) = c u(z) u (z) exp[− p(z)dz] dz + k u(z)
となる.
11
次にスツルム (Sturm) の比較定理を証明する.
¶ ³
定理 1.1 (スツルム (Sturm) の比較定理) 実変数 x の実数値関数 u, v はそれぞれ
微分方程式
d2 u d2 v
+ h(x)u = 0, + g(x)v = 0 (1.25)
dx2 dx2
の解である.そして h(x), g(x) は x の連続関数であるとする.また,解 u(x) の隣
り合う零点を x = a, x = b とし a ≤ x ≤ b では g(x) ≥ h(x) とする.このとき [a, b]
には他の解 v(x) の零点が少なくとも一つ存在する.特に,[a, b] で g(x) 6≡ h(x)
で a, b の一方又は両方が v の零点ならば,開区間 (a, b) にも v の零点が存在する.
µ ´
証明: (1.25) より
d h du dv i £ ¤
v −u + uv h(x) − g(x) = 0
dx dx dx
u(a) = u(b) = 0 より
h du ix=b Z b £ ¤
v = g(x) − h(x) uvdx (1.26)
dx x=a a
ここで
0 0
u(x) > 0 a < x < b, u (a) > 0 > u (b)
と仮定しても一般性は失わない.いま g(x) ≥ h(x) (a ≤ x ≤ b) より v(x) は区間 [a, b]
で少なくとも1回符号を変えなければならない.なぜなら , 仮に v(x) > 0, a ≤ x ≤ b
とすると
0 0
左辺 = v(b)u (b) − v(a)u (a) < 0
となり矛盾する.特に g(x) 6≡ h(x) で,a, b の一方又は両方で v の値が 0 のとき,区間
(a, b) で v の値が決して 0 にならないとする.例えば,v(x) > 0 とすると,(1.26) の右
辺は正である.他方 v(a) = v(b) = 0 ならば左辺は 0,v(a) = 0 かつ v(b) > 0 ならば左
辺は負,v(b) = 0 かつ v(a) > 0 ならば左辺は負となりいずれにせよ矛盾である.よっ
て定理は証明された. ( 証明終わり)
d£ du ¤ d£ dv ¤
p(x) + h(x) u = 0, p(x) + g(x) v = 0
dx dx dx dx
とすると , 前と同様にして
d£ du dv ¤ £ ¤
p(x) v − p(x) u + h(x) − g(x) u v = 0
dx dx dx
h Z b
du ix=b £ ¤
p(x) v = g(x) − h(x) u v dx
dx x=a a
が成り立つ.したがって,p(x) が a ≤ x ≤ b で一定符号であればスツルムの結果が成
り立つ.実はベッセルの微分方程式もこの様な形をしている.微分方程式 (1.1) で z の
12
かわりに x とすると
d ³ df ´ ³ ν2 ´
x + x− f =0
dx dx x
となり, p(x) = x と考えれば (0, ∞) で定符号である.この方程式の解 Jν (x) は (0, ∞)
で無限個の零点をもつことを証明することができる. ( 次節参照)すると第二の解 Yν (x)
はスツルムの定理によって Jν (x) の隣り合う零点の間に Yν (x) の零点が存在し 唯一
つである.なぜなら,Yν (x) が二つもつとすると,それらの間に Jν (x) の零点が存在す
ることになり矛盾する.
1.6 ベッセル関数の零点
ここでは ν に実数値を与えたときの Jν (x) の零点の分布を考える.
¶ ³
命題 1.6 Jν (x) の根はすべて実数であり [0, ∞) で無限回 0 となる.
µ ´
Jν (αb) = 0
13
とすると,ベッセルの微分方程式は標準形にできて
d2 U
+ D(x) U = 0
dx2
となる. 次に, r
¡ 1 ¢
V (x) ≡ cos x
2
とすると,
d2 V 1
2
+ V =0
dx 2
1
となる.十分大きい x に対して D(x) > となり,V (x) が [0, ∞) で無限回 0 となるか
2
ら,スツルムの定理より U (x) は無限回 0 となり,同じことが Jν (x) についても言える.
同様の議論により Yν (x) が無限個の零点を実数軸にもつことが導ける.( 証明終わり)
証明:
ν = 0 のとき Y0 (z) の定義より,z = 0 の近傍で
2 ³ z ´
Y0 (z) = log + γ + O(z 2 )
π 2
0
となる.ゆえに,z = 0 での近傍では zY0 (z) = 2/π + o(z) となる.これらの結果を用
いて
Z b
2 2
(β − α ) x Y0 (αx) Y0 (βx) dx
0
h dY0 (αx) dY0 (βx) i 4 β
= x Y0 (βx) − x Y0 (αx) − 2 log (1.28)
dx dx x=b π α
を得る.さて,Y0 (z) が実数でない零点 βb をもち αb をその複素共役とすると,それも
また零点である.そこで
とおけば Z b¯ ¯2 4θ
¯ ¯
¯Y0 (αx)¯ x dx = −
0 A2 π 2 sin 2θ
となる.左辺は正であるが,右辺は 0 < θ < π/2 のとき負である.したがって Y0 (z) は
Re(z) > 0 では実数軸以外には零点をもたない. ( 証明終わり)
14
1.7 ベッセル関数の直交性
¶ ³
命題 1.8 αk (k = 0, 1, 2, . . . ) が超越方程式
の解であるとき
Z b
r Jn (αk r)Jn (αl r) dr = 0 αk 6= αl (1.30)
0
Z b
b2 £ 0 ¤2
r Jn2 (αk r) dr = Jn (αk b) (1.31)
0 2
が成り立つ.
µ ´
と表すことができる.ここで α, β が超越方程式
Jn (αb) = 0
の根 α0 , α1 , α2 , . . . のどれか二つであると
Z b
r Jn (αk r)Jn (αl r) dr = 0 αk 6= αl
0
が成り立つ.すなわち関数列
は直交関数列をつくる.次に
α = αk , β = αk + ε, |ε| ¿ 1
とすると , テイラ−展開より
0
Jn (βb) = Jn (bαk ) + Jn (bαk ) bε + · · · (但し · · · は ε の高次の項)
となるから,(1.32) に代入すると
h i2 Z b
2 0
b αk ε Jn (αk b) + · · · = 2αk ε r Jn (αk r)Jn (αk r + εr) dr
0
15
となる.ε → 0 の極限値をとると
Z b
b2 £ 0 ¤2
r Jn2 (αk r) dr = Jn (αk b) (1.33)
0 2
を得る. ( 証明終わり)
が成り立つ.
µ ´
を得る. ( 証明終わり)
16
1.8 ハンケル関数と変形ベッセル関数
ハンケル関数 Hν (1) (z), Hν (2) (z) を第一種, 第二種ベッセル関数を用いて
(
Hν (1) (z) = Jν (z) + iYν (z)
(1.36)
Hν (2) (z) = Jν (z) − iYν (z)
と定義する.これより
1 n (1) (2)
o
Jν (z) = Hν (z) + Hν (z)
2
1 n (1) (2)
o
Yν (z) = Hν (z) − Hν (z)
2i
を得る.また,ハンケル関数を第一種ベッセル関数のみを用いて表すことができる.
£ ¤
i Jν (z) cos νπ − J −ν (z)
Hν (1) (z) = Jν (z) +
sin νπ
J−ν (z) − e−iνπ Jν (z)
= (1.37)
i sin νπ
同様にして
eνπi Jν (z) − J−ν (z)
Hν (2) (z) = (1.38)
i sin νπ
を得る.また, Jν (z), Yν (z) の漸化式を定義式 (1.36) 代入すると
2ν
Hν−1 (1) (z) + Hν+1 (1) (z) = Hν (1) (z)
z
2ν (1.39)
Hν−1 (2) (z) + Hν+1 (2) (z) = Hν (2) (z)
z
0
Hν−1 (1) (z) − Hν+1 (1) (z) = 2Hν (1) (z)
H (2) (z) − H (2) (z) = 2H (2)0 (z)
ν−1 ν+1 ν
d2 f 1 df ³ ν2 ´
+ − 1 + f =0 (1.40)
dz 2 z dz z2
を 変形ベッセル微分方程式 と呼び,その解を変形ベッセル関数という.もとの微分方
程式の基本解は Jν (z), Yν (z) であるから,一つの解は Jν (iz) であり
³ z ´ν X
∞
1 ³ z ´2m
Jν (iz) = eνπi/2
2 m=0
m! Γ(ν + m + 1) 2
17
と定義する.そして,第二種変形ベッセル関数 Kν (z) を
π I−ν (z) − Iν (z)
Kν (z) = (1.42)
2 sin νπ
と定義する.ν が整数でないとき Iν (z) と Kν (z) は互いに独立であるから , これら二つ
の関数が変形ベッセル関数の基本解である.ν → n (整数) のとき I−n (z) = In (z) と
なり
Kn (z) = lim Kν (z)
ν→n
と定義すれば , Yn (z) を求めたのと同様にして
³z ´ X∞
ψ(m + 1) ³ z ´2m
K0 (z) = − log I0 (z) + (1.43)
2 m=0
(m!)2 2
18
となるから
Kν (z) = (πi/2) eνπi/2 Hν (1) (iz)
を得る.また, Kν (z) = K−ν (z) であるから
と表すこともできる.
変形ベッセル関数の積分表示については , 第一種ベッセル関数のポアッソンの積分表示
(1.13) より Re(ν + 1/2) > 0 において
³ z ´ν Z 1
−νπi/2 1
Iν (z) = e Jν (iz) = √ (1 − ξ 2 )ν−1/2 e−zξ dξ
2 π Γ(ν + 1/2) −1
³ ´ n Z 1 Z 1 o
1 z ν
2 ν−1/2 −zξ
=√ (1 − ξ ) e dξ + (1 − ξ 2 )ν−1/2 ezξ dξ
π Γ(ν + 1/2) 2 0 0
2 ³ z ´ν Z 1
=√ (1 − ξ 2 )ν−1/2 cosh(zξ) dξ
π Γ(ν + 1/2) 2 0
となるから
2 ³ z ´ν Z 1
Iν (z) = √ (1 − ξ 2 )ν−1/2 cosh(zξ) dξ, Re(ν + 1/2) > 0 (1.47)
π Γ(ν + 1/2) 2 0
を得る.
1.9 ベッセル関数のロンスキアン
ベッセル関数のロンスキアンを考えることによりいくつかの関係式を導くことがで
きる.
¶ ³
命題 1.10 ベッセル関数について次の関係式が成り立つ
2 sin νπ
Jν (z)J−ν−1 (z) − J−ν (z)Jν+1 (z) = − (1.48)
πz
0 0 2
Jn (z)Yn (z) − Jn (z)Yn (z) = (1.49)
πz
µ ´
証明:ベッセルの微分方程式は
d ³ df ´ ³ ν2 ´
z + z− f =0
dz dz z
と表すことができ, u, v をこの方程式の二つの独立な解とすると
d£ 0 0 ¤
z (uv − u v) = 0
dz
19
という関係から
c 0 0
u(z) v (z) − u (z) v(z) =
z
を得る. u(z), v(z) は独立な関数より積分定数 c は 0 ではない.さて, ν が整数で
ないときベッセルの微分方程式の解 Jν と J−ν は互いに独立であるので
0 0 c
Jν (z)J−ν (z) − Jν (z)J−ν (z) =
z
が成り立つ.さらにベッセルの漸化式 (1.19)
0 ν 0 ν
Jν (z) = Jν (z) − Jν+1 (z), J−ν (z) = Jν (z) + J−ν−1 (z)
z z
を用いると
0 0 c
Jν (z)J−ν (z) − Jν (z)J−ν (z) = Jν (z)J−ν−1 (z) − J−ν (z)Jν+1 (z) =
z
を得る.ベッセル関数の級数表示からわかるように , ロンスキアンは z −1 から始まるべ
き級数であるが,上の等式から z −1 の項のみであることがわかる.したがって
n o
c = lim z Jν (z)J−ν−1 (z) − J−ν (z)Jν+1 (z)
z→0
が成り立つ.Jν (z) は
³ z ´ν n 1 o
Jν (z) = + ···
2 Γ(ν + 1)
の形をしているから( 但し , · · · は z の高次のべき級数を表す. )
³ z ´−1 n 1 o
Jν (z)J−ν−1 (z) − J−ν (z)Jν+1 (z) = + ···
2 Γ(ν + 1)Γ(−ν)
となる.ここで Γ(ν + 1)Γ(−ν) = π/ sin π(ν + 1) を代入すると
2 sin νπ
c=−
π
を得る.よって
2 sin νπ
Jν (z)J−ν−1 (z) − J−ν (z)Jν+1 (z) = −
πz
を得る.ν のかわりに −ν とすると
2 sin νπ
Jν−1 (z)J−ν (z) − Jν (z)J−ν+1 (z) = (1.50)
πz
と書くこともできる.ν が整数 n に等しいとき, 互いに一次独立な解として Jn (z) と
Yn (z) をとると,第二種ベッセル関数の漸化式 (1.21) を用い上記の証明によって
0 0 2
Jn (z)Yn (z) − Jn (z)Yn (z) =
πz
を得る. ( 証明終わり)
20
1.10 8字形積分路での複素積分表示
ベッセル関数 Jν (z) の Re(ν) > −/2 での複素積分表示を求める.関数
Z b
ν
w(z) = z eizt T (t) dt (1.51)
a
となるから,ベッセルの微分方程式に代入すると
d2 w 1 dw ³ ν2 ´
+ + 1 − w
dz 2 z dz z2
Z b Z b
ν izt 2 ν−1
=z e (1 − t ) T dt + z (2ν + 1)i t eizt T dt
a a
Z bn o h ib
d£ 2 ¤
= i z ν−1 (2ν + 1) t T − (t − 1)T eizt dt − i z ν−1 (1 − t2 ) T eizt
a dt a
となる.したがって
d£ 2 ¤
(t − 1) T = (2ν + 1) t T (1.52)
dt
h ib
(1 − t2 ) T eizt = 0 (1.53)
a
21
t−
−1 1
図 1.3: 積分路:(1+,-1-)
はベッセル微分方程式の一つの解である.
具体的にこの積分をパラメ−タ表示すると次のとうりである.a = 0 を始点,b = 0
を終点とする閉曲線 C をパラメ−タ θ を用いて
(
1 + eiθ (−π < θ ≤ π)
C : [−π, 3π] 3 θ −→ t(θ) =
−1 + e−i(θ−π) (π < θ ≤ 3π)
22
とすると,ϕ(−π) = −π, ϕ(3π) = −π となり連続となる.したがって (1.54) の積分は
Z 3π
ν 0
w(z) = z eizt(θ) r(θ)ν+1/2 eiϕ(θ)(ν+1/2) t (θ) dθ
−π
を意味し h i3π
eizt(θ) r(θ)ν+1/2 eiϕ(θ)(ν+1/2) =0
−π
23
T u−
u=0 u=1
U
図 1.4: 積分路:(1+,0-)
は θ = −π であるから
Z Z 1
m−1/2 ν−1/2 iπ(ν+1/2)
u (u − 1) du = e (1 − r)m−1/2 rν−1/2 dr
0
Z Z 0
um−1/2 (u − 1)ν−1/2 du = e−iπ(ν+1/2) (1 − r)m−1/2 rν−1/2 dr
1
となる.したがって
Z (1+,0−) h iZ 1
m−1/2 ν−1/2 iπ(ν+1/2) −iπ(ν+1/2)
u (u − 1) du = e −e (1 − r)m−1/2 rν−1/2 dr
0
Γ(m + 1/2)Γ(ν + 1/2)
= 2i sin π(ν + 1/2)
Γ(m + ν + 1)
となる.このようにして
Z (1+,−1−)
ν
z eizt (t2 − 1)ν−1/2 dt
X∞
(−1)m z 2m+ν Γ(m + 1/2)
= 2i sin π(ν + 1/2) Γ(ν + 1/2)
m=0
(2m)! Γ(m + ν + 1/2)
√ ν ³ z ´ν X
∞
(−1)m ³ z ´2m
= 2i sin π(ν + 1/2) Γ(ν + 1/2) π 2
2 m=0 m! Γ(m + ν + 1) 2
√
2i π
= 2ν Jν (z)
Γ(1/2 − ν)
を得る.故に,ベッセルの複素積分による表示は
Z
Γ(1/2 − ν) ³ z ´ν (1+,−1−) izt 2
Jν (z) = √ e (t − 1)ν−1/2 dt, Re(ν) + 1/2 > 0
2πi π 2
となる.但し,ν + 1/2 は正整数に等しくないものとする. ( 証明終わり)
24
1.11 U字形積分路での複素積分表示
次に,第二の方法である始点 a と終点 b で (t2 − 1)ν+1/2 eizt = 0 となる場合を考え
る.
¶ ³
命題 1.12 ベッセル関数 J−ν (z) の複素積分表示は
Z
Γ(1/2 − ν) νπi ³ z ´ν
J−ν (z) = √ e eizt (t2 − 1)ν−1/2 dt, Re(z) > 0 (1.56)
2πi π 2 C
0
D
−1 0 1
D
−1 0 1
0
L
C
図 1.5:
25
とできるから
Z
ν
w(z) = z eizt (t2 − 1)ν−1/2 dt
C
X∞ Z
z ν Γ(1/2 − ν + m)
= eizt t2ν−1−2m dt
m=0
m! Γ(1/2 − ν) C
となる.ゆえに,
Z
Γ(1/2 − ν) νπi ³ z ´ν
J−ν (z) = √ e eizt (t2 − 1)ν−1/2 dt, Re(z) > 0
2πi π 2 C
26
1.12 ハンケル関数の複素積分表示
いま Re(z) > 0 の場合,(1.55),(1.56) における積分路を変形して,図 1.6 のように
上の方を無限の遠方に延ばせば実軸に平行な部分からの積分への寄与は 0 となるから
Z Z o
Γ(1/2 − ν) ³ z ´ν n
Jν (z) = √ +
2πi π 2 C1
Z C2 Z o
Γ(1/2 − ν) νπi ³ z ´ν n
J−ν (z) = √ e +
2πi π 2 D1 D2
であるから
Z Z
izt 2 ν−1/2 −2πi(ν−1/2)
e (t − 1) dt = e eizt (t2 − 1)ν−1/2 dt
D2 −C2
Z
= e−2πνi eizt (t2 − 1)ν−1/2 dt
C2
を得る.よって
Z Z o
Γ(1/2 − ν) ³ z ´ν n νπi −νπi
J−ν (z) = √ e +e
2πi π 2 C1 C2
を得る.
ハンケル関数とベッセル関数の関係式 (1.38), (1.38)
Jν J−ν
−1 1 C1 −1 1
C2 D2 D1
図 1.6:
27
から Z
Γ(1/2 − ν) ³ z ´ν
(1)
Hν (z) = √ eizt (t2 − 1)ν−1/2 dt
πi π 2 C1
(1.57)
Z
Γ(1/2 − ν) ³ z ´ν
(2)
Hν (z) = √ eizt (t2 − 1)ν−1/2 dt
πi π 2 C2
1.13 鞍点法
二つの関数 f (z), φ(z) が与えられたとき
であるような定数 A, δ が存在するとき
f = O(φ)
と表す.また任意の ² に対して
となる δ が存在するとき
f = o(φ)
と表す.すなわち |z| → ∞ のとき |f /φ| がある定数より小であれば f は O(φ) の関数で
あり,|f /φ| が 0 に収束すれば f は o(φ) の関数である.
ある関数が,適当な積分路に沿っての定積分
Z
g(s) = esf (z) φ(z) dz
L
28
それは鞍点である.したがって積分路が鞍点を通り,u(x, y) の尾根に垂直になるよう
に変形すれば,鞍点の近傍からの積分が s → ∞ のとき大きな寄与を占めることは明
らかである.すなわち,関数 f (z) の微分係数が 0 となる点を通るように積分路を変形
すれば s → ∞ のときこの点の近傍からの積分への寄与が積分の近似を値を与える.
¶ ³
命題 1.13 f (z), φ(z) は z− 平面のある領域で正則な関数とし,複素数 s の関数 g(s)
が適当な積分路に沿って
Z
g(s) = esf (z) φ(z) dz (1.58)
L
で与えられるとき,|s| が大きいときの関数の漸近形は
h −2π i1/2
φ(z0 ) esf (z0 ) (1.59)
s f ” (z0 )
f (z) = f (z0 ) + a2 (z − z0 )2 + a3 (z − z0 )3 + · · · , |z − z0 | = R
M
|an | ≤
Rn
が成り立つ.したがって
とおくと
¯ ¯ n 3 4 o 3
¯F (z)¯ ≤ M |z − z0 | + |z − z0 | + · · · = M |z − z0 | R , |z − z0 | < R
R3 R4 R3 {R − |z − z0 |}
となる.よって
29
とおけば,コ−シ−の不等式から
¯ ¯
¯ ¯ 0
¯Φ(z)¯ ≤ 2M R−1 s−²
となる.この積分を計算するため
とすれば,指数部分は
a2 (z − z0 )2 = A r2 ei(α+2θ)
となるので,α + 2θ = π で与えられる θ で積分路の方向を決めるものとする.この方
向に沿って積分すれば第一項は
Z s−²
sf (z0 )+i(π−α)/2 2
φ(z0 ) e e−Asr dr
−s−²
となる.いま
t2 = A s r2 , T = (A s1−2² )1/2 = O(s1/2−² )
とおけば
Z s−² Z T n√ Z ∞ o
−Asr2 −1/2 −t2 −1/2 −t2
e dr = (As) e dt = (As) π−2 e dt
−s−² −T T
Z ∞
2
となる. e−t dt については
T
Z ∞ h e−t2 i∞ Z ∞ 2 2
−t2 e−t e−T
e dt = − dt <
T −2t T T 2t2 2T
−T 2 1
e ≤
1 + T2
からオ−ダ−は O(s3²−3/2 ) である.したがって (1.60) は
©√ ª© ª
φ(z0 ) esf (z0 )+i(π−α)/2 (As)−1/2 π + O(s3²−3/2 ) 1 + O(s1−3² )
30
に漸近的に近づく. ( 証明終わり)
この方法でガンマ関数の漸近形を求めることができる.
Z | arg(z)| < π において定義
∞
された複素変数のガンマ関数 Γ(z) = e−t tz−1 dt において t のかわりに t z とおけば
0
Z ∞ exp{−i arg(z)}
z
Γ(z) = z ez(log t−t) t−1 dt
0
となる.被積分関数の指数部分は t = 1 で鞍点をもつからその近傍からの積分への寄
与を (1.59) によって計算すれば
√
Γ(z) ∼ 2π z z−1/2 e−z , |z| → ∞, | arg(z)| < π (1.61)
1.14 ベッセル関数の漸近展開
ベッセル関数はハンケル関数で表されるから,はじめにハンケルの漸近展開につい
て述べる.そのためにまずダルブ− (Darboux) の定理を証明する.
¶ ³
補題 1.1 (ダルブ− (Darboux) の定理) f (z) が a と a + h を結ぶ直線上で微分
可能な関数であるとき
n−1 m
X Z 1
h (m) hn
f (a + h) − f (a) = f (a) + f (n) (a + th) (1 − t)n−1 dt (1.62)
m=1
m! (n − 1)! 0
成り立つ.
µ ´
n−1 m
X h
証明: (1 − t)m f (m) (a + th) を t で直接微分すると
m=1
m!
n−1
d X hm
(1 − t)m f (m) (a + th)
dt m=1 m!
n−1 n
X o
−hm hm+1
= (1 − t)m−1 f (m) (a + th) + (1 − t)m f (m+1) (a + th)
m=1
(m − 1)! m!
(第一項の総和で m − 1 = p とおく)
n−2 p+1
X n−1 m+1
X
h h
=− (1 − t)p f (p+1) (a + th) + (1 − t)m f (m+1) (a + th)
p=0
p! m=1
m!
n
h
= (1 − t)m−1 f (n) (a + th) − h f (1) (a + th)
(n − 1)!
31
両辺を t について 0 から 1 まで積分すれば
n−1 m
X Z 1
h (m) hn
f (a + h) − f (a) = f (a) + f (n) (a + th) (1 − t)n−1 dt
m=1
m! (n − 1)! 0
を得る. ( 証明終わり)
0 1
C1
R (0+)
図 1.7: 積分路: ∞
次にハンケル関数の漸近展開について述べる.
¶ ³
補題 1.2 ハンケル関数の漸近展開は −π < arg(z) < 2π, Re(ν) + 1/2 > 0,
そして ν + 1/2 は正整数に等しくないとき
r
2 i(z−π/4−νπ/2) n X Γ(ν + m + 1/2) ³ i ´m o
n−1
(1)
Hν (z) = e + Rn (1.63)
πz m=0
m! Γ(ν − m + 1/2) 2z
となる.ここで
i
Rn sin(ν + 1/2)π =
2(n − 1)! Γ(ν − n + 1)
³ i ´n Z (0+) Z 1 ³ iut ´ν−n−1/2
−u ν−1/2 n n−1
× e (−u) u (1 − t) 1+ dt du
2z ∞ 0 2z
R (0+)
とし,積分 ∞
の示す積分路は図 1.7 による.
µ ´
証明:ハンケル関数の積分表示 (1.57) より
Z (1+)
(1) Γ(1/2 − ν) ¡ z ¢ν
Hν (z) = √ eizt (t2 − 1)ν−1/2 dt
πi π 2 1+∞i
32
で t − 1 = i u z −1 とすれば
Z
(1) Γ(1/2 − ν) (0+) iz −u ¡ iu ¢ν−1/2
Hν (z) = √ e e (−i)ν−1/2 (−u)ν−1/2 1 + du
π 2πz ∞ 2z
Z
i Γ(1/2 − ν) i(z−π/4−νπ/2) (0+) −u ¡ iu ¢ν−1/2
= √ e e (−u)ν−1/2 1 + du (1.64)
π 2πz ∞ 2z
であり
¡ 1 ¢¡ 3¢ ¡ 1¢ Γ(ν + 1/2)
f (m) (0) = ν − ν− ··· ν − m + =
2 2 2 Γ(ν − m + 1/2)
であるから
¡ iu ¢ν−1/2
1+
2z
n−1
X 1 ¡ iu ¢m Γ(ν + 1/2)
=
m=0
m! 2z Γ(ν − m + 1/2)
Z
1 ¡ iu ¢n 1 Γ(ν + 1/2) ³ iut ´ν−n−1/2
+ 1+ (1 − t)n−1 dt
(n − 1)! 2z 0 Γ(ν − n + 1/2) 2z
となる.したがって
Hν (1) (z)
i Γ(1/2 − ν) i(z−π/4−νπ/2)
= √ e
π 2πz
Z (0+) nX
n−1
Γ(ν + 1/2) ¡ iu ¢m
× e−u (−u)ν−1/2
∞ m=0
m! Γ(ν − m + 1/2) 2z
Z
Γ(ν + 1/2) ¡ iu ¢n 1 ³ iut ´ν−n−1/2 n−1
o
+ 1+ (1 − t) dt du
(n − 1)! Γ(ν − n + 1/2) 2z 0 2z
を用いると
Hν (1) (z)
33
2Γ(1/2 − ν)Γ(ν + 1/2) i(z−π/4−νπ/2)
= √ e
π 2πz
nX
n−1
Γ(ν + m + 1/2) ³ −i ´m
sin π(ν + m + 1/2)
m=0
m! Γ(ν − m + 1/2) 2z
Z
³ i ´n (0+)
i
+ e−u (−u)ν−1/2 un
2(n − 1)! Γ(ν − n + 1) 2z ∞
Z 1 ³
n−1 iut ´ν−n−1/2 o
× (1 − t) 1+ dt du
0 2z
Rn sin(ν + 1/2)π
i
=
2(n − 1)! Γ(ν − n + 1)
³ i ´n Z (0+) Z 1 ³ iut ´ν−n−1/2
−u ν−1/2 n
× e (−u) u (1 − t)n−1 1 + dt du
2z ∞ 0 2z
とおくと
r
2 i(z−π/4−νπ/2) n X Γ(ν + m + 1/2) ³ i ´m o
n−1
(1)
Hν (z) = e + Rn
πz m=0
m! Γ(ν − m + 1/2) 2z
z = reiθ , t = ρeiα
とすると,
Re(izt) = −r ρ sin(θ + α) < 0
である.よって 0 < θ+α < π を満たすものであればよい. α については分岐点 −1 をひ
きかからぬようにするためには −π < α < π であることが必要であるから −π < θ < 2π
であればよい.したがって (1.64) から導かれる展開 (1.63) は −π < arg(z) < 2π で成
り立つ. ( 証明終わり)
同様にして
r
2 −i(z−π/4−νπ/2) n X Γ(ν + m + 1/2) ³ −i ´m o
n−1
(2) 0
Hν (z) = e + Rn (1.65)
πz m=0
m! Γ(ν − m + 1/2) 2z
34
¶ ³
命題 1.14 −π < arg(z) < π, Re(ν) > −1/2 に対して次が成り立つ.
r
2 n π νπ X (−1)k Γ(ν + 2k + 1/2) ³ 1 ´2k
[n/2]
Jν (z) = cos(z − − )
πz 4 2 k=0 (2k)! Γ(ν − 2k + 1/2) 2z
証明:ハンケル関数の定義 (1.36) より
1 n (1) (2)
o −i n (1) (2)
o
Jν (z) = Hν (z) + Hν (z) , Yν (z) = Hν (z) − Hν (z)
2 2
である.ν − 1/2 6= l (l = 0, 1, 2, . . . ) のとき,(1.63), (1.65) から
r
2 n π νπ X (−1)k Γ(ν + 2k + 1/2) ³ 1 ´2k
[n/2]
Jν (z) = cos(z − − )
πz 4 2 k=0 (2k)! Γ(ν − 2k + 1/2) 2z
となり,左辺の関数はベッセル関数の漸近級数である.
ν − 1/2 = l (l = 0, 1, 2, . . . ) のとき,Jν (z) については (1.3), (1.4) と漸化式 (1.17)
35
,Yν (z) については (1.9) と漸化式 (1.20) から得る.n ≥ l のとき Rn (z) = 0 となる.
( 証明終わり)
36
第 2 章 ルジャンド ル関数
歴史的には,ルジャンド ル関数はラプラスの微分方程式を解くときに現れた.ラプラ
スの微分方程式を球座標で解こうとするとルジャンド ル関数が現れる.ここでは,ま
ず導入としてルジャンド ル多項式を定義し,この多項式の直交性について述べた.そ
して一般のルジャンド ル微分方程式の解として,第一種ルジャンド ル関数,第二種ル
ジャンド ルを定義し級数解との関係について述べた.また,ルジャンド ル陪関数と漸
近形についてもふれた.
と定義すると
∂ 2V ∂2V ∂ 2V
+ + =0 (2.2)
∂x2 ∂y 2 ∂z 2
を得る.これを ラプラス (Laplace) の方程式 とよぶ.ここで球座標 (r, θ, ϕ) を
x = r sin θ cos ϕ
y = r sin θ sin ϕ (2.3)
z = r cos θ
となり、関数 V は球座標をもちいて
© 2 ª n r ¡ r ¢o−1/2
2 −1/2 −1
V = r − 2rr0 cos θ + r0 = r0 1 − 2 cos θ + (2.4)
r0 r0
と表すことができる.いま,r0 > r と仮定して V を (r/r0 ) のべき級数に展開し
n r ¡ r ¢o−1/2 1 X
∞
¡ r ¢n
−1
r0 1 − 2 cos θ + = Pn (cos θ) r < r0 (2.5)
r0 r0 r0 n=0 r0
37
と表される.
¶ ³
命題 2.1 (2.5) のべき級数の係数 Pn (cos θ) は ζ = cos θ とおくと ζ の n 次多項式
である.そして,この多項式を n 次のルジャンド ル (Legendre) 多項式 とよぶ.
µ ´
と変形する.ζ = 1 とおけば
∞
X
2 −1/2 −1
(1 − 2α + α ) = (1 − α) = αn
n=0
となるので
Pn (1) = 1 n = 0, 1, 2, . . .
を得る.また ζ = −1 とおくと
Pn (−1) = (−1)n
を得る.α = 0 とおけば
P0 (ζ) = 1
を得る.次に (2.6) の両辺の対数をとり α について微分すると
P∞ n−1
ζ −α n=0 nα
P
Pn (ζ)
2
= ∞ n
1 − 2αζ + α n=0 α Pn (ζ)
∞
X ∞
X
(ζ − α) αn Pn (ζ) = (1 − 2αζ + α2 ) nαn−1 Pn (ζ)
n=0 n=0
n
となる.両辺の α のべき係数を比較し整理すると
となる.n = 1, 2 とおけば
38
1 P0
P1
x
0
P5
P2 P3 P4
を得る.
次にルジャンド ル多項式の定義式 (2.6) から Pn (cos θ) を求めてみる.
¶ ³
命題 2.2 ルジャンド ル多項式 Pn (cos θ) は
k−1
X
(2s)!(4k − 2s)! ((2k)!)2
P (cos θ) = cos[(2k − 2s)θ] +
2k
24k−1 (s!)2 ((2k − s)!)2 24k (k!)4
s=0
k (2.9)
X (2s)!(4k + 2 − 2s)!
P2k+1 (cos θ) = 24k+1 (s!)2 ((2k + 1 − s)!)2
cos[(2k + 1 − 2s)θ]
s=0
と表すことができる.
µ ´
証明:
(1 − 2α cos θ + α2 ) = (1 − αeiθ )(1 − αe−iθ )
であり,|z| < 1 であれば
∞
X Γ(r + 1/2)
1
√ = zr
1−z r=0
r!Γ(1/2)
と展開できるから,(2.6) により
∞
X ∞ X
X ∞
n Γ(r + 1/2)Γ(s + 1/2)
α Pn (cos θ) = αr+s ei(r−s)θ
n=0 r=0 s=0
r!s!Γ(1/2)Γ(1/2)
39
となる.両辺の αn の係数を比較して
n
X Γ(r + 1/2)Γ(n − r + 1/2)
Pn (cos θ) = ei(2r−n)θ
r=0
πr!(n − r)!
となるから,ei(2r−n)θ の係数は
となる.したがって,
Xn
(2r)!(2n − 2r)!
Pn (cos θ) = 2n 2 2
ei(2r−n)θ (2.10)
r=0
2 (r!) ((n − r)!)
となる.ここで r = s と r = n − s としたときの係数の和は
(2s)!(2n − 2s)!
cos[(n − 2s)θ]
22n−1 (s!)2 ((n− s)!)2
となる. ( 証明終わり)
次に (2.10) を
n
X
Pn (cos θ) = cr ei(2r−n)θ
r=0
と表すとき,θ = 0 とすると
n
X
Pn (1) = cr
r=0
40
となるが,Pn (1) = 1 より
n
X
cr = 1
r=0
を得る.これより,不等式
n
X
|Pn (cos θ)| ≤ cr = 1 (2.11)
r=0
を得る.
∂ 2V 2 ∂V 1 ³ ∂ 2V ∂V 1 ∂2V ´
+ + + cot θ + =0 (2.12)
∂r2 r ∂r r2 ∂θ2 ∂θ sin2 θ ∂ϕ2
で与えられるから
∞
∂V 1 X ¡ r ¢n−1
= 2 nPn (cos θ)
∂r r0 n=0 r0
∞
∂ 2V 1 X ¡ r ¢n−2
2
= 3 n(n − 1)Pn (cos θ)
∂r r0 n=0 r0
d2 Pn dPn
+ cot θ + n(n + 1)Pn = 0 (2.13)
dθ2 dθ
の解でなければならない.この微分方程式を ルジャンド ルの微分方程式 とよぶ.θ の
かわりに ζ = cos θ とおくと微分方程式は
dn dPn o
(1 − ζ 2 ) + n(n + 1)Pn = 0 (2.14)
dζ dζ
41
と表すことができる.この微分方程式を用いて,Pn (ζ) を ζ の多項式として直接求めて
みる.
¶ ³
命題 2.3 ルジャンド ル多項式 Pn (ζ) は
σ
X (−1)s (2n − 2s)!
Pn (ζ) = n
ζ n−2s (2.15)
s=0
2 s!(n − 2s)!(n − s)!
証明:
m
X
Pn (ζ) = ak ζ k
k=0
42
次に,ロド リ−グ (Rodrigues) の公式を導く.
¶ ³
命題 2.4 (ロド リ−グ (Rodrigues) の公式) 等式
1 dn h 2 n
i
Pn (ζ) = (ζ − 1) (2.18)
2n n! dζ n
証明:
dn 2n−2s (2n − 2s)! n−2s
n
[ζ ]= ζ
dζ (n − 2s)!
から (2.15) に代入すると
σ
X (−1)s dn 2n−2s
Pn (ζ) = [ζ ]
s=0
2n s!(n − s)! dζ n
となる.二項定理から
n
X Xn
(−1)s n! 2n−2s
(ζ 2 − 1)n = n Cs ζ
2n−2s
(−1)s = ζ
s=0 s=0
(n − s)!s!
であるから,両辺を n 回微分すれば
σ
X (−1)s
1 dn 2 n dn 2n−2s
[(ζ − 1) ] = [ζ ]
n! dζ n s=0
(n − s)!s! dζ n
となる.これより
1 dn h 2 n
i
Pn (ζ) = (ζ − 1)
2n n! dζ n
を得る. ( 証明終わり)
とすれば,(2.18) を用いて
Z 1
1 dn
I= n f (ζ) n [(ζ 2 − 1)n ] dζ
2 n! −1 dζ
h i1 Z 1
1 dn−1 2 n 1 0 dn−1
= n n−1
[(ζ − 1) ]f (ζ) − n
f (ζ) n−1
[(ζ 2 − 1)n ] dζ
2 n! dζ −1 2 n! −1 dζ
43
となる.もし f (ζ) が ζ = ±1 で有限確定値をもてば右辺の第一項は 0 となる.この過
程を n 回繰り返せば
Z 1 Z
(−1)n 1 2
f (ζ)Pn (ζ) dζ = n (ζ − 1)n f (n) (ζ) dζ (2.19)
−1 2 n! −1
を得る.とくに
f (ζ) = ζ m m : 正整数
のとき (
(n) Γ(m + 1)ζ m−n /Γ(m − n + 1) m ≥ n
f (ζ) =
0 m<n
であるから,m ≥ n のとき
Z 1 Z 1
m Γ(m + 1)
Pn (ζ)ζ dζ = n (1 − ζ 2 )n ζ m−n dζ m≥n
−1 2 n!Γ(m − n + 1) −1
で与えられるから
0 m<n
Z 1
m! Γ(m/2 − n/2 + 1/2)
Pn (ζ)ζ m dζ = m − n : 偶数 (≥ 0)
−1 2n (m
− n)! Γ(m/2 + n/2 + 3/2)
0 m − n : 奇数 (≥ 0)
が成り立つ.
µ ´
dn Pm (ζ)
=0 n>m
dζ n
44
となる.よって Z 1
Pn (ζ)Pm (ζ) dζ = 0 n>m
−1
を得る.この等式の左辺は m, n について対象であるから結局
Z 1
Pn (ζ)Pm (ζ) dζ = 0 m 6= n
−1
Γ(ν + m + 1) ³ z − 1 ´m
∞
X
Pν (z) = 2 Γ(ν + 1 − m)
, |z − 1| < 2 (2.23)
m=0
(m!) 2
45
となる.この方程式の級数解を求めるために
∞
X
α
f (t) = t am tm
m=0
a0 α2 = 0
© ª
am+1 (m + α + 1)2 + am ν(ν + 1) − (m + α)(m + α + 1) = 0
を得る.α = 0 とすると第二の等式から
(ν − m)(ν + m + 1)
am+1 = − am
(m + 1)2
となり,係数 a1 , a2 , . . . が遂次 a0 から求めることができる.a0 = 1 とすれば
ν(ν + 1)(ν − 1)(ν + 2) 2
f (t) = 1 − ν(ν + 1) t + t
12 22
ν(ν + 1)(ν + 2)(ν + 3)(ν − 1)(ν − 2) 3
− t + ···
12 22 32
という級数解を得る. 係数 am は
(−1)m ν(ν + 1) · · · (ν + m)(ν − 1) · · · (ν − m + 1)
am = (2.24)
(m!)2
m
(−1) Γ(ν + m + 1) Γ(ν − 1)
= 2
· ·
(m!) Γ(ν − 1) Γ(ν − m + 1)
m
(−1) Γ(ν + m + 1)
=
(m!)2 Γ(ν − m + 1)
1−z
であるから,t = と置き換えた関数
2
Γ(ν + m + 1) ³ z − 1 ´m
∞
X
Pν (z) =
m=0
(m!)2 Γ(ν + 1 − m) 2
はルジャンドル微分方程式の解である.ダランベールの判定法から収束半径を求めると
¯ a ¯ ¯ (m + 1)2 ¯
¯ m ¯ ¯ ¯
lim ¯ ¯ = lim ¯ ¯=1
m→∞ am+1 m→∞ (ν + m + 1)(m − ν − 2)
係数 am を表す式 (2.24) は
1 Γ(m + ν + 1) Γ(m − ν)
am =
(m!)2 Γ(ν + 1) Γ(−ν)
46
と表すことができるから
Pν (z) = P−ν−1 (z) (2.25)
という関係式を得る.
¶ ³
命題 2.7 ν が整数でないとき Pν (z) は z = −1 において対数的特異点をもつ.
µ ´
z+1
( 微分方程式要論 (p100):田代嘉宏著 [森北出版] 参照).f1 (
となる. ) は z ≤ −1
2
を除き |z + 1| < 2 で正則な関数である.(2.23) のルジャンドル関数は |z − 1| < 2 で正
© ª
則であるから,共通の領域 z : |z − 1| < 2, |z + 1| < 2 で Pν (z) は f と f1 の一次結
合で表される.すなわち
z+1 z+1
Pν (z) = A f ( ) + B f1 ( )
2 2
であり,定数 A, B は領域内での関数値と微分係数を比較して求めることができる.こ
の様にして得た関数は共通領域では (2.23) で与えられる関数と同一の値をもつ正則関
数であるから,|z + 1| < 2 に解析接続すると
n 1+z z+1 o
Pν (z) = A Pν (−z) + B Pν (−z) log + g( ) , |z + 1| < 2 (2.26)
2 2
と表すことができる.ν が整数でないとき B 6= 0 である.なぜなら,z = −1 のとき
∞
X ∞
X
Γ(ν + m + 1) Γ(m + ν + 1)Γ(m − ν)
f (1) = =
m=0
(m!) Γ(ν − m + 1) m=0 (m!)2 Γ(ν + 1)Γ(−ν)
2
47
て対数的特異点をもつことになるが,ν が整数 n のときは Pn (z) は多項式であるから
特異点をもたない.すなわち B = 0 である.さらに (2.15) より
が成り立つ. ( 証明終わり)
(z 2 − 1)n
であるから,f (z) = とおくとロド リ−グの公式から
2n n!
Z
1 (t2 − 1)n
Pn (z) = n dt n = 0, 1, 2, . . . (2.28)
2 2πi C (t − z)n+1
とおくと
Z Z
dF (ν + 1) (t2 − 1)ν d2 F (ν + 1)(ν + 2) (t2 − 1)ν
= ν dt, = dt
dz 2 2πi C (t − z)ν+2 dz 2 2ν 2πi C (t − z)ν+3
であるから,ルジャンド ルの微分方程式に代入すると
d2 F dF
(1 − z 2 )
2
− 2z + ν(ν + 1)F
dz Z dz Z
(ν + 1) (t2 − 1)ν 2 (ν + 1) d h (t2 − 1)ν+1 i
= ν (νt − 2νtz + ν + 2 − 2tz) dt = ν dt
2 2πi C (t − z)ν+3 2 2πi C dt (t − z)ν+2
(t2 − 1)ν+1
となる.したがって積分路 C に沿って一周したとき関数 がもとの値にもど
(t − z)ν+2
れば (2.30) は微分方程式の解である.
(t2 − 1)ν+1
ν が整数の場合には,積分路の両端で t が同じ値をとれば は同じ値とな
(t − z)ν+2
(t2 − 1)ν+1
り積分は 0 となる.ν が整数でない場合には, は t の多価関数であるから,
(t − z)ν+2
48
z
−1 1
S0
図 2.2:
t がもとの値に戻っただけでは積分が 0 となるとは限らない.この問題を解決するため
には,(2.29) の積分路が Riemann 面の上で閉じていなければならない.ν を任意の複
素数とすれば Riemann 面は無数の t 面からできており,t = z, 1, ∞ が分岐点である.
t2 − 1
t が実数で十分大きい値をとるとき arg = 2nπ となるような面を Sn と決める.
t−z
図 2.2 に示すように,z と 1 とを結ぶ点線および −1 から負の実軸に沿って無限遠点に
達する点線で次の面との接合をし ,図の点線を横切る矢印の向きに進むとき Sn から
Sn+1 へ移るものとする.したがって,S0 の上で z と 1 とを正の向きに一周し −1 の周
りは周らないような路 C は Riemann 面上での閉曲線となり,F (z) はルジャンド ル微
分方程式の解となる.
そこで,図 2.2 の積分路 C に沿って
Z
1 (t2 − 1)ν
Pν (z) = ν dt 定義域は (−∞, −1] を除く複素平面 (2.30)
2 2πi C (t − z)ν+1
と定義すれば,Pν (z) はルジャンド ル微分方程式の解である.
次に,(2.30) で表された Pν (z) は (2.23) で表された第一種ルジャンド ル関数に一致
することを示す.
¶ ³
命題 2.8 |z − 1| < 2 において
Z
Γ(ν + m + 1) ³ z − 1 ´m
X∞
1 (t2 − 1)ν
dt = (2.31)
2ν 2πi C (t − z)ν+1 m=0
(m!)2 Γ(ν + 1 − m) 2
49
n X∞
Γ(ν + m + 1) ³ z − 1 ´m o
= (t − 1)−ν−1 1 +
m=1
m! Γ(ν + 1) t − 1
となって一様に収束する.したがって
∞ ³
(t2 − 1)ν ν ν −ν−1 ν −1
X z − 1 ´m Γ(ν + m + 1)
= (t + 1) (t − 1) (t − z) = (t + 1) (t − 1)
(t − z)ν+1 m=0
t−1 m! Γ(ν + 1)
∞
X Γ(ν + m + 1)
= (t + 1)ν (t − 1)−m−1 (z − 1)m
m=0
m!Γ(ν + 1)
また
³ t − 1 ´ν X ∞
Γ(ν + 1) ³ t − 1 ´r
ν ν ν
(t + 1) = 2 1+ =2
2 r=0
2r r! Γ(ν + 1 − r) 2
と変形し項別積分すると
Z ∞
X Z
ν −m−1 ν Γ(ν + 1)
(t + 1) (t − 1) dt = 2 r
(t − 1)r−m−1 dt
C r=0
2 r! Γ(ν + 1 − r) C
Γ(ν + 1)
= 2πi2ν−m
m! Γ(ν + 1 − m)
となる.故に
Z
Γ(ν + m + 1) ³ z − 1 ´m
X∞
1 (t2 − 1)ν
ν
dt = , |z − 1| < R < 2
2 2πi C (t − z)ν+1 m=0
(m!)2 Γ(ν + 1 − m) 2
を得る. ( 証明終わり)
(n + 1)(n + 2) (n + 3)(n + 4)
a−n−3 = a−n−1 , a−n−5 = a−n−3 , . . .
(2n + 3)2 (2n + 5)4
となり,一般に
(n + 1)(n + 2) · · · (n + 2k)
a−n−(2k+1) = a−n−1
(2n + 3)(2n + 5) · · · (2n + 2k + 1)2k k!
50
n を一般の値 ν に置き換えてもこれまでの議論は成り立つから,微分方程式の解を√
X∞
−n−(2k+1) π Γ(ν + 1)
a−n−(2k+1) z として,a−ν−1 = ν+1 とおいて得られる級数
k=0
2 Γ(ν + 3/2)
√
π Γ(ν + 1)z −ν−1 n o
X∞
(ν + 1)(ν + 2) · · · (ν + 2k) −2k
Qν (z) = 1 + z
2ν+1 Γ(ν + 3/2) k=1
2k k! (2ν + 3)(2ν + 5) · · · (2ν + 2k + 1)
(2.32)
はルジャンド ル微分方程式の解である.この級数解はダランベ−ルの収束判定条件か
ら |z| > 1 で収束する.この級数解を 第二種ルジャンド ル関数 という.
も積分路 D を適当にとればルジャンドル微分方程式の解となる.しかし,この関数が
Pν (z) と独立であるためには積分路 D と C は異なったものでなければならない.図 2.3
が示すように,D として関数 (t2 − 1)ν (z − t)−ν−2 の分岐点 t = 1 を負の向き一周し ,
t = −1 を正の向きに一周する8の字形閉曲線をとり,t = z がその外にあれば (2.34)
はルジャンド ル微分方程式の解となる.点 P において arg(t2 − 1) = 0,0 において
−1 0 1 P
図 2.3:
51
することを示す.
¶ ³
命題 2.9 |z| > 1 において
Z
1 (t2 − 1)ν
dt
2ν+2 i sin νπ D (z − t)ν+1
1 nX∞
Γ(ν + 2k + 1)Γ(k + 1/2) −2k o
= ν+1 ν+1 z (2.35)
2 z k=0
(2k)! Γ(ν + k + 3/2)
52
を得る.第二項の積分の計算は k が奇数ならば積分の値は 0,偶数ならば積分の値は
(0, 1) 間の値の 2 倍となるから
Z 1
Γ(k + 1/2)Γ(ν + 1)
t2k (1 − t2 )ν dt =
−1 Γ(ν + k + 3/2)
となる.故に
1 nX Γ(ν + 2k + 1)Γ(k + 1/2)
∞ o
−2k
Qν (z) = z |z| > 1
2ν+1 z ν+1 k=0 (2k)! Γ(ν + k + 3/2)
となり (2.32) と一致する.この級数は ν には無関係に |z| > 1 で収束し,また ν の解析
関数である.したがって,解析接続により ν の値とは無関係に成り立つ. ( 証明終わり)
証明:
z
b
c
a d
−1 1
図 2.4: 積分路:(z+,1+,z-,1-)
53
け大きい.−1 < Re(ν) < 0 であれば t = z, t = 1 のまわりからの積分の寄与は 0 とな
し うるから
Z Z Z Z Z Z
2πνi 2πνi
+ + + = (1 − e ) +(1 − e )
a b c d Za b
2πνi
= (1 − e )
a+b
Z
πνi (t2 − 1)ν
= −e 2i sin νπ ν+1
dt
a+b (t − z)
となる.一方 Z
1 (t2 − 1)ν
Pν (z) = ν dt
2 2πi a+b (t − z)ν+1
であるから Z
e−νπi (t2 − 1)ν
Pν (z) = dt
4π2ν sin νπ a+b+c+d (t − z)ν+1
を得る.Pν (z) は ν の正則な関数であるあるから,−1 < Re(ν) < 0 の制限のもとで
得られた関係は,解析接続によりこの制限を取り除いても成り立つ.図 2.4 に示すよ
うに,点 z の周りを正の方向にまわり,次に点 1 のまわりを正の方向にまわり,さら
に点 z を負の方向にまわり,最後に点 1 を負の方向にまわってもとにかえる積分路を
(z+, 1+, z−, 1−) で表すと
Z (z+,1+,z−,1−) 2
e−νπi (t − 1)ν
Pν (z) = dt
4π2ν sin νπ (t − z)ν+1
を得る.この積分路は図 2.4 に示されたものである. ( 証明終わり)
(t2 − 1)ν
さて, を図 2.5 に示された三つの積分路に沿って積分をする.
(t − z)ν+1
¶ ³
命題 2.11 |z + 1| < 2 において
Z (z+,−1+,z−,−1−)
(t2 − 1)ν
dt
(t − z)ν+1
Z
(−1)m Γ(ν + 1) ³ z + 1 ´m
X∞ (1+,0+,1−,0−)
±νπi ν
=e 2 uν (u − 1)−ν−1 um du
m=0
m!Γ(ν + 1 − m) 2
(2.37)
が成り立つ.
µ ´
54
z
−1 A 1
図 2.5:
Z (z+,1+,z−,1−)
(t2 − 1)ν
dt = N + M e−2π(ν+1)i − N e2πνi − M
Z (t − z)ν+1
(z+,−1+,z−,−1−) (2.38)
(t2 − 1)ν
dt = N + Le−2π(ν+1)i − N e2πνi − L
(t − z)ν+1
Z (−1+,1−)
(t2 − 1)ν
である.他方 dt の値を考えて, 被積分関数の偏角は (2.34) の Qν (z)
(t − z)ν+1
と同様にとるとする.そうすると,Im(z) > 0 であれば 積分の値は (L − M )e−2πνi ,
Im(z) < 0 であれば L − M である.したがって
Z (−1+,1−)
(t2 − 1)ν
dt
(t − z)ν+1
Z Z
e−2πνi ³ (z+,1+,z−,1−) (z+,−1+,z−,−1−) ´
(t2 − 1)ν
= − dt, Im(z) > 0 (2.39)
1 − e−2πνi (t − z)ν+1
Z (−1+,1−)
(t2 − 1)ν
dt
(t − z)ν+1
1 ³Z (z+,1+,z−,1−) Z (z+,−1+,z−,−1−) ´
(t2 − 1)ν
= − dt, Im(z) < 0 (2.40)
1 − e−2πνi (t − z)ν+1
z+1 ³ z+1 ´
u − 1 = e±πi 1 − u
2 2
55
に注意すると,いずれの場合も 1 − (z + 1)u/2 の偏角は実軸上 u = 0 で 0 であるから
(1 − (z + 1)u/2)ν をそのまま二項展開でき,|(z + 1)/2| < 1 において一様収束するから
Z (z+,−1+,z−,−1−) 2
(t − 1)ν
dt
(t − z)ν+1
Z
(−1)m Γ(ν + 1) ³ z + 1 ´m (1+,0+,1−,0−) ν
X∞
±νπi ν
=e 2 u (u − 1)−ν−1 um du
m=0
m!Γ(ν + 1 − m) 2
を得る. ( 証明終わり)
W
T
0 1
U
V
図 2.6: 積分路:(1+,0+,1-,0-)
¶ ³
命題 2.12 次の等式が成り立つ.
Z (1+,0+,1−,0−)
Γ(ν + m + 1)Γ(−ν)
uν (u − 1)−ν−1 um du = (−1)22 sin2 νπ eπνi
m!
(2.41)
µ ´
証明:
積分を計算するために積分路を図 2.6 で示す様に変形し u − 1 = xeiθ とおくと,−1 <
Re(ν) < 0 であれば u = 1 と u = 0 のまわりの円に沿っての積分は半径を無限に小さ
くした極限では 0 となる. に沿っては θ = π, に沿っての積分の絶対値は等しく
向きは反対で 2π(ν + 1) だけ偏角は大きいから
Z ³ ´Z 1
ν+m −ν−1 π(ν+1)i −π(ν+1)i
u (u − 1) du = e −e (1 − x)ν+m x−ν−1 dx
+ 0
Γ(ν + m + 1)Γ(−ν)
= −2i sin νπ
m!
となる. に沿っての積分は に沿ったものよりも偏角が 2π(ν + m) だけ大きく,
に沿っては よりも偏角が 2π(ν + m) だけ大きい.したがって
Z
Γ(ν + m + 1)Γ(−ν)
uν+m (u − 1)−ν−1 du = 2i e2πνi sin νπ
+ m!
となる.まとめて
Z
Γ(ν + m + 1)Γ(−ν)
uν+m (u − 1)−ν−1 du = (−1)22 sin2 νπ eπνi
+ + + m!
56
となる. ( 証明終わり)
と表すことができる.
µ ´
証明:
Z (z+,−1+,z−,−1−)
(t2 − 1)ν (t − z)−ν−1 dt
Z (1+,0+,1−,0−) ³z + 1
´ν
ν
=2 uν
u − 1 (u − 1)−ν−1 du
2
Z
(−1) Γ(ν + 1) ³ z + 1 ´m (1+,0+,1−,0−) ν
X∞ m
±νπi ν
=e 2 u (u − 1)−ν−1 um du
m=0
m!Γ(ν + 1 − m) 2
(−1)m Γ(ν + m + 1) ³ z + 1 ´m
X∞
ν+2 2νπi
= 2 πe sin νπ
m=0
(m!)2 Γ(ν + 1 − m) 2
(Im(z) < 0 のとき e2νπiは 1 でおきかえる.
)
57
π n ∓νπi X (−1)m Γ(ν + m + 1) ³ 1 − z ´m
∞
= e
2 sin νπ m=0
(m!)2 Γ(ν + 1 − m) 2
(−1)m Γ(ν + m + 1) ³ 1 + z ´m o
X∞
−
m=0
(m!)2 Γ(ν + 1 − m) 2
Im(z) > 0 のとき − 符号, Im(z) < 0 のとき + 符号
となる. ( 証明終わり)
の関係を調べてみる.
¶ ³
命題 2.14 (−∞, 1] を除いた複素平面において
1 © ª
Pν (z) = tan νπ Qν (z) − Q−ν−1 (z) (2.43)
π
が成り立つ.
µ ´
証明:
(2.23) において ν のかわりに −ν − 1 とすると |z − 1| < 2 において
が成り立つ.(2.42) とこの等式から第二の級数を消去して
© ª
π cos νπPν (z) = sin νπ Qν (z) − Q−ν−1 (z)
58
を得る.これは解析接続によって (−∞, 1] を除いた複素平面で成り立つ.ν が半整数
のとき Qν (z) = Q−ν−1 (z) となる.一般の ν に対しては
1 © ª
Pν (z) = tan νπ Qν (z) − Q−ν−1 (z)
π
が成り立つ. ( 証明終わり)
Qν (z) の |z| > 1 での級数表示は (2.32) であるから , |z| > 1 での Pν (z) の級数表示は
tan νπ Γ(ν + 1)
Pν (z) = √
π(2z)ν+1 Γ(ν + 3/2)
n X∞
(ν + 1)(ν + 2) · · · (ν + 2k) ³ 1 ´2k o
1+
k=1
2k k!(2ν + 3) · · · (2ν + 2k + 1) z
Γ(ν + 1/2)(2z)ν n (−ν)(−ν + 1) · · · (−ν + 2k − 1) ³ 1 ´2k o
X∞
+ √ 1+ k k!(−2ν + 1) · · · (−2ν + 2k − 1) z
|z| > 1
Γ(ν + 1) π k=1
2
(2.45)
となる.
2.8 ロンスキアンと漸化式
ルジャンド ル関数のロンスキアンを求める.
¶ ³
命題 2.15 ルジャンド ル関数のロンスキアンは
0 0 1
Pν (z)Qν (z) − Pν (z)Qν (z) = (2.46)
1 − z2
となる.
µ ´
証明:ルジャンド ルの微分方程式
dn 2 df
o
(1 − z ) + ν(ν + 1)f = 0
dz dz
の基本解が Pν (z), Qν (z) であるから
dn 0
o dn 0
o
(1 − z 2 )Pν Qν − (1 − z 2 )Qν Pν = 0
dz dz
を得る.これを変形して
dn 0 0
o 2z n 0 0
o
Pν (z)Qν (z) − Pν (z)Qν (z) = Pν (z)Qν (z) − Pν (z)Qν (z)
dz 1 − z2
59
となる.故に
0 0 c
Pν (z)Qν (z) − Pν (z)Qν (z) = c : 積分定数
1 − z2
を得る. これはすべての z の値に対して成り立つから,|z| → ∞ での挙動から定数 c
を求めることができる.(2.45) から
Γ(ν + 1/2)
Pν (z) ∼ √ (2z)ν |z| À 1
Γ(ν + 1) π
を得る.また (2.34) から
√
π Γ(ν + 1)
Qν (z) ∼ |z| À 1
Γ(ν + 3/2) (2z)ν+1
を得る.これらより
0 0 (ν + 1/2)Γ(ν + 1/2) −2
Pν (z)Qν (z) − Pν (z)Qν (z) ∼ − z
Γ(ν + 3/2)
積分表示で与えられるルジャンド ル関数の漸化式を考える.
¶ ³
命題 2.16 第二種ルジャンド ル関数の漸化式
が成り立つ.
µ ´
60
となる.よって
n Γ(ν)Γ(1/2) ν
−ν −ν
(ν + 1)Qν+1 (z) + νQν−1 (z) = 2 z
Γ(ν + 1/2)
νΓ(ν + 2k)Γ(k + 1/2) −2k X (ν + 1)Γ(ν + 2k)Γ(k − 1/2) −2k o
∞
X ∞
+ z + z
k=1
(2k)! Γ(ν + k + 1/2) k=1
4(2k − 2)! Γ(ν + k + 3/2)
となる.ここで
であるから,結局
¶ ³
命題 2.17 第二種ルジャンド ル関数の漸化式
0 0
Qν+1 (z) − zQν = (ν + 1)Qν (z) (2.48)
0 0
zQν (z) − Qν−1 (z) = νQν (z) (2.49)
が成り立つ.
µ ´
61
n X∞
Γ(ν + 2k + 1)Γ(k + 1/2) −2k o
= (ν + 1) 2−ν−1 z −ν−1 z
k=0
(2k)! Γ(ν + k + 3/2)
であるから
0 0
Qν+1 (z) − zQν = (ν + 1)Qν (z)
を得る.また,(2.47) と (2.48) から
0 0
zQν (z) − Qν−1 (z) = νQν (z)
を得る. ( 証明終わり)
が成り立つ.
µ ´
証明: (2.43) から
同様にして ( 0 0
zPν (z) − Pν−1 (z) = νPν (z)
0 0
(2.51)
Pν+1 (z) − zPν (z) = (ν + 1)Pν (z)
を導くことができる.
漸化式をもちいて整数次の第二種ルジャンドル関数は遂次求めることができる.(2.32)
において ν = 0 とおくと
n 1 1 1 o
−1
Q0 (z) = z 1 + 2 + 4 + 6 + ··· |z| > 1
3z 5z 7z
であるが,これは
1 z+1 1 1 1
log = + 3 + 5 + ··· |z| > 1
2 z−1 z 3z 5z
62
と同じ級数であるから
1 z+1
Q0 (z) = log |z| > 1
2 z−1
と表される.また,ν = 1 とおくと
1 1 1
Q1 (z) = 2
+ 4 + 6 + ··· , |z| > 1
3z 5z 7z
となるが,級数を比較して
z z+1
Q1 (z) = log −1 |z| > 1
2 z−1
を得る.漸化式 (2.47) に代入して
1 z+1 3
Q2 (z) = P2 (z) log − z |z| > 1
2 z−1 2
を得る.こうして,二種ルジャンド ル関数は遂次求めることができる.
Q0
1
Q1
Q2
0 1 x
図 2.7:
63
を m 回微分すると,
d2 v dv
(1 − x2 ) 2
− 2(m + 1)x + (ν − m)(ν + m + 1)v = 0
dx dx
を得る.更に w = (1 − x2 )m/2 v とおくと
d2 w dw n m2 o
(1 − x2 ) − 2x + ν(ν + 1) − w=0 (2.53)
dx2 dx 1 − x2
を得る.これが Pν m (x), Qν m (x) の満たす微分方程式である.
¶ ³
命題 2.19 整数次のルジャンド ル陪関数 Pn m (x), Pr m (x) について
Z 1
Pn m (x)Pr m (x)dx = 0 r 6= n (2.54)
−1
が成り立つ.
µ ´
が成り立つから,x について積分をすると
h n dPn m (x) dPr m (x) oix=1
(1 − x2 ) Pr m (x) − Pn m (x)
dx dx x=−1
Z 1
© ª
= r(r + 1) − n(n + 1) Pn m (x)Pr m (x)dx
−1
を得る. ( 証明終わり)
¶ ³
命題 2.20 ルジャンド ル陪関数の漸化式
が成り立つ.
µ ´
64
証明:漸化式 (2.51) より
0 0
Pν+1 (z) − Pν−1 (z) = (2ν + 1)Pν (z)
であるから
n dm dm−1 Pν o
(2ν + 1)xPν m (x) = (2ν + 1)(1 − x2 )m/2 (xP ν ) − m
dxm dxm−1
n dm £ ¤ dm−1 £ 0 0¤
o
= (1 − x2 )m/2 (ν + 1)P ν+1 + νP ν−1 − m Pν+1 − Pν−1
dxm dxm−1
n m
d Pν+1 m
d Pν−1 o
= (1 − x2 )m/2 (ν − m + 1) + (ν + m)
dxm dxm
故に
(2ν + 1)xPν m (x) = (ν − m + 1)Pν+1 m (x) + (ν + m)Pν−1 m (x)
を得る. ( 証明終わり)
同様にして
√
Pν−1 m (x) = xPν m (x) − (ν − m + 1) 1 − x2 Pν m−1 (x)
√
Pν+1 m (x) = xPν m (x) + (ν + m) 1 − x2 Pν m−1 (x)
√1 − x2 P m+1 (x) = 2mxP m (x) − (ν + m)(ν − m + 1)√1 − x2 P m−1 (x)
ν ν ν
(2.56)
を得ることができる.
¶ ³
命題 2.21 整数次のルジャンド ル陪関数 Pn m (x) について
Z 1£ ¤2 2 (n + m)!
Pn m (x) dx = · (0 ≤ m ≤ n) (2.57)
−1 2n + 1 (n − m)!
が成り立つ.
µ ´
を得る.これを繰り返し用いると
Z 1h i2 Z 1
m (n + m + 1) £ m ¤2
(2n + 3) Pn+1 (x) dx = (2n + 1) Pn (x) dx
1 (n − m + 1) −1
65
Z 1£
(n + m + 1) (n + m) ¤2
= (2n − 1) Pn−1 m (x) dx
(n − m + 1) (n − m) −1
···
Z 1£
(n + m + 1)(n + m) · · · (2m + 1) ¤2
= (2m + 1) Pm m (x) dx
(n − m + 1)! −1
dm Pm (x) (2m)!
となる.ここでロド リ−グの公式から m
= m であるから
dx 2 m!
Z 1 £ ¤2 Z 1
£ m ¤2 (2m)!
Pm (x) dx = 2m 2
(1 − x2 )m dx
−1 2 (m!) −1
£ ¤2 £ ¤2
(2m)! Γ(m + 1) 2(2m)!
= 2m 2
· 2 · 22m =
2 (m!) Γ(2m + 2) 2m + 1
を得る.したがって
Z 1£ ¤2 2(n + m + 1)!
(2n + 3) Pn+1 m (x) dx =
−1 (n − m + 1)!
となる.結局 Z 1£ ¤2 2 (n + m)!
Pn m (x) dx = ·
−1 2n + 1 (n − m)!
という公式を得る. ( 証明終わり)
と表すと Z
m (n + m)! 2π √
Pn (x) = (x + 1 − x2 i sin φ)n e−imφ dφ
2π n! 0
66
となる.被積分関数は φ の周期関数であるから,積分の下限,上限を 0, 2π から π/2, 5π/2
にしても積分の値は変わらない.よって
Z √
m (n + m)! e−mπi/2 2π
Pn (x) = (x + 1 − x2 i cos φ)n e−imφ dφ (2.58)
2π n! 0
67
となり,特に P−1/2+iσ (cos θ) 6= 0 (σ : 実数) である.また σ = ix (x : 実数) とす
ると
同様にして超越方程式
Pν m (cos θ) = 0 m : 正整数
の根もすべて実数であることを示すことができる.
次に超越方程式の根の個数について考える.(2.60) で示したルジャンド ル関数の漸
近形の n(整数) を複素数に拡張して
Γ(ν + m + 1) ³ 2 ´1/2 h¡ 1¢ mπ π i
Pν m (cos θ) ∼ cos ν + θ − −
Γ(ν + 1) νπ sin θ 2 2 4
68
¯ ¯
¯arg(ν)¯ ≤ π − ², ²>0 (2.63)
69
第3章 完全直交系について
内積の定義されているバナッハ空間をヒルベルト空間という.内積という概念が入る
ことにより,直交という概念が定義できる.可分なヒルベルト空間の場合,完全正規
直交系があって,どんな元もこの完全正規直交系の無限個の一次結合で表されること
が示される.尚,この章は,増田久弥著:関数解析( 裳華房)を参考にしまとめた.
3.1 Lp(Ω)
p を 1 ≤ p < ∞ を満たす実数とする.Rn の開集合 Ω 上の可測関数 u 全体に対して,
ノルムが
³Z ´ 1/p
k u kLp ≡ |u(x)|p dx <∞ (3.1)
Ω
が成り立つ.
µ ´
a, b ≥ 0 =⇒ ab ≤ p−1 ap + q −1 bq (3.3)
が成り立つから,
とおくと
70
Z Z Z
|u(x)| |v(x)| 1 1 p 1 1
dx ≤ |u(x)| dx + |v(x)|q dx = 1
Ω k u kLp k u kLq p k u kpLp Ω q k u kqLq Ω
となり,これから示すべき不等式を容易に得る. ( 証明終わり)
¶ ³
命題 3.2 (ミンコフスキ− (Minkowski) の不等式) 1 ≤ p < ∞ のとき
であり
³Z ¯ ¯p ´1/p ³Z ¯ ¯p ´1/p ³Z ¯ ¯p ´1/p
¯ ¯ ¯ ¯ ¯ ¯
¯u(x) + v(x)¯ dx ≤ ¯u(x)¯ dx + ¯v(x)¯ dx (3.4)
Ω Ω Ω
が成り立つ.
µ ´
|u + v|p−1 ∈ Lq (Ω)
である.ここでヘルダ−の不等式を用いて
Z ¯ ¯p−1 ¯ ¯ ³Z ¯ ¯(p−1)q ´1/q ³Z ¯ ¯p ´1/p
¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯
¯u(x) + v(x)¯ ¯u(x)¯ dx ≤ ¯u(x) + v(x)¯ dx ¯u(x)¯ dx
ZΩ ¯ ¯p−1 ¯ ¯
Ω
³Z ¯
Ω
¯(p−1)q ´1/q ³Z ¯ ¯p ´1/p
¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯
¯u(x) + v(x)¯ ¯v(x)¯ dx ≤ ¯u(x) + v(x)¯ dx ¯v(x)¯ dx
Ω Ω Ω
となるから
Z ¯ ¯p ³Z ¯ ¯p ´1/q
¯ ¯ ¯ ¯
¯u(x) + v(x)¯ dx ≤ ¯u(x) + v(x)¯ dx
Ω Ω
h³Z ¯ ¯p ´1/p ³Z ¯ ¯p ´1/p i
¯ ¯ ¯ ¯
× ¯u(x)¯ dx + ¯v(x)¯ dx
Ω Ω
71
Z ¯ ¯p ³Z ¯ ¯p ´1/q
¯ ¯ ¯ ¯
が成り立つ. ¯u(x) + v(x)¯ dx 6= 0 なら両辺を ¯u(x) + v(x)¯ dx で割ると求
Ω Z ¯ ¯p Ω
¯ ¯
める不等式を得る.また ¯u(x) + v(x)¯ dx = 0 なら明らかである. ( 証明終わり)
Ω
これらの不等式を用いて次の定理が導かれる.
¶ ³
p
定理 3.1 L (Ω) はノルム k u kLp によって完備なノルム空間(バナッハ空間)と
なる.
µ ´
証明:
Lp (Ω) がノルム空間であること
Lp (Ω) が線形空間であることは,命題 3.2 より
³ ´p ³ ´
|u(x) + v(x)|p ≤ |u(x)| + |v(x)| ≤ 2p−1 |u(x)|p + |v(x)|p
が成り立つ.
次に gn を
g1 (x) = |v1 (x)| x∈Ω
n−1
X (3.6)
gn (x) = |v1 (x)| +
|vk+1 (x) − vk (x)| n ≥ 2, x∈Ω
k=1
72
このとき
とおくと Z ³ ´p
g(x)p dx ≤ k v1 kLp +1
Ω
p
となり g ∈ L (Ω) である.
次に {vk } が収束しすることを示す.
k < m とすると
¯ ¯ m−1 ¯ ¯
¯ ¯ X¯ ¯
¯vm (x) − vk (x)¯ ≤ ¯vj+1 (x) − vj (x)¯ = gm (x) − gk (x) (3.7)
j=k
となる.よって
lim vn (x) = u∗ (x) a.e. x ∈ Ω
n→∞
となる u∗ が存在する.
更に u∗ ∈ Lp (Ω) である.
となり,m → ∞ とすれば
完備性について
¯ ¯p ³ ´p
¯ ¯
¯vk (x) − u (x)¯ ≤ |vk (x)| + |u∗ (x)|
∗
73
³ ´p
≤ gk (x) + |u∗ (x)|
³ ´p n o
≤ g(x) + |u∗ (x)| ≤ 2p−1 (gk (x))p + |u∗ (x)|p
であるから ¯ ¯p
¯ ¯
¯vk (x) − u∗ (x)¯
は Ω 上 k によらない可積分関数
n o
2p−1 (gk (x))p + |u∗ (x)|p
でおさえられる.また,
¯ ¯p
¯ ¯
¯vk (x) − u∗ (x)¯ → 0 (k → ∞)
であるから
k v k − u∗ k L p → 0 (k → ∞)
となる.いま {un } はコ−シ−列より任意の ² > 0 に対して N が存在して
k un − u∗ kLp → 0 (n → ∞)
を得る. ( 証明終わり)
3.2 ヒルベルト 空間
複素数体 C 上の線形空間 X の2点 x, y に対して,複素数 (x, y) が対応して,次の
1) ∼ 3) が満たされるとき (x, y) を内積と呼ぶ.
1) (x, x) ≥ 0 特に (x, x) = 0 ⇔ x = 0
2) (x, y) = (y, x)
3) (x1 + x2 , y) = (x1 , y) + (x2 , y) (α x, y) = α (x, y) α ∈ C
74
(x, α y) = α (x, y)
が成り立ち,一般化すると任意の αj , βj ∈ C と xj , yj ∈ X (j = 1, 2, . . . , n) に対して
³X
n n
X ´ Xn X
n
αj xj , βk yk = αj βk (xj , yk )
j=1 k=1 j=1 k=1
が成り立つ.
¶ ³
定理 3.2 プレ・ヒルベルト空間 X の各元 x に対して
k x k = (x, x)1/2
と定めると X はノルム空間となる.
µ ´
証明:ノルム空間であるための条件は
1) kxk≥0 2) kxk=0⇔x=0
3) k αx k = |α| k x k (α ∈ C) 4) kx+y k≤kxk+ky k
であるが 1) ∼ 3) については明らかである.
4) を示すためにシュワルツの不等式
|(x, y)| ≤k x k k y k
を示す.
まず (x, y) = 0 のときは明らか.
(x, y) 6= 0 のとき
α = −(x, y) / k y k2
とおくと
これより
k x + y k2 = (x + y, x + y)
=k x k2 +(x, y) + (y, x)+ k y k2
≤ k x k2 +2 k x k k y k + k y k2 = ( k x k + k y k )2
75
となり両辺の平方根をとれば 4) を得る. ( 証明終わり)
内積の連続性について
次にシュワルツの不等式を用いて内積が連続関数であることを示す.簡単な計算から
が成り立ち,シュワルツの不等式より
| (xn − x, yn − y) | ≤ k xn − x k k yn − y k
であるから,
xn → x, yn → y
とすると
k xn − x k→ 0, k yn − y k→ 0
である.したがって
(xn − x, yn − y) → 0
を得る.(xn − x, y), (x, yn − y) についても同様にでき (xn , yn ) → (x, y) を得る.よっ
て内積は連続関数である.
さてプレ・ヒルベルト空間 X は内積からノルムが定められノルム空間となるが,そ
のノルムに関して完備なとき X は ヒルベルト 空間 という.例として Ω を Rn の開集
合とし,u, v ∈ L2 (Ω) に対し
Z
(u, v) = u(t) v(t) dt (3.8)
Ω
3.3 射影定理・正規直交系
ヒルベルト空間 X の二つの部分集合 A, B が互いに直交するとは
L⊥ = {x ∈ X; x⊥L}
である.
L⊥ は X の閉部分空間になる.
なぜなら α, β ∈ C, x, y ∈ L⊥ に対して
76
よって L⊥ は X の部分空間である.また
un ∈ L⊥ , un =⇒ u ∈ X
とすると
(u, L) = lim (un , L) = 0 ゆえに u ∈ L⊥
n→∞
よって L⊥ は閉集合であり以上のことから閉部分空間である.
¶ ³
定理 3.3 (射影定理) X をヒルベルト空間とし ,L を X の閉部分空間とする.こ
のとき,任意の x ∈ X は
x=y+z y∈L z ∈ L⊥
と一意的に分解される.y を x の L の上への正射影という.このことを PL x = y と
表す.
µ ´
証明:まず一意性について示す.
0 0 0 0
x=y+z =y +z y, y ∈ L z, z ∈ L⊥
0 0 0 0
であるとすると,y − y = z − z となる.L ∩ L⊥ = {0} からあきらかに y = y , z = z
を得る.
次に分解の可能性について示す.
x ∈ X に対して,X から L への距離を δ とおく.すなわち
δ = inf k x − ξ k
ξ∈L
中線定理より
0 ≤ k ξn − ξm k2 =k (x − ξn ) − (x − ξm ) k2
= 2 k x − ξn k2 +2 k x − ξm k2 − k (x − ξn ) + (x − ξm ) k2
ξn + ξm 2
= 2 k x − ξn k2 +2 k x − ξm k2 −4 k x − k
2
77
≤ 2 k x − ξn k2 +2 k x − ξm k2 −4δ 2
を得る.m, n → ∞ とすると k x − ξn k→ δ, k x − ξm k→ δ であるから
k ξn − ξm k→ 0 となる.すなわち {ξn } はコ−シ−列である.
したがって {ξn } はある y ∈ X に収束するが,L が閉部分空間であるから y ∈ L で
ある.ゆえに δ = k x − y k である.
次に,z = x − y とおくとき z ∈ L⊥ であることを示す.
ξ ∈ L に対して
ϕ(t) = k z − γ t ξ k2 γ = (z, ξ), t∈R
とおく.いま y + γ t ξ ∈ L であるから
δ 2 = ϕ(0) ≤ ϕ(t)
となる.ここで
X = L ⊕ L⊥
と直和分解される.
次に X をヒルベルト空間とし {xk } を有限又は可算個の X の部分集合とし
が成り立つ.
¡ ¢ √
例 1) L2 (0, 1) において { 2 sin πjt}∞
j=1 は正規直交系である.
2
¡ ¢ 2πkti ∞
√
例 2) L (0, 1) において {e }k=0 (i = −1) は正規直交系である.
¶ ³
定理 3.4 (ベッセルの不等式) {xk } を X の正規直交系とすれば,任意の x ∈ X に
対して X
|(x, xk )|2 ≤ k x k2
k
が成り立つ.
µ ´
78
証明: αk = (x, xk ) とおくと
n
X
0≤kx− αk xk k2
k=1
n
X n
X n
X
= k x k2 − αk (x, xk ) − αk (xk , x) + αj αk (xj , xk )
k=1 k=1 j,k=1
Xn
= k x k2 − |αk |2
k=1
n
X
が成り立つ.よって |αk |2 ≤ k x k2 である.ここで n → ∞ とすればベッセルの
k=1
不等式を得る. ( 証明終わり)
X = L ⊕ L⊥
と直和分解される.すなわち,各 x ∈ X は
x=y+z (y ∈ L, z ∈ L⊥ )
と表される.このとき
y = PL x
と表す.
¶ ³
定理 3.5 {xk } によって生成される閉部分空間を L とすると
∞
X
L3y= αk xk (αk ∈ C)
k=1
である.
µ ´
n
X m
X
証明: L の要素 α j xj , α j xj , (m > n) にたいして
j=1 j=1
n
X m
X ³X
m m
X ´ m
X
2
k αj xj − αj xj k = α j xj , αk x k = |αj |2
j=1 j=1 j=n+1 k=n+1 j=n+1
79
m
X n
X
となる.n, m → ∞ とすれば |αj |2 → 0 より αj xj は L の収束列であり,L が
j=n+1 j=1
∞
X
閉部分空間であるから y = αj xj ∈ L である. ( 証明終わり)
j=1
¶ ³
0
定理 3.6 {xk } によって生成される閉部分空間を L とすると,任意の x, x ∈ X
に対して
X
PL x = (x, xk )xk (3.9)
k
X 0
(PL x, PL x ) = (x, xk )(x0 , xk ) (3.10)
k
である.
µ ´
∞
X
証明:前半 αj = (x, xj ) とおき,y = αj xj ∈ L とおくと,内積の連続性から
j=1
∞
X ∞
X
(x − y, xk ) = (x, xk ) − ( αj xj , xk ) = (x, xk ) − αj (xj , xk ) = 0
j=1 j=1
n
X
であるから x − y ⊥ xk である.したがって {xk } の線形結合 γk x k (γk ∈ C) とも
k=1
直交し,内積の連続性から
(x − y, ξ) = 0 ξ∈L
である.ゆえに z ≡ x − y ∈ L⊥ である.したがって
∞
X ∞
X
PL x = y = αj xj = (x, xj )xj
j=1 j=1
X X X∞ Xn
と表すことができる. ゆえに PL x = (x, xk )xk が成り立つ.但し , は ,
k k k=1 k
を表す.
0 0 0
後半 任意の x, x ∈ X に対して,αj = (x, xj ), αj = (x , xj ) とおくと,シュワルツ
の不等式とベッセルの不等式から
¯³X
n n
X ´¯ X n ³X
n ´1/2 ³X
n ´1/2
¯ 0 ¯ 0 0
|αj |2 |αj |2
0
¯ α j xj , αj xj ¯ ≤ |αj αj | ≤ ≤kxkkx k
j=1 j=1 j=1 j=1 j=1
∞
X 0
となり n → ∞ とすると αj αj は絶対収束する.よって
j=1
0
³X
n n
X 0
´ ∞
X ∞
X
0
(PL x, PL x ) = lim αj xj , αj xj = αj αj = (x, xj ) (x0 , xj )
n→∞
j=1 j=1 j=1 j=1
80
0
X
が成り立つ.ゆえに (PL x, PL x ) = (x, xk ) (x0 , xk ) ( 絶対収束)が成り立つ.
( 証明終わり)
k
3.4 完全性
¶ ³
定理 3.7 {xk } をヒルベルト空間の正規直交系とし ,{xk } で生成される閉部分空
間を L とする.このとき次の条件 (1) ∼ (5) は同値である.
(1) L = X X
(2) 任意の x ∈ X に対して x = (x, xk ) xk
k X
(3) 任意の x ∈ X に対して k x k = |(x, xk )|2 (パ−セヴァルの等式)
2
k X
0 0
(4) 任意の x, x ∈ X に対して (x, x ) = (x, xk ) (x0 , xk )
k
(5) 任意の x ∈ X に対して (x, xk ) = 0 ならば x = 0
µ ´
X
証明: (1) ⇒ (2):L = X より x = PL x = (x, xk )xk である.
kX
0 0
(2) ⇒ (4):(2) より (x, x ) = (PL x, PL x ) = (x, xk ) (x0 , xk ) となる.
Xk X
(4) ⇒ (3):k x k2 = (x, x) = (PL x, PL x) = (x, xk ) (x, xk ) = |(x, xk )|2 となる.
k k
(3) ⇒ (5):明らかである.
(5) ⇒ (1):もし x ∈ L⊥ とすると (x, xk ) = 0 (k = 1, 2 . . . ) となり仮定から x = 0 を
導く.ゆえに L⊥ = {0} である.射影定理から X = L を得る. ( 証明終わり)
© 1 1 1 ª∞
√ , √ sin nt, √ cos nt n=1
2π π π
は完全正規直交系をなす.
µ ´
証明:簡単のために
1 1 1
ϕ0 (t) = √ , ϕ2k (t) = √ cos nt, ϕ2k−1 (t) = √ sin nt
2π π π
81
とおく.ϕk (t) (k = 0, 1, 2, . . . ) が正規直交系をなすことは明らかである.完全性を示
すためには,x ∈ L2 (−π, π) に対して
Z π
x(t) ϕk (t) dt = 0 (k = 0, 1, . . . ) =⇒ x(t) ≡ 0
−π
となる.
0 0
積分区間 [−π, π] を I と [−π, π] \ I ≡ I に分解すると,|h(t)| < 1 (t ∈ I ) より
¯Z ¯ Z ¯ ¯
¯ n ¯ ¯x(t)¯ dt
¯ x(t) h (t) dt¯ ≤ (3.12)
I0 I0
となる.
00 0 0 0 00
また,I = [t0 − δ , t0 + δ ]
(0 < δ < δ) とおくと, h(t) ≥ 1 + η (t ∈ I ) とな
る η > 0 が存在する.よって
00
x(t) hn (t) ≥ ε (1 + η)n (t ∈ I )
であるから Z Z
n 0
x(t) h (t) dt ≥ x(t) hn (t) dt ≥ 2δ ε (1 + η)n
00
I I
n
となり,n → ∞ とすると (1 + η) → ∞ となり,上式の左辺 → ∞ となる.しかし
(3.11) より Z Z
x(t) hn (t) dt = − x(t) hn (t) dt
0
I I
Z
であり,(3.12) より x(t) hn (t) dt は有界であるから矛盾を導く.ゆえに x(t) ≡ 0
0
I
である.
次に x(t) が連続でない場合
Z t
y(t) = x(s) ds
−π
82
とおくと y(t) は [−π, π] 上連続で,仮定から x⊥ϕ0 であり, y(π) = y(−π) = 0 となる.
また Z π Z
1 h iπ 1 π
y(t) cos kt dt = y(t) sin kt − x(t) sin kt dt = 0
−π k −π k −π
であり,同様にして Z π
y(t) sin kt dt = 0
−π
X∞ ³ ´
1
x(t) = α0 + αn cos nt + βn sin nt (3.13)
2 n=1
と展開でき,係数 αk , βk は
Z Z
1 π 1 π
αk = x(t) cos kt dt, βk = x(t) sin kt dt
π −π π −π
このことを n に関する帰納法で示す.
y1 y2 − (y2 , x1 )x1
x1 = x2 =
k y1 k k y2 − (y2 , x1 )x1 k
············
83
n−1
X
yn − (yn , xj )xj
j=1
xn = n−1
X
k yn − (yn , xj )xj k
j=1
y2 − (y2 , x1 )x1 6= 0
(x, xk ) = 0 (k = 1, 2, . . . )
とする.このとき yk が x1 , x2 , . . . xk の一次結合で表されるから,
(x, yk ) = 0 (k = 1, 2, . . . )
がいえる.また,zk が y1 , y2 , . . . yk の一次結合で表されるから,
(x, zk ) = 0 (k = 1, 2, . . . )
84
がいえる.{zk } は X で稠密であるから
z kn → x (n → ∞)
1, t, t2 , . . . , tn , . . .
√ 1
を L2 (−1, 1) において直交化する.yn (t) = tn−1 とおくと,k y1 k= 2 より x1 (t) = √
r 2
2
となる.また (y2 , x1 ) = 0, k y2 k= であるから
3
r
y2 − (y2 , x1 )x1 3
x2 (t) = = t
k y2 − (y2 , x1 )x1 k 2
1 dn 2
Pn (t) = n n
(t − 1)n
2 n! dt
と定義すると,Pn (t) は n 次の多項式であって
Z 1
2
Pn (t)Pm (t) dt = δnm
−1 2n + 1
が成り立ち,{Pn } は一次独立であることは明らかである.そこで
³ 1 ´1/2
xn+1 (t) = n + Pn (t) (3.15)
2
と定めると {xn } は (3.14) を満たす正規直交系であることがわかる.(3.14) を満たす
正規直交系はシュミットの直交化法によって構成されたものに限るから (3.15) が求め
る {xn } である.
3.6 フ−リェ・ベッセル展開
Jν (αx), Jν (βx) の満足する微分方程式から
85
ν > −1 であれば実数軸の上で 0 から 1 まで積分でき
Z 1
1 n 0 0
o
Jν (αx)Jν (βx) x dx = 2 α J ν (α)J ν (β) − β J ν (α)J ν (β) (3.17)
0 β − α2
を得る.ゆえに
Jν (x) = 0
の正根を j1 , j2 , . . . とするとき,すなわち
とおくとき
Z x Z 1
1 1 ν
lim tν+1 Tn (t, x) dt = xν , lim tν+1 Tn (t, x) dt = x (3.20)
n→∞ 0 2 n→∞ x 2
が成り立つ.
µ ´
86
証明は G.N.Watson [18] の [18.21],[18.22] を参照.
¶ ³
√
補題 3.2 区間 (0, 1) で有界変動で, xf (x) が 2 乗可積分な関数で,区間 (a, b) が
(a, b) ⊂ [0, 1] で,x ∈
/ [a, b], 0 < x < 1 であるとき,n を十分大きくとると
Z b
tf (t)Tn (t, x) dt = o(1) (3.21)
a
これらの補題をもちいて次の定理が証明される.
¶ ³
√
定理 3.10 区間 (0, 1) で xf (x) が 2 乗可積分で有界変動な関数 f (x) において,区
間 (a, b) を 0 < a < b < 1 とし,区間 (a, b) の任意な x に対して
1n o X ∞
f (x + 0) + f (x − 0) = am Jν (jm x)
2 m=1
Z 1
2
但し am = 2 t f (t) Jν (jm t) dt (ν + 1/2 ≥ 0) (3.23)
Jν+1 (jm ) 0
と表される.
µ ´
証明:補題 3.1 より
n
X Z 1
am Jν (jm x) = t f (t) Tn (t, x) dt (3.24)
m=1 0
1n o
f (x + 0) + f (x − 0)
2
87
Z x Z 1
−ν ν+1 −ν
= lim x f (x − 0) t Tn (t, x) dt + lim x f (x + 0) tν+1 Tn (t, x) dt (3.25)
n→∞ 0 n→∞ x
が成り立つ. ここで
Z x n o
ν+1 −ν −ν
Sn (x) ≡ t t f (t) − x f (x − 0) Tn (t, x) dt
0
Z 1 n o
+ tν+1 t−ν f (t) − x−ν f (x + 0) Tn (t, x) dt (3.26)
x
χ1 (x + 0) = χ2 (x + 0) = 0
となる. したがって
Z 1 n o
tν+1 t−ν f (t) − x−ν f (x + 0) Tn (t, x) dt
x
Z 1 n o
ν+1 −ν −ν
= t t f (t) − x f (x + 0) Tn (t, x) dt
x+δ
Z x+δ Z x+δ
ν+1
+ t χ1 (t) Tn (t, x) dt − tν+1 χ2 (t) Tn (t, x) dt
x x
となる. また,第2平均値の定理より
Z x+δ Z x+δ
ν+1
t χ1 (t) Tn (t, x) dt = χ1 (x + δ) tν+1 Tn (t, x) dt
x x+ξ
88
となる. 同様にして第3項も 2εU を超えないから,結局 n を十分大きくとれば
¯ ¯
¯ ¯
¯Sn (x)¯ < (8U + 2) ε
であることがわかる.他の積分についても同様に示すことができる. 更に x = 0, 1 の
Xn
近傍における収束を考えると, am Jν (jm x) は,n → ∞ のとき (0, 1) 上 f (x) に一様
m=1
に収束する. したがって,{Jν (jm x)}∞ 2
m=1 の生成する部分空間は,L [(0, 1), x dx] で稠
密であるから,定理 3.7 より完全である. ( 証明終わり)
89
第 4 章 ポテンシャル論
引力を及ぼす物質が球形の分布をなすことから球面関数の応用として,ポテンシャル
関数 V の計算に特殊関数がもちいられる.点 P におけるポテンシャル関数 V は,点
P が物質の内または外によって,ラプラスの方程式またはポアッソンの方程式を満足
し,これらの偏微分方程式を変数分離法で解くうえで特殊関数が現れてくる.
4.1 ポテンシャルの概念
3 次元ユ−クッリド 空間内に質点 P( 質量 MP )と質点 Q( 質量 MQ )があり,質点
P に働く力を FP とする.重力定数を G とすれば
0
x−x
FP = −G MP MQ (4.1)
|x − x0 |3
0 0 0 0 0
但し,x = (x, y, z) は P の位置ベクトル,x = (x , y , z ) は Q の位置ベクトルで x 6= x
G MP MQ
とする.このとき,質点 P, Q の間に働く引力 F の大きさは であり 2 質点
|x − x0 |2
P Q を結ぶ方向を向いている.(4.1) を変形すると
³ ∂ ∂ ∂ ´ GM
Q 0
FP = MP · , , x 6= x
∂x ∂y ∂z |x − x0 |
となり,位置関数 V (x) を
G MQ
V (x) = − (4.2)
|x − x0 |
と定義すれば,P に作用する力は
³∂ ∂ ∂ ´
FP = −MP · gradV = −MP , , V (4.3)
∂x ∂y ∂z
4.2 ラプラスとポアッソンの方程式
3 次元空間のある有限部分 Ω 内に物質( 又は電荷)が分布しているとする.Ω 内の
1 点 x0 にある微小な体積要素 dτ0 = dx0 dy0 dz0 は質量 ρ(x0 ) dτ0 をもっているとする.
90
そして,ρ(x0 ) は積分可能であると仮定する.この質量による点 P (x, y, z)( 必ずしも
Ω の内部の点とは限らない)におけるポテンシャルの値は
−G ρ(x0 ) dτ0
|x − x0 |
である.したがって,Ω 内にあるすべての物質による P でのポテンシャル V の値は
Z Z Z
ρ(x0 )
V (x) = −G dτ0 (4.4)
Ω |x − x0 |
で与えられる.これから
Z Z Z n ∂2 h io
∂2V 1
= −G ρ(x0 ) dτ0 (4.5)
∂x2 Ω ∂x2 |x − x0 |
を得る.
点 P (x, y, z) が Ω の外部にあるとき
∂2 h 1 i 1 3(x − x0 )2
= − + (4.6)
∂x2 |x − x0 | |x − x0 |3 |x − x0 |5
より,x が Ω の外部の点であれば右辺は有限で定まった値をもつ.y, z についても同様
にすると
³ ∂2 ∂2 ∂ 2 ´h 1 i
+ + =0
∂x2 ∂y 2 ∂z 2 |x − x0 |
を得る.故に
∂ 2V ∂2V ∂ 2V
+ + =0 (4.7)
∂x2 ∂y 2 ∂z 2
∂2 ∂2 ∂2
というラプラスの方程式が成り立つ.以後,簡単のため ∇2 ≡ + + と表
∂x2 ∂y 2 ∂z 2
すと (4.7) は ∇2 V = 0 と表される.
点 P (x, y, z) が Ω の内部にあるとき
0 0 0 0 0
Ω の内部の点 P (x , y , z ) を中心とする半径 ² の球をとりそれを E で表す.|x − x | < ²
とすると
V (x) = VE (x) + VΩ−E (x)
と表され,点 P (x) が Ω − E の外にあるから ∇2 VΩ−E (x) = 0 となる.VE (x) を求める
ために二つの部分に分けて
nZ ρ(x0 ) Z 0
ρ(x0 ) − ρ(x ) o
VE (x) = −G dτ0 + dτ0 ≡ V1 (x) + V2 (x)
E |x − x0 | E |x − x0 |
0
と表す.第一項は密度 ρ(x ) である一様な球によるポテンシャルで,第二項は密度分布
0
が ρ(x0 ) − ρ(x ) である球によるポテンシャルである.密度 ρ(x) が位置の連続関数で
あれば ² を小さくすることにより V2 (x) をいくらでも小さくすることができる.した
がって,V1 (x) についてのみ考えれば十分である.そのために
91
z
²
P (x)
r P0 (x0 )
θ
0 0
r0
P (x )
y
ϕ
図 4.1:
0 0
|x − x | = r, |x0 − x | = r0
0 0
とおき,x − x と x0 − x のなす角を θ とおくと
Z ² Z π
0 2 sin θ dθ
V1 (x) = −G ρ(x ) 2π r0 dr0 2 2 1/2
0 0 (r + r0 − 2rr0 cos θ)
となる.
Z π
sin θ dθ 1 h 2 2 1/2
iθ=π
= (r + r0 − 2rr 0 cos θ)
0 (r2 + r0 2 − 2rr0 cos θ)1/2 rr0 θ=0
(
2/r r ≥ r0
=
2/r0 r ≤ r0
であるから ³ ´
2 2 0
V1 (x) = −2π G ρ(x ) ² − r /3
を得る.よって
³ ∂2 2 ∂´ 0
2
∇ V1 (x) = 2
+ V1 = 4π G ρ(x )
∂r r ∂r
0
を得る.² → 0 のとき ρ(x ) → ρ(x) であるからポアッソン (Poisson) の方程式
∂ 2V ∂ 2V ∂2V
+ + = 4π G ρ(x) (4.8)
∂x2 ∂y 2 ∂z 2
という結果を得る.
92
注意
ここでは重力を例にとって,ポテンシャル関数の方程式を導いたが,電荷の間に作
用する力についても同様の偏微分方程式を満足する.このとき異なるのは Gρ が電荷
の密度分布に変わるだけである.したがって,二つの場合を同じ様に扱うために G = 1
とし,以下あらためて
∂ 2V ∂2V ∂ 2V
+ + = 4π ρ(x) (4.9)
∂x2 ∂y 2 ∂z 2
をポアッソンの方程式と呼ぶことにする.ポアッソンの方程式に対しては重ね合わせ
の原理が成り立つ.すなわち ρ1 (x), ρ2 (x) を別々の関数としたとき
∇2 V1 = 4π ρ1 , ∇2 V2 = 4π ρ2
4.3 球座標によるラプラス方程式の一般解
球座標 (r, θ, ϕ) を用いたときラプラスの方程式は
∂ 2V 2 ∂V 1 ³ ∂ 2V ∂V 1 ∂ 2V ´
+ + + cot θ · + =0 (4.10)
∂r2 r ∂r r2 ∂θ2 ∂θ sin2 θ ∂ϕ2
となる.変数分離法を用いるため
とおくと (4.10) は
r2 ³ d2 R 2 dR ´ 1 ³ d2 Θ dΘ ´ 1 d2 Φ
+ + + cot θ + =0
R dr2 r dr Θ dθ2 dθ Φ sin2 θ dϕ2
となる.A を分離定数とすると
d2 R 2 dR A
+ − 2 R=0 (4.11)
dr2 r dr r
sin2 θ ³ d2 Θ dΘ ´ 2 1 d2 Φ
+ cot θ + A sin θ = − (4.12)
Θ dθ2 dθ Φ dϕ2
となる.さらに,(4.12) の分離定数を m2 とおくと
d2 Φ
+ m2 Φ = 0 (4.13)
dϕ2
d2 Θ dΘ m2
+ cot θ + A Θ − Θ=0 (4.14)
dθ2 dθ sin2 θ
となる.
Φ(ϕ) の微分方程式について
93
ポテンシャルは位置の連続関数であるから ϕ = 0 と ϕ = 2π におけるポテ
ンシャルの値は一致する.よって m は整数である.ゆえに一般解
を得る.
Θ(θ) の微分方程式について
d2 u du
(1 − x2 ) − 2x + ν(ν + 1)u = 0
dx2 dx
の解とするとき,
dm u
w = (1 − x2 )m/2
dxm
とおくことによって得る.
1. ν が整数のとき Pν (z) は
σ
X (−1)s (2n − 2s)!
Pn (z) = n
z n−2s
s=0
2 s!(n − 2s)!(n − s)!
Γ(ν + m + 1) ³ z − 1 ´m
∞
X
|z−1| < 2 での級数解 Pν (z) =
m=0
(m!)2 Γ(ν + 1 − m) 2
を |z + 1| < 2 に解析接続して
n z+1 z+1 o
Pν (z) = APν (−z) + B Pν (−z) log + g( )
2 2
となる.但し,g は |z + 1| < 2 で正則な関数である.特に ν
が整数でないときは,B 6= 0 であり z = −1 において対数的
特異点をもつ.
94
3. Qν (z) を積分表示すると
Z 1
1 (1 − t2 )ν
Qν (z) = ν+1 ν+1
dt z ∈
/ (−∞, 1] Re(ν) ≥ −1/2
2 −1 (z − t)
95
4.4 球面調和関数
ラプラスの方程式
∂ 2V ∂ 2V ∂ 2V
∇2 V = + + =0
∂x2 ∂y 2 ∂z 2
の解で x, y, z に関して n 次の同次多項式であるものを n 次の 体球調和関数 又は単に
体球関数 とよぶ.
V (x, y, z) の独立な項数
V (x, y, z) を n 次の体球関数とすると
X
V (x, y, z) = ap,q,r xp y q z r (4.17)
p+q+r=n
と表され,これを z のベキに着目し整理して
n
X
V (x, y, z) = ϕk (x, y) z n−k
k=0
と書けば,
ϕ0 は実数
ϕ1 は x, y の1次の同次式 a1,0,n−1 x + a0,1,n−1 y
ϕk は k 次の同次式
(n + 1)(n + 2)
1 + 2 + · · · + (k + 1) + · · · + n + (n + 1) = 個
2
である.ところが ∇2 V は n − 2 次の同次多項式であるから,上と同様に考えて
係数の総個数は (n − 1)n/2 個
1 ∂ p+q+r V
ap,q,r = p+q+r =n (4.18)
p! q! r! ∂xp ∂y q ∂z r
96
で与えられるが,
∂2V ³ ∂2V ∂ 2V ´
= − +
∂z 2 ∂x2 ∂y 2
より,z に関する偏導関数中 r ≥ 2 のすべての項は,r = 0,もしくは r = 1 で x, y に
関して高い偏導関数で表すことができる.よって,
n + 1 個の ap,q,0 (p + q = n) 及び n 個の ap,q,1 (p + q = n − 1)
によって他のものを表すことができる.すなわち,ap,q,r で r ≥ 2, p + q + r = n の形
の係数は,p + q + r = n の制限下のもと r = 0 もしくは r = 1 の 2n + 1 個の係数で表
すことができる.
球面調和関数
直角座標から球座標に移すと
V = rn fn (θ, ϕ) (4.19)
1 ∂³ ∂fn ´ 1 ∂ 2 fn
sin θ + + n(n + 1) fn = 0 (4.20)
sin θ ∂θ ∂θ sin2 θ ∂ϕ2
球面調和関数の独立な基本解
さて (4.20) を変数分離を用いて fn (θ, ϕ) = Θ(θ) Φ(ϕ) として (4.13), (4.14) と同様
にして解くと 2n + 1 個の基本解
を得る.これらが互いに線形的に独立な関数であることは,単位球面上 0 ≤ θ ≤
π, −π ≤ ϕ ≤ π で正規直交系をなすことからわかる.(4.21) に rn をかけてもと
の変数 x, y, z で書けば,いずれも x, y, z にかんして n 次の同次多項式であり,ラプラ
スの方程式の解より n 次の体球関数である.これらが互いに独立であることは (4.21)
が直交系をなすことから明らかである.これらのことから n 次の体球関数 V は
n
X ³ ´
n m
V =r Pn (cos θ) An,m cos mϕ + Bn,m sin mϕ (4.22)
m=0
と表すことができる.
97
z P
P0
ϕ0
y
x
図 4.2:
4.5 球座標による円環のポテンシャル
円環の中心を原点とし,環の平面を (x, y) 平面とし垂直に z 軸をとる.円環の半径が
a,物質(又は電荷)分布が一様で線密度を σ ,環の微小部分を ds0 とすると点 P (x, y, z)
におけるポテンシャルは Z
σ ds0
V (x) = −
|x − x0 |
である.z ≥ 0 としても一般性を失わない.図 4.2 のように角 ϕ0 をとれば
|x − x0 |2 = R2 + a2 + z 2 − 2a R cos ϕ0 但し R2 = x2 + y 2 (R > 0)
であるから Z π
dϕ0
V (x) = −σ a p
−π R2 + a2 + z 2 − 2a R cos ϕ0
と変形される.ここで
p2 = (R + a)2 + z 2 q 2 = (R − a)2 + z 2
とおけば
ϕ0 ϕ0
R2 + a2 + z 2 − 2a R cos ϕ0 = p2 sin2 + q 2 cos2
2 2
となるから,ポテンシャルは
Z π
dϕ0
V (x) = −2σ a r
0 ϕ0 ϕ0
p2 sin2 + q 2 cos2
2 2
で与えられる.
z 軸上 (R = 0) での級数展開
R = 0 のとき,すなわち p2 = q 2 = a2 + z 2 のとき
2π σ a M
VR=0 = − √ =− √ 但し M = 2π σ a (4.23)
a2 + z 2 a2 + z 2
98
を得る.これを級数に展開すると
M X (−1)n (2n − 1)!! ³ z ´2n
∞
−
a z<a
n=0
(2n)!! a
VR=0 = (4.24)
M X (−1)n (2n − 1)!! ³ a ´2n
∞
− z>a
z n=0 (2n)!! z
となる.
z 軸上 (θ = 0) での球面調和関数による展開
(4.23) はラプラスの方程式を満足するから極座標で表せば (4.16) の重ね合わせであ
らわされる.円環は軸対象であるから ϕ に依存しないことに注意すると
∞
X
V = (αn rn + βn r−n−1 )Pn (cos θ) αn , βn : 定数 (4.25)
n=0
と表すことができる.(4.23) は θ = 0, r = z のときであるから
X∞
βn −n
Vθ=0 = (αn z n + z )
n=0
z
となる.
Mn 1 ¡ r ¢2 3 ¡ r ¢4 5 ¡ r ¢6 o
V =− 1− P2 (cos θ) + P4 (cos θ) − P6 (cos θ) + · · · r<a
a 2 a 8 a 16 a
(4.26)
M n 1 ¡ a ¢2 3 ¡ a ¢4 5 ¡ a ¢6 o
V =− 1− P2 (cos θ) + P4 (cos θ) − P6 (cos θ) + · · · r>a
r 2 r 8 r 16 r
(4.27)
99
4.6 球座標による薄い円板のポテンシャル
半径 a,面密度 σ の薄い円板を考える.円板のポテンシャルは半径の異なった円環
のポテンシャルを加え合わせたものであるから,円板に垂直でその中心を通る z 軸上
でのポテンシャルは (4.23) より
Z a √
2π σ a da
V =− √ = −2π σ ( a2 + z 2 − z)
0 a2 + z 2
(−1)n−1 (2n − 3)!! ³ a ´2n
X∞
= −2π σ z z>a (4.28)
n=1
(2n)!! z
を得る.故にポテンシャルは
2π σ a2 n 1 1 ¡ a ¢2 1 ¡ a ¢4 o
V (r, θ) = − − P2 (cos θ) + P4 (cos θ) + · · · r > a (4.29)
r 2 8 r 16 r
となる.r < a についても同様にすると
n ¡r¢ 1 ¡ r ¢2 o
V (r, θ) = −2π σ a 1 − P1 (cos θ) + P2 (cos θ) + · · · r<a (4.30)
a 2 a
となる.
4.7 両曲面のポテンシャルの関係
N
V1
θ
π−θ
V2
図 4.3:
100
ある曲面上に物質が分布してその面密度が σ であるとする.いまポテンシャル V に
対して
³ ∂V ∂V ∂V ´
(u, v, w) = , ,
∂x ∂y ∂z
とおくと,ポアッソンの方程式 (4.9) は物質密度 ρ(x) を用いて
∂u ∂v ∂w
+ + = 4π ρ(x)
∂x ∂y ∂z
と表すことができ
Z Z Z ³ Z Z Z
∂u ∂v ∂w ´
+ + dx dy dz = 4π ρ(x) dx dy dz
V ∂x ∂y ∂z V
を得る.ここで右辺の V として,物質の分布している曲面を含む小さな薄い直方体に
とり無限に薄くした極限では
4πσ × 直方体に含まれる曲面の面積
となる.
一方,ガウスの定理から
Z Z Z ³ Z Z
∂u ∂v ∂w ´
+ + dx dy dz = (l u + m v + n w) dS (4.31)
V ∂x ∂y ∂z S
4.8 薄い球殻のポテンシャル
半径 a の薄い球殻の上に物質( 又は電荷)が分布しているときポテンシャルを求め
ることを考える.球座標 (r, θ, ϕ) を用いると球殻以外の点ではポテンシャルは (4.16) の
重ね合わせとして表すことができる.しかし ,r < a のとき,球殻から有限距離はな
れた点でのポテンシャルが特異点をもつことは許されないから β = 0 である.よって
X ¡ ¢
V2 = rn Pn m (cos θ) γn,m cos mϕ + δn,m sin mϕ (0 ≤ m ≤ n, r < a) (4.33)
n,m=0
101
となる.但し ,γn,m , δn,m は定数である.そして,r > a のとき,ポテンシャルは
r → ∞ で有限な一定値に収束しなければならないから α = 0 である.したがって
X ¡ 0 0 ¢
V1 = r−n−1 Pn m (cos θ) γn,m cos mϕ + δn,m sin mϕ (0 ≤ m ≤ n, r > a)
n,m=0
(4.34)
0 0
となる.但し,γn,m , δn,m は定数である.
面密度の球面関数による表現
さて球殻の上で物質の面密度を σ(θ, ϕ) で表し ,連続で有界変動な関数とする.4.4
節で述べたように,関数形
Pn m (cos θ) eimϕ (0 ≤ m ≤ n)
が球面上で直交関数系をなすことから,σ(θ, ϕ) を展開して
X ³ ´
σ(θ, ϕ) = Pn m (cos θ) Cn,m cos mϕ + Dn,m sin mϕ (4.35)
n,m=0
と表すことができ,三角関数の直交性から
Z
m 1 2π
Cn,m Pn (cos θ) = σ(θ, ϕ) cos mϕ dϕ
π 0
Z
m 1 2π
Dn,m Pn (cos θ) = σ(θ, ϕ) sin mϕ dϕ
π 0
となる.但し,n = 0, 1, 2, · · · : m = 0, 1, 2, . . . , n で m = 0 のとき分母の 2π は 4π
に置き換える. よって σ(θ, ϕ) が与えられれば係数 Cn,m , Dn,m は一意的に決まる.
面密度が与えられたときの V1 , V2
次に , ラプラス方程式の解 V1 (r, θ, ϕ), V2 (r, θ, ϕ) の関係について考える.(4.32) より
N として球殻の外向きの法線にとれば r = a において
∂V1 ∂V2 X ¡ 0 0 ¢
− =− (n + 1)r−n−2 Pn m (cos θ) γn,m cos mϕ + δn,m sin mϕ
∂r ∂r n,m=0
X ¡ ¢
− nrn−1 Pn m (cos θ) γn,m cos mϕ + δn,m sin mϕ
n,m=0
102
X ³ ´
= 4π Pn m (cos θ) Cn,m cos mϕ + Dn,m sin mϕ r=a
n,m=0
である.また,ポテンシャルは位置の連続関数であるから r = a で V1 = V2 となる.
よって
( 0
a−n−1 γn,m = an γn,m
0
a−n−1 δn,m = an δn,m
が成り立つ.これらの四つの式から
0
(2n + 1) γn,m = −4π a−n+1 Cn,m (2n + 1) γn,m = −4π an+2 Cn,m
0
(2n + 1) δn,m = −4π a−n+1 Dn,m (2n + 1) δn,m = −4π an+2 Dn,m
を得る.故にポテンシャルは
X 1 ³ a ´n+1 ³ ´
m
V1 = −4πa Pn (cos θ) Cn,m cos mϕ + Dn,m sin mϕ r>a
n,m
2n + 1 r
(4.36)
X 1 ³ r ´n ³ ´
V2 = −4πa Pn m (cos θ) Cn,m cos mϕ + Dn,m sin mϕ r<a
n,m
2n + 1 a
(4.37)
となる.
∂ 2 fn ∂fn 1 ∂ 2 fn
+ cot θ + + n(n + 1)fn = 0 (4.38)
∂θ2 ∂θ sin2 θ ∂ϕ2
∂ 2 fn ∂fn 1 ∂ 2 fn
sin θ fm + cos θ f m + f m + n(n + 1)fn fm sin θ = 0
∂θ2 ∂θ sin θ ∂ϕ2
103
となる.m と n をいれかえて辺々差をとると
∂n ³ ∂f
n ∂fm ´o 1 ³ ∂ 2 fn ∂ 2 fm ´
sin θ fm − fn + fm − f n
∂θ ∂θ ∂θ sin θ ∂ϕ2 ∂ϕ2
n o
= m(m + 1) − n(n + 1) fm fn sin θ
が成り立つ.すなわち,次元の異なる球面関数は球面上で直交する.
fn · gn の球面上での積分
次に,二つの n 次の球面関数 fn , gn の積を球面上で積分することを考える.それぞ
れの n 次の球面関数を
n
X ¡ ¢
fn (θ, ϕ) = Am cos mϕ + Bm sin mϕ Pn m (cos θ) (4.40)
m=0
Xn
¡ ¢
gn (θ, ϕ) = Cm cos mϕ + Dm sin mϕ Pn m (cos θ) (4.41)
m=0
104
を得る.
fn · Pn (cos θ) の球面上での積分
0 0
さて (θ, ϕ) の方向が定方向 (θ , ϕ ) とのなす角を ω とすると
0 0 0
cos ω = cos θ · cos θ + sin θ sin θ cos(ϕ − ϕ )
A0 Pn (1) = A0 = f¯n (ω = 0, ψ) = fn (θ , ϕ )
0 0
球面関数の加法定理
0 0
また Pn (cos ω) は (θ , ϕ ) を固定して (θ, ϕ) の関数と見なせば n 次の球面関数である
から
n
X
Pn (cos ω) = (Am cos mϕ + Bn sin mϕ) Pn m (cos θ)
m=0
0 0
と展開でき係数 Am , Bm は (θ , ϕ ) の関数となる.事実 fn (θ, ϕ) = Pn m (cos θ) cos mϕ
として (4.44) の左辺の計算をすると
Z 2π Z π nX
n o
m
dϕ Pn (cos θ) cos mϕ (Ak cos kϕ + Bk sin kϕ) Pn k (cos θ) sin θ dθ
0 0 k=0
105
Z π n o2
m
= πAm Pn (cos θ) sin θ dθ
0
2π(n + m)!
= Am
(2n + 1)(n − m)!
但し,m = 0 のとき 2π は 4π になる.
となり,(4.44) の結果から
2π(n + m)! 4π 0 0 4π 0 0
Am = fn (θ , ϕ ) = Pn m (cos θ ) cos mϕ
(2n + 1)(n − m)! 2n + 1 2n + 1
を得る.故に
2(n − m)! m 0 0
Am = Pn (cos θ ) cos mϕ
(n + m)!
但し,m = 0 のとき係数 2 は現れない.
2(n − m)! m 0 0
Bm = Pn (cos θ ) sin mϕ
(n + m)!
を得る.よって Pn (cos ω) の展開式に代入すると
Xn
0 (n − m)! m 0 0
Pn (cos ω) = Pn (cos θ)Pn (cos θ ) + 2 Pn (cos θ)Pn m (cos θ ) cos m(ϕ − ϕ )
m=1
(n + m)!
(4.45)
0 0 0
但し . cos ω = cos θ cos θ + sin θ sin θ cos(ϕ − ϕ )
4.10 円柱座標による薄い円板のポテンシャル
直角座標 (x, y, z) にたいして
ラプラス方程式の一般解
変数分離法を用いて
V = R(r) Θ(θ) Z(z)
とおけば,ラプラスの方程式は
1 ³ d2 R 1 dR ´ 1 1 d2 Θ 1 d2 Z
+ + + =0
R dr2 r dr r2 Θ dθ2 Z dz 2
106
となる.分離定数を α2 (α > 0) とすると
d2 Z
2
= α2 Z
dz
r2 ³ d2 R 1 dR ´ 2 2 1 d2 Θ
+ + α r = −
R dr2 r dr Θ dθ2
を得る.第二式の分離定数を n2 とすると
関数 Θ(θ) について
Θ の θ = 0, 2π における値は等しいから n は整数でなくてはならない.
関数 Z(z) について
z → +∞ のとき eαz → +∞
z → −∞ のとき e−αz → +∞
関数 R(r) について
よってラプラスの方程式の一つの解として
を得る.α, n の値をもつ解を重ね合わせると一般解は
XZ ∞ ³ ´
V (r, θ, z) = Jn (αr) e−α|z| An (α) cos nθ + Bn (α) sin nθ dα (4.48)
n 0
107
と表される.
X∞
(−1)m ρ2m π 2 2
= −2π 2 2m 2m+2
Γ(m + 1) = − 2 e−ρ /4a (4.52)
m=0
(m!) 2 2a a
108
を得る.一般の z の値に対しては既知の関数で表現することはできないが z = 0 では
この積分の値を計算することができる.
特に z = 0 の場合
ベッセル関数の積分表示 (1.13) より
Z π
1
J0 (αr) = cos(αr cos θ) dθ
π 0
であるから
Z
π ∞ 2 2
V (r, θ, 0) = − 2 J0 (αr) e−α /4a dθ
a 0
Z Z ∞
1 π 2 2
=− 2 dθ cos(αr cos θ) e−α /4a dα
a 0 0
√ Z
π −r2 a2 /2 π (−r2 a2 cos 2θ)/2
=− e e dθ
a 0
( 2θ = ϕ とおくと )
√ Z
π −r2 a2 /2 1 π ³ −r2 a2 cos(ϕ/2) 2 2
´
=− e · e + er a cos(ϕ/2) dϕ
a 2 0
√ √
π π −r2 a2 /2 a2 r 2 π π −r2 a2 /2 a2 r2
=− e J0 (i )=− e I0 ( )
a 2 a 2
となる.
109
第5章 熱伝導論
熱伝導は特殊関数がその重要性を発揮する分野である.熱伝導の基礎方程式は拡散方
程式や中性子の輸送方程式と形式的には同一であり,物理学上重要な問題である.こ
の章で温度,比熱という言葉をもちいるが,それらの言葉を置き換えるだけで他の現
象に応用できるのである.さて,この章では熱伝導理論の基本的命題として考えられ
∂T
ている,等温面での熱流束が −K (K : 熱伝導係数) で得られることを認めて理論
∂N
を展開する.そして,ここでは熱膨張が重要となる大きな温度変化については扱わな
いことにする.
5.1 熱伝導の基礎方程式
温度が一定値である曲面を等温面とよぶ.等温面は無限個存在するが,異なった温
度に対する等温面は決して交わることはない.一般にある単位面積を通して単位時間
に流れる熱量を 熱流束 という.熱伝導係数を K ,物体内の温度を T ,等温面に垂直な
方向微分を ∂/∂N とするとき,等温面の一方 S1 から S2 への方向を正とすると,S1 か
ら S2 への熱流束は
∂T
−K
∂N
で与えられる.
必ずしも等温面の一部でない微小な面積 dS を考えて,その面積を通じて単位時間
L
N
S2
dS
S1
図 5.1:
に流れる熱量を求める.その面積の単位法線を L,その点を通る等温面の単位法線を
110
N とすると dS を通過する熱量は,単位時間あたり
∂T
−K (L · N) dS = −K (L · grad T ) dS (5.1)
∂N
である.但し,( · ) は内積を示す.S を任意の閉曲面とし,その内部に熱源がないと
すると,S を通して時間 dt の間に流入した熱量は熱力学の第一法則により S で囲まれ
た部分の熱量の増加に等しい.この増加分は
Z
∂T
dt ρ Cv dτ 但し dτ = dx dy dz, ρ : 密度, Cv : 定積比熱 (5.2)
V ∂t
である.S を通して流入する熱量は L を外向き単位法線とすればガウスの定理より
Z Z
dt K L · grad T dS = dt div(K grad T ) dτ
S V
となる.よって Z n
∂T o
div(K grad T ) − ρ Cv dτ = 0
V ∂t
を得る.しかし,体積は任意であるからかっこの中は 0 である.すなわち
∂T
ρ Cv = div(K grad T ) (5.3)
∂t
を得る.これが熱伝導の基礎方程式である.特に熱伝導係数 K が位置によらず,また
ρ Cv も一定値をとるとき,この方程式は
∂T K
= κ ∇2 T, κ= : 温度伝導度係数 (5.4)
∂t ρ Cv
という形をとる.考えている物体が熱的に定常になったとき ∂T /∂t = 0 より,(5.4) は
ラプラスの方程式に帰着される.さらに,体積 dτ から発生する熱量が Qdτ · dt である
ときは
∂T
ρ Cv = div(K grad T ) + Q (5.5)
∂t
が熱伝導の基礎方程式となる.
5.2 境界での熱の輻射
異なった物理的性質(熱伝導係数,比熱,密度)をもつ二つの物体が接触しているとき
満たされる条件考える.境界条件には二つの事柄が考えられ,第一は境界で 温度 T は連
続であること,第二は入ってくる熱流束と出ていく熱流束は熱の源がない限り同じであ
ることである.物体が真空と接しているとき,物体表面を黒体と見なすことができれば,
その表面の単位面積から毎秒失われる熱量は σ T 4 (σ : ステファン・ボルツマン定数)
である. 現実の物体はこれに E( 輻射能)を掛けた割合で熱を失うから,境界条件は
∂T
−K = σ E T4 (5.6)
∂N
111
となる.又,物体が温度 T0 の黒体容器の中にあればそれは σ E T0 4 の割合で熱を吸収
する.したがって境界条件は
∂T
−K = σ E (T 4 − T0 4 )
∂N
となる.T − T0 は T0 に比して小とすれば,この境界条件は近似的に
∂T
−K = 4σ E T0 3 (T − T0 )
∂N
又は
∂T 4σ E T0 3
+ h(T − T0 ) = 0 但し h ≡ (5.7)
∂N K
となる.
5.3 無限円柱内の定常状態
定常状態に対する熱伝導の方程式はラプラスの方程式である.円柱の中心が z 軸で
ある円柱座標を用いると方程式は
∂ 2T 1 ∂T 1 ∂2T ∂ 2T
+ + + =0 (5.8)
∂r2 r ∂r r2 ∂θ2 ∂z 2
となる.温度 T が z, θ に依存しない場合は,上の方程式は
1 d h dT i
r =0
r dr dr
と変形できるから,これを積分して解
を得る.
円柱が r = 0 までつまっている場合
円柱が中空の場合
112
輻射によって熱が失われるとき
r = b で温度が与えられる代わりに,温度 T2 である媒質に輻射によって熱
が失われるとき (5.7) から
∂T
+ h (T − T2 ) = 0 r=b (5.10)
∂r
が成り立つから
T1 = A log a + B
n o
A + h (A log b + B) − T2 = 0
b
を連立して解
© ª
T1 1 + hb log(b/r) + hb T2 log(r/a)
T = (5.11)
1 + hb log(b/a)
を得る.内径が a = 0 であれば明らかに T1 = T2 でなければならない.
5.4 無限円柱での一般解
次に,つまった無限円柱の初期条件が与えられたとき,時刻 t = 0 に温度分布が与
えられたときの定常状態への到達について考える.r = b で温度 T が 0 で一定温度に保
たれていれば,その温度との差を考えればそれは同一の方程式を満足し r = b で 0 と
なるから,r = b で温度 T = 0 としても一般性を失わない.
いま温度 T は z, θ に依存しない場合を考えているから,熱伝導の方程式は
∂T ³ ∂ 2T 1 ∂T ´
=κ + (5.12)
∂t ∂r2 r ∂r
であるから,変数分離し
2
T = e−κα t R(r)
とおくと,R に関する微分方程式は
∂ 2 R 1 ∂R
2
+ + α2 R = 0 (5.13)
∂r r ∂r
を得る.ベッセルの微分方程式 (1.1) より,一般解は
J0 (αr), Y0 (αr)
113
の根であり,無限個の実数根 α1 , α2 , . . . である.どの α に対しても境界条件は満足さ
れるから,偏微分方程式の一般解は
2
e−καn t J0 (αn r)
の重ね合わせで得られる.したがって解は
∞
X 2
T (r, t) = An e−καn t J0 (αn r) (5.15)
n=0
5.5 境界条件が与えられたとき
初期温度 f (r),表面温度 0 であるとき,偏微分方程式 (5.12) の一般解 (5.15) に現れ
る任意定数 An は,ベッセル関数の直交性を用いて求めることができる.いま
∞
X
T (r, t = 0) = f (r) = An J0 (αn r)
n=0
の直交性とノルムの関係から
Z b
2
An = £ ¤2 f (r)J0 (αn r) r dr
b J0 0 (αn b) 0
を得る.また輻射条件が成り立つときの解は
∞ Z b
2 X αn 2 J0 (αn r) −κα2n t
T (r, t) = 2 e f (r)J0 (αn r) r dr (5.18)
b n=0 (h2 + αn 2 )J0 2 (αn b) 0
114
5.6 絶縁体でおおわれた円柱内の熱伝導
円柱の表面が熱の絶縁物でおおわれているとき,そこでの熱流束は 0 であるから
∂T
= 0 でなければならない.その場合,解は形式的に (5.18) で h = 0 とおいて得ら
∂r
れると考えられるが,h = 0 とすると t → ∞ で T は 0 となる.しかし,これは円柱の
最初にもっていた熱量は保存されるはずであるから矛盾する.この矛盾を解決するた
めに,熱伝導の方程式 (5.12) の一つの解が
T (r, t) = C C : 定数
であることから
∞ Z
2 X J0 (αn r) −κα2n t b
T (r, t) = C + 2 e f (r)J0 (αn r) r dr (5.19)
b n=0 J0 2 (αn b) 0
も (5.12) の解で境界条件
h ∂T i
T (r, t = 0) = f (r), =0
∂r r=b
を満たす.円柱の単位長さあたりの熱量が保存されるという条件から
Z b Z b
T r dr = f (r) r dr
0 0
と表すことができる.(1.19) から
Z z Z z
d £ ¤ 0
wJ0 (w) dw = wJ1 (w) dw = −zJ0 (z)
0 0 dw
0
を得る.また (5.16) から h = 0 とすると αJn (αb) = 0 であるから
Z b
J0 (αn r) r dr = 0
0
をうる.したがって
Z b
Z Z bn −κα2n t
∞ e f (r)J0 (αn r) r dr o
b
2 X 0 b2 C
T r dr = C r+ 2 J0 (αn r) r dr =
0 0 b n=0 J0 2 (αn b) 2
となるから Z b
2
C= 2 f (r) r dr
b 0
を得る.ゆえに
Z ∞ Z
2 b
2 X J0 (αn r) −κα2n t b
T (r, t) = 2 f (r) r dr + 2 e f (r)J0 (αn r) r dr (5.20)
b 0 b n=0 J0 2 (αn b) 0
を得る.
115
5.7 中空円柱内の熱の流れ
t = 0 での温度分布 f (r) が与えられ,内径,外径が a, b で,r = a, b での温度が T1 , T2
に保たれているとき,どのように温度分布が定常状態に近づくかを考える.r = a, b で
の温度がそれぞれ T1 , T2 に保たれているときの定常温度分布は (5.11) で与えられ,そ
れを TS (r) で表す.そして
∂TC ³ ∂ 2T 1 ∂TC ´
C
=κ + a≤r≤b
∂t ∂r2 r ∂r
を得る.TC に関する境界条件は
TC (a, t) = TC (b, t) = 0
である.ここで,
2
TC (r, t) = e−κα t R(r)
とおくと,R(r) は
d2 R 1 dR
2
+ + α2 R = 0
dr r dr
を満たす.これより一般解
を得る.境界条件から
(
A J0 (αa) + B Y0 (αa) = 0
A J0 (αb) + B Y0 (αb) =0
であるから,A, B を消去して個有値方程式
を得る.この方程式も無限個の実根 α0 , α1 , . . . をもっていることが知られている.こ
れらの許される α の値に対して
A Y0 (αa) Y0 (αb)
=− =−
B J0 (αa) J0 (αb)
が成り立ち
J0 (αa)
R(r) = J0 (αr) − Y0 (αr) (5.22)
Y0 (αa)
を得る.よって許される α に対して重ね合わせて
∞
X 2
n J0 (αn a) o
TC = An e−καn t J0 (αn r) − Y0 (αn r) (5.23)
n=0
Y0 (αn a)
116
を得る.但し,An は任意定数である.
を得る.
また,R(αn r) のノルムは (5.24) で β → α とすると求めることができる.
Z b
1 h © 0 0 ªir=b
r R2 (αr) dr = lim 2 r αR (αr)R(βr) − βR (βr)R(αr)
a β→α β − α2 r=a
1 h © 0 0 0 00 ªir=b
= lim r αR (αr) r R (βr) − R (βr)R(αr) − βr R (βr)R(αr)
β→α 2β r=a
1 h© ª ir=b
0 2
= r R (αr)
2 r=a
であるから Z b
1 h¡ dR ¢2 ir=b
r R2 (αn r) dr = r
a 2αn 2 dr r=a
117
に保たれている場合を考えると
TS (r) = 0
である.(5.23) で t = 0 とすると
∞
X
TC (r, t = 0) = f (r) = An R(αn r)
n=0
となるから
Z b ³ ´
π 2 αn 2 Y0 2 (αn b)J0 2 (αn a) J0 (αn b)
An = r f (r) J0 (αn r) − Y0 (αn r) dr
2 J0 2 (αn a) − J0 2 (αn b) a Y0 (αn b)
π 2 X³ ´
∞
2
T (r, t) = Y0 (αn a)J0 (αn r) − J0 (αn b)Y0 (αn r) e−καn t αn 2
2 n=0
Z b ³ ´
J0 2 (αn a)
× 2 r f (r) Y0 (αn a)J0 (αn r) − J0 (αn b)Y0 (αn r) dr
J0 (αn a) − J0 2 (αn b) a
(5.27)
という結果を得る.
次に
TS (a) = T1 , TS (b) = T2
に保たれているときは
TC (r, t = 0) = f (r) − TS (r)
であるから,初期温度が f (r) − TS (r) で,r = a, b で温度が 0 に保たれているのと全
く同じである.したがって,(5.27) の f (r) の代わりに f (r) − TS (r) とすればよい.但
し,TS (r) は (5.11) で与えられる.
5.8 表面で一定の熱流束がある場合
表面から一定の熱量が加えられている中心までつまった円柱内の温度変化を考える.
与えられた熱流束を F0 とすると,円柱の表面では
∂T
K = F0 r=b (5.28)
∂r
が成り立つ.つまった円柱の場合の一般解は (5.15) で得られるが,α が 0 でない α0 , α1 , . . .
を考えても,
t → ∞ のとき T (r, t) → 0
118
となり境界条件を満足しない.そこで形式的に α = 0 に対応する項を求めて境界条件
を満たすことを考える.そのために,
2
α → 0 のときの Ae−κα t J0 (αr) の特殊解
を考える.指数関数とベッセル関数を無限級数展開すると
2
n 1¡ ¢2 on ¡ αr ¢2 1 ¡ αr ¢4 o
A e−κα t J0 (αr) = A 1 − κα2 t + κα2 t − · · · 1− + − ···
2 2 4 2
³ 2 2´
α r
= A − A κα2 t + + ··· (· · · は α の高次の項)
4
となる.定数は何であっても熱伝導の解となるから除き,−Aα2 を新たに A と書くと
¡ r2 ¢
A κt + + ···
4
となり,α → 0 とすると一つの特殊解
¡ r2 ¢
A κt +
4
を得る.実際これが一つの解であることは (5.12) に代入して確かめることができる.
したがって一般解は
¡ r2 ¢ X 2
T (r, t) = A κt + + Aα e−κα t J0 (αr)
4 α
となり,これが t に無関係に成り立つためには
0 2F0
J0 (αb) = 0 A= (5.29)
bK
0
でなければならない.J0 (αb) = 0 から許される α の値 α0 , α1 , . . . を得る.故に境界条
件 (5.28) を満たす解は , 定数 B を加えて
∞
2F0 ¡ r2 ¢ X 2 0
T (r, t) = κt + + An e−καn t J0 (αn r) + B, J0 (αb) = 0 (5.30)
bK 4 n=0
となる.ここで A0 , A1 , . . . と B は任意定数である.
任意定数 B の決定
これらの定数は初期条件から求めることができる.簡単のため初期温度を 0 とする
と (5.30) より
∞
F0 2 X
−B − r = An J0 (αn r) (5.31)
2bK n=0
119
∞
X Z b ∞
X 1 £ ¤b
右辺 = An r J0 (αn r) dr = An r J1 (αn r) 0
n=0 0 n=0
αn
X∞ ∞
X
b b © 0 ª
= An J1 (αn b) = An −J0 (αn b) = 0
n=0
αn n=0
αn
であるから
F0 b
B=−
4K
を得る.
任意定数 Ak の決定
次に J0 (α0 r), J0 (α1 r), . . . は互いに直交し,ノルムは (5.29) の条件から (1.35) で h = 0
とおいて得られるので Z b
b2 2
r J0 2 (αn r) dr = J0 (αn b)
0 2
となる.(5.31) の両辺に r J0 (αn r) を掛け 0 から b まで積分すると
Z bX Z b³
F0 r 2 ´
∞
Ak r J0 (αk r)J0 (αn r) dr = − B+ r J0 (αn r) dr
0 k=0 0 2bK
Z b³
2 F0 r2 ´
An = − 2 2 B+ r J0 (αn r) dr
b J0 (αn b) 0 2bK
となる.次にベッセル関数の漸化式 (1.19) から
dh ν i
ν−1
h 0
i
z Jν (az) = z ν Jν (az) + za Jν (az) = az ν Jν−1 (az) (5.32)
dz
であるから
Z b h r2 ib Z b 2
3
r J0 (αn r) dr = r J1 (αn r) − r2 J1 (αn r) dr
0 α n 0 0 αn
Z b
2
=− r2 J1 (αn r) dr
αn 0
2 h 1 2 ib 2b2 2b2
=− r J2 (αn r) = − 2 J2 (αn b) = 2 J0 (αn b)
αn αn 0 αn αn
となる.よって
2 nZ b Z b
F0 3 o
An = − 2 2 B r J0 (αn r) dr + r J0 (αn r) dr
b J0 (αn b) 0 0 2bK
2F0 1
=− 2
bk αn J0 (αn b)
を得る.以上のことから
∞
2F0 ¡ r2 ¢ bF0 2F0 X −κα2n t J0 (αn r)
T (r, t) = κt + − − e (5.33)
bK 4 4K bK n=0 αn 2 J0 (αn b)
という解を得る.
120
5.9 円柱表面の温度が z の関数のとき
円柱表面の温度は θ には関係しないが,z の与えられた関数 F (z) である場合の定常
解を求める.温度 T は (r, z) の関数であるが,z についてフ−リエ積分で表し
Z +∞
T (r, z) = G(r, w) eiwz dw (5.34)
−∞
とする.これをラプラスの方程式に代入し微分と積分の順序を交換すると
Z +∞ ³ ∂ 2 G 1 ∂G ´
eiwz + − w 2
G dw = 0
−∞ ∂r2 r ∂r
となる.すべての z の値に対してこの関係が成り立つためには
∂ 2 G 1 ∂G
+ − w2 G = 0
∂r2 r ∂r
でなくてはならない.これは変形ベッセル関数の微分方程式 (1.40) で ν = 0, z = rw
としたものだから,一般解は
I0 (rw), K0 (rw)
であるから Z Z
+∞ +∞
1 I0 (rw)
T (r, z) = F (ζ) dζ eiw(z−ζ) dw (5.35)
2π −∞ −∞ I0 (bw)
121
となる.
Z +∞
I0 (rw)
eiw(z−ζ) dw の計算
−∞ I0 (bw)
図 5.2:
J0 (αb) = 0 α>0
122
とみると,H(w) の漸近形は
³ b ´1/2 n cos(iwr − π/4) o
H(w) ≈ eiw(z−ζ) | arg(iw)| < π
r cos(iwb − π/4)
となる.円弧 w = Reiθ (0 ≤ θ ≤ π) 上では
¯ ¯ ³ b ´1/2
¯ iθ ¯
¯H(Re )¯ ≈ eR(z−ζ)(− sin θ) e(r−b)R| cos θ|
r
となる.ここで
¯Z ¯ ¯Z π ¯ ¯ ¯
¯ ¯ ¯ ¯ ¯ ¯
¯ H(w)dw¯ = ¯ Ri eiθ H(Reiθ ) dθ¯ ≤ π · sup ¯R H(Reiθ )¯
円弧 0 0≤θ≤π
となる.
1. F (z) = 1 のとき Z +∞
2
このとき T (r, z) = 1 となり, e−αk |z−ζ| dζ = であるから (5.36) に代入
−∞ αk
して
X∞
2 J0 (αk r)
1= (5.37)
k=0
J1 (αk b) αk b
を得る.
123
2. F (z) = sin qz (q > 0) のとき
Z +∞
2αk
sin qζ e−αk |z−ζ| dζ = sin qz ·
−∞ αk 2 + q 2
となるから (5.36) に代入して
X∞
2 J0 (αk r) αk
T (r, z) = sin qz
b k=0
J1 (αk b) αk + q 2
2
を得る.
という結果を得る.
5.10 無限媒質中に熱源があるとき
無限媒質中に円盤熱源あるときの定常分布を考える.熱源 Q があるとき,(5.5) から
定常分布の微分方程式は
K∇2 T + Q = 0 (5.38)
である.また,熱源 Q が曲面 S 上にのみあるときは,その曲面の微小な部分を囲む体
積にガウスの定理を用いポテンシャル論の (4.32) の代わりに
∂T1 ∂T2 σ
− =− σ : 単位面積あたりの熱源の強さ (5.39)
∂N ∂N K
124
を得る.無限な広がりをもつ一様な媒質中に有限な熱源があるとき,その定常分布は
(5.38) で与えらる.温度は無限遠方では有限な値をとるから温度分布 T はポテンシャ
ルと同様に考えられる.
無限媒質中に半径 a の円板状熱源がある場合
無限媒質中に半径 a の円板状熱源が一定である場合を考える.z 軸は円板の中心を通
り,円板は平面 z = 0 内にあるものとし,円柱座標 (r, θ, z) を用いて解を求める.熱源
のないところでは温度 T はラプラスの方程式を満足し,いま T は θ に依存しないから
T = R(r) Z(z)
と変数分離すると,
d2 Z
2
− λ2 Z = 0
dz
d2 R 1 dR
+ + λ2 R = 0
dr2 r dr
が成り立つ.R(r) の微分方程式は,ベッセルの微分方程式において ν = 0 としたもの
で,独立な解は
J0 (λr) Y0 (λr)
である.しかし,r = 0 で解は発散してはならないから
J0 (λr)
のみが許される.また
r → ∞ のとき J0 (λr) < ∞
という条件から λ は実数でなければならず,便宜上 λ > 0 としておく.Z(z) につい
ても
|z| → ∞ のとき Z(z) < ∞
であるから解 e−λ|z| を得る.したがって,一般解は
e−λ|z| J0 (λr)
を λ について重ね合わせて
Z ∞
T (r, z) = e−λ|z| J0 (λr)f (λ) dλ (5.40)
0
125
であるから,両辺に J0 (µr) r をかけて r について積分すると
Z ∞ Z ∞ Z a
σ
λf (λ) dλ J0 (λr)J0 (µr) r dr = J0 (µr) r dr
0 0 2K 0
となる.左辺は (1.15) のハンケルの定理より f (µ) であり,右辺については
d£ ν ¤ £ ¤
z Jν (az) = z ν−1 νJν (az) + azJν 0 (az) = az ν Jν−1 (az)
dz
と,付録 (1.19) のベッセルの漸化式より
Z a
1h ia a
J0 (µr) r dr = r J1 (µr) = J1 (µa)
0 µ 0 µ
が成り立つので
σa J1 (µa)
f (µ) = (5.42)
2K µ
を得る.ゆえに温度分布は
Z ∞
σa dλ
T (r, z) = e−λ|z| J0 (λr)J1 (λa)
2K 0 λ
となる.
5.11 球内部の熱伝導
半径 b の一様な球の内部での熱伝導を考える.熱源がない場合の熱伝導方程式は,球
の中心を原点にとり,球座標を (r, θ, ϕ) とすると
∂T n ∂ 2T 2 ∂T 1 ³ ∂2T ∂T 1 ∂ 2 T ´o
=κ + + + cot θ + (5.44)
∂t ∂r2 r ∂r r2 ∂θ2 ∂θ sin2 θ ∂ϕ2
126
となる.すでに球座標によるラプラス方程式の一般解で示した様に,特殊解を
n o 2
T (r, θ, ϕ, t) = R(r) Pnm (cos θ) An,m cos mϕ + Bn,m sin mϕ e−κλ t
d2 R 2 dR n(n + 1)
+ − R = −λ2 R (5.45)
dr2 r dr r2
を満足する.ここで変数変換
を行うと微分方程式
d2 v 1 dv n (n + 1/2)2 o
+ + 1 − v=0
dx2 x dx x2
を得る.これは n + 1/2 次のベッセルの微分方程式であり,この方程式の独立な解は
球表面で温度が 0 の場合の解
球表面 r = b で温度が 0 に保たれているときは,境界条件として超越方程式
Jn+1/2 (λb) = 0
を用いて,この無限個の正の実根を
とすると,温度分布は重ね合わせると
X∞ X ∞ X ∞
Jn+1/2 (λn+1/2,k r)
T (r, θ, ϕ, t) = p
n=0 m=0 k=0
λn+1/2,k r
n o 2
× Pn (cos θ) An,k,m cos mϕ + Bn,k,m sin mϕ e−κλn+1/2,k t
m
(5.46)
で与えられる.
次に任意定数 An,k,m , Bn,k,m は,初期の温度分布 f (r, θ, ϕ)
(t = 0) を用いて表すこ
とができる.まず t = 0 のとき
X∞ X ∞ X ∞
Jn+1/2 (λn+1/2,k r) m n o
f (r, θ, ϕ) = p Pn (cos θ) An,k,m cos mϕ + Bn,k,m sin mϕ
n=0 m=0 k=0
λn+1/2,k r
127
が成り立つ.
両辺に cos mϕ をかけて 0 から 2π まで ϕ で積分すると
Z 2π X∞ X ∞
Jn+1/2 (λn+1/2,k r) m
f (r, θ, ϕ) cos mϕ dϕ = p Pn (cos θ) An,k,m π
0 n=0 k=0
λn+1/2,k r
となる.
更に両辺に r3/2 Jn+1/2 (λn+1/2,k r) をかけて 0 から b まで r で積分すると,ベッセル関
数の直交性から
Z b ³Z π Z 2π ´
3/2
r Jn+1/2 (λn+1/2,k r) dθ Pnm (cos θ) sin θ f (r, θ, ϕ) cos mϕ dϕ dr
0 0 0
1 b2 h 0
i2 2(n + m)!
=p Jn+1/2 (λn+1/2,k b) An,k,m π
λn+1/2,k 2 (2n + 1)(n − m)!
となる.したがって
128
付 録A
A.1 対数関数とベキ関数
指数関数の逆関数を 対数関数 といい,log z で表す.その実部および虚部を u および
v で表せば,
w = log z = u + i v
である.なお,
と書けば
r (cos θ + i sin θ) = ew = eu (cos v + i sin v)
となる.ゆえに
u = log r, v = θ + 2nπ, n : 整数
となる.よって
z a = ea log z , (z 6= 0) (1.2)
となる.ゆえに
|z a | = |z|a , arg z a = a(θ + 2nπ)
となる.特に n = 0 の場合には
z a = |z|a eiaθ
129
となり,右辺を z a の主値という.
一般に負の実軸に沿って切った z 平面を無限枚用意し,これを
Z0 , Z 1 , Z 2 , . . . ; Z−1 , Z−2 , . . .
で定義すれば,log z はリ−マン面上で一価となる.このように多価関数に対して,z
の動く範囲を制限して一価関数としたものを多価関数の 分枝 という.
ベキ関数についても log z と同様に z 平面では無限多価であるが,log z のリ−マン面 F
の上では一価となる.以後,特に断らない限り適当な分枝を選んでいるものとする.
A.2 ガンマ関数とベ−タ関数の関係
x > 0 に対して Z ∞
Γ(x) = tx−1 e−t dt (1.3)
0
によって与えられる定積分を x の関数をガンマ関数という.このとき,
Z ∞ Z ∞
x −t −t x ∞
Γ(x + 1) = t e dt = [−e t ]0 + x tx−1 e−t dt = x Γ(x)
0 0
である.故に
となる.x = 1 のとき
Z ∞ h i∞
−t −t
Γ(1) = e dt = −e =1
0 0
となる.n を正の整数とすれば
130
となる.
次に p > 0, q > 0 に対して
Z 1
B(p, q) = tp−1 (1 − t)q−1 dt (1.6)
0
となる定積分によって与えられる p, q の関数をベ−タ関数という.
積分変数 t を t = 1 − τ と変換すると
Z 0
B(p, q) = − (1 − τ )p−1 τ q−1 dτ = B(q, p) (1.7)
1
となる.
さてガンマ関数とベ−タ関数の関係について考えみる.
¶ ³
命題 A.1 等式
が成り立つ.
µ ´
となる.この積分は u, v 平面上の第一象限全体ににわたる二重積分である.
とおくと
Z ∞ Z π/2
−r2 2x+2y−1
Γ(x)Γ(y) = = 2 e r dr · 2 cos2x−1 θ sin2y−1 θ dθ
0 0
131
v
r dr dθ
dθ
θ
0 r u
図 1.1:
= Γ(x + y) · B(x, y)
故に
Γ(x) Γ(y) = Γ(x + y) B(x, y) (x > 0, y > 0)
( 証明終わり)
が成り立つ.
µ ´
132
証明: Z π/2
Γ(p) Γ(q)
B(p, q) = 2 cos2p−1 θ sin2q−1 θ dθ =
0 Γ(p + q)
より, p = 1/2, 2q − 1 = r
とおくと
Z π/2 √
r π Γ(r/2 + 1/2)
sin θ dθ = ·
0 2 Γ(r/2 + 1)
となる.特に , r が正整数 n に等しいときウォリスの公式
π (n − 1)(n − 3) . . . 3 · 1
· n:偶数
Z π/2
2 n(n − 2)(n − 4) . . . 2
sinn θ dθ =
0
(n − 1)(n − 3) . . . 4 · 2
n:奇数
n(n − 2)(n − 4) . . . 3 · 1
を得る. ( 証明終わり)
ウォリスの公式を用いて次の命題を導くことができる.
¶ ³
命題 A.3 等式
(2m)2 (2m − 2)2 . . . 42 · 22 π
lim = (1.16)
m→∞ (2m + 1)(2m − 1)2 . . . 32 2
が成り立つ.
µ ´
133
A.3 ガンマ関数の無限乗積表現
まず定義域の拡張をする.複素数 z = x + yi, i2 = −1, (x, y : 実数)
が与え
られたとき x を実数部, y を虚数部とよび
x = Re(z) y = Im(z)
表す.z の絶対値は
|z| = (x2 + y 2 )1/2
によって, また偏角 θ は
θ = tan−1 (y/x) = arg(z)
によって定義する.
さて複素数のガンマ関数を
Z ∞
Γ(z) = e−t tz−1 dt Re(z) > 0 (1.17)
0
であり、 z = x + yi とおくと
¯Z 1 ¯ Z 1 Z Z
¯ ¯ ¯ ¯ 1 1
¯ −t z−1
e t ¯
dt¯ ≤ −t x−1 ¯ iy ¯
e t t dt = e −t
t x−1
dt < e−t ta−1 dt
¯
0 0 0 0
Γ(−1/2) Γ(1/2) √
Γ(−3/2) = = = 4 π/3
(−3/2) (−3/2)(−1/2)
134
ガンマ関数は無限乗積として表現することができる.
¶ ³
命題 A.4 (オイラ− (Euler) の公式) ガンマ関数は
n
1 z Y¡ z¢
= lim z 1+ (1.19)
Γ(z) n→∞ n m=1 m
と表すことができる.
µ ´
証明:関数
Z n
Bn (z) = (1 − t/n)n tz−1 dt Re(z) > 0, n は正整数
0
を考える.t = nv とおくと
Z n
z
Bn (z) = n (1 − v)n v z−1 dv
Ã0· ¸1 Z 1 !
z
v n
= nz (1 − v)n + v z (1 − v)n−1 dv
z 0 z 0
µ Z 1 ¶
z n(n − 1) · · · 2 · 1 z+n−1
= n v dv
z(z + 1) · · · (z + n − 1) 0
nz Y ³ z ´−1
n
= 1+
z m=1 m
を考える.一般に
e−t ≥ 1 − t 0≤t≤1
であるから t のかわりに t/n とおいて n 乗すれば
et ≥ (1 + t/n)n t≥0
となる.これらの関係式より
© ª © ª
0 ≤ e−t − (1 − t/n)n = e−t 1 − et (1 − t/n)n ≤ e−t 1 − (1 − t2 /n2 )n 0≤t≤n
135
となるから
¯ ¯ Z n 2
t −t x−1
Z ∞
¯ ¯
¯Γ(z) − Bn (z)¯ ≤ e t dt + e−t tx−1 dt z = x + iy
0 n n
を得る.ここで n → ∞ のとき
Z ∞ Z n
1 1
tx−1 e−t dt → 0, tx+1 e−t dt < Γ(x + 2)
n n 0 n
であるから
lim Bn (z) = Γ(z) Re(z) > 0
n→∞
となる.故に
n
1 z Y¡ z¢
= lim z 1+
Γ(z) n→∞ n m=1 m
となる.これをオイラ−( Euler )の公式という. ( 証明終わり)
ここで
n
Y
−z −z log n z(1+1/2+1/3+···+1/n)
n =e , e e−z/m = 1
m=1
であるから ,オイラ−の定数 γ を
n 1 1 1 o
γ = lim 1 + + + · · · + − log n = 0.577215664 · · ·
n→∞ 2 3 n
と定義すれば
Y∞
1 γz
¡ z ¢ −z/m
=ze 1+ e (1.20)
Γ(z) m=1
m
となる.これを ワイアスト ラ−ス( Weierstrass )の公式 という.
¶ ³
命題 A.5 ガンマ関数は Re(z) > 0 において正則である.
µ ´
136
したがって, モレラ( Morera )の定理により Γ(z) は Re(z) > 0 で z の正則な関数であ
る. ( 証明終わり)
ガンマ関数の微分係数はワイヤストラ−スの無限乗積を用いて求めることができる.
(1.14) で両辺の対数をとって微分すると
X∞
© z zª
− log Γ(z) = log z + γz + log(1 + ) −
m=1
m m
X∞
1 dΓ(z) 1 ¡ 1 1¢
− = +γ+ −
Γ(z) dz z m=1
m+z m
これを書き直して プサイ関数 ψ(z) を
0
X∞
Γ (z) 1 1
ψ(z) ≡ =− − γ+z (1.21)
Γ(z) z m=1
m(m + z)
と定義する.
A.4 ガンマ関数の乗法公式
¶ ³
補題 A.1 次の等式が成り立つ.
n−1
Y πk n
sin = n−1 (1.22)
k=1
n 2
µ ´
ωn = 1
は n 個の根をもつ.それらの根を ωk (k = 1, 2, . . . , n) とすると
ω n − 1 = (ω − ω1 )(ω − ω2 ) · · · (ω − ωn ), ωk = e2πki/n , (k = 1, 2, . . . , n)
となる.等式の両辺を (ω − 1) で割ると
ωn − 1
= (ω − ω1 )(ω − ω2 ) · · · (ω − ωn−1 )
ω−1
また一方
ωn − 1
= 1 + ω + ω 2 + · · · + ω n−1
ω−1
であるから , ω = 1 とすると
n = (1 − ω1 )(1 − ω2 ) · · · (1 − ωn−1 )
となる.ここで
1 − ωk = 1 − e2πki/n
137
= 1 − cos(2πk/n) − i sin(2πk/n)
¡ ¢
= 2 sin πk/n sin πk/n − i cos πk/n
¡ kπ ¢
= ekπi/n −2i sin
n
であるから
n−1
Y n−1
Y
kπi/n
¡ kπ ¢ n−1 πk
n= e −2i sin =2 sin
k=1
n k=1
n
故に
n−1
Y πk n
sin = n−1
k=1
n 2
という結果を得る. ( 証明終わり)
この等式を用いてガンマ関数の乗法公式を導く.
¶ ³
命題 A.6 (ガウスの乗法公式) 次の等式が成り立つ.
1 n−1
Γ(z) Γ(z + ) · · · Γ(z + ) = n1/2−nz (2π)(n−1)/2 Γ(nz) (1.23)
n n
µ ´
証明: n を正の整数とするとき, 関数
1 · 2 · 3 · · · m · mnz
分母 = n lim
m→∞ nz (1 + nz)(2 + nz) · · · (m + nz)
1 · 2 · 3 · · · (nm) · (nm)nz
分母 = n lim
m→∞ nz (1 + nz)(2 + nz) · · · (nm + nz)
となる.次に分子についてオイラ−の公式を用いる.
n−1
Y
分子 = nnz Γ(z + r/n)
r=0
n−1
Y nm+1 (m!) mz+r/n
= nnz lim
m→∞ (nz + r)(nz + n + r)(nz + 2n + r) · · · (nz + nm + r)
r=0
138
n−1
= nnz lim n(m+1)n (m!)n mnz+ 2
m→∞
n−1
Y 1
×
r=0
(nz + r)(nz + n + r)(nz + 2n + r) · · · (nz + nm + r)
となる.したがって
(m!)n n(m+1)n m(n−1)/2
Φ(z) = lim
m→∞ n (nm)!
となる.この右辺は z とは無関係であるから Φ(z) は定数である.したがって, z = 1/n
のときの値を求めると
となる.両辺を 2 乗して
Yn
n−1 o
2
Φ (z) = Γ(r/n)Γ(1 − r/n)
r=1
π n−1
=
π 2π (n − 1)π
sin sin · · · sin
n n n
n−1
(2π)
=
n
Φ(z) は z = 1/n のとき, 定義から正であるから
© ª1/2
Φ(z) = (2π)n−1 /n
である.よって
1 n−1
Γ(z) Γ(z + ) · · · Γ(z + ) = n1/2−nz (2π)(n−1)/2 Γ(nz)
n n
を得る.これを ガウス (Gauss) の乗法公式 と呼ぶ. ( 証明終わり)
特に , n = 2 のとき
√
Γ(z) Γ(z + 1/2) = π Γ(2z) 21−2z (1.24)
A.5 ガンマ関数のハンケル表示
¶ ³
命題 A.7 (ガンマ関数のハンケル表示) ガンマ関数は次のように表すことができ
る. Z
−1
Γ(z) = e−t (−t)z−1 dt (z 6= 0, −1, −2, . . . ) (1.25)
2i sin πz C
但し 、C は図 1.2 に示された積分路とする.
µ ´
139
証明:複素積分 f (z) を Z
f (z) = e−t (−t)z−1 dt
C
γ U
図 1.2:
となり, θ = 2π より
に沿っては
Z Z ∞
= e−r rz−1 eπi(z−1) dr
δ
となる.よって Z Z Z ∞
+ = −2i sin πz e−r rz−1 dr
δ
iθ
となる.γ 上では t = δe , (0 < θ < 2π) とおくと
Z Z 2π
= e−δ(cos θ+i sin θ) (−1)z−1 δ z eiθz i dθ
γ 0
140
を得る.ガンマ関数は , Re(z) > 0 で定義されたが , 上記の右辺は負の整数を除けば
z の正則な関数であるから解析接続をすると
Z
−1
Γ(z) = e−t (−t)z−1 dt (z 6= 0, −1, −2, . . . )
2i sin πz C
を得る. ( 証明終わり)
141