広義重積分の問題の解答について

このQ&Aのポイント
  • Ω上で、x / (1 - x - y)^(1/2)の広義重積分を求めます。
  • 増加列Ωnを用いて、重積分を計算する方法を考えましたが、発散してしまいます。
  • 解答を詳しく示し、何が間違っているのか教えてください。
回答を見る
  • ベストアンサー

広義重積分の問題

Ω={ (x , y) | 0 ≦ x , 0≦ y , x + y < 1} とします。 Ω上で ∬ ( x / (1 - x - y)^(1/2)  ) dxdy を求めよ。 という問題です。 増加列として Ωn = { (x , y) | 0 ≦ x , 0≦ y , x + y ≦ 1 / n } をとり、Ωnで重積分したあとに n → 1 とすればよいと思ったのですが… 計算してみると添付画像のようになり、分母が0に近づくので発散してしまいます。 一応ここにも式で書いておきます。 積分範囲は 0 ≦ x ≦1/n , 0≦ y ≦-x + 1/n です。   ∬ ( x / (1 - x - y)^(1/2)  ) dxdy =∫x dx ∫ {1 / (1 - x - y)^(1/2) } dy =∫x [ (2/3) (1 - x - y )^(-3/2) ] dx =(2/3) (∫{ 1 / (1 - 1/n )^(3/2) } dx - ∫{ x / (1 - x )^(3/2) } dx ) = (1/3) ・(1 / (1 - 1/n )^(3/2) )・(1/n^2) - (2/3)∫{ x / (1 - x )^(3/2) } dx                            ( √(1-x) = t  と置く。 1≦t≦√(1-1/n) ) = (1/3) ・(1 / (1 - 1/n )^(3/2) )・(1/n^2) - (2/3)∫((1-t^2)/t^3 ) ・(-2t) dt   = (1/3) ・(1 / (1 - 1/n )^(3/2) )・(1/n^2) - (2/3) [ 2t + (2/3) t^(-3)] = (1/3) ・(1 / (1 - 1/n )^(3/2) )・(1/n^2) - (2/3){2√(1-1/n) + 2/3(1-1/n)^(3/2) - 8/3} = (1/3) ・(1 / (1 - 1/n )^(3/2) )・(1/n^2) - (4/3)√(1-1/n) - 4/9 (1-1/n)^(3/2) + 16/9 私の解答はどこで間違っているのでしょうか? 回答よろしくお願いします。

この投稿のマルチメディアは削除されているためご覧いただけません。

質問者が選んだベストアンサー

  • ベストアンサー
  • info22_
  • ベストアンサー率67% (2650/3922)
回答No.2

