문제 은행 · 미적분 · 대학 미적분 · 벡터 미적분

발산 정리

먼저 혼자 풀어 보고, 풀이로 확인한 다음, 아래 「한 번 더」 문제로 이어서 연습하세요.

CLP-4 · 4.2절 · 19번대학 수준우리말 번역

SS 를 구 x2+y2+z2=4x^2 + y^2 + z^2 = 4 중에서 평면 z=1z = 1 과 z=0z = 0 사이에 있는 부분이라 하고, 원점에서 멀어지는 방향을 향하도록 방향을 주자.

F=(ey+xz) ı^+(zy+sin⁡(x)) ȷ^+(z2−1) k^\begin{aligned} \mathbf{F} = (e^y + xz)\,\hat{\boldsymbol{\imath}} + (zy + \sin(x))\,\hat{\boldsymbol{\jmath}} + (z^2 - 1)\,\hat{\mathbf{k}} \end{aligned}

이라 할 때, 다음 플럭스 적분의 값을 구하세요.

∬SF⋅n^ dS.\begin{aligned} \iint _S \mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S. \end{aligned}

영어 원문 보기

Let SS be the part of the sphere x2+y2+z2=4x^2 + y^2 + z^2 = 4 between the planes z=1z = 1 and z=0z = 0 oriented away from the origin. Let

F=(ey+xz) ı^+(zy+sin⁡(x)) ȷ^+(z2−1) k^\begin{aligned} \mathbf{F} = (e^y + xz)\,\hat{\boldsymbol{\imath}} + (zy + \sin(x))\,\hat{\boldsymbol{\jmath}} + (z^2 - 1)\,\hat{\mathbf{k}} \end{aligned}

Compute the flux integral

∬SF⋅n^ dS.\begin{aligned} \iint _S \mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S. \end{aligned}

답 쓰고 채점
정답·풀이 보기

이 적분을 예를 들어 구면좌표를 써서 직접 계산하려 하면, 피적분함수에

sin⁡(x)=sin⁡(2sin⁡φcos⁡θ)\sin(x) = \sin\big(2\sin\varphi\cos\theta\big)

가 들어 있게 된다. 이는 그다지 다루기 좋은 꼴이 아니다. 그래서 대신 발산 정리를 이용해 보자. 먼저,

∇⋅F=∂∂x(ey+xz)+∂∂y(zy+sin⁡(x))+∂∂z(z2−1)=4z\begin{aligned} { \boldsymbol{\nabla} }\cdot\mathbf{F} &= \frac{\partial }{\partial x}\big(e^y + xz\big) +\frac{\partial }{\partial y}\big(zy + \sin(x)\big) +\frac{\partial }{\partial z}\big(z^2 - 1\big) = 4z \end{aligned}

이다. 매우 간단하다. 이제 SS 를 살펴보자. SS 중 제1팔분공간에 있는 부분은 아래 왼쪽 그림에 빨간색으로 표시되어 있다.

그림

그림

곡면 SS 는 닫혀 있지 않으므로 어떤 입체의 경계가 아니고, 따라서 발산 정리를 바로 적용할 수 없다. 그러나 경계가 SS 를 포함하는 입체를 쉽게 만들 수 있다.

V={ (x,y,z) ∣ x2+y2+z2≤4, 0≤z≤1 }V=\big\{ \ (x,y,z)\ \big|\ x^2 + y^2 + z^2 \le 4,\ 0\le z\le 1\ \big\}

이라 하자. VV 의 경계 ∂V\partial V 는 세 부분, 즉 SS, 아래쪽 원판

Db={ (x,y,z) ∣ x2+y2≤4, z=0 }D_b = \big\{ \ (x,y,z)\ \big|\ x^2 + y^2 \le 4,\ z=0\ \big\}

그리고 위쪽 원판

Dt={ (x,y,z) ∣ x2+y2≤3, z=1 }D_t = \big\{ \ (x,y,z)\ \big|\ x^2 + y^2 \le 3,\ z=1\ \big\}

으로 이루어진다. DtD_t 의 바깥쪽 법선벡터는 k^\hat{\mathbf{k}} 이고 DbD_b 의 바깥쪽 법선벡터는 −k^-\hat{\mathbf{k}} 이다. 따라서 발산 정리에 의해

