[문제 풀이] 면적분, 발산 정리의 응용

$S$는 곡면 $x^2+y^2+z^2=1,x+y+z\ge 1$이다. $F(x,y,z)=(z+1,0,x+y)$일 때 $|{\iint }_{S}F\cdot dS|$의 값은?

---

사실 저는 이 벡터장에 대한 면적분의 표현방법을 그리 좋아하지 않아요. 물론 이해하고 나면 구분할 수 있지만, 처음 배우는 분들은 헷갈리기 쉬운 표기죠. 제 생각엔 표기에 일관성도 부족해 보여요. 스칼라장에 대한 면적분으로 표현해 보면$$|{\iint }_{S}F\cdot \eta dS|$$라고 쓸 수 있죠. 여기서 $\eta$는 곡면 $S$의 단위 법벡터를 나타내는 벡터장이에요.

이 적분은 3차원 공간의 각 점에서 $F$라는 힘이 작용할 때 $S$를 지나는 힘의 크기를 구하는 거죠. 그래서 수직방향의 힘의 크기를 적분하는 거예요. 물론 $S$의 방향이 정해져 있지 않다면 $\eta$의 방향을 알 수 없지만, $S$에 수직인 두 단위 벡터장은 서로 -1을 곱해서 얻을 수 있으니 두 경우에서 면적분의 절댓값은 같죠.

https://www.desmos.com/3d/olhzjmd7je

Desmos | 3D 그래핑 계산기

구면의 단위 법벡터는 비교적 쉽게 표현할 수 있지만, 위의 링크에서 확인할 수 있는 것처럼 중적분으로 고치기가 까다로워요. $dxdy$로 적분하려면 적분영역을 나눠야 하고, 각각의 범위도 정하기 어렵죠.

그래서 발산 정리 divergence theorem를 이용해 곡면을 바꿔주는 거예요. $V$라는 입체의 경계를 $S_{\ast }$, $V$의 외부를 향하는 $S_{\ast }$의 단위 법벡터를 ${\eta }_{\ast }$라 하면$${\iiint }_V\mathrm{\nabla }\cdot FdV={\iint }_{S_{\ast }}F\cdot {\eta }_{\ast }d{S}_{\ast }$$라는 게 바로 발산 정리죠. 물론 세부적인 조건이 더 있지만 여기서는 생략하도록 할게요.

$V$를 $x^2+y^2+z^2\le 1$과 $x+y+z\ge 1$로 정의하는 입체라면 $D$를 $x+y+z=1,x^2+y^2+z^2\le 1$로 정의하는 평면의 부분집합이라고 할 때, $S_{\ast }=S\cup D$가 되죠.

${\iiint }_V\mathrm{\nabla }\cdot FdV=0$이니$${\iint }_{S}F\cdot (x,y,z)dS=-{\iint }_{D}F\cdot \frac{(-1,-1,-1)}{\sqrt{3}}dD$$가 성립해요. 즉,$$|{\iint }_{S}F\cdot dS|=\left|{\iint }_D\frac{(z+1+x+y)}{\sqrt{3}}dD\right|=\frac{2}{\sqrt{3}}{\iint }_{D}dD$$이죠. 마지막 면적분이 $D$의 넓이가 되고, $D$는 반지름이 $\sqrt{\frac{2}{3}}$인 원과 그 내부이니$$|{\iint }_{S}F\cdot dS|=\frac{4\sqrt{3}}{9}\pi$$가 되겠네요.