■重積分:変数変換.ヤコビアン
○ 【1変数の場合を振り返ってみる】
置換積分の公式f(x)dx=f(g(t)) g’(t)dt
この公式が成り立つためには,その区間において「1対1の対応であること」「積分可能であること」など幾つかの条件を満たしていなけばならないが,これは満たされているものとする.
においては,
のように,積分区間,被積分関数,積分変数の各々を対応するものに書き換えることによって,変数変換を行うことができます. その場合において,積分変数dxは,単純にdtに変わるのではなく,右図1に示されるようにg’(t)dtに等しくなります.
=g’(t)は極限移項前の分数の形では≒g’(t)
つまりΔx≒g’(t)Δt 極限移項したときの記号としてdx=g’(t)dt
○ 【2変数の重積分の場合】
重積分f(x,y)dxdyにおいて,積分変数x, yを
x=x(u, v)
によって変数u, vに変換する場合を考えてみると,dudvはそのままの形では面積要素dS=dxdyに等しくなりません.1つには微小な長さ「duとdvが各々dxとdyに等しいとは限らず」,もう一つには,直交座標x, yとは異なり,一般には「duとdvとが直角になるとは限らない」からです.
y=y(u, v)
右図2のように
(dx, 0)は(du , dv )に移され
(0, dy)は(du , dv )に移される.
このとき,図3のように面積要素は
dxdy=|dudv−dudv|
=|−|dudv
のように変換されます.
【要点】
−は負の値をとることもあり,
面積要素として計算するには,これを正の符号に変えます.
ここで,
|−|
は,ヤコビ行列J=
の行列式すなわちヤコビアン(関数行列式)det(J)=の絶対値|det(J)|を表します.
x=x(u,v), y=y(u,v)により,xy平面上の領域Dがuv平面上の領域Eに移されるとき
面積要素は|det(J)|倍になる.ヤコビアンの絶対値を|det(J)|で表すと |det(J)|=|−| f(x,y)dxdy=f(x(u,v),y(u,v))|det(J)|dudv
この公式が成り立つためには,その領域において「1対1の対応であること」「積分可能であること」など幾つかの条件を満たしていなけばならないが,これは満たされているものとする.
|
図1
(縦の長さ)=(横の長さ)×(傾き) になる. 図2
【2つのベクトルで作られる平行四辺形の面積】
(解説)次の図のような2つのベクトル=(a, b), =(c, d)で作られる平行四辺形の面積Sは S=|ad−bc| で求められます. Sはの絶対値となります. S=||||sinθ …(1) において,ベクトルの内積と角度の関係式 · =ac+bd=||||cosθ …(2) から,cosθを求めて sinθ= (>0) …(3) に代入すると(途中経過省略) S= = =|ad−bc| となることを示すことができます.
【用語と記号のまとめ】
ヤコビ行列 J= ヤコビアン det(J)= ヤコビアンの絶対値 |det(J)|=|−| |
|||||||
【例1】
直交座標xyから極座標rθに変換するとき,
x=rcosθ, y=rsinθ
だから =cosθ, =−rsinθ =sinθ, =rcosθ det(J)=cosθ·rcosθ−(−rsinθ)·sinθ =rcos2θ+rsin2θ=r (>0) したがって f(x,y)dxdy=f(x(r,θ),y(r,θ))·r·drdθ |
【例2】
重積分(x+y)2dxdy (D : 0≦x+y≦1, |x−y|≦1) を変数変換u=x+y, v=x−yを用いて行うとき,
E : 0≦u≦1, −1≦v≦1
dudv=dv=dv
==
x=, y= (旧変数←新変数の形) =, =, =− det(J)=(−)−=− (<0) だから |det(J)|= (x+y)2dxdy=u2dudv |
|||||||
問1次の重積分を計算してください.
1
2
3
4
5
HELPdxdy (D : x2+y2≦1)
極座標x=rcosθ, y=rsinθに変換すると,
D : x2+y2≦1 → E : 0≦r≦1, 0≦θ≦2π
dxdy=r·r drdθ=cosθ, =−rsinθ =sinθ, =rcosθ det(J)=cosθ·rcosθ−(−rsinθ)·sinθ =rcos2θ+rsin2θ=r (>0) r2dr== dθ== → 4 ※変数をx,yのままで積分を行うには,の積分を行う必要があり,さらに積分区間を− 〜 としなければならないので,多くの困難があります. |
問2次の重積分を計算してください.
1
2
3
4
4
HELPx dxdy(D :0≦x+y≦1, 0≦x−y≦1)
u=x+y, v=x−yにより変数変換を行うと,
E : 0≦u≦1, 0≦v≦1
x=, y= (旧変数←新変数の形) =, =, =− det(J)=(−)−=− (<0) だから |det(J)|= x dxdy=dudv du=+=+ (+)dv=+=+= ※変数をx,yのままで積分を行うこともできるが,その場合は右図の水色,黄色の2つの領域(もしくは左右2つの領域)に分けて計算しなければならない.この問題では,上記のようにu=x+y, v=x−yと変数変換することにより,スマートに計算できるところがミソ. |
|||||||
問3次の重積分を計算してください.
1
2
3π
4
4
HELPcos(x2+y2)dxdy( D : x2+y2≦ )
極座標x=rcosθ, y=rsinθに変換すると,
D : x2+y2≦ → E : 0≦r≦, 0≦θ≦2π
cos(x2+y2)dxdy=cos(r2)·r drdθ=cosθ, =−rsinθ =sinθ, =rcosθ det(J)=cosθ·rcosθ−(−rsinθ)·sinθ =rcos2θ+rsin2θ=r (>0) (sin(r2))=2r cos(r2)だからr cos(r2)dr=sin(r2)+C cos(r2)·r dr=sin(r2)= dθ==π → 3 |
問4
D : |x−y|≦2, |x+2y|≦1において,次の重積分を計算してください.
{(x−y)2+(x+2y)2}dydx
1
2
3
4
5
HELP
u=x−y, v=x+2yにより変数変換を行うと,
E : −2≦u≦2, −1≦v≦1
{u2+v2}du={u2+v2}dux=, y= (旧変数←新変数の形) =, = =−, = det(J)=−(−)= (>0) だから |det(J)|= {(x−y)2+(x+2y)2}dydx ={u2+v2}dudv =+v2u=(+2v2)=+v2 2(+v2)dv=2v+v3=2(+)= |
■[個別の頁からの質問に対する回答][重積分:変数変換.ヤコビアンについて/18.9.23]
素朴な疑問なんですが、この変数変換って、離散的な関数に対しては同じようなことってできないんですかね?重和分するときの自由度って連続なときよりも低いんですかね?どう思われますか?
■[個別の頁からの質問に対する回答][重積分:変数変換.ヤコビアンについて/18.1.30]
=>[作者]:連絡ありがとう.この教材は,大学初年度レベルの内容を取り扱ったものです.和分,差分というのは昔からある分野なので,何か確立された公式的なものがあるはずです.見つからない項目については,自分で作っていくことになります. 二重積分の応用の例題も作ってもらえると助かります。しかし、テストでは非常に助かりました。
■[個別の頁からの質問に対する回答][重積分:変数変換.ヤコビアンについて/17.7.22]
=>[作者]:連絡ありがとう.一歩踏み出せば,果てしなき応用の世界が広がっているようですが・・・ 3変数はどのようにすればよいのでしょうか
■[個別の頁からの質問に対する回答][重積分:変数変換.ヤコビアンについて/17.7.20]
=>[作者]:連絡ありがとう.省略し過ぎで意味がつかみにくいですが,3変数の場合のヤコビアンはどうなりますかという質問でしたら
(右辺は省略記号)
(の絶対値)を使うことになります.
途中式も丁寧に挟まれており、旧変数←新変数の形など、単純に見えるが案外間違えていたり抜けてしまう過程などが明記されているので、最後まで立ち止まる事なく理解に徹することが出来ました。
■[個別の頁からの質問に対する回答][重積分:変数変換.ヤコビアン について/17.1.29]
=>[作者]:連絡ありがとう. 非常にわかりやすくて助かりました
■[個別の頁からの質問に対する回答][重積分.変数変換.ヤコビアンについて/17.1.22]
=>[作者]:連絡ありがとう. 問4のxに誤り.
x=1/3(2u+v)
=>[作者]:連絡ありがとう.その間違いを引きずってさらに2,3個の式がおかしかったので,併せて訂正しました. |