>増加列として >Ωn = { (x , y) | 0 ≦ x , 0≦ y , x + y ≦ 1 / n } >をとり、Ωnで重積分したあとに n → 1 とすればよいと思ったのですが… これでは何の為の1/n置き換えか分かりません。n→1-0だったら未定義を含んでしまいませんか? 「x+y≦1/n,n→1」の代わりに「x+y≦1-(1/n).n→∞」ならまだ意味がわかりますが… >計算してみると添付画像のようになり、分母が0に近づくので発散してしまいます。 計算の2行目から3行目に移る所が間違っています。 >=∫[0→1] x dx ∫[0→1-x] {1/(1-x-y)^(1/2)}dy >=∫[0→1] x [(2/3)(1-x-y)^(-3/2)] dx ← 間違い 正:∫[0→1] x [ 2(1-x)^(1/2)] dx なので以降のあなたの積分はダメ。 ∫[0→1] x [ 2(1-x)^(1/2)] dx =[2{(2(1-x)^(5/2))/5-(2(1-x)^(3/2))/3] [0→1] =8/15 厳密には例えば lim(n→∞)∫[0→1] x dx ∫[0→1-(1/n)-x] {1/(1-x-y)^(1/2)}dy =lim(n→∞)∫[0→1] x {2√(1-x)-2√(1/n)}dx =∫[0→1] x [ 2(1-x)^(1/2)] dx =[2{(2(1-x)^(5/2))/5-(2(1-x)^(3/2))/3] [0→1] =8/15 とでもすれば広義積分としてクリアできるでしょう。

tumftmk
質問者

お礼

そんな最初のところで間違えているとは… あまりにも初歩的なミスでした。 確かにn→1だと未定義部分までかかってしまいおかしくなりますね。 その辺りもよく復習しておきます。 回答ありがとうございました。

その他の回答 (2)

  • alice_44
  • ベストアンサー率44% (2109/4759)
回答No.3

だから、前回質問で回答されたとおりじゃないの? http://okwave.jp/qa/q7631721.html ∫{ 1/x^(1/2) }dx = 2 x^(1/2) ≠ (2/3)x^(-3/2). 1/n がどうこうの所まで、いかないうちに間違えてる。

tumftmk
質問者

お礼

確かにそうですね… すごく初歩的な間違いでした。 回答ありがとうございました。

回答No.1

Ωn = { (x , y) | 0 ≦ x , 0≦ y , x + y ≦ 1-(1 / n) } をとり、 Sn = ∬Ωn( x / (1 - x - y)^(1/2)  ) dxdy を計算して、n->∞ のときのSnの値が、Ω上での広義積分の値になります。 計算過程は省略しますが、1/nの項が効いて、その項は0に収束します。 答えは、8/15になります(計算ミスの可能性もあり)。

tumftmk
質問者

お礼

最初のほうで間違っていました。 やり直したらちゃんとできました。 回答ありがとうございました。

関連するQ&A

  • 広義重積分の問題

    Ω={ (x , y) | 0 ≦ x , 0≦ y , x + y < 1} とします。 Ω上で ∬ ( x / (1 - x - y)^(1/2)  ) dxdy を求めよ。 という問題です。 増加列として Ωn = { (x , y) | 0 ≦ x , 0≦ y , x + y < 1 / n } をとり、Ωnで重積分したあとに n → 1 とすればよいと思ったのですが… 計算してみると添付画像のようになり、分母が0に近づくので発散してしまいます。 私の解答はどこで間違っているのでしょうか? 回答よろしくお願いします。

  • 広義積分

    (1)∬e^-(x+y)dxdy D={(x,y);x>=,0<=y<=1} この問題に対して ∫(n→0)dx∫(1→0)e^-(x+y)dy =∫(n→0)[-e^(x+y)](1→0)dx =∫(n→0)(-e^(-x+1)+e^-(x))dx =[e^-(x+1)-e^-(x)](n→0) =e^(-n+1)+e^(-n)-(1-(-1)) =e^(-n+1)+e^(-n)-2 =2 と解答したのですが、答えは(e-1)/eということで 間違いの箇所が分からず困っております。 どなたかご指摘お願いします

  • 広義重積分の問題が解けません

    Arctan(x/y)を第1象限の四半球(半径a)上(集合Kとする)において積分したいのですが、答えまでたどり着きません。 分かる方、教えてください。 以下、途中まで計算してみたところです。 間違ったところがあればあわせて教えていただければ幸いです。 広義積分と考えて解く。 Arctan(x/y)はK上正なので、Kに収束するある集合列{Km}について極限を求める。 Km={(x,y)∈R^2|x^2+y^2≦a^2,x≧1/m,y≧1/m}とする。  ∬Arctan(x/y)dxdy =∫(1/m~√(a^2-(1/m)^2))dy∫(1/m~√(a^2-y^2)) Arctan(x/y)dx dxの部分を積分すると(以下明らかな部分は区間省略)  ∫Arctan(x/y)dx =[xArctan(x/y)-(1/2)log(1+(x/y)^2)] =√(a^2-y^2)Arctan(√(a^2-y^2)/y)-(1/2)log(a^2/y^2)-(1/m)Arctan(1/(my))-(1/2)log(1+1/(my)^2) この結果を1つずつyで積分する。 (1)∫√(a^2-y^2)Arctan(√(a^2-y^2)/y)dy (2)∫-(1/2)log(a^2/y^2)dy (3)∫-(1/m)Arctan(1/(my))dy (4)∫-(1/2)log(1+1/(my)^2)dy (2)=-∫log(a/y)dy  =∫(logy-loga)dy  =[ylogy-y-yloga]  =略 (3)=-(1/m)∫Arctan(1/(my))dy  =-(1/m)∫(π/2-Arctan(my))dy  =[-(π/2m)y+myArctan(my)-(1/2m)log(1+(my)^2)]  =略 (1)と(4)はまったく分かりません。

  • 【積分の途中でlimを?】広義積分の問題について

    ∬1/√(x^2-y^2) dxdy 積分する領域は、x^2>y^2 0<x<1 となってます。 増大列を用いて、 ∫[1/n → 1]dx ∫[-x-(1/n) → x-(1/n)] f dyとして、最後にnを∞に飛ばせばいいのですよね。 しかし、 ∫[-x-(1/n) → x-(1/n)] f dyをひとまず計算したところ、 2arcsin(1-1/nx)となりました。 これをxで積分したいとは思わないので、 この段階でnを飛ばして、2arcsin1 =πとし、これをxで積分して、 最終的にπ(1-1/n)となりました。 で、πに収束。 答えは合っていたのですが、疑問なのは途中でnを飛ばしてもよかったのかなーと。 たまたま答えがあっていたんじゃないかと不安です。 どなたか教えてください。

  • 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

  • 広義積分・2重積分について

    (1)∫(0→3)1/(√x-1の3乗根)dxの解法を教えてください。 (2)2重積分のdxdyとdydxとでは何がどう違うのですか。dx、dyの順番は関係あるのでしょうか。ご教示をお願いします。

  • 広義の二重積分の求め方

    次の問題が途中までしかわかりません。 問:次の広義の二重積分を求めよ。  ∬[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重積分

    2重積分の質問です。 2重積分の計算で D={(x,y)|a≦x≦b,ψ1(x)≦y≦ψ2(x)}のとき ∬f(x,y)dxdy=∫[a→b]{∫[ψ1(x)→ψ2(x)] f(x,y)dy}dxですが ∬f(x,y)dxdy=∫[ψ1(x)→ψ2(x)]{∫[a→b]f(x,y)dx}dyでも可能でしょうか?? よろしくお願いします。

  • 広義積分について

    大学の微分積分のテストが追試になってしまい勉強中なのですが、広義積分が良くわからなくって困ってます。どなたかコツみたいなものを教えていただけないでしょうか?(正方形領域や円領域に簡単に近似できるものはわかります。) 例えば、次のような問題がよくわかりません。 ・∬e^(y/x) dxdy D={(x,y)|0<x≦1,0≦y≦x^2} ・f(x,y)=2(x-y)/(x+y+a)^3,(a>0)に対して次の値を求めよ。 ∫dx∫f(x,y)dy , ∫dy∫f(x,y)dx (積分範囲はすべて0~∞) どなたか解き方のヒントでもいいのでください。よろしくお願いします。

  • 2重積分の問題教えてください!

    Dを()内の不等式で表される領域とするとき、次の2重積分の値を求めよ。(領域Dも図示せよ。) ∫∫[ ,D]sin(2x+y)dxdy (0≦x≦π/2, x≦y≦2x) 2重積分の問題なのですがなかなか答えにたどり着けずにいます。誰か教えていただけないでしょうか? ∫∫[ ,D]sin(2x+y)dxdy =∫[π/2,0]{∫[2x,x]sin(2x+y)dy}dx ここからが進みません。宜しくお願いいたします。