重積分の意味と計算方法

こんにちはコーヤです。

このページでは、二変数関数の積分である重積分の意味と計算方法を勉強します。

積分と重積分の違い

積分と比べながら重積分の意味を確認します。

積分の意味

微小区間$dx$で区切られる長方形の面積の和から、積分範囲$(a,b)$の面積$S$を求めることができます。

$$
S
=
\displaystyle\int_a^b
f(x)
~dx
$$

重積分の意味

微小区間$dS$で作られる直方体の体積の和から、積分領域$D$の体積$V$を求めることができます。

$$
V
=
\displaystyle\iint_D
f(x,y)
~dS
$$

$dS$は面積要素や面素と呼びます。

$dS$は$x$軸方向の微小区間$dx$と$y$軸方向の微小区間$dy$の積で表すことができます。

$$
dS=dxdy
$$

重積分の計算方法

前述の通り重積分の意味は直方体の和ですが、計算の流れは以下の2ステップで行われます。

  1. 断面積を求める
  2. 断面積を積分して体積を求める

それでは例題で重積分の計算をしてみましょう。

以下の体積を求めます。

$$
\begin{array}{ll}
f(x,y)=x+y
\\\\
D=\{(x,y) ~|~ 1 \leqq x \leqq 2, 0 \leqq y \leqq 1\}
\end{array}
$$

まずは$y=y_0$と固定して、断面積$S(y_0)$を求めます。

$$
\begin{align}
S(y_0)
&=
\displaystyle\int_1^2
f(x, y_0)
~dx
\\\\&=
\displaystyle\int_1^2
x+y_0
~dx
\\\\&=
\left[
\displaystyle\frac{1}{2}x^2+xy_0
\right]_1^2
\\\\&=
\displaystyle\frac{3}{2}+y_0
\end{align}
$$

$y_0$を変数$y$に戻して、断面積$S(y)$を積分して体積$V$を求めます。

$$
\begin{align}
V
&=
\displaystyle\int_0^1
S(y)
~dy
\\\\&=
\displaystyle\int_0^1
\displaystyle\frac{3}{2}+y
~dy
\\\\&=
\left[
\displaystyle\frac{3}{2}y+\displaystyle\frac{1}{2}y^2
\right]_0^1
\\\\&=
2
\end{align}
$$

これで体積$V$が求まりました。

今回は$y$を固定して計算しましたが、$x$を固定しても結果は変わりません。

$x=x_0$と固定するパターンも計算してみます。断面積$S(x_0)$を求めます。

$$
\begin{align}
S(x_0)
&=
\displaystyle\int_0^1
f(x_0, y)
~dy
\\\\&=
\displaystyle\int_0^1
x_0+y
~dy
\\\\&=
\left[
x_0y+\displaystyle\frac{1}{2}y^2
\right]_0^1
\\\\&=
x_0+\displaystyle\frac{1}{2}
\end{align}
$$

$x_0$を変数$x$に戻して、断面積$S(x)$を積分して体積$V$を求めます。

$$
\begin{align}
V
&=
\displaystyle\int_1^2
S(x)
~dx
\\\\&=
\displaystyle\int_1^2
x+\displaystyle\frac{1}{2}
~dx
\\\\&=
\left[
\displaystyle\frac{1}{2}x^2+\displaystyle\frac{1}{2}x
\right]_1^2
\\\\&=
2
\end{align}
$$

このように、重積分はどちらの変数から積分しても結果は変わりません。

慣れてきたら断面積を経由せずに計算してみましょう。

$$
\begin{align}
V
&=
\displaystyle\iint_D
f(x, y)
~dS
\\\\&=
\displaystyle\iint_D
x+y
~dS
\\\\&=
\displaystyle\int_0^1
\displaystyle\int_1^2
x+y
~dxdy
\\\\&=
\displaystyle\int_0^1
\left(
\displaystyle\int_1^2
x+y
~dx
\right)
~dy
\\\\&=
\displaystyle\int_0^1
\left(
\left[
\displaystyle\frac{1}{2}x^2+xy
\right]_1^2
\right)
~dy
\\\\&=
\displaystyle\int_0^1
\left(
\displaystyle\frac{3}{2}+y
\right)
~dy
\\\\&=
\displaystyle\int_0^1
\displaystyle\frac{3}{2}+y
~dy
\\\\&=
\left[
\displaystyle\frac{3}{2}y+\displaystyle\frac{1}{2}y^2
\right]_0^1
\\\\&=
2
\end{align}
$$

