- ベストアンサー
複素積分～フィボナッチ？ (その２・その３）
motsuanの回答
- motsuan
- ベストアンサー率40% (54/135)
siegmundさんが答えられているなぁと思っていたら 自分の回答に間違いがありました。あまり意味はないんですが。 (z^2-z-1)X(z) = x_0z^2 + (x_0-x_1)z から、なぜか X(z) = (x_0z^2 + (x_0+x_1)z)/(z^2-z-1) となってしまっていました。 X(z) = (x_0z^2 + (x_0-x_1)z)/(z^2-z-1) でした。大変失礼しました。
関連するQ&A
- 複素積分～フィボナッチ？
大学院入試の過去問です。 『zを複素数とする時、数列x_n(n=0,1,2,..., x_nは実数)に対する変換X(z)を以下のように定義する。 X(z) = Σ_n=0~∞ x_n z^(-n) この時以下の問いに答えよ。 (1) |z|>Rの領域において、X(z)は収束するとする。この領域内の原点を含む閉曲線をCとする時、逆変換は x_n = (1/2πi) ∫○C X(z) z^(n-1) dz （∫○CはCを経路とする周回積分記号のつもり。） となる事を証明せよ。 (2)x_n+2 = x_n+1 + x_n (n=0,1,2,..., x_0=x_1=1)の時、X(z)を求めよ。 (3)前問で求めたX(z)を逆変換する事によって、x_nを求めよ。』 という問題です。(1)は何となくは分かるのですが正しく理解していないので教えてください。 (2)以降ってフィボナッチ数列ですよね？一般項なんてありましたっけ？ よろしくお願いします。
- ベストアンサー
- 数学・算数
- 複素積分
f(x)=1/(2+cos(x))の複素フーリエ係数c_nを求める過程で、 ∫_[-π<x<π]exp(-nix)dx/(2+cos(x))を計算したいのですが途中で行き詰まってしまったので指南のほどをお願いします。 ∫_[-π<x<π]exp(-nix)dx/(2+cos(x)) =∫_[0<x<2π]exp(-ni(x-π))/(2-cos(x)) 積分範囲の変換 =2i∫_[周回積分]z^(-n)cos(nπ)dz/(z^2-4z+1) z=exp(ix)と置いて置換 ここからnが奇数と偶数の場合に分けて計算しようと考えたのですが、どうしたらよいかわかりません。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- 複素積分についての質問です
複素平面において、点√3iを始点とし、点-√3iを終点とする線分をC1とし、 また、{Re(z)≦0,|z|=√3}を満たす半円をC2とした場合(向きは反時計回り）、 (1)∫_{C1}(1/(1+z))dz (2)∫_{C2}(1/(1+z))dz (3)∫_{C1}(zの共役複素数)dz (4)∫_{C2}(zの共役複素数)dz を求めよといった問題について、 (1)∫_{-√3i}^{√3i}(1/(1+z))dz =log(1-√3i)-log(1+√3i) =log((1-√3i)/(1+√3i)) =log((-1-√3i)/2) =log1+iarg(4pi/3)=iarg(4pi/3) (2)∫_{C2-C1}(1/(1+z))dzは留数定理より、 =2pi*Res(1/(1+z),-1)=i2piとなるから、 ∫_{C2}(1/(1+z))dz=i*2pi-iarg(4pi/3) (3)∫_C1(x-iy)d(x+iy) =∫_{0}^{0}xdx-i∫_{√3i}^{√3i}ydy =-i[y^2/2]_{-√3i}^{√3i}=0 (4)∫_{C2-C1}(zの共役複素数)dzはこの領域内に 特異点を含まないから積分値は0になる。 したがって∫_{C2}(zの共役複素数)dz=0 として、求めたのですが、これであってますでしょうか？ 一番の疑問点は、(1)と(2)では、経路の違いにより、 積分値が異なっていますが、(3)と(4)では、同じになって しまっていることです。 ご回答よろしくお願い致します。
- ベストアンサー
- 数学・算数
- 複素積分の問題
複素積分の問題 次の複素積分の問題が分かりません. アドバイスいただけたら幸いです. 次の複素関数について以下の問に答えよ f(z) = z^-c / ( 1+z ) ただし、0<c<1 （1）複素平面上におけるf(z) の全ての特異点を求めよ （2）図中の閉曲線をγとする閉曲線γの矢印にそった向きの「周回積分」 ∫γ f(z)dzを求めよ γRは半径(R>1)の円し,γｒは半径(r<1)の円を表す （3）z=R exp(iθ)またはr=R exp(iθ) (0<θ<2π)とおくことにより, 曲線及び曲線に沿った「周回積分」の絶対値 │∫γR f(z)dz│および、│∫γr f(z)dz│ がR→∞、r→0の極限において0に収束することを証明せよ (4)以上の結果を用い、次の「積分」 ∫（0→∞） x^-c / ( 1+x ) dx = π/ (sinπc) を証明せよ
- ベストアンサー
- 数学・算数
- 複素積分（コーシーの積分定理）について質問です
zを複素数としする。コーシーの積分定理によれば「関数f(z)が領域Dで正則であるとして、領域D内の任意の閉曲線Cの内部が領域Dに含まれる場合、閉曲線Cに沿った関数f(z)の周回積分は0になる。」が成り立つと思います。 そこで次の問題を考えました。（zは複素数変数、aは実数の定数、iは虚数単位とする） 「原点を中心とする半径aの円を閉曲線Cとする。閉曲線Cに沿った、関数f(z)=1/(z-ai)の周回積分Iをを求める。」 閉曲線Cの内部で関数f(z)は正則だけれども、閉曲線Cは関数f(z)が正則でないz=aiの点を含んでいるのでコーシーの積分定理は利用できない。…(1) そこで、次のように積分を行うことにしました。閉曲線Ｃを複素数で表して、C：z=a*exp(iθ) (0≦θ≦2π) dz/dθ=ai*exp(iθ) よってI =∫f(z)dz =∫{ai*exp(iθ)/(a*exp(iθ)-ai)}dθ (積分範囲は0≦θ≦2π) ここで、[Ln(a*exp(iθ)-ai)](0≦θ≦2π)=0…(2) そこで質問です。 (1)は正しく、閉曲線の外周上に被積分関数が正則で無い部分があるなら、コーシーの積分定理は成立しないのでしょうか？ (2)ln(z)は無限多価関数なので、どの複素関数の不定積分でもないと思ったので、Ln(z)を不定積分として用いたのですが、これは大丈夫なのでしょうか？ ご回答よろしくお願いします。
- ベストアンサー
- 数学・算数
- 複素積分の解き方がわかりません
円周 |z - 1| = 1 上で反時計回りに複素積分を行い、 ∫( z^n / (z - 1)^n )dz の値を求めよという問題がわかりません。 |z - 1| = 1より、 C : z = 1 + exp(iθ) であり、線積分の公式 ∫{C} f(z)dz = ∫{a→b} f(z(t))z'(t) dt (ただし、{}は積分範囲) という公式を当てはめると、 ∫{π→0} ( (1 + exp(iθ))^n/(exp(iθ))^n ) × iexp(iθ) dθ と考えたのですが、この積分を解くことができません。それとも、それ以前で間違えているのでしょうか？ わかる人がいれば詳しく教えていただけるとありがたいです。回答よろしくお願いします。
- 締切済み
- 数学・算数
- 複素積分について
複素数cと実数ξとし、 f(z)=(e^(iξz))/(z-c) という複素関数を考えます。 lr={z=t ; -r<t<r} 、Cr+={z=re^(it) ; 0≦t≦π} 、 Cr-={z=re^(-it) ; 0≦t≦π} として、lrとCr+を合わせた曲線をγ+、lrとCr-を合わせた曲線をγ-とします。 ここで、 （１）Im c≠0、|c|<rとしたとき、f(z)のγ+、γ-上の積分 （２）Im c≠0、ξ≠0のとき、実軸上の積分、 ∫[-r,r] f(x)dx , r→∞ という問題なのですが、（１）については、 ）Im c>0のとき γ-上の積分の積分は、Cauchyの積分定理により、∫[γ-] f(z)dz=0。 また、γ+上の積分は、留数定理により、∫[γ+] f(z)dz=2πie^(iξc)。 ）Im c<0のとき γ+上の積分の積分は、Cauchyの積分定理により、∫[γ+] f(z)dz=0。 また、γ-上の積分は、留数定理により、∫[γ-] f(z)dz=2πie^(iξc)。 となると思うのですが、これで大丈夫なのでしょうか？ また、（２）については、 ∫[γ+] f(z)dz + ∫[γ-] f(z)dz =∫[Cr+] f(z)dz +∫[Cr-] f(z)dz+2∫[lr] f(x)dx と考えたのですが、左辺については、Im cの符号によらず4πie^(iξc)となると思いますが、右辺については、よくわからなくなってしまいました。どのようにして、考えていけばよいのでしょうか？どなたかお力添えよろしくお願いします。 読みにくい文章で申し訳ないのですが、よろしくお願いします。
- 締切済み
- 数学・算数
- 複素関数
複素関数の問題を解いているのですが、わからないことがあります。 問）Σ[n=0→∞] c_n z^n の収束半径をＲとする。{c_n}が有界数列ならば、Ｒ≧1であることを示せ。 答）|c_n|≦Mと仮定する。|z|＜1ならば、Σ[n=0→∞] |z|^n ＜＋∞。…(1) これと|c_n z^n|≦M|z|^nによって、Σ[n=0→∞] c_n z^n は|z|＜1で絶対収束する。 ゆえに R≧１。…(2) 疑問について、 ・(1)のところの＋∞の使い方がいまいちわかりません。これは発散しない（＝収束する）という考え方でいいのでしょうか ・(2)「ゆえに」のところがわかりません。どこからR≧１がでてきたのか… 初歩的な質問かもしれませんが、詳しく教えていただけると幸いです。
- ベストアンサー
- 数学・算数