本章では頻繁に現れる複素関数の性質について調べる。最初に

第

章

初等複素関数

展望：

本章では頻繁に現れる複素関数の性質について調べる。最初に

次分数関 数について議論する。

次分数関数はあまり簡単すぎて何のために学ぶのか よく分からないという感想を持つかもしれない。しかし

次分数関数は様々 な議論の基になるものである。

これまではガウス平面上の点は常に原点から有限の距離にあるものと考え てきた。しかし原点から無限大の距離にある点も考えておいた方が便利であ る。この章では無限遠点を定義する。無限遠点は原点から無限大の距離にあ り偏角不定の点である。

本章では再びべき級数について議論するが、 「べき級数の収束半径」とい う概念を導入する。収束半径という言葉は実数の級数ですでに出ていること であるが、 「半径」という言葉の意味はここでガウス平面を思い浮かべて初め て納得できるものである。

多価関数である一般のべキ関数、指数関数などは注意して学ぶ必要があ

る。実変数の範囲でのベキ関数と複素関数としてのべき関数はだいぶ違った

側面がある。その違いは本章で導入するリーマン面を理解することで明瞭に

することができる。対数関数は指数関数の逆関数として導入され、変数

の

全域で定義される。多価関数のリーマン面が理解できれば本書における複素

解析を学ぶ目的の大半は達成したことになる。あとは計算技術的なものであ

るといってもよい。リーマン面は大切であるから、後の章でも何度も繰り返

し述べる。

3.1 1

次分数関数

3.1.1 1

次分数関数とその写像

n

を

または正整数、

を複素定数として

P(z)=a

0 z

n

+a

1 z

n01

+111+a

n01 z+a

n

(3.1)

を

次多項式または有理整関数という。多項式は複素

平面全域（原点より 有限の距離にある全ての点）で正則である。一般に複素平面全域で正則な関 数を整関数という。

P(z),Q(z)

が

の多項式（

）であるとき、

P(z)

Q(z)

= a

0 z

n

+a

1 z

n01

+111+a

n01 z+a

n

b

0 z

m

+b

1 z

m01

+111+b

m01 z+b

m

(3.2)

を有理関数という。

特に、

を複素定数として

次の有理関数

w=

az+b

cz+d

; (ad0bc6=0) (3.3)

を

次分数関数あるいは

次関数という。またこれを写像と考えて、

次変 換（

次写像）あるいはメビウス変換という。

を書き直すと

w=

(bc0ad)=c

cz+d +

a

c

(3.4)

であるから、

次変換は

1. w=z+

2. w=z

3. w=1=z

の

つの変換の組合せである。この

つの変換は写像の基本であり、等角写像 としても重要である。

は複素平面上の並行移動

は複素平面上の拡大

（縮小）と回転である。平面上で原点

から出て点

を通る半直線上にあり

OP=1=OQ

の関係にある点

を、 「

と

は互いに鏡像の関係にある」とい

3.1 1次分数関数 ⁴⁵

図 ^{3.1 1=z}と^zの鏡像の位置^{1=z .}

う

図

。

と

は原点を

端とする同一線分上にありかつ

であるから鏡像の関係にある。したがって変換

は複素平面上の点

を鏡像 の位置

に移しそれをさらに実軸に対称な点

に移す写像である。

1

次分数関数

は

を除き全平面で正則でかつ等角である。ま たこれは

あるいは

を除いて、

平面と

平面の上の点の間 で連続な

対

対応を与える。また変換によって動かない点（自分自身に写 像する点＝不動点：

）は

の根であり一般に

つある。

z

平面上の直線または円の方程式 （

と

は実数）は

azz+z

0 z+z

0

z+c=0

である。写像

によってこれは

cww+z

0 w+z

0

w+a=0

に移る。これもまた

平面上の直線または円である。

次分数写像はこれに 並行移動および拡大・縮小・回転を行なったものであるから、一般に

次分 数写像は平面上の直線または円を直線または円に写像する。これを「円円対 応」という。

例

次分数変換 （

）

w=e i

z0z

0

z0z

を考える。

とすると

であるから、

平面の実軸は

平面の単位円 に写像される。したがって

次変換の連続性より

平面の上半平面（

） は

平面の単位円の外または内に写像される。

に対応する

平面上の 点は

であるから、

平面の上（下）半平面は

