2-1　複素1次関数
f-denshi.com  ［目次へ］最終更新日：08/02/08
サイト検索

１．複素関数の定義と１次関数

［１］　複素関数とは，複素数zに複素数wを対応させる写像

f：　z　→　w＝f(z)　

です。成分で表示すると，

　これは，複素数の１点zから複素数の１点wへの対応ですが，実質的には２つの実数の組(x，y)を２つの実数の組(u，v)を対応させる関数，

f：(x，y)　→　(u，v)　

となっています。これは，複素関数は２次元ベクトルを２次元ベクトルに対応させる (＝２次元ベクトル場 [#] ) 写像といってもよく，実際，ベクトル場と密接な関係を持っています[#]。この関数の振る舞いを一度に描こうとすると，定義域と値域に２本ずつ合計４本の座標軸が必要です。つまり，４次元の中にしか書くことができません。３次元ならば遠近法を使って２次元の紙面に書くことも可能ですが，４次元ではお手上げです。それでやむを得ず，上のように２枚の２次元平面 (z-複素平面＝xy平面とw-複素平面＝uv平面)を用いて関数の特徴を可視化することにしましょう。

［２］　何はともあれ，簡単な複素関数として１次関数と呼ばれるものをとりあげ，次の３タイプに分けて調べましょう。

(１)　w＝Az
(２)　w＝z＋B

(３)　w＝	1
	z

　ここで，A，B は定数(∈複素数)です。複素関数は(ガウス)平面上の１点をもう一つの平面上の１点に移す写像と言いました。したがって，１点が１点に対応する様子を別々に図示しても点がただ２つあるだけでおしまいなので，ふつう，x-y平面内にある直線，円といった特徴のある図形が写像によって，u-v平面上でどのよう形に移されるのかを調べることで複素関数の基本的な特徴を把握します。

［３］　ｗ＝Az　の場合：

極座標で，A＝Re^iα，z＝re^iθとすれば，

⇒　w＝Rre^{i (θ＋α)}

これは，ガウス平面内の回転と原点を源とする相似拡大(縮小)です。円は円，直線は直線に移ります。

［４］　w＝z＋B　の場合：

　これは簡単で，タダの平行移動です。円は円，直線は直線に移ります。

この写像を調べるには少し計算が必要です。最初にガウス平面上の直線と円の方程式を求めておきます。まず，xy平面内の直線の方程式は，

ax＋by＋c＝0　　a，b，c∈実数

ですが，ガウス平面上では，　

実数成分　：　x＝(z＋z*)/2  　虚数成分　：　y＝i (−z＋z*)/2

と対応するので，xy平面上の直線の方程式に代入してx，y　を消去すれば，

［a/2−i b/2］z＋［a/2＋i b/2］z*＋c＝0
⇔
Az＋A^*z^*＋c＝0　･･･[*]　：　ただし，A＝a/2−i b/2，　A^*＝a/2＋i b/2　　　　　　　　　

という式になります。　一方，xy平面内の円の方程式は，

(x−p)²＋(y−q)²−r²
　　　＝x²＋y²−2px−2qy＋p²＋q²−r²＝0，　ただし，r≠0；　p，q，r∈実数

ここで，zz^*＝x²＋y² に注意して，直線の方程式の導出と同様にx，y を消去すると円の方程式は，

zz^*−Bz−B^*z^*＋BB^*−r²＝0　　・・・[**]　：　ただし，B＝p−iq，r≠0,　   ( BB^*＝p²+q² )　　

と書くことができます。つまり，この関係を満たす複素数 zの集合はガウス平面上で半径r の円を描きます。以上で準備は終わり。

［６］　[直線の像]　　そこで，直線[*]は写像　w＝1/z　によって，

A/w＋A^*/w^*＋c＝0

に移されることがわかります。書き換えると，

cww*＋A*w＋Aw*＝0

これを満たすwの集合が，z平面上の直線[*]に対応するのw-平面上の像となります。なお，この式の意味は場合分けして吟味する必要があります。

ケース１　　c＝0　のとき　　←直線が原点通るとき
　　A^*w＋Aw^*＝0　
これを　uv-平面の成分で表すと，　←　w＝u＋iv　ですね　　
　　(a/2＋ib/2)(u＋i v)＋(a/2−ib/2)(u−iv)＝0
⇔

au−bv＝0　［原点を通る直線］

ケース２　　c≠0のとき，　←原点通らない直線のとき
　　cww*＋A^*w＋Aw^*＝0
uv平面では，
　　c(u²＋v²)＋［a/2＋i b/2］(u＋i v)＋［a/2−i b/2」(u−iv)
　　　　＝c(u²＋v²)＋au−bv＝0　
⇔

(u＋a/2c)2＋(v−b/2c)2＝(a2＋b2)/4c2　［原点通る円］

すなわち，z平面上で直線となる複素数の集合は，写像w＝1/zによって，

(1)　原点を通る直線は，原点を通る直線へ
(2)　原点を通らない直線は，原点を通る円へ

写されることが分かりました。

［７］　[円の像]　　次に円は写像：w＝1/zによって，

(1/w)(1/w)^*−B(1/w)−B^*(1/w)^*＋BB^*−r²＝0　

すなわち，

1−Bw*−B*w＋(BB*−r2)ww*＝0

この方程式も場合分けして調べます。

ケース１　BB^*−r²＝p²＋q²−r²＝0のとき，←原点通る円のとき
　　　1−Bw^*−B^*w
　　＝1−(p−i q)(u−i v)−(p＋i q)(u＋i v)
　　＝1−2pu＋2qv＝0　　[直線]

ケース２　BB^*−r²＝p²＋q²−r²≠0のとき，←原点通らない円のとき

　　　1−Bw^*−B^*w＋(BB^*−r²)ww^*
　＝1−2pu＋2qv＋(p²＋q²−r²)(u²＋v²)＝0
⇔
　［u−p/(p²＋q²−r²)］²＋［v＋q/(p²＋q²−r²)］²−r²/(p²＋q²−r²)²＝0　[円]

［８］　以上まとめると

［９］　ここでの考察を一つにまとめた次式で一般化される関数，　

を１次関数(または，１次分数関数)と呼びます。この関数は先の３つの要素的な関数の合成関数として表せることに注意して下さい。　以上の具体的な計算を念頭において，円円対応，リーマン球面，等角写像などの複素関数の特徴について書かれた教科書を読めば理解が得られるのではないのでしょうか。本講義のAppendix　[#]　にも簡単に説明しておきました。

［ 目次へ ］