• ベストアンサー

何故特異点?

「複素数のはなし」という本に、sin(z) / z は z=0 に特異点を持つと書いてありました。 特異点ってその近傍では正則でその点でだけ正則じゃない点ですよね? 正則って導関数が連続である事ですよね?     (d/dz) {sin(z) / z} = (1/z){cos(z) - sin(z) / z}    (1) Excelでf(x) = (1/x){cos(z) - sin(z) / z}のグラフを書かせたら(-1,1)でほぼ f(x) = -x に比例した連続なグラフが出てきて、 少なくとも実数の範囲では(1)は連続に思えます。 複素数だと(1)は連続ではないんでしょうか?

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

  • ベストアンサー
noname#1499
noname#1499
回答No.5

すみません。忙しいくてついつい見落としてました。前の私の回答は#2の前半は間違っています.で、意図しない行き違いがあるようなので補足しておきますと、ダイレクトに計算して計算が合わないのかな?と思い計算の糸道を付けておけば、恐らく導けるだろうと思っていたのですが、そうではなかったのですね。私の判断ミスでした。 ざっと計算してみましたが、私はこんな結果になりました。合いませんか? それと特異点について述べておきました。どうでしょうか?納得いきませんか? ------------------- sin(z)/z = ( sin(x)cosh(y) + icos(x)sinh(y) )(x - iy)/(x^2 + y^2) = u + iv ただし、u,vを次のように定義する。 u = ( xsin(x)cosh(y) + ycos(x)sinh(y) )/(x^2 + y^2) v = ( xcos(x)sinh(y) - ysin(x)cosh(y) )/(x^2 + y^2) Cauchy-Riemannの関係は、 ∂u/∂x = ∂v/∂y , ∂u/∂y = - ∂v/∂x (#) なので、いずれも二次元Laplace方程式( △u = 0 , △v = 0 )に帰着するので、 ここでは簡単に前者だけ示します。(偏微分の計算練習として後者をやってみて確めてください) ∂u/∂x = [( sin(x)cosh(y) + xcos(x)cosh(y) - ysin(x)sinh(y) )(x^2+y^2) - ( xsin(x)cosh(y) + ycos(x)sinh(y) )2x] / (x^2+y^2)^2 ∂v/∂y = [( xcos(x)cosh(y) - sin(x)cosh(y) - ysin(x)sinh(y) )(x^2+y^2) - ( xcos(x)sinh(y)- ysin(x)cosh(y) )2y] / (x^2+y^2)^2 展開して互いの分子を比較する。(分母は(x^2+y^2)^2で一緒なので。) ∂u/∂x の分子 = -x^2sin(x)cosh(y) - 2xycos(x)sinh(y) + x^3cos(x)cosh(y) -x^2ysin(x)sinh(y) + y^2sin(x)cosh(y) + xy^2cos(x)cosh(y) -y^3sin(x)sinh(y) ∂v/∂y の分子 = (同上) 分子に表れる関数は正則関数なので分母が0にならなければ(#)式の関係は導かれる。 つまり、x = y = 0 i.e. z = 0 を除いてsin(z)/zは正則である。 ちなみにsin(z)/zのTaylor展開は次の式ですね。 f(z)≡sin(z)/z = Σ(-1)^n z^(2n)/(2n+1)! (where summantion is about n∈N)     = 1 - z^3/3! + z^5/5! ・・・ 従って、f(z)のz=0は特異点でも除去可能な特異点だということは上の形から明らかですね。教科書的なやり方では、除去可能な特異点は、lim f(z) = 1 ( as z→0 )があることを確めて(これは実際に簡単に確められます)、改めてf(0)=1と定義し直すことですが、同じことをしていることは右辺一項を見れば明らかです。 ではでは。

taropoo
質問者

お礼

詳しく式を書いていただけたおかげで自分が途中で計算ミスをしていた事に気付きました。 ∂u/∂x = ∂v/∂y 、∂u/∂y = - ∂v/∂xともに確認できました。 それと「除去可能な特異点」についてはローラン級数の主要部が無いと言う事以外ほとんど知識がありませんでしたので勉強になりました。 ありがとうございました。

その他の回答 (5)

  • siegmund
  • ベストアンサー率64% (701/1090)
回答No.6

