ガンマ関数からスターリングの公式

ガンマ関数からスターリングの公式

えり さんの書込 (2009/04/15(Wed) 15:19)

ご無沙汰しております. ガンマ関数からスターリングの公式を導く問題(ですが本題に行く前につまづいています)なのですが,変数変換がうまくいきません.

z!=\Gamma(z+1)=\int_{0}^{\infty}t^{z}e^{-t}dt の右辺の積分で, t=z(1+u) とおくと,

\int_{0}^{\infty}t^{z}e^{-t}dt=\int_{-1}^{\infty}{z(1+u)}^{z}e^{-z(1+u)}zdu &=z^{z+1}e^{-z}\int_{-1}^{\infty}e^{-z(u-\ln{u})}du

となってしまいました.本当は右辺が,変数変換をすると z^{z+1}e^{-z}\int_{0}^{\infty}e^{-z(t-1-\ln{t})}dt となるようなのですが,こうなりません.そもそも積分範囲も違うし,eの肩の上もぴったり合いません. 何故でしょうか..やはりuの置き方が悪かったのでしょうか,それとももう一段階踏むのでしょうか.教えてください.よろしくお願いします.

Re: ガンマ関数からスターリングの公式

えり さんのレス (2009/04/16(Thu) 15:34)

掲示板はどちらかというと数学寄りの方がいいのでしょうか? 科目は統計力学(まだ準備段階ですが…)なのですが(汗)

Re: ガンマ関数からスターリングの公式

toorisugari no Hiro さんのレス (2009/04/16(Thu) 18:29)

ここでかまわないですが,簡単に答えられそうには見えません. 問題および答えを正確に記述してくれますか?

Re: ガンマ関数からスターリングの公式

yama さんのレス (2009/04/17(Fri) 14:43)

変数の置き換え方が違うのではないでしょうか. t=zu と置くと

\int_0^{\infty}t^ze^{-t}dt=z^{z+1}e^{-z}\int_0^{\infty}e^{-z(u-1-\ln u)}du

になると思います.

Re: ガンマ関数からスターリングの公式

えり さんのレス (2009/04/17(Fri) 21:33)

本当ですね!!なりますね.. e^{-z} を出すために e^{+z} を足すということに頭が回りませんでした… どうもありがとうございました.