∭V∇⋅F dV=∬∂VF⋅n^ dS=∬SF⋅n^ dS+∬DtF⋅k^ dS+∬DbF⋅(−k^) dS\begin{aligned} \iiint _V{ \boldsymbol{\nabla} }\cdot\mathbf{F}\,\mathrm{d}V =\iint _{\partial V} \mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S =\iint _S \mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S +\iint _{D_t} \mathbf{F}\cdot\hat{\mathbf{k}}\,\mathrm{d}S +\iint _{D_b} \mathbf{F}\cdot(-\hat{\mathbf{k}})\,\mathrm{d}S \end{aligned}

이다. DbD_b 위에서는 z=0z=0 이므로 F⋅(−k^)=−(02−1)=1\mathbf{F}\cdot(-\hat{\mathbf{k}}) = -(0^2-1)=1 이고, DtD_t 위에서는 z=1z=1 이므로 F⋅k^=12−1=0\mathbf{F}\cdot\hat{\mathbf{k}} = 1^2-1=0 이다. 따라서

∬SF⋅n^ dS=∭V4z⏞∇⋅F dV−∬DbdS\begin{aligned} \iint _S \mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S =\iiint _V\overbrace{4z}^{{ \boldsymbol{\nabla} }\cdot\mathbf{F}}\,\mathrm{d}V -\iint _{D_b} \mathrm{d}S \end{aligned}

이다. VV 의 zz 가 일정한 단면은 반지름이 4−z2\sqrt{4-z^2} 인 원판이므로 넓이가 π(4−z2)\pi(4-z^2) 이고, DbD_b 는 반지름이 22 인 원판이므로 넓이가 4π4\pi 이다. 따라서

∬SF⋅n^ dS=∫01(4z) π(4−z2) dz−4π=4π[2z2−z44]01−4π=3π\begin{aligned} \iint _S \mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S &=\int_0^1 (4z)\ \pi(4-z^2) \ \mathrm{d}z -4\pi =4\pi\Big[2z^2 - \frac{z^4}{4}\Big]_0^1 -4\pi =3\pi \end{aligned}

이다.

원본 교재 풀이(영어)

If we were to evaluate this integral directly using, for example, spherical coordinates, our integrand would contain

sin⁡(x)=sin⁡(2sin⁡φcos⁡θ)\sin(x) = \sin\big(2\sin\varphi\cos\theta\big)

That's not very friendly looking. So let's consider using the divergence theorem instead. To start,

∇⋅F=∂∂x(ey+xz)+∂∂y(zy+sin⁡(x))+∂∂z(z2−1)=4z\begin{aligned} { \boldsymbol{\nabla} }\cdot\mathbf{F} &= \frac{\partial }{\partial x}\big(e^y + xz\big) +\frac{\partial }{\partial y}\big(zy + \sin(x)\big) +\frac{\partial }{\partial z}\big(z^2 - 1\big) = 4z \end{aligned}

That's nice and simple. So let's move on to consideration of SS. The part of SS in the first octant is outlined in red in the figure on the left below.

figure

figure

The surface SS is not closed, and so is not the boundary of a solid, so we cannot apply the divergence theorem directly. But we can easily come up with a solid whose boundary contains SS. Let

V={ (x,y,z) ∣ x2+y2+z2≤4, 0≤z≤1 }V=\big\{ \ (x,y,z)\ \big|\ x^2 + y^2 + z^2 \le 4,\ 0\le z\le 1\ \big\}

The boundary ∂V\partial V of VV consists of three parts — SS, the bottom disk

Db={ (x,y,z) ∣ x2+y2≤4, z=0 }D_b = \big\{ \ (x,y,z)\ \big|\ x^2 + y^2 \le 4,\ z=0\ \big\}

and the top disk

Dt={ (x,y,z) ∣ x2+y2≤3, z=1 }D_t = \big\{ \ (x,y,z)\ \big|\ x^2 + y^2 \le 3,\ z=1\ \big\}

The outward normal to DtD_t is k^\hat{\mathbf{k}} and the outward normal to DbD_b is −k^-\hat{\mathbf{k}}. So the divergence theorem gives

∭V∇⋅F dV=∬∂VF⋅n^ dS=∬SF⋅n^ dS+∬DtF⋅k^ dS+∬DbF⋅(−k^) dS\begin{aligned} \iiint _V{ \boldsymbol{\nabla} }\cdot\mathbf{F}\,\mathrm{d}V =\iint _{\partial V} \mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S =\iint _S \mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S +\iint _{D_t} \mathbf{F}\cdot\hat{\mathbf{k}}\,\mathrm{d}S +\iint _{D_b} \mathbf{F}\cdot(-\hat{\mathbf{k}})\,\mathrm{d}S \end{aligned}

