• ベストアンサー

複素関数に関する質問

stomachmanの回答

  • stomachman
  • ベストアンサー率57% (1014/1775)
回答No.5

1番の問題。正攻法はまさしく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の2乗以上の項に実数でない係数が生じてしまう。((rx-rz)は1次式ですから、どう足掻いたって2次以上の項に付いてる係数に影響を与えることはできません。)  一方、(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)は1次式f(x)=(x-z)rです。だから(rx-rz)は実数係数多項式でなくちゃならない。  以上から、[A][B]いずれにせよ、(rx-rz)は実数係数多項式である。  つまり(rx-rz)の1次の項(rx)の係数rは実数である。従って0次の項(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~も解。

関連するQ&A

  • 複素関数で・・

    w=ζ・(z-α)/(-α ̄z+1) (|ζ|=1、|α|<1)をz平面の単位円の周を、w平面の単位円の周と内部に写像することをしめせ。また0から1/2, 1を-1に移す一次変換を求めよ。(*一行目はマイナスαバーです。)なんですが写像はなんとか代入してできました。があまり自身はありません。また一次変換のほうですが、ζを実数で考えてしまい答えには、なったのですが複素数の概念を考えてないので駄目でした。どなたかお願いします。

  • 複素積分について

    複素数平面で{x∈R||x|>=1}を取り除いてできる領域をGとすると、z∈Gで A(z)=∫[0,1]z/(1-z^2*t^2)dt (z:複素数) は1/2*Ln((z+1)/(1-z))を示せ(主値)・・・(1) この問題でtが実数か複素数かわからないんですが、 (積分範囲が0→1なので)実数と考えると ∫1/(x^2-a^2)dx=1/(2a)*log|(x-a)/(x+a)| より、実数のlogの中に複素変数が入ってきてしまいよくわからなくなります。(疑問点1) とりあえずlogは複素数を真数に持つので、複素数の対数関数になるとして話を進めると A(z)=1/2*Ln{|(z+1)|/|(z-1)|}+1/2log(1)となると思うんですが、右辺第一項は(1)と微妙に答えが合いません。(疑問点2) また、右辺の第二項はlogを実関数のものと考えた場合はlog1=0,複素数のものと考えても主値をとるので Ln1=0となるんですが、この場合はどちらのものとなるんでしょうか?(疑問点3) ごちゃごちゃして何が言いたい事がわかりにくいとは 思いますが、どなたかよろしくお願いします。

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

    (問題) 複素関数w=1/zにより、x=k(k=0,±1/2,±1,±2)はw平面上のどのような図形に写されるか、調べて図示せよ。zに共役な複素数を(z)*と書きます。 初学者なので、頓珍漢な質問をしていたらごめんなさい。 (解答) z平面およびw平面は拡張された複素平面と考える。 ここで、z=x+yi(x,yは実数)とおくと、x={z+(z)*}/2より、x=k(k=0,±1/2,±1,±2)はk={z+(z)*}/2すなわちz+(z)*=2k(k=0,±1/2,±1,±2)(1)と表される。 (ア)k=0のとき、(1)はz+(z)*=0(1)´。複素関数w=1/zより、z=1/w(2) (2)を(1)´に代入して、1/w+1/w*=0 (解答続く) (疑問) (2)の部分についてですが、 w=1/z、z=1/wの分母のz,wがそれぞれ0になる場合については高校数学の軌跡では別に議論しなくてはなりませんでしたが、複素数ではz、wが0になる場合それぞれw、zは無限遠点となるので、解答では触れられていません。★図示の部分ではz=0のときのw平面の写像は無限遠点に、z=無限遠点のときのw平面の写像は0にそれぞれ写っています。 高校数学の時の癖で、分母が0の時の議論には注意しようとしてしまい、いちいち★のようにそれぞれの点の移り変わりを意識してしまうのですが、とくに気にせず式変形をして得られた軌跡を図示すればよいのでしょうか?(皆さんは★のようなことを意識するのでしょうか?)

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

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

  • 複素数の問題です。

    z平面上の領域 Im(z) > 0 が1次分数変換 w=(αz+β)/(z+γ) によってw平面上の領域|w|<1 に写されるとき、複素数α,β,γを求めよ。ただし、Im(z)は複素数zの虚部を表す。

  • 複素関数

    zは複素数とします。 [1] f(z)=1/(az-sinz) Re(z)>0,Im(z)>0(不等号は0を含みます),a=1/2とし、絶対値の小さい方から三つあげなさい。 について、sinzやcoszとはどういうことなのでしょうか? [2] f(z)=1/(z^5+z-1) の特異点をもとめなさい。 について、特異点について教えてください。

  • 対数関数の主値

    複素数平面から|x|>=1(xは実数)の部分を取り除いてできる領域をGとすると、z∈G に対してA(z)=∫[0,1]z/(1-z^2*t^2)dtと定義する A(z)=1/2*ln((1+z)/(1-z))を示せ・・・(1) (1)なんですが、この場合の対数関数は何故、主値とることになるんでしょうか? よろしくお願いします。

  • 図形への応用2 231

    実数a,bを係数とするxについての2次方程式x^2+ax+b=0が虚数解zをもつとき、次の問に答えよ。 (1)zに共役な複素数zバーもx^2+ax+b=0の解であることを示せ。 (2)a,bをz,zバーを用いて表せ。 (3)b-a≦1をみたすとき、点zの存在範囲を複素数平面上に図示せよ。 (4)点zが(3)で求めた存在範囲を動くとき、ω=1/zで定まる点ωの存在範囲を複素数平面上に図示せよ。 この問題を解いてください。お願いします。

  • 再びスイマセンガ、今度は複素数についてお願いします。

    x^3-2(a+1)x^2+bx-b-8=0・・・(1)がある。 これは(x+2)(x^2-2ax+4a+8)=0∴x=2,a±√a^2-4a-8 ここまではいいのですが、 (1)が虚数解をもち、複素数平面上でその三つの解の表す点が一直線上に並ぶのは、 a^2-4a-8<0かつa=2即ちa=2のときである。 この複素数平面上でその三つの解の表す点が一直線上に並ぶ条件の求め方が分かりません。どうすればよいのですか?

  • 複素関数

    問題がとけなくて困っています。 w=z+1+iによって、z平面上の次の図形はw平面上のどのような図形に写されるか。 (1)|z+i|≦1 (2)Im((1+i)z)≦0 このような問題なのですが、どなたか宜しくお願いします。