平面の単位円内（外）部 に写像される（ 図

（

）） 。

例

次分数変換（

）

w=e i

z0z

0

z

0 z01

を考える。

とすると

だから

平面の単位円は

平面の単 位円に写像される。さらに

に対応する

平面上の点は

だから、

平面の単位円の内（外）部は

平面の単位円の内（外）部に写像される（図

3.2

（

） ） 。

3.1.2

無限遠点

これまでは複素

平面上の点を考えるときそれはいつでも原点より有限の 距離にある点と考えてきた。実際、 「整関数は複素

平面上で正則」といった ときも

は原点より有限の距離にあるという意味である。しかしたとえば

という写像を考えるときなど、それでは少し不便である。

の写像を考 えることはできるが

だけは特別扱いをしなくてはならない。

w =1=z

を考えたとき

を除き複素

平面上の点と複素

平面上の点 はすべて

対

で対応する。これを拡張して

によって

が写像 されるべき点を定義しあるいは

に写像されるべき点を定義して、複素

z

平面上の点と複素

平面上の点がすべて

対

に対応するとした方が便利 である。複素数

は絶対値が

で偏角は不定である。そこで

に よって

が対応する点は絶対値無限大、偏角不定ということになる。

定義

無限遠点

lim

z!0 1

z

(3.5)

によって写像される点を導入する。この新しい点を無限遠点とよび、記号と

して

と書く。無限遠点は絶対値無限大、偏角不定である。

3.1 1次分数関数 ⁴⁷

図 ^{3.2 (a)1}次分数変換^{w=ei(z0z0)=(z0z0)} （^{Imz0 >0} ）^{,(b) 1}次分数変 換^w=ei(z0z0

)=(z

0

z01) （^jz0

j<1 ）^.

図 ^3.3 リーマン球面と無限遠点^.

もう少し具体的に理解するためには次のように考える。

次元空間

において

平面を複素

平面

と同一視する。

平面の原点

に接して

半径

の球面

を置き、その中心に関して

に対称な球面上の点を

とする。

と平面上の点

を結ぶ線分が球面

を貫く点を

とすると、

である場合を除いて、

と

は

対

で対応する。複素

平面上にさらに

点 を付け加えてその点と

を対応させると、複素

平面と球面

は完全に

対

で対応することとなる。複素

平面に付け加えたこのあたらしい

点が無限 遠点である。

先ほどの

と

を結ぶ線分を書いて

を原点

から遠ざけると、

上の点

Z

は

上を

に近づいていく。したがって

を

から無限の距離遠ざけたの が無限遠点であるということができる。原点からどの方向に遠ざけても対応 する点

は

に近づいていくから、原点から無限に離れた先は方向によらず

1

点と考える、すなわち偏角が不定である。

これが「無限遠点は原点からの 距離が無限大で偏角不定である点」という意味である。球面

をリーマン球 面といい、複素平面とリーマン球面を対応させる写像を立体射影と呼ぶ。

複素

平面上の点

について、適当な正数

に対して

の領 域を「点

の近傍」といってきた。これに対応して、任意の正数

に対して 複素

平面上の

である領域を無限遠点の近傍 という。

3.2

べき級数

3.2.1

べき級数の絶対収束

f(z)=a

0 +a

1 (z0z

0 )+a

2 (z0z

0 )

2

+111a

n (z0z

0 )

n

+111 (3.6)

の形の級数を

の周りのべき級数という。以下では議論の煩雑さを避けるた めに

の場合すなわち原点の周りのべき級数を考えるがこれは何ら一般 性を失うものではない。

次変換により任意の点の周りのべき級数に移すこ とができるからである。べき級数の収束発散に関しては次の定理が成り立つ。

定理

アーベルの定理：級数

f(z)=a

0 +a

1 z+a

2 z

2

+111a

n z

n

+111 (3.7)

1実数の範囲では⁺¹と⁰¹を区別するが、ここでは共に¹である。

3.2 べき級数 ⁴⁹

が

で収束するなら

である各点で級数（

）は絶対収束する。

また原点

を中心として原点と

の距離

より小さい値

を半径とす る円内で級数（

）は一様収束する（ 広義一様収束） 。

定理の証明は次のとおりである。級数が

で収束するなら第

章の 定理

より

lim

n!1 a

n z

n

0

=0

である。すなわち任意の数

に対して適当な自然数

