複素関数に関する質問

春休みに入ったので、応用数学の演習問題をやっているのですが、
複素関数の分野で分からない問題がいくつかあります。
休み中なので、誰かに聞くことも難しいため解説、解答をよろしくお願いします。

1. 実数を係数とする代数方程式 f(x)＝０ が、実数でない複素数ｚを解に持つならば、
共役複素数ｚ～（ゼットバーのつもり）も解であることを証明せよ。そのとき
z = a+ib とすれば、整式 f(x)＝０ は x^2－2ax＋a^2＋b^2 で割り切れることを
証明せよ。（^は階乗）

2. w = 1/z により、次の直線または円はどんな直線または円に変換されるか。
(1) 単位円 |z| = 1 と２点 P、Q で交わる直線
(2) 単位円に１点 P で接する直線
(3) 点 i を中心とし原点を通る円

3. 次の関数は z 平面のそれぞれの領域を w 平面の単位円の内部に
写像することを示せ。
(1) w = （z^2 - a）/（z^2 - a～）、Im a ＞ ０、
　第１象限 ｛z | ０ ＜ arg z ＜ π/2｝
(2) w = （e^z - 1）/（e^z + 1）、帯状領域｛z | －π/2 ＜ Im z ＜ π/2｝

( ^ は階乗、～はバー)

No.4 ベストアンサー 回答者： oodaiko 回答日時： 2001/03/04 01:59

３.

要するにどちらの問題も|w|＜１を示せればよいですね。
これはさきの問題の応用です。

（１）この手の問題を考えるには、一気に変換しようとせずに、段階的に
変換を繰り返してそのたびに領域がどのように変わるのかを考えるのがコツです。

まず先の問題を応用できるように w を変形します。
w = （z^2 － a）/（z^2 － a~）＝ １＋（a~ － a）/（z^2 － a~）
＝ １ －（２i Im a ）/（z^2 － a~）
＝ １ － i / {（z^2 － a~）/（２ Im a ）} …… (3)

まず領域 {z | 0 ＜ arg z ＜ π/2}が変換
k ＝（z^2 － a~）/（２ Im a ）
で写される領域を考えます。これもさらに段階的に考えます。

arg (z^2)＝２ arg (z) ですから
領域 {z | 0 ＜ arg z ＜ π/2}は変換 y＝z^2 により
上半平面 {y | 0 ＜ arg y ＜ π} ＝ {y | Im y ＞ 0} に写されます。

さらにこの領域は変換 y － a~ により
実数軸方向に － Re a だけ、虚数軸方向に Im a だけ平行移動しますから
領域 {z | 0 ＜ arg z ＜ π/2} は変換 z^2 － a~ により
領域 {y | Im y ＞ Im a} に写されます。

さらに1/（２ Im a ）をかけることは全体を1/（２ Im a ）倍することですから
結局
変換 k = （z^2 － a~）/（２ Im a ）により領域 {z | 0 ＜ arg z ＜ π/2} は
領域 {k | Im k ＞ 1/2 } に写されることが解りました。

先の問題（１）を応用すると
「i/2 を通り実数軸に平行な直線」（つまりIm k ＝ 1/2となる複素数kの集合）
言い替えれば
「単位円 |z| = 1 上の２点 Ｐ＝(√３) /２ ＋ i /２ および Ｑ＝(－√３) /２ ＋ i /２を通る直線」
は 変換 w＝1/kにより
「原点とＰ~＝(√３) /２ － i /２とＱ~＝(－√３) /２ － i /２を通る円」
言い替えれば
「-i を中心とし半径１の円」
に写されます。

さらに Im k ＞ 1/2 ならば 1/k は 「-i を中心とし半径１の円」の内部の点に
なります。証明は御自分でお願いします。
【ヒント 例によって Im k ＞ 1/2 のとき |1/k ＋i| ＜１ を示せば良い。
変形すると |１＋ki|^2 ＜ |k|^2 となる。これは単にk ＝ Re k ＋ i Im k
と書き下して計算すればすぐでてくる。】

ここまでの結果をまとめると
変換 k = 1 / {（z^2 － a~）/（２ Im a ）}により領域 {z | 0 ＜ arg z ＜ π/2} は
-i を中心とし半径１の円の内部 {k | |k ＋i| ＜１} に変換されることが解りました。

あとは簡単です。-i倍させるのは -(π/2)だけ回転させることで、１をたすのは
実軸方向に１だけ平行移動させることですから {k | |k ＋i| ＜１} は
変換 w＝１＋k i により {w | |w| ＜１}すなわち単位円の内部に写されることが解ります。

