2重積分の変数変換

閉領域 $3$\displaystyle{D}$ で定義された連続関数 $3$\displaystyle{f $ x,y $ }$ に対する重積分

$3$\displaystyle{\hspace{1}{\int\int }_{D} f $ x,y $ dxdy }$

を $3$\displaystyle{x={\varphi} $ u,v $ }$ ， $3$\displaystyle{y={\psi} $ u,v $ }$ で変数変換する場合，ヤコビアン $3$\displaystyle{J=\frac{\hspace{2} {\partial}\left({ {\varphi},{\psi} }\right) \hspace{2}}{\hspace{2} {\partial}\left({ u,v }\right) \hspace{2}}\neq 0}$ で $3$\displaystyle{ $ x,y $ }$ と $3$\displaystyle{ $ u,v $ }$ が1対1に対応し， $3$\displaystyle{ $ x,y $ }$ の領域 $3$\displaystyle{D}$ が $3$\displaystyle{ $ u,v $ }$ の領域 $3$\displaystyle{{D}^{\prime }}$ に変換されるならば

$3$\displaystyle{\displaystyle{ \hspace{1}{\int\int }_{D} f $ x,y $ dxdy }=\displaystyle{ \hspace{1}{\int\int }_{{D}^{\prime }} f $ {\varphi} \( u,v $ ,{\psi} $ u,v $ \) \|J\| dudv }}$

が成り立つ．

■導出

1変数の積分における変数変換として置換積分法について考えると，連続関数 $3$\displaystyle{f $x$ \text{\hspace{1} }}$ を $3$\displaystyle{x=g $t$ \text{\hspace{1} }}$ の関係に置換したとき

$3$\displaystyle{\int f $x$ dx =\int f $ g \(t$ \) {g}^{\prime } $t$ dt }$

である．このときの $3$\displaystyle{x $ =g \(t$ \) \text{\hspace{1} }}$ と $3$\displaystyle{t\text{\hspace{1} }}$ の関係は右図のようになる．

ここで，微小区間 $3$\displaystyle{dt\text{\hspace{1} }}$ に対応する $3$\displaystyle{dx\text{\hspace{1} }}$ を考えると， $3$\displaystyle{g $t$ \text{\hspace{1} }}$ は直線に近似できて

$3$\displaystyle{dx=mdt}$

となる．ここで， $3$\displaystyle{m\text{\hspace{1} }}$ は直線 $3$\displaystyle{g $t$ \text{\hspace{1} }}$ の傾きであるから

$3$\displaystyle{m=\frac{\hspace{2} dx \hspace{2}}{\hspace{2} dt \hspace{2}}={g}^{\prime } $t$ }$

となり

$3$\displaystyle{dx={g}^{\prime } $t$ dt}$ 　･･････(1)

$3$\displaystyle{x=g $t$ \text{\hspace{1} }}$ の変換に対して上記の関係が成立するから

$3$\displaystyle{\int f $x$ dx =\int f $ g \(t$ \) {g}^{\prime } $t$ dt }$

となる．

ここで，(1)から，積分における変数変換において，変換後の変数 $3$\displaystyle{t\text{\hspace{1} }}$ は変換前の変数 $3$\displaystyle{x\text{\hspace{1} }}$ の $3$\displaystyle{{g}^{\prime } $t$ \text{\hspace{1} }}$ 倍となることが分かる．これを踏まえて重積分における変数変換を考えると，閉領域 $3$\displaystyle{D\text{\hspace{1} }}$ で定義された連続関数 $3$\displaystyle{f $ x,y $ \text{\hspace{1} }}$ に対する重積分

$3$\displaystyle{\hspace{1}{\int\int }_{D} f $ x,y $ dxdy }$

を $3$\displaystyle{x={\phi} $ u,v $ \text{\hspace{1} },\text{\hspace{1} }y={\psi} $ u,v $ \text{\hspace{1} }}$ で変数変換する．

