『
ベルヌーイ数B_i(i=1,2,...)は次式で定義される
(1 + z/2! + z^2/3! + z^3/4! + ...)^(-1) = 1 + B_1z + B_2z^2/2! + B_3z^3/3! +...
ここで、zは複素数である。このとき、以下の問いに答えよ。
(1)B_1とB_2を求めよ。
(2)上式の左辺は次のように書きかえられる事を示せ。
(1 + z/2! + z^2/3! + z^3/4! +...)^1 = z/(e^z - 1)
(3)次のような関係式が成り立つ事を示せ。
z cot z = iz + 1 + B_1(2iz) + B_2(2iz)^2/2! + ...
(4)z/(e^z - 1) + z/2はzに関する偶関数である事を示せ。さらに、この結果を利用して、
B_2k+1 = 0, k = 1,2,...
を示せ。
』
という問題です。
(1)については自分なりに考えてみました。
a_n = 1/(n+1)!, b_n = B_n/n! (n≧0)、但しb_0=1
と置くと
(lim(n→∞)Σ(k=0~n)a_k z^k)^(-1) = lim(n→∞)Σ(j=0~n)b_j z^j だから
lim(n→∞)Σ(k=0~n)Σ(j=0~n)a_k b_j z^(j+k)) = 1 ←こうしちゃっていいのか自信が無いのですが。。。
これが恒等式となるためには左辺のzの1次以上の項の係数が0である必要がある。よって
B_1についてはk+j=1の係数を見て
a_1b_0 + a_0b_1 = 1/2! + B_1 = 0 ∴B_1 = -1/2
B_2についてはk+j=2の係数を見て
a_2b_0 + 2a_1b_1 + a_0b_2 = 1/3! + 2*1/2!*B_1 + B_2/2! = 0 ∴B_2 = 4/3
と考えたのですがこれで正しいのでしょうか?
(2)以降については手の付け所が分からないのでさっぱりです。
よろしくお願いします。
No.7ベストアンサー
- 回答日時:
(1) f(z)=1 + z/2! + z^2/3! + z^3/4! + ...
とすると
(2) 1/f(z)=1 + B_1z + B_2z^2/2! + B_3z^3/3! +...
と定義されてる訳ですね。で、両辺を微分すると
(3) d(1/f(z))/dz= B_1 + B_2z/1! + B_3z^2/2! +...
という等式が成り立つ。(3)の左辺は
(4) d(1/f(z))/dz= -f'(z)/(f(z)^2)
ここに
(5) f'(z)=df/dz = 1/2! + 2z/3! + 3z^2/4! + ...
ですね。また
(6) q(z)=(1/2! + z/3! + z^2/4! + ...)
とおくと
(7) f(z)=1+z q(z)
と書けますから
(8) f(z)^2=(1+z q(z))^2=1+2zq(z)+(zq(z))^2
従って、(4)に(5)と(8)を代入すると
(9) d(1/f(z))/dz=-(1/2! + 2z/3! + 3z/4! + ...)/[1+2zq(z)+(zq(z))^2]
これが左辺です。改めて(3)を書き直すと
(10) -(1/2! + 2z/3! + 3z/4! + ...)/[1+2zq(z)+(zq(z))^2]=B_1 + B_2z/1! + B_3z^2/2! +...
ここでz=0を代入してやりますとzの入っている項はみんな消えちゃうので、
(11) -(1/2!)/[1]=B_1
ゆえに
(12) B_1=-1/2
となります。
同様に、(3)をもう一回微分すると
(13) (d/dz)[d(1/f(z))/dz]= B_2 + B_3z/1! +...
ですから、具体的に左辺を求めて、両辺にz=0を代入してやれば B_2が出てくる訳です。どうせ消えちゃうzの高次の項は"..."と書いとけば十分ですが、まじめにやりたければ(6),(7)式のようにして扱えば良いのです。
(14) (d/dz)[d(1/f(z))/dz]= -d(f'(z)/(f(z)^2))/dz = [2(f'(z)^2)-f(z)f''(z)]/(f(z)^3)
ここに
(15) f''(z)=2/3! + 6z/4! + ...=1/3+z/4+..
ですから
(16) (d/dz)[d(1/f(z))/dz]=[2(1/2!+ 2z/3!...)^2-(1 + z/2! +..)(1/3+z/4+..)]/(1+z q(z))^3
z=0にすれば
(17) [1/2-1/3]=1/6
となります。ですから
B_2=1/6
が得られました。
計算間違いはいつもの事ですからチェック宜しく。
そのまんま微分してやればと言うのは、母関数を経由しないで最初の定義をそのまんまという事だったんですね。
詳しく書いていただけたおかげで良く分かりました。
1点だけ。
> (6) q(z)=(1/2! + z/3! + z^2/4! + ...)
とおいた所はおかなくても
d/dx 1/f(z) = -f'(z)/f(z)^2 = B1 + 2B2 z/2! + 3B3 z^2/3! + ...
なので
> (5) f'(z)=df/dz = 1/2! + 2z/3! + 3z^2/4! + ...
より両辺にz=0を入れれば
B1= -f'(0)/f(0)^2 = -1/2
と出来て手間が少ないと思うのですが。
あとはとても分かり易く丁寧に説明して頂けて本当に助かりました。
> 計算間違いはいつもの事ですからチェック宜しく。
チェックOKでしたよ。
ありがとうございました。
No.6
- 回答日時:
ホントだ。
z/(e^z - 1) の一階微分でz=0にしたら0/0になっちゃいますね。失礼失礼。この場合、定義の式の左辺をそのまんま微分してやれば宜しいでしょう。
d(1/f(z))/dz= -f'(z)/(f(z)^2)
においてz=0にすれば-1/2という答が得られます。
一般に、収束性については、様子が見えてくるまでは後回しにするのが良さそうですね。
この回答への補足
物分りが悪くてすみません。3点分かりません。
1点目、
d(1/f(z))/dz= -f'(z)/(f(z)^2)
=(e^z - 1 -ze^z)/(e^z - 1)^2
となったのですが、ここでもz=0を代入すると0/0となります。
色々式変形を試してみたのですがlim(z→0)f(z) = 1の時のように上手く行きません。
-1/2が出てくるまでの過程を教えてください。
2点目、
d(1/f(z))/dzが分かると何が分かるのですか?
d(1/f(z))/dz = 1/(d(f(z))/dz)が成り立つって訳でもないですよね。
どうB1に結びつくのか教えてください。
3点目、
B2についてはどうやるんですか?
d(1/f'(x))/dz = -f''(z)/(f'(z)^2)
とかを使うのですか?(これは上の2点が分かれば分かるのかな?)
何分物分りが悪いもので、出来れば出来るだけ詳しく、途中の式の変遷なども省略せずに
ご教授頂けると助かります。
お手数をおかけしますがよろしくお願いします。
No.5
- 回答日時:
shushou です。
zを実数として考えるなら訂正することはないのですが、
設問にzは複素数とあるので
z/(e^z-1) は実数関数ではなく複素関数とみるのが自然ですね。
そうすると問題が起こってきます。
すべてのzで収束する、と書きましたが
e^z-1=0 をみたすzはz=0だけでなく
ほかにも z=±2nπ (n=1,2,3,...)
と無限個あります。
z=0ではz/(e^z-1) は収束しますが
z=±2nπ (n=1,2,3,...)ではz/(e^z-1) は収束しません。
だから|z|<2π の範囲で考えると都合がよいのです。
設問に|z|<2π が明記されていないのはちょっと不親切ですね。
複素関数論の勉強がまだでしたら、今はそんなに気にする必要は
ないと思いますよ。
この回答への補足
zの収束の話しに納得して肝心のテイラー展開の事を忘れていました。
> テイラー展開すると考えるとよいと思います。
というのはB1, B2を求める時に使えると言う事ですよね?
だとすると下のほうでstomachmanさんがおっしゃってる
> 1階微分してz=0を代入すれば
と同じ事だと思うのですが、stomachmanへの回答に対する補足でも言いましたように、
単純に1階微分してz=0を代入すると0/0になっちゃうんです。
f(z) = z/(e^z - 1)
として、z→0でf(x)→1なのでf(0)=1と定義する事が出来るのと同じように
f'(z) = (e^z - 1 - ze^z)/(e^z - 1)^2
も、上手く変数を変換する事でf'(x)→-1/2
とする事が出来るのでしょうか?出来たとしてその極限値をB1だと言い切っちゃっていいものでしょうか?
同じ事をf''(x)に対してもやるのかと思うと気が遠くなってしまうのですが。
なるほど、そう言う事でしたか。
そうか、『複素関数論』ってのもやんなきゃなんだな。それが分かった事も大収穫です。
ありがとうございました。
No.4
- 回答日時:
すみません。
下の回答訂正します。z/(e^z-1)を|z|<2π においてテイラー展開すると考えると
よいと思います。
この回答への補足
え!?何が訂正ポイントなんですか?
下の説明で納得してしまったので気になってしまいます。
それと、テイラー展開はまだ勉強中で良く分かっていないのでもう少し詳しく教えていただけると助かります。
つまり何故|z|<2π なのか、それをする事で何が分かるのか、その辺りを。
お手数をおかけしますがよろしくお願いします。
No.3
- 回答日時:
(1)はtaropoo さんのやり方であっていますよ。
収束うんぬんですが、設問に
ベルヌーイ数B_i(i=1,2,...)は次式で定義される
とあるので、収束とかはとりあえず不問にして、
定義されるとすればB_iはいくつになるのか、を
考えればよいのです。
(2)ですべてのzで収束することが明かされるので
taropoo さんの心配は杞憂ですね。
また(2)を見れば
>Σ(k=0~n)a_k z^k→0
となるようなz(<∞)は存在しないことが分かりますね。
> 2)ですべてのzで収束することが明かされるので
> taropoo さんの心配は杞憂ですね。
これには納得です。
やはり順番としては(2)を先に解いて、全てのz(<∞)について収束する事を示して(1)に取りかかるのが気持ちが良さそうですね。
No.2
- 回答日時:
ベルヌーイ数については過去にも質問があります。
検索してみてください。(1) はおいといて、
(2)はごりごりと言うほどのものでもないでしょう。左辺をf(z) としましょう。
e^z = 1 + z/1! + z^2/2! + z^3/3! + ...
は分かりますよね。するてえと、
(e^z)/z=1/z + 1+ z/2! + z^2/3! + ...
です。つまり
(e^z-1)/z=1+ z/2! + z^2/3! + ...
左辺はその逆数ですから、
f(z) = z/(e^z-1)
こういうのを母関数(bokansuu)と呼びます。1階微分してz=0を代入すればB_1, 一般にN階微分してz=0にすればB_Nが得られます。これで(1)が解決。
(3)右辺をg(z)とします。
f(z) =(1 + B_1z + B_2z^2/2! + B_3z^3/3! +... )
を使ってg(z)を表すと
g(z)=f(2iz)+iz
です。(2)を使って
g(z)=iz(2/(e^(2iz)-1)+1)=iz(e^(2iz)+1))/(e^(2iz)-1)
さてと、
e^(2iz) = (e^(iz))^2 = (cos z + i sin z)^2
1=(cos z)^2 + (sin z)^2
ですから、
e^(2iz)+1=2(cos z)(cos z+ isin z)
e^(2iz)-1=(-i)2(sin z)(cos z+ isin z)
を使って... あとはできますよね。
(4) ここまで手駒が揃っていれば、「z/(e^z - 1) + z/2はzに関する偶関数」というのはご自分で頑張って貰いましょう。
f(z) +z/2=1 + (B_1+1/2)z + B_2z^2/2! + B_3z^3/3! +...
がzに関する偶関数だから、zの奇数乗の項は全部係数が0で無くてはならない。
この回答への補足
> 1階微分してz=0を代入すればB_1
1階微分してz=0を代入すると0/0になりますよ。
計算ミスは置いておいて僕の解法は正しいんでしょうか?
(lim(n→∞)Σ(k=0~n)a_k z^k)^(-1) = lim(n→∞)Σ(j=0~n)b_j z^j …(a)
だから
lim(n→∞)Σ(k=0~n)Σ(j=0~n)a_k b_j z^(j+k)) = 1 …(b)
としちゃってますが、例えば
Σ(k=0~n)a_k z^k→0, Σ(j=0~n)b_j z^j→+∞ (n→∞)
だとすると式(a)は成り立っても必ずしも式(b)が成り立つとは限りませんよね?
(a)が成立している時点で任意のzについて式(a)は収束すると捉えていいのでしょうか?
他の点に関しては全てクリアになりました。残すは(1)のみです。
設問がベルヌーイ数の知識を要求していないので、あくまで設問内での定義でお願いします。
(過去のログは拝見させていただきました。)
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・人生のプチ美学を教えてください!!
- ・10秒目をつむったら…
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・【大喜利】【投稿~9/18】 おとぎ話『桃太郎』の知られざるエピソード
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
SQL文のwhere条件文で使う <> ...
-
1/∞=0は、なぜ?
-
記号(イコールの上に三角形)...
-
Xの二乗-X+1=0 という2次方程式...
-
数学B 数列
-
数学で、項を指すとき、例えば2...
-
質問です。 a+b+c=0のとき、...
-
x/(x+1) = 1 - 1/(x+1)
-
数学における 等価と同値って同...
-
3/1 : 4/1: 5/1= 4/1:A:B の計...
-
2009年京都大学(文系)の入試...
-
VBAでセルの右下をいちばん下ま...
-
組み合わせの公式
-
√0.25=±0.5である。 これはなぜ...
-
連続する2つの正の整数がある...
-
因数分解について
-
(2)でなぜ恒等式的な考え方がで...
-
四則の証明
-
数字の問題で √(1/x)二乗+1の時...
-
解析学の教科書の記述でわから...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
1/∞=0は、なぜ?
-
SQL文のwhere条件文で使う <> ...
-
毎日毎日暑すぎて平方完成する...
-
数学で、項を指すとき、例えば2...
-
Xの二乗-X+1=0 という2次方程式...
-
√2が無理数であることの証明で...
-
1/7=1/m+1/nを満たすmとnの求め方
-
方程式
-
極限でわからないところがあり...
-
どうやってこうなりましたか?
-
記号(イコールの上に三角形)...
-
等式記号に似た三本線
-
質問です。 a+b+c=0のとき、...
-
複素共役の計算、途中式
-
入門問題精巧・第1章・P47.練習...
-
組み合わせの公式
-
中一 比例式の計算の時 少数だ...
-
x/(x+1) = 1 - 1/(x+1)
-
数学における 等価と同値って同...
-
数3の問題です 写真の問題の(...
おすすめ情報