どういう意味で特異点と本に書いているかが問題です. 恐らく,本に書いている意味は,単に (※)  f(z) = sin z / z で z=0 を代入できない, ということなのでしょう. 0/0 になっちゃいますから,困ってしまう. で,f(0) の値を (2)  lim_(z→0) f(z) = 1 と定義する,とすれば無難な関数(|z|<∞ で正則)になります. つまり,f(z) の z=0 における特異性は, 単に f(0) が定義されていないとか(今はこちらですね), 不適切に定義されている,などの原因によるもので, あらためて適切に f(0) を定義し直せば特異点ではなくなります. こういう特異点を「除去可能な特異点」と呼んでいます. 除去可能な特異点が現れるたびに上のような修正をおこなって特異点を除去する, というのが関数論での通常の扱いです. (3)  f'(z) = (1/z){cos(z) - sin(z) / z} の z=0 も一見特異点ですが (4)  f'(0) = lim_(z→0) f(z) = 0 と定義し直せば何事も起こりません. 特異点には,上に述べた除去可能な特異点の他に, 極になっている場合,および真性特異点になっている場合があります. 極は,ローラン展開が途中で止まること すなわち,特異点を z0 として, (z-z0)の逆べきに展開した際, もっとも異常性の強い項が (z-z0)^(-s),(nは自然数)であること. 例えば,tan z など(z = (2m+1)π/2 で1位の極,mは整数). 真性特異点は,ローラン展開でいくらでも異常性の強い項が出てきて, 止まらない場合です. e^(1/z) がその例です.

taropoo
質問者

お礼

丁寧な解説、勉強になります。 ありがとうございました。

  • sinisa
  • ベストアンサー率41% (5/12)
回答No.4

「関数f(z)がz_0で微分可能⇒関数f(z)がz_0で連続」 だったと思います。 それで、z=0では連続でない(0が分母にくるためダメ)ので微分可能ではないです。だから特異点です。 孤立特異点はだいたいが、分母=0となってしまう点じゃないですかね。 習ったばっかなのであやしいですが、ご参考までに。 それでは。

noname#1499
noname#1499
回答No.3

あ、すみません。zで割るのを忘れてました。 1/z=(x-iy)/(x^2+y^2)をsinzに掛けて計算してみてください。 あと導関数ですが、簡単にいうと(1)でlimz→0は発散してしまいませんか?

taropoo
質問者

補足

ですよね? ですから下に書いたように計算はしてみたのですが結果は予想とは違ってしまったと言う事です。 回答に自信がおありなら一度計算してみて頂けますか? 私はやってみてそれでもダメだからこうして質問しているのですから。

noname#1499
noname#1499
回答No.2

ああー、それは違いますね。 いや、先に示した式はその方が展開がわかりやすいかな?っと思って書いておいたのですが、sinzを生で展開してzで割れば1/zが出てきて、zで特異点を持つことになりませんか? で、コーシーリーマンの関係が導けないと言うことなのですが、多分展開してからz=x+iyとしているからだと思うのですが。そうではなくダイレクトに入れてみましょう。 sin(z)=sin(x+iy) =sin(x)cos(iy)+cos(x)sin(iy) =sin(x)cosh(y)+icos(x)sinh(y) =u         +iv でどうでしょう?計算してみてください。 なんか今見たら本題とそれてしまいましたね。では。

noname#1499
noname#1499
回答No.1

微分可能なときに正則というんじゃないんでしょうか? 微分可能の必要十分条件はf=u+ivとおいたときu,vがその点で全微分可能でコーシー/リーマンの関係式を満たすことじゃないのでしょうか? sin(z)=(exp(iz)-exp(-iz))/2i で展開してみては? では。

taropoo
質問者

補足

アドバイスにしたがって     f(z) = sin(z)/ z =(exp(iz)-exp(-iz))/2iz をf=u+ivの形に展開してみたのですが、恐ろしく長い式になってしまい、 しかもz=0いがいでもコーシー/リーマンの関係式を満たさない結果になってしまいました。 恐らくどこかで計算ミスがあったんだろうと思うのですが、実際に導いて頂けますでしょうか? よろしくお願いいたします。

