ベクトル $\mathbf{r} = (x, y, z)$、 $r = |\mathbf{r}|$ とする。以下の二つの問題を解く。 1. 積分 $\int_S \mathbf{r} \cdot d\mathbf{S}$ を計算せよ。ここで、$S$ は原点を中心とする半径 $a$ の球面を表す。

解析学ベクトル解析面積分体積分発散定理重積分球面座標系
2025/5/30

1. 問題の内容

ベクトル r=(x,y,z)\mathbf{r} = (x, y, z)r=rr = |\mathbf{r}| とする。以下の二つの問題を解く。

1. 積分 $\int_S \mathbf{r} \cdot d\mathbf{S}$ を計算せよ。ここで、$S$ は原点を中心とする半径 $a$ の球面を表す。

2. 面積分 $\int_S \frac{\mathbf{r}}{r^2} \cdot d\mathbf{S}$ を、変数 $r$ に関する体積分に変換せよ。ここで、$S$ は閉曲面であり、$V$ は $S$ で囲まれた領域とする。

2. 解き方の手順

(1) 積分 SrdS\int_S \mathbf{r} \cdot d\mathbf{S} の計算
SS は半径 aa の球面であるから、球面座標系を使うと便利である。
球面の法線ベクトルは n=rr\mathbf{n} = \frac{\mathbf{r}}{r} となる。よって、dS=ndS=rrdSd\mathbf{S} = \mathbf{n} dS = \frac{\mathbf{r}}{r} dS である。
SrdS=SrrrdS=Sr2rdS=Sr2rdS=SrdS\int_S \mathbf{r} \cdot d\mathbf{S} = \int_S \mathbf{r} \cdot \frac{\mathbf{r}}{r} dS = \int_S \frac{|\mathbf{r}|^2}{r} dS = \int_S \frac{r^2}{r} dS = \int_S r dS
球面上では r=ar = a なので、
SrdS=SadS=aSdS\int_S \mathbf{r} \cdot d\mathbf{S} = \int_S a dS = a \int_S dS
SdS\int_S dS は球の表面積に等しい。半径 aa の球の表面積は 4πa24\pi a^2 なので、
SrdS=a(4πa2)=4πa3\int_S \mathbf{r} \cdot d\mathbf{S} = a (4\pi a^2) = 4\pi a^3
(2) 面積分 Srr2dS\int_S \frac{\mathbf{r}}{r^2} \cdot d\mathbf{S} の体積分への変換
発散定理を用いる。発散定理とは、ベクトル場 F\mathbf{F} に対して、
SFdS=VFdV\int_S \mathbf{F} \cdot d\mathbf{S} = \int_V \nabla \cdot \mathbf{F} dV
が成り立つという定理である。ここで、VV は閉曲面 SS で囲まれた領域を表す。
F=rr2\mathbf{F} = \frac{\mathbf{r}}{r^2} とすると、F=(rr2)\nabla \cdot \mathbf{F} = \nabla \cdot \left(\frac{\mathbf{r}}{r^2}\right) を計算する必要がある。
r=(x,y,z)\mathbf{r} = (x, y, z)r=x2+y2+z2r = \sqrt{x^2 + y^2 + z^2} である。
rr2=(xx2+y2+z2,yx2+y2+z2,zx2+y2+z2)\frac{\mathbf{r}}{r^2} = \left(\frac{x}{x^2+y^2+z^2}, \frac{y}{x^2+y^2+z^2}, \frac{z}{x^2+y^2+z^2}\right)
(rr2)=x(xx2+y2+z2)+y(yx2+y2+z2)+z(zx2+y2+z2)\nabla \cdot \left(\frac{\mathbf{r}}{r^2}\right) = \frac{\partial}{\partial x} \left(\frac{x}{x^2+y^2+z^2}\right) + \frac{\partial}{\partial y} \left(\frac{y}{x^2+y^2+z^2}\right) + \frac{\partial}{\partial z} \left(\frac{z}{x^2+y^2+z^2}\right)
=(x2+y2+z2)x(2x)(x2+y2+z2)2+(x2+y2+z2)y(2y)(x2+y2+z2)2+(x2+y2+z2)z(2z)(x2+y2+z2)2= \frac{(x^2+y^2+z^2) - x(2x)}{(x^2+y^2+z^2)^2} + \frac{(x^2+y^2+z^2) - y(2y)}{(x^2+y^2+z^2)^2} + \frac{(x^2+y^2+z^2) - z(2z)}{(x^2+y^2+z^2)^2}
=3(x2+y2+z2)2(x2+y2+z2)(x2+y2+z2)2=x2+y2+z2(x2+y2+z2)2=1x2+y2+z2=1r2= \frac{3(x^2+y^2+z^2) - 2(x^2+y^2+z^2)}{(x^2+y^2+z^2)^2} = \frac{x^2+y^2+z^2}{(x^2+y^2+z^2)^2} = \frac{1}{x^2+y^2+z^2} = \frac{1}{r^2}
したがって、
Srr2dS=V(rr2)dV=V1r2dV\int_S \frac{\mathbf{r}}{r^2} \cdot d\mathbf{S} = \int_V \nabla \cdot \left(\frac{\mathbf{r}}{r^2}\right) dV = \int_V \frac{1}{r^2} dV
ただし、領域 VV が原点を含まない場合、(rr2)=0 \nabla \cdot (\frac{\mathbf{r}}{r^2}) = 0となる。
もし領域 VV が原点を含むなら、(rr2)=4πδ(r)\nabla \cdot (\frac{\mathbf{r}}{r^2}) = 4\pi \delta(\mathbf{r}) となり、積分結果は 4π4\piとなる。(δ(r)\delta(\mathbf{r})はディラックのデルタ関数)
発散定理を使うためには、SSで囲まれるVVにおいて、F\mathbf{F}が連続微分可能であることが必要である。
F=rr2\mathbf{F} = \frac{\mathbf{r}}{r^2} は原点で定義できないので、VVが原点を含まないときは F=0\nabla \cdot \mathbf{F}=0となり、面積分は0。
VVが原点を含むときは、原点に非常に近い半径ϵ\epsilonの球面で囲まれた領域VV'VVから除いて発散定理を適用し、ϵ0\epsilon \rightarrow 0 の極限をとることで、 Srr2dS=4π\int_S \frac{\mathbf{r}}{r^2} \cdot d\mathbf{S}= 4\piとなる。