このように$x$で積分するときは$y$を定数扱いしてあげればOKです。

変数を定数扱いするのは、偏微分の計算と同じイメージです。

変数分離できる場合の計算方法

$$
f(x, y)=g(x)h(y)
$$

のように変数分離できる場合は、以下のように別々の積分にすることができます。

$$
\displaystyle\iint_D
f(x, y)
~dS
=
\displaystyle\int
g(x)
~dx
\displaystyle\int
h(y)
~dy
$$

それでは例題で変数分離の重積分を計算をしてみましょう。

$$
\begin{array}{ll}
f(x,y)=xy
\\\\
D=\{(x,y) ~|~ 1 \leqq x \leqq 2, 0 \leqq y \leqq 1\}
\end{array}
$$

これを$x$から積分する場合、$y$から積分する場合、変数分離する場合の3パターンで計算します。

$x$から積分する場合

$$
\begin{align}
V
&=
\displaystyle\iint_D
xy
~dS
\\\\&=
\displaystyle\int_0^1
\displaystyle\int_1^2
xy
~dxdy
\\\\&=
\displaystyle\int_0^1
\left[
\displaystyle\frac{1}{2}x^2y
\right]_1^2
~dy
\\\\&=
\displaystyle\int_0^1
\displaystyle\frac{3}{2}y
~dy
\\\\&=
\left[
\displaystyle\frac{3}{4}y^2
\right]_0^1
\\\\&=
\displaystyle\frac{3}{4}
\end{align}
$$

$y$から積分する場合

$$
\begin{align}
V
&=
\displaystyle\iint_D
xy
~dS
\\\\&=
\displaystyle\int_1^2
\displaystyle\int_0^1
xy
~dydx
\\\\&=
\displaystyle\int_1^2
\left[
\displaystyle\frac{1}{2}xy^2
\right]_0^1
~dx
\\\\&=
\displaystyle\int_1^2
\displaystyle\frac{1}{2}x
~dx
\\\\&=
\left[
\displaystyle\frac{1}{4}x^2
\right]_1^2
\\\\&=
\displaystyle\frac{3}{4}
\end{align}
$$

変数分離する場合

$$
\begin{align}
V
&=
\displaystyle\iint_D
xy
~dS
\\\\&=
\displaystyle\int_1^2
x
~dx
\displaystyle\int_0^1
y
~dy
\\\\&=
\left[
\displaystyle\frac{1}{2}x^2
\right]_1^2
\cdot
\left[
\displaystyle\frac{1}{2}y^2
\right]_0^1
\\\\&=
\displaystyle\frac{3}{2}
\cdot
\displaystyle\frac{1}{2}
\\\\&=
\displaystyle\frac{3}{4}
\end{align}
$$

どの方法で計算してもOKです。

積分領域が変数の場合の計算方法

積分領域$D$が$xy$の関数で定義されるときは、積分範囲に注意が必要です。

例題として、以下の積分領域$D$で$f(x,y)=x+y$を積分します。

このように積分領域に変数が含まれる場合、どちらかの変数の積分範囲をもう一方の変数で表します。

$y$の積分範囲を$x$で表す場合

$y$の積分範囲を$x$で表した場合は、$y$の積分を先に行います。

$$
\begin{align}
V
&=
\displaystyle\iint_D
x+y
~dS
\\\\&=
\displaystyle\int_0^1
\displaystyle\int_1^{2x}
x+y
~dydx
\\\\&=
\displaystyle\int_0^1
\left[
xy+\displaystyle\frac{1}{2}y^2
\right]_1^{2x}
~dx
\\\\&=
\displaystyle\int_0^1
4x^2
~dx
\\\\&=
\left[
\displaystyle\frac{4}{3}x^3
\right]_0^1
\\\\&=
\displaystyle\frac{4}{3}
\end{align}
$$

