• ベストアンサー
※ ChatGPTを利用し、要約された質問です(原文:exp(1/z)の原点のまわりでローラン展開について質問です。)

exp(1/z)の原点のまわりでローラン展開についての疑問

このQ&Aのポイント
  • exp(1/z) の原点のまわりでローラン展開について疑問があります。
  • exp(1/z) をマクローリン展開する際、z の代わりに 1/z を入れて展開できるという説明がありますが、腑に落ちません。
  • テイラー展開は円板状の領域内で使えるものであり、無限遠点まわりでの展開はできません。1/z=u とおき直す作戦も上手くいかないか悩んでいます。

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

  • ベストアンサー
  • alice_44
  • ベストアンサー率44% (2109/4759)
回答No.1

よい点に気づかれたと思います。 ローラン展開といっても、極を中心とする展開ならば、 テイラー展開とあまり変わりがありませんが、 真性特異点を中心とするものは難しいことが多く、 関数によっては、どうやって展開したらよいか 解らないこともあります。 今回の問題で exp u のマクローリン展開に u = 1/z を代入してよい理由は、 exp のマクローリン展開が収束半径 ∞ を持つからで、 そのために、z がどれだけ 0 に近づいても exp u の級数表示が意味を持っているからです。

aptx5884
質問者

お礼

 お礼が遅れてしまって申し訳ありません。言い訳になってしまいますが、パソコンのトラブルでSSLページにアクセスできなくなっていました。  u平面上どこでも、exp(u)の級数表示が意味を持っているというのは納得できました。   結局、「〇〇のまわりでの」展開というのは形だけの問題だ、と思ってもいいのでしょうか。最終的な形が、(z-a)のベキに展開できていれば、導出過程は問題にはならないのですね。確かにそもそも、係数を積分で求めずに済むように、というのが狙いなのだから考えてみれば当たり前のことだったかもしれません。  ローラン展開、これで何とか使えるようになりそうです。ありがとうございました。

全文を見る
すると、全ての回答が全文表示されます。

その他の回答 (1)

  • info22_
  • ベストアンサー率67% (2650/3922)
回答No.2

> exp(1/z)=1+1/(1!z)+1/(2!z^2)+1/(3!z^3)+ … これが疑問なら、右辺を7項位で近似して z=1, i, 1+i, 2 など代入してみてほぼ等しいか確認してみれば、正しいか確認できると思います。 当方でローラン展開が正しいか確認して見ました。 z=1の場合 左辺=e=2.718282,右辺≒2.718254 z=iの場合 左辺=e^(-i)=cos(1)-isin(1)=0.54030+i0.841471, 右辺≒0.54028+i0.841468 z=2の場合 左辺=e^(1/2)=1.6487213,右辺≒1.6487212 z=1+iの場合 左辺=e^((1-i)/2)=e^(1/2)(cos(1/2)-isin(1/2))=1.4468890-i0.7904391, 右辺≒1.4468874-i0.79043899 などほとんど一致しているのでローラン展開がz=0(特異点)以外で正しいことが確認できます。 質問者さん自身でも計算して確かめてみてください。

aptx5884
質問者

お礼

 お礼が遅れてしまって申し訳ありません。言い訳になってしまいますが、パソコンのトラブルでSSLページにアクセスできなくなっていました。  取り敢えず、この結果が正しい近似だということの確認はできました。ありがとうございました。

全文を見る
すると、全ての回答が全文表示されます。