3. 最終的な答え

(1) SrdS=4πa3\int_S \mathbf{r} \cdot d\mathbf{S} = 4\pi a^3
(2) 領域VVが原点を含まない場合: Srr2dS=0\int_S \frac{\mathbf{r}}{r^2} \cdot d\mathbf{S} = 0
領域VVが原点を含む場合: Srr2dS=4π\int_S \frac{\mathbf{r}}{r^2} \cdot d\mathbf{S} = 4\pi

「解析学」の関連問題

$0 < a < b$ を満たす定数 $a, b$ があり、$y = \log x$ のグラフを $G$ とする。曲線 $G$ 上の点 $C$ が点 $A(a, \log a)$ から点 $B(b, ...

対数関数平均値の定理微分最大値不等式
2025/5/31

関数 $y = \log x$ 上の点A $(a, \log a)$ から点B $(b, \log b)$ まで動くとき、曲線上の点Cからx軸への垂線の足をPとし、線分CPの長さの最大値をLとする。以...

対数関数微分平均値の定理最大値不等式
2025/5/31

問題は以下の2つの部分から構成されています。 (1) $0 < a < b$ を満たす定数 $a, b$ が与えられたとき、不等式 $a < \frac{b-a}{\log b - \log a} <...

不等式平均値の定理対数関数最大値微分
2025/5/31

与えられた関数 $f(x, y)$ について、条件 $g(x, y) = 0$ の下で、ラグランジュの未定乗数法を用いて、その最大値と最小値を求める。問題には4つのケースが含まれる。

ラグランジュの未定乗数法最大値最小値多変数関数偏微分
2025/5/31

与えられた無限級数 $\sum_{n=1}^{\infty} \frac{1}{n(n+2)}$ の値を求める問題です。

無限級数部分分数分解収束級数の和
2025/5/31

媒介変数 $t$ を用いて表された関数 $y = f(x)$ について、以下の問いに答えます。 (1) 関数 $f(x)$ の極値を求めます。 (2) $\cos(4t \pm 3t) = \cos ...

媒介変数表示極値積分面積三角関数
2025/5/31

与えられた6つの関数について、それぞれの定義域と値域を求める問題です。

関数の定義域関数の値域分数関数二次関数平方根
2025/5/31

与えられた関数 $f(x) = \frac{1}{1+x^2}$ の $x=0$ におけるテイラー展開(マクローリン展開)を求める問題です。

テイラー展開マクローリン展開級数関数等比数列
2025/5/31

媒介変数 $t$ で表された関数 $x = -\cos(3t)$, $y = \sin(4t)$ ($0 \le t \le \frac{\pi}{4}$)で定義される関数 $y=f(x)$ について...

媒介変数表示微分積分増減面積
2025/5/31

次の関数について、$x=0$ におけるテイラー展開(マクローリン展開)を求め、収束域を求める問題です。対象となる関数は以下の10個です。 (1) $\cosh x$ (2) $\sinh x$ (3)...

テイラー展開マクローリン展開収束域関数
2025/5/31