「tan(z)の特異点z=π/2は1位の極なので
g(z)=tan(z)/(z-π/2)^(n+1)は(n+2)位の極となります。
よって
a(n)
={1/(2πi)}∫_{C}{tan(z)/(z-π/2)^(n+1)}dz
={1/(2πi)}2πires(tan(z)/(z-π/2)^(n+1),π/2)
={1/(n+1)!}lim_{z→π/2}(d/dz)^(n+1)(z-π/2)^(n+2)tan(z)/(z-π/2)^(n+1)は
={1/(n+1)!}lim_{z→π/2}(d/dz)^(n+1){(z-π/2)tan(z)}
となります」
を参考に|z+1|>2の場合かつn≦-2の時のa(n)=2^(-n-2)をa(n)={1/(2πi)}∫_{C}{g(z)}dzの式を使ってa(n)=2^(-n-2)(z+1)^nを求めるまでの過程の計算を教えて下さい。
A 回答 (19件中11~19件)
- 最新から表示
- 回答順に表示
No.8
- 回答日時:
> 後者の計算で a(-1) を求める公式を使って迂遠というか、
> 循環論の臭いが立ち込めている。とのことですが、どう言う事でしょうか?
a(n) を求める公式を作るために Res を求める公式を使っているが、
Res は a(-1) であり、使用した公式は a(n) の公式を n = -1 で使ったものである。
それなら、一度目に a(n) の公式を見つけたところで話は完了しており、
a(n)
= { 1/(2πi) } ∫_{C}{ tan(z)/(z-π/2)^(n+1) }dz
= { 1/(2πi) } 2πi Res[ tan(z)/(z-π/2)^(n+1), π/2 ]
= { 1/(n+1)! } lim_{z→π/2} (d/dz)^(n+1){ (z-π/2)^(n+2) tan(z)/(z-π/2)^(n+1) }
= { 1/(n+1)! } lim_{z→π/2} (d/dz)^(n+1){ (z-π/2)tan(z) }
のくだりは、何かを計算しているように見せかけて
実は何もしていないのではないか? という話。
No.7
- 回答日時:
何をいつまでも堂々巡りしてるのか謎だが、
f(z) の m 位の極 c を中心としたローラン展開なら
(z - c)^m f(z) をテイラー展開してから両辺を (z - c)^m で割るだけでしょ。
この考えから、直接
a(n) = { 1/(n+1)! } lim_{z→π/2} (d/dz)^(n+1){ (z-π/2)tan(z) }
が出る。
a(n)
= { 1/(2πi) } ∫_{C}{ tan(z)/(z-π/2)^(n+1) }dz
= { 1/(2πi) } 2πi Res[ tan(z)/(z-π/2)^(n+1), π/2 ]
= { 1/(n+1)! } lim_{z→π/2} (d/dz)^(n+1){ (z-π/2)^(n+2) tan(z)/(z-π/2)^(n+1) }
= { 1/(n+1)! } lim_{z→π/2} (d/dz)^(n+1){ (z-π/2)tan(z) }
という計算は、
a(n) を求める過程で a(-1) を求める公式を使っていて
迂遠というか、循環論の臭いが立ち込めている。
なるほど前者のローラン展開の公式を展開してa(n)=と変形してa(n)を求める場所と
後者のa(n)={1/(2πi)}∫_{C}{g(z)}dzのa(n)の式を計算して整理してa(n)=と変形してa(n)を求めるとわかりました。
(補足に載せた画像の青い下線部の式、すなわちa(-1) を求める公式が後者のa(n)の式の中に入っていますね。)
しかし、後者の計算で a(-1) を求める公式を使って迂遠というか、循環論の臭いが立ち込めている。とのことですが、どう言う事でしょうか?
もう少しわかりやすく教えてください。
また、
「a(n)
= { 1/(2πi) } ∫_{C}{ tan(z)/(z-π/2)^(n+1) }dz
= { 1/(2πi) } 2πi Res[ tan(z)/(z-π/2)^(n+1), π/2 ]」
に関しては{ 1/(2πi) } 2πiは計算で1になるので、
最初っから残るRes[ tan(z)/(z-π/2)^(n+1),π/2 ]のみだけ計算すれば良いとわかった。
Res[ tan(z)/(z-π/2)^(n+1)=res(g(z),π/2)=1/(n-1)! lim[z->a](d/dz)^(n-1)(z-a)^n g(z)
を計算すればa(n)が導けるとわかりました。
No.6
- 回答日時:
res(tan(z)/(z-π/2)^(n+1),π/2)
={1/(n+1)!}lim_{z→π/2}(d/dz)^(n+1)(z-π/2)^(n+2)tan(z)/(z-π/2)^(n+1)
と同様な理由で
Res[g(z),1]
=lim_{z→1}(z-1)g(z)
が成り立つ
No.5
- 回答日時:
> あの
> 「Res[g(z),1]
> =lim_{z→1}(z-1)g(z)」
> の計算の省略された過程の計算を教えて頂けないでしょうか。
どこも省略なんかされていない。
a(n) = Res[g(z),1] = 2^(-n-2)
であることが丁寧に示されている。
そもそも、
f(z)=1/(z^2-1)
のローラン展開の係数 a(n) を求めることは、
g(z)=f(z)/(z+1)^(n+1)
の留数を求めることに他ならないことをちゃんと理解している?
留数については理解しています。
しかし、以前mtrajcp様に
Res[g(z),1]
=lim_{z→1}(z-1)g(z)ではないですが、似たような問題においての間の詳しい計算を書いて頂いた事があります。
また、バカ田大学様に答えて欲しいのですが、
どうしてもa(n)={1/(2πi)}∫_{C}{g(z)}を使いたければ留数を使えばよい。の意味がいまいちわかりません。
a(n)={1/(2πi)}∫_{C}{g(z)}は積分が難しくて使えないから他の留数、すなわち他のa(n)の式を使うのではないのでしょうか?
また、「tanzの特異点z=π/2は1位の極なので
f(z)=tanz/(z-π/2)^(n+1)は (n+2)位の極となります。
よって
a(n)
={1/(2πi)}∫_{C}{tan(z)/(z-π/2)^(n+1)}dz
={1/(2πi)}2πires(tan(z)/(z-π/2)^(n+1),π/2)
={1/(n+1)!}lim_{z→π/2}(d/dz)^(n+1)(z-π/2)^(n+2)tan(z)/(z-π/2)^(n+1)
={1/(n+1)!}lim_{z→π/2}(d/dz)^(n+1){(z-π/2)tan(z)}
となります」
の計算はたまたま正しいa(n)の式が導けただけなのでしょうか?
No.4
- 回答日時:
n≦-2のとき
g(z)=tan(z)/(z-π/2)^(n+1)は(n+2)位の極とならないから間違い
a(n)={1/(2πi)}∫_{C}{g(z)}dz
の
g(z)が未定義だから間違い
a(n)=2^(-n-2)(z+1)^n
の
左辺a(n)はzに無関係な定数
右辺はzに関する変数
だから
間違い
f(z)=1/(z^2-1)
を
z=-1を中心に|z+1|>2でのローラン展開を
f(z)=Σ_{n=-∞~∞}a(n)(z+1)^n
とすると
r>2
g(z)=f(z)/(z+1)^(n+1)
a(n)={1/(2πi)}∫_{|z+1|=r}g(z)dz
f(z)=1/(z^2-1)だから
g(z)=1/{(z-1)(z+1)^(n+2)}
g(z)=(z+1)^(-n-2)/(z-1)
n≦-2のとき
0≦-n-2
だから
g(z)の|z+1|<r での特異点は1位の極z=1だけだから
留数定理から
a(n)
={1/(2πi)}∫_{|z+1|=r}g(z)dz
=Res[g(z),1]
=lim_{z→1}(z-1)g(z)
=lim_{z→1}(z-1)(z+1)^(-n-2)/(z-1)
=lim_{z→1}(z+1)^(-n-2)
=2^(-n-2)
ありがとうございます。
あの
「Res[g(z),1]
=lim_{z→1}(z-1)g(z)」
の計算の省略された過程の計算を教えて頂けないでしょうか。
どうかよろしくお願い致します。
No.3
- 回答日時:
n≦-2のとき
g(z)=tan(z)/(z-π/2)^(n+1)は(n+2)位の極とならないから間違い
a(n)={1/(2πi)}∫_{C}{g(z)}dz
の
g(z)が未定義だから間違い
a(n)=2^(-n-2)(z+1)^n
の
左辺a(n)はzに無関係な定数
右辺はzに関する変数
だから
間違い
何の関数をどこで展開するのか不明だから間違い
tan(z)はz=-1で正則だからテイラー展開となる
バカ田大学様からの解答のお礼するに書いたように、
質問したかった正しい内容は
「「tan(z)の特異点z=π/2は1位の極なので
g(z)=tan(z)/(z-π/2)^(n+1)は(n+2)位の極となります。
よって
a(n)
={1/(2πi)}∫_{C}{tan(z)/(z-π/2)^(n+1)}dz
={1/(2πi)}2πires(tan(z)/(z-π/2)^(n+1),π/2)
={1/(n+1)!}lim_{z→π/2}(d/dz)^(n+1)(z-π/2)^(n+2)tan(z)/(z-π/2)^(n+1)は
={1/(n+1)!}lim_{z→π/2}(d/dz)^(n+1){(z-π/2)tan(z)}
となります」
を参考にf(z)=1/(z^2-1)の式において、
|z+1|>2の場合かつn≦-2の時のa(n)=2^(-n-2)をa(n)={1/(2πi)}∫_{C}{g(z)}dzの式を使ってa(n)=2^(-n-2)(z+1)^nを求めるまでの過程の計算を教えて下さい。」
でこざいます。
No.2
- 回答日時:
おお! また久しぶりに出たか(笑)。
ネットでtan(z)のローラン展開
を検索すると、ここや知恵袋などで過去に君の質問が
わんさか、わんさか、わんさか
出て来るから、その中から適当なものを選べばよい。
要はローラン展開可能な関数
f(z) = ∑[n=-∞→∞]a_n(z-a)^n
の係数 a_n を求めるのに、一般的な二項級数による解法ではなく
a_n = (1/2πi)∮_C f(z)/(z-1)^(n+1)dz ……※
を使って求める方法が知りたいのだろうが、f(z)がどんな関数であれ、これを直接積分することは難しい。実関数の初等関数でも積分が困難な例はいくらでもある。というか積分できないケースがずっと多い。なぜ積分できないのかと問われれば、積分とはそういうものだとしか答えようがない。どうしても※を使いたければ留数を使えばよい。積分しなくていいのだから。
実関数 tan(x) のマクローリン展開は係数の形があまりに複雑すぎて応用上の妙に乏しい。あの偉大なニュートンさえも、tan(x) のマクローリン展開の係数を求めるは、ついにできなかった。係数を求めることが厄介さはもちろん複素関数 tan(z) のマクローリン展開、ローラン展開でも変わりない。
だから、留数を使ってローラン展開の係数 a_n を求める方法を知りたいなら、f(z) は tan(z) ではなく、もっと簡単に係数を求められる関数の方がいいんじゃないの。確かここでの君の膨大な Q&A にも f(z) = 1/(z^2-1) などについて m氏の懇切丁寧な解説があったはずだが。せっかく答えもらってるんだから、しっかり検索して、関数論の本を横において読めばいい。
ありがとうございます。
すいません、質問に記述漏れがありました。
使う式はf(z)=1/(z^2-1)です。
質問に載せた計算では
{1/(2πi)}∫_{C}{tan(z)/(z-π/2)^(n+1)}dz
={1/(2πi)}2πires(tan(z)/(z-π/2)^(n+1),π/2)
のように、複雑な積分の部分は計算しやすい形に置き換えられて、
最終的には
{1/(n+1)!}lim_{z→π/2}(d/dz)^(n+1){(z-π/2)tan(z)}
の式が導かれていますが、
同じ計算のやり方で|z+1|>2の場合かつn≦-2の時のf(z)=1/(z^2-1)からa(n)=2^(-n-2)(z+1)^nを求められないのでしょうか?
また、どうしてもa(n)={1/(2πi)}∫_{C}{g(z)}dzを使いたければ留数を使えばよいのでしょうか?
No.1
- 回答日時:
またやってる...
もう何度も、何度も、何度も、何度も、
まず a(n) の定義を書いてから計算を始めろ
って説教したはずだけど?
また今回も、例の mなんたら さんに
式だけづらづら並べた計算を書いてほしいだけなの?
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 画像のa(n)の式から 1/(n+1)! lim[z->a](d/dz)^(n+1)(z-π/2)t 23 2022/08/02 02:01
- 数学 「違います 質問11 n≦-2ではz≠π/2で g(z)=tan(z)/(z-π/2)^(n+1) 3 2022/07/16 18:12
- 数学 過去にしてきた質問に対する解答に関して質問が以下の1〜7に関して解答を頂きたく思います。 時間のある 34 2022/07/09 21:52
- 数学 res(f(z),a) =res(tan(z)/(z-π/2)^(n+1),π/2) ={1/(n+ 16 2022/07/27 10:01
- 数学 1. 「f(z)=tan(z) の 0<|z-π/2|<π でのローラン展開は f(z)=tan(z 1 2022/07/20 21:56
- 数学 画像のように導こうとしたのですが、うまくいきません。 res(tan(z)/(z-π/2)^(n+1 1 2022/07/28 08:16
- 数学 「n≦-2の時 z≠π/2の時 g(z)=tan(z)(z-π/2)^(-n-1) z=π/2の時 22 2022/07/04 22:24
- 数学 tan(z)のローラン展開である tan(z)=a(-1)/(z-π/2)+a(0)+a(1)(z- 10 2023/11/09 13:11
- 工学 画像より、 n≧-1の時、 a(n)=(1/(2πi)∮_[C]{g(z)}dzと res(g(z) 1 2023/06/09 07:53
- 数学 mtrajcp様に以前答えていただいた解答に関して、 複数の疑問がございます。 どうか、質問を連投す 3 2022/09/03 08:00
このQ&Aを見た人はこんなQ&Aも見ています
-
外出時に「待たせる妻」vs イライラする「待つ夫」は日本だけ?見習いたい海外事情
夫の家事参加に積極的なイメージのある海外でも、同様の事例はあるのか。結婚カウンセラーの佐竹悦子さんに伺ってみた。
-
2つの画像の計算は正しいでしょうか?
数学
-
過去に保存したメモに 「g(z)は|z-π/2|<πで正則だから z=π/2の時{|z-π/2|=|
数学
-
Z⊕Z/Z
数学
-
-
4
εδ論法で質問です
数学
-
5
連続であることをεδ論法で証明してください
数学
-
6
テイラー展開において疑問があります。 画像のテイラー展開はz=0の周りで展開してf(0.001)の時
数学
-
7
tan(z)のローラン展開である tan(z)=a(-1)/(z-π/2)+a(0)+a(1)(z-
数学
-
8
ピタゴラス数a,b,cのある関係
数学
-
9
対角線論法の疑問
数学
-
10
自明の証明
数学
-
11
『3ℓと5ℓで8ℓ』
数学
-
12
この議論めちゃ怪しくないですか?? F = ma 空間で微分(簡単のため一次元) ∫F=∫m dv/
数学
-
13
写真の問題の(2)の解答の赤線部の式変形がわからないです。x=を求めた後、なぜ赤線部のように変形でき
数学
-
14
これて間違ってますよね?
数学
-
15
直感力を高めるほうほうっていう、
数学
-
16
ピタゴラスの定理は辺の長さが虚数でも成り立ちますか
数学
-
17
ε-δでなければ極限値を求めることが難しい問題
数学
-
18
関数の連続性を調べる問題に関する質問です
数学
-
19
②の計算において、何が間違っているのか教えていただけないでしょうか?
数学
-
20
(f(x),g(x))= (∫[ーπ, π){f(x)・g(x)}dx)が =llall^2と置ける
数学
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
数3の複素数平面です 何で cos6...
-
sinx-cosx=√2sinx(x-π/4) と解...
-
円周率の求め方
-
【問題文】座標平面上で、x軸の...
-
mtrajcp様に以前答えていただい...
-
高2数学II
-
三角関数の合成
-
問題 「x+y=3のとき、x² + y² ...
-
はさみうちの定理を使う極限の...
-
【至急】二次関数のグラフにつ...
-
[数学] -Sinπ/2 と Sin(-π/2)...
-
75°と255°と750°を弧度法に直し...
-
0≦X<2Πの範囲でのcosXの範囲
-
三角関数
-
Aの三乗=16のとき、Aは何に...
-
cos(θ-π/2)=sinθ sin(θ-π/2)=-c...
-
大至急解答お願いします
-
0<x<π/4を満たす全てのxに対...
-
arctan√3=π/3,4π/3ですか?
-
位相差を時間に
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
a(n)=1/(n+1)! lim[z->π/2](d/d...
-
こちらの式はtan(z)のローラン...
-
位相差を時間に
-
2024.4.7 03:42の質問に対する2...
-
この変形の何が違うのかわから...
-
sinx-cosx=√2sinx(x-π/4) と解...
-
タンジェントのマイナス1乗に...
-
cos(θ-π/2)=sinθ sin(θ-π/2)=-c...
-
円周率の求め方
-
0≦θ<2πにおいてのtanθ≦√3をみ...
-
数IIの問題です!
-
問題 「x+y=3のとき、x² + y² ...
-
sin 5/12π, cos 5/12π, tan 5/1...
-
三角関数の合成
-
三角関数の不等式
-
75°と255°と750°を弧度法に直し...
-
0≦x<2πのときのsin{x+(π/3)}=1/...
-
t^1/2のラプラス変換の像関数を...
-
cos(-π/3)とsin(-π/3)の値
-
アーク計算
おすすめ情報
補足の画像。
「ローラン展開は領域を固定すればただ一通りですから、定義通りにコーシーの積分定理から導出する必要はありません。等比級数の和公式でOKです。
最もローラン展開公式は、コーシーの積分公式の核関数 1/(ζ-z) を等比級数公式で展開して得られるので、本質的には同じ方法ですが。」
と言われたのですが、
どう言う事でしょうか?
どうかわかりやすく教えて下さい。
度々申し訳ありません。
「最もローラン展開公式は、コーシーの積分公式の核関数 1/(ζ-z) を等比級数公式で展開して得られるので、本質的には同じ方法ですが。」
の部分は何を言いたいのでしょうか?
どうかもう少し噛み砕いて教えて下さい。
どうかよろしくお願い致します。
質問の「|z+1|>2の場合かつn≦-2の時のa(n)=2^(-n-2)をa(n)={1/(2πi)}∫_{C}{g(z)}dzの式を使ってa(n)=2^(-n-2)(z+1)^nを求めるまでの過程の計算を教えて下さい。」
に関しては、2023.12.24 16:49の解答の
「f(z)=1/(z^2-1)
を...」を読めば良いとわかりました。
2023.12.24 16:06の解答の最後に書いてある
「tan(z)はz=-1で正則だからテイラー展開となる」
は正しくは「f(z)=1/(z^2-1)は|z+1|>2の場合かつn≦-2の時のz=-1で正則だからテイラー展開となる」でしょうか?
どうかよろしくお願い致します。
仮に正しくは「f(z)=1/(z^2-1)は|z+1|>2の場合かつn≦-2の時のz=-1で正則だからテイラー展開となる」と書きたかったならば、好奇心でお聞きするのですが、
f(z)=1/(z^2-1)に関して、
|z+1|>2の場合かつn≦-2の時のz=-1で正則となりローラン展開出来ないが、テイラー展開できるとの事ですが、f(z)=1/(z^2-1)に関して、|z+1|>2の場合かつn≦-2の時のz=-1の時にテイラー展開を導くまでを教えて頂けないでしょうか?
どうかよろしくお願い致します。
2つの画像の計算は正しいでしょうか?
どうか補足の質問に答えて頂けるとありがたいです。
どうかよろしくお願い致します。