直線 y = 1 の写像についての疑問

このQ&Aのポイント
  • 複素解析の写像の問題で直線 y = 1 がどのような曲線に移るか疑問があります。
  • 本の解答と私の解答が異なることに気づき、誤りがあるのか確認したいです。
  • 本の解答は |w - i / 2| = 1 / 2 ですが、私は |w + i / 2| = 1 / 2 ではないかと考えています。
回答を見る
  • ベストアンサー

y=1はw=1/zの写像でどうなる?

 48歳の会社員です。独学で複素解析を勉強していて、分からないところがあるので 質問します。  複素解析の写像の問題で本の解答が誤っているように思うのですが、私の解答は 誤っているでしょうか ? ■問題 直線 y = 1 は w = 1 / z の写像でどんな曲線に移るか。 本の解答は |w - i / 2| = 1 / 2 なのですが、 |w + i / 2| = 1 / 2 の誤りではないかと思います。 w = 1 / z は z = 1 / w … (1) z = x + yi なので、y = 1 は z = x + i w = u + vi とおいて、(1)に代入すると x + i = 1 / (u + vi) x + i = (u - vi) / (u + vi)( u - vi) x + i = (u - vi) / (u^2 + v^2) (x + i)(u^2 + v^2) = u - vi x(u^2 + v^2) + i(u^2 + v^2) = u - vi u^2 + v^2 = -v u^2 + v + v^2 = 0 u^2 + v + v^2 + 1 / 4 = 1 / 4 u^2 + (v + 1 / 2)^2 = (1 / 2)^2 |u + (v + 1 / 2)i|^2 = (1 / 2)^2 |u + (v + 1 / 2)i| = 1 / 2 |w + i / 2| = 1 / 2 直線 y = 1 の点 z = i は w = 1 / z の写像で w = 1 / z = 1 / i = -i になりますが、 曲線 |w - i / 2| = 1 / 2 は 点 w = i / 2 を中心とした 半径 1 / 2 の円なので、点 w = -i は通りません。 曲線 |w + i / 2| = 1 / 2 は 点 w = -i / 2 を中心とした 半径 1 / 2 の円なので、点 w = -i は通ります。  私の解答は誤っているでしょうか ?

質問者が選んだベストアンサー

  • ベストアンサー
noname#232123
noname#232123
回答No.1

w=1/z=x/(x^2+y^2)+i*(-y)/(x^2+y^2) ですから、y=1 とすると、w=x/(x^2+1)+i*(-1)/(x^2+1) w=u+v*i とすると、 u=x/(x^2+1), v=-1/(x^2+y^2) となりこれからu, v の関係式をつくると、 u^2+(v+1/2)^2=1/4, (ただし、Oを除く) となります。 テキストのミスに悩むことはないと思います。

Olion70
質問者

お礼

ありがとうございます。 私には複素解析が難しく、自分の解答に確信が持てなかったので質問しました。

その他の回答 (2)

  • 178-tall
  • ベストアンサー率43% (762/1732)
回答No.3

>u = x / (x^2 + 1) >v = -1 / (x^2 + 1) と思います。 確かに! やり直しは、a = -1/2 になりそう。  -----------  u^2 + { v + (1/2) }^2 = 1/4 を得る。 (円中心は虚軸上 +i/2 ) これは、  |w + (i/2) | = (1/2)^2 ということみたいですネ。

  • 178-tall
  • ベストアンサー率43% (762/1732)
回答No.2

忘却のかなたの「直線 y = 1 は w = 1/z の写像でどんな曲線にうつるか」という勘定をトライ。 w = 1/z は、z = x + i を w = u + iv に写す。  u = x / (x^2 + y^2)  v = 1 / (x^2 + y^2) (w 上で円になる証明は、この急場ではスキップ) u は x の奇関数、v は奇関数ゆえ、円の中心は虚軸上 ia だとして、   スタート。     ↓  u^2 + (v - a)^2  = [ x / (x^2 +1) ]^2 + [ {a(x^2 + 1) - 1} / (x^2 + 1) ]^2  = { x^2 + a^2(x^2 + 1)^2 -2a(x^2 + 1) + 1 } / (x^2 + 1)^2  = { a^2*x^4 + (1 + 2a^2 - 2a)x^2 + (a - 1)^2 } / (x^2 + 1)^2 … となり、a^2 = (a - 1)^2 なら (1 + 2a^2 - 2a) も a^2 に一致するから、  u^2 + (v - a)^2 = a^2* (x^2 + 1)^2 / (x^2 + 1)^2  = a^2 だろう。(このくだり、省力化できそうだが 先を急ごう) つまり、a = 1/2 として、  u^2 + { v - (1/2) }^2 = 1/4 を得る。 (円中心は虚軸上 +i/2 ) これは、  |w - (i/2) | = (1/2)^2 ということみたいですネ。   

