- 締切済み
積分と二重級数
積分に関する定理から、下の二重級数に関する定理が得られるようですが、どこをどうすれば二重級数の定理が導けるのか全くわからないので教えてください。 1.27 Theorem If Fn:X→[0, ∞] is measurable, for n=1, 2, 3,..., and F(x)=Σ∫Fn dμ (x∈X)(Σはn=1~∞, 積分範囲は集合X) then ∫F dμ=Σ∫Fn dμ (Σはn=1~∞, 積分範囲は集合X) (問題の部分) If we let μ to be the counting measure on a countable set, Theorem 1.27 is a statement about double series of nonnegative real numbers (which can of course be proved by more elementary means): Corollary If Aij>0 for i and j =1, 2, 3,..., then Σ(i=1-∞)Σ(j=1-∞)Aij=Σ(j=1-∞)Σ(i=1-∞)Aij よろしくお願いします。
- loner
- お礼率12% (1/8)
- 数学・算数
- 回答数3
- ありがとう数1
- みんなの回答 (3)
- 専門家の回答
みんなの回答
- jmh
- ベストアンサー率23% (71/304)
幅が1の長方形の面積は、その高さと同じです。 X=(0,+∞)で、∫Fi=?
- jmh
- ベストアンサー率23% (71/304)
問題を読み間違えてましたが、 F(x)=ΣFn(x) (Σはn=1,2,3,…) ですよね? 直感的には、Fnを Fi(x)=Aij (j-1<x<j) などとすればいいような気がします。
- jmh
- ベストアンサー率23% (71/304)
Fnを階段にすればいいような気がします。
補足
Fnを階段関数の極限として考えてみましたが、式変形が正しくできているのかどうかわかりません。 この方法では無理なんでしょうか。 -- F1,F2,...に収束する単関数列{S1,m},{S2,m},...をつくって α□μ(○∩○)=(二重級数の各項) とすることでできないか? と思ってやってみましたが、結局わかりませんでした。 単関数の積分は次のようになっていました。 単関数 S=Σ(i=1-n)αiχAi に関して ∫_E S dμ=Σ(i=1-n)αiμ(Ai∩E) -- (以下、積分の範囲はXとする。) Fnに収束する単関数列を{S(n,m)}とおく。S(n,m)→Fn(m→∞) ∫S(n,m)dμ=Σ(i=1-k)a(n,i)μ(X∩An,i) ここで両辺でm→∞として、 (∫Fn dμ=) lim(m→∞)∫ S(n,m)dμ =lim(k→∞)Σ(i=1-k)a(n,i)μ(X∩An,i) =Σ(i=1-∞)a(n,i)μ(X∩An,i) よって Σ(n=1-∞)∫ Fn dμ =Σ(n=1-∞)Σ(i=1-∞)a(n,i)μ(X∩An,i) 一方 ∫ F dμ =∫(Σ(n=1-∞)Fn)dμ =∫(Σ(n=1-∞)lim(k→∞)S(n,m))dμ =lim(k→∞)∫Σ(n=1-∞)S(n,m)dμ =lim(k→∞)Σ(n=1-∞)Σ(i=1-k)a(n,i)μ(X∩An,i) =Σ(i=1-∞)Σ(n=1-∞)a(n,i)μ(X∩An,i) これらを1.27の式 ∫ F dμ=Σ(n=1-∞)∫ Fn dμ に代入すると、 Σ(i=1-∞)Σ(n=1-∞)a(n,i)μ(X∩An,i)=Σ(n=1-∞)Σ(i=1-∞)a(n,i)μ(X∩An,i) 改めてa(n,i)μ(X∩An,i)=b(n,i)とおけば Σ(i=1-∞)Σ(n=1-∞)b(n,i)=Σ(n=1-∞)Σ(i=1-∞)b(n,i)
関連するQ&A
- 重積分
D = { (x, y); 1<= x+y <=2, x >=0, y>=0 } とする。二重積分 I = ∬(x^2+y^2)/(x+y)^2 dxdy について次の問いに答えよ。 (1) u = x-y, v = x+y とおく。x, y をu, vで表せ。 (2) 行列式 | δx/δu δx/δv | を求めよ。 | δy/δu δy/δv | (3) (1)の変換でDに対応するuv平面の集合をD'とする。D'を図示せよ。 (4) I を求めよ。 (1)において x = (u+v)/2 y = (v-u)/2 というのも分かり,(2)においても 行列式 = 1/2がわかりました。 (3)において平面の集合D' としたとき 1<=v<=2, -v<=u<=v といのもわかりましたが(合っているかはわかりませんが)。どのように図示したらいいのでしょうか?
- ベストアンサー
- 数学・算数
- 微積分の級数の証明問題がわからなくて困っています
微積分の級数の問題で、 Σ(n=1~∞)1/(n+1)log(n+1)=∞ Σ(n=1~∞)1/(n+1)(log(n+1))^2<∞ これら二つを積分を使って証明せよという問題なのですが、わからなくて困っています。 (n+1)をxなどとおいて計算していくらしいのですが、どなたかご教授お願いいたします。
- 締切済み
- 数学・算数
- 広義の二重積分の求め方
次の問題が途中までしかわかりません。 問:次の広義の二重積分を求めよ。 ∬[D] (x^2)(e^(-x^2-y^2))dxdy D:{x≧0 y≧0} {Dn}を原点を中心とした半径nの円とDとの共通部分とすれば、{Dn}はDの近似増加列である。ここで、x=rcosθ,y=rsinθに変換し計算すると、 ∫dθ∫(r^2)((cosθ)^2)(e^(-r^2))rdr (θの積分範囲:0→π/2、 rの積分範囲:0→n) =-(π/32)(4e^(-n^2)n^3 + 6e(-n^2)n^2 + 6e(-n^2)n + 3e(-n^2) - 3) となりました。(この計算は少し自信がありません) 残りの、n→∞にとばす計算の仕方がわかりません。 因みに、答えはπ/8 です。 どなたかご教授お願いします。
- ベストアンサー
- 数学・算数
- 2重積分の「置換積分」?
I = ∬exp(x+y)dxdy ; 積分領域{(x,y)|0≦x≦1,0≦y≦1} という2重積分を、 t(x,y) = x+y と置き替え ∂t/∂y = 1 0≦y≦1 ⇒ x≦t≦x+1 と思い J(x) = ∫exp(t)dt ; 積分区間{t|x≦t≦x+1} = {exp(1)-1}exp(x) I = ∫J(x)dx ; 積分区間{x|0≦x≦1} = {exp(1)-1}^2 のように定積分の置換積分の手法を用いて解いたら一応答えと合っていました。しかし、私としては、 ∂t/∂y = 1 ⇒ dt = dy のように考えている辺りがなんとなく間違っているような気がするのです。この問題だから偶然に答えが合っていたのでしょうか?もしくは、流れは正しくても、断りをもっと立てないといけないのでしょうか? パソコンでの数式の書き方に慣れていませんので、どうも見えにくくて申し訳ありませんが、ご教授のほどよろしくお願いしますm(_ _)m
- ベストアンサー
- 数学・算数
- 広義重積分の計算
広義重積分の計算 領域 D = {(x,y)|0≦x≦1-y , 0≦y≦1} に対して、 2重積分 I = ∫∫D log(x+y) dxdy を求めよ という問題が分かりません。 (x,y)=(0,0)で不連続なので、 I = lim{c→0} ∫{c→1}∫{0→1-x} log(x+y) dydx この後の積分計算がうまくいきません。 log(x)log(y)にしてやると、logの中にlogが、 log(x+y)を部分積分でそのまま積分すると、∫y/(x+y)dyのような形が出てきたりして複雑になってしまいます。 そこそこ簡単に出来る方法はないでしょうか? よろしくお願いします。
- ベストアンサー
- 数学・算数
- 積分の問題ですが・・・
『1次式fn(x)(n=1,2,3・・・・)が f1(x)=x+1 x^2f(n+1)(x)=x^3-x^2+∫(0→x)tfn(t)dt(n=1,2,3・・・・) を満たすとき、fn(x)を求めよ。』 という問題が分かりません。 とりあえず定積分のとこは積分したらxの関数になるってことと、f(n+1)とfnから漸化式かなぁてことくらいしか分かりませんでした。 ※f(n+1)は問題ではfn+1って書かれてます。わかりやすくするためにこう書きました。よく数列で出てくるfのn+1番目って奴です。 どうかよろしくお願いします!
- ベストアンサー
- 数学・算数
補足
ご指摘のとおり、 F(x)=ΣFn(x) です。間違えて書き込んでしまいました。 積分する可測空間を(N, 2^N)として… ∫ΣFn dμ = Σ∫Fn dμ ∫Σ(i)Aijdμ = Σ(i)∫Fn dμ Σ(j)Σ(i)Aij = Σ(i)Σ(j)Aij ということでしょうか。 (Fnは可測関数になる?)