関連するQ&A

  • 複素数の特異点について

    大学2年生です。テスト直前にピンチです。 問)次の周回積分を求めよ ∫1/(z-1) dz 積分範囲はz=3(cosθ +i sinθ) , 0≦θ<2 この解において、 「被積分関数は、与えられた円とz=1を中心とする半径1の円に挟まれた領域で正則である。」 と、あるのですが、イメージできません。 z=1が特異点となるのでZ≠1となるのは分かるのですが、なぜその周りで半径1の円内にも存在しないといえるのでしょうか? 分かりにくい文章で申し訳ありませんが、アドバイスをお願いいたします。

  • 特異点の種類について

    ∫1/(Z+3)(Z+1)dzこれらの特異点の種類を示せということなのですが、これらの特異点Z=-1,-3はK位の極になるのでしょうか?もしくは真性特異点になるのでしょうか?どなかたご指導をお願いします。

  • 複素積分の問題について。

    複素積分の問題を解いてみたのですが、手元に答えがないうえに合っているか自信がないので、チェックしていただけると助かります。解法に誤りがあったらどうぞ指摘してください。自分の中では、留数の求め方が怪しいです。 以下、積分の経路Cは原点中心半径8の円で正の向きとします。 (1)∫ 1/sin(z) dz (2)∫ 1/(1-cos(z)) dz (3)∫ (1+z)/(1-e^z) dz (4)∫ tan(z) dz (1)∫ 1/sin(z) dz f(z)=1/sin(z) について、f(z) は z=mπ で特異点をとり、特にCの内部では z=0,±π,±2π が特異点となる。 ここで各点における留数を求めると、 Res(0)=1 Res(π)=-1 Res(-π)=-1 Res(2π)=1 Res(-2π)=1 となるので、 ∫ 1/sin(z) dz=2πi(1-1-1+1+1)=2πi (2)∫ 1/(1-cos(z)) dz f(z)=1/(1-cos(z)) について、f(z) は cos(z)=1、つまり z=2mπ で特異点をとり、特にCの内部では z=0,±2π が特異点となる。ここで f(z) を z=0 のまわりで展開すると、 f(z)=1/(1-1/2(z^2)+1/24(z^4)-・・・) =1/(1/2(z^2)-1/24(z^4)+・・・) であることから、Res(0)=0 同様に、Res(π)=0,Res(-π)=0 なので、 ∫1/(1-cos(z)) dz=2πi・0=0 (3)∫ (1+z)/(1-e^z) dz f(z)=(1+z)/(1-e^z) について、f(z) は z=2πim(mは整数)で特異点をとり、とくにCの内部では z=0,±2πi で特異点となる。ここで、 Res(0)=-1 Res(2πi)=-1-2πi Res(-2πi)=-1+2πi となるので、 ∫(1+z)/(1-e^z) dz=2πi(-1-1-2πi-1+2πi)=-6πi (4)∫ tan(z) dz f(z)=tan(z)=sin(z)/cos(z) について、f(z) は z=(2m+1)π/2 で特異点をとり、特にCの内部では z=±π/2、±3π/2,±5π/2 で特異点となる。ここで、 Res(±π/2)=-1 Res(±3π/2)=-1 Res(±5π/2)=-1 となるので、 ∫tan(z) dz=2πi・(-6)=-12πi

  • 複素関数論の特異点の定義の流儀

    複素関数論の特異点の定義を見ると、「非正則点=特異点」という流儀と、非正則点のうち、うまく近傍をとれば正則点を排除できるものは特異点の定義から除外する流儀がありますよね。なぜ、このような違いがあるのでしょうか。

  • 孤立特異点におけるローラン展開

    (1) (z-1)/{z(z+1)} (孤立特異点 z=-1) (2) cos(z)/{z^2・sin(z)} (孤立特異点 z=0) これらの関数の孤立特異点におけるローラン展開を求めよという問題の解き方がよくわかりません。変形して既知のテイラー展開を使うのだろうと思うのですが、どこから手をつけたらよいのか見当がつきません。 因みに答えは(1) 2/(z+1)、(2) 1/z^3-1/3zになるそうです。 途中の過程も詳しく教えていただけると助かります。よろしくお願いします。

  • 複素解析 除去可能特異点

    複素解析学を勉強しているのですが、「ある関数f(x)の特異点は除去可能特異点であることを示せ。」 という問題の解き方がわからないのですが、どうわかりません。教えていただけないでしょうか? 普通に特異点を求めたあと、何かの定理や、やり方を使って除去可能な特異点であると証明するのですか? また、今解いている似たような問題で、 f(z)=z/(e^z-1)とする。点0はf(z)の除去可能特異点であることを示せ。 答えが、lim(z→0)z/(e^z-1)=lim(z→0)1/(e^z)=1したがって点0は除去可能特異点である。 もうひとつが、関数f(z)=(1-cosz)/z (|z|>0) を指定された円循環領域でローラン展開し、除去可能特異点であることを示せ。 これの解き方はまた別のやりかたで示すのでしょうか?

  • 除去できる特異点を持つ関数について

    大学で物理を学んでいる者です。 どうしても分からないことがあるので、質問させてください。 f(z)=z/{exp(z)-1} は、z=0が除去可能な特異点になっているのでz→0でf(0)を定義しなおすことによって、f(z)を連続な関数と見なすことができることは分かるのですが、それではこのf(z)はz=0のまわりでテーラー展開できるのでしょうか?もしできるのなら、どうかやり方を教えてください。

  • 正則性について。

    --------------------------------------------------- f(z)=1/(bar(z)) z = x + iy とし z ≠ 0においてf(z)が正則であるかどうか判定せよ。 また、 R>0に対して複素積分 ∫_[|z|=R]f(z)dz の値を求めよ --------------------------------------------------- という問題なのですが、 u=x/x^2+y^2, v=u/x^2+y^2とすると、 ∂u/∂x = y^2-x^2/(x^2+y^2)^2 ∂v/∂y = x^2-y^2/(x^2+y^2)^2 となり、コーシー・リーマンの判定式を用いると、 ∂u/∂x≠∂v/∂yとなり、条件を満たさないので、 f(z)は正則ではないという結果が出ます。 f(z)が正則ではないのは、(bar(z))=0で特異点を持つためだと思うのですがこの問題の場合、z≠0で除外されていますよね? この場合、正則なのでしょうか? おそらく、特異点の捉え方がよくわかっていないのだと思います。 また、 次の問題はコーシーの積分公式で求めると思うのですが、 この公式は、bar(z)の場合にもそのまま当てはめてよいのでしょうか? ご指導ご鞭撻の程、宜しくお願い致します。

  • 平面曲線の特異点について

    こんばんは。大学の数学で分からないところがあるので質問させて頂きます。 平面曲線の特異点についてなのですが、教科書では、 「f(x,y)=0となる点(x,y)の点の集合のなかの点(a,b)での、 (∂f/∂x)=(∂f/∂y)=0 となる点を特異点、そうでない点を通常点と呼ぶ」 とあります。 そして、問題演習で分からなくなってしまったのですが、 f(x,y)=x^3+y^3-3xy=0 について、特異点を求めるときに、解答では 「∂f/∂x=3x^2-3y・・・(1) ∂f/∂y=3y^2-3x・・・(2) だから特異点は原点(0,0)だけ」 となっていたのですが、点(1,1)を代入しても(1)、(2)式は0になりますよね?(1,1)は特異点にはならないのでしょうか?他の演習問題も同じ理由でつかえています。 どなたかご指導お願い致します。

  • 真性特異点と極

    (zを複素数として) (1)z^4+2/z^2(z-1) (2)sinh(z)/z^3 の極と真性特異点をすべて書け。と言う問題なのですが、 (1)は、z=0で2位の極とz=1で1位の極をもつ と言う回答でいいのでしょうか。   (z→0.1に近づければ分母は0に収束するので) (2)これはsinh(z)を級数に展開して、z^3でわり、主要部がどのような形であるか調べる必要があると思うのですが、 sinh(z)={e^z-e^(-z)}/2 ですので、 0の周りでテイラー展開して e^z=1+z+(z^2)/2!+(z^3)/3!+(z^4)/4!・・・・ e^(-z)=1-z+(z^2)/2!-(z^3)/3!+(z^4)/4!・・・・・ となり代入してもうまく真性特異点が求められません。 どこかまちがっているのでしょうか。また真性特異点はどんな値になるのでしょうか? 回答よろしくお願いします。