- 締切済み
ローラン展開について。
tan z = Σ[k=-1→∞] (c_k)(z - π/2)^k の式を両辺を (z - π/2) 倍すると (z - π/2) tan z = Σ[j=0→∞] (c_(j-1))(z - π/2)^j ←[2]です。 この式は、 (z - π/2) tan z の z = π/2 を中心とするテイラー展開になっていますね？ といわれたのですが、なぜ[2]の式がテイラー展開なのかわかりません。 どうか教えて下さい。 また、なぜ画像の式の第１項目は分母が(θ-π/2)なのに画像の式は発散ではないのでしょうか？
- みんなの回答 （5）
- 専門家の回答
みんなの回答
- abiwirang
- ベストアンサー率39% (52/133)
- dedypraja
- ベストアンサー率40% (88/219)
- gamma1854
- ベストアンサー率54% (289/534)
- gamma1854
- ベストアンサー率54% (289/534)
- gamma1854
- ベストアンサー率54% (289/534)
z-pi/2=u とおけば、 tan(z)=-1/u+u/2+u^3/45+(2/945)u^5+... であり、両辺にuをかけると、 u*tan(z)=-1+u^2/2+u^4/45+(2/945)u^6+... でもちろん、Taylor 展開です。
補足
ありがとうございます。 出来ればなぜ画像の式の第１項目は分母が(θ-π/2)なのに画像の式は発散ではないのでしょうか？ にも答えて頂けますでしょうか。
関連するQ&A
- tan(z)を=π/2を中心にローラン展開する上で
tan(z)を=π/2を中心にローラン展開する上で、 z=π/2+0.001として、 tan(z)をローラン展開して tan(z)=-1/(z-π/2)+a(2) (z-π/2)^2+・・・ としたのですが、 どうやって tan(z)=-1/(z-π/2)+a(2) (z-π/2)^2+・・・ から =-1/(z-π/2)+(1/3)(z-π/2)+・・ と導いたのでしょうか？ また、 a(2) (z-π/2)^2の値はどうやって導いたか教えて頂けないでしょうか。 どうか過程の式を教えて頂けないでしょうか。 また、 「tan(z)をローラン展開して tan(z)=-1/(z-π/2)+(1/3)(z-π/2)+・・」を解答に書いて頂いた上で、 「訂正です0でない第2項はa(1)の項でした」と書かれていたのですが、意味がわかりませんでした。 どういう意味か教えて頂けないでしょうか？ と言う質問において、 以下のような解答をいただいたのですが、 「tan z を z = π/2 中心にローラン展開するんですね？ まず、z = π/2 の特異点を分類します。 tan z = (sin z)/(cos z), z = π/2 で sin z は正則、cos z は 1 位の零点を持ちますから、 z = π/2 は tan z の 1 位の極になります。 確認しましょうか。 lim[z→π/2] (z - π/2)^1 tan z = lim[z→π/2] (sin z)/{ cos z - cos(π/2))/(z - π/2) } = sin(π/2)/cos’(π/2) = sin(π/2)/{ -sin(π/2) } = -1. 確かに、有限値に収束しています。 よって、z = π/2 を中心とする tan z のローラン展開は、 適当な係数 c_k を置いて tan z = Σ[k=-1→∞] (c_k)(x - π/2)^k と書けます。 次に、この各 c_k を求めます。 No.1 の式を両辺を (z - π/2) 倍すると (z - π/2) tan z = Σ[j=0→∞] (c_(j-1))(x - π/2)^j です。 ←[2] この式は、 (z - π/2) tan z の z = π/2 を中心とするテイラー展開になっていますね？ g(z) = (z - π/2) tan z と置いて、g(z) をテイラー展開しましょう。 [2] の式を z で m 回微分すると (d/dz)^m { (z - π/2) tan z } = Σ[j=m→∞] (c_(j-1))(jPm)(x - π/2)^(j-m) で、 z→π/2 の極限を取れば lim[z→π/2] (d/dz)^m { (z - π/2) tan z } = c_(m-1) (m！) となります。 この式を使って、実際に c_k をいくつか求めてみましょう。 c_(-1) = lim[z→π/2] (d/dz)^0 { (z - π/2) tan z }/(0！) = lim[z→π/2] { (z - π/2) tan z }/1 = -1, c_0 = lim[z→π/2] (d/dz) { (z - π/2) tan z }/(1！) = lim[z→π/2] { 1tan z + (z - π/2)/(cos z)^2 }/1 = lim[z→π/2] { (sin z)(cos z) + (z - π/2) }/(cos z)^2 = lim[z→π/2] { (d/dz) { (sin z)(cos z) + (z - π/2) } }/{ (d/dz) (cos z)^2 } = lim[z→π/2] { cos(2z) + 1 }/{ - sin(2z) } = ( -1 + 1 )/(-1) = 0, c_1 = lim[z→π/2] (d/dz)^2 { (z - π/2) tan z }/(2！) = lim[z→π/2] (d/dz) { tan z + (z - π/2)/(cos z)^2 }/2 = lim[z→π/2] { 2/(cos z)^2 + (z - π/2)(2 sin z)/(cos z)^3 }/2 = lim[z→π/2] { (cos z) + (z - π/2)(sin z) }/(cos z)^3 = lim[z→π/2] { (d/dz) { (cos z) + (z - π/2)(sin z) } }/{ (d/dz) (cos z)^3 } = lim[z→π/2] { (z - π/2)(cos z) }/{ 3 (cos z)^2 (- sin z) } = lim[z→π/2] (-1/3)(1/sin z)/{ (cos z - 0)/(z - π/2) } = (-1/3)(1/1)/{ -1 } = 1/3. けっこう面倒くさいけれど、ロピタルの定理を多用すればイケますね。 この調子で、どんな k についても c_k の値は根性出せば求められます。 c_k の一般項を k の式で書き下すのは、おそらく無理っぽいけど。」 といただいたのですが、 どの部分が tan(z)=-1/(z-π/2)+a(2) (z-π/2)^2+・・・ から =-1/(z-π/2)+(1/3)(z-π/2)+・・ の式より、 a(2) (z-π/2)^2が(1/3)(z-π/2)と導いたことを説明しているのでしょうか？ また、「c_k の一般項を k の式で書き下すのは、おそらく無理っぽいけど。」と書かれていますが、なぜc_k の一般項を k の式で書き下すのは、おそらく無理なのでしょうか？ また、c_k の一般項を k の式で書き下すとはどう言う意味でしょうか？ どうかわかりやすく教えて下さい。 どうかよろしくお願い致します。
- 締切済み
- 数学・算数
- テイラー展開とローラン展開
テイラー展開とローラン展開の問題の解き方がよく分かりません。どちらにもマクローリン展開を用いるようなのですが・・・。例えば、z=-iを中心に関数f(z)=1/zをテイラー展開及びローラン展開するにはどうすれば良いのでしょうか？式をできるだけ詳しく説明して頂けると助かります。
- ベストアンサー
- 数学・算数
- ローラン展開
ローラン展開の場合分けについて 1/z(z+1)についてz=0を中心にローラン展開せよ。という問題ですが、 答えは、0＜|z|＜1 と1＜|z|に場合分けしてローラン展開してありますが、1＜|z|の時って必要なんでしょうか？ ローラン展開ってその点のまわりで展開する。っていう意味とは違うんでしょうか？授業ではこの言い回しばかりでやっていたので。なので同じように考えてz=0の周りで展開するので、z≒０より、0＜|z|＜1の場合のみと思っていたんですが。 もしかして、z=0を中心に・・・、とz=0のまわりで・・・、の意味は違うんでしょうか？ もう１つ、ローラン展開の定義は、Σ[k=0→∞]c(z-a)＾k+Σ[k=1→∞]b(z-a)＾(-k)ですが、実際に解くときって、 (正則でない部分)×(正則な部分のテイラー展開)で求めます。もともとの定義からどう考えれば、実際に解くときの公式?のように考えられるんでしょうか？
- 締切済み
- 数学・算数
- ローラン展開
次の関数の()内の点を中心とするローラン展開を求めよ {(z-1)^3}e^{1/(z-1)} (1) 解答・・・(z-1)^3 + (z-1)^2 + (z-1)/2! + 1/(3!)+…+1/{n!(z-1)^(3-n)}+… という問題にて、(z-1)^3 はz=1にて正則で無いため、 (z-1)^3 * (e^{1/(z-1)}のテイラー展開) を計算しようと思ったのですが、e^{1/(z-1)}もz=1で正則ではありません そこで、e^z=1+z+(z^2)/2! + (z^3)3!+・・・+4/(n!)+…のzを1/z-1 に置き換え、 e^{1/(z-1)}=1+{1/(z-1)} + 1/(2!){1/(z-1)}^2 +…+1/(n!){1/(z-1)}^n としたところ、解答にはたどり着きました しかし、e^z=1+z+(z^2)/2! + (z^3)3!+・・・+4/(n!)+… はe^zのz=0を中心としたテイラー展開であり、なぜ解答に辿り付けたのか混乱しています ご教授、お願いします
- ベストアンサー
- 数学・算数
- ローラン展開について教えて下さい。
ローラン展開はテイラー展開とは異なり、留数や特異点でも式を展開することが可能なものですが、 これの使い方がどうしても分かりません。 もちろん書籍で調べたり、ネットで検索してもどうしても分からなかったので教えて下さい。 http://www.math.meiji.ac.jp/~mk/lecture/complex-function/20081015/node1.html 級数展開して、それぞれの級数の係数の計算の仕方についてですが、 上記のページの上から4つめの式に表されるように、元の式を(z-c)^{n+1}で割ったものを|z-c|=Rで積分することで求められますが、 このRという定数はどこからやってくるのでしょうか？ それとこの積分はf(z)の式によっては解くのが非常に難しい積分になることもあり得ますが、 そういう場合にはどうやって計算するのでしょうか？ 具体的な計算を見てみたいのですが、 リンク先である http://www.math.meiji.ac.jp/~mk/lecture/complex-function/20081015/node2.html では、露わに上記の積分の計算を行わずに、ローラン展開を行っています。 書籍などを見てみても、上記の積分をしている例題が見つかりませんでした。 一体ローラン展開はどうやってやれば良いのでしょうか？
- ベストアンサー
- 数学・算数
- 【ローラン展開】
ローラン展開の質問です。 画像のような関数をz=-2で ローラン展開したいのですが、 上手くできません。 単純な計算なのですが、 解答のやり方も正しいと思う反面、 自分のミスもどうしても見つけることができずに 困っています。 私はz=-2で、1/(z+1)をテイラー展開した後に 1/(z+2)を各項にかける方法で展開しました。 すると、 f(z)=-1/(z+2)-1-(z+2)+(z+2)^2-... となったのですが、この方法は間違っていますでしょうか？ この方法（私の答案の方）が使える条件を満たしていない などのご指摘などありましたら教えて頂きたいです。 どなたか数学に詳しい方がおられましたら、 よろしくお願い致します。
- ベストアンサー
- 数学・算数
- ローラン展開の一意性について
ローラン展開の問題を解いていたら z exp(1/x) (0<|z|<∞) という問題が合ったのでexp(1/x)をテイラー展開しようと奮闘していたのですが、力尽きて調べてみると「それは解けません。exp(x)のテイラー展開に1/xを代入します」とありました。 これってどんな場合にも成り立つのでしょうか。 例えば指数関数だけでなく、cos(1/x)とかsin(x^2)なんて問題が出たときにもよく知られるeやcosやsinのテイラー展開の結果の式に代入したらそれで解決なのでしょうか。 もし、どんな場合にも成り立たないのであれば、成り立つための条件を教えて頂けるとうれしいです。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- テーラー展開教えてください
テーラー展開の問題を教えてください。 大学の次の問題がわかりません。 1/(1-z)=Σ(k=0 => inf)z^k (|z|<1) を用いて次の関数をz=0を中心にテーラー展開すること (1) 1/(1-z)^2 = (2) Log(1+z) = できるだけ詳しく教えていただけると助かります。
- ベストアンサー
- 数学・算数
- 解析接続 (テーラ展開，収束半径)
関数 f(z) = 1/1+z について (1) z = 0 を中心にテーラ展開して収束半径を求める． (2) z = i を中心にテーラ展開して収束半径を求める． 問題なのですが・・・ (1)はテーラ展開して f(z) = 1 - z + z^2 - 4/3!z^3 + ・・・ となるとこまでは理解できるのですが，ここから収束半径を求める方法がわかりません． (2)はテーラ展開で分母が2乗，4乗となったとき z = i を代入したあと展開するべきなのでしょうか・・・ よろしくお願いします．
- 締切済み
- 数学・算数
補足
ありがとうございます。 あの0<|z - pi/2|<ε のε は何を表しているのでしょうか？