すなわち (3)の結果より領域 {z | 0 ＜ arg z ＜ π/2} は
単位円の内部に写されることが示されました。


（２）上と同様に w を変形します。
w = （e^z - 1）/（e^z + 1）＝ １－ ２ /（e^z + 1）
＝ １－ １ / {（e^z + 1）/２ }

まず変換 k = e^z で 帯状領域{ z | －π/2 ＜ Im z ＜ π/2}
がどんな領域に写されるか考えてみましょう。
オイラーの公式により
e^z ＝ exp(Re z) （ cos (Im z) ＋ i sin (Im z)）
であり、 {－π/2 ＜ Im z ＜ π/2}なら
0 ＜ cos (Im z) および -1 ＜ sin (Im z)＜１および 0＜ exp(Re z)
ですから
0 ＜ Re (e^z) 、 Im (e^z)は任意の実数
となります。すなわち

帯状領域{ z | －π/2 ＜ Im z ＜ π/2}は変換 k = e^z で
右半平面 {k | Re k ＞ 0 } に写されます。

あとは上の問題と全く同様にできますので御自分でやってみて下さい。
【 ヒント： 領域は
{ z | －π/2 ＜ Im z ＜ π/2} → {k | Re k ＞ 0 } → {k | Re k ＞ 1 }
→ {k | Re k ＞ 1/2 } → {k | | k－１| ＜１ } → {k | | k＋１| ＜１ }
→ {k | | k | ＜１ }
の順に変化してゆきます 】

No.6 回答者： oodaiko 回答日時： 2001/03/04 11:13

すみません。

間違えました。

問題２.の（２）で最終的な答を
「原点とＰ~/２を通る円」
と書きましたが、wの満たす式を見れば分かるようにこれは
「中心がＰ~/２で原点とＰ~を通る円」
または
「中心がＰ~/２で半径１/２の円」
の誤りでした。


さらに、間違いではないですが
同じ問題２.の（２）で最終的にwの満たす式を
|w －Ｐ~/２| ＝|Ｐ~/２|
と書きましたがＰは単位円上の点ですから
|Ｐ~/２| ＝１/２ ですね。そこで同じことですが
|w －Ｐ~/２| ＝１/２
としたほうが見やすいでしょう。

この回答へのお礼

全問題にわかりやすい解答ありがとうございました。
自宅にはネットワークが通っていないため、時間の都合上
レスが大変遅れてしまい申し訳ありませんでした。

お礼日時：2001/03/07 21:47

No.5 回答者： stomachman 回答日時： 2001/03/04 02:28

１番の問題。

正攻法はまさしくoodaiko先生のお示しになった通りと思います。多項式の代数の構造から行くんですね。
蛇足ながら、即物的かつイー加減にやってみました：

　実数係数の多項式f(x)について、f(x) = 0 が解zを持つので、f(x) = (x-z)g(x)と因数分解できる。この多項式g(x)を(x-z~)で割ると、ある多項式h(x)と複素数rがあって
g(x)=(x-z~)h(x)+r
（このあたりの根拠は、と訊かれたら大変だからパス。あーいい加減。）従って、
f(x)=(x-z)(x-z~)h(x)+(x-z)r
　={x^2-(z+z~)x+(zz~)}h(x)+(rx-rz)

[A] h(x)≠0の場合、f(x)が実数係数であるためにはh(x)は実数係数の多項式でなくちゃいけない。
　さもないとf(x)において、（(x^2)h(x)で構成される）xの２乗以上の項に実数でない係数が生じてしまう。（(rx-rz)は１次式ですから、どう足掻いたって２次以上の項に付いてる係数に影響を与えることはできません。）
　一方、(z+z~)はzの実部の2倍、(zz~)はzの絶対値の2乗で、どちらも実数。そしてh(x)も実数係数だから結局{(x^2)-(z+z~)x+(zz~)}h(x)は実数係数の多項式である。
　従って、f(x)が実数係数であるためには(rx-rz)も実数係数多項式でなくちゃならない。

[B] h(x)=0の場合にはf(x)は１次式f(x)=(x-z)rです。だから(rx-rz)は実数係数多項式でなくちゃならない。

　以上から、[A][B]いずれにせよ、(rx-rz)は実数係数多項式である。
　つまり(rx-rz)の１次の項(rx)の係数rは実数である。従って０次の項(rz)が実数であるためには、r=0であるか、またはzが実数である事が必要。
[i] zが実数でない場合には、r=0でなくてはならず、ゆえに
f(x) = (x-z)(x-z~)h(x)
と因数分解できる。だからz~はf(x) = 0の解。
[ii] また、zが実数の場合にはz=z~だからz~はf(x) = 0の解。

　いずれにせよzが解ならz~も解。