を選んで

であ るすべての

に対して

ja

n z

n

0 j<M

とすることができる。そのような

に対して

ja

n z

n

j=ja

n z

n

0 j1j

z

z

0 j

n

<Mj z

z

0 j

n

である。

は等比級数で

であるすべての

に対して収束す る。したがって級数（

）は

で絶対収束する。

次に原点を中心に半径

の円を考えるとこの円内で

ja

n z

n

jja

n j

n

<ja

n z

n

0

｜

jz

0 j

n

<M

jz

0 j

n

である。級数

は

に無関係に収束するから

は一様かつ 絶対収束である。すなわち級数は半径

の円内で一様収束する。

例

を実数として級数

1+x+x 2

+111+x n

+111

は

なら収束し

である。したがって

1+z+z 2

+111+z n

+111

は

で絶対収束する。このときこの級数は

に等しい。

2後半の広義一様収束では^jz0jを半径とする円内に含まれる任意の閉集合領域であること が肝腎である。すなわち^jz0jを半径とする円周上とそれに任意に近い領域は除外され、円周 の境界から有限の距離だけ離れた円内の領域で一様収束していることを広義一様収束いう。

3.2.2

収束半径

定義

収束円と収束半径：定理

により、複素平面上で

がその内 部のすべての点で絶対収束し外部のすべての点で発散する円が存在する。こ の円を収束円、収束円の半径を収束半径という。

先の定理

では収束円上の各点で級数の収束・発散がどうなるかは何も 述べていないことに注意しなくてはならない。実際、収束円上のある点で収 束し他の点では発散したり、あるいは収束円上のすべての点で発散したりな どいろいろな場合がある。

収束半径は次の方法によって決めることができる。

定理

コーシー・アダマール（

）の定理： べき級数

の収束半径

は

1

r

= lim

n!1 n q

ja

n

j (3.8)

である。

