過去に保存したメモに
「g(z)は|z-π/2|<πで正則だから
z=π/2の時{|z-π/2|=|π/2-π/2|=0<π}だからg(z)は正則」...①
(※g(z)=f(z)/(z-a)^(n+1))
とあったのですが、
f(z)=tan(z)のローラン展開は導けないのでしょうか?
以前に何回もf(z)=tan(z)のa(n)の式を求めましたが、正則だとしたらa(n)=0となってしまいます。
正則でa(n)=0ならば画像のようにf(z)=tan(z)のローラン展開も出来ないと思いますし、①が間違っているという事でしょうか?
どうかよろしくお願い致します。
A 回答 (3件)
- 最新から表示
- 回答順に表示
No.3
- 回答日時:
> f(z)=tan(z)のローラン展開は導けないのでしょうか?
1/(z^2-1) が z = 1 で1位の極を持てば
1/(z^2-1) = b_1/(z-1) + ∑[n=0→∞]c_n(z-1)^n (b_1≠0)
のようにローラン展開されるはずだから、両辺に z-1 をかければ、左辺はうまい具合に約分され
(z-1)/(z^2-1) = 1/(z+1)
となるので
1/(z+1) = b_1 + ∑[n=0→∞]c_n (z-1)^(n+1) ……(*)
g(z) = 1/(z+1)
とおけば g(z) は z = 1 で正則なので(*)に代入すると
g(1) = 1/2 = b_1
したがって 1/(z^2-1) は z = 1 でローラン展開できる。
しかし、tan(z) が z = π/2 で1位の極を持つと仮定したときは、上の場合とは事情が異なる。
tan(z) = b_1/(z-π/2) + ∑[n=0→∞]c_n (z-1)^n (b_1≠0)
のようにローラン展開できると仮定して、両辺に z-π/2 をかければ
(z-π/2)tan(z) = b_1 + ∑[n=0→∞]c_n (z-1)^(n+1) ……(**)
であるが、左辺の g(z) = (z-π/2)tan(z) は決して z = π/2 で正則ではない。したがって g(π/2) で b_1 を求めることはできない。あたりまえだ。しかし
lim[z→π/2])g(z)
とすれば、それが -1 という有限確定値を持つから b_1 = -1 となってtan(z)が z = π/2 で1位の極を持つ。
つまりtan(z) は z = π/2 でローラン展開できる。
lim[z→π/2])g(z) の計算過程を丁寧に述べたのが
https://oshiete.goo.ne.jp/qa/13698579.html
のNo5の回答の冒頭である。
No.2
- 回答日時:
質問文の後半については、例によって毎度の如く
a(n) を定義せずに話をしているので、話題がつかみにくい。
tan(z) の z=π/2 を中心としたローラン展開が
tan(z) = Σ[n=-∞→+∞] a(n) (z-π/2)^n ←[*]
ということで良いのだろうか? だとすれば...
g(z) が z=π/2 の近傍で正則になるのは
No.1 にも書いたとおり a=π/2, n≦-2 のときだから、
テイラー展開を用いて a(n)=0 が求まったということは
[*]の式で n≦-2 の範囲では a(n)=0
であることと対応している。
n>-2 の範囲については、g(z) が z=π/2 で正則でないから
君の方法で a(n)=0 を導くことはできない。 ...ということは、
[*]の式で n>-2 の範囲では 0 でない a(n) があり得るということだ。
具体的に、No.1 に書いた tan(z) のローラン展開がそれである。
わざわざありがとうございます。
>> n>-2 の範囲については、g(z) が z=π/2 で正則でないから
君の方法で a(n)=0 を導くことはできない。 ...ということは、
[*]の式で n>-2 の範囲では 0 でない a(n) があり得るということだ。
具体的に、No.1 に書いた tan(z) のローラン展開がそれである。
n>-2(n≧-1)の時はg(z)=tan(z)/(z-π/2)^(n+1)に関しては、試しにn=0の時、g(z)=tan(z)/(z-π/2)となりz=π/2を代入すると分母が0になるためz=π/2の時に(発散して)極になる事がわかったため、正則ではないため(微分できないため)、(ローラン展開は特異点となる周りの点を利用して作られた公式であるため、z→π/2として)a(n)の式が作れます。
a(n)の式が作れた時はn≧-1(かつz=π/2(z→π/2))の時だとわかりました。
質問の①はn≦-2の時の話だとわかりました。
n≦-2の時はg(z)=tan(z)/(z-π/2)^(n+1)に関しては、試しにn=-2の時、g(z)=tan(z)(z-π/2)となりz=π/2を代入すると分母が0にならないため極になりません。
すなわち、正則なので(微分できるので)、コーシーの積分定理によりa(n)=0となります。
あの、n≧-1の時に関して質問なのですが、
n=-1の時はg(z)=tan(z)/(z-π/2)^(n+1)に関しては、g(z)=tan(z)/(z-π/2)^(-1+1)からg(z)=tan(z)となり、z=π/2を代入するとg(z)=tan(z)は(発散して)極になる事がわかったため、正則ではないため(微分できないため)、(ローラン展開は特異点となる周りの点を利用して作られた公式であるため、z→π/2として)a(n)の式が作れたわけでしょうか?
No.1
- 回答日時:
写真は、切り抜きで全体の話題が判らないが、
何を近似する話のようではある。
質問は、tan(z) の z=π/2 を中心とした
ローラン展開についてでいいのだね?
かなり以前から連作で投稿しているようだが、
毎度、回答がつくと補足で質問を変えてしまう
ところが気になっていたので、確認してみた。
今回の質問については、
a=π/2, n≦-2 のとき g(z) が z=π/2 の近傍で正則
だからこそ、f(z) のローラン展開が容易になる...に尽きる。
一般には、ローラン展開の係数を具体的に求めるのは
困難であることが多いが、展開中心とする特異点が極
である場合は、比較的簡単に計算できる。
g(z) を持ち出すと話がゴチャゴチャしてしまうが...
tan(z) の z=π/2 を中心としたローラン展開では
(z-π/2) tan(z) が z=π/2 で正則であるために
テイラー展開 (z-π/2) tan(z) = Σ[k=0→∞] (c_k)(z-π/2)^k
を求めることができ、両辺を (z-π/2) で割れば
tan(z) のローラン展開 tan(z) = Σ[k=0→∞] (c_k)(z-π/2)^(k-1)
が得られる。
テイラー展開を経由する計算でローラン展開が求められた
理由は、z=π/2 が tan(z) の極(ここでは1位の)であったこと。
中心が極のとき、ローラン展開の負冪の項は有限個なので、
展開したい関数に適当な (z-中心)^(自然数) を掛ければ
正則な関数が得られて、それがテイラー展開できる。
上記でやってみせたとおりだ。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 工学 f(z)=tan(z) の 0<|z-π/2|<π での ローラン展開 f(z)=Σ_{n=-∞~∞ 4 2022/07/11 03:53
- 数学 「n≦-2の時 z≠π/2の時 g(z)=tan(z)(z-π/2)^(-n-1) z=π/2の時 22 2022/07/04 22:24
- 数学 tan(z)を=/2を中心にローラン展開する上で、 z=π/2+0.001として、 tan(z)をロ 7 2023/03/03 06:24
- 数学 過去にしてきた質問に対する解答に関して質問が以下の1〜7に関して解答を頂きたく思います。 時間のある 34 2022/07/09 21:52
- 数学 tan(z)をローラン展開して tan(z)=-1/(z-π/2)+(1/3)(z-π/2)+… と 14 2023/01/17 10:33
- 数学 tan(z)のローラン展開は tan(z)=-1/(z-π/2)+a(2) (z-π/2)^2+・・ 5 2023/06/02 20:51
- 数学 「違います 質問11 n≦-2ではz≠π/2で g(z)=tan(z)/(z-π/2)^(n+1) 3 2022/07/16 18:12
- 数学 θ=π/2 のまわりでの f(θ)=sinθ/cosθのローラン展開に関して 以外の「」の解答を頂き 13 2022/11/11 09:45
- 数学 1. 「f(z)=tan(z) の 0<|z-π/2|<π でのローラン展開は f(z)=tan(z 1 2022/07/20 21:56
- 数学 tan(z)のローラン展開である tan(z)=a(-1)/(z-π/2)+a(0)+a(1)(z- 10 2023/11/09 13:11
このQ&Aを見た人はこんなQ&Aも見ています
-
「環境が人を育てる」って本当?環境によって人格や生き方は本当に変わるのか
環境が人生に与える影響は実際どれほどのものなのか、専門家の田宮由美さんに伺った。
-
2つの画像の計算は正しいでしょうか?
数学
-
『3ℓと5ℓで8ℓ』
数学
-
「tan(z)の特異点z=π/2は1位の極なので g(z)=tan(z)/(z-π/2)^(n+1)
数学
-
-
4
写真の問題の(2)の解答の赤線部の式変形がわからないです。x=を求めた後、なぜ赤線部のように変形でき
数学
-
5
これて間違ってますよね?
数学
-
6
ピタゴラスの定理は辺の長さが虚数でも成り立ちますか
数学
-
7
Z⊕Z/Z
数学
-
8
連続であることをεδ論法で証明してください
数学
-
9
この議論めちゃ怪しくないですか?? F = ma 空間で微分(簡単のため一次元) ∫F=∫m dv/
数学
-
10
相関係数の問題についてなんですが、桁が大き過ぎます。この問題は実際に筆算などで計算して答えを出すので
数学
-
11
なんで 1/3=0.33333 なのに0.3333×0.3333であるはずの 1/9は0.11111
数学
-
12
自明の証明
数学
-
13
線形せい。和とスカラーで閉じてるのが ax+byが入ってる で表せるのはなんでですか?
数学
-
14
ちょっと複雑な質問でごめんなさい。
数学
-
15
これは0になりますか? 1 3 - × - 2 0 分数です。
数学
-
16
関数の連続性を調べる問題に関する質問です
数学
-
17
関数の連続性を調べる問題で質問があります
数学
-
18
2x^3+x^2-9を有理数の範囲内で因数分解しろという問題で、これは(2x-3)を因数に持つという
数学
-
19
外積の記号について 外積の記号には一般に「×」が使われると思います。 1部の書籍やwebサイトなどで
数学
-
20
数Bの問題
数学
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
位相差を時間に
-
問題 「x+y=3のとき、x² + y² ...
-
sinx-cosx=√2sinx(x-π/4) と解...
-
電験 ベクトル合成
-
三角関数の不等式
-
マクローリン展開について
-
t^1/2のラプラス変換の像関数を...
-
三角関数の計算
-
cos(θ-π/2)=sinθ sin(θ-π/2)=-c...
-
方程式・不等式
-
cos(-π/3)とsin(-π/3)の値
-
(1) y=x-cosx(0<x<π) (2) y=-x^...
-
三角関数
-
三角関数の問題なのですが、 0≦...
-
タンジェントのマイナス1乗に...
-
三角関数 y=sin(θーπ/2) の周...
-
arccos(sin1)がπ/2-1になるら...
-
添付の三角関数の合成について...
-
tan(z)=h(z)/(z-π/2)から h(z)=...
-
0≦θ≦4/3π が −√3/2≦θ≦1 となる...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
sinx-cosx=√2sinx(x-π/4) と解...
-
位相差を時間に
-
cos(θ-π/2)=sinθ sin(θ-π/2)=-c...
-
円周率の求め方
-
0≦θ<2πにおいてのtanθ≦√3をみ...
-
問題 「x+y=3のとき、x² + y² ...
-
関数f(x)=[sinx]のグラフ
-
数3の複素数平面です 何で cos6...
-
cos(-π/3)とsin(-π/3)の値
-
三角関数の合成の方程式
-
Lim x → +0
-
三角関数の不等式
-
タンジェントのマイナス1乗に...
-
数IIの問題です!
-
t^1/2のラプラス変換の像関数を...
-
三角関数の合成
-
0≦x<2πのときのsin{x+(π/3)}=1/...
-
【数3 三角関数と極限】 なぜ青...
-
0≦X<2Πの範囲でのcosXの範囲
-
sin 5/12π, cos 5/12π, tan 5/1...
おすすめ情報
2024.1.4 13:24に頂いた解答の「質問者さんからのお礼」に書いた質問に関してはn≧-1の時に関してn=-1の時はg(z)の式は正則では無い為a(n)の式が作れるとわかりました。