No.3 回答者： oodaiko 回答日時： 2001/03/03 23:15

２.

まず変換 f(z)＝1/zについて注意します。この変換は z≠0 かつ|z|が有限の場合は
ちゃんと定義できて、z平面Ｚからw平面Ｗへの１対１変換になりますが、
z＝0 のときおよび|z|が∞になる時は定義されません。
そこで無限遠点 [∞] という仮想的な点を考え（通常の∞とは意味が異なる
ので[ ]をつけて区別します） |z| ＝ ∞ なら z ＝ [∞] とします。
（対遇を考えれば z ≠ [∞] なら|z| ＜ ∞ すなわちzは通常の複素数です。）
そして
z＝0 なら f(z) ＝ [∞] および z ＝ [∞]なら f(z)＝0
と定義します。
　すると fは 無限遠点も含めたz平面 Ｚ∪{[∞]} から無限遠点も含めた
w平面 Ｗ∪{[∞]} への１対１変換と考えることができるので、逆変換 g が定義でき、
g(w)＝ g(f(z)) ＝ z となります。
明らかにg(w) = 1/w ですから f(f(z)) ＝ z です。


（１）複素平面上の原点をＯと書きます。
点Ｐ,Ｑの座標を表す複素数を同じ記号Ｐ，Ｑで書きます。混乱はしないでしょう。
単位円 |z| = 1 上の２点 Ｐ,Ｑ を通る直線は 実数 xをパラメーターとして
z-Ｑ = x(Ｐ－Ｑ)
と表せます。 変形して
z = Ｐx + Ｑ(1-x)
がＰ,Ｑ を通る直線の方程式になります。

さて
|Ｓ－Ｐ~|=|Ｓ－Ｑ~|= |Ｓ|
となるような複素平面上の点Ｓを考えます。これは定義から解るように
三角形ＯＰ~Ｑ~の外心ですからＰ=－ＱまたはＰ＝Ｑでない限り一意的に存在します。
（Ｐ＝Ｑとなるのは次の（２）の場合です。Ｐ=－Ｑの場合はＳ＝[∞]とします。）
そして
|Ｓ－Ｐ~|^2 ＝ (Ｓ－Ｐ~)(Ｓ－Ｐ~)~ ＝ (Ｓ－Ｐ~)(Ｓ~－Ｐ)
＝ ＳＳ~+ＰＰ~－(ＳＰ+Ｓ~Ｐ~) ＝|Ｓ|^2 ＋|Ｐ|^2 － (ＳＰ+Ｓ~Ｐ~) ＝ |Ｓ|^2
なので
ＳＰ+Ｓ~Ｐ~＝ |Ｐ|^2 …… (1)
同様にして
ＳＱ +Ｓ~Ｑ~＝ |Ｑ|^2 …… (2)
であることも解ります。

さて準備が出来た所で
|w －Ｓ|^2 ＝ |1/z －Ｓ|^2 を計算してみます。
|1/z －Ｓ|^2 ＝ |１－zＳ|^2 / |z|^2
ですからまず分子の |１－zＳ|^2 を計算します。
|１－zＳ|^2 ＝ (１－ zＳ)(１－zＳ)~ ＝ (１－ zＳ)(１－z~Ｓ~)
＝ １＋ |z|^2 |Ｓ|^2 － (zＳ＋z~Ｓ~)
＝ １＋ |z|^2 |Ｓ|^2 －（ ＰＳx + ＱＳ(1-x) ＋ Ｐ~Ｓ~x + Ｑ~Ｓ~(1-x) ）
＝ １＋ |z|^2 |Ｓ|^2 －（ |Ｐ|^2 x + |Ｑ|^2 (1-x) ） 【 (1)と(2)を使います 】
＝ |z|^2 |Ｓ|^2 【Ｐ，Ｑは単位円の点だから|Ｐ|^2 ＝ |Ｑ|^2 ＝１ より 】
したがって
|w －Ｓ|^2 ＝ |1/z －Ｓ|^2 ＝ |１－zＳ|^2 / |z|^2 ＝ |z|^2 |Ｓ|^2 / |z|^2 = |Ｓ|^2
よって
|w －Ｓ| ＝ |Ｓ|
となりました。
これはwがＳを中心とする半径 |Ｓ|の円周上の点であることを示しています
w ＝Ｏ,w ＝Ｐ~,w ＝Ｑ~ はいずれもこの式を満たしますから
答えは
「（Ｓを中心とし）原点とＰ~とＱ~を通る円」
（Ｓ＝[∞]のときは原点とＰ~とＱ~=－Ｐ~を通る直線）
です。