(

証明）

ならば

である

を考えると

1

>

1

r

= lim

n!1 ja

n j

1=n

であるから、上極限の定義から充分大きな

を考えれば

であるすべ ての

に対して

ja

n j

1=n

<

1

となる。すなわち

ja

n z

n

j jz

n

j

n

(n>n

0 ):

3実数列^fxngにおいて、点^Xに任意に近いところに無限個の点があるとき、この点^Xを 集積点という。言い換えれば、実数列^fxngの適当な部分列^fxnj

gの収束値が集積点である。

集積点の値の集合の上限を記号^limn!1 x

n あるいは^limn!1 supx

nで表し、上極限という。

したがって上極限より有限の値だけ大きな値をとる点^xnは高々有限個である。また集積点の 値の下限を記号^limn!1

x

n あるいは^limn!1infxnで表し、下極限という。これらの定義か ら、^fxngの極限値が存在するということは上極限と下極限が存在してかつ一致しているこ とを意味する。

3.2 べき級数 ⁵¹

jzj<

であるから級数

は収束する。したがって

は絶対収束 する。逆に

ならば

1

jzj

<

1

r

= lim

n!1 ja

n j

1=n

であるから、部分列

g

を適当に選べば

1

jzj

<ja

ni j

1=ni

とすることができる。すなわち

ja

n

i z

n

i

j>1

であるような項

が無限にある。したがって定理

により

は収束しな い。

証明終わり

実際に収束半径を決めるときには上のコーシー・アダマールの定理は必ず しも使い易いものではない。多くの場合に有効に用いられる方法として次の 定理がある。

定理

べき級数

について、

r= lim

n!1

a

n

a

n+1

(3.9)

が収束して存在すればそれが収束半径である。ここでの議論は

を 含む。

(

証明） 極限

r = lim

n!1

a

n

a

n+1

が存在すれば

lim

n!1

a

n

a

n+1

=lim

n!1

a

n

a

n+1

= lim

n!1

a

n

a

n+1

=r

である。したがって各項を

とおくと

lim

n!1

u

n+1

u

n

= lim

n!1

a

n+1 z

n+1

a

n z

n

=jzj lim

n!1

a

n+1

a

n

= jzj

r :

初めの有限項を除いて 級数

は、

なら公比

、

なら

公比

の等比級数となる。以上により、

で

は絶対収束するから

収束する。また

では

であるから

は発散する。

証

明終わり

例

収束級数の項別微分：級数

n z

n

の収束半径が

であるなら、

P

1

n=1 na

n z

n01

の収束半径も

である。

級数

n z

n

が収束するなら、

の場合に

である

をとると

j<M (

有界）であるから、

。したがって

1

X

n=1 nja

n jjzj

n01

<

M

jzj 1

X

n=1 n

jzj n

r n

1 :

定理

により

は

で収束するから、上の級数

も

で収束する。よって級数

nja

n jjzj

n01

は

で収束 する。

次に

の場合には

jz j

であるから

n z

n

が 発散すれば

na

n z

n01

も発散する。

例

収束級数の項別積分：級数

a

n z

n

の収束半径が

であるなら、

P

1

n=1 a

n z

n+1

=(n+1)

の収束半径も

である。このことは上の例に倣って簡 単に示すことができる。複素関数の積分はまだ定義していないが、後で述べ るように

の積分は

である。したがってこの例は収束級数の 積分に関して項別積分が可能であることを述べている。

3.3

指数関数

3.3.1

指数関数

指数関数は第

章

極表示の項で既に出てきている。

定義

指数関数：指数関数

はべき級数

expz = 1

X

n=0 z

n

n!

(3.10)

によって定義される。

(n+1)!

n!

!1 (n!1)

4この関数は普通^ez と書く。^3.5で定義する一般のべき関数^{az (a}は複素数）の定義に従 えば^{e=2:71828111111}のべき乗 ^ezとここで定義した^expz は関数の多価性において違う。

expz は¹価関数である。しかし^ez に限っては^ezexpzの意味で用いる。

3.3 指数関数 ⁵³

であるから、既に見たように指数関数の収束半径は無限大である。実際

を除き複素

平面上すべての点で正則である。

公式

指数関数の微分：上の級数を項別微分して

d

dz

expz =expz (3.11)

である。これが指数関数の微分規則である。

指数関数の大切な性質の一つに指数法則がある。

公式

指数法則

これは第

章 例

で証明した。

またべき級数の定義から直ぐ にオイラーの公式

expix=cosx+isinx (3.12)

が導かれる。これから次の式も導かれる。

expz =e x

(cosy+isiny )

指数関数は

に関し周期

の関数であることもすでに知っている。

exp(z+2mi)=expz

3.3.2 3

角関数、双曲線関数

複素数に拡張された指数関数により

角関数も複素数の領域に簡単に拡 張される。オイラーの公式（

）

e i

=cos+isin

に対して複素共役な式

e 0i

=cos0isin

を組み合わせると

sinx= e

ix

0e 0ix

2i

cosx= e

ix

+e 0ix

(3.13)

が得られる。

実数

に関して成り立つ上の式が複素数

についても成り立つように、次 のように複素数の指数関数を定義する。

定義

角関数：

sinz = e

iz

0e 0iz

2i

cosz = e

iz

+e 0iz

2

(3.14)

3

角関数は指数関数によって定義されたからその性質も指数関数から容易 に知ることができる。たとえば関数値が

になる点（ ゼロ点）は

の実軸上 の点でだけであること、特異点は無限遠点のみであることなどが知られる。

公式

オイラーの公式、加法定理： 複素数の

角関数では、オイラーの公式、

3

角関数の加法定理、その他の関係もそのまま成り立っている。証明は簡単 であるので読者各自で試みられたい。

e iz

=cosz +isinz :

オイラーの公式

sin(z

1 +z

2

)=sinz

1 cosz

2

+cosz

1 sinz

2

：加法定理

cos(z

1 +z

2

)=cosz

1 cosz

2

0sinz

1 sinz

2

：加法定理

sin 2

z+cos 2

z =1

3

角関数と密接な関係があるのが以下で定義する双曲線関数である。

定義

双曲線関数：

sinhz = e

z

0e 0z

2

coshz = e

z

+e 0z

2

(3.15)

これらはそれぞれハイパボリック・サインあるいはハイパボリック・コサイ ンと呼び、ゼロ点は虚軸上にのみある。特異点は無限遠点以外にはない。

３角関数と双曲線関数は

という置き換えで互いに入れ替わる。こ れは

角関数双曲線関数の定義からすぐ に示される。

cosz =coshiz; cosiz =coshz

isinz=sinhiz; siniz =isinhz

3.4 対数関数 ⁵⁵

公式

双曲線関数の加法定理 その他：双曲線関数の加法定理、その他の関 係は次のとおりである。これについても定義からすぐ に示すことができるの で、読者の演習にゆだねよう。

sinh(z

1 +z

2

)=sinhz

1 coshz

2

+coshz

1 sinhz

2

cosh(z

1 +z

2

)=coshz

1 coshz

2

＋

cosh 2

z0sinh 2

z=1

3.4

対数関数

実数の範囲では対数関数

の変数

は正の実数でなくてはならない。

e =2:71828111111

の実数べき乗の逆関数として定義されていたからである。

ここでは複素数を変数とする対数関数を考える。対数関数は指数関数の逆関 数として定義される。

3.4.1

対数関数の定義と主値

定義

対数関数：対数関数は指数関数

の逆関数として定義される。

w=logz ()z =expw (3.16)

極表示

を用い

は

または整数

に注 意すると

z = e lnr

e

i( +2n )

= e w

=e logz

であるから

logz =lnr+i(+2n ) =lnjzj+i(argz+2n) (3.17)

が得られる。対数関数は式

で定義される。

はゼロまたは正または 負の整数であるから、関数値は

がとりうる値だけの異なる値すなわち無限 個の異なる値をとり、したがって対数関数は無限多価関数である。

z =e logz

5本書では、複素数を変数とする対数関数^logと区別して、^eを底として実数を変数とする 対数関数を^lnと書く。^lnxは実数^xを変数とする¹価関数である。

図 ^3.4 対数関数^{. (a)} 複素^z 平面上で^z が原点を一回りすると^,(b)複素^w平面で

w=logz は 値を²ⁱだけ変える^.

という書き方もしばしば役に立つ。

変数

が原点の周りを一回りするとその偏角は

だけ増加（時計と逆周 り）または減少（時計と順周り）する。したがってこのとき対数関数

は

2i

だけ値が変わる。その様子を図

に示そう。複素

平面上で点

が原点 の周りを一周するとき、

は複素平面上を虚軸に平行に動く。

z

平面上の閉じた曲線上を

が動くとき、その曲線の囲む領域の内側に原点 があれば

の偏角は元に戻らず

または

だけ変化しているので

が動く曲線は閉じたものとはならず

だけ動いている。一方、

平面上の 閉じた曲線が原点を取り囲んでいなければ、

が元の点に戻ったとき

も 元に戻り したがって

が動く曲線は閉じたものとなる。この意味で対数 関数の多価性のカギは複素

平面上の原点にある。ここで

の偏角が不定に なるからである。この原点のように多価関数の源になる点を分岐点

p oint)

という。特に対数関数の分岐点を対数的分岐点という。

対数関数の値を一義的に定めるためには主値を定義する。

定義

対数関数の主値：対数関数の虚数部分を

から

に限ったものを対 数関数の主値といい

と書く。

Log z=lnjzj+i =lnjzj+iArg z (=Argz : 0 < ) (3.18)

したがって

3.4 対数関数 ⁵⁷

である。対数関数に関しては次の加法定理が成り立つ。

logz

1 z

2

=logz

1

+logz

2

: (3.19)

これについても

について

で述べたと同じように、左右両辺の示す無 限個の複素数が集合として等しい、言い換えると多価関数として両辺が一致し ているということである。関数値を問題にするなら

だけの差がある。

公式

対数関数の微分公式

d

dz

logz = 1

z

(3.20)

この微分公式の証明は簡単である。

の左右両辺を

で微分し

1=

dlogz

dz de

logz

dlogz

=

dlogz

dz e

logz

=

dlogz

dz z

となる。

3.4.2

対数関数の多価性とリーマン面

対数関数は無限多価関数である。なんとかして

の一つの値に対して関 数

の一つの値を対応させることができないだろうか。

複素平面上の１つの

の値に対して無限個の

の値が対応して いて、その対応関係を一意的に定めることができないために次のような困難 が発生していた。最初

を定めたとき一緒に

の値を定めておけば、そ の後の

の連続的な変化に対応して

の値も連続的に変化し、した がって

の値は一意的に定められる。しかしこの場合には対応をい つも追っかけていて、

が分岐点（

）の周りを何回周ったのか記録して おかなくてはならない。

このような混乱を避けるために、関数

の値の組だけの

平面を用意し

平面の

つづつに

の値を対応させてみよう。つまり

が原点の周りを廻っ

ていない場合には

の

平面、原点の周りを時計と反対方向に

回周った

ときの

平面を

・

平面（

） 、原点の周りを時計と順

方向に

回周ったときの

平面を

・

平面（

）

図 ^3.5 対数関数のための無限枚のリーマン面^.

という具合に

から

までの

平面を考える。これらを上手に繋ぎ合 せて、原点

＝

の周りを廻るたびに

つの

平面から次の

平面へと自 然に移るようにしておく。こうすれば

がどの

平面にあるかを決めれば関 数

の値が決まる。関数の多価性を除くためにこのように用意した

平 面をリーマン面という。

対数関数

で

と変数変換すると

すなわち

も

(

対数的）分岐点になっていることがわかる。

平面上で、

の

つの分岐 点

の間（たとえば実軸の右半分）に切り込みを入れ、ここで

n

・

平面の

部分と

・

平面の

部 分とをつなぎ合せる

図

。このようにしておけば無限枚の

平面が必要 ではあるが、

平面上の

点と

平面上の

点が

対

対応し、かつ 無限枚の

平面 が連続してつなぎ合わされる。

3.4.3 2

次元の流れ

： 循環のある場合の流れの問題に対す

る対数関数の応用

円（柱）の回りの循環を表現するには対数関数が必要である。循環があっ て円から充分に離れると一様流になる場合、式（

）で与えられた複素速 度ポテンシャルに対数項を加えたものが、新たに複素ポテンシャルとなる。

f =U(z+ a

2

z )+i

0

2

logz (3.21)

新たに加えた対数関数項の虚部は円周上で一定となり、したがってこの円周

jzj =a

は複素ポテンシャルに対しても流線となる。さらにこの円周

3.4 対数関数 ⁵⁹

図 ^3.6 循環のある場合の流れ^.

の上を廻るとき複素ポテンシャルは

だけ増える。これは円周の周りを円 周に沿って流れる流れすなわち渦ができていることを意味している

図

。

速度は上の速度ポテンシャルから

d

dz

f =U(10 a

2

z 2

)+i 0

2 1

z

(3.22)

となる。循環のない場合には円柱の上下で流れは対称であるが循環があると、

円柱の周りを周る循環と順方向で流れは速くなり反対側で遅くなる。そのた めベルヌーイの法則によって円柱は力を受ける。

円柱に沿った流れの速度は

f =8+i9

v

=

1

r

@8

@

r =a

=02Usin0 0

2a

: (3.23)

流れのないときの圧力を

、流体の密度を

として、ベルヌーイの定理より 圧力は

p=p

0 0

2 v

2

=p

0 0

2

02Usin0 0

2a

2

(3.24)

となる。円柱に働く全圧力を計算するには、円柱の表面法線方向は

、 表面微少線分要素は

であることに注意して積分

P =0 Z

pnds

を行なえばよい。

および

方向の圧力として

P

x

=0

P =U0 (3.25)

を得る。非圧縮性完全流体のなかでは円柱には流れの方向（

方向）には抵 抗が働かず、循環に比例した揚力を受ける。

3.5

一般のべき関数と多価性

べき乗については、これまでは複素数

の整数べきおよび有理数べきに関 して考えていた（第

章） 。これからは任意の実数べきのみならず、複素数の 複素数べきを定義する。

3.5.1

べき関数の定義

定義

一般のべき関数

および

を複素数としてべき関数

を

a b

=expfblogag=exp(bflnjaj+iargag) (3.26)

と定義する。

arga=Arga+2n

であるから上の定義より

a b

=exp(bflnjaj+iArg a+i2ng) (3.27)

である。

の部分に注目すれば

が整数ならば

は

価関数であ る。

が有理数

であれば

は

価関数である。

がそれ以外、 無理数あ るいは複素数であれば

は無限多価関数となる。

の多価性は

あるい は

の多価性に起因している。

複素変数

の関数

は、

が整数でないとき、

の値により上記の多価 性をもち、

＝

が特異点

分岐点）となる。

が有理数のとき

を

6この定義に従えば、

e z

exp(zloge)=expfz(lne+i2n )g

= expz(1+i2n)=expz1exp(i2nz )

となる。したがって^ezと指数関数^expzは異なることになってしまう。しかし^3.3の脚注で 述べたように、^ezについては慣用として上でⁿ＝⁰のみをとり、

e z

expz

とする。

3.5 一般のべき関数と多価性 ⁶¹

の 代数的分岐点、

が無理数であるかあるいは実数でないとき 対数的分岐点 という。一方、

は

の（虚部の）値を決めれば一意的に値が定まり、

したがって

価関数である。

例

の値を一意的に定めておかない限り

z a

z b

=z a+b

; (z a

) b

=z ab

などは成立するとは限らない。

一般のべき関数に関する微分は合成関数の微分および指数関数の微分を用 いて、次のように得られる。

公式

べき関数の微分公式：

d

dz z

a

= d

dz e

alogz

=

dalogz

dz e

alogz

= a

z z

a

=az a01

(3.28)

d

dz a

z

= d

dz e

zloga

=logae zloga

=a z

loga (3.29)

3.5.2

多価関数

の写像とリーマン面

w=z

1=n

を考えよう。この関数は

価関数であり、

が特異性を与え る。すなわち

の周りを

まわっても

は元の値に戻らないが、原点か ら有限の距離にある

以外の点の周りを

まわるならば

は元に戻る。

z =0

は代数的分岐点である。

w = z

1=n

は

価関数であるから

の周りを

回周ると関数

の値は 元に戻る。複素

平面を

枚用意してそれぞれを区別しよう。

2 argz 4, 4 argz 6

をそれぞれ

arg w 4=n, 4=n arg w 6=n

に対応させる。このような

平面を

枚まわれば、

平面で元の点に戻ると決めておく必要がある。

以外に

z =1

も

の分岐点であることに注意しておこう。確かに、

とおくと

であるから

すなわち

も

の分岐点 となっていることが分かる。

簡単のために

を考えよう。２つの分岐点

と

を結

んだ任意の曲線を選んで複素

平面を切断する。いまは

と

を

結ぶ直線、実軸上

の部分を選ぼう。ここに切断を入れ、

図 ^3.7 べき関数^w=z1=3のリーマン面^.

の部分（

枚目の

平面の切断の下の部分）と

の部分（

枚目 の

平面の切断の上の部分） 、

の部分（

枚目の

平面の切断の 下の部分）と

の部分（

枚目の

平面の切断の上の部分）を図

3.7

のようにつなぐ。さらに

の部分（

枚目の

平面の切断の

下の部分）と

の部分（

枚目の

平面の切断の上の部分）をつな

ぐ。最後の連結では実際には他の面を貫いてしまうが我々は頭の中だけで考

えておけばよいのでそのような心配はしない。図

のように、

つの

平面

を

つにつないだものが完成し、

と

が

対

で対応するようにできる。

3.6 第³章問題 ⁶³

3.6

第

章問題

問

３角関数

について公式

を示せ。また微分公式

d

dz

sinz =cosz;

d

dz

cosz =0sinz

を示せ。

問

公式７を示せ。また微分公式

d

dz

sinhz =coshz;

d

dz

coshz =sinhz

を示せ。

問

次の級数の収束判定を行ない、収束半径を求めよ。

(1) 1

X

n=0 z

n

n!

(2) 1

X

n=0 n

2

z n

(3) 1

X

n=1 z

n!

(4) 1

X

n=0 n!z

n

: (0! 1)

問

以下の計算をせよ。

(1) i i

(2) exp(expz)

の実部、虚部

問

次の級数の収束半径をもとめよ。

S(z) = 1+ ab

c z+

a(a+1)1b(b+1)

2!c(c+1) z

2

+111

+

a(a+1)111(a+n01)1b(b+1)111(b+n01)

n!c(c+1)111(c+n01)

z n

+111

z

が収束円内にあるとき

は

z(10z)S 00

(z)+fc0(a+b+1)zgS 0

(z)0abS(z)=0

を満たすことを示せ。

問

逆３角関数を

z =sinw

*

)w=sin 01

z

z =cosw

*

)w =cos 01

z

*

01

と定義する。

sin 01

z =ilog (0iz+(10z 2

) 1=2

)

cos 01

z =ilog (z+(z 2

01) 1=2

)

tan 01

z = i

2 log

10iz

1+iz

を示せ。

問

一般のべキ関数の定義から微分公式

d

dz z

z

=z z

(1+logz)

を導け。

問

の分岐点を求めリーマン面を定めよ。 （第

章）