No.39ベストアンサー
- 回答日時:
留数
https://ja.wikipedia.org/wiki/%E7%95%99%E6%95%B0
に
書いてある通り
留数Resの定義から
Res(f(z),a)={1/(2πi)}∫_{|z-a|=r}f(z)dz
となるのです
定義の理由は
右辺の文字数より左辺の文字数が少なくてすむから
そのように定義したのです
No.38
- 回答日時:
質問11
f(z)=1/(z-1)^2
0<|z-1|
でのローラン展開
f(z)=Σ_{n=-∞~∞}a(n)(z-1)^n
はz=1で2位の極をもつから
n≦-3の時a(n)=0
f(z)=Σ_{n=-2~∞}a(n)(z-1)^n
↓両辺に(z-1)^2をかけると
f(z)(z-1)^2=Σ_{n=-2~∞}a(n)(z-1)^(n+2)
↓両辺を(n+2)回微分すると
(d/dz)^(n+2){f(z)(z-1)^2}=(n+2)!a(n)+…
↓z→1とすると
lim(z→1)(d/dz)^(n+2){f(z)(z-1)^2}=(n+2)!a(n)
↓両辺を(n+2)!で割ると
{1/(n+2)!}lim(z→1)(d/dz)^(n+2){f(z)(z-1)^2}=a(n)
∴
a(n)={1/(n+2)!}lim(z→1)(d/dz)^(n+2){f(z)(z-1)^2}
↓f(z)=1/(z-1)^2だから
a(n)={1/(n+2)!}lim(z→1)(d/dz)^(n+2)(1)
n≠-2の時a(n)=0
n=-2の時
a(-2)=1
0<r
a(n)={1/(2πi)}∫_{|z-1|=r}{f(z)/(z-1)^(n+1)}dz
g(z)=f(z)/(z-1)^(n+1)
g(z)=1/(z-1)^(n+3)
はz=1でn+3位の極を持つから
k=n+3
a(n)
=Res(g(z),1)
={1/(k-1)!} lim[z→1](d/dz)^(k-1)g(z)(z-1)^k
={1/(n+3-1)!}lim[z→1](d/dz)^(n+3-1)(z-1)^(n+3)/(z-1)^(n+3)
={1/(n+2)!}lim(z→1)(d/dz)^(n+2)(1)
No.37
- 回答日時:
n=-1の時に
f(z)=Σ_{n=-1~∞}a(-1)/(z-1)
にはなりません
f(z)
=
Σ_{n=-1~∞}a(n)(z-1)^n=a(-1)/(z-1)+a(0)+a(1)(z-1)+a(2)(z-1)^2+…
左辺は右辺の意味なのだから
右辺にはnは存在しません
だから左辺も両辺ともにnには関係ありません
n=-1の時になどとはできません
No.36
- 回答日時:
留数
https://ja.wikipedia.org/wiki/%E7%95%99%E6%95%B0
に
書いてある通り
留数Resの定義から
Res(f(z),a)={1/(2πi)}∫_{|z-a|=r}f(z)dz
となるのです
だから
f(z)
を
f(z)/(z-a)^(n+1)
に置き換えると
Res(f(z)/(z-a)^(n+1),a)={1/(2πi)}∫_{|z-a|=r}{f(z)/(z-a)^(n+1)}dz
となるのです
係数などの(1/2πi)∮は赤い四角に含まれない
理由はそれが留数Resの定義だから
ありがとうございます。
あの、確かにサイトにそのように定義されている事は確認出来ました。
出来れば、なぜ、その様に定義できたのかの原理を教えて頂けないでしょうか?
また、質問11に対して2022.8.25 19:40に頂いた解答の「質問者さんからのお礼」で私なりの解釈を書きましたが、
2022.8.25 19:30では
「1/(n+2)! lim(z→1)(d/dz)^(n+2)(z-1)^(n+1)
に
n=-2
を
入れると
1/(-2+2)! lim(z→1)(d/dz)^(-2+2)(z-1)^(-2+1)
=1/0! lim(z→1)(d/dz)^(0)(z-1)^(-1)
=lim(z→1)1/(z-1)
=∞
に発散するので
1/(n+2)! lim(z→1)(d/dz)^(n+2)(z-1)^(n+1)
は
間違いです」
と書き、
2022.8.25 19:57に頂いた解答では
「f(z)=1/(z-1)^2
n≠-2の時a(n)=0
n=-2の時
a(-2)=1
は正しいけれども
1/(n+2)! lim(z→1)(d/dz)^(n+2)(z-1)^(n+1)
は
間違いです」と頂きました。
では、a(n)=1/(n+2)! lim(z→1)(d/dz)^(n+2)(z-1)^(n+1)が間違いと言うなら、どんなa(n)の式にn=-2を代入して1を導いたのか教えて下さい。
どうかよろしくお願い致します。
No.35
- 回答日時:
留数resの定義から
res(f(z),a)={1/(2πi)}∫_{|z-a|=r}f(z)dz
となるのです
図から
a(n)={1/(2πi)}∫_{|z-a|=r}{f(z)/(z-a)^(n+1)}dz
となるのです
ありがとうございます。
こちらに頂いた質問10の延長線上的のような質問に関して、
あの、頂いた画像について、
なぜ画像の上の方の赤い四角で囲われた式だけが、そのままRes(○,a)の○に入るのですか?
要は、なぜ係数などの(1/2πi)∮は赤い四角に含まれないのでしょうか?
また、2022.8.25 20:18に頂いた解答においては
a(-1)について、res(f(z),a)={1/(k-1)!}lim[z→a](d/dz)^(k-1)(z-a)^k f(z)の式内にはnが存在しないが、式内にあるf(z)はf(z)=Σ_{n=-1~∞}a(n)(z-1)^nであり、n=-1の時にf(z)=Σ_{n=-1~∞}a(-1)/(z-1)となり、f(z)はz=aでz=π/2の時に極を持つため、
質問11に対して2022.8.25 19:40に頂いた解答の「質問者さんからのお礼」で私なりの解釈を書きましたが、
2022.8.25 19:30と
2022.8.25 19:57で解答を頂きましたが
a(n)=1/(n+2)! lim(z→1)(d/dz)^(n+2)(z-1)^(n+1)が間違いと言うなら、どんなa(n)の式にn=-2を代入して1を導いたのか教えて下さい。
最後に、急にド忘れしたのですが、
ii) |z-1|>2で場合分母が0になる特異点は
n≧-1の時z=1,z=-1との事でしたが、z=-1は特異点になるのはわかるのですが、z=1はz→1として、|1.01-1|>2と矛盾します。それなのに、なぜz→1も特異点に入るのか教えて頂けないでしょうか?
申し訳ありません。
No.34
- 回答日時:
私の回答
「
f(z)がz=aでk位の極を持つという条件である時であるため、
f(x)=tan(z),a=π/2として
res(f(z),a)=1/(k-1)! lim[z->a](d/dz)^(k-1)(z-a)^kf(z)
=1/(1-1)! lim[z->a](d/dz)^(1-1)(z-a)^1tan(z)
=1/(0)! lim[z->a](d/dz)^(0)(z-a)tan(z)
=lim[z->a](z-a)tan(z)
=-1
」
を補足すると
「
f(z)がz=aでk位の極を持つという条件である時であるため、
f(x)=tan(z),a=π/2として
a(-1)
=res(f(z),a)=1/(k-1)! lim[z->a](d/dz)^(k-1)(z-a)^kf(z)
=1/(1-1)! lim[z->a](d/dz)^(1-1)(z-a)^1tan(z)
=1/(0)! lim[z->a](d/dz)^(0)(z-a)tan(z)
=lim[z->a](z-a)tan(z)
=-1
」
だから
a(-1)だけしか求められない
です
おはよう御座います。
ありがとうございます。
理解力無くてほんとに申し訳ありません。
なぜn=-1〜∞まであるのにn=-1しか代入出来ないのか、もう少し詳しく教えて頂けないでしょうか?
ちなみに、質問11に関しは
2022.8.25 21:39にmtrajcp様から頂いたお礼に書いた内容で正しいでしょうか?
どうかよろしくお願い致します。
No.33
- 回答日時:
a(n)
=res(tan(z),a)
が
間違いです
もし
a(n)=res(tan(z),a)
だと仮定すると
a(n)
=res(tan(z),a)
=-1
a(n)=-1
となって
nがどんな値でも a(n)=-1 となって 間違い
実際には
nが変化すればa(n)は変化するはずだから間違いです
私の回答は
「
f(z)がz=aでk位の極を持つという条件である時であるため、
f(x)=tan(z),a=π/2として
res(f(z),a)=1/(k-1)! lim[z->a](d/dz)^(k-1)(z-a)^kf(z)
=1/(1-1)! lim[z->a](d/dz)^(1-1)(z-a)^1tan(z)
=1/(0)! lim[z->a](d/dz)^(0)(z-a)tan(z)
=lim[z->a](z-a)tan(z)
=-1
です
」
改ざんしないでください
勝手にa(n)=を挿入しないでください
すいませんでした。
要は
「a(n)
=res(tan(z),a)」
が間違いであり、
以下の様であれば正しいのですね。
「f(x)=tan(z),a=π/2として
res(f(z),a)=1/(k-1)! lim[z->a](d/dz)^(k-1)(z-a)^kf(z)
=1/(1-1)! lim[z->a](d/dz)^(1-1)(z-a)^1tan(z)
=1/(0)! lim[z->a](d/dz)^(0)(z-a)tan(z)
=lim[z->a](z-a)tan(z)
=-1」
No.32
- 回答日時:
a(n)
=res(tan(z),a)
が
間違いです
もし
a(n)=res(tan(z),a)
だと仮定すると
a(n)
=res(tan(z),a)
=-1
a(n)=-1
となって
nがどんな値でも a(n)=-1 となって 間違い
実際には
nが変化すればa(n)は変化するはずだから間違いです
補足で申し訳ありません。
f(z)=tan(z)はz=π/2の時に1位の極を持つため、
Res(f(z),c)=lim_{z→c}(z-c)f(z)が使えると思うのですが、
Res(tan(z), π/2)
=lim_{z→π/2}(z-π/2)tan(z)
と導けたのでしが、正しいでしょうか?
それとも、Res(f(z),c)=lim_{z→c}(z-c)f(z)の式はRes(f(z),c)=lim_{z→c}(z-c)f(z)のf(z)をg(z)とした上で成り立つのでしょうか?
ただ、
以前
f(z)=1/(z^2-1)
r>2
n≦-2の時
kが1の時はRes(g(z),c)=lim{z→c}(z-c)g(z)を使って
Res(g(z),-1)
=lim_{z→-1}{1/(z-1)^(n+2)}
=1/(-2)^(n+2)
∴
a(n)=1/(-2)^(n+2)
としていたため、g(z)にしてからでないと正しいa(n)が導けないのではないかと考えています。
だとしたら、なぜg(z)にしないと成り立たないのか教えて下さい。
まぁ、個人的にはa(n)=Res(f(z),a)={1/(2πi)}∫_{|z-1|=r}{f(z)/(z-a)^(n+1)}dzと導けたからと言われればそれまでですが、
また、本当に申し訳のですが、
Res(f(z),a)から{1/(2πi)}∫_{|z-1|=r}{f(z)/(z-a)^(n+1)}dzと導くまでの証明を教えて頂けないでしょうか?
No.30
- 回答日時:
f(z)=tan(z)の時もa=kでないし
res(f(z),a)でないし
res(f(z),a)=1/(k-1)! lim[z->a](d/dz)^(k-1)(z-a)^kf(z)
で正しく計算できていません
f(z)=tan(z)の時も
f(z)=Σ_{n=-1~∞}a(n)(z-π/2)^n
a(n)=res(f(z)/(z-π/2)^(n+1),π/2)
g(z)=f(z)/(z-π/2)^(n+1)
g(z)=tan(z)/(z-π/2)^(n+1)
k=n+2
res(g(z),a)=1/(k-1)! lim[z→a](d/dz)^(k-1)(z-a)^kg(z)
res(g(z),π/2)=1/(n+2-1)! lim[z→π/2](d/dz)^(n+2-1)(z-π/2)^(n+2)tan(z)/(z-π/2)^(n+1)
res(g(z),π/2)=1/(n+1)! lim[z→π/2](d/dz)^(n+1)(z-π/2)tan(z)
です
だけれども
res(f(z),a)を使うのは間違いだし
res(g(z),π/2)も使ってはいません
res(g(z),π/2)からa(n)を求めているわけではありません
実際には以下のようにa(n)を求めています
f(z)=tan(z)
は展開の中心π/2で1位の極を持つから
0<|z-π/2|<πでローラン展開
f(z)=Σ_{n=-1~∞}a(n)(z-π/2)^n
n≦-2の時a(n)=0
tan(z)=Σ_{n=-1~∞}a(n)(z-π/2)^n
↓両辺に(z-π/2)をかけると
(z-π/2)tan(z)=Σ_{n=-1~∞}a(n)(z-π/2)^(n+1)
(z-π/2)tan(z)=a(-1)+a(0)(z-π/2)+a(1)(z-π/2)^2+a(2)(z-π/2)^3+a(3)(z-π/2)^4+a(4)(z-π/2)^5+…
↓両辺を微分すると(1回目)
{(z-π/2)tan(z)}'=a(0)+2a(1)(z-π/2)+3a(2)(z-π/2)^2+4a(3)(z-π/2)^3+5a(4)(z-π/2)^4+…
↓両辺を微分すると(2回目)
{(z-π/2)tan(z)}"=2a(1)+3!a(2)(z-π/2)+(4!/2)a(3)(z-π/2)^2+(5!/3!)a(4)(z-π/2)^3+…
↓両辺を微分すると(3回目)
{(z-π/2)tan(z)}"'=3!a(2)+4!a(3)(z-π/2)+(5!/2)a(4)(z-π/2)^2+…
↓両辺を微分すると(4回目)
{(z-π/2)tan(z)}""=4!a(3)+5!a(4)(z-π/2)+…
↓
…
↓両辺を微分すると((n+1)回目(n≧-1))
(d/dz)^(n+1){(z-π/2)tan(z)}=(n+1)!a(n)+(n+2)!a(n+1)(z-π/2)+{(n+3)!/2}a(n+2)(z-π/2)^2+…
↓z→π/2とすると
lim_{z→π/2}(d/dz)^(n+1){(z-π/2)tan(z)}=(n+1)!a(n)
↓両辺を(n+1)!で割ると
{1/(n+1)!}lim_{z→π/2}(d/dz)^(n+1){(z-π/2)tan(z)}=a(n)
∴
a(n)={1/(n+1)!}lim_{z→π/2}(d/dz)^(n+1){(z-π/2)tan(z)}
ありがとうございます。
こちらの解答では
「f(z)=tan(z)の時もa=kでないし
res(f(z),a)でないし
res(f(z),a)=1/(k-1)! lim[z->a](d/dz)^(k-1)(z-a)^kf(z)
で正しく計算できていません」
ですが、
以前に、mtrajcp様から20222.8.24 09:37に頂いた
f(z)がz=aでk位の極を持つという条件である時であるため、
f(x)=tan(z),a=π/2として
res(f(z),a)=1/(k-1)! lim[z->a](d/dz)^(k-1)(z-a)^kf(z)が使うことができて、
a(n)
=res(tan(z),a)
=1/(1-1)! lim[z->a](d/dz)^(1-1)(z-a)^1tan(z)
=1/(0)! lim[z->a](d/dz)^(0)(z-a)tan(z)
=lim[z->a](z-a)tan(z)
=-1
と正しい計算が導きました。
ならば、
以前にmtrajcp様が20222.8.24 09:37に頂に書かれた
「f(z)がz=aでk位の極を持つという条件である時であるため、
f(x)=tan(z),a=π/2として
res(f(z),a)=1/(k-1)! lim[z->a](d/dz)^(k-1)(z-a)^kf(z)
=1/(1-1)! lim[z->a](d/dz)^(1-1)(z-a)^1tan(z)
=1/(0)! lim[z->a](d/dz)^(0)(z-a)tan(z)
=lim[z->a](z-a)tan(z)
=-1
です」
と正しい計算が出来たのはたまたまだったわけですか?
前は条件を満たせばその計算は正しい。
今は条件を満たしてるのにその計算は間違いだ。などと右往左往していて、
f(z)がz=aでk位の極を持つという条件の時だけres(f(z),a)=1/(k-1)! lim[z->a](d/dz)^(k-1)(z-a)^kf(z)が使うことが出来るのはわかりますが、
どうかよろしくお願い致します。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
- ・ゆるやかでぃべーと タイムマシンを破壊すべきか。
- ・歩いた自慢大会
- ・許せない心理テスト
- ・字面がカッコいい英単語
- ・これ何て呼びますか Part2
- ・人生で一番思い出に残ってる靴
- ・ゆるやかでぃべーと すべての高校生はアルバイトをするべきだ。
- ・初めて自分の家と他人の家が違う、と意識した時
- ・単二電池
- ・チョコミントアイス
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
中学1年の数学の課題について...
-
自然数の列を次のような群に分...
-
変域から式の求め方を教えてく...
-
中学数学で1次式を選ぶ問題 分...
-
中学数学です。
-
与式とは?
-
3元?連立方程式の解き方が分か...
-
今更で申し訳ないのですが、疑...
-
数学 平方完成 問題
-
「時間の0.2乗に比例して減少」...
-
数的推理
-
この二つの式をVa=,Vb=の形に変...
-
式の値が・・・
-
急ぎでお願いします!! ある問...
-
a(n-k)=(1/n!)lim_{z->c}(d/dz)...
-
地上10kmくらいまでの範囲の気...
-
連立方程式の利点とは
-
1=√1=√(-1)(-1)=√(-1)√(-1)=i・...
-
重心について。
-
res(f(z),a)=1/(k-1)! lim[z->a...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
与式とは?
-
中学数学で1次式を選ぶ問題 分...
-
自然数の列を次のような群に分...
-
三次方程式x^3+3x^2+(a-4)x-a=0...
-
連立方程式はなぜ解ける?
-
中学関数 Xの増加量が2のときの...
-
三角関数の問題を教えてください
-
アルキメデス螺旋と対数螺旋の...
-
1=√1=√(-1)(-1)=√(-1)√(-1)=i・...
-
なんで、ルートの中が完全平方...
-
偶奇分けの漸化式がまったくわ...
-
中学1年の数学の課題について...
-
VBAで除算の商・・・
-
3元?連立方程式の解き方が分か...
-
近似式の定理で、値 a が値 b ...
-
数学の問題がわかりません。
-
比例式の値を求める問題
-
未知数4つ、式4つの方程式の...
-
数的推理
-
不等号について
おすすめ情報
質問が3つあります。
質問1
例えば、
f(z)=1/(z-1)^2の場合はkは2であるため、
z=1で極を持つため、
a(n)
res(f(z),a)
=res(1/(z-1)^2),1)
=1/(k-1)! lim[z->a](d/dz)^(k-1)(z-a)^kf(z)
=1/(2-1)! lim[z->1](d/dz)^(2-1)(z-1)^1 1/(z-1)^2
={lim[z->1](d/dz)^(n+1)}/{(z-1)}
となるのでしょうか?
質問2
f(z)=1/(z^2-1)の場合はkが1なので、かつ
場合わけでz=1or-1があるので、
z=1の時、
a(n)
=res(1/(z^2-1),1)...
1/(1-1)! lim[z->1](d/dz)^(1-1)(z-1) 1/(z^2-1)
= lim[z->1]1/(z+1)
と以前求めた様になりませんが、
なぜ指数はnの入っていないただの数値の1(=k)なのに正しい式が導けないのでしょうか?
質問3
今更で申し訳ないのですが、f(z)=tan(z)に関して、
なぜz=π/2で極を持つ際にres(f(z),a)=1/(k-1)! lim[z->a](d/dz)^(k-1)(z-a)^kf(z)のzではなくaにπ/2を代入するのでしょうか?
どうかよろしくお願い致します。
すいません。
質問4に対する回答の
「マクローリン展開は中心0のテイラー展開
f(z)=Σ_{n=0~∞}a(n)z^n
=a(0)+a(1)z+a(2)z^2+…」
に関しては、
テイラー展開の場合はどんな変数の展開になるのでしょうか?
また、頂いたマクローリン展開の式は画像(テイラー展開の公式)とは形が異なりますが、どうやって画像の式からf(z)=Σ_{n=0~∞}a(n)z^nを導いたのでしょうか?
質問10
右の画像において、
赤い下線部は間違いだと思いますが、
なぜf(z)=1/(z^2-1)の場合はkが1なのにf(z)=tan(z)の時と同じk=1なのに、なぜres(f(z),a)=1/(k-1)! lim[z->a](d/dz)^(k-1)(z-a)^kf(z)の式が使えないのでしょうか?
質問11
右の画像において、
画像の青い下線部の理解で正しいでしょうか?
質問12
質問3の
「今更で申し訳ないのですが...
...aにπ/2を代入するのでしょうか?」
に関しては
z=π/2に関してはローラン展開を導く上で画像のようになるため、aにπ/2が入るとわかりました。(質問12は厳密には質問ではないが、念のため。)
質問13
なるほど、
地道にマクローリン展開を求めることができるが、
マクローリン展開の公式はローランf(z)=Σ_{n=-∞~∞}a(n)z^(n-a)を軸に0(原点)の周りで展開して、
なおかつnが正の範囲での近似式なので、
Σ_{n=-∞~∞}をΣ_{n=0~∞}として、a(n)z^(n-a)のaをを0して、
f(z)=Σ_{n=0~∞}a(n)z^nと以上のようにローラン展開からマクローリン展開の公式を導く方法もあるとわかりました。
しかし、なぜ正の範囲なのにΣ_{n=1~∞}ではなく、Σ_{n=0~∞}なのででしょうか?
また、テーラー展開の場合は
f(z)=Σ_{n=0~∞}a(n)z^(n-a)だとわかりました。
質問14
画像のRとrがありますが、Rは何を表し、rは何を表すのでしょうか?
「質問4に対する回答の
「マクローリン展開は中心0のテイラー展開
f(z)=Σ_{n=0~∞}a(n)z^n
=a(0)+a(1)z+a(2)z^2+…」
に関しては、
テイラー展開の場合はどんな変数の展開になるのでしょうか?」
に対して
「中心z=0のテイラー展開
と
マクローリン展開
は
同じ
f(z)=Σ_{n=0~∞}a(n)z^n
=a(0)+a(1)z+a(2)z^2+…
です」
と言われましたが、中心z=0のテイラー展開ではなく、ただのテイラー展開の場合でどんな変数の展開になるのか知りたかったのですが、テイラー展開もマクローリン展開もローラン展開の正の範囲での展開と同じ式ですが、中心z=0のテイラー展開ではなく、ただのテイラー展開の場合はどんなf(z)の式になるのでしょうか?
どうかよろしくお願い致します。