（２）上とほとんど同じですが上の回答で単純にＰ=Ｑとしても、直線の方程式からして
異なるのでうまく行きません。単位円に１点Ｐで接する直線の方程式は
Ｐに直交しＰを通る直線ですから実数 xをパラメーターとして
z－Ｐ = Ｐxi
と書けます。（複素平面上でiをかけることはπ/2だけ回転させることであることを
思い出して下さい）
変形して
z ＝ Ｐ(１－xi)
となります。

こんどは
|w －Ｐ~/２|^2 ＝ |1/z －Ｐ~/２|^2 ＝ |１－(zＰ~)/２|^2 / |z|^2を計算してみます。
例によって分子だけ計算すると
|１－(zＰ~)/２|^2 ＝ （１－ (zＰ~)/２）（１－(z~Ｐ)/２）
＝ １＋ （|z|^2 |Ｐ|^2）/ ４ －（ ＰＰ~(１－xi) ＋ Ｐ~Ｐ(１＋xi) ） / ２
＝ （|z|^2 |Ｐ|^2）/ ４
となります。途中の細かい計算は（１）と同様なので自分で確かめて下さい。
（z~ ＝ Ｐ~(１＋xi) と ＰＰ~ ＝ |Ｐ|^2 ＝１ がポイントです。）
よって上と同様にして
|w －Ｐ~/２| ＝|Ｐ~/２|
であることが解ります。すなわち答えは
「原点とＰ~/２を通る円」
です。


（３）最初に述べたようにfによる変換を２回行なうと元の図形に戻るのですから
どんな図形をfで変換したら 「点 i を中心とし原点を通る円 」になるかが
解ればそれが 「点 i を中心とし原点を通る円 をfで変換した図形」になります。
「点 i を中心とし原点を通る円」は
「（iを中心とし）原点とＰ＝(√３) /２ ＋ i /２ および Ｑ＝(－√３) /２ ＋ i /２ を通る円」
ですから（１）の結果を考えると答えは
「単位円 |z| = 1 上の２点 Ｐ~＝(√３) /２ － i /２ および Ｑ~ ＝(－√３) /２ － i /２を通る直線」
となります。

No.2 回答者： noname#16572 回答日時： 2001/03/03 17:52

こんにちは、私は数学をとっくに忘れた元技術屋です。

ですからそのつもりで聞き流してくださいね。
うーん、春休みということは実家にいて近くに図書館とか無いという状況ですかね？だとするとちょっと厳しいかもしれない。
で、私だったら細かいこと忘れているから強引に解いちゃいますね。
つまりzを全てX+iyに置き換えてxとｙの実関数の組み合わせだけで議論しちゃう。
勉強にはならないかも知れないけど、解くだけならこれだけで行けそうな気がしませんか？
複素数をバリバリ使ったエレガントな解き方は聞かないでくださいね？
あと、階乗って累乗のことですね？

この回答へのお礼

解答ありがとうございました。
近くに大学の図書館があるのですが、
バイトで朝から夜までいないので、図書館の会館時間中には
いけないのです…

お礼日時：2001/03/07 21:49

No.1 回答者： oodaiko 回答日時： 2001/03/03 17:50

「^ は階乗」 ではなくて 「^ は巾乗」 ですね。

Ｚ は複素数全体の集合。Ｒ は実数全体の集合とします。

数式をここに書くのはかなり面倒なのであまり細かい計算までは書きません。
ヒントを書くので残りの部分は御自分で補って下さい。

1.

共役演算は和と積に関して「同型」です。
すなわち任意のz ,w ∈ Ｚ に対して (z+w)~ = z~ + w~ および z~w~ = (zw)~
となる。これはいいでしょう。複素数演算の基礎ですし簡単に示せますから。

するとこれを繰り返し使って
実数を係数とする任意の多項式f(z)に対して f(z~)= (f(z))~ となる
ことが分かります。これは実数の場合は a~ = a となるからいえることで
係数が複素数なら成り立ちません。

よって z が代数方程式 f(x)＝０ の解ならば
f(z)= 0 = 0~ = (f(z))~ = f(z~)
なので z~もf(x)=0の解になることが解ります。

２次方程式 x^2－2ax＋a^2＋b^2 の解は解の公式を使って
x = a ± b i であることが解ります。そして
a + b i = z ,a - b i = z~ ですから
x^2－2ax＋a^2＋b^2 = (x - z)(x - z~)
と因数分解出来ます。
zとz~は代数方程式 f(x)＝０ の解だったので
f(x) = 0 は (x - z)および(x - z~)で割り切れます。
よって (x - z)(x - z~) すなわち x^2－2ax＋a^2＋b^2
でも割り切れます。