$3$\displaystyle{x\text{\hspace{1} },\text{\hspace{1} }y\text{\hspace{1} }}$ の微小変化 $3$\displaystyle{dx\text{\hspace{1} },\text{\hspace{1} }dy\text{\hspace{1} }}$ はそれぞれ $3$\displaystyle{x={\phi} $ u,v $ \text{\hspace{1} },\text{\hspace{1} }y={\psi} $ u,v $ \text{\hspace{1} }}$ の全微分となり，

$3$\displaystyle{dx=\hspace{1}{{\phi}}_{u}du+\hspace{1}{{\phi}}_{v}dv}$ 　･･････(2)

$3$\displaystyle{dy=\hspace{1}{{\psi}}_{u}du+\hspace{1}{{\psi}}_{v}dv}$ 　･･････(3)

$3$\displaystyle{uv\text{\hspace{1} }}$ 平面上の微小面積 $3$\displaystyle{{\Delta}\hspace{1}{S}_{ uv }\text{\hspace{1} }}$ を長方形とすると，それに対応する $3$\displaystyle{xy\text{\hspace{1} }}$ 平面上の微小面積 $3$\displaystyle{{\Delta}\hspace{1}{S}_{ xy }\text{\hspace{1} }}$ は，座標平面における1次変換を各頂点に対して行うと，平行四辺形となる． ⇒導出

更に，1次変換から，微小面積 $3$\displaystyle{{\Delta}\hspace{1}{S}_{ xy }\text{\hspace{1}}}$ は $3$\displaystyle{\displaystyle{a}=\left({ \begin{array}{lll} \hspace{1}{{\phi}}_{u}{\Delta}u & \vspace{6}\\ \hspace{1}{{\psi}}_{u}{\Delta}u & \vspace{6}\\ \end{array} }\right)}$ ， $3$\displaystyle{\displaystyle{b}=\left({ \begin{array}{lll} \hspace{1}{{\phi}}_{v}{\Delta}v & \vspace{6}\\ \hspace{1}{{\psi}}_{v}{\Delta}v & \vspace{6}\\ \end{array} }\right)}$ の作る平行四辺形の面積であるといえる．よって，行列式の幾何学的な意味から $3$\displaystyle{{\Delta}\hspace{1}{S}_{ xy }}$ は $3$\displaystyle{ \| \begin{array} \hspace{1}{{\phi}}_{u}{\Delta}u & \hspace{1}{{\phi}}_{v}{\Delta}v & \vspace{6}\\ \hspace{1}{{\psi}}_{u}{\Delta}u & \hspace{1}{{\psi}}_{v}{\Delta}v & \vspace{6}\\ \end{array} \| }$ の絶対値になる．

$3$\displaystyle{ \| \begin{array} \hspace{1}{{\phi}}_{u}{\Delta}u & \hspace{1}{{\phi}}_{v}{\Delta}v & \vspace{6}\\ \hspace{1}{{\psi}}_{u}{\Delta}u & \hspace{1}{{\psi}}_{v}{\Delta}v & \vspace{6}\\ \end{array} \| =\hspace{1}{{\phi}}_{u}{\Delta}u\hspace{1}{{\psi}}_{v}{\Delta}v- \hspace{1}{{\psi}}_{u}{\Delta}u\hspace{1}{{\phi}}_{v}{\Delta}v}$

$3$\displaystyle{= $ \hspace{1}{{\phi}}_{u}\hspace{1}{{\psi}}_{v}- \hspace{1}{{\psi}}_{u}\hspace{1}{{\phi}}_{v} $ {\Delta}u{\Delta}v}$ 　･･････(4)

ここで， $3$\displaystyle{\hspace{1}{{\phi}}_{u}\hspace{1}{{\psi}}_{v}- \hspace{1}{{\psi}}_{u}\hspace{1}{{\phi}}_{v}\text{\hspace{1}}}$ は2行2列の関数行列

$3$\displaystyle{ $ \begin{array} \hspace{1}{{\phi}}_{u} & \hspace{1}{{\phi}}_{v} & \vspace{6}\\ \hspace{1}{{\psi}}_{u} & \hspace{1}{{\psi}}_{v} & \vspace{6}\\ \end{array} $ }$

の行列式