関連するQ&A

  • テイラー展開とローラン展開

    テイラー展開とローラン展開の問題の解き方がよく分かりません。どちらにもマクローリン展開を用いるようなのですが・・・。例えば、z=-iを中心に関数f(z)=1/zをテイラー展開及びローラン展開するにはどうすれば良いのでしょうか?式をできるだけ詳しく説明して頂けると助かります。

  • ローラン展開について

    はじめまして。 ローラン展開についてお尋ねしたいのですが、 たとえばf(z)=z^3sin(1/z)を0<|z|<Rでローラン展開するとき、 sinζ=ζー(ζ^3/3!)+ζ^5/5!・・・ とテイラー展開し、ζ=1/zと置いてやると、ローラン展開は f(z)=Z^3sinζとなるのがわからないのです。 具体的にはζをなぜ1/zとおくのか、 またなぜその結果ローラン展開がsinζにz^3をかけたものに なるのかがわかりません。 何か根本的なことがわかっていないのでしょうか。 ローラン展開はテイラー展開のnを-∞から+∞にしたものだ という認識なのですが

  • exp(2z)*(z-1)^-3 をz=1を中心としてローラン展開せよ、という問題がわかりません。

    ローラン展開についての質問です。 exp(2z)*(z-1)^-3 をz=1を中心としてローラン展開せよ、という問題がわかりません。 この問題の解答がexp(2)*(z-1)^(-3)*Σ_{n=0}^{∞}(1/n!)*{z*(z-1)}^nなのですが、計算が合いません。 参考書などを見て、同じようにやっているはずなのですがわかりません。 また、私のところでは留数定理より先にローラン展開を定義しています。 教えて下さい。お願いします。

  • ローラン展開

    ローラン展開の場合分けについて 1/z(z+1)についてz=0を中心にローラン展開せよ。という問題ですが、 答えは、0<|z|<1 と1<|z|に場合分けしてローラン展開してありますが、1<|z|の時って必要なんでしょうか? ローラン展開ってその点のまわりで展開する。っていう意味とは違うんでしょうか?授業ではこの言い回しばかりでやっていたので。なので同じように考えてz=0の周りで展開するので、z≒0より、0<|z|<1の場合のみと思っていたんですが。 もしかして、z=0を中心に・・・、とz=0のまわりで・・・、の意味は違うんでしょうか? もう1つ、ローラン展開の定義は、Σ[k=0→∞]c(z-a)^k+Σ[k=1→∞]b(z-a)^(-k)ですが、実際に解くときって、 (正則でない部分)×(正則な部分のテイラー展開)で求めます。もともとの定義からどう考えれば、実際に解くときの公式?のように考えられるんでしょうか?

  • ローラン展開について

    複素関数解析のローラン展開について 1/(sin z)^2 を z=0 でローラン展開せよという問題です。 sin z のマクローリン展開をどのように使えばいいのかわかりません。 そのあたりの説明もできればお願いします。

  • ローラン展開の一意性について

    ローラン展開の問題を解いていたら z exp(1/x) (0<|z|<∞) という問題が合ったのでexp(1/x)をテイラー展開しようと奮闘していたのですが、力尽きて調べてみると「それは解けません。exp(x)のテイラー展開に1/xを代入します」とありました。 これってどんな場合にも成り立つのでしょうか。 例えば指数関数だけでなく、cos(1/x)とかsin(x^2)なんて問題が出たときにもよく知られるeやcosやsinのテイラー展開の結果の式に代入したらそれで解決なのでしょうか。 もし、どんな場合にも成り立たないのであれば、成り立つための条件を教えて頂けるとうれしいです。 よろしくお願いします。

  • ローラン展開

    ローラン展開のしかたがわかりません 1/z^2+1 をz=i点まわりでローラン展開するのはどうすればいいのでしょうか?

  • 【ローラン展開】

    ローラン展開の質問です。 画像のような関数をz=-2で ローラン展開したいのですが、 上手くできません。 単純な計算なのですが、 解答のやり方も正しいと思う反面、 自分のミスもどうしても見つけることができずに 困っています。 私はz=-2で、1/(z+1)をテイラー展開した後に 1/(z+2)を各項にかける方法で展開しました。 すると、 f(z)=-1/(z+2)-1-(z+2)+(z+2)^2-... となったのですが、この方法は間違っていますでしょうか? この方法(私の答案の方)が使える条件を満たしていない などのご指摘などありましたら教えて頂きたいです。 どなたか数学に詳しい方がおられましたら、 よろしくお願い致します。

  • ローラン展開と分数の分解

    複素関数のローラン展開について学習中の者です。 以下の問題において、分数関数の分解の仕方によってローラン展開の表し方が変わってしまうのですが、どこが間違っているのか助言をお願いします。 問題 f(z) = 3z^2/{(1-2z)(1+z)} を z = 0 のまわりでローラン展開せよ。 1.分数関数の分解を f(z) = z/(1-2z) - z/(1+z) としたとき、1/(1-z)のマクローリン展開などを利用してローラン展開は f(z) = z* Σ(2z)^n - z*Σ(-z)^n   = Σ{2^n + (-1)^(n+1)}z^(n+1)  (|z| <1/2) ...(*) となると思います。(ただしΣはn=0~∞の無限級数を表す) ちなみに出題者の解答はこちらでした。 しかし 2.分数分解として f(z)= 2z^2/(1-2z) + z^2/(1+z) とすることもできます。この場合、ローラン展開は f(z) = z^2{ 2*Σ(2z)^n + Σ(-z)^n }     = Σ{ 2^(n+1) + (-1)^n }z^(n+2) (|z| < 1/2) ....(**) となると思います。 (*)と(**)ではzの項の有無など決定的な違いがあり、同じ級数だとは思えません。 同じ関数を展開したのにどうしてこのような違いが生じてしまうのでしょうか? 何かまずい計算過程でもあるのでしょうか? それともこの二つの級数は実際は同じなのでしょうか? どなたかアドバイスをお願いします。

  • ローラン展開

    coszsinz/(z-π)^2のz=πのまわりのローラン展開についてですがどのようにして、計算すればよいのか教えてください。よろしくお願いします。