- 締切済み
スターリングの公式の証明
- みんなの回答 (1)
- 専門家の回答
みんなの回答
- gef00675
- ベストアンサー率56% (57/100)
回答がつかないようなので、参考までに。 積分変数をu=t/xに置き換えると f(x)/x = 1/x ∫exp[-t]{(t/x)+1}^x dt =∫exp[-xu]{u+1}^x du【積分範囲は0≦u<∞】。 x→∞とすると、被積分関数は0に収束するので、もし、 lim f(x)/x = lim∫exp[-xu]{u+1}^x du =∫lim exp[-xu]{u+1}^x du とすることができたなら、証明が終わります。limと∫の順序が交換できることを示すところがポイントになると思います。 手元の本を見たら、ディニの定理を使っていました。 「関数の列g_n(u)が、有界閉集合上の、 (1) 各点において、nと共に単調減少して、 (2) ある関数g(u)に収束し、(この場合、g(u)=0) (3) g(u)が連続関数であれば、 g_n(u)の収束は、一様収束である。」 (1),(2),(3)を確かめることは容易なので、あとは、ディニの定理からexp[-xu]{u+1}^xが0に一様収束することを利用して、この広義積分においてlim∫=∫limとできることを示せばよいようです。
関連するQ&A
- スターリングの公式の証明
n→∞の極限を考えてます。 ①(n^n)÷(n!exp[n])→0を示せ。 ②(n^(n+1))÷(n!exp[n])→∞を示せ。 ③0<a<1とする。(n^(n+a))÷(n!exp[n])が一つの正の数に収束するとき、aは0.5以外に有り得ない事を示せ。 以上 回答よろしくお願いします。
- 締切済み
- 数学・算数
- 遅延を含むステップ関数のラプラス変換
ステップ関数 u(t) = 1 (t >= 0) , 0 (t < 0) について、 f(t) = (t - T) * u(t - T) (Tは定数)のラプラス変換を解きたいのですが、ご教授お願いします。 x:=t - Tとおくと dx = dt, t = x + T, 積分範囲は[-T→∞]となり F(s) = ∫[0→∞] (t-T) * u(t-T) * exp(-st)dt = exp(-sT)∫[-T→∞] x * u(x) * exp(-sx)dx となるところまでは分かるのですが、Tの符号がわからないため少し困っています。 (i) T > 0 の場合、ステップ関数で x < 0の部分が削られて積分範囲が[0→∞]となり、1次関数とステップ関数の積のラプラス変換からすぐに分かりますが、 (ii) T < 0の場合は[|T|→∞]の積分範囲で計算しなければならなくなってしまいます。 場合分けして手なりでコツコツ計算して答えは出ましたが、それでいいのでしょうか。 それともこういう問題では暗黙的にT>0とみなすものなのでしょうか よろしくおねがいします。
- ベストアンサー
- 数学・算数
- スターリングの公式の証明
1番はできたと思うのですが自信がないです。 1. 関数 g(x)=(1+1/x)+log(1+1/x) に対して、不等式、 0<g(x)<(1/12x)-(1/12(x+1)) を示せ。 2. 関数u(x)を u(x)=Σ(n=0、∞)g(x+n) によって定義する。このとき、u(x)が収束することを示し、このu(x)を使って定義した関数 f(x)=x^x-1/2*e^-x*e^u(x) が関係式f(x+1)=x*f(x)を満たすことを証明せよ。 3. 上で証明したf(x)がx>0で凸であることを示せ。 2番以降はまったく手が出ません。どなたかお願いします!
- ベストアンサー
- 数学・算数
- 【急いでいます】 不等式の証明(はさみうちの原理?)
a = | μ2 - μ1 |/(2σ) とする。 次の不等式を用いて、| μ2 - μ1 |/σ が無限大になると Pe がゼロになることを示せ。 Pe = 1/√(2π) * ∫ [a~∞] ( exp((-t^2)/2) ) dt ≦ 1/(√(2π)*a) * exp(-a^2/2) 注: [a~∞] は積分範囲です。 ---------- 数式がゴチャゴチャしていて申し訳ないです。 結局これは、左辺は exp の積分ですので、常にゼロ以上と考えて 0 ≦ 左辺 ≦ 右辺 と考えて 右辺は lim(a→∞) において0になるのではさみうちの原理?より左辺もゼロ というやり方であっているのでしょうか? なんとなく数学の解答としてイマイチな気がするので 厳密な解き方などがあれば教えていただきたいです。 よろしくおねがいします。
- ベストアンサー
- 数学・算数
- 解析の問題です。早めの回答希望です。
解析の問題です。 f(x)は[0,∞)上の有界なルベーグ可測関数とする。(0,∞)の関数を F(t)=∫exp(-xt)・f(x)dx (積分範囲は太字のRとする) と定義するとき次を示せ。 (1)勝手なr>0をとるとs∈[r,0)でF(t)は連続であることを示せ。従って、F(t)は(0,∞)において連続であることを示せ。 (2)勝手なr>0をとるとF(t)は[r,∞)において無限回微分可能であり {F(t)をtでm回微分したもの}=∫{(-x)^m}{exp(-xt)}f(x)dx (積分範囲は0から∞) が成り立つことを示せ。
- 締切済み
- 数学・算数
- ガウス積分公式の証明についてです!
ガウス積分公式の証明で、 ∫dx exp(-ax^2)=(π/a)^1/2 までは分かるのですが、 多次元の場合の ∫・・・∫dx1・・・dxn exp(-Σxi Aij xj) =(π^n/2)/(detA)^1/2 (積分範囲は-∞~∞、和の範囲はij~nです。) の証明が、どのようにすれば良いのかどうしても分かりません!教科書などもかなり調べたのですが、基本的すぎるのか探し方が悪いのか、どうやっても分かりませんでした。明日までに解かなければならず、最後の頼みの綱としてここに書かせて頂きます!分かるという方いらっしゃいましたら、どうか教えてやって下さい!お願いします!
- 締切済み
- 数学・算数
- 定理の証明
テイラーの定理・展開で躓いた部分あります。力不足かな・・・先に進めないので質問させてください。 【テイラーの定理の証明】 f(xは、n≧0、[a,b]でn+1階微分可能で、x,x0∈[a,b]とする) f(x)=Pn(x)+Rn+1(X)…(1) Pn(x)=f(x0)+[(x-x0)/1!]f'(x0)+…+[(x-x0)^n/n!]f^(n)(x0)…(2) ↑ n階微分 Rn+1(x)=(1/n!)∫(x-t)^n f^(n+1)(t) dt (積分範囲は、x0からx)…(3) ここでの証明では、(3)-(1)を得るために恒等式 f(x)=f(x0)+∫f'(t)dt (積分範囲は、x0からx) と(1)の微分結果を利用するようです。 様々な参考書を見たのですが、この方法がまったく意味不明なんです。説明不足な点があるかと思いますが、回答をいただければと思います。
- 締切済み
- 数学・算数
お礼
さんきゅー