複素関数と正則性 - 東京大学coral.t.u-tokyo.ac.jp/fujiwara/mathematics-2/ch2.pdf22 第 2...
TRANSCRIPT
第 2章
複素関数と正則性
展望:
本章では複素解析、複素関数の性質の基本である連続性と微分可能性につ
いて述べる。実数変数に関する微分についてはすでに高校その他で学んでい
るであろうが、その定義についてはさほど気を付ける必要はなかった。また
微分の意味は接線(あるいは接平面)の勾配として直感的に理解することが
できた。このように視覚的に理解できるのは実変数の微積分学が歴史的に力
学のための道具として発見されたことと無縁ではない。複素数を変数とする
微分は同じように
limz!z0
f(z)� f(z0)
z � z0
と定義される。しかし zは複素数であるから、実変数による微分の時のよう
に視覚的に理解できる「傾き」という意味はもはや無い。さらに z の変化分
�z = z � z0 をゼロにする極限操作にもいろいろなとり方が考えられる。例
えば�zの虚部をゼロにしたまま実部をゼロに近付ける(zを z0に近付ける時、
実軸に平行に動かす)。あるいはその逆に�zの実部をゼロにしたまま虚部を
ゼロに近付ける(虚軸に平行に動かす)、または実部と虚部を同時にゼロに
するなど様々なやり方が考えられる。実はこの極限の取り方に依存しない値
が得られることが複素関数の微分を定義するために必要である。この要求は
大変強いもので、複素関数のすべての性質はこの要求によって定まってしま
う。先ずこのことに十分注意しながら本章を読み進んでほしい。
本章では最初に複素関数の連続性、微分を定義する。これらの定義から直
接導かれる性質を議論すると共に、複素関数の大きな応用である等角写像に
21
22 第 2章 複素関数と正則性
ついて学ぶ。さらに簡単な応用として 2次元の電磁気学および流体力学に触
れることにする。
実関数の連続性や微分の概念の形成にはニュートン (1642-1727)やライプ
ニッツ (1646-1716)を必要とした。複素関数の性質の研究は、ガウス (1777-
1855)、コーシー (1789-1857)、リーマン (1826-1866)といった 18世紀から 19
世紀にかけての大数学者達の華やかな活躍の場であった。
2.1 複素関数とその連続性
2.1.1 複素関数および連続の定義
定義 12 複素関数:複素 z平面から複素 w平面への写像が与えられたとき
w = f (z) (2.1)
と書いて、f(z)を zの関数、あるいは複素関数という。
複素関数w = f(z)について、zを z0に近づけたときwがw0にいくらでも近
づくなら、すなわち任意の正数"に対して適当な正数�が存在し 0 < jz�z0j < �
であるすべての zにおいて
jf (z)� w0j < " (2.2)
が成り立つならば、
limz!z0
f(z) = w0 (2.3)
と書いて、w0を「wの z ! z0における極限値」という。
定義 13 複素関数の連続性:limz!z0 f (z) = f(z0)のとき、すなわち任意の正
数 "に対して適当な正数�(")が存在して、
jz � z0j < �(")である全ての zについて jf(z)� f (z0)j < " (2.4)
であるとき、「f(z)は z = z0で連続である」という。1
2.1 複素関数とその連続性 23
図 2.1 関数の連続性.半径�の円内の点 zの写像 w = f(z)は半径"の円内にある.
一般に 2次元ベクトル空間 (x; y)から 2次元ベクトル空間 (u; v)への写像
は f(z) = u(x; y)+ iv(x; y) と書ける。さらに x = (z+ �z)=2, y = (z� �z)=(2i)
であるから、f = u(z; �z) + iv(z; �z)と書くこともできる。我々が複素解析で問
題にするのは�zを使わないと書けないような関数ではなく、jzj や �z を使わな
いで w = f (z) = u(z) + iv(z)と書かれる関数である。たとえば w1 = z2はこ
れから大いに問題にする。一方、w2 = x2 + y2は w2 = z�z = jzj2であるから z
だけで �z や jzj を用いず書くことはできない。このような関数にはあまり興
味がない。2
公式 1 複素関数 f(z), g(z)に関して limz!z0 f(z), limz!z0 g(z) が存在するな
ら次の性質が成り立つ。
1. limz!z0(f(z) + g(z)) = limz!z0 f (z) + limz!z0 g(z)
2. limz!z0 cf(z) = c limz!z0 f(z)
3. limz!z0(f(z)g(z)) = limz!z0 f(z) limz!z0 g(z)
4. limz!z0f(z)g(z) =
limz!z0f(z)
limz!z0g(z) 、ただし limz!z0 g(z) 6= 0
以上の証明は不要であろう。
1「連続」とは日常的には鉄道の線路のようにずっと先まで続くことをいうが、数学では「細かく細かく」見ても「途切れていない」「跳びがない」ことを意味する。
2興味がないといってもこれからの議論に絶対に出てこないということではない。これから議論する豊富な内容を持っているのは w = f (z) と書ける関数だという意味である。
24 第 2章 複素関数と正則性
2.2 複素関数の微分可能性と正則関数
2.2.1 複素関数の微分
定義 14 微分:複素 z 平面上 z = z0 の近傍(適当な正数 �に対して jz�z0j < �
の領域)で定義された複素関数 w = f (z) に関して
limz!z0
f (z)� f(z0)
z � z0(2.5)
が一意に存在する(有限確定)ならば、f(z) は z = z0 で「微分可能」であ
るという。この量を微分係数または導関数と呼び、f 0(z0) あるいは dfdz
���z=z0
と
書く。
f 0(z0) =df
dz
���z=z0
= limz!z0
f (z)� f(z0)
z � z0(2.6)
ここでは z を z0 に近づけるといったとき近づけ方を指定していない、す
なわち近づけ方によらずどのような近づけ方をしてもこの極限値が一意に存
在することを要求している。この要求は実は大変強いもので、複素解析の対
象とする関数の性質がこれから述べるように豊富な内容を持つのはこの性質
のためである。3
微分可能性の条件を次のように書くと便利である。
�f � f(z + �z)� f(z) = f 0(z)�z + ��z ;
ただし � ! 0 (�z ! 0) : (2.7)
定義 15 正則:領域Dの任意の点で微分可能な関数を「領域Dで正則(regular,
holomorphic)」という。また複素関数 f(z)が「点 z0で正則」であるとは「点
z0の近傍の各点で微分可能」なことをいい、点 z0を関数 f(z) の正則点と呼
ぶ。また関数 f(z)が z = z0で正則でないとき、点 z0を特異点という。
例 10 べき乗 znの微分は、2項展開の公式
(z +�z)n = zn + nzn�1�z +1
2n(n� 1)zn�2(�z)2 � � �
3自然現象を記述する関数は多くの場合に微分可能な関数である。もし変数を複素数まで拡張して定義することができれば、逆にその関数の性質の一般的側面を捉えることが可能であり、その現象の一般的性質をはっきり理解することができる。
2.2 複素関数の微分可能性と正則関数 25
よりdzn
dz= lim
�z!0
(z +�z)n � zn
�z= nzn�1
となる。
例 11 べき根 z1=nの微分は (z + �z)1=n = a, z1=n = b とおくと
(z +�z)1=n � z1=n
�z=
a� b
an � bn
=a� b
(a� b)(an�1 + an�2b+ an�3b2 + � � � abn�2 + bn�1)
より
dz1=n
dz= lim
a!b
1
an�1 + an�2b+ an�3b2 + � � � abn�2 + bn�1=
1
nz(1=n)�1
となる。また z1=nは z = 0では微分不可能である。
公式 2 複素関数の微分の諸公式をあげておこう。1.
d
dzfcf (z)g = c
df(z)
dz
2.
d
dzff(z) + g(z)g =
df (z)
dz+
dg(z)
dz
3.
d
dzff(z)g(z)g =
df (z)
dzg(z) + f(z)
dg(z)
dz
4.
d
dz
f (z)
g(z)=
df(z)dz
g(z)� f(z)dg(z)dz
g2(z)
5. 合成関数の微分:g(z)は z = z0で微分可能、f(w)はw = w0 = g(z0)で
微分可能であるとき、f (g(z))は z = z0で微分可能で
df(g(z0))
dz=
df (w(z0))
dw
dg(z0)
dz(2.8)
である。
26 第 2章 複素関数と正則性
図 2.2 w = z1=3の振舞い.
これらの証明は実関数のときと形式的にまったく同じである。最後の合成
関数 f (g(z))の場合のみ証明しておこう。他の公式も定義から、あるいは以
下の証明に倣ってできる。gの変動�gに対する fの変動を�fなどと書けば微
分可能性により
�f = f 0(g)�g + �g
�g = g0(z)�z + 0�z
と書ける。ここで�g ! 0のとき ! 0、および�z ! 0のとき 0 ! 0 とな
る。したがって
�f
�z= (f 0(g) + )(g0(z) + 0) = f 0(g)g0(z) +(f 0(g) 0 + g0(z) + 0)
である。上で最後の括弧内の式は�z ! 0のとき 0になるから式 (2.8)が導か
れる。
公式 3 有理数べきのべき根 zm=n (n, m は自然数で n 6= m)に関しては
dzm=n
dz=m
nz(m=n)�1 (2.9)
である。
式 (2.9)は, f(w) = wm, g(z) = z1=nとしてべき根の微分と合成関数の微分
により容易に導くことができる。z = �ei�として偏角�を 0から 2�まで動かし
てみると関数 zm=nは� = 0のところと� = 2�のところとは連続につながらな
2.2 複素関数の微分可能性と正則関数 27
い(図 2.2)。zm=nは複素 z平面上で 1価ではないからである。このため z = 0
の近傍では z = z1での値 zm=n1 を一意に定めても、z1 をわずかに動かした点 z2
での値 zm=n2 が一意に定まらないことがある。z1から z2に動かす途中 z = 0を
通れば、そこで zの偏角が不定になるからである。zm=nについてのこのよう
な事情は原点の近傍に限られる。原点から有限の距離だけ離れた点では、点
をその近傍で動かしても値の一意性がこわれるなどという困難はない。した
がってべき根の関数 zm=nは z = 0では正則でない。4
以上いくつかの例から、複素関数の微分公式は実関数のそれと同じである
といえる。
2.2.2 コーシー・リーマンの関係式と調和関数
正則関数とは考えている領域で微分可能な関数であった。実関数のときは
微分可能性というのはそれほど強い条件とは思えなかっただろうが、複素関
数では z ! z0 の近づけ方によらないということは大変に強い条件で、これ
1つから沢山の基本的性質が導かれる。
正則関数であるための 1つの必要充分条件をあたえるのが以下に見るコー
シー・リーマンの関係式である。これを見ると正則関数というのが如何に強
い条件になっているかが分かってくるであろう。
定理 13 コーシー・リーマンの関係式:f = u+ ivの実部および虚部が z = z0
の近傍で xおよび yに関して連続1回微分可能であるとき、f (z) = u + ivが
正則であるための必要十分条件は、
@u
@x=@v
@y@u
@y= �
@v
@x(2.10)
を満たすことである。上の式をコーシー・リーマン(Cauchy-Riemann)の関
係式という。
コーシー・リーマンの関係式の証明は簡単である。基本は z ! z0の近づけ方
によらないということであるから、z+�z を zに近づけるとき�z = �x+i�y
4有理数べき根 zm=nに留まらず無理数べきについても全く同じであるが、ここではまだ無理数べきの定義をしていない。
28 第 2章 複素関数と正則性
として
(1) �x! 0; �y = 0
(2) �x = 0; �y ! 0
の2つの近づけ方で微分を考えてみよう。其々を書下して
(1) f 0(z) = lim�x!0
fu(x+�x; y)� u(x; y)
�x+ i
v(x+�x; y)� v(x; y)
�xg
=@u
@x+ i
@v
@x
(2) f 0(z) = lim�y!0
fu(x; y +�y)� u(x; y)
i�y+ i
v(x; y +�y)� v(x; y)
i�yg
= �i@u
@y+@v
@y(2.11)
となる。この両式の最後の項で実部虚部を比較して
@u
@x=@v
@y@u
@y= �
@v
@x
を得る。これで必要条件が示された。
次に充分条件を考えよう。偏微分係数 ux; uy; vx; vy が連続で (2.10)を満
足するとする。このとき偏微分の定義より
u = u0 + a�x+ b�y + "q(�x)2 + (�y)2
v = v0 � b�x+ a�y + "0q(�x)2 + (�y)2
である。", "0は j�zj ! 0 のときゼロとなる。f = u+ ivより
f = f0 + (a� ib)�z + "00q(�x)2 + (�y)2
ただし j�zj ! 0 のとき "00 ! 0となる。これから
f 0 = a� ib
であり、微分が存在する。これで充分条件も証明できた。
2.2 複素関数の微分可能性と正則関数 29
上の条件は実は少しきつ過ぎる。もう少し緩めて、「f = u + ivが正則で
あるための必要充分条件は、u, vが全微分可能 (したがって偏微分可能)かつ
コーシー・リーマンの関係式が成り立つことである。」としても良い。5 ここ
では条件をきつくしておいたほうが証明は容易であるし、実際上支障がない
のでそのようにしておく。
例 12 簡単な例を見よう。複素平面上原点から有限な距離にあるどの点にお
いても微分可能である正則関数 f(z) = z2の実部と虚部はそれぞれ u(x; y) =
x2 � y2, v(x; y) = 2xyである。この u; vはコーシー・リーマンの関係式を満
足する。
7章 7.2(グルサの定理)で示すように正則関数は実は無限回連続微分可
能である。すなわち正則関数の実部 u 虚部 vはそれぞれ x, yで無限回連続微
分可能となる。このことを証明する準備は整っていないので、しばらくはそ
のまま認めておくことにしよう。コーシー・リーマンの関係式をもう一度微
分すると
@2u
@x2=
@2v
@x@y
@2u
@y2= �
@2v
@x@y
となり、これらの両辺を足せば
@2u
@x2+@2u
@y2= 0 (2.12)
を得る。同様に v(x; y)についても
@2v
@x2+@2v
@y2= 0 (2.13)
となる。これは 2次元ラプラス方程式である。ラプラス方程式を満足する関
数を調和関数という。すなわち、正則関数の実部 u、vはそれぞれ(2 次元)
調和関数である。
5u(x; y)が (x; y)で全微分可能であるとは�u � u(x +�x; y +�y) � u(x;y) = a�x +b�y + "
p(�x)2 + (�y)2 とかけ、 a,bは�x, �yに関係せず、かつ (�x)2 + (�y)2 ! 0の
とき"! 0 となることをいう。
30 第 2章 複素関数と正則性
定義 16 調和関数:2次元ラプラス方程式
@2u
@x2+@2u
@y2= 0 (2.14)
を満足する関数を調和関数という。
コーシー・リーマンの関係式によれば、正則関数の実部または虚部の一方
を定めれば、他方は定数項を除いて定まる。調和関数についていえば、1つ
の調和関数 u(x; y) が決まれば、それと組になって正則関数 f(z) = u+ iv を
作るもうひとつの調和関数 v(x; y) が決まる。u, v を夫々他方に対して「共
役な調和関数」と呼ぶことがある。
例 13 正則関数 f(z) = u+ ivの実部が u(x; y) = x2 � y2であるとする。
�u =� @2@x2
+@2
@y2
�u = 2� 2 = 0
であるから uは調和関数であることが確かめられる。uを実部とする正則関
数の虚部 vはコーシー・リーマンの関係式から
@v
@x= �
@u
@y= 2y
@v
@y=
@u
@x= 2x
を満足しなくてはならない。これを積分すれば
v(x; y) =Z x
dx(2y) = 2xy + �(y)
=Z y
dy(2x) = 2xy + (x)
と求められる。これから�(y) = (x) =定数となる。よって定数を除いて
f(z) = (x2 � y2) + i2xy = z2と定まる。
コーシー・リーマンの関係式と合成関数の微分公式から次の「逆関数定理」
が導かれる。
定理 14 逆関数定理:f(z)が z = z0で正則で f 0(z0) 6= 0 とする。このとき
z = z0の近傍で w = f(z)の逆関数 z = g(w)が存在し
df
dz= 1=
dg
dw(2.15)
が成り立つ。
2.2 複素関数の微分可能性と正則関数 31
(証明)この定理の証明は 2段階で行なう。第 1は逆関数の存在、第 2は
その微分公式の適用である。2変数 x, yの関数 f = u+ iv
u = u(x; y)
v = v(x; y) (2.16)
を考える。関数行列式 (ヤコビアン)
D(u; v)
D(x; y)=
������@u@x
@u@y
@v@x
@v@y
������ = J
(2.17)
がゼロでないとき (J 6= 0)、上の関係の逆写像
x = x(u; v)
y = y(u; v) (2.18)
が一意的に確定、すなわち逆関数が存在する。関数行列式はコーシー・リー
マンの関係式を用いて
J =
������@u@x
@u@y
@v@x
@v@y
������ = uxvy � uyvx = u2x + v2x = jf 0(z)j2
となるから f 0(z) 6= 0が必要充分条件となる。これで第 1段階は終わった。
第 2段階は f (z)と逆関数 g(w)との関係
w = f(g(w))
に対して合成関数の微分公式を適用すると
1 =dw
dw=
df
dz
dg
dw(2.19)
となり求める式が得られた。(証明終わり)
2.2.3 電磁気学、流体力学への調和関数の応用
ラプラス方程式を満足する関数を調和関数と呼ぶ。すなわち、正則関数の
実部 u、vはそれぞれ(2次元)調和関数である。ラプラス方程式は電磁気学
で電荷がない領域での静電ポテンシャルの式、流体力学の流れのポテンシャ
ルの式などさまざまなところで顔を出してくるので、調和関数は大変重要で
ある。
32 第 2章 複素関数と正則性
例 14 静電ポテンシャルと電気力線:空間電荷がない領域での静電ポテンシャ
ル �(r) はラプラス方程式
(@2
@x2+
@2
@y2+
@2
@z2)�(r) = 0
を満たさなくてはならない。点rに電荷 qを持つ質点をおいたときにそれに働
く力F は静電ポテンシャルの勾配 grad�で表すことができる。
F (r) = �qgrad�(r) = �q(@
@x;@
@y;@
@z)�(r)
各点でのポテンシャルの傾き、すなわち最大傾斜の方向と傾斜の大きさを持っ
たベクトルを電場ベクトルEという。
E(r) = �grad�(r) = �(@
@x;@
@y;@
@z)�(r)
電場ベクトルを表す矢印を空間に描いてそれを連続的につなぎあわせたもの
を電気力線という。電気力線は電場の方向に沿っていて、�(r) =一定 の曲面
に垂直に交わり、電気力線の密度は電場の強さ(電場ベクトルの大きさ)に
比例する。したがって荷電粒子に働く力の方向と大きさを電気力線が表して
いる。
�(r) が zによらない 2 次元静電ポテンシャル�(r) および電場ベクトル
E(r)はそれぞれ
(@2
@x2+
@2
@y2)�(r) = 0
E(r) = �grad�(r) = �(@
@x;@
@y)�(r)
となる。静電ポテンシャル�(x; y)は(2次元)調和関数となる。また静電ポ
テンシャルの勾配(に符号を変えたベクトル)が電場ベクトルを表す。� を
実部とする正則関数の虚部 (x; y)の勾配は、コーシー・リーマンの関係式
@
@x�(x; y) =
@
@y (x; y);
@
@y�(x; y) = �
@
@x (x; y)
を満足せねばならないから電場ベクトルに直交(電気力線に直交)する。し
たがって =一定となる曲線が電気力線を定め、� =一定となる曲線と直交
する。
2.2 複素関数の微分可能性と正則関数 33
例 15 渦無しの流れと速度ポテンシャル:流体の速度場のベクトル(速度ベ
クトル)をv(r) とするとき、!(r) = rotvを渦度といい、渦の流れを表す。
! = 0のとき渦無しの流れという。rotv = 0であるとき、vはv = grad�と書
かれる関数�から導くことができる。この�を速度ポテンシャルという。流れ
の質量密度を�、時間を tとして、連続の式
@�
@t+ div(�v) = 0
が成り立つ。縮まない流体では� = constであるから
divv = 0) div grad� = (@2
@x2+
@2
@y2+
@2
@z2)� = 0
となり速度ポテンシャル�はラプラス方程式の解となる。
vが x, yにのみ依存し zには依らない 2次元的流れvを考えよう。速度ポ
テンシャル�は 2次元のラプラス方程式
(@2
@x2+
@2
@y2)� = 0
を満足し、流れの速度場は
vx =@�
@x; vy =
@�
@y
となる。このとき図 2.3に示すように空間に 1点 Aと任意の点 Pを考える。
曲線 Cの Aから Pへ向かって引いた接線を時計まわりに 90度回転させた方
向に射影したvの成分を vnとする。非圧縮性流体では、Aと Pを結ぶ曲線 C
をよぎって通過する流体の体積は
(P) =Z P
Avnds
は曲線 Cによらず点 Pだけで決る。A と P を結ぶ任意の 2つの曲線 Cと C0
を考えるとCを通って入った流れは縮まない以上 C0から必ず出ている筈だか
らである。この(x; y)を流れの関数という。 =一定である曲線を通過する
流量は 0であるからこれが流線をあたえる。
定義から流れの関数の微分は流れの速度となり vn = @=@s、すなわち
流れの関数をある方向に微分すればその方向からさらに時計周りに 90度周っ
34 第 2章 複素関数と正則性
図 2.3 非圧縮性流体の流れの関数.
た方向の速度が求められる。したがって、微分の方向をそれぞれ x, y方向に
とると�y,x方向の速度�vy, vxとなる。
vx =@
@y; vy = �
@
@x
流れの速度場の速度ポテンシャルによる式と流れの関数による式とを比べる
とコーシー・リーマンの式になっていることが分かる。つまり�とをそれぞ
れ実部と虚部とする関数
f = �+ i
は z = x + iyに関して正則関数で�とは調和関数である。fを複素速度ポテ
ンシャルという。
2.3 等角写像
2.3.1 等角写像の定義
領域 Dで正則な関数 w = f(z) について、D内の隣接した 3 点 zi, (i =
0; 1; 2)を考える。z0と zi(i = 1; 2)を結んだ滑らかな曲線は fの連続性から同
じく w0と wi(i = 1; 2)を結んだ滑らかな曲線に写像される。
このとき z平面上の点、w平面上の点のそれぞれの座標を z0、w0を中心と
して
z1 � z0 = r1ei�1; z2 � z0 = r2e
i�2
w1 � w0 = �1ei�1; w2 � w0 = �2e
i�2 (2.20)
2.3 等角写像 35
図 2.4 3点 zi, (i = 0; 1; 2)と w = f(z)によるその写像 wi (i = 0; 1; 2) と等角性。
と表す。w = f (z) の正則性により
f 0(z0) = limz1!z0
w1 � w0
z1 � z0= lim
z2!z0
w2 � w0
z2 � z0
である。極表示で書き直すと
f 0(z0) = lim�1r1ei(�1��1) = lim
�2r2ei(�2��2) (2.21)
あるいは
�1r1ei(�1��1) = f 0(z0) + 1
�2r2ei(�2��2) = f 0(z0) + 2 (2.22)
である。ただし 1, 2 はともに z ! z0 で r1, r2, �1, �2 などより早く 0 とな
る複素数である。したがって z ! z0 の極限で
lim�2�1
= limr2r1; lim(�2 � �1) = lim(�2 � �1)
となる。言い換えると「z0の近傍での微小 3角形�z0z1z2は w0の近傍の相似
な微小 3角形�w0w1w2に写像される。」
�z0z1z2 � �w0w1w2 (2.23)
式(2.21)より直ぐに jf 0(z0)jは相似図形の拡大率、argf 0(z0)は図形の回転角
(�1 � �1)であることが分かる。このような性質を、写像 f(z)の「等角性」
36 第 2章 複素関数と正則性
図 2.5 w = 1z .
といい、関数 f (z)を等角 (conformal) であるといい、写像 f(z)を等角写像
という。ある道筋に沿って右(左)にある領域は、像曲線の対応する道筋と
同じ右(左)側に写像されることも上の説明から分かるであろう。
定義 17 等角:領域Dで定義された写像 w = f (z)があって、点 z0を通る滑
らかな任意の 2曲線のなす角が、像点 w0を通る 2像曲線がなす角と符号を含
めて等しいとき、w = f (z)は z0で等角であるという。
定理 15 関数 f(z)が z0で正則で f 0(z0) 6= 0であるなら、写像 w = f(z)は z0
で等角である。
これは上の等角性の説明の言い直しであるから特に改めて証明する必要は
ない。ただ、f 0(z0) = 0 の場合には写像 w = f(z)は z = z0 で偏角が不定に
なってしまうので等角性が壊れることだけを注意しておこう。
例 16
w =1
z
この写像は z = rei�とすれば w = (1=r)e�i�であるから z = 0を中心とする円
は w = 0を中心とする円に、z = 0から放射状に広がる直線群は w = 0に集
まる直線群に写像される。z平面上の直交曲線群は w平面上の直交曲線群に写
像され、z = 0を除いて写像の等角性が成立する(図 2.5)。
2.3 等角写像 37
図 2.6 w = z2.
例 17
w = z2
z平面上で実軸にそった半直線 y = 0; x > 0 は v = 0; u > 0に、z平面上で虚
軸にそった半直線 x = 0; y > 0 は u = 0; v < 0に写像される。また z平面の第
1象現にある円弧は w平面上の上半平面にある円弧に写像される。f 0(0) = 0
であるから z = 0を除く他のすべての点で等角である。
u = x2 � y2; v = 2xy
であるから z平面で実軸、虚軸に平行な直線はそれぞれ次のような放物線に
写像される。
x = a ) u = a2 � (v
2a)2
y = b ) u = (v
2b)2 � b2
これら 2つの放物線群はいたるところで互いに直交している (図 2.6)。
2.3.2 2次元の流れ I : 境界のあるラプラス方程式の解法への等角写像の応用
正則関数の実部、虚部は各々調和関数である。等角写像 w = u(x; y) +
iv(x; y)を用いて変数変換
u = u(x; y) ; v = v(x; y) (2.24)
38 第 2章 複素関数と正則性
を行なうと、(x; y)空間のラプラス演算子は
@2
@x2+
@2
@y2=n�@u@x
�2+�@u@y
�2o� @2@u2
+@2
@v2
�(2.25)
と変換される。変換の比例係数は等角写像の拡大率
�@u@x
�2+�@u@y
�2= jw0(z)j2
である。式 (2.25)により、(x; y)空間のラプラス方程式は (u; v)空間のラプラ
ス方程式に変換される。
� @2@x2
+@2
@y2
�f (x; y) = 0,
� @2@u2
+@2
@v2
�f (x(u; v); y(u; v)) = 0 : (2.26)
2次元非圧縮性流体の渦無しの流れを考えよう。このとき複素ポテンシャ
ル f = � + i が定義されることはすでに見たとおりである。ここで正則関
数 z = z(w)(w = w(z))を用いて z平面を w平面に写像する。複素ポテン
シャル f(z(w)) = � + i は wで微分可能であるからやはり wに関して正則
関数となり�,はそれぞれ u; v (w = u+ iv)の調和関数となる。したがって
w = u+ iv平面においても�(u; v), (u; v)をそれぞれ速度ポテンシャル、流
れの関数とする渦無しの流れの速度場が存在する。これが上で述べたことで
ある。
定常的な流れでは流れの境界(入れ物)に沿って流れがあるから、z平面
での流れの境界は w平面での流れの境界に対応し =一定である流線のひと
つがその境界にならなくてはならない。ある物体の周りの流れの模様を知る
ためには流れを一々解くまでもなく、別の物体の周りの流れを知っていれば、
その物体の境界を一方の物体の境界に写像する等角写像を求めれば充分であ
る。このため 2次元非圧縮性流体の渦無しの流れ(あるいは電磁気学)では
等角写像が重要になる。
半径 aである円 (円柱)の周りの流れを考えて見ることにしよう。流れの
中の閉曲線 Cに沿って
I(C) =ICv � ds =
ICvsds (2.27)
がゼロでない時これを循環と呼ぶ。例えば流れの中に物体がおかれた場合に
は物体の近くの流線が閉曲線を作り物体を回る流れができる。物体が円(柱)
2.3 等角写像 39
図 2.7 ジューコフスキー変換.
図 2.8 円柱の周りの非圧縮性流体の渦無しの流れ(循環のない場合).
の場合に循環がなければ円の上下で流れは対称であるが、循環がある場合に
は円の上下で流れの速さが異なり圧力が働き揚力の原因となる。ここでは簡
単のため循環はないとする。6
w = z +a2
z(2.28)
という変換を考えてみよう。これをジューコフスキー変換という。z = aei�と
すると w = 2a cos �となるから、ジューコフスキー変換は z平面の半径 a で
ある円をw平面の長さ 4aの平板に写像する(図 2.7)。w平面上で厚みのない
6円(柱)の回りの循環を表現するには対数関数が必要なのだが、まだ対数関数を定義していない。循環があって円から充分に離れると一様流になる場合、複素速度ポテンシャルはf = U(z + a2=z) + i(�=2�) log zと書くことができる。これについては第 3章 3.4で考える。
40 第 2章 複素関数と正則性
平板に平行な流れの場合(平板がない場合と同様であるから)、複素速度ポテ
ンシャルは
f = Uw (2.29)
である。実際、w = u + ivとすると�(u; v) = Uu, (u; v) = Uv であるから、
u方向の流れの速度は U,v方向の流れの速度は 0であり、また流線は v =一
定という直線で表される。複素速度ポテンシャル fを zで表すと、
f = U(z +a2
z) (2.30)
となる。円から離れると(z !1)流れは f ! Uzとなり一様流になる。ま
た円柱表面(z = aei�)では
f = 2Ua cos � (2.31)
すなわち
� = 2U cos �; = 0 (2.32)
であり確かに流線は円 (柱)に沿っている。円に沿った流れの速度は
v� = (1
r
@�
@�)���r=a
= �2U sin � (2.33)
となる。流れの様子を図 2.8に示す。
平板に斜めに当たる流れに対してはジューコフスキー変換を逆に用いれば
よい。w平面で角度�で円(柱)に当たる流れは
f = U(e�i�w +a2ei�
w) (2.34)
である。したがって z平面で長さ 2aの平板に角度�をもって当る流れは上の
式から
z = w +a2
w
によって z平面に移ればよい。
ジューコフスキー変換以外にも 2次元流れに対しては等角写像がいろいろ
と応用される。複素速度ポテンシャルが
f(z) = Azn (2.35)
2.3 等角写像 41
図 2.9 角�=nをまわる渦無しの流れ.
となる場合を考えてみよう。z = rei�として f を実部と虚部に分ければ
� = Arn cos n�; = Arn sin n� (2.36)
であるから、 = 0となる流線は� = m�=n (n = 0; 1; 2; � � �)である。したがっ
て上の速度ポテンシャルは角度m�=nの物体をまわる流れである(図 2.9)。
42 第 2章 複素関数と正則性
2.4 第 2章問題
問 1. 公式 2 1.~4.を証明せよ。
問 2.次の u(x; y)は調和関数であることを示し、uを実部とする正則関数を
求めよ。
(1)u = x3 � 3xy2 (2)u = 12ln(x2 + y2) (3)u = ex cos y
問 3. w(z) が正則関数であるとき、z = rei�; w(z) = Rei� と書くと、コー
シー・リーマンの関係式は、
@R
@r=R
r
@�
@�;@R
@�= �rR
@�
@r
と書けることを示せ。
問 4. 写像 w = 1=zにより、z平面の直線群 x = a(一定)および y = b(一
定)がw平面のどのような曲線群に写像されるか。それらの曲線群で等
角性を確かめよ。
問 5. ジューコフスキー変換 w = z + a2=zにより� =一定 (z = rei�)の半直
線はどのような曲線に写像されるか。
問 6. ジューコフスキー変換� = z+ b2=zにより、r =一定 (z = rei�)は、�平
面の楕円に写像されることを示せ。これを用いて断面が楕円形の柱の周
りの2次元の流れを議論せよ。
問 7. w = z + ezにより z平面の�� � Imz � �が w平面全体に写像されてい
ることを示せ。特に Imz = ��が Imw = ��;Rew � �1に写像される
ことを示せ。これから平行平板蓄電器の端の電場を解析せよ。