$x$の積分範囲を$y$で表す場合

$x$の積分範囲を$y$で表した場合は、$x$の積分を先に行います。

$$
\begin{align}
V
&=
\displaystyle\iint_D
x+y
~dS
\\\\&=
\displaystyle\int_0^2
\displaystyle\int_{\frac{1}{2}y}^1
x+y
~dxdy
\\\\&=
\displaystyle\int_0^2
\left[
\displaystyle\frac{1}{2}x^2+xy
\right]_{\frac{1}{2}y}^1
~dy
\\\\&=
\displaystyle\int_0^2
-\displaystyle\frac{5}{8}y^2+y+\displaystyle\frac{1}{2}
~dy
\\\\&=
\left[
-\displaystyle\frac{5}{24}y^3+\displaystyle\frac{1}{2}y^2+\displaystyle\frac{1}{2}y
\right]_0^2
\\\\&=
\displaystyle\frac{4}{3}
\end{align}
$$

積分の順番を変更する場合の計算方法

以下の重積分を求めます。

$$
\begin{array}{ll}
f(x,y)=\sin x \sin^\alpha y ~~~(0< \alpha)
\\\\
D=\{(x,y) ~|~ 0 \leqq x \leqq \displaystyle\frac{1}{2}\pi, 0 \leqq y \leqq x\}
\end{array}
$$

これは$y$の積分範囲に$x$が含まれているので、先に$y$を積分します。

$$
\begin{align}
V
&=
\displaystyle\iint_D
\sin x \sin^\alpha y
~dS
\\\\&=
\displaystyle\int_0^{\frac{1}{2}\pi}
\displaystyle\int_0^x
\sin x \sin^\alpha y
~dydx
\end{align}
$$

このように式を立てると$\sin^\alpha y$の積分でストップします。

このとき、積分領域$D$の表現方法を変えることで重積分がスムーズにできるときがあります。

上図左側では$y$の積分範囲に$x$が含まれていますが、右側のように$x$の積分範囲に$y$が含まれる形に変更します。

すると重積分の計算は以下のようになります。

$$
\begin{align}
V
&=
\displaystyle\iint_D
\sin x \sin^\alpha y
~dS
\\\\&=
\displaystyle\int_0^{\frac{1}{2}\pi}
\displaystyle\int_y^{\frac{1}{2}\pi}
\sin x \sin^\alpha y
~dxdy
\\\\&=
\displaystyle\int_0^{\frac{1}{2}\pi}
\left[
-\cos x \sin^\alpha y
\right]_y^{\frac{1}{2}\pi}
~dy
\\\\&=
\displaystyle\int_0^{\frac{1}{2}\pi}
\cos y \sin^\alpha y
~dy
\end{align}
$$

ここで置換積分を行います。

$$
\begin{align}
t&=\sin y
\\\\
dt&=\cos y
\end{align}
$$

$$
\begin{array}{ccccc}
y & : & 0 & \to & \displaystyle\frac{1}{2}\pi
\\\\
t & : & 0 & \to & 1
\end{array}
$$

$$
\begin{align}
V
&=
\displaystyle\int_0^{\frac{1}{2}\pi}
\cos y \sin^\alpha y
~dy
\\\\&=
\displaystyle\int_0^1
t^\alpha
~dt
\\\\&=
\left[
\displaystyle\frac{1}{\alpha +1}t^{\alpha +1}
\right]_0^1
\\\\&=
\displaystyle\frac{1}{\alpha +1}
\end{align}
$$

このように簡単に積分することができました。

まとめ

重積分は微小区間$dS$で積分領域$D$を積分します。計算方法は1つの変数に注目した積分を2回行います。

$$
V
=
\displaystyle\iint_D
f(x,y)
~dS
$$

コメント欄