Olion70
質問者

補足

 ありがとうございます。 > w = 1/z は、z = x + i を w = u + iv に写す。 >  u = x / (x^2 + y^2) >  v = 1 / (x^2 + y^2) u = x / (x^2 + 1) v = -1 / (x^2 + 1) と思います。 z = x + i w = 1 / z = 1 / (x + i) = (x - i) / (x + i)(x - i) w = (x - i) / (x^2 + 1) = x / (x^2 + 1) - i / (x^2 + 1) w = u + iv なのだから、 u = x / (x^2 + 1) v = -1 / (x^2 + 1)  いかがでしょうか ?

関連するQ&A

  • y,z∈V'(Vの線形写像全体の集合)[x,y]=0→[x,z]=0は∃α∋z=αyを意味する事を示せ。

    おはようございます。 [Q] Prove the following statement: Let y,z∈V'(set of all linear functionals on V) [x,y]=0→[x,z]=0 implies that ∃α∋z=αy. という問題に悪戦苦闘しています。 linear functionalは線形汎写像(終集合がRやCの線形写像)の意味。 この問題はつまり、 "y(x)=0⇒z(x)=0"が成立するならば 線形写像z:V→R(or C) はαyという写像(zはyのスカラー倍になっているような線形写像)。 つまり、 V∋∀x→z(x):=α(y(x))という写像 である事を示せ。 という意味だと解釈しています(勘違いしておりましたらご指摘ください)。 その場合,どのように証明すればよいのでしょうか?

  • f(z) = z - 1/z に対してコーシー・リーマンの関係式を使っ

    f(z) = z - 1/z に対してコーシー・リーマンの関係式を使って正則性を判定せよ。 解答 f(z)はz≠0において定義され、 f(z)= u + iv u = x - x/(x^2 + y^2) v = y + y/(x^2 + y^2) であり、 u_x = v_y u_y = -v_x よってz≠0で正則 …と書いてあって、 u_x = v_y、u_y = -v_xの偏微分は計算できるんですが、 その前の u = x - x/(x^2 + y^2) v = y + y/(x^2 + y^2) をどうやって導き出したのか教えてください (式さえ教えてくだされば自分で計算します)。 この本には例が一つも載っていません…。お願いします。

  • 複素関数cos(z)の微分について

    w=u+iv=cos(z)とおいたときに,wがzの全域でコーシー・リーマン方程式(∂u/∂x=∂v/∂y,∂u/∂y=-∂v/∂x)を満たすことを示し,微分係数を求めよ.(z=x+iy,iは虚数単位) と言う問題です. 解答を見てみると,  cos(z)=cos(x)cosh(y)-isin(x)sinh(y) の加法定理の関係式を使い,  u=cos(x)cosh(y)  v=-sin(x)sinh(y) したがって,  ・∂u/∂x=-sin(x)cosh(y)  ・∂u/∂y=cos(x)sinh(y)・・・I  ・∂v/∂x=-cos(x)sinh(y)  ・∂v/∂y=-sin(x)cosh(y)・・・II よって,コーシー・リーマン方程式を満たしている. となっていました. 疑問なのは,複素関数cos(z)の微分について調べているのに,IとIIでそれぞれcosh(y),sinh(y)の微分をしていることです.  cosh(y)=cos(iy),isinh(y)=sin(iy) なので,これも複素関数の微分となり,ここでは使ってはいけないのではないのでしょうか? ほかの方法があれば教えてください.また,  {cosh(y)}'=sinh(y),{sinh(y)}'=cosh(y) となる理由もよろしくお願いします.

  • 複素数の三角不等式|z+w| <= |z|+|w|の証明について質問で

    複素数の三角不等式|z+w| <= |z|+|w|の証明について質問です。 本に シュヴァルツの不等式 (xu + yv)^2 <= (x^2 + y^2)(u^2 + v^2) で、z = x+yi、w = u+viとすれば、 |Re(z w~)|   ←wだけ共役複素数 = |Re{(x+yi)(u-vi)}| = |xu + yv| <= √(x^2 + y^2)√(u^2 + v^2) = |z||w| と書くことができます。 …とあるのですが、 まず、そもそも何故、虚数Imのところは計算せずに 実数Reの部分だけを計算しているのか、意図が分かりません。 それと、|Re(z w~)|は何故いきなりwが共役複素数になってるんですか? これは、|z|^2 = |z~|^2 = z z~ という性質と関係がありますか? シュヴァルツの不等式が(xu + yv)^2と二乗していたので、こっちでも二乗した、ということですか? そして、その後はRe z = (z+z~)/2を適用して|xu + yv|になるのは分かるんですけど、 <= √(x^2 + y^2)√(u^2 + v^2) になった経緯が分かりません。 (xu + yv)^2 <= (x^2 + y^2)(u^2 + v^2) が二乗だったので |xu + yv| <= √(x^2 + y^2)√(u^2 + v^2) は二乗をとって二乗根にした、ということですか? 三角不等式自体は別の教科書の複素数平面上に書かれた図で理解できているつもりです。 ||z_1| - |z_2|| <= |z_1 + z_2| <= |z_1| + |z_2| 等号はO, OP1↑, OP2↑が一直線上にあり、 右の等号は、OP1↑, OP2↑が同じ向きのときであり、 左の等号は、OP1↑, OP2↑が反対向きのときである。 ||z_1| - |z_2|| <= |z_1 - z_2| <= |z_1| + |z_2| 等号はO, OP1↑, OP2↑が一直線上にあり、 右の等号は、OP1↑, OP2↑が反対向きのときであり、 左の等号は、OP1↑, OP2↑が同じ向きのときである。 …というような図です。 いろいろ質問してすみません。どうか教えてください。お願いします。

  • 等角写像

    等角写像 |z+5i/4|=3/4をw=(2zi-1)/(z+2i)により繰り返し写像する。 n回写像したときの図形と虚軸の交点の値とnを大きくしたときどのような図形になるか。 という問題で なぜ 「 n回写像したときの図形は、 実数軸(w=u)の直線または|w-(5i/4)|=3/4の方程式で示される円となり、 虚軸との交点は 写像か実数軸(v=0)のとき、原点(0,0)となり 写像が円のとき(0,5/4±3/4)=(0,2)と(0,1/2)になる。 」 となるのでしょうか? |w-(5i/4)|=3/4は|z+5i/4|=3/4に写像されないのではないでしょうか? n回写像したときの図形は、 n=1のとき実軸の直線で n≧2のとき 中心 i(1+9^{1-n})/(1-9^{1-n}) 半径 2/{3^{n-1}-(1/3^{n-1})} の円となり 虚軸との交点は n=1のとき0で n≧2のとき i[(1+9^{1-n})/(1-9^{1-n})±2/{3^{n-1}-(1/3^{n-1})}] になる。 nを大きくしたとき 点 i に収束する のではないでしょうか? f(z)=(2zi-1)/(z+2i) g(z)=(z-i)/(z+i) h(z)=z/3 とすると g^{-1}(z)=i(z+1)/(1-z) f=g^{-1}hg だから n回写像する変換は f^n=(g^{-1}hg)^n=g^{-1}(h^n)g と表される 中心-5i/4半径3/4の円 |z+5i/4|=3/4をgで写像すると w=g(z)=(z-i)/(z+i) z=i(1+w)/(1-w) |z+5i/4|=|i(1+w)/(1-w)+5i/4|=3/4 3=|w| 中心0半径3の円となる 中心0半径3の円 |z|=3をh^nで写像すると w=(h^n)(z)=z/3^n |w|=|z/3^n|=3^{1-n} 中心0半径3^{1-n}の円となる 中心0半径3^{1-n}の円 |z|=3^{1-n}をg^{-1}で写像すると w=g^{-1}(z)=i(z+1)/(1-z) z=(w-i)/(w+i) |z|=|(w-i)/(w+i)|=3^{1-n} n=1のときw~=wだから実軸となり,虚軸との交点は0 n>1のとき |w-i(1+9^{1-n})/(1-9^{1-n})|=2/{3^{n-1}-(1/3^{n-1})} だから 中心i(1+9^{1-n})/(1-9^{1-n}) 半径2/{3^{n-1}-(1/3^{n-1})} の円となる 虚軸との交点は i[(1+9^{1-n})/(1-9^{1-n})±2/{3^{n-1}-(1/3^{n-1})}] になる。 n=2のとき 中心i(1+9^{1-n})/(1-9^{1-n})=5i/4 半径2/{3^{n-1}-(1/3^{n-1})}=3/4 n=3のとき 中心i(1+9^{1-n})/(1-9^{1-n})=41i/40 半径2/{3^{n-1}-(1/3^{n-1})}=9/40 ここでnを大きくすると 中心は lim_{n→∞}i(1+9^{1-n})/(1-9^{1-n})=i に近づく 半径は lim_{n→∞}2/{3^{n-1}-(1/3^{n-1})}=0 に近づく 虚軸との交点は 点 i に近づく

  • 合成写像の微分

    (x,y) → u=x、 v=h(x,y) (u,v) → F(u,v) で表される合成写像F(x,h(x,y))のxによる偏微分を求めよ。 という問題なのですが、 考えれば考えるほどよくわかりません。 どのように考えればいいのでしょうか?

  • 複素関数(初学者、独学中)

    (問題) w=coszのグラフを考える。 x,y,u,vを実数として、z=x+yi,w=u+viとする。 w=cos(x+yi)=cosxcoshy-isinxsinhyから、u=cosxcoshy,v=-sinxsinhyとなる。 ここで、D={(x,y)|ーπ<x≦π、-∞<y<‐∞}として、D上の点が複素関数によってw平面上のどのような点に写されるのかを調べる。 u=cosxcoshy,v=-sinxsinhy(1) x=p(ーπ<p≦π)がw平面上のどのような図形に写されるのか調べる。 (ア)p=0(イ)p=π(ウ)p=±π/2(エ)-π<p<π(かつp≠0、±π/2)と場合分けしているのですが、(エ)での議論で、 u=cospcoshy,v=-sinpsinhyよって、coshy=u/cosp,sinhy=-v/sinp としています。ア~ウの議論をまず置いたのはcospとsinpがそれぞれ0になる場合を除くためなのでしょうか?しかしながら、複素関数ではw=1/zではz=0のときも定義されますよね?どうして0で割る場合を除いて議論しているのでしょうか? (先ほどもう一問質問をしたのですが、それにも関連しているので、ご覧になっていただけると幸いです)

  • 複素関数の証明問題です

    f(z)がzの解析関数(正則関数)であるとき (∂^2/∂x^2 + ∂^2/∂y^2)|f(z)|^2 = 4|f'(z)|^2 を証明する問題なのですが f(z)=u(x,y)+iv(x,y)とおいて、左辺を計算すると、 (∂^2/∂x^2 + ∂^2/∂y^2)(u^2+2uvi-v^2) =(∂/∂x)(∂u^2/∂x)+(∂/∂x)(∂2uvi/∂x)-(∂/∂x)(∂v^2/∂x) +(∂/∂y)(∂u^2/∂y)+(∂/∂y)(∂2uvi/∂y)-(∂/∂y)(∂v^2/∂y) =(∂/∂x)(2u(∂u/∂x))+(∂/∂x)(2vi(∂u/∂x))-(∂/∂x)(2v(∂v/∂x)) +(∂/∂y)(2u(∂u/∂y))+(∂/∂y)(2vi(∂u/∂y))-(∂/∂y)(2v(∂v/∂y)) コーシー・リーマンの関係式を用いて、 =2(∂u/∂x)(∂v/∂y)+2i(∂v/∂x)(∂v/∂y)+2(∂v/∂x)(∂u/∂y) -2(∂u/∂y)(∂v/∂x)-2i(∂v/∂y)(∂v/∂x)-2(∂v/∂y)(∂u/∂x) =0 となりました。 最後のところで 2(∂u/∂x)(∂v/∂y)+2i(∂v/∂x)(∂v/∂y)-2(∂v/∂x)(∂u/∂y) -2(∂u/∂y)(∂v/∂x)-2i(∂v/∂y)(∂v/∂x)+2(∂v/∂y)(∂u/∂x) となれば 4{(∂u/∂x)(∂v/∂y)-(∂v/∂x)(∂u/∂y)} =4{(∂u/∂x)^2+(∂v/∂x)^2} =4|f'(z)|^2 となり、証明できるのですが、途中どこが間違っているかが分かりません 長文となりましたが、分かる方よろしくお願いします。

  • f(z)=|z|^2はz=0では正則ではないことを示せ。

    f(z)=|z|^2はz=0では正則ではないことを示せ。 解答 f'(0) = lim[z->0] {f(z)-f(0)}/z = lim[z->0] z~ となり、z=0で微分可能。 z=0で正則とは0のある近傍で正則ということであるが、 z≠0のときf(z)=x^2+y^2はコーシー・リーマンの方程式を満たさない。 …と載っているんですが、微分可能性にはついては先ほど質問し解決しました。 今度は正則について確認です。 f(z)={√(x^2+y^2)}^2 =x^2+y^2 =u+iv で 実部uはx^2+y^2 虚部vは0 u_x = 2x ≠ v_y =0 v_x = 0 ≠ u_y = 2y これらが一致しないので正則ではない …という答えでいいですか? 間違っていたら訂正をお願いします。

  • 初めての複素関数の勉強

    w=1/zで表される、複素平面z=x+iyから、複素平面w=u+ivへの写像を考える。z平面上の直線x=a(a>0)のw平面上の写像を求めよ。 という問題です。 この問題を解くにあたり、初めて複素関数の勉強をしました。 本を借りてきて調べると、どうやら虚軸または実軸に接する円になる、 というところまでは分かったのですが、円の中心と半径がどのように なるのかがよく分かりません。 この問題だと、円の中心と半径を求めろということだと思うのですが、 それでいいんですよね? 解き方を教えてください。 よろしくお願いしますm(_ _)m