$3$\displaystyle{ \| \begin{array} \hspace{1}{{\phi}}_{u} & \hspace{1}{{\phi}}_{v} & \vspace{6}\\ \hspace{1}{{\psi}}_{u} & \hspace{1}{{\psi}}_{v} & \vspace{6}\\ \end{array} \| }$

であるから

$3$\displaystyle{\hspace{1}{{\phi}}_{u}\hspace{1}{{\psi}}_{v}- \hspace{1}{{\psi}}_{u}\hspace{1}{{\phi}}_{v}}$ $3$\displaystyle{= \| \begin{array} \hspace{1}{{\phi}}_{u} & \hspace{1}{{\phi}}_{v} & \vspace{6}\\ \hspace{1}{{\psi}}_{u} & \hspace{1}{{\psi}}_{v} & \vspace{6}\\ \end{array} \| }$ $3$\displaystyle{= \| \begin{array} \frac{\hspace{2} {\partial}{\phi} \hspace{2}}{\hspace{2} {\partial}u \hspace{2}} & \frac{\hspace{2} {\partial}{\phi} \hspace{2}}{\hspace{2} {\partial}v \hspace{2}} & \vspace{6}\\ \frac{\hspace{2} {\partial}{\psi} \hspace{2}}{\hspace{2} {\partial}u \hspace{2}} & \frac{\hspace{2} {\partial}{\psi} \hspace{2}}{\hspace{2} {\partial}v \hspace{2}} & \vspace{6}\\ \end{array} \| }$ $3$\displaystyle{= J }$ 　･･････(5)

ここで，ヤコビアン $3$\displaystyle{J\text{\hspace{1}}}$ は行列式であるから負の値をとることがある．しかし，重積分では必ず変数を小さいほうから大きいほうに向かって積分するように表現するため， $3$\displaystyle{{\Delta}x{\Delta}y\text{\hspace{1}}}$ は負にならない．従って，一般に表現する場合はヤコビアンに絶対値をつけて， $3$\displaystyle{ \|J\| \text{\hspace{1}}}$ と表す．

(5)によって

$3$\displaystyle{{\Delta}\hspace{1}{S}_{ xy }= \|J\| {\Delta}u{\Delta}v}$

と表せる．この平行四辺形内に点 $3$\displaystyle{ $ {\xi},{\eta} $ \text{\hspace{1}}}$ があるとする． $3$\displaystyle{uv\text{\hspace{1}}}$ 平面上の長方形の分割数 $3$\displaystyle{m\text{\hspace{1}}}$ を限りなく多くしていくと， $3$\displaystyle{xy\text{\hspace{1}}}$ 平面上での分割数も限りなく多くなり，重積分の定義から

$3$\displaystyle{V}$ $3$\displaystyle{=\displaystyle{ \hspace{1}{\int\int }_{D}\text{\hspace{1}} $ x,y $ dxdy \text{\hspace{1}} }}$

$3$\displaystyle{={ \lim }\limits_{ m\rightarrow \infty }\displaystyle{\sum f $ {\xi},{\eta} $ }{\Delta}\hspace{1}{S}_{ xy }}$

$3$\displaystyle{={ \lim }\limits_{ m\rightarrow \infty }\displaystyle{\sum f $ {\xi},{\eta} $ } \|J\| {\Delta}u{\Delta}v}$

$3$\displaystyle{=\displaystyle{ \hspace{1}{\int\int }_{{D}^{\prime }} f $ {\phi} \( u,v $ ,{\psi} $ u,v $ \) } \|J\| dudv\text{\hspace{1}}}$

$3$\displaystyle{{}_\bullet\limits{ }^\bullet {}_\bullet \text{\hspace{5}}\displaystyle{ \hspace{1}{\int\int }_{D} $ x,y $ dxdy }=\displaystyle{ \hspace{1}{\int\int }_{{D}^{\prime }} f $ {\phi} \( u,v $ ,{\psi} $ u,v $ \) } \|J\| dudv}$

ホーム>>カテゴリー別分類>>積分>>重積分>>変数変換>>2重積分の変数変換

学生スタッフ作成
最終更新日： 2025年9月19日