- ベストアンサー
Lebesgue積分の問題
lim_{n→∞}∫_{0}^{n}x^k(1-(x/n))^n dx (kは自然数，{0}^{n}は積分範囲です。) という問題で，積分範囲からnを消して，Lebesgueの収束定理を用いて解くと 考えたのですが，y=x/nと置換するとf_n(y)=n^{k+1}y^k(1-y)^nとなり， |f_n|≦φとなるφが見つけられません。ほかにもいくつか積分範囲からnが消えるように 置換してみたのですが，収束定理が使えるような関数が見つかりません。 別のやり方でやるか，上手くf_nが抑えられるように置換できるものがあるのでしょうか？ どなたか解説お願いします。
- Kiriya_0
- お礼率39% (27/69)
- 数学・算数
- 回答数1
- ありがとう数0
- みんなの回答 （1）
- 専門家の回答
質問者が選んだベストアンサー
f_n(y)=n^{k+1}y^k(1-y)^nの積分のn→∞を計算する代わりに、積分と極限の順序を変更してn→∞の後に積分を計算しようという腹積もりのように理解しました。 直感的に言うと、この順序交換は、不可のように思います。0≦y≦1の範囲で、n→∞のときf_n(y)は0に収束します。したがって、極限を取った後の積分は0にしかなりません。 ２通りの計算方法が考えられます。 （方法１）２重極限に直す 積分範囲と被積分関数の両方にnが出てきて気持ちが悪いから積分範囲のほうのnを消そうというのが質問者様の発想だと思いますが、逆に、積分範囲のnを別の記号tに置き換える手もあります。 lim_{n→∞}∫_{0}^{n}x^k(1-(x/n))^n dx =lim_{n→∞,t→∞}∫_{0}^{t}x^k(1-(x/n))^n dx = lim_{ t→∞}∫_{0}^{t} lim_{n→∞}x^k(1-(x/n))^n dx = lim_{ t→∞}∫_{0}^{t} x^k・exp(-x) dx =∫_{0}^{∞} x^k・exp(-x) dx このような変形を正当化するには、n→∞、t→∞の２重極限が存在することを証明しなければなりません。このことは、 {n→∞} (1-(x/n))^n= exp(-x) の収束がx>0の範囲で一様収束であることから言えそうです（きちんと確認したわけでありませんが）。 なお、お気づきかと思いますが、上の変形の最後の式は、ガンマ関数Γ(k+1)の定義式です。 （方法2） 直接f_n(y)を積分する
関連するQ&A
- ルベーグ積分の収束について
以下の定理について質問があります。 X∈Rとする。 可積分関数の列{f_n(x)}(n≧1)が Σ(n=1～+∞）∫(積分区間はX)|f_n(x)|dx<∞ をみたせば Σ(n=1～+∞）|f_n(x)|も可積分で Σ(n=1～+∞）∫(積分区間はX)|f_n(x)|dx＝∫(積分区間はX)Σ(n=1～+∞）|f_n(x)|dx 以上の定理について、何故n≧１なのでしょうか？ Σ(n=-∞～+∞）∫(積分区間はX)|f_n(x)|dx<∞ の場合は成り立たないのですか？ どなたか詳しい解説をよろしくお願い致します・・・。
- ベストアンサー
- 数学・算数
- 積分の問題です。
lim(n→∞){1/n+n/(n^2+1)+n/(n^2+2)+...+n/(n^2+(n-1)^2)}の極限を求める問題です。 lim(n→∞) (1/n)[k=0→n-1]Σ1/{1+(k/n)^2}となり、 lim(n→∞) (1/n)[k=0→n-1]Σ1/{1+(k/n)^2}[x=0→1-1/n]∫f(x)dx ≦ (1/n)[k=0→n-1]Σ1/{1+(k/n)^2} ≦ [x=1/n→1]∫f(x)dx +1/n 挟み撃ちの定理をつかって求め、答えはπ/4ということはわかったのですが、途中にでてくる両辺の積分の仕方がわかりません。 できるだけ詳しい途中式を書いていただけるとありがたいです。 最初から（lim(n→∞){1/n+n/(n^2+1)+n/(n^2+2)+...+n/(n^2+(n-1)^2)}から）答え合わせもかねてお願いします。
- 締切済み
- 数学・算数
- ルベーグ積分の計算問題
lim_[n→∞]∫_[0～∞](1/x)sin(x/n)(1/(1+x^2))dx=0 を証明せよという問題ですが，f_nを上手く抑えられて積分可能な関数が見つかりません。 どなたか解説お願いします。
- ベストアンサー
- 数学・算数
- 広義積分の問題を教えてください。
fとgを区間I=(0,∞)で定義された連続非負関数で、この区間で広義積分可能であるとします。 さらに、 f(x)→0 (x→0) xg(x)→0 (x→∞) を満たしているとき、 lim[n→∞] n∫f(x)g(nx)dx = 0 （積分区間はI） が成り立つことを示したいです。 以下のように積分区間を0から1,1から∞にわけて、 それぞれ評価しようとしましたがうまくいきません。 具体的には、 J=n∫f(x)g(nx)dx とおいて、 J= n∫f(x)g(nx)dx + n∫f(x)g(nx)dx （最初の項を(1) ２つめの項を(2)として） (1)の積分区間は0～１ (2)の積分区間は1～∞ (1)において、g(nx)が非負なので、平均値の定理から、 (1)＝nf(Cn)∫g(nx)dx となるような、nに依存する値 Cn∈[0,1]が存在。 nx=tと置換すれば、 (1)＝f(Cn)∫g(t)dt （積分区間は0からnに変化） というキレイな形になり、 ∫g(t)dt は、gが広義積分可能なことから、有限値に収束。 このままf(Cn)が0に収束してくれれば良いんですが、 Cnは [0,1]上 特に性質なくいろんなところをとりえます。 だから、Cnが単調減少して、仮定の条件をつかって クリア！みたいなことにはならないのです。 根本的に方針が違うのだと思うのですが、 どなたかヒントでもいいので教えてください。
- 締切済み
- 数学・算数
- フーリエ級数収束定理とリーマン・ルベーグの定理
フーリエ級数収束定理の証明を考えているのですが、ある疑問が出て、証明にたどり着けません。 問題の根本はリーマンルベーグの定理から来るものです。 フーリエ級数収束定理の証明を考えると、、最終的に、以下の式の証明を考えなければならないと分かりました。 lim[n→∞]{∫[-T/2→T/2]{(f(u+t)-f(t))/sin(ωu/2)*sin((n+1/2)ωu}du}=0 (ω=2π/T) …(1) この証明にリーマンルベーグの定理を用いるのですが、困った事がおきました。 フーリエ級数収束定理とは次のような定理です。 周期Tの周期関数f(t)が「区分的に滑らか」であるとき、f(t)のフーリエ級数代n部分和S[n](t)に関して、次の極限式が成り立つ。 lim[n→∞]{S[n](t)}=f(t) …(2) (ただし、不連続点では、[右辺]={f(t-0)+f(t+0)}/2) 「区分的に滑らか」と「区分的に連続」の定義は次のようになります。 (※)「区分的に滑らか」…有限個の微分不可点(傾きが急変する点や不連続点)t[k](k=1,2,3,…,n)が存在するもののそれ以外の点では連続かつ有界。また、 tkの近傍(t[k]±0)において、t[k]-0 における左側微分係数(f'-(t[k]-0))及び、t[k]+0 における右側微分係数(f'+(t[k]+0))が存在する。 (微分不可点を除いて、関数とその導関数が有界であれば区分的に滑らかであるといえる。) (※)「区分的に連続」…有限個の不連続点tkを除いて連続かつ有界。また、tkにおける左側極限値 f(t[k]-0) 及び、右側極限値 f(t[k]+0) が存在する。 lim[n→∞]{∫[-T/2→T/2]{(f(u+t)-f(t))/sin(ωu/2)*sin((n+1/2)ωu}du}=0 ((1)式) が成り立つことを示すには、リーマン・ルベーグの定理(補題)を使うと思います。このリーマン・ルベーグの定理とは、 関数f(x)が区間[a,b]で、「ある性質」を持つとき、次の極限式が成立する。 ・lim[n→∞]{∫[a→b]{f(x)sin(nx)}=0 …(3) ・lim[n→∞]{∫[a→b]{f(x)cos(nx)}=0 という定理です。最終的には、このリーマン・ルベーグの定理(補題)が証明でき、(1)式に応用することができれば良いのではないかという結論に至りました。 リーマン・ルベーグの定理の証明について、いくつかのサイトを参考にしたのですが、f(x)が持つ「ある性質」の部分が統一されておらず、 ・区分的に滑らか ・区分的に連続 の2通りの流儀があるようでした。 リーマン・ルベーグの定理の成立条件として「f(x)が区分的に滑らか」を採用した場合、 ∫[a→b]{f(x)sin(nx)}=[a→b](1/n)[-f(x)cos(nx)]+∫[a→b](1/n){f'(x)cos(nx)} から、f(x)及びf'(x)が[a,b]で有界ならば、n→∞としたとき零になり、リーマン・ルベーグの定理が成立することが分かります。 これを(1)式に対して適用します。(3)式のf(x)は、(1)式では、(f(u+t)-f(t))/sin(ωu/2)です。 (f(u+t)-f(t))/sin(ωu/2)=g(u) とおくと、g(u)およびg'(u)が有界であることを言うことが必要になります。 g(u)=(f(u+t)-f(t))/u*u/sin(ωu/2) , lim[u→0]g(u)=2/ω*f'(t) より、 [-T/2≦u≦T/2]において、f(t)及びf'(t)が発散しなければ、つまりf(t)が周期T内で「区分的に滑らか」ならば、g(u)は有界であることが言えそうなのです が、g'(u)が[-T/2≦u≦T/2]で有界になることが自分には証明できませんでした。もし証明できるならば教えてください。 一方で、リーマン・ルベーグの定理の成立条件として「f(x)が区分的に連続」を採用した場合ですが、この定理の証明に http://tmlaboratory.at-ninja.jp/doc/Riemann-Lebesgue_lemma/node3.html http://homepage3.nifty.com/rikei-index01/ouyoukaiseki/riemanrubeg.html を参考にしながら次のように検討しました。 区分的に連続の関数f(x)が閉区間[a,b]で有限個(M個)の不連続点(x=t[k](k=1,2,…,M))を持つとする。 [a,b]内で連続となる区間はM+1個できる。この連続区間を、取りうるxの小さいほうから順にT[k](k=1,2,…,M,M+1)と書く。 各区間T[k]の範囲は、 T[k]:[t[k-1]≦x≦t[k]] (k=1,2,…,M+1) (ただし、t[0]=a,t[M+1]=b) 各連続区間T[k]上の連続関数をf[k](x)(k=1,2,…,M+1)とする。 f(x)は[a,b]で有界だから |f(x)|≦F , |f[k](x)|≦F …(4) を満たす実数Fが存在する。 区間T[k]上でf[k](x)に対するリーマン・ルベーグの定理が成り立つことが言えれば、 [a,b]上のf(x)に対するリーマン・ルベーグの定理が成り立つことが言える。 f(x)の任意の連続区間T[k]=[t[k-1],t[k]]をN等分し、T[k]上の分割点を小さい方より、 t[k-1]=x[0]<x[1]<x[2]<…<x[l-1]<x[l]<…<x[N-1]<x[N]=t[k] とおく。 分割した小区間の長さを⊿xすると ⊿x=x[l]-x[l-1] (l=1,2,…,N) =(t[k]-t[k-1])/N すると求める積分は、 ∫[t[k-1]→t[k]]{f[k](x)sin(nx)}dx=Σ[l=1,N]{∫[x[l-1]→x[l]]{f[k](x)sin(nx)}dx} …(5) となる。このときxの範囲は、(x[l-1]≦x≦x[l])である。 (5)式に対し、その大小関係を考えていく。 |∫[t[k-1]→t[k]]{f[k](x)sin(nx)}dx| ≦Σ[l=1,N]{∫[x[l-1]→x[l]]|f[k](x)-f[k](x[l])|・|sin(nx)|dx+|f[k](x[l])|・|∫[x[l-1]→x[l]]{sin(nx)}dx|} …(6) |sin(nx)|≦1 |f[k](x)|≦F より (6式)≦Σ[l=1,N]{∫[x[l-1]→x[l]]|f[k](x)-f[k](x[l])|・1・dx+F|∫[x[l-1]→x[l]]{sin(nx)}dx|} ≦Σ[l=1,N]{∫[x[l-1]→x[l]]|f[k](x)-f[k](x[l])|dx+F/n*(|cos(nx[l-1])|+|cos(nx[l])|)} …(7) |cos(nx[l-1])|≦1 |cos(nx[l])|≦1 より (7式)≦Σ[l=1,N]{∫[x[l-1]→x[l]]|f[k](x)-f[k](x[l])|dx+2F/n} =Σ[l=1,N]{∫[x[l-1]→x[l]]|f[k](x)-f[k](x[l])|dx}+Σ[l=1,N]{2F/n} …(8) f[k](x)の連続性から (x[l-1]≦x≦x[l])の範囲のx、及び任意の正の実数εに対して、 |x-x[l]|≦⊿x=x[l]-x[l-1]=(t[k]-t[k-1])/N ならば |f[k](x)-f[k](x[l])|≦ε を満たす⊿xがただ一つ定まる。このとき分割数Nも適切に取る。 (8)式に対し (8式)≦Σ[l=1,N]{∫[x[l-1]→x[l]]{ε}dx}+2NF/n =Σ[l=1,N]{ε(x[l]-x[l-1])}+2NF/n =Nε(x[l]-x[l-1])+2NF/n =ε(t[k]-t[k-1])+2NF/n よって |∫[t[k-1]→t[k]]{f[k](x)sin(nx)}dx|≦ε(t[k]-t[k-1])+2NF/n …(9) (9)式について 2NF/n≦ε となるようにnを大きく取れば |∫[t[k-1]→t[k]]{f[k](x)sin(nx)}dx|≦ε(t[k]-t[k-1])+2NF/n ≦ε(t[k]-t[k-1])+ε =ε(t[k]-t[k-1]+1) 最終的に |∫[t[k-1]→t[k]]{f[k](x)sin(nx)}dx|≦ε(t[k]-t[k-1]+1) …(10) の関係が言える。 参照したサイトでは、εは任意に取ることができるから、n→∞とすればε→0より lim[n→∞]|∫[t[k-1]→t[k]]{f[k](x)sin(nx)}dx|=0 となり、リーマン・ルベーグの定理が成り立つと結論付けていますがε→0とするとき、 ∀ε>0,∀x[l]>0∈T[k],∃⊿x>0 s.t.∀x∈⊿x=x[l]-x[l-1], |x-x[l]|≦⊿x⇒|f[k](x)-f[k](x[l])|≦ε となるように⊿xを決めているから、ε→0 とするとき同時に ⊿x→0 になり、分割数Nを∞にする必要がでてきます。 結局はn→∞,ε→0としても、⊿x→0,N→∞としなければならず、 2NF/n≦εの関係からlim[n→∞]{2NF/n} (≦ε) は零に収束しないような気がします。 どうすれば答えが導けるでしょうか。
- 締切済み
- 数学・算数
- 「ルベーグ積分」と「リーマン積分」
f(x)=sinx/xにおいて範囲が[0,∞)のとき、f(x)は広義ルベーグ積分であることはわかりますが、質問したいのは次のことです。f(x)は広義リーマン積分は可能だが、狭義でのルベーグ積分が可能でないのはどうしてですか？どなたか教えてくださいm(__)mお願いします。
- ベストアンサー
- 数学・算数
- lim[n→∞]∫[0～1]f_n(x)dx=∫[0～1]f(x)dxが示せません
宜しくお願いいたしました。 [問]各n∈Nに対し,f_n(x)=nx/(1+nx),x∈[0,1]とする。 数列{f_n}は[0,1]で積分可能関数fには各点収束するが一様収束しない事を示せ。 そしてlim[n→∞]∫[0～1]f_n(x)dx=∫[0～1]f(x)dxとなる事を示せ。 で「lim[n→∞]∫[0～1]f_n(x)dx=∫[0～1]f(x)dxとなる」が示せずに困っています。 f(x)= 1/e (x=1の時) 1 (0<x<1の時) 0 (x=0の時) と積分可能関数fが求めました。 でも 0<x<1の時 lim[n→∞]∫[0～1](f(x)-f_n(x)) =lim[n→∞]∫[0～1](1-nx/(1+nx))dx =lim[n→∞]∫[0～1](1/(1+nx))dx =lim[n→∞][-n/(1+nx)^2]^1_0 =lim[n→∞](-n/(1+n^2)+n) となり0になりません。何か勘違いしておりますでしょうか?
- ベストアンサー
- 数学・算数
- 極限の問題（収束半径、広義積分）です。
解いていて、つまずいている問題があります。どうか分かる方お力添え下さい。 （１）Σ(√(n+1)-√n)x**n の収束半径？ 補足（Σの添え字nは０から∞です） （＊＊は２乗を示しています） （√は（）の中にかかっています） ダランベールの収束判定法から 収束半径r=lim(x→∞)an/an+1にしたがって解こうとしてのですがそこで詰まりました。 （２）Σan*(x**n)とΣn*an*x**(n-1)の収束半径が同じであることを示せ。 補足（Σの添え字nは０から∞です） （＊＊は２乗を示しています） （＊はかけ算を示しています） （anは数列です） ダランベールで解こうと思ったのですがｘの肩のn-1が定理と違うのでこれ以上進みません。 （３）∫sin(1/x)dx（0<x≦1） ∫(x(x-1))**(-1/3)dx(2≦x<∞) ∫1/xdx(-1≦x≦1) は収束、発散？ 広義積分なので∫の中の関数より大きい関数で押さえれば収束が示せると思ったのですが適当な関数が見つかりません。
- ベストアンサー
- 数学・算数
- 広義積分の定義に関する問題です。
大学で出された練習問題なのですが、わからずに困っています。 (1)広義積分の定義に従って∫1/x dx = ∞ であることを示せ。 （積分範囲は1から∞） (2) ∫1/x dx = ∞ であることを用いて Σ1/n = ∞ を示せ。 （Σの添え字は∞,ｎ=1） (3) Σ1/n = ∞ であることを用いて ∫1/x dx = ∞ を示せ。 (1)はlimをとればよいのだろうと検討はつくのですが、(2),(3)はどのように解けば良いのか手がかりすらわかりません。 ご教授よろしくお願いします。
- ベストアンサー
- 数学・算数