On DbD_b, z=0z=0 so that F⋅(−k^)=−(02−1)=1\mathbf{F}\cdot(-\hat{\mathbf{k}}) = -(0^2-1)=1 and on DtD_t, z=1z=1 so that F⋅k^=12−1=0\mathbf{F}\cdot\hat{\mathbf{k}} = 1^2-1=0. So

∬SF⋅n^ dS=∭V4z⏞∇⋅F dV−∬DbdS\begin{aligned} \iint _S \mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S =\iiint _V\overbrace{4z}^{{ \boldsymbol{\nabla} }\cdot\mathbf{F}}\,\mathrm{d}V -\iint _{D_b} \mathrm{d}S \end{aligned}

The constant zz cross-section of VV is a disk of radius 4−z2\sqrt{4-z^2} and hence of area π(4−z2)\pi(4-z^2) and DbD_b is a disk of radius 22 and hence of area 4π4\pi. So

∬SF⋅n^ dS=∫01(4z) π(4−z2) dz−4π=4π[2z2−z44]01−4π=3π\begin{aligned} \iint _S \mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S &=\int_0^1 (4z)\ \pi(4-z^2) \ \mathrm{d}z -4\pi =4\pi\Big[2z^2 - \frac{z^4}{4}\Big]_0^1 -4\pi =3\pi \end{aligned}

한 번 더 — 비슷한 문제CLP-4 · 4.2절 · 9번우리말 번역

BB 를 점 (x0,y0,z0)(x_0, y_0, z_0) 을 중심으로 하는 부피 VV 의 공이라 하고, SS 를 BB 의 경계인 구면이라 하자. F=x2ı^+xyȷ^+(3z−yz)k^\mathbf{F} = x^2\hat{\boldsymbol{\imath}} + xy\hat{\boldsymbol{\jmath}}+(3 z - yz)\hat{\mathbf{k}} 가 SS 를 (BB 로부터) 바깥쪽으로 통과하는 플럭스를 구하세요.

다 풀었으면 정답 확인

발산 정리를 적용한다. F\mathbf{F} 의 발산은 다음과 같다.

∇⋅F=∂∂x(x2)+∂∂y(xy)+∂∂z(3z−yz)=3+3x−y{ \boldsymbol{\nabla} }\cdot\mathbf{F} = \frac{\partial }{\partial x}(x^2) +\frac{\partial }{\partial y}(xy) +\frac{\partial }{\partial z}(3 z - yz) =3+3x-y

따라서

∬SF⋅n^ dS=∭B∇⋅F dV=∭B(3+3x−y) dV\begin{aligned} \iint _S\mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S =\iiint _B{ \boldsymbol{\nabla} }\cdot\mathbf{F}\ \mathrm{d}V =\iiint _B(3+3x-y)\ \mathrm{d}V \end{aligned}

이다.

xx 와 yy 의 적분을 계산하기 위해, R3\mathbb{R}^3 의 임의의 입체 V\mathcal{V} 에 대해 다음이 성립함을 이용한다.

∭VdV=부피(V)xˉ=∭Vx dV부피(V)yˉ=∭Vy dV부피(V)zˉ=∭Vz dV부피(V)\begin{aligned} \iiint _\mathcal{V}\mathrm{d}V=\text{부피}(\mathcal{V})\qquad \bar x =\frac{\iiint _\mathcal{V} x\,\mathrm{d}V}{\text{부피}(\mathcal{V})}\qquad \bar y =\frac{\iiint _\mathcal{V} y\,\mathrm{d}V}{\text{부피}(\mathcal{V})}\qquad \bar z =\frac{\iiint _\mathcal{V} z\,\mathrm{d}V}{\text{부피}(\mathcal{V})} \end{aligned}

여기서 (xˉ,yˉ,zˉ)(\bar x,\bar y,\bar z) 는 V\mathcal{V} 의 무게중심이다. 주어진 공의 부피는 VV 이고 무게중심은 (xˉ,yˉ,zˉ)=(x0,y0,z0)(\bar x,\bar y,\bar z) = (x_0,y_0,z_0) 이다. 따라서

∬SF⋅n^ dS=V[3+3xˉ−yˉ]=[3+3x0−y0] V\begin{aligned} \iint _S\mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S = V[3+3\bar x-\bar y] =[3+3x_0-y_0]\,V \end{aligned}

이다.

이 문제로 이어서 풀기
# 발산 정리계산보통자동 분류
CLP-4 Vector Calculus CC BY-NC-SA 4.0우리말 번역: 빌드라인 스쿨 — AI 번역·자동 검토(원문과 같은 조건)

「발산 정리」 문제 목록으로