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

벡터 미적분 전체 문제

이 단원의 모든 연습문제입니다. 소단원으로 좁혀 보려면 아래 꼬리표를 누르세요.

유형·난이도는 우리말 풀이가 붙은 문제는 선생님이 정했고, 나머지는 자동 분류라 다를 수 있어요. 난이도가 정해지지 않은 문제는 난이도로 거를 때 빠집니다.

712문제 · 34 / 36쪽

661.CLP-4 · 4.1절 · 13번대학 수준우리말 번역

벡터장 F\mathbf{F} 가 R3\mathbb{R}^3 전체에서 ∇⋅F=0{ \boldsymbol{\nabla} }\cdot \mathbf{F}=0 을 만족한다고 가정하세요.

r(t)=tx ı^+ty ȷ^+tz k^,0≤t≤1\mathbf{r}(t)=tx\,\hat{\boldsymbol{\imath}}+ty\,\hat{\boldsymbol{\jmath}}+tz\,\hat{\mathbf{k}},\qquad 0\le t\le 1

을 원점에서 (x,y,z)(x,y,z) 까지의 선분의 매개변수 표현이라고 하고,

G(x,y,z)=∫01t F(r(t))×drdt(t) dt\mathbf{G}(x,y,z)=\int_0^1 t\,\mathbf{F}\big(\mathbf{r}(t)\big)\times\frac{d\mathbf{r}}{dt}(t)\,dt

로 정의합니다. R3\mathbb{R}^3 전체에서 ∇×G=F{ \boldsymbol{\nabla} }\times \mathbf{G}=\mathbf{F} 임을 보이세요.

영어 원문 보기

Suppose that the vector field F\mathbf{F} obeys ∇⋅F=0{ \boldsymbol{\nabla} }\cdot \mathbf{F}=0 in all of R3\mathbb{R}^3. Let

r(t)=tx ı^+ty ȷ^+tz k^,0≤t≤1\mathbf{r}(t)=tx\,\hat{\boldsymbol{\imath}}+ty\,\hat{\boldsymbol{\jmath}}+tz\,\hat{\mathbf{k}},\qquad 0\le t\le 1

be a parametrization of the line segment from the origin to (x,y,z)(x,y,z). Define

G(x,y,z)=∫01t F(r(t))×drdt(t) dt\mathbf{G}(x,y,z)=\int_0^1 t\,\mathbf{F}\big(\mathbf{r}(t)\big)\times\frac{d\mathbf{r}}{dt}(t)\,dt

Show that ∇×G=F{ \boldsymbol{\nabla} }\times \mathbf{G}=\mathbf{F} throughout R3\mathbb{R}^3.

정답·풀이 보기

∂G3∂y−∂G2∂z=F1\frac{\partial G_3}{\partial y}-\frac{\partial G_2}{\partial z}=F_1 임을 보이겠다. 나머지 성분도 이와 비슷하다. 먼저

t F(r(t))×drdt(t)=t F(tx,ty,tz)×(x ı^+y ȷ^+z k^)=tdet⁡[ı^ȷ^k^F1F2F3xyz]\begin{aligned} t\,\mathbf{F}\big(\mathbf{r}(t)\big)\times\frac{\mathrm{d}\mathbf{r}}{\mathrm{d}t}(t) &=t\,\mathbf{F}\big(tx,ty,tz\big)\times\big(x\,\hat{\boldsymbol{\imath}}+y\,\hat{\boldsymbol{\jmath}}+z\,\hat{\mathbf{k}}\big) =t\det\left[\begin{matrix}\hat{\boldsymbol{\imath}} & \hat{\boldsymbol{\jmath}} & \hat{\mathbf{k}} \\ F_1 & F_2 & F_3\\ x & y & z\end{matrix}\right] \end{aligned}

이다. 행렬식의 k^\hat{\mathbf{k}} 성분과 ȷ^\hat{\boldsymbol{\jmath}} 성분을 읽으면

G3(x,y,z)=∫01t[F1(tx,ty,tz) y−F2(tx,ty,tz) x] dtG2(x,y,z)=∫01t[F3(tx,ty,tz) x−F1(tx,ty,tz) z] dt\begin{aligned} G_3(x,y,z)&=\int_0^1 t\big[F_1\big(tx,ty,tz\big)\,y-F_2\big(tx,ty,tz\big)\,x\big]\,dt\\ G_2(x,y,z)&=\int_0^1 t\big[F_3\big(tx,ty,tz\big)\,x-F_1\big(tx,ty,tz\big)\,z\big]\,dt \end{aligned}

이다. 따라서

∂G3∂y=∫01t[F1(tx,ty,tz)+∂F1∂y(tx,ty,tz) ty−∂F2∂y(tx,ty,tz) tx] dt∂G2∂z=∫01t[∂F3∂z(tx,ty,tz) tx−∂F1∂z(tx,ty,tz) tz−F1(tx,ty,tz)] dt⇒∂G3∂y−∂G2∂z=∫01[2t F1(tx,ty,tz)+t2y ∂F1∂y(tx,ty,tz)+t2z∂F1∂z(tx,ty,tz)−t2x ∂F2∂y(tx,ty,tz)−t2x ∂F3∂z(tx,ty,tz)] dt\begin{aligned} \frac{\partial G_3}{\partial y} &=\int_0^1 t\Big[F_1\big(tx,ty,tz\big)+ \frac{\partial F_1}{\partial y}\big(tx,ty,tz\big)\,ty -\frac{\partial F_2}{\partial y}\big(tx,ty,tz\big)\,tx\Big]\,dt\\ \frac{\partial G_2}{\partial z}&=\int_0^1 t\Big[ \frac{\partial F_3}{\partial z}\big(tx,ty,tz\big)\,tx -\frac{\partial F_1}{\partial z}\big(tx,ty,tz\big)\,tz -F_1\big(tx,ty,tz\big)\Big]\,dt\\ \Rightarrow \frac{\partial G_3}{\partial y}-\frac{\partial G_2}{\partial z} &=\int_0^1 \Big[2t\,F_1\big(tx,ty,tz\big)+ t^2y\,\frac{\partial F_1}{\partial y}\big(tx,ty,tz\big) +t^2z\frac{\partial F_1}{\partial z}\big(tx,ty,tz\big)\\ & -t^2x\,\frac{\partial F_2}{\partial y}\big(tx,ty,tz\big) -t^2x\,\frac{\partial F_3}{\partial z}\big(tx,ty,tz\big)\Big]\,dt \end{aligned}

이다. 가정에 의해 ∇⋅F=∂F1∂x+∂F2∂y+∂F3∂z=0{ \boldsymbol{\nabla} }\cdot\mathbf{F}=\frac{\partial F_1}{\partial x} +\frac{\partial F_2}{\partial y} +\frac{\partial F_3}{\partial z}=0 이므로 마지막 두 항은

−t2x{∂F2∂y(tx,ty,tz)+∂F3∂z(tx,ty,tz)}=−t2x{−∂F1∂x(tx,ty,tz)}\begin{aligned} -t^2x\Big\{\frac{\partial F_2}{\partial y}\big(tx,ty,tz\big) +\frac{\partial F_3}{\partial z}\big(tx,ty,tz\big)\Big\} =-t^2x\Big\{-\frac{\partial F_1}{\partial x}\big(tx,ty,tz\big)\Big\} \end{aligned}

이고, 따라서

∂G3∂y−∂G2∂z=∫01[2tF1(tx,ty,tz)+t2x∂F1∂x(tx,ty,tz)+t2y∂F1∂y(tx,ty,tz)+t2z∂F1∂z(tx,ty,tz)] dt=∫01ddt[t2F1(tx,ty,tz)] dt=[t2F1(tx,ty,tz)]t=0t=1=F1(x,y,z)\begin{aligned} &\frac{\partial G_3}{\partial y}-\frac{\partial G_2}{\partial z} \\ &=\int_0^1 \Big[2tF_1\big(tx,ty,tz\big)+ t^2x\frac{\partial F_1}{\partial x}\big(tx,ty,tz\big) +t^2y\frac{\partial F_1}{\partial y}\big(tx,ty,tz\big) +t^2z\frac{\partial F_1}{\partial z}\big(tx,ty,tz\big)\Big]\,dt\\ &=\int_0^1 \frac{d}{dt}\Big[ t^2 F_1(tx,ty,tz)\Big]\,dt =\Big[ t^2 F_1(tx,ty,tz)\Big]^{t=1}_{t=0} = F_1(x,y,z) \end{aligned}

이다.

원본 교재 풀이(영어)

We shall show that ∂G3∂y−∂G2∂z=F1\frac{\partial G_3}{\partial y}-\frac{\partial G_2}{\partial z}=F_1. The other components are similar. First we have

t F(r(t))×drdt(t)=t F(tx,ty,tz)×(x ı^+y ȷ^+z k^)=tdet⁡[ı^ȷ^k^F1F2F3xyz]\begin{aligned} t\,\mathbf{F}\big(\mathbf{r}(t)\big)\times\frac{\mathrm{d}\mathbf{r}}{\mathrm{d}t}(t) &=t\,\mathbf{F}\big(tx,ty,tz\big)\times\big(x\,\hat{\boldsymbol{\imath}}+y\,\hat{\boldsymbol{\jmath}}+z\,\hat{\mathbf{k}}\big) =t\det\left[\begin{matrix}\hat{\boldsymbol{\imath}} & \hat{\boldsymbol{\jmath}} & \hat{\mathbf{k}} \\ F_1 & F_2 & F_3\\ x & y & z\end{matrix}\right] \end{aligned}

Reading off the k^\hat{\mathbf{k}} and ȷ^\hat{\boldsymbol{\jmath}} components of the determinant gives

G3(x,y,z)=∫01t[F1(tx,ty,tz) y−F2(tx,ty,tz) x] dtG2(x,y,z)=∫01t[F3(tx,ty,tz) x−F1(tx,ty,tz) z] dt\begin{aligned} G_3(x,y,z)&=\int_0^1 t\big[F_1\big(tx,ty,tz\big)\,y-F_2\big(tx,ty,tz\big)\,x\big]\,dt\\ G_2(x,y,z)&=\int_0^1 t\big[F_3\big(tx,ty,tz\big)\,x-F_1\big(tx,ty,tz\big)\,z\big]\,dt \end{aligned}

So

∂G3∂y=∫01t[F1(tx,ty,tz)+∂F1∂y(tx,ty,tz) ty−∂F2∂y(tx,ty,tz) tx] dt∂G2∂z=∫01t[∂F3∂z(tx,ty,tz) tx−∂F1∂z(tx,ty,tz) tz−F1(tx,ty,tz)] dt⇒∂G3∂y−∂G2∂z=∫01[2t F1(tx,ty,tz)+t2y ∂F1∂y(tx,ty,tz)+t2z∂F1∂z(tx,ty,tz)−t2x ∂F2∂y(tx,ty,tz)−t2x ∂F3∂z(tx,ty,tz)] dt\begin{aligned} \frac{\partial G_3}{\partial y} &=\int_0^1 t\Big[F_1\big(tx,ty,tz\big)+ \frac{\partial F_1}{\partial y}\big(tx,ty,tz\big)\,ty -\frac{\partial F_2}{\partial y}\big(tx,ty,tz\big)\,tx\Big]\,dt\\ \frac{\partial G_2}{\partial z}&=\int_0^1 t\Big[ \frac{\partial F_3}{\partial z}\big(tx,ty,tz\big)\,tx -\frac{\partial F_1}{\partial z}\big(tx,ty,tz\big)\,tz -F_1\big(tx,ty,tz\big)\Big]\,dt\\ \Rightarrow \frac{\partial G_3}{\partial y}-\frac{\partial G_2}{\partial z} &=\int_0^1 \Big[2t\,F_1\big(tx,ty,tz\big)+ t^2y\,\frac{\partial F_1}{\partial y}\big(tx,ty,tz\big) +t^2z\frac{\partial F_1}{\partial z}\big(tx,ty,tz\big)\\ & -t^2x\,\frac{\partial F_2}{\partial y}\big(tx,ty,tz\big) -t^2x\,\frac{\partial F_3}{\partial z}\big(tx,ty,tz\big)\Big]\,dt \end{aligned}

Since, by hypothesis, ∇⋅F=∂F1∂x+∂F2∂y+∂F3∂z=0{ \boldsymbol{\nabla} }\cdot\mathbf{F}=\frac{\partial F_1}{\partial x} +\frac{\partial F_2}{\partial y} +\frac{\partial F_3}{\partial z}=0, the last two terms

−t2x{∂F2∂y(tx,ty,tz)+∂F3∂z(tx,ty,tz)}=−t2x{−∂F1∂x(tx,ty,tz)}\begin{aligned} -t^2x\Big\{\frac{\partial F_2}{\partial y}\big(tx,ty,tz\big) +\frac{\partial F_3}{\partial z}\big(tx,ty,tz\big)\Big\} =-t^2x\Big\{-\frac{\partial F_1}{\partial x}\big(tx,ty,tz\big)\Big\} \end{aligned}

so that

∂G3∂y−∂G2∂z=∫01[2tF1(tx,ty,tz)+t2x∂F1∂x(tx,ty,tz)+t2y∂F1∂y(tx,ty,tz)+t2z∂F1∂z(tx,ty,tz)] dt=∫01ddt[t2F1(tx,ty,tz)] dt=[t2F1(tx,ty,tz)]t=0t=1=F1(x,y,z)\begin{aligned} &\frac{\partial G_3}{\partial y}-\frac{\partial G_2}{\partial z} \\ &=\int_0^1 \Big[2tF_1\big(tx,ty,tz\big)+ t^2x\frac{\partial F_1}{\partial x}\big(tx,ty,tz\big) +t^2y\frac{\partial F_1}{\partial y}\big(tx,ty,tz\big) +t^2z\frac{\partial F_1}{\partial z}\big(tx,ty,tz\big)\Big]\,dt\\ &=\int_0^1 \frac{d}{dt}\Big[ t^2 F_1(tx,ty,tz)\Big]\,dt =\Big[ t^2 F_1(tx,ty,tz)\Big]^{t=1}_{t=0} = F_1(x,y,z) \end{aligned}

한 번 더 — 비슷한 문제 풀기CLP-4 · 4.1절 · 4번
# 발산과 회전증명·논술도전자동 분류
CLP-4 Vector Calculus CC BY-NC-SA 4.0우리말 번역: 빌드라인 스쿨 — AI 번역·자동 검토(원문과 같은 조건)
662.CLP-4 · 4.2절 · 1번대학 수준우리말 번역

VV 를 정육면체

V={ (x,y,z) ∣ 0≤x≤1, 0≤y≤1, 0≤z≤1 }\begin{aligned} V=\big\{ \ (x,y,z)\ \big|\ 0\le x\le 1,\ 0\le y\le 1,\ 0\le z\le 1\ \big\} \end{aligned}

라 하고, RR 를 정사각형

R={ (x,y) ∣ 0≤x≤1, 0≤y≤1 }\begin{aligned} R=\big\{ \ (x,y)\ \big|\ 0\le x\le 1,\ 0\le y\le 1\ \big\} \end{aligned}

라 하자. 또 f(x,y,z)f(x,y,z) 는 연속인 일계 편도함수를 가진다고 하자.

(a) 미적분의 기본정리를 이용하여

∭V∂f∂z(x,y,z) dx dy dz=∬Rf(x,y,1) dx dy−∬Rf(x,y,0) dx dy\begin{aligned} \iiint _V\frac{\partial f}{\partial z}(x,y,z)\ \mathrm{d}x\,\mathrm{d}y\,\mathrm{d}z =\iint _R f(x,y,1)\ \mathrm{d}x\,\mathrm{d}y - \iint _R f(x,y,0)\ \mathrm{d}x\,\mathrm{d}y \end{aligned}

임을 보이세요. (b) 발산정리를 이용하여

∭V∂f∂z(x,y,z) dx dy dz=∬Rf(x,y,1) dx dy−∬Rf(x,y,0) dx dy\begin{aligned} \iiint _V\frac{\partial f}{\partial z}(x,y,z)\ \mathrm{d}x\,\mathrm{d}y\,\mathrm{d}z =\iint _R f(x,y,1)\ \mathrm{d}x\,\mathrm{d}y - \iint _R f(x,y,0)\ \mathrm{d}x\,\mathrm{d}y \end{aligned}

임을 보이세요.

영어 원문 보기

Let VV be the cube

V={ (x,y,z) ∣ 0≤x≤1, 0≤y≤1, 0≤z≤1 }\begin{aligned} V=\big\{ \ (x,y,z)\ \big|\ 0\le x\le 1,\ 0\le y\le 1,\ 0\le z\le 1\ \big\} \end{aligned}

and RR be the square

R={ (x,y) ∣ 0≤x≤1, 0≤y≤1 }\begin{aligned} R=\big\{ \ (x,y)\ \big|\ 0\le x\le 1,\ 0\le y\le 1\ \big\} \end{aligned}

and let f(x,y,z)f(x,y,z) have continuous first partial derivatives.

(a) Use the fundamental theorem of calculus to show that

∭V∂f∂z(x,y,z) dx dy dz=∬Rf(x,y,1) dx dy−∬Rf(x,y,0) dx dy\begin{aligned} \iiint _V\frac{\partial f}{\partial z}(x,y,z)\ \mathrm{d}x\,\mathrm{d}y\,\mathrm{d}z =\iint _R f(x,y,1)\ \mathrm{d}x\,\mathrm{d}y - \iint _R f(x,y,0)\ \mathrm{d}x\,\mathrm{d}y \end{aligned} (b) Use the divergence theorem to show that

∭V∂f∂z(x,y,z) dx dy dz=∬Rf(x,y,1) dx dy−∬Rf(x,y,0) dx dy\begin{aligned} \iiint _V\frac{\partial f}{\partial z}(x,y,z)\ \mathrm{d}x\,\mathrm{d}y\,\mathrm{d}z =\iint _R f(x,y,1)\ \mathrm{d}x\,\mathrm{d}y - \iint _R f(x,y,0)\ \mathrm{d}x\,\mathrm{d}y \end{aligned}

정답·풀이 보기

(a) 좌변을 zz 를 가장 안쪽 적분변수로 하는 반복적분으로 나타내면 다음과 같다.

∭V∂f∂z(x,y,z) dx dy dz=∫01dx∫01dy[∫01dz ∂f∂z(x,y,z)]=∫01dx∫01dy [f(x,y,1)−f(x,y,0)]미적분의 기본정리에 의해=∬R[f(x,y,1)−f(x,y,0)] dx dy=∬Rf(x,y,1) dx dy−∬Rf(x,y,0) dx dy\begin{aligned} \iiint _V\frac{\partial f}{\partial z}(x,y,z)\ \mathrm{d}x\,\mathrm{d}y\,\mathrm{d}z &=\int_0^1\mathrm{d}x\int_0^1\mathrm{d}y\left[\int_0^1\mathrm{d}z\ \frac{\partial f}{\partial z}(x,y,z)\right] \\ &=\int_0^1\mathrm{d}x\int_0^1\mathrm{d}y\ \big[f(x,y,1)-f(x,y,0)\big] \\ &\text{미적분의 기본정리에 의해} \\ &=\iint _R\big[f(x,y,1)-f(x,y,0)\big]\ \mathrm{d}x\,\mathrm{d}y \\ &=\iint _R f(x,y,1)\ \mathrm{d}x\,\mathrm{d}y - \iint _R f(x,y,0)\ \mathrm{d}x\,\mathrm{d}y \end{aligned}

(b) 벡터장 F(x,y,z)=f(x,y,z) k^\mathbf{F}(x,y,z) = f(x,y,z)\,\hat{\mathbf{k}} 를 정의하자. 그러면 F\mathbf{F} 의 발산은 ∇⋅F(x,y,z)=∂f∂z(x,y,z){ \boldsymbol{\nabla} }\cdot\mathbf{F}(x,y,z) = \frac{\partial f}{\partial z}(x,y,z) 이다. 정육면체 VV 의 경계는 다음 여섯 면의 합집합이다.

S1={ (x,y,z) ∣ 0≤x≤1, 0≤y≤1, z=1 }바깥쪽 법선벡터는 n^=k^S2={ (x,y,z) ∣ 0≤x≤1, 0≤y≤1, z=0 }바깥쪽 법선벡터는 n^=−k^S3={ (x,y,z) ∣ 0≤x≤1, 0≤z≤1, y=1 }바깥쪽 법선벡터는 n^=ȷ^S4={ (x,y,z) ∣ 0≤x≤1, 0≤z≤1, y=0 }바깥쪽 법선벡터는 n^=−ȷ^S5={ (x,y,z) ∣ 0≤y≤1, 0≤z≤1, x=1 }바깥쪽 법선벡터는 n^=ı^S6={ (x,y,z) ∣ 0≤y≤1, 0≤z≤1, x=0 }바깥쪽 법선벡터는 n^=−ı^\begin{aligned} S_1&=\big\{ \ (x,y,z)\ \big|\ 0\le x\le 1,\ 0\le y\le 1,\ z=1\ \big\}\quad \text{바깥쪽 법선벡터는 $\hat{\mathbf{n}}=\hat{\mathbf{k}}$} \\ S_2&=\big\{ \ (x,y,z)\ \big|\ 0\le x\le 1,\ 0\le y\le 1,\ z=0\ \big\}\quad \text{바깥쪽 법선벡터는 $\hat{\mathbf{n}}=-\hat{\mathbf{k}}$} \\ S_3&=\big\{ \ (x,y,z)\ \big|\ 0\le x\le 1,\ 0\le z\le 1,\ y=1\ \big\}\quad \text{바깥쪽 법선벡터는 $\hat{\mathbf{n}}=\hat{\boldsymbol{\jmath}}$} \\ S_4&=\big\{ \ (x,y,z)\ \big|\ 0\le x\le 1,\ 0\le z\le 1,\ y=0\ \big\}\quad \text{바깥쪽 법선벡터는 $\hat{\mathbf{n}}=-\hat{\boldsymbol{\jmath}}$} \\ S_5&=\big\{ \ (x,y,z)\ \big|\ 0\le y\le 1,\ 0\le z\le 1,\ x=1\ \big\}\quad \text{바깥쪽 법선벡터는 $\hat{\mathbf{n}}=\hat{\boldsymbol{\imath}}$} \\ S_6&=\big\{ \ (x,y,z)\ \big|\ 0\le y\le 1,\ 0\le z\le 1,\ x=0\ \big\}\quad \text{바깥쪽 법선벡터는 $\hat{\mathbf{n}}=-\hat{\boldsymbol{\imath}}$} \end{aligned}

그림

다음에 주목하자.

F⋅n^=f k^⋅n^={+fS1 위에서−fS2 위에서0S3, S4, S5, S6 위에서\begin{aligned} \mathbf{F}\cdot\hat{\mathbf{n}} = f\,\hat{\mathbf{k}}\cdot\hat{\mathbf{n}} = \begin{cases} +f &\text{$S_1$ 위에서} \\ -f &\text{$S_2$ 위에서} \\ 0 &\text{$S_3$, $S_4$, $S_5$, $S_6$ 위에서} \end{cases} \end{aligned}

따라서 발산정리에 의해 다음을 얻는다.

∭V∂f∂z(x,y,z) dx dy dz=∭V∇⋅F(x,y,z) dx dy dz=∬∂VF⋅n^ dS=∑j=16∬SjF⋅n^ dS=∬S1f dS−∬S2f dS=∬Rf(x,y,1) dx dy−∬Rf(x,y,0) dx dy\begin{aligned} \iiint _V\frac{\partial f}{\partial z}(x,y,z)\ \mathrm{d}x\,\mathrm{d}y\,\mathrm{d}z &=\iiint _V { \boldsymbol{\nabla} }\cdot\mathbf{F}(x,y,z)\ \mathrm{d}x\,\mathrm{d}y\,\mathrm{d}z \\ &= \iint _{\partial V} \mathbf{F}\cdot\hat{\mathbf{n}}\ \mathrm{d}S =\sum_{j=1}^6 \iint _{S_j} \mathbf{F}\cdot\hat{\mathbf{n}}\ \mathrm{d}S\\ &=\iint _{S_1} f\ \mathrm{d}S -\iint _{S_2} f\ \mathrm{d}S \\ &=\iint _R f(x,y,1)\ \mathrm{d}x\,\mathrm{d}y - \iint _R f(x,y,0)\ \mathrm{d}x\,\mathrm{d}y \end{aligned}

원본 교재 풀이(영어)

(a) Expressing the left hand side as an iterated integral, with zz as the innermost integration variable, we have

∭V∂f∂z(x,y,z) dx dy dz=∫01dx∫01dy[∫01dz ∂f∂z(x,y,z)]=∫01dx∫01dy [f(x,y,1)−f(x,y,0)]by the fundamental theorem of calculus=∬R[f(x,y,1)−f(x,y,0)] dx dy=∬Rf(x,y,1) dx dy−∬Rf(x,y,0) dx dy\begin{aligned} \iiint _V\frac{\partial f}{\partial z}(x,y,z)\ \mathrm{d}x\,\mathrm{d}y\,\mathrm{d}z &=\int_0^1\mathrm{d}x\int_0^1\mathrm{d}y\left[\int_0^1\mathrm{d}z\ \frac{\partial f}{\partial z}(x,y,z)\right] \\ &=\int_0^1\mathrm{d}x\int_0^1\mathrm{d}y\ \big[f(x,y,1)-f(x,y,0)\big] \\ &\text{by the fundamental theorem of calculus} \\ &=\iint _R\big[f(x,y,1)-f(x,y,0)\big]\ \mathrm{d}x\,\mathrm{d}y \\ &=\iint _R f(x,y,1)\ \mathrm{d}x\,\mathrm{d}y - \iint _R f(x,y,0)\ \mathrm{d}x\,\mathrm{d}y \end{aligned}

(b) Define the vector field F(x,y,z)=f(x,y,z) k^\mathbf{F}(x,y,z) = f(x,y,z)\,\hat{\mathbf{k}}. Then the divergence of F\mathbf{F} is ∇⋅F(x,y,z)=∂f∂z(x,y,z){ \boldsymbol{\nabla} }\cdot\mathbf{F}(x,y,z) = \frac{\partial f}{\partial z}(x,y,z). The boundary of the cube VV is the union of six faces

S1={ (x,y,z) ∣ 0≤x≤1, 0≤y≤1, z=1 }with outward normal n^=k^S2={ (x,y,z) ∣ 0≤x≤1, 0≤y≤1, z=0 }with outward normal n^=−k^S3={ (x,y,z) ∣ 0≤x≤1, 0≤z≤1, y=1 }with outward normal n^=ȷ^S4={ (x,y,z) ∣ 0≤x≤1, 0≤z≤1, y=0 }with outward normal n^=−ȷ^S5={ (x,y,z) ∣ 0≤y≤1, 0≤z≤1, x=1 }with outward normal n^=ı^S6={ (x,y,z) ∣ 0≤y≤1, 0≤z≤1, x=0 }with outward normal n^=−ı^\begin{aligned} S_1&=\big\{ \ (x,y,z)\ \big|\ 0\le x\le 1,\ 0\le y\le 1,\ z=1\ \big\}\quad \text{with outward normal $\hat{\mathbf{n}}=\hat{\mathbf{k}}$} \\ S_2&=\big\{ \ (x,y,z)\ \big|\ 0\le x\le 1,\ 0\le y\le 1,\ z=0\ \big\}\quad \text{with outward normal $\hat{\mathbf{n}}=-\hat{\mathbf{k}}$} \\ S_3&=\big\{ \ (x,y,z)\ \big|\ 0\le x\le 1,\ 0\le z\le 1,\ y=1\ \big\}\quad \text{with outward normal $\hat{\mathbf{n}}=\hat{\boldsymbol{\jmath}}$} \\ S_4&=\big\{ \ (x,y,z)\ \big|\ 0\le x\le 1,\ 0\le z\le 1,\ y=0\ \big\}\quad \text{with outward normal $\hat{\mathbf{n}}=-\hat{\boldsymbol{\jmath}}$} \\ S_5&=\big\{ \ (x,y,z)\ \big|\ 0\le y\le 1,\ 0\le z\le 1,\ x=1\ \big\}\quad \text{with outward normal $\hat{\mathbf{n}}=\hat{\boldsymbol{\imath}}$} \\ S_6&=\big\{ \ (x,y,z)\ \big|\ 0\le y\le 1,\ 0\le z\le 1,\ x=0\ \big\}\quad \text{with outward normal $\hat{\mathbf{n}}=-\hat{\boldsymbol{\imath}}$} \end{aligned}

figure

Observe that

F⋅n^=f k^⋅n^={+fon S1−fon S20on S3, S4, S5, S6\begin{aligned} \mathbf{F}\cdot\hat{\mathbf{n}} = f\,\hat{\mathbf{k}}\cdot\hat{\mathbf{n}} = \begin{cases} +f &\text{on $S_1$} \\ -f &\text{on $S_2$} \\ 0 &\text{on $S_3$, $S_4$, $S_5$, $S_6$} \end{cases} \end{aligned}

So the divergence theorem gives

∭V∂f∂z(x,y,z) dx dy dz=∭V∇⋅F(x,y,z) dx dy dz=∬∂VF⋅n^ dS=∑j=16∬SjF⋅n^ dS=∬S1f dS−∬S2f dS=∬Rf(x,y,1) dx dy−∬Rf(x,y,0) dx dy\begin{aligned} \iiint _V\frac{\partial f}{\partial z}(x,y,z)\ \mathrm{d}x\,\mathrm{d}y\,\mathrm{d}z &=\iiint _V { \boldsymbol{\nabla} }\cdot\mathbf{F}(x,y,z)\ \mathrm{d}x\,\mathrm{d}y\,\mathrm{d}z \\ &= \iint _{\partial V} \mathbf{F}\cdot\hat{\mathbf{n}}\ \mathrm{d}S =\sum_{j=1}^6 \iint _{S_j} \mathbf{F}\cdot\hat{\mathbf{n}}\ \mathrm{d}S\\ &=\iint _{S_1} f\ \mathrm{d}S -\iint _{S_2} f\ \mathrm{d}S \\ &=\iint _R f(x,y,1)\ \mathrm{d}x\,\mathrm{d}y - \iint _R f(x,y,0)\ \mathrm{d}x\,\mathrm{d}y \end{aligned}

한 번 더 — 비슷한 문제 풀기CLP-4 · 4.2절 · 36번
# 발산 정리증명·논술기본자동 분류
CLP-4 Vector Calculus CC BY-NC-SA 4.0우리말 번역: 빌드라인 스쿨 — AI 번역·자동 검토(원문과 같은 조건)
663.CLP-4 · 4.2절 · 2번대학 수준우리말 번역

(a) a\mathbf{a} 가 임의의 상수 벡터일 때, F=ϕ a\mathbf{F}=\phi\,\mathbf{a} 에 발산 정리를 적용하여 다음을 보이세요.

∭V∇ϕ dV=∬∂Vϕ n^ dS\iiint _V { \boldsymbol{\nabla} }\phi\,\mathrm{d}V=\iint _{\partial V}\phi\,\hat{\mathbf{n}}\,\mathrm{d}S (b) 부피가 ∣V∣|V| 인 입체 VV 의 무게중심 (xˉ,yˉ,zˉ)(\bar x,\bar y,\bar z) 가 다음과 같이 주어짐을 보이세요.

(xˉ,yˉ,zˉ)=12∣V∣∬∂V(x2+y2+z2) n^ dS(\bar x,\bar y,\bar z)=\frac{1}{2|V|}\iint _{\partial V} (x^2+y^2+z^2)\,\hat{\mathbf{n}}\,\mathrm{d}S

영어 원문 보기

(a) By applying the divergence theorem to F=ϕ a\mathbf{F}=\phi\,\mathbf{a}, where a\mathbf{a} is an arbitrary constant vector, show that

∭V∇ϕ dV=∬∂Vϕ n^ dS\iiint _V { \boldsymbol{\nabla} }\phi\,\mathrm{d}V=\iint _{\partial V}\phi\,\hat{\mathbf{n}}\,\mathrm{d}S (b) Show that the centroid (xˉ,yˉ,zˉ)(\bar x,\bar y,\bar z) of a solid VV with volume ∣V∣|V| is given by

(xˉ,yˉ,zˉ)=12∣V∣∬∂V(x2+y2+z2) n^ dS(\bar x,\bar y,\bar z)=\frac{1}{2|V|}\iint _{\partial V} (x^2+y^2+z^2)\,\hat{\mathbf{n}}\,\mathrm{d}S

정답·풀이 보기

(a) ϕ a\phi\,\mathbf{a} 의 발산은 ∇⋅(ϕ a)=∇ϕ⋅a+ϕ∇⋅a=∇ϕ⋅a{ \boldsymbol{\nabla} }\cdot(\phi\,\mathbf{a}) ={ \boldsymbol{\nabla} }\phi\cdot\mathbf{a}+\phi{ \boldsymbol{\nabla} }\cdot\mathbf{a}={ \boldsymbol{\nabla} }\phi\cdot\mathbf{a} 이다. a\mathbf{a} 가 상수이기 때문이다. 따라서 발산 정리에 의해

∬∂Vϕ a⋅n^ dS=∭V∇⋅(ϕ a) dV=∭V∇ϕ⋅a dV  ⟹  [∬∂Vϕn^ dS−∭V∇ϕ dV]⋅a=0\iint _{\partial V}\phi\,\mathbf{a}\cdot\hat{\mathbf{n}}\,\mathrm{d}S =\iiint _V{ \boldsymbol{\nabla} }\cdot(\phi\,\mathbf{a})\ \mathrm{d}V =\iiint _V { \boldsymbol{\nabla} }\phi\cdot\mathbf{a}\ \mathrm{d}V \implies \left[\iint _{\partial V}\phi\hat{\mathbf{n}}\,\mathrm{d}S -\iiint _V { \boldsymbol{\nabla} }\phi\,\mathrm{d}V\right]\cdot\mathbf{a}=0

이는 모든 벡터 a\mathbf{a} 에 대해 성립한다. 특히 a=ı^,ȷ^,k^\mathbf{a}=\hat{\boldsymbol{\imath}},\hat{\boldsymbol{\jmath}},\hat{\mathbf{k}} 로 놓으면 [∬∂Vϕn^ dS−∭V∇ϕ dV]\left[\iint _{\partial V}\phi\hat{\mathbf{n}}\,\mathrm{d}S -\iiint _V { \boldsymbol{\nabla} }\phi\,\mathrm{d}V\right] 의 세 성분이 모두 0이다. 따라서

∬∂Vϕ n^ dS−∭V∇ϕ dV=0\iint _{\partial V}\phi\,\hat{\mathbf{n}}\,\mathrm{d}S-\iiint _V { \boldsymbol{\nabla} }\phi\,\mathrm{d}V=0

(b) (a)에서 ϕ=x2+y2+z2\phi=x^2+y^2+z^2 이고 ∇ϕ=2x ı^+2y ȷ^+2z k^{ \boldsymbol{\nabla} }\phi = 2x\,\hat{\boldsymbol{\imath}}+2y\,\hat{\boldsymbol{\jmath}}+2z\,\hat{\mathbf{k}} 이므로

12∣V∣∬∂V(x2+y2+z2) n^ dS=12∣V∣∭V(2x ı^+2y ȷ^+2z k^) dV=(xˉ,yˉ,zˉ)\frac{1}{2|V|}\iint _{\partial V} (x^2+y^2+z^2)\,\hat{\mathbf{n}}\,\mathrm{d}S =\frac{1}{2|V|} \iiint _V (2x\,\hat{\boldsymbol{\imath}}+2y\,\hat{\boldsymbol{\jmath}}+2z\,\hat{\mathbf{k}})\,\mathrm{d}V =(\bar x,\bar y,\bar z)

원본 교재 풀이(영어)

(a) The divergence of ϕ a\phi\,\mathbf{a} is ∇⋅(ϕ a)=∇ϕ⋅a+ϕ∇⋅a=∇ϕ⋅a{ \boldsymbol{\nabla} }\cdot(\phi\,\mathbf{a}) ={ \boldsymbol{\nabla} }\phi\cdot\mathbf{a}+\phi{ \boldsymbol{\nabla} }\cdot\mathbf{a}={ \boldsymbol{\nabla} }\phi\cdot\mathbf{a}, since a\mathbf{a} is constant. So, by the divergence theorem,

∬∂Vϕ a⋅n^ dS=∭V∇⋅(ϕ a) dV=∭V∇ϕ⋅a dV  ⟹  [∬∂Vϕn^ dS−∭V∇ϕ dV]⋅a=0\iint _{\partial V}\phi\,\mathbf{a}\cdot\hat{\mathbf{n}}\,\mathrm{d}S =\iiint _V{ \boldsymbol{\nabla} }\cdot(\phi\,\mathbf{a})\ \mathrm{d}V =\iiint _V { \boldsymbol{\nabla} }\phi\cdot\mathbf{a}\ \mathrm{d}V \implies \left[\iint _{\partial V}\phi\hat{\mathbf{n}}\,\mathrm{d}S -\iiint _V { \boldsymbol{\nabla} }\phi\,\mathrm{d}V\right]\cdot\mathbf{a}=0

This is true for all vectors a\mathbf{a}. In particular, applying this with a=ı^,ȷ^,k^\mathbf{a}=\hat{\boldsymbol{\imath}},\hat{\boldsymbol{\jmath}},\hat{\mathbf{k}}, we have that all three components of [∬∂Vϕn^ dS−∭V∇ϕ dV]\left[\iint _{\partial V}\phi\hat{\mathbf{n}}\,\mathrm{d}S -\iiint _V { \boldsymbol{\nabla} }\phi\,\mathrm{d}V\right] are zero. So

∬∂Vϕ n^ dS−∭V∇ϕ dV=0\iint _{\partial V}\phi\,\hat{\mathbf{n}}\,\mathrm{d}S-\iiint _V { \boldsymbol{\nabla} }\phi\,\mathrm{d}V=0

(b) By part (a), with ϕ=x2+y2+z2\phi=x^2+y^2+z^2 and ∇ϕ=2x ı^+2y ȷ^+2z k^{ \boldsymbol{\nabla} }\phi = 2x\,\hat{\boldsymbol{\imath}}+2y\,\hat{\boldsymbol{\jmath}}+2z\,\hat{\mathbf{k}},

12∣V∣∬∂V(x2+y2+z2) n^ dS=12∣V∣∭V(2x ı^+2y ȷ^+2z k^) dV=(xˉ,yˉ,zˉ)\frac{1}{2|V|}\iint _{\partial V} (x^2+y^2+z^2)\,\hat{\mathbf{n}}\,\mathrm{d}S =\frac{1}{2|V|} \iiint _V (2x\,\hat{\boldsymbol{\imath}}+2y\,\hat{\boldsymbol{\jmath}}+2z\,\hat{\mathbf{k}})\,\mathrm{d}V =(\bar x,\bar y,\bar z)

한 번 더 — 비슷한 문제 풀기CLP-4 · 4.2절 · 15번
# 발산 정리증명·논술기본자동 분류
CLP-4 Vector Calculus CC BY-NC-SA 4.0우리말 번역: 빌드라인 스쿨 — AI 번역·자동 검토(원문과 같은 조건)
664.CLP-4 · 4.2절 · 4번대학 수준우리말 번역

두 가지 방법으로 적분 ∬SF⋅n^ dS\iint _S\mathbf{F}\cdot \hat{\mathbf{n}}\,\mathrm{d}S 의 값을 구하세요. 여기서 F=z k^\mathbf{F}=z\,\hat{\mathbf{k}} 이고, SS 는 곡면 x2+y2+z2=a2x^2+y^2+z^2=a^2 이며 n^\hat{\mathbf{n}} 은 SS 의 바깥쪽을 향하는 단위법선벡터이다.

(a) 먼저, 면적분을 직접 계산하세요. (b) 다음으로, 발산 정리를 이용하세요.

영어 원문 보기

Evaluate, by two methods, the integral ∬SF⋅n^ dS\iint _S\mathbf{F}\cdot \hat{\mathbf{n}}\,\mathrm{d}S, where F=z k^\mathbf{F}=z\,\hat{\mathbf{k}}, SS is the surface x2+y2+z2=a2x^2+y^2+z^2=a^2 and n^\hat{\mathbf{n}} is the outward pointing unit normal to SS.

(a) First, by direct computation of the surface integral. (b) Second, by using the divergence theorem.

정답·풀이 보기

(a) 구면좌표를 사용하자. SS 는 원점을 중심으로 하는 반지름 aa 인 구면이므로 다음과 같이 매개화할 수 있다.

r(θ,φ)=asin⁡φcos⁡θ ı^+asin⁡φsin⁡θ ȷ^+acos⁡φ k^∂r∂θ=−asin⁡φsin⁡θ ı^+asin⁡φcos⁡θ ȷ^∂r∂φ=−acos⁡φcos⁡θ ı^+acos⁡φsin⁡θ ȷ^−asin⁡φ k^n^ dS=±∂r∂θ×∂r∂φ dθ dφ=det⁡[ı^ȷ^k^−asin⁡φsin⁡θasin⁡φcos⁡θ0acos⁡φcos⁡θacos⁡φsin⁡θ−asin⁡φ]dθ dφ=±(−a2sin⁡2φcos⁡θ ı^−a2sin⁡2φsin⁡θ ȷ^−a2sin⁡φcos⁡φ k^) dθ dφ=∓a2sin⁡φ(sin⁡φcos⁡θ ı^+sin⁡φsin⁡θ ȷ^+cos⁡φ k^) dθ dφ\begin{aligned} \mathbf{r}(\theta,\varphi) &=a\sin\varphi\cos\theta\,\hat{\boldsymbol{\imath}} +a\sin\varphi\sin\theta\,\hat{\boldsymbol{\jmath}} + a\cos\varphi\,\hat{\mathbf{k}} \\ \frac{\partial \mathbf{r}}{\partial \theta} &=-a\sin\varphi\sin\theta\,\hat{\boldsymbol{\imath}} +a\sin\varphi\cos\theta\,\hat{\boldsymbol{\jmath}} \\ \frac{\partial \mathbf{r}}{\partial \varphi} &= \phantom{-}a\cos\varphi\cos\theta\,\hat{\boldsymbol{\imath}} +a\cos\varphi\sin\theta\,\hat{\boldsymbol{\jmath}} -a\sin\varphi\,\hat{\mathbf{k}} \\ \hat{\mathbf{n}}\,\mathrm{d}S &=\pm\frac{\partial \mathbf{r}}{\partial \theta} \times \frac{\partial \mathbf{r}}{\partial \varphi} \ \mathrm{d}\theta\, d\varphi\\ &=\det\left[\begin{matrix} \hat{\boldsymbol{\imath}} &\hat{\boldsymbol{\jmath}} &\hat{\mathbf{k}} \\ -a\sin\varphi\sin\theta & a\sin\varphi\cos\theta & 0 \\ a\cos\varphi\cos\theta & a\cos\varphi\sin\theta & -a\sin\varphi \end{matrix}\right] \mathrm{d}\theta\, d\varphi\\ &=\pm\Big(-a^2\sin^2\varphi\cos\theta\,\hat{\boldsymbol{\imath}} -a^2\sin^2\varphi\sin\theta\,\hat{\boldsymbol{\jmath}} -a^2\sin\varphi\cos\varphi\,\hat{\mathbf{k}}\Big)\ \mathrm{d}\theta\, d\varphi \\ &=\mp a^2\sin\varphi \big(\sin\varphi\cos\theta\,\hat{\boldsymbol{\imath}} +\sin\varphi\sin\theta\,\hat{\boldsymbol{\jmath}} +\cos\varphi\,\hat{\mathbf{k}}\Big)\ \mathrm{d}\theta\, d\varphi \end{aligned}

바깥쪽 법선이 되려면 ++ 부호를 택해야 하므로

n^ dS=a2sin⁡φ(sin⁡φcos⁡θ ı^+sin⁡φsin⁡θ ȷ^+cos⁡φ k^) dθ dφF⋅n^ dS=z(θ,φ) k^⋅n^ dS=a3sin⁡φcos⁡2φ dθ dφ\begin{aligned} \hat{\mathbf{n}}\,\mathrm{d}S &= a^2\sin\varphi \big(\sin\varphi\cos\theta\,\hat{\boldsymbol{\imath}} +\sin\varphi\sin\theta\,\hat{\boldsymbol{\jmath}} +\cos\varphi\,\hat{\mathbf{k}}\Big)\ \mathrm{d}\theta\, d\varphi \\ \mathbf{F}\cdot \hat{\mathbf{n}}\,\mathrm{d}S &= z(\theta,\varphi)\,\hat{\mathbf{k}}\cdot \hat{\mathbf{n}}\,\mathrm{d}S = a^3 \sin\varphi\cos^2\varphi\ \mathrm{d}\theta\,d\varphi \end{aligned}

이고,

∬SF⋅n^ dS=a3∫0πdφ∫02πdθ sin⁡φ cos⁡2φ=2πa3∫0πdφ sin⁡φ cos⁡2φ=2πa3[−13cos⁡3φ]0π=43πa3\begin{aligned} \iint _S\mathbf{F}\cdot \hat{\mathbf{n}}\,\mathrm{d}S &= a^3\int_0^\pi d\varphi\int_0^{2\pi}\mathrm{d}\theta\ \sin\varphi\,\cos^2\varphi\\ &=2\pi a^3 \int_0^\pi d\varphi \ \sin\varphi\,\cos^2\varphi =2\pi a^3\left[-\frac{1}{3}\cos^3\varphi\right]_0^\pi \\ &=\frac{4}{3}\pi a^3 \end{aligned}

이다.

(b) 입체 x2+y2+z2≤a2x^2+y^2+z^2\le a^2 을 VV 라 하자.

∇⋅F=∂∂x(0)+∂∂y(0)+∂∂z(z)=1{ \boldsymbol{\nabla} }\cdot\mathbf{F} =\frac{\partial }{\partial x}(0) +\frac{\partial }{\partial y}(0) +\frac{\partial }{\partial z}(z) =1

이므로 발산 정리에 의해

∬SF⋅n^ dS=∭V∇⋅F dV=∭V dV=부피(V)=43πa3\begin{aligned} \iint _{\mathcal{S}}\mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S &=\iiint _V{ \boldsymbol{\nabla} }\cdot\mathbf{F}\ \mathrm{d}V =\iiint _V \ \mathrm{d}V =\text{부피}(V) =\frac{4}{3}\pi a^3 \end{aligned}

이다.

원본 교재 풀이(영어)

(a) Let's use spherical coordinates. As SS is the sphere of radius aa centred on the origin, we can parametrize it by

r(θ,φ)=asin⁡φcos⁡θ ı^+asin⁡φsin⁡θ ȷ^+acos⁡φ k^∂r∂θ=−asin⁡φsin⁡θ ı^+asin⁡φcos⁡θ ȷ^∂r∂φ=−acos⁡φcos⁡θ ı^+acos⁡φsin⁡θ ȷ^−asin⁡φ k^n^ dS=±∂r∂θ×∂r∂φ dθ dφ=det⁡[ı^ȷ^k^−asin⁡φsin⁡θasin⁡φcos⁡θ0acos⁡φcos⁡θacos⁡φsin⁡θ−asin⁡φ]dθ dφ=±(−a2sin⁡2φcos⁡θ ı^−a2sin⁡2φsin⁡θ ȷ^−a2sin⁡φcos⁡φ k^) dθ dφ=∓a2sin⁡φ(sin⁡φcos⁡θ ı^+sin⁡φsin⁡θ ȷ^+cos⁡φ k^) dθ dφ\begin{aligned} \mathbf{r}(\theta,\varphi) &=a\sin\varphi\cos\theta\,\hat{\boldsymbol{\imath}} +a\sin\varphi\sin\theta\,\hat{\boldsymbol{\jmath}} + a\cos\varphi\,\hat{\mathbf{k}} \\ \frac{\partial \mathbf{r}}{\partial \theta} &=-a\sin\varphi\sin\theta\,\hat{\boldsymbol{\imath}} +a\sin\varphi\cos\theta\,\hat{\boldsymbol{\jmath}} \\ \frac{\partial \mathbf{r}}{\partial \varphi} &= \phantom{-}a\cos\varphi\cos\theta\,\hat{\boldsymbol{\imath}} +a\cos\varphi\sin\theta\,\hat{\boldsymbol{\jmath}} -a\sin\varphi\,\hat{\mathbf{k}} \\ \hat{\mathbf{n}}\,\mathrm{d}S &=\pm\frac{\partial \mathbf{r}}{\partial \theta} \times \frac{\partial \mathbf{r}}{\partial \varphi} \ \mathrm{d}\theta\, d\varphi\\ &=\det\left[\begin{matrix} \hat{\boldsymbol{\imath}} &\hat{\boldsymbol{\jmath}} &\hat{\mathbf{k}} \\ -a\sin\varphi\sin\theta & a\sin\varphi\cos\theta & 0 \\ a\cos\varphi\cos\theta & a\cos\varphi\sin\theta & -a\sin\varphi \end{matrix}\right] \mathrm{d}\theta\, d\varphi\\ &=\pm\Big(-a^2\sin^2\varphi\cos\theta\,\hat{\boldsymbol{\imath}} -a^2\sin^2\varphi\sin\theta\,\hat{\boldsymbol{\jmath}} -a^2\sin\varphi\cos\varphi\,\hat{\mathbf{k}}\Big)\ \mathrm{d}\theta\, d\varphi \\ &=\mp a^2\sin\varphi \big(\sin\varphi\cos\theta\,\hat{\boldsymbol{\imath}} +\sin\varphi\sin\theta\,\hat{\boldsymbol{\jmath}} +\cos\varphi\,\hat{\mathbf{k}}\Big)\ \mathrm{d}\theta\, d\varphi \end{aligned}

For the outward normal, we want the ++ sign, so

n^ dS=a2sin⁡φ(sin⁡φcos⁡θ ı^+sin⁡φsin⁡θ ȷ^+cos⁡φ k^) dθ dφF⋅n^ dS=z(θ,φ) k^⋅n^ dS=a3sin⁡φcos⁡2φ dθ dφ\begin{aligned} \hat{\mathbf{n}}\,\mathrm{d}S &= a^2\sin\varphi \big(\sin\varphi\cos\theta\,\hat{\boldsymbol{\imath}} +\sin\varphi\sin\theta\,\hat{\boldsymbol{\jmath}} +\cos\varphi\,\hat{\mathbf{k}}\Big)\ \mathrm{d}\theta\, d\varphi \\ \mathbf{F}\cdot \hat{\mathbf{n}}\,\mathrm{d}S &= z(\theta,\varphi)\,\hat{\mathbf{k}}\cdot \hat{\mathbf{n}}\,\mathrm{d}S = a^3 \sin\varphi\cos^2\varphi\ \mathrm{d}\theta\,d\varphi \end{aligned}

and

∬SF⋅n^ dS=a3∫0πdφ∫02πdθ sin⁡φ cos⁡2φ=2πa3∫0πdφ sin⁡φ cos⁡2φ=2πa3[−13cos⁡3φ]0π=43πa3\begin{aligned} \iint _S\mathbf{F}\cdot \hat{\mathbf{n}}\,\mathrm{d}S &= a^3\int_0^\pi d\varphi\int_0^{2\pi}\mathrm{d}\theta\ \sin\varphi\,\cos^2\varphi\\ &=2\pi a^3 \int_0^\pi d\varphi \ \sin\varphi\,\cos^2\varphi =2\pi a^3\left[-\frac{1}{3}\cos^3\varphi\right]_0^\pi \\ &=\frac{4}{3}\pi a^3 \end{aligned}

(b) Call the solid x2+y2+z2≤a2x^2+y^2+z^2\le a^2, VV. As

∇⋅F=∂∂x(0)+∂∂y(0)+∂∂z(z)=1{ \boldsymbol{\nabla} }\cdot\mathbf{F} =\frac{\partial }{\partial x}(0) +\frac{\partial }{\partial y}(0) +\frac{\partial }{\partial z}(z) =1

the divergence theorem gives

∬SF⋅n^ dS=∭V∇⋅F dV=∭V dV=Volume(V)=43πa3\begin{aligned} \iint _{\mathcal{S}}\mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S &=\iiint _V{ \boldsymbol{\nabla} }\cdot\mathbf{F}\ \mathrm{d}V =\iiint _V \ \mathrm{d}V =\text{Volume}(V) =\frac{4}{3}\pi a^3 \end{aligned}

한 번 더 — 비슷한 문제 풀기CLP-4 · 4.2절 · 32번
# 발산 정리활용보통자동 분류
CLP-4 Vector Calculus CC BY-NC-SA 4.0우리말 번역: 빌드라인 스쿨 — AI 번역·자동 검토(원문과 같은 조건)
665.CLP-4 · 4.2절 · 7번대학 수준우리말 번역

(a) 벡터장 F=(z+sin⁡y,zy,sin⁡xcos⁡y)\mathbf{F} = (z + \sin y, zy, \sin x \cos y) 의 발산을 구하세요. (b) (a)의 벡터장 F\mathbf{F} 가 R3\mathbb{R}^3 에서 원점을 중심으로 하는 반지름이 33 인 구면을 바깥쪽으로 통과하는 플럭스를 구하세요.

영어 원문 보기

(a) Find the divergence of the vector field F=(z+sin⁡y,zy,sin⁡xcos⁡y)\mathbf{F} = (z + \sin y, zy, \sin x \cos y). (b) Find the flux of the vector field F\mathbf{F} of (a) outward through the sphere of radius 33 centred at the origin in R3\mathbb{R}^3 .

답 쓰고 채점
(a)
(b)
정답·풀이 보기

(a) 발산은 다음과 같다.

∇⋅F=∂∂x(z+sin⁡y)+∂∂y(zy)+∂∂z(sin⁡xcos⁡y)=z\begin{aligned} { \boldsymbol{\nabla} }\cdot\mathbf{F} &= \frac{\partial }{\partial x}\big(z+\sin y\big) +\frac{\partial }{\partial y}\left(zy\right) +\frac{\partial }{\partial z}\big(\sin x\cos y\big) \\ &= z \end{aligned}

(b) 다음과 같이 놓는다.

V={ (x,y,z) ∣ x2+y2+z2≤9 }\begin{aligned} V=\big\{ \ (x,y,z)\ \big|\ x^2+y^2+z^2\le 9\ \big\} \end{aligned}

발산 정리에 의해 (구하는 것이 바깥쪽 플럭스임에 유의한다),

∬∂VF⋅n^ dS=∭V∇⋅F dV=∭Vz dV=0\begin{aligned} \iint _{\partial V} \mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S &= \iiint _V { \boldsymbol{\nabla} }\cdot \mathbf{F}\ \mathrm{d}V = \iiint _V z\ \mathrm{d}V = 0 \end{aligned}

이다. zz 가 홀함수이기 때문이다.

원본 교재 풀이(영어)

(a) The divergence is

∇⋅F=∂∂x(z+sin⁡y)+∂∂y(zy)+∂∂z(sin⁡xcos⁡y)=z\begin{aligned} { \boldsymbol{\nabla} }\cdot\mathbf{F} &= \frac{\partial }{\partial x}\big(z+\sin y\big) +\frac{\partial }{\partial y}\left(zy\right) +\frac{\partial }{\partial z}\big(\sin x\cos y\big) \\ &= z \end{aligned}

(b) Let

V={ (x,y,z) ∣ x2+y2+z2≤9 }\begin{aligned} V=\big\{ \ (x,y,z)\ \big|\ x^2+y^2+z^2\le 9\ \big\} \end{aligned}

By the divergence theorem (note that we are to find the outward flux),

∬∂VF⋅n^ dS=∭V∇⋅F dV=∭Vz dV=0\begin{aligned} \iint _{\partial V} \mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S &= \iiint _V { \boldsymbol{\nabla} }\cdot \mathbf{F}\ \mathrm{d}V = \iiint _V z\ \mathrm{d}V = 0 \end{aligned}

since zz is odd.

한 번 더 — 비슷한 문제 풀기CLP-4 · 4.2절 · 4번
# 발산 정리계산보통자동 분류
CLP-4 Vector Calculus CC BY-NC-SA 4.0우리말 번역: 빌드라인 스쿨 — AI 번역·자동 검토(원문과 같은 조건)
666.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 로부터) 바깥쪽으로 통과하는 플럭스를 구하세요.

영어 원문 보기

Let BB be the ball of volume VV centered at the point (x0,y0,z0)(x_0, y_0, z_0), and let SS be the sphere that is the boundary of BB. Find the flux of F=x2ı^+xyȷ^+(3z−yz)k^\mathbf{F} = x^2\hat{\boldsymbol{\imath}} + xy\hat{\boldsymbol{\jmath}}+(3 z - yz)\hat{\mathbf{k}} outward (from BB) through SS.

정답·풀이 보기

발산 정리를 적용한다. 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}

이다.

원본 교재 풀이(영어)

Apply the divergence theorem. The divergence of F\mathbf{F} is

∇⋅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

So

∬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}

To evaluate the integrals of xx and yy we use that, for any solid V\mathcal{V} in R3\mathbb{R}^3,

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

where (xˉ,yˉ,zˉ)(\bar x,\bar y,\bar z) is the centroid of V\mathcal{V}. Our ball has volume VV and centroid (xˉ,yˉ,zˉ)=(x0,y0,z0)(\bar x,\bar y,\bar z) = (x_0,y_0,z_0). So

∬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 · 4.2절 · 10번
# 발산 정리계산보통자동 분류
CLP-4 Vector Calculus CC BY-NC-SA 4.0우리말 번역: 빌드라인 스쿨 — AI 번역·자동 검토(원문과 같은 조건)
667.CLP-4 · 4.2절 · 10번대학 수준우리말 번역

F(x,y,z)=(1+z1+z1+z , 1+z1+z1+z , 1)\mathbf{F}(x, y, z) = \big( 1 + z^{1+z^{1+z}}\,,\, 1 + z^{1+z^{1+z}}\,,\,1\big)

라 하자.

SS 를 곡면

x2+y2=1−z4x^2 + y^2 = 1 - z^4

중 xyxy평면 위쪽에 있는 부분이라 하자. F\mathbf{F} 가 SS 를 통과하여 아래쪽으로 나가는 플럭스를 구하세요.

영어 원문 보기

Let

F(x,y,z)=(1+z1+z1+z , 1+z1+z1+z , 1)\mathbf{F}(x, y, z) = \big( 1 + z^{1+z^{1+z}}\,,\, 1 + z^{1+z^{1+z}}\,,\,1\big)

Let SS be the portion of the surface

x2+y2=1−z4x^2 + y^2 = 1 - z^4

which is above the xyxy-plane. What is the flux of F\mathbf{F} downward through SS?

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

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

라 하자.

그러면 발산 정리에서 쓰는 방향을 준 VV 의 경계 ∂V\partial V 는 두 부분으로 이루어진다.

  • 법선이 위쪽을 향하는 곡면 SS, 그리고
  • 법선이 −k^-\hat{\mathbf{k}} 인 원판 D={ (x,y,z) ∣ x2+y2≤1, z=0 }D=\big\{ \ (x,y,z)\ \big|\ x^2+y^2\le 1,\ z=0\ \big\}

따라서 발산 정리에 의해

∭V∇⋅F dV=∬∂VF⋅n^ dS=−∬SF⋅n^ dS+∬DF⋅(−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\mathbf{F}\cdot(-\hat{\mathbf{k}})\,\mathrm{d}S \end{aligned}

이다. ∇⋅F=0{ \boldsymbol{\nabla} }\cdot\mathbf{F}=0 이고 F(x,y,0)=(1 , 1 , 1)\mathbf{F}(x,y,0) = \big( 1 \,,\, 1 \,,\,1\big) 이므로

∬SF⋅n^ dS=∬DF⋅(−k^) dS=−∬DdS=−π\begin{aligned} \iint _S\mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S =\iint _D\mathbf{F}\cdot(-\hat{\mathbf{k}})\,\mathrm{d}S =-\iint _D\mathrm{d}S =-\pi \end{aligned}

이다.

원본 교재 풀이(영어)

Let

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

Then the boundary, ∂V\partial V, of VV, with the orientation that is used in the divergence theorem, consists of two parts

  • the surface SS, but with the upward pointing normal, and
  • the disk D={ (x,y,z) ∣ x2+y2≤1, z=0 }D=\big\{ \ (x,y,z)\ \big|\ x^2+y^2\le 1,\ z=0\ \big\}, with normal −k^-\hat{\mathbf{k}}.

So the divergence theorem gives

∭V∇⋅F dV=∬∂VF⋅n^ dS=−∬SF⋅n^ dS+∬DF⋅(−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\mathbf{F}\cdot(-\hat{\mathbf{k}})\,\mathrm{d}S \end{aligned}

As ∇⋅F=0{ \boldsymbol{\nabla} }\cdot\mathbf{F}=0 and F(x,y,0)=(1 , 1 , 1)\mathbf{F}(x,y,0) = \big( 1 \,,\, 1 \,,\,1\big)

∬SF⋅n^ dS=∬DF⋅(−k^) dS=−∬DdS=−π\begin{aligned} \iint _S\mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S =\iint _D\mathbf{F}\cdot(-\hat{\mathbf{k}})\,\mathrm{d}S =-\iint _D\mathrm{d}S =-\pi \end{aligned}

한 번 더 — 비슷한 문제 풀기CLP-4 · 4.2절 · 11번
# 발산 정리계산보통자동 분류
CLP-4 Vector Calculus CC BY-NC-SA 4.0우리말 번역: 빌드라인 스쿨 — AI 번역·자동 검토(원문과 같은 조건)
668.CLP-4 · 4.2절 · 11번대학 수준우리말 번역

발산 정리를 이용하여 xı^+yȷ^+2zk^x\hat{\boldsymbol{\imath}}+y\hat{\boldsymbol{\jmath}}+2z\hat{\mathbf{k}} 의 타원면 x2+y2+2z2=2x^2+y^2+2z^2=2 중 z≥0z\ge 0 인 부분을 통과하는 플럭스를 구하세요. [참고: 타원면 x2a2+y2b2+z2c2=1\frac{x^2}{a^2}+\frac{y^2}{b^2}+\frac{z^2}{c^2}=1 이 둘러싼 입체의 부피는 43πabc\frac{4}{3}\pi abc 이다.]

영어 원문 보기

Use the divergence theorem to find the flux of xı^+yȷ^+2zk^x\hat{\boldsymbol{\imath}}+y\hat{\boldsymbol{\jmath}}+2z\hat{\mathbf{k}} through the part of the ellipsoid x2+y2+2z2=2x^2+y^2+2z^2=2 with z≥0z\ge 0. [Note: the ellipsoid x2a2+y2b2+z2c2=1\frac{x^2}{a^2}+\frac{y^2}{b^2}+\frac{z^2}{c^2}=1 has volume 43πabc\frac{4}{3}\pi abc.]

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

VV 를 x2+y2+2z2≤2x^2+y^2+2z^2\le 2, z≥0z\ge 0 인 입체라 하자. VV 의 겉면은 위쪽을 향하는 법선을 갖는 위쪽의 반타원면 S={ (x,y,z) ∣ x2+y2+2z2=2, z≥0 }S=\big\{ \ (x,y,z)\ \big|\ x^2+y^2+2z^2=2,\ z\ge 0\ \big\} 와, 법선이 −k^-\hat{\mathbf{k}} 인 아래쪽의 원판 D={(x,y,z)}z=0, x2+y2≤2D=\left\{(x,y,z)\right\}{z=0,\ x^2+y^2\le 2} 로 이루어진다. 이 벡터장을 F\mathbf{F} 라 하자. 발산 정리에 의해 ∬SF⋅n^ dS+∬DF⋅(−k^) dS=∭V∇⋅F dV=∭V4 dV\iint _S\mathbf{F}\cdot\hat{\mathbf{n}}\ \mathrm{d}S +\iint _D\mathbf{F}\cdot(-\hat{\mathbf{k}})\,\mathrm{d}S =\iiint _V{ \boldsymbol{\nabla} }\cdot\mathbf{F}\ \mathrm{d}V =\iiint _V 4\ \mathrm{d}V 이다. 이 타원체는 a=2a=\sqrt{2}, b=2b=\sqrt{2}, c=1c=1 이고 부피는 43πabc=83π\frac{4}{3}\pi abc=\frac{8}{3}\pi 이다. 따라서 ∭V4 dV=4×12(Volume of the ellipsoid)=16π3\iiint _V 4\ \mathrm{d}V=4\times\tfrac{1}{2}({\rm Volume\ of\ the\ ellipsoid})=\frac{16\pi}{3} 이다. DD 위에서 z=0z=0 이고 xx 와 yy 가 홀함수이므로 ∬Dx dS=∬Dy dS=0\iint _D x\,\mathrm{d}S=\iint _D y\,\mathrm{d}S=0 이다. 따라서 ∬DF⋅(−k^) dS=∬D(xı^+yȷ^+0k^)⋅(−k^) dS=0\iint _D\mathbf{F}\cdot(-\hat{\mathbf{k}})\,\mathrm{d}S =\iint _D(x\hat{\boldsymbol{\imath}}+y\hat{\boldsymbol{\jmath}}+0\hat{\mathbf{k}})\cdot(-\hat{\mathbf{k}})\,\mathrm{d}S =0 이므로 구하는 플럭스는 ∬SF⋅n^ dS=∭V4 dV=163π\iint _S\mathbf{F}\cdot\hat{\mathbf{n}}\ \mathrm{d}S=\iiint _V 4\ \mathrm{d}V =\frac{16}{3}\pi 이다.

원본 교재 풀이(영어)

Let VV be the solid x2+y2+2z2≤2x^2+y^2+2z^2\le 2, z≥0z\ge 0. The surface of VV consists of the half-ellipsoid S={ (x,y,z) ∣ x2+y2+2z2=2, z≥0 }S=\big\{ \ (x,y,z)\ \big|\ x^2+y^2+2z^2=2,\ z\ge 0\ \big\}, on top with upward pointing normal, and the disk D={(x,y,z)}z=0, x2+y2≤2D=\left\{(x,y,z)\right\}{z=0,\ x^2+y^2\le 2}, on the bottom with normal −k^-\hat{\mathbf{k}}. Call the vector field F\mathbf{F}. By the divergence theorem ∬SF⋅n^ dS+∬DF⋅(−k^) dS=∭V∇⋅F dV=∭V4 dV\iint _S\mathbf{F}\cdot\hat{\mathbf{n}}\ \mathrm{d}S +\iint _D\mathbf{F}\cdot(-\hat{\mathbf{k}})\,\mathrm{d}S =\iiint _V{ \boldsymbol{\nabla} }\cdot\mathbf{F}\ \mathrm{d}V =\iiint _V 4\ \mathrm{d}V The ellipsoid has a=2a=\sqrt{2}, b=2b=\sqrt{2}, c=1c=1 and volume 43πabc=83π\frac{4}{3}\pi abc=\frac{8}{3}\pi. So ∭V4 dV=4×12(Volume of the ellipsoid)=16π3\iiint _V 4\ \mathrm{d}V=4\times\tfrac{1}{2}({\rm Volume\ of\ the\ ellipsoid})=\frac{16\pi}{3} On DD, z=0z=0 and ∬Dx dS=∬Dy dS=0\iint _D x\,\mathrm{d}S=\iint _D y\,\mathrm{d}S=0 because xx and yy are odd. So ∬DF⋅(−k^) dS=∬D(xı^+yȷ^+0k^)⋅(−k^) dS=0\iint _D\mathbf{F}\cdot(-\hat{\mathbf{k}})\,\mathrm{d}S =\iint _D(x\hat{\boldsymbol{\imath}}+y\hat{\boldsymbol{\jmath}}+0\hat{\mathbf{k}})\cdot(-\hat{\mathbf{k}})\,\mathrm{d}S =0 and the desired flux is ∬SF⋅n^ dS=∭V4 dV=163π\iint _S\mathbf{F}\cdot\hat{\mathbf{n}}\ \mathrm{d}S=\iiint _V 4\ \mathrm{d}V =\frac{16}{3}\pi

한 번 더 — 비슷한 문제 풀기CLP-4 · 4.2절 · 2번
# 발산 정리계산보통자동 분류
CLP-4 Vector Calculus CC BY-NC-SA 4.0우리말 번역: 빌드라인 스쿨 — AI 번역·자동 검토(원문과 같은 조건)
669.CLP-4 · 4.2절 · 15번대학 수준우리말 번역

벡터장 (x+y,x+z,y+z)(x + y, x + z, y + z) 의 플럭스를, 방정식이 x2+z2=4x^2 + z^2 = 4 이고 y=0y = 0 부터 y=3y = 3 까지 뻗어 있는 원기둥 면을 통과하는 경우에 대해 구하세요. (원기둥의 옆면(곡면 부분)만 포함하며, 왼쪽과 오른쪽에서 원기둥을 막는 두 원판은 포함하지 않습니다.) 곡면의 방향은 바깥쪽, 즉 yy축에서 멀어지는 방향입니다.

영어 원문 보기

Find the flux of the vector field (x+y,x+z,y+z)(x + y, x + z, y + z) through the cylindrical surface whose equation is x2+z2=4x^2 + z^2 = 4, and which extends from y=0y = 0 to y=3y = 3. (Only the curved part of the cylinder is included, not the two disks bounding it on the left and right.) The orientation of the surface is outward, i.e., pointing away from the yy-axis.

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

풀이 1 (발산 정리): F=(x+y,x+z,y+z)\mathbf{F} = (x + y, x + z, y + z) 라 하자. 그러면 ∇⋅F=2{ \boldsymbol{\nabla} }\cdot\mathbf{F} = 2 이다. 매우 간단하다. 그러므로 발산 정리를 이용해 보자.

  • S={ (x,y,z) ∣ x2+z2=4, 0≤y≤3 }S=\big\{ \ (x,y,z)\ \big|\ x^2+z^2=4,\ 0\le y\le 3\ \big\} 라 하자. 우리는 ∬SF⋅n^ dS\iint _S\mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S 를 계산해야 하며, 여기서 n^\hat{\mathbf{n}} 은 SS 의 바깥쪽 법선벡터이다. SS 는 입체의 경계가 아니므로 발산 정리를 직접 적용하여 ∬SF⋅n^ dS\iint _S\mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S 를 계산할 수는 없다. 아래 왼쪽 그림은 SS 중에서 제1팔분공간에 있는 부분을 나타낸 것이다.

그림

그림

  • 한편 SS 는 다음 입체의 경계와 “거의” 같다.

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

VV 의 경계 ∂V\partial V 는 세 조각, 곧 SS 와 두 원판

Dl={ (x,y,z) ∣ x2+z2≤4, y=0 }Dr={ (x,y,z) ∣ x2+z2≤4, y=3 }D_l = \big\{ \ (x,y,z)\ \big|\ x^2+z^2\le 4,\ y=0\ \big\}\qquad D_r = \big\{ \ (x,y,z)\ \big|\ x^2+z^2\le 4,\ y=3\ \big\}

으로 이루어져 있다. 위 오른쪽 그림은 SS, VV, DlD_l, DrD_r 중에서 제1팔분공간에 있는 부분을 나타낸 것이다.

DrD_r 의 바깥쪽 법선벡터는 ȷ^\hat{\boldsymbol{\jmath}} 이고 DlD_l 의 바깥쪽 법선벡터는 −ȷ^-\hat{\boldsymbol{\jmath}} 이므로, 발산 정리에 의해 다음을 얻는다.

∭V∇⋅F dV=∬∂VF⋅n^ dS=∬SF⋅n^ dS+∬DrF⋅ȷ^ dS+∬DlF⋅(−ȷ^) 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_r}\mathbf{F}\cdot\hat{\boldsymbol{\jmath}}\,\mathrm{d}S + \iint _{D_l}\mathbf{F}\cdot(-\hat{\boldsymbol{\jmath}})\,\mathrm{d}S \end{aligned}

∇⋅F=2{ \boldsymbol{\nabla} }\cdot\mathbf{F} = 2 이고 F⋅ȷ^=x+z\mathbf{F}\cdot\hat{\boldsymbol{\jmath}} = x+z 이므로

∬SF⋅n^ dS=∭V2 dV−∬x2+z2≤4(x+z) dxdz−∬x2+z2≤4(−x−z) dxdz=∭V2 dV=2 부피(V)=2(π22)3=24π\begin{aligned} \iint _{S}\mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S &= \iiint _V 2\,\mathrm{d}V -\iint _{x^2+z^2\le 4}(x+z)\,\mathrm{d}x\mathrm{d}z - \iint _{x^2+z^2\le 4}(-x-z)\,\mathrm{d}x\mathrm{d}z \\ &= \iiint _V 2\,\mathrm{d}V \\ &= 2\ \text{부피}(V) =2(\pi 2^2) 3 =24\pi \end{aligned}

풀이 2 (직접 계산): 곡면을 다음과 같이 매개화하자.

r(θ,y)=2cos⁡θ ı^+y ȷ^+2sin⁡θ k^0≤θ<2π, 0≤y≤3\begin{aligned} \mathbf{r}(\theta,y) &= 2\cos\theta\,\hat{\boldsymbol{\imath}} +y\,\hat{\boldsymbol{\jmath}} + 2\sin\theta\,\hat{\mathbf{k}}\qquad 0\le\theta<2\pi,\ 0\le y\le 3 \end{aligned}

그러면

∂r∂θ=(−2sin⁡θ , 0 , 2cos⁡θ)∂r∂y=(0 , 1 , 0)n^dS=±∂r∂θ×∂r∂ydθdy=±(−2cos⁡θ , 0 , −2sin⁡θ)dθdy\begin{aligned} \tfrac{\partial\mathbf{r}}{\partial\theta} &=\big(-2\sin\theta\,,\, 0\,,\, 2\cos\theta \big) \\ \tfrac{\partial\mathbf{r}}{\partial y} &=\big(0\,,\, 1\,,\, 0\big) \\ \hat{\mathbf{n}}\mathrm{d}S &=\pm\tfrac{\partial\mathbf{r}}{\partial\theta} \times \tfrac{\partial\mathbf{r}}{\partial y} \mathrm{d}\theta\mathrm{d}y =\pm \big(-2\cos\theta\,,\, 0\,,\, -2\sin\theta\big)\mathrm{d}\theta\mathrm{d}y \end{aligned}

바깥쪽 법선벡터를 얻으려면 음의 부호를 택해야 한다. 따라서

n^dS=(2cos⁡θ , 0 , 2sin⁡θ)dθdy\hat{\mathbf{n}}\mathrm{d}S =\big(2\cos\theta\,,\, 0\,,\, 2\sin\theta\big)\mathrm{d}\theta\mathrm{d}y

이고,

F(r(θ,y))=(2cos⁡θ+y , 2cos⁡θ+2sin⁡θ , y+2sin⁡θ)\mathbf{F}\big(\mathbf{r}(\theta,y)\big) =\big(2\cos\theta + y\,,\,2\cos\theta+2\sin\theta\,,\,y+2\sin\theta\big)

이므로 구하는 플럭스는

∬SF⋅n^ dS=∫02πdθ∫03dy (2cos⁡θ+y , 2cos⁡θ+2sin⁡θ , y+2sin⁡θ)⋅(2cos⁡θ , 0 , 2sin⁡θ)=∫02πdθ∫03dy (4cos⁡2θ+2ycos⁡θ+2ysin⁡θ+4sin⁡2θ)=∫02πdθ∫03dy (4+2ycos⁡θ+2ysin⁡θ)\begin{aligned} \iint _{S}\mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S &= \int_0^{2\pi}\mathrm{d}\theta\int_0^3\mathrm{d}y \ \big(2\cos\theta + y\,,\,2\cos\theta+2\sin\theta\,,\,y+2\sin\theta\big)\cdot \big(2\cos\theta\,,\,0\,,\, 2\sin\theta\big) \\ &= \int_0^{2\pi}\mathrm{d}\theta\int_0^3\mathrm{d}y \ \big(4\cos^2\theta + 2y\cos\theta +2y\sin\theta+4\sin^2\theta\big) \\ &= \int_0^{2\pi}\mathrm{d}\theta\int_0^3\mathrm{d}y \ \big(4 + 2y\cos\theta +2y\sin\theta\big) \end{aligned}

∫02πdθ cos⁡θ=∫02πdθ sin⁡θ=0\int_0^{2\pi}\mathrm{d}\theta\ \cos\theta = \int_0^{2\pi}\mathrm{d}\theta\ \sin\theta = 0 이므로

∬SF⋅n^ dS=4∫02πdθ∫03dy=4(2π)3=24π\begin{aligned} \iint _{S}\mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S &= 4\int_0^{2\pi}\mathrm{d}\theta\int_0^3\mathrm{d}y =4(2\pi)3 =24\pi \end{aligned}

원본 교재 풀이(영어)

Solution 1 (divergence theorem): Set F=(x+y,x+z,y+z)\mathbf{F} = (x + y, x + z, y + z). Then ∇⋅F=2{ \boldsymbol{\nabla} }\cdot\mathbf{F} = 2. That's really simple. So let's try using the divergence theorem.

  • Set S={ (x,y,z) ∣ x2+z2=4, 0≤y≤3 }S=\big\{ \ (x,y,z)\ \big|\ x^2+z^2=4,\ 0\le y\le 3\ \big\}. We are to compute ∬SF⋅n^ dS\iint _S\mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S, with n^\hat{\mathbf{n}} denoting the outward normal to SS. SS is not the boundary of a solid, so we cannot compute ∬SF⋅n^ dS\iint _S\mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S by applying the divergence theorem directly. The figure on the left below shows the part of SS that is in the first octant.

figure

figure

  • On the other hand SS, is “almost” the boundary of

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

The boundary, ∂V\partial V of VV consists of three pieces — SS and the two disks

Dl={ (x,y,z) ∣ x2+z2≤4, y=0 }Dr={ (x,y,z) ∣ x2+z2≤4, y=3 }D_l = \big\{ \ (x,y,z)\ \big|\ x^2+z^2\le 4,\ y=0\ \big\}\qquad D_r = \big\{ \ (x,y,z)\ \big|\ x^2+z^2\le 4,\ y=3\ \big\}

The figure on the right above shows the parts of SS, VV, DlD_l and DrD_r that are in the first octant.

The outward normal to DrD_r is ȷ^\hat{\boldsymbol{\jmath}} and the outward normal to DlD_l is −ȷ^-\hat{\boldsymbol{\jmath}}, to the divergence theorem gives

∭V∇⋅F dV=∬∂VF⋅n^ dS=∬SF⋅n^ dS+∬DrF⋅ȷ^ dS+∬DlF⋅(−ȷ^) 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_r}\mathbf{F}\cdot\hat{\boldsymbol{\jmath}}\,\mathrm{d}S + \iint _{D_l}\mathbf{F}\cdot(-\hat{\boldsymbol{\jmath}})\,\mathrm{d}S \end{aligned}

Since ∇⋅F=2{ \boldsymbol{\nabla} }\cdot\mathbf{F} = 2 and F⋅ȷ^=x+z\mathbf{F}\cdot\hat{\boldsymbol{\jmath}} = x+z,

∬SF⋅n^ dS=∭V2 dV−∬x2+z2≤4(x+z) dxdz−∬x2+z2≤4(−x−z) dxdz=∭V2 dV=2 volume(V)=2(π22)3=24π\begin{aligned} \iint _{S}\mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S &= \iiint _V 2\,\mathrm{d}V -\iint _{x^2+z^2\le 4}(x+z)\,\mathrm{d}x\mathrm{d}z - \iint _{x^2+z^2\le 4}(-x-z)\,\mathrm{d}x\mathrm{d}z \\ &= \iiint _V 2\,\mathrm{d}V \\ &= 2\ \text{volume}(V) =2(\pi 2^2) 3 =24\pi \end{aligned}

Solution 2 (direct evaluation): Let's parametrize the surface by

r(θ,y)=2cos⁡θ ı^+y ȷ^+2sin⁡θ k^0≤θ<2π, 0≤y≤3\begin{aligned} \mathbf{r}(\theta,y) &= 2\cos\theta\,\hat{\boldsymbol{\imath}} +y\,\hat{\boldsymbol{\jmath}} + 2\sin\theta\,\hat{\mathbf{k}}\qquad 0\le\theta<2\pi,\ 0\le y\le 3 \end{aligned}

Then

∂r∂θ=(−2sin⁡θ , 0 , 2cos⁡θ)∂r∂y=(0 , 1 , 0)n^dS=±∂r∂θ×∂r∂ydθdy=±(−2cos⁡θ , 0 , −2sin⁡θ)dθdy\begin{aligned} \tfrac{\partial\mathbf{r}}{\partial\theta} &=\big(-2\sin\theta\,,\, 0\,,\, 2\cos\theta \big) \\ \tfrac{\partial\mathbf{r}}{\partial y} &=\big(0\,,\, 1\,,\, 0\big) \\ \hat{\mathbf{n}}\mathrm{d}S &=\pm\tfrac{\partial\mathbf{r}}{\partial\theta} \times \tfrac{\partial\mathbf{r}}{\partial y} \mathrm{d}\theta\mathrm{d}y =\pm \big(-2\cos\theta\,,\, 0\,,\, -2\sin\theta\big)\mathrm{d}\theta\mathrm{d}y \end{aligned}

To get the outward normal, we want the minus sign. So

n^dS=(2cos⁡θ , 0 , 2sin⁡θ)dθdy\hat{\mathbf{n}}\mathrm{d}S =\big(2\cos\theta\,,\, 0\,,\, 2\sin\theta\big)\mathrm{d}\theta\mathrm{d}y

and, since

F(r(θ,y))=(2cos⁡θ+y , 2cos⁡θ+2sin⁡θ , y+2sin⁡θ)\mathbf{F}\big(\mathbf{r}(\theta,y)\big) =\big(2\cos\theta + y\,,\,2\cos\theta+2\sin\theta\,,\,y+2\sin\theta\big)

the specified flux is

∬SF⋅n^ dS=∫02πdθ∫03dy (2cos⁡θ+y , 2cos⁡θ+2sin⁡θ , y+2sin⁡θ)⋅(2cos⁡θ , 0 , 2sin⁡θ)=∫02πdθ∫03dy (4cos⁡2θ+2ycos⁡θ+2ysin⁡θ+4sin⁡2θ)=∫02πdθ∫03dy (4+2ycos⁡θ+2ysin⁡θ)\begin{aligned} \iint _{S}\mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S &= \int_0^{2\pi}\mathrm{d}\theta\int_0^3\mathrm{d}y \ \big(2\cos\theta + y\,,\,2\cos\theta+2\sin\theta\,,\,y+2\sin\theta\big)\cdot \big(2\cos\theta\,,\,0\,,\, 2\sin\theta\big) \\ &= \int_0^{2\pi}\mathrm{d}\theta\int_0^3\mathrm{d}y \ \big(4\cos^2\theta + 2y\cos\theta +2y\sin\theta+4\sin^2\theta\big) \\ &= \int_0^{2\pi}\mathrm{d}\theta\int_0^3\mathrm{d}y \ \big(4 + 2y\cos\theta +2y\sin\theta\big) \end{aligned}

Since ∫02πdθ cos⁡θ=∫02πdθ sin⁡θ=0\int_0^{2\pi}\mathrm{d}\theta\ \cos\theta = \int_0^{2\pi}\mathrm{d}\theta\ \sin\theta = 0,

∬SF⋅n^ dS=4∫02πdθ∫03dy=4(2π)3=24π\begin{aligned} \iint _{S}\mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S &= 4\int_0^{2\pi}\mathrm{d}\theta\int_0^3\mathrm{d}y =4(2\pi)3 =24\pi \end{aligned}

한 번 더 — 비슷한 문제 풀기CLP-4 · 4.2절 · 1번
# 발산 정리계산보통자동 분류
CLP-4 Vector Calculus CC BY-NC-SA 4.0우리말 번역: 빌드라인 스쿨 — AI 번역·자동 검토(원문과 같은 조건)
670.CLP-4 · 4.2절 · 17번대학 수준우리말 번역

SS 를 원뿔 z=x2+y2z = \sqrt{x^2+y^2} 안에 포함된 포물면 z=2−x2−y2z = 2 - x^2 - y^2 의 일부라 하고, 위쪽 방향으로 향을 잡습니다. 또한

F=(tan⁡z+sin⁡(y3)) ı^+e−x2 ȷ^+zk^\mathbf{F} = (\tan \sqrt{z} + \sin(y^3))\,\hat{\boldsymbol{\imath}} + e^{-x^2}\,\hat{\boldsymbol{\jmath}} + z\hat{\mathbf{k}}

라 하자.

선속 적분 ∬SF⋅n^ dS\iint _S \mathbf{F} \cdot\hat{\mathbf{n}}\,\mathrm{d}S 의 값을 구하세요.

영어 원문 보기

Let SS be the part of the paraboloid z=2−x2−y2z = 2 - x^2 - y^2 contained in the cone z=x2+y2z = \sqrt{x^2+y^2} and oriented in the upward direction. Let

F=(tan⁡z+sin⁡(y3)) ı^+e−x2 ȷ^+zk^\mathbf{F} = (\tan \sqrt{z} + \sin(y^3))\,\hat{\boldsymbol{\imath}} + e^{-x^2}\,\hat{\boldsymbol{\jmath}} + z\hat{\mathbf{k}}

Evaluate the flux integral ∬SF⋅n^ dS\iint _S \mathbf{F} \cdot\hat{\mathbf{n}}\,\mathrm{d}S.

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

F\mathbf{F} 가 복잡해 보이므로, 선속 적분을 직접 계산하는 것은 피하는 편이 좋을 것이다. 먼저 F\mathbf{F} 의 발산을 계산하여, 대신 발산 정리를 쓰는 것이 현명한지 살펴보자.

∇⋅F=∂∂x(tan⁡z+sin⁡(y3))+∂∂y(e−x2)+∂∂z(z)=1\begin{aligned} { \boldsymbol{\nabla} }\cdot\mathbf{F} = \frac{\partial }{\partial x}\big(\tan \sqrt{z} + \sin(y^3)\big) +\frac{\partial }{\partial y}\big(e^{-x^2}\big) +\frac{\partial }{\partial z}\big(z\big) =1 \end{aligned}

좋아 보인다! 하지만 SS 는 입체 영역 VV 의 경계가 아니므로 아직 발산 정리를 적용할 수 없다. 경계가 적어도 SS 를 포함하는 입체 VV 를 고르는 데 도움이 되도록 그림을 그려 보면, SS 는 "아이스크림 콘"의 윗부분이다.

그림

포물면 z=2−x2−y2z = 2 - x^2 - y^2 과 원뿔 z=x2+y2z = \sqrt{x^2+y^2} 은 원 x2+y2=1x^2+y^2=1, z=1z=1 을 따라 만난다는 점에 주목하자. 경계가 SS 를 포함하는 입체 중 가장 간단한 것은 아마도 다음일 것이다.

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

VV 의 경계 ∂V\partial V 는 SS (법선이 위쪽을 향함)와 다음 원판

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

(법선은 −k^-\hat{\mathbf{k}})으로 이루어져 있다. 따라서 발산 정리에 의해 다음을 얻는다.

∬SF⋅n^ dS=∭V∇⋅F dV−∬DF⋅(−k^) dS=∭V1⏞∇⋅FdV+∬D1⏞F⋅k^=z dS\begin{aligned} \iint _S \mathbf{F} \cdot\hat{\mathbf{n}}\,\mathrm{d}S &=\iiint _V { \boldsymbol{\nabla} }\cdot\mathbf{F}\ \mathrm{d}V -\iint _D \mathbf{F} \cdot(-\hat{\mathbf{k}})\,\mathrm{d}S \\ &=\iiint _V \overbrace{1}^{{ \boldsymbol{\nabla} }\cdot\mathbf{F}}\mathrm{d}V +\iint _D \overbrace{1}^{\mathbf{F} \cdot \hat{\mathbf{k}} = z}\,\mathrm{d}S \end{aligned}

DD 는 반지름이 1인 원판이므로 ∬DdS=π\iint _D \mathrm{d}S=\pi 이다. VV 의 부피를 계산하기 위해, VV 를 수평한 "팬케이크"를 쌓아 놓은 것으로 보고 얇게 자른다. z=2−x2−y2z=2-x^2-y^2 은 x2+y2=2−z\sqrt{x^2+y^2}=\sqrt{2-z} 와 같으므로, 높이 zz 에서의 팬케이크는 반지름이 2−z\sqrt{2-z} 인 원판이고, 따라서 단면의 넓이는 π(2−z)\pi(2-z) 이다. 그러므로 VV 의 부피는 다음과 같다.

∭VdV=∫12π(2−z) dz=−π2(2−z)2∣12=π2\begin{aligned} \iiint _V \mathrm{d}V &=\int_1^2 \pi(2-z) \ \mathrm{d}z = -\frac{\pi}{2}(2-z)^2\Big|_1^2 =\frac{\pi}{2} \end{aligned}

따라서 선속은 다음과 같다.

∬SF⋅n^ dS=π2+π=32π\begin{aligned} \iint _S \mathbf{F} \cdot\hat{\mathbf{n}}\,\mathrm{d}S =\frac{\pi}{2} +\pi =\frac{3}{2}\pi \end{aligned}

원본 교재 풀이(영어)

As F\mathbf{F} looks complicated, we will probably want to avoid evaluating the flux integral directly. Let's first compute the divergence of F\mathbf{F}, to see if it looks wise to use the divergence theorem instead.

∇⋅F=∂∂x(tan⁡z+sin⁡(y3))+∂∂y(e−x2)+∂∂z(z)=1\begin{aligned} { \boldsymbol{\nabla} }\cdot\mathbf{F} = \frac{\partial }{\partial x}\big(\tan \sqrt{z} + \sin(y^3)\big) +\frac{\partial }{\partial y}\big(e^{-x^2}\big) +\frac{\partial }{\partial z}\big(z\big) =1 \end{aligned}

Looks good! We cannot yet apply the divergence theorem, since SS is not the boundary of a solid region VV. To help us choose a solid VV whose boundary at least includes SS, here is a sketch. SS is the top of the “ice cream cone”

figure

Note that the paraboloid z=2−x2−y2z = 2 - x^2 - y^2 and the cone z=x2+y2z = \sqrt{x^2+y^2} intersect along the circle x2+y2=1x^2+y^2=1, z=1z=1. Probably the simplest solid whose boundary includes SS is

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

The boundary ∂V\partial V of VV consists of SS (with upward pointing normal) and the disk

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

with normal −k^-\hat{\mathbf{k}}. So the divergence theorem gives

∬SF⋅n^ dS=∭V∇⋅F dV−∬DF⋅(−k^) dS=∭V1⏞∇⋅FdV+∬D1⏞F⋅k^=z dS\begin{aligned} \iint _S \mathbf{F} \cdot\hat{\mathbf{n}}\,\mathrm{d}S &=\iiint _V { \boldsymbol{\nabla} }\cdot\mathbf{F}\ \mathrm{d}V -\iint _D \mathbf{F} \cdot(-\hat{\mathbf{k}})\,\mathrm{d}S \\ &=\iiint _V \overbrace{1}^{{ \boldsymbol{\nabla} }\cdot\mathbf{F}}\mathrm{d}V +\iint _D \overbrace{1}^{\mathbf{F} \cdot \hat{\mathbf{k}} = z}\,\mathrm{d}S \end{aligned}

As DD is a disk of radius 1, ∬DdS=π\iint _D \mathrm{d}S=\pi. To compute the volume of VV, we'll slice it into a stack of horizontal “pancakes”. Since z=2−x2−y2z=2-x^2-y^2 is equivalent to x2+y2=2−z\sqrt{x^2+y^2}=\sqrt{2-z}, the pancake at height zz is a circular disk of radius 2−z\sqrt{2-z} and hence of cross-sectional area π(2−z)\pi(2-z). So the volume of VV is

∭VdV=∫12π(2−z) dz=−π2(2−z)2∣12=π2\begin{aligned} \iiint _V \mathrm{d}V &=\int_1^2 \pi(2-z) \ \mathrm{d}z = -\frac{\pi}{2}(2-z)^2\Big|_1^2 =\frac{\pi}{2} \end{aligned}

and the flux

∬SF⋅n^ dS=π2+π=32π\begin{aligned} \iint _S \mathbf{F} \cdot\hat{\mathbf{n}}\,\mathrm{d}S =\frac{\pi}{2} +\pi =\frac{3}{2}\pi \end{aligned}

한 번 더 — 비슷한 문제 풀기CLP-4 · 4.2절 · 7번
# 발산 정리계산보통자동 분류
CLP-4 Vector Calculus CC BY-NC-SA 4.0우리말 번역: 빌드라인 스쿨 — AI 번역·자동 검토(원문과 같은 조건)
671.CLP-4 · 4.2절 · 18번대학 수준우리말 번역

면적분

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

의 값을 구하세요. 여기서 F(x,y,z)=(cos⁡z+xy2 , xe−z , sin⁡y+x2z)\mathbf{F}(x, y, z) = \big(\cos z + xy^2\,,\, xe^{-z}\,,\, \sin y + x^2 z\big) 이고 SS 는 포물면 z=x2+y2z = x^2 + y^2 과 평면 z=4z = 4 로 둘러싸인 입체 영역의 경계이며, 법선벡터는 바깥쪽을 향합니다.

영어 원문 보기

Evaluate the surface integral

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

where F(x,y,z)=(cos⁡z+xy2 , xe−z , sin⁡y+x2z)\mathbf{F}(x, y, z) = \big(\cos z + xy^2\,,\, xe^{-z}\,,\, \sin y + x^2 z\big) and SS is the boundary of the solid region enclosed by the paraboloid z=x2+y2z = x^2 + y^2 and the plane z=4z = 4, with outward pointing normal.

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

F\mathbf{F} 가 복잡해 보이므로 플럭스 적분을 직접 계산하는 것은 피하는 것이 좋을 것이다. 먼저 F\mathbf{F} 의 발산을 계산하여, 대신 발산 정리를 쓰는 것이 좋을지 살펴보자.

∇⋅F=∂∂x(cos⁡z+xy2)+∂∂y(xe−z)+∂∂z(sin⁡y+x2z)=y2+x2\begin{aligned} { \boldsymbol{\nabla} }\cdot\mathbf{F} = \frac{\partial }{\partial x}\big(\cos z + xy^2\big) +\frac{\partial }{\partial y}\big(xe^{-z}\big) +\frac{\partial }{\partial z}\big(\sin y + x^2 z\big) =y^2+x^2 \end{aligned}

쓸 만해 보인다. 게다가 SS 는 다음 입체 영역의 경계이다.

V={ (x,y,z) ∣ x2+y2≤z≤4 }−45pt[65pt][30pt]![그림](clp/clp4−OE07A4.png)V=\big\{ \ (x,y,z)\ \big|\ x^2+y^2\le z\le 4\ \big\} {-45pt}[65pt][30pt]{ ![그림](clp/clp4-OE07A_4.png) }

따라서 발산 정리에 의해 다음을 얻는다.

∬SF⋅n^ dS=∭V∇⋅F dV=∭V(x2+y2) dV\begin{aligned} \iint _S \mathbf{F} \cdot\hat{\mathbf{n}}\,\mathrm{d}S &=\iiint _V { \boldsymbol{\nabla} }\cdot\mathbf{F}\ \mathrm{d}V =\iiint _V (x^2+y^2)\ \mathrm{d}V \end{aligned}

삼중적분을 계산하기 위해 원기둥 좌표 (r,θ,z)(r,\theta,z) 를 사용한다. zz 좌표는 00 부터 44 까지 변한다. 0≤z≤40\le z \le 4 인 각 고정된 zz 에 대해 (아래 그림의 파란 원판을 보라. 그림은 VV 의 제1팔분공간에 있는 부분을 나타낸다)

그림

(x,y)(x,y) 는 0≤x2+y2≤z0\le x^2+y^2 \le z 의 범위를 움직이며, 이는 원기둥 좌표로 0≤r2≤z0\le r^2\le z 또는 0≤r≤z0\le r\le\sqrt{z} 이다. 따라서 플럭스와 삼중적분은 다음과 같다.

∬SF⋅n^ dS=∭V(x2+y2) dV=∫04dz∫0zdr r∫02πdθ r2=2π∫04dz∫0zdr r3=2π∫04dz z24=2π433×4=323π\begin{aligned} \iint _S \mathbf{F} \cdot\hat{\mathbf{n}}\,\mathrm{d}S &=\iiint _V (x^2+y^2)\ \mathrm{d}V \\ &=\int_0^4\mathrm{d}z\int_0^{\sqrt{z}}\mathrm{d}r\ r\int_0^{2\pi}\mathrm{d}\theta\ r^2 \\ &=2\pi \int_0^4\mathrm{d}z\int_0^{\sqrt{z}}\mathrm{d}r\ r^3 \\ &=2\pi \int_0^4\mathrm{d}z\ \frac{z^2}{4} =2\pi \frac{4^3}{3\times 4}\\ &=\frac{32}{3}\pi \end{aligned}

원본 교재 풀이(영어)

As F\mathbf{F} looks complicated, we will probably want to avoid evaluating the flux integral directly. Let's first compute the divergence of F\mathbf{F}, to see if it looks wise to use the divergence theorem instead.

∇⋅F=∂∂x(cos⁡z+xy2)+∂∂y(xe−z)+∂∂z(sin⁡y+x2z)=y2+x2\begin{aligned} { \boldsymbol{\nabla} }\cdot\mathbf{F} = \frac{\partial }{\partial x}\big(\cos z + xy^2\big) +\frac{\partial }{\partial y}\big(xe^{-z}\big) +\frac{\partial }{\partial z}\big(\sin y + x^2 z\big) =y^2+x^2 \end{aligned}

Looks promising. Furthermore SS is the boundary of the solid region

V={ (x,y,z) ∣ x2+y2≤z≤4 }−45pt[65pt][30pt]![figure](clp/clp4−OE07A4.png)V=\big\{ \ (x,y,z)\ \big|\ x^2+y^2\le z\le 4\ \big\} {-45pt}[65pt][30pt]{ ![figure](clp/clp4-OE07A_4.png) }

So the divergence theorem gives

∬SF⋅n^ dS=∭V∇⋅F dV=∭V(x2+y2) dV\begin{aligned} \iint _S \mathbf{F} \cdot\hat{\mathbf{n}}\,\mathrm{d}S &=\iiint _V { \boldsymbol{\nabla} }\cdot\mathbf{F}\ \mathrm{d}V =\iiint _V (x^2+y^2)\ \mathrm{d}V \end{aligned}

To compute the triple integral, we'll use the cylindrical coordinates (r,θ,z)(r,\theta,z). The zz-coordinate runs from 00 to 44. For each fixed 0≤z≤40\le z \le 4 (see the blue disk in the figure below — which shows the part of VV in the first octant),

figure

(x,y)(x,y) runs over 0≤x2+y2≤z0\le x^2+y^2 \le z, which in cylindrical coordinates is 0≤r2≤z0\le r^2\le z or 0≤r≤z0\le r\le\sqrt{z}. So the flux and the triple integral are

∬SF⋅n^ dS=∭V(x2+y2) dV=∫04dz∫0zdr r∫02πdθ r2=2π∫04dz∫0zdr r3=2π∫04dz z24=2π433×4=323π\begin{aligned} \iint _S \mathbf{F} \cdot\hat{\mathbf{n}}\,\mathrm{d}S &=\iiint _V (x^2+y^2)\ \mathrm{d}V \\ &=\int_0^4\mathrm{d}z\int_0^{\sqrt{z}}\mathrm{d}r\ r\int_0^{2\pi}\mathrm{d}\theta\ r^2 \\ &=2\pi \int_0^4\mathrm{d}z\int_0^{\sqrt{z}}\mathrm{d}r\ r^3 \\ &=2\pi \int_0^4\mathrm{d}z\ \frac{z^2}{4} =2\pi \frac{4^3}{3\times 4}\\ &=\frac{32}{3}\pi \end{aligned}

한 번 더 — 비슷한 문제 풀기CLP-4 · 4.2절 · 19번
# 발산 정리계산보통자동 분류
CLP-4 Vector Calculus CC BY-NC-SA 4.0우리말 번역: 빌드라인 스쿨 — AI 번역·자동 검토(원문과 같은 조건)
672.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번
# 발산 정리계산보통자동 분류
CLP-4 Vector Calculus CC BY-NC-SA 4.0우리말 번역: 빌드라인 스쿨 — AI 번역·자동 검토(원문과 같은 조건)
673.CLP-4 · 4.2절 · 27번대학 수준우리말 번역

벡터장 F(x,y,z)=−2xy ı^+(y2+sin⁡(xz)) ȷ^+(x2+y2) k^\mathbf{F}(x,y,z) =-2xy\,\hat{\boldsymbol{\imath}}+\big(y^2+\sin(xz)\big)\,\hat{\boldsymbol{\jmath}}+(x^2+y^2)\,\hat{\mathbf{k}} 를 생각하세요.

(a) ∇⋅F\nabla\cdot \mathbf{F} 를 계산하세요. (b) 곡면 SS 의 바깥쪽 법선벡터를 사용하여, 다음으로 정의되는 곡면 SS 를 지나는 F\mathbf{F} 의 플럭스를 구하세요.

x2+y2+(z−12)2=132, z≥0x^2+y^2+(z-12)^2=13^2,\ z\ge 0

영어 원문 보기

Consider the vector field F(x,y,z)=−2xy ı^+(y2+sin⁡(xz)) ȷ^+(x2+y2) k^\mathbf{F}(x,y,z) =-2xy\,\hat{\boldsymbol{\imath}}+\big(y^2+\sin(xz)\big)\,\hat{\boldsymbol{\jmath}}+(x^2+y^2)\,\hat{\mathbf{k}}.

(a) Calculate ∇⋅F\nabla\cdot \mathbf{F}. (b) Find the flux of F\mathbf{F} through the surface SS defined by

x2+y2+(z−12)2=132, z≥0x^2+y^2+(z-12)^2=13^2,\ z\ge 0

using the outward normal to SS.

답 쓰고 채점
(a)
(b)
정답·풀이 보기

(a) F\mathbf{F} 의 발산은 다음과 같다.

∇⋅F=∂∂x(−2xy)+∂∂y(y2+sin⁡(xz))+∂∂z(x2+y2)=−2y+2y+0=0\nabla\cdot \mathbf{F} =\frac{\partial }{\partial x}\big(-2xy\big) +\frac{\partial }{\partial y}\big(y^2+\sin(xz)\big) +\frac{\partial }{\partial z}\big(x^2+y^2\big) =-2y+2y+0=0

(b) 주어진 곡면을 SS 라 하고

V={ (x,y,z) ∣ x2+y2+(z−12)2≤132, z≥0 }V = \big\{ \ (x,y,z)\ \big|\ x^2+y^2+(z-12)^2\le 13^2,\ z\ge 0\ \big\}

로 놓는다.

VV 의 경계 ∂V\partial V 는 두 부분으로 이루어진다. 바깥쪽 법선벡터를 갖는 SS 와, 법선벡터가 −k^-\hat{\mathbf{k}} 인 원판

D={ (x,y,z) ∣ x2+y2≤132−122=52, z=0 }D = \big\{ \ (x,y,z)\ \big|\ x^2+y^2\le 13^2-12^2=5^2,\ z=0\ \big\}

이다. 발산 정리에 의해 구하는 플럭스는 다음과 같다.

∬SF⋅n^ ds=∭V∇⋅F dV−∬DF⋅(−k^) dS=∭V0 dV+∬D(x2+y2)dxdy=0+∫05dr r∫02πdθ r2=2π544=6252π\begin{aligned} \iint _S\mathbf{F}\cdot\hat{\mathbf{n}}\ \mathrm{d}s &=\iiint _V\nabla\cdot \mathbf{F}\ \mathrm{d}V - \iint _D \mathbf{F}\cdot(-\hat{\mathbf{k}})\ \mathrm{d}S\\ &=\iiint _V 0 \ \mathrm{d}V + \iint _D (x^2+y^2) \mathrm{d}x\mathrm{d}y \\ &=0 +\int_0^5\mathrm{d}r\ r\int_0^{2\pi}\mathrm{d}\theta\ r^2 \\ &=2\pi\frac{5^4}{4} = \frac {625}{2}\pi \end{aligned}

원본 교재 풀이(영어)

(a) The divergence of F\mathbf{F} is

∇⋅F=∂∂x(−2xy)+∂∂y(y2+sin⁡(xz))+∂∂z(x2+y2)=−2y+2y+0=0\nabla\cdot \mathbf{F} =\frac{\partial }{\partial x}\big(-2xy\big) +\frac{\partial }{\partial y}\big(y^2+\sin(xz)\big) +\frac{\partial }{\partial z}\big(x^2+y^2\big) =-2y+2y+0=0

(b) Call the specified surface SS and set

V={ (x,y,z) ∣ x2+y2+(z−12)2≤132, z≥0 }V = \big\{ \ (x,y,z)\ \big|\ x^2+y^2+(z-12)^2\le 13^2,\ z\ge 0\ \big\}

The boundary, ∂V\partial V, of VV consists of two parts — SS, with outward normal, and the disk

D={ (x,y,z) ∣ x2+y2≤132−122=52, z=0 }D = \big\{ \ (x,y,z)\ \big|\ x^2+y^2\le 13^2-12^2=5^2,\ z=0\ \big\}

with normal −k^-\hat{\mathbf{k}}. By the divergence theorem, the desired flux is

∬SF⋅n^ ds=∭V∇⋅F dV−∬DF⋅(−k^) dS=∭V0 dV+∬D(x2+y2)dxdy=0+∫05dr r∫02πdθ r2=2π544=6252π\begin{aligned} \iint _S\mathbf{F}\cdot\hat{\mathbf{n}}\ \mathrm{d}s &=\iiint _V\nabla\cdot \mathbf{F}\ \mathrm{d}V - \iint _D \mathbf{F}\cdot(-\hat{\mathbf{k}})\ \mathrm{d}S\\ &=\iiint _V 0 \ \mathrm{d}V + \iint _D (x^2+y^2) \mathrm{d}x\mathrm{d}y \\ &=0 +\int_0^5\mathrm{d}r\ r\int_0^{2\pi}\mathrm{d}\theta\ r^2 \\ &=2\pi\frac{5^4}{4} = \frac {625}{2}\pi \end{aligned}

한 번 더 — 비슷한 문제 풀기CLP-4 · 4.2절 · 47번
# 발산 정리계산보통자동 분류
CLP-4 Vector Calculus CC BY-NC-SA 4.0우리말 번역: 빌드라인 스쿨 — AI 번역·자동 검토(원문과 같은 조건)
674.CLP-4 · 4.2절 · 30번대학 수준우리말 번역

SS 를 구면 x2+y2+(z−1)2=4x^2+y^2+(z-1)^2=4 에서 xyxy평면 위쪽에 있는 부분이라 하자. SS 를 지나 바깥쪽으로 향하는 F=(x2+ey2) ı^+(ex2+y2) ȷ^+(4+5x) k^\mathbf{F}=(x^2+e^{y^2})\,\hat{\boldsymbol{\imath}}+(e^{x^2}+y^2)\,\hat{\boldsymbol{\jmath}} +(4+5x)\,\hat{\mathbf{k}} 의 플럭스를 구하세요.

영어 원문 보기

Let SS be the portion of the sphere x2+y2+(z−1)2=4x^2+y^2+(z-1)^2=4 that lies above the xyxy-plane. Find the flux of F=(x2+ey2) ı^+(ex2+y2) ȷ^+(4+5x) k^\mathbf{F}=(x^2+e^{y^2})\,\hat{\boldsymbol{\imath}}+(e^{x^2}+y^2)\,\hat{\boldsymbol{\jmath}} +(4+5x)\,\hat{\mathbf{k}} outward across SS.

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

S′S' 를 원판 x2+y2≤3, z=0x^2+y^2\le 3,\ z=0 (이때 n^\hat{\mathbf{n}} 은 아래쪽을 향하는 법선벡터)이라 하고, VV 를 z≥0z\ge 0 인 공 x2+y2+(z−1)2≤4x^2+y^2+(z-1)^2\le 4 의 부분이라 하자. 그러면 발산 정리에 의해

∬SF⋅n^ dS=∭V∇⋅F dV−∬S′F⋅(−k^) dS=∭V(2x+2y) dV+∬S′(4+5x) dxdy\begin{aligned} \iint _{S}\mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S &=\iiint _{V}{ \boldsymbol{\nabla} }\cdot\mathbf{F}\, \mathrm{d}V -\iint _{S'}\mathbf{F}\cdot(-\hat{\mathbf{k}})\,\mathrm{d}S\\ &=\iiint _{V}(2x+2y)\, \mathrm{d}V +\iint _{S'}(4+5x)\,\mathrm{d}x\mathrm{d}y \end{aligned}

이다. xx 는 x→−xx\rightarrow-x 에 대해 홀함수이고 yy 는 y→−yy\rightarrow -y 에 대해 홀함수이므로,

∭Vx dV=∭Vy dV=∬S′x dxdy=0\iiint _{V}x\, \mathrm{d}V=\iiint _{V}y\, \mathrm{d}V=\iint _{S'}x\,\mathrm{d}x\mathrm{d}y=0

이고, 따라서

∬SF⋅n^ dS=4∬S′ dxdy=4 넓이(S′)=4×π(3)2=12π\begin{aligned} \iint _{S}\mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S =4\iint _{S'}\,\mathrm{d}x\mathrm{d}y =4\,\text{넓이}(S') =4\times \pi\big(\sqrt{3}\big)^2=12\pi \end{aligned}

이다.

원본 교재 풀이(영어)

Let S′S' be the disk x2+y2≤3, z=0x^2+y^2\le 3,\ z=0 (with n^\hat{\mathbf{n}} the downward pointing normal) and let VV be the portion of the ball x2+y2+(z−1)2≤4x^2+y^2+(z-1)^2\le 4 with z≥0z\ge 0. Then, by the divergence theorem,

∬SF⋅n^ dS=∭V∇⋅F dV−∬S′F⋅(−k^) dS=∭V(2x+2y) dV+∬S′(4+5x) dxdy\begin{aligned} \iint _{S}\mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S &=\iiint _{V}{ \boldsymbol{\nabla} }\cdot\mathbf{F}\, \mathrm{d}V -\iint _{S'}\mathbf{F}\cdot(-\hat{\mathbf{k}})\,\mathrm{d}S\\ &=\iiint _{V}(2x+2y)\, \mathrm{d}V +\iint _{S'}(4+5x)\,\mathrm{d}x\mathrm{d}y \end{aligned}

Because xx is odd under x→−xx\rightarrow-x and yy is odd under y→−yy\rightarrow -y,

∭Vx dV=∭Vy dV=∬S′x dxdy=0\iiint _{V}x\, \mathrm{d}V=\iiint _{V}y\, \mathrm{d}V=\iint _{S'}x\,\mathrm{d}x\mathrm{d}y=0

so that

∬SF⋅n^ dS=4∬S′ dxdy=4 Area(S′)=4×π(3)2=12π\begin{aligned} \iint _{S}\mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S =4\iint _{S'}\,\mathrm{d}x\mathrm{d}y =4\,\text{Area}(S') =4\times \pi\big(\sqrt{3}\big)^2=12\pi \end{aligned}

한 번 더 — 비슷한 문제 풀기OpenStax 3권 · 6.8절 · 8번
# 발산 정리계산보통자동 분류
CLP-4 Vector Calculus CC BY-NC-SA 4.0우리말 번역: 빌드라인 스쿨 — AI 번역·자동 검토(원문과 같은 조건)
675.CLP-4 · 4.2절 · 32번대학 수준우리말 번역

DD 를 원기둥 x2+y2≤1x^2+y^2\le 1, 0≤z≤50\le z\le 5 라 하자. 벡터장 F=(x+xyez) ı^+12y2zez ȷ^+(3z−yzez) k^\mathbf{F}=(x+xye^z)\,\hat{\boldsymbol{\imath}}+\tfrac{1}{2} y^2ze^z\,\hat{\boldsymbol{\jmath}}+(3z-yze^z)\,\hat{\mathbf{k}} 이 DD 의 겉면 중 옆면을 통해 바깥쪽으로 나가는 선속을 계산하세요.

영어 원문 보기

Let DD be the cylinder x2+y2≤1x^2+y^2\le 1, 0≤z≤50\le z\le 5. Calculate the flux of the vector field F=(x+xyez) ı^+12y2zez ȷ^+(3z−yzez) k^\mathbf{F}=(x+xye^z)\,\hat{\boldsymbol{\imath}}+\tfrac{1}{2} y^2ze^z\,\hat{\boldsymbol{\jmath}}+(3z-yze^z)\,\hat{\mathbf{k}} outward through the curved part of the surface of DD.

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

StS_t, SbS_b, ScS_c 를 각각 DD 의 윗면, 밑면, 옆면이라 하자. 윗면에서는 z=5z=5 이고 DD 의 바깥쪽 법선 벡터는 k^\hat{\mathbf{k}} 이므로 ∬StF⋅n^ dS=∬x2+y2≤1(15−5ye5) dxdy=15∬x2+y2≤1 dxdy=15π\iint _{\mathcal{S}_t}\mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S =\iint _{x^2+y^2\le 1}(15-5ye^5)\,\mathrm{d}x\mathrm{d}y =15\iint _{x^2+y^2\le 1}\,\mathrm{d}x\mathrm{d}y =15\pi yy 에 대한 적분이 0인 것은 yy 가 y→−yy\rightarrow -y 에 대해 홀함수이기 때문이다. 밑면에서는 z=0z=0 이고 DD 의 바깥쪽 법선 벡터는 −k^-\hat{\mathbf{k}} 이므로 ∬SbF⋅n^ dS=−∬x2+y2≤1(3×0−0×ye0) dxdy=0\iint _{\mathcal{S}_b}\mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S =-\iint _{x^2+y^2\le 1}(3\times 0-0\times ye^0)\,\mathrm{d}x\mathrm{d}y =0 여기서도 yy 에 대한 적분이 0인 것은 yy 가 y→−yy\rightarrow -y 에 대해 홀함수이기 때문이다. ∇⋅F=∂∂x(x+xyez)+12∂∂y(y2zez)+∂∂z(3z−yzez)=(1+yez)+yzez+(3−yzez−yez)=4{ \boldsymbol{\nabla} }\cdot\mathbf{F} =\frac{\partial }{\partial x}(x+xye^z) +\tfrac{1}{2}\frac{\partial }{\partial y}\big( y^2ze^z\big) +\frac{\partial }{\partial z}(3z-yze^z) =(1+ye^z)+yze^z+(3-yze^z-ye^z) =4 이므로 발산 정리에 의해

∬ScF⋅n^ dS=∭D∇⋅F dV−∬StF⋅n^ dS−∬SbF⋅n^ dS=∭D4 dV−15π−0=4×π12×5−15π=5π\begin{aligned} \iint _{\mathcal{S}_c}\mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S &=\iiint _D{ \boldsymbol{\nabla} }\cdot\mathbf{F}\ \mathrm{d}V -\iint _{\mathcal{S}_t}\mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S -\iint _{\mathcal{S}_b}\mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S\\ &=\iiint _D4\ \mathrm{d}V -15\pi-0 =4\times\pi 1^2\times 5-15\pi =5\pi \end{aligned}

원본 교재 풀이(영어)

Let StS_t, SbS_b and ScS_c denote the top, bottom and curved surfaces of DD respectively. On the top surface, z=5z=5 and the outward normal to DD is k^\hat{\mathbf{k}}, so that ∬StF⋅n^ dS=∬x2+y2≤1(15−5ye5) dxdy=15∬x2+y2≤1 dxdy=15π\iint _{\mathcal{S}_t}\mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S =\iint _{x^2+y^2\le 1}(15-5ye^5)\,\mathrm{d}x\mathrm{d}y =15\iint _{x^2+y^2\le 1}\,\mathrm{d}x\mathrm{d}y =15\pi The integral over yy was zero because yy is odd under y→−yy\rightarrow -y. On the bottom surface, z=0z=0 and the outward normal to DD is −k^-\hat{\mathbf{k}}, so that ∬SbF⋅n^ dS=−∬x2+y2≤1(3×0−0×ye0) dxdy=0\iint _{\mathcal{S}_b}\mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S =-\iint _{x^2+y^2\le 1}(3\times 0-0\times ye^0)\,\mathrm{d}x\mathrm{d}y =0 Again, the integral over yy was zero because yy is odd under y→−yy\rightarrow -y. As ∇⋅F=∂∂x(x+xyez)+12∂∂y(y2zez)+∂∂z(3z−yzez)=(1+yez)+yzez+(3−yzez−yez)=4{ \boldsymbol{\nabla} }\cdot\mathbf{F} =\frac{\partial }{\partial x}(x+xye^z) +\tfrac{1}{2}\frac{\partial }{\partial y}\big( y^2ze^z\big) +\frac{\partial }{\partial z}(3z-yze^z) =(1+ye^z)+yze^z+(3-yze^z-ye^z) =4 the divergence theorem gives

∬ScF⋅n^ dS=∭D∇⋅F dV−∬StF⋅n^ dS−∬SbF⋅n^ dS=∭D4 dV−15π−0=4×π12×5−15π=5π\begin{aligned} \iint _{\mathcal{S}_c}\mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S &=\iiint _D{ \boldsymbol{\nabla} }\cdot\mathbf{F}\ \mathrm{d}V -\iint _{\mathcal{S}_t}\mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S -\iint _{\mathcal{S}_b}\mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S\\ &=\iiint _D4\ \mathrm{d}V -15\pi-0 =4\times\pi 1^2\times 5-15\pi =5\pi \end{aligned}

한 번 더 — 비슷한 문제 풀기CLP-4 · 4.2절 · 33번
# 발산 정리계산보통자동 분류
CLP-4 Vector Calculus CC BY-NC-SA 4.0우리말 번역: 빌드라인 스쿨 — AI 번역·자동 검토(원문과 같은 조건)
676.CLP-4 · 4.2절 · 33번대학 수준우리말 번역

구 x2+y2+z2=a2x^2+y^2+z^2=a^2 의 제1팔분공간 부분을 위쪽으로 통과하는 F=(y+xz)ı^+(y+yz)ȷ^−(2x+z2)k^\mathbf{F}=(y+xz)\hat{\boldsymbol{\imath}}+(y+yz)\hat{\boldsymbol{\jmath}}-(2x+z^2)\hat{\mathbf{k}} 의 선속을 구하세요.

영어 원문 보기

Find the flux of F=(y+xz)ı^+(y+yz)ȷ^−(2x+z2)k^\mathbf{F}=(y+xz)\hat{\boldsymbol{\imath}}+(y+yz)\hat{\boldsymbol{\jmath}}-(2x+z^2)\hat{\mathbf{k}} upward through the first octant part of the sphere x2+y2+z2=a2x^2+y^2+z^2=a^2.

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

V={ (x,y,z) ∣ x2+y2+z2≤a2,x≥0,y≥0, z≥0 }V=\big\{ \ (x,y,z)\ \big|\ x^2+y^2+z^2\le a^2, x\ge 0, y\ge 0,\ z\ge 0\ \big\} 라 하자.

그림

그러면 ∂V\partial V 는 다음으로 이루어져 있다.

  • x=0x=0 인 면 { (x,y,z) ∣ y2+z2≤a2,x=0,y≥0, z≥0 }\big\{ \ (x,y,z)\ \big|\ y^2+z^2\le a^2, x=0, y\ge 0,\ z\ge 0\ \big\} (법선 벡터는 n^=−ı^\hat{\mathbf{n}}=-\hat{\boldsymbol{\imath}}),
  • y=0y=0 인 면 { (x,y,z) ∣ x2+z2≤a2,x≥0,y=0, z≥0 }\big\{ \ (x,y,z)\ \big|\ x^2+z^2\le a^2, x\ge 0, y= 0,\ z\ge 0\ \big\} (법선 벡터는 n^=−ȷ^\hat{\mathbf{n}}=-\hat{\boldsymbol{\jmath}}),
  • z=0z=0 인 면 { (x,y,z) ∣ x2+y2≤a2,x≥0,y≥0, z=0 }\big\{ \ (x,y,z)\ \big|\ x^2+y^2\le a^2, x\ge 0, y\ge 0,\ z= 0\ \big\} (법선 벡터는 n^=−k^\hat{\mathbf{n}}=-\hat{\mathbf{k}}),
  • 그리고 구의 제1팔분공간 부분이다. 이를 SS 라 하자.

그러면

∭V∇⋅F dV=∭V[z+1+z−2z] dV=∭V dV=18 43πa3=16πa3∬z=0faceF⋅(−k^) dx dy=∬z=0face(2x+02) dx dy=2∫0adr r∫0π/2dθ rcos⁡θ=2∫0ar2 dr=2a33∬y=0faceF⋅(−ȷ^) dx dz=−∬y=0face(0+0z) dx dz=0∬x=0faceF⋅(−ı^) dy dz=∬x=0face−(y+0z) dy dz=−∫0adr r∫0π/2dθ rsin⁡θ=−∫0ar2 dr=−a33\begin{aligned} &\iiint _V { \boldsymbol{\nabla} }\cdot\mathbf{F}\,\mathrm{d}V=\iiint _V\big[z+1+z-2z\big]\,\mathrm{d}V =\iiint _V \,\mathrm{d}V=\frac{1}{8}\ \frac{4}{3}\pi a^3=\frac{1}{6}\pi a^3\\ &\iint _{\genfrac{}{}{0pt}{}{z=0}{\rm face}}\mathbf{F}\cdot(-\hat{\mathbf{k}})\,\mathrm{d}x\,\mathrm{d}y =\iint _{\genfrac{}{}{0pt}{}{z=0}{\rm face}}(2x+0^2)\,\mathrm{d}x\,\mathrm{d}y =2\int_0^a dr\,r\int_0^{\pi/2}\mathrm{d}\theta\ r\cos\theta =2\int _0^a r^2\,dr =\frac{2a^3}{3}\\ &\iint _{\genfrac{}{}{0pt}{}{y=0}{\rm face}}\mathbf{F}\cdot(-\hat{\boldsymbol{\jmath}})\,\mathrm{d}x\,\mathrm{d}z =-\iint _{\genfrac{}{}{0pt}{}{y=0}{\rm face}}(0+0z)\,\mathrm{d}x\,\mathrm{d}z =0\\ &\iint _{\genfrac{}{}{0pt}{}{x=0}{\rm face}}\mathbf{F}\cdot(-\hat{\boldsymbol{\imath}})\,\mathrm{d}y\,\mathrm{d}z =\iint _{\genfrac{}{}{0pt}{}{x=0}{\rm face}}-(y+0z)\,\mathrm{d}y\,\mathrm{d}z =-\int_0^a dr\,r\int_0^{\pi/2}\mathrm{d}\theta\ r\sin\theta =-\int _0^a r^2\,dr=-\frac{a^3}{3} \end{aligned}

발산 정리에 의해

∬SF⋅n^ dx dy=∭V∇⋅F dV−∬x=0faceF⋅(−ı^) dy dz−∬y=0faceF⋅(−ȷ^) dx dz−∬z=0faceF⋅(−k^) dx dy=[π6−13]a3\begin{aligned} \iint _{S}\mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}x\,\mathrm{d}y &=\iiint _V { \boldsymbol{\nabla} }\cdot\mathbf{F}\,\mathrm{d}V -\iint _{\genfrac{}{}{0pt}{}{x=0}{\rm face}}\mathbf{F}\cdot(-\hat{\boldsymbol{\imath}})\,\mathrm{d}y\,\mathrm{d}z -\iint _{\genfrac{}{}{0pt}{}{y=0}{\rm face}}\mathbf{F}\cdot(-\hat{\boldsymbol{\jmath}})\,\mathrm{d}x\,\mathrm{d}z -\iint _{\genfrac{}{}{0pt}{}{z=0}{\rm face}}\mathbf{F}\cdot(-\hat{\mathbf{k}})\,\mathrm{d}x\,\mathrm{d}y \\ &=\left[\frac{\pi}{6}-\frac{1}{3}\right]a^3 \end{aligned}

원본 교재 풀이(영어)

Let V={ (x,y,z) ∣ x2+y2+z2≤a2,x≥0,y≥0, z≥0 }V=\big\{ \ (x,y,z)\ \big|\ x^2+y^2+z^2\le a^2, x\ge 0, y\ge 0,\ z\ge 0\ \big\}.

figure

Then ∂V\partial V consists of

  • the x=0x=0 face { (x,y,z) ∣ y2+z2≤a2,x=0,y≥0, z≥0 }\big\{ \ (x,y,z)\ \big|\ y^2+z^2\le a^2, x=0, y\ge 0,\ z\ge 0\ \big\} with normal n^=−ı^\hat{\mathbf{n}}=-\hat{\boldsymbol{\imath}},
  • the y=0y=0 face { (x,y,z) ∣ x2+z2≤a2,x≥0,y=0, z≥0 }\big\{ \ (x,y,z)\ \big|\ x^2+z^2\le a^2, x\ge 0, y= 0,\ z\ge 0\ \big\} with normal n^=−ȷ^\hat{\mathbf{n}}=-\hat{\boldsymbol{\jmath}},
  • the z=0z=0 face { (x,y,z) ∣ x2+y2≤a2,x≥0,y≥0, z=0 }\big\{ \ (x,y,z)\ \big|\ x^2+y^2\le a^2, x\ge 0, y\ge 0,\ z= 0\ \big\} with normal n^=−k^\hat{\mathbf{n}}=-\hat{\mathbf{k}},
  • and the first octant part of the sphere. Call it SS.

Then

∭V∇⋅F dV=∭V[z+1+z−2z] dV=∭V dV=18 43πa3=16πa3∬z=0faceF⋅(−k^) dx dy=∬z=0face(2x+02) dx dy=2∫0adr r∫0π/2dθ rcos⁡θ=2∫0ar2 dr=2a33∬y=0faceF⋅(−ȷ^) dx dz=−∬y=0face(0+0z) dx dz=0∬x=0faceF⋅(−ı^) dy dz=∬x=0face−(y+0z) dy dz=−∫0adr r∫0π/2dθ rsin⁡θ=−∫0ar2 dr=−a33\begin{aligned} &\iiint _V { \boldsymbol{\nabla} }\cdot\mathbf{F}\,\mathrm{d}V=\iiint _V\big[z+1+z-2z\big]\,\mathrm{d}V =\iiint _V \,\mathrm{d}V=\frac{1}{8}\ \frac{4}{3}\pi a^3=\frac{1}{6}\pi a^3\\ &\iint _{\genfrac{}{}{0pt}{}{z=0}{\rm face}}\mathbf{F}\cdot(-\hat{\mathbf{k}})\,\mathrm{d}x\,\mathrm{d}y =\iint _{\genfrac{}{}{0pt}{}{z=0}{\rm face}}(2x+0^2)\,\mathrm{d}x\,\mathrm{d}y =2\int_0^a dr\,r\int_0^{\pi/2}\mathrm{d}\theta\ r\cos\theta =2\int _0^a r^2\,dr =\frac{2a^3}{3}\\ &\iint _{\genfrac{}{}{0pt}{}{y=0}{\rm face}}\mathbf{F}\cdot(-\hat{\boldsymbol{\jmath}})\,\mathrm{d}x\,\mathrm{d}z =-\iint _{\genfrac{}{}{0pt}{}{y=0}{\rm face}}(0+0z)\,\mathrm{d}x\,\mathrm{d}z =0\\ &\iint _{\genfrac{}{}{0pt}{}{x=0}{\rm face}}\mathbf{F}\cdot(-\hat{\boldsymbol{\imath}})\,\mathrm{d}y\,\mathrm{d}z =\iint _{\genfrac{}{}{0pt}{}{x=0}{\rm face}}-(y+0z)\,\mathrm{d}y\,\mathrm{d}z =-\int_0^a dr\,r\int_0^{\pi/2}\mathrm{d}\theta\ r\sin\theta =-\int _0^a r^2\,dr=-\frac{a^3}{3} \end{aligned}

By the divergence theorem

∬SF⋅n^ dx dy=∭V∇⋅F dV−∬x=0faceF⋅(−ı^) dy dz−∬y=0faceF⋅(−ȷ^) dx dz−∬z=0faceF⋅(−k^) dx dy=[π6−13]a3\begin{aligned} \iint _{S}\mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}x\,\mathrm{d}y &=\iiint _V { \boldsymbol{\nabla} }\cdot\mathbf{F}\,\mathrm{d}V -\iint _{\genfrac{}{}{0pt}{}{x=0}{\rm face}}\mathbf{F}\cdot(-\hat{\boldsymbol{\imath}})\,\mathrm{d}y\,\mathrm{d}z -\iint _{\genfrac{}{}{0pt}{}{y=0}{\rm face}}\mathbf{F}\cdot(-\hat{\boldsymbol{\jmath}})\,\mathrm{d}x\,\mathrm{d}z -\iint _{\genfrac{}{}{0pt}{}{z=0}{\rm face}}\mathbf{F}\cdot(-\hat{\mathbf{k}})\,\mathrm{d}x\,\mathrm{d}y \\ &=\left[\frac{\pi}{6}-\frac{1}{3}\right]a^3 \end{aligned}

한 번 더 — 비슷한 문제 풀기CLP-4 · 4.2절 · 30번
# 발산 정리계산보통자동 분류
CLP-4 Vector Calculus CC BY-NC-SA 4.0우리말 번역: 빌드라인 스쿨 — AI 번역·자동 검토(원문과 같은 조건)
677.CLP-4 · 4.2절 · 36번대학 수준우리말 번역

VV 를 곡면 ∂V\partial V 로 둘러싸인 R3\mathbb{R}^3 의 입체라 하자. 다음을 보이세요.

∬∂Vr⋅n^ dS=3 Volume(V)\iint _{\partial V}\mathbf{r}\cdot\hat{\mathbf{n}}\,\mathrm{d}S=3\,\text{Volume}(V)

여기서 r=x ı^+y ȷ^+z k^\mathbf{r}=x\,\hat{\boldsymbol{\imath}}+y\,\hat{\boldsymbol{\jmath}}+z\,\hat{\mathbf{k}} 이고, 평소처럼 n^\hat{\mathbf{n}} 은 ∂V\partial V 의 바깥쪽 법선이다. 이 결과를 기하학적으로 설명할 수 있는지 확인해 보세요.

영어 원문 보기

Let VV be a solid in R3\mathbb{R}^3 with surface ∂V\partial V. Show that

∬∂Vr⋅n^ dS=3 Volume(V)\iint _{\partial V}\mathbf{r}\cdot\hat{\mathbf{n}}\,\mathrm{d}S=3\,\text{Volume}(V)

where r=x ı^+y ȷ^+z k^\mathbf{r}=x\,\hat{\boldsymbol{\imath}}+y\,\hat{\boldsymbol{\jmath}}+z\,\hat{\mathbf{k}} and, as usual, n^\hat{\mathbf{n}} is the outer normal to ∂V\partial V. See if you can explain this result geometrically.

정답·풀이 보기

발산 정리에 의해

∬∂Vr⋅n^ dS=∭V∇⋅r dV=∭V∇⋅(x ı^+y ȷ^+z k^) dV=∭V3 dV=3 Volume(V)\iint _{\partial V}\mathbf{r}\cdot\hat{\mathbf{n}}\, \mathrm{d}S =\iiint _V{ \boldsymbol{\nabla} }\cdot\mathbf{r}\,\mathrm{d}V =\iiint _V{ \boldsymbol{\nabla} }\cdot(x\,\hat{\boldsymbol{\imath}}+y\,\hat{\boldsymbol{\jmath}}+z\,\hat{\mathbf{k}})\,\mathrm{d}V =\iiint _V 3\,\mathrm{d}V =3\,\text{Volume}(V)

기하학적 설명은 다음 관찰에서 시작한다. 꼭짓점이 (0,0,0)(0,0,0) 이고 밑면이 곡면의 아주 작은 조각 dS\mathrm{d}S 인 원뿔의 부피는 밑면의 넓이와 원뿔의 높이를 곱한 값의 13\frac{1}{3} 배이다. 원뿔의 높이는 ∣n^⋅r∣|\hat{\mathbf{n}}\cdot\mathbf{r}| 이고, 여기서 r\mathbf{r} 은 dS\mathrm{d}S 위의 한 점이다. 따라서 원뿔의 부피는 13∣n^⋅r∣ dS\frac{1}{3}|\hat{\mathbf{n}}\cdot\mathbf{r}|\,\mathrm{d}S 이다.

그림

먼저 (0,0,0)(0,0,0) 이 VV 안에 있고 VV 가 볼록하다고 가정하자. 그러면

  • n^⋅r>0\hat{\mathbf{n}}\cdot\mathbf{r}>0 이고, 부피는 13n^⋅r dS\frac{1}{3} \hat{\mathbf{n}}\cdot\mathbf{r} \,\mathrm{d}S 이다.
  • 원뿔은 VV 에 포함되고,
  • VV 는 dS\mathrm{d}S 가 ∂V\partial V 전체를 움직일 때 생기는 모든 아주 작은 원뿔 조각들의 합집합이다.

따라서

Volume(V)=13∬∂Vr⋅n^ dS\text{Volume}(V)=\frac{1}{3}\iint _{\partial V}\mathbf{r}\cdot\hat{\mathbf{n}}\, \mathrm{d}S

VV 가 볼록하지 않거나 (0,0,0)(0,0,0) 이 VV 안에 있지 않은 경우로 일반화하려면, VV 를 큰 볼록 입체 하나와 하나 이상의 더 작은 볼록 입체들의 차로 나타내면 된다.

원본 교재 풀이(영어)

By the divergence theorem

∬∂Vr⋅n^ dS=∭V∇⋅r dV=∭V∇⋅(x ı^+y ȷ^+z k^) dV=∭V3 dV=3 Volume(V)\iint _{\partial V}\mathbf{r}\cdot\hat{\mathbf{n}}\, \mathrm{d}S =\iiint _V{ \boldsymbol{\nabla} }\cdot\mathbf{r}\,\mathrm{d}V =\iiint _V{ \boldsymbol{\nabla} }\cdot(x\,\hat{\boldsymbol{\imath}}+y\,\hat{\boldsymbol{\jmath}}+z\,\hat{\mathbf{k}})\,\mathrm{d}V =\iiint _V 3\,\mathrm{d}V =3\,\text{Volume}(V)

Our gemetric explanation starts with the observation that the volume of the cone with vertex (0,0,0)(0,0,0) and base a tiny piece of surface dS\mathrm{d}S is 13\frac{1}{3} times the area of the base times the height of the cone. The height of the cone is ∣n^⋅r∣|\hat{\mathbf{n}}\cdot\mathbf{r}|, where r\mathbf{r} is a point in dS\mathrm{d}S. So the volume of the cone is 13∣n^⋅r∣ dS\frac{1}{3}|\hat{\mathbf{n}}\cdot\mathbf{r}|\,\mathrm{d}S.

figure

First assume that (0,0,0)(0,0,0) is in VV and VV is convex. Then

  • n^⋅r>0\hat{\mathbf{n}}\cdot\mathbf{r}>0, and the volume is 13n^⋅r dS\frac{1}{3} \hat{\mathbf{n}}\cdot\mathbf{r} \,\mathrm{d}S.
  • the cone is contained in VV and
  • VV is the union of all the tiny conical pieces with dS\mathrm{d}S running over ∂V\partial V.

So

Volume(V)=13∬∂Vr⋅n^ dS\text{Volume}(V)=\frac{1}{3}\iint _{\partial V}\mathbf{r}\cdot\hat{\mathbf{n}}\, \mathrm{d}S

To generalise to the case that VV is not convex or (0,0,0)(0,0,0) is not in VV, write VV as the difference between a large convex solid and one or more smaller convex solids.

한 번 더 — 비슷한 문제 풀기CLP-4 · 4.2절 · 17번
# 발산 정리증명·논술도전자동 분류
CLP-4 Vector Calculus CC BY-NC-SA 4.0우리말 번역: 빌드라인 스쿨 — AI 번역·자동 검토(원문과 같은 조건)
678.CLP-4 · 4.2절 · 40번대학 수준우리말 번역

(a) 벡터장 F=(x+sin⁡y,z+y,z2)\mathbf{F} = (x + \sin y, z + y, z^2) 의 발산을 구하세요. (b) 양의 zz 방향으로 향하도록 방향이 정해진 윗반구 x2+y2+z2=25x^2 + y^2 + z^2 = 25, z≥0z \ge 0 을 지나는 F\mathbf{F} 의 선속(플럭스)을 구하세요. (c) 선속 ∬SF⋅n^ dS\iint _S\mathbf{F} \cdot\hat{\mathbf{n}}\,\mathrm{d}S 가 −9-9 가 되는, 방향이 정해진 닫힌 곡면 SS 를 하나 제시하세요.

영어 원문 보기

(a) Find the divergence of the vector field F=(x+sin⁡y,z+y,z2)\mathbf{F} = (x + \sin y, z + y, z^2). (b) Find the flux of F\mathbf{F} through the upper hemisphere x2+y2+z2=25x^2 + y^2 + z^2 = 25, z≥0z \ge 0, oriented in the positive zz-direction. (c) Specify an oriented closed surface SS, such that the flux ∬SF⋅n^ dS\iint _S\mathbf{F} \cdot\hat{\mathbf{n}}\,\mathrm{d}S is equal to −9-9.

정답·풀이 보기

(a) F\mathbf{F} 의 발산은 다음과 같다.

∇⋅F=∂∂x(x+sin⁡y)+∂∂y(z+y)+∂∂z(z2)=2+2z\begin{aligned} { \boldsymbol{\nabla} }\cdot\mathbf{F} &= \tfrac{\partial}{\partial x}(x+\sin y) +\tfrac{\partial}{\partial y}(z+y) +\tfrac{\partial}{\partial z}(z^2) \\ &=2+2z \end{aligned}

(b) 다음과 같이 놓자.

V={ (x,y,z) ∣ x2+y2≤25, 0≤z≤25−x2−y2 }ST={ (x,y,z) ∣ x2+y2+z2=25, z≥0 }SB={ (x,y,z) ∣ x2+y2≤25, z=0 }\begin{aligned} V &= \big\{ \ (x,y,z)\ \big|\ x^2+y^2\le 25,\ 0\le z\le \sqrt{25-x^2-y^2}\ \big\} \\ S_T &= \big\{ \ (x,y,z)\ \big|\ x^2+y^2+z^2 = 25,\ z\ge 0\ \big\} \\ S_B &= \big\{ \ (x,y,z)\ \big|\ x^2+y^2 \le 25,\ z= 0\ \big\} \end{aligned}

VV 의 경계 ∂V\partial V 는 두 부분, 즉 위쪽 법선을 갖는 STS_T 와 법선이 −k^-\hat{\mathbf{k}} 인 SBS_B 로 이루어져 있음에 주목하자. 우리가 구할 것은 위쪽 법선을 갖는 STS_T 를 지나는 선속이다. 발산 정리에 의해 이는 다음과 같다.

∬STF⋅n^ dS=∭V∇⋅F dV−∬SBF⋅(−k^) dS=∭V(2+2z) dV\begin{aligned} \iint _{S_T} \mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S &=\iiint _V { \boldsymbol{\nabla} }\cdot\mathbf{F}\,\mathrm{d}V - \iint _{S_B} \mathbf{F}\cdot(-\hat{\mathbf{k}})\,\mathrm{d}S \\ &= \iiint _V (2+2z)\,\mathrm{d}V \end{aligned}

SBS_B 위에서 F⋅k^=z2=0\mathbf{F}\cdot\hat{\mathbf{k}}=z^2=0 이기 때문이다. 이 부피적분을 zz 에 대한 적분이 바깥쪽에 오는 반복적분으로 나타내어 계산하자. VV 에서 zz 는 00 부터 55 까지의 값을 가진다. VV 에서 높이가 정확히 zz 인 점들의 집합은 { (x,y,z) ∣ x2+y2≤25−z2 }\big\{ \ (x,y,z)\ \big|\ x^2+y^2\le 25-z^2\ \big\} 이다. 따라서

∬STF⋅n^ dS=∫05dz∬x2+y2≤25−z2dx dy (2+2z)=∫05dz (2+2z)∬x2+y2≤25−z2dx dy=∫05dz π(25−z2)(2+2z)∬x2+y2≤25−z2dx dy 는 반지름이 25−z2 인 원판의 넓이이므로=π∫05dz (50−2z2+50z−2z3)=π(50×5−2533+50522−2544)=π53(2−23+5−52)=π 53(43+52)=π23653=28756π\begin{aligned} \iint _{S_T} \mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S &= \int_0^5\mathrm{d}z \iint _{x^2+y^2\le 25-z^2} \mathrm{d}x\,\mathrm{d}y\ (2+2z) = \int_0^5\mathrm{d}z\ (2+2z)\iint _{x^2+y^2\le 25-z^2} \mathrm{d}x\,\mathrm{d}y \\ &= \int_0^5\mathrm{d}z\ \pi(25-z^2) (2+2z) \\ \\ \text{$\iint _{x^2+y^2\le 25-z^2} \mathrm{d}x\,\mathrm{d}y$ 는 반지름이 $\sqrt{25-z^2}$ 인 원판의 넓이이므로} \\ &= \pi\int_0^5\mathrm{d}z\ (50 -2z^2 +50z -2z^3) \\ &=\pi\Big(50\times 5-2\frac{5^3}{3} +50\frac{5^2}{2}-2\frac{5^4}{4}\Big) =\pi 5^3 \Big(2-\frac{2}{3} +5-\frac{5}{2}\Big) = \pi\,5^3 \Big(\frac{4}{3}+\frac{5}{2}\Big) \\ &=\pi\frac{23}{6} 5^3 =\frac{2875}{6}\pi \end{aligned}

(c) 먼저 입체 VV 의 경계인 임의의 닫힌 곡면 SS 를 생각하자. 다음과 같이 쓴다.

  • SS 의 법선은 바깥쪽을 향하는 것을 사용한다.
  • ∣V∣|V| 는 VV 의 부피를 나타낸다.
  • zˉ=1∣V∣∭Vz dV\bar z=\frac{1}{|V|}\iiint _V z\ \mathrm{d}V 는 VV 의 무게중심 (즉 밀도가 상수인 질량중심)의 zz 성분을 나타낸다.

그러면 발산 정리에 의해

∬SF⋅n^ dS=∭V∇⋅F dV=∭V(2+2z) dV=2∭V dV+2∭Vz dV=2∣V∣+2∣V∣zˉ\begin{aligned} \iint _{S} \mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S &=\iiint _V { \boldsymbol{\nabla} }\cdot\mathbf{F}\,\mathrm{d}V =\iiint _V (2+2z)\,\mathrm{d}V =2\iiint _V \,\mathrm{d}V +2\iiint _V z\,\mathrm{d}V \\ &=2|V| +2|V|\bar z \end{aligned}

이 값이 −9-9 가 될 필요충분조건은

2∣V∣zˉ=−9−2∣V∣  ⟺  zˉ=−92∣V∣−1\begin{aligned} 2|V|\bar z =-9-2|V| \iff \bar z = -\frac{9}{2|V|}-1 \end{aligned}

이 조건을 만족하는 곡면의 하나는 (0,0,−112)\big(0,0, -\frac{11}{2}\big) 을 중심으로 하는 (바깥쪽 법선을 갖는) 단위 정육면체이다.

원본 교재 풀이(영어)

(a) The divergence of F\mathbf{F} is

∇⋅F=∂∂x(x+sin⁡y)+∂∂y(z+y)+∂∂z(z2)=2+2z\begin{aligned} { \boldsymbol{\nabla} }\cdot\mathbf{F} &= \tfrac{\partial}{\partial x}(x+\sin y) +\tfrac{\partial}{\partial y}(z+y) +\tfrac{\partial}{\partial z}(z^2) \\ &=2+2z \end{aligned}

(b) Set

V={ (x,y,z) ∣ x2+y2≤25, 0≤z≤25−x2−y2 }ST={ (x,y,z) ∣ x2+y2+z2=25, z≥0 }SB={ (x,y,z) ∣ x2+y2≤25, z=0 }\begin{aligned} V &= \big\{ \ (x,y,z)\ \big|\ x^2+y^2\le 25,\ 0\le z\le \sqrt{25-x^2-y^2}\ \big\} \\ S_T &= \big\{ \ (x,y,z)\ \big|\ x^2+y^2+z^2 = 25,\ z\ge 0\ \big\} \\ S_B &= \big\{ \ (x,y,z)\ \big|\ x^2+y^2 \le 25,\ z= 0\ \big\} \end{aligned}

Note that the boundary, ∂V\partial V, of VV consists ot two parts — STS_T with upward normal, and SBS_B with normal −k^-\hat{\mathbf{k}}. We are to find the flux through STS_T with upward normal. By the divergence theorem, it is

∬STF⋅n^ dS=∭V∇⋅F dV−∬SBF⋅(−k^) dS=∭V(2+2z) dV\begin{aligned} \iint _{S_T} \mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S &=\iiint _V { \boldsymbol{\nabla} }\cdot\mathbf{F}\,\mathrm{d}V - \iint _{S_B} \mathbf{F}\cdot(-\hat{\mathbf{k}})\,\mathrm{d}S \\ &= \iiint _V (2+2z)\,\mathrm{d}V \end{aligned}

since F⋅k^=z2=0\mathbf{F}\cdot\hat{\mathbf{k}}=z^2=0 on SBS_B. We'll compute the volume integral by expressing it as an iterated integral, with the zz integration on the outside. In VV, zz ranges for 00 to 55. The set of points at exactly height zz in VV is { (x,y,z) ∣ x2+y2≤25−z2 }\big\{ \ (x,y,z)\ \big|\ x^2+y^2\le 25-z^2\ \big\}. So

∬STF⋅n^ dS=∫05dz∬x2+y2≤25−z2dx dy (2+2z)=∫05dz (2+2z)∬x2+y2≤25−z2dx dy=∫05dz π(25−z2)(2+2z)since ∬x2+y2≤25−z2dx dy is the area of a disk of radius 25−z2=π∫05dz (50−2z2+50z−2z3)=π(50×5−2533+50522−2544)=π53(2−23+5−52)=π 53(43+52)=π23653=28756π\begin{aligned} \iint _{S_T} \mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S &= \int_0^5\mathrm{d}z \iint _{x^2+y^2\le 25-z^2} \mathrm{d}x\,\mathrm{d}y\ (2+2z) = \int_0^5\mathrm{d}z\ (2+2z)\iint _{x^2+y^2\le 25-z^2} \mathrm{d}x\,\mathrm{d}y \\ &= \int_0^5\mathrm{d}z\ \pi(25-z^2) (2+2z) \\ \\ \text{since $\iint _{x^2+y^2\le 25-z^2} \mathrm{d}x\,\mathrm{d}y$ is the area of a disk of radius $\sqrt{25-z^2}$} \\ &= \pi\int_0^5\mathrm{d}z\ (50 -2z^2 +50z -2z^3) \\ &=\pi\Big(50\times 5-2\frac{5^3}{3} +50\frac{5^2}{2}-2\frac{5^4}{4}\Big) =\pi 5^3 \Big(2-\frac{2}{3} +5-\frac{5}{2}\Big) = \pi\,5^3 \Big(\frac{4}{3}+\frac{5}{2}\Big) \\ &=\pi\frac{23}{6} 5^3 =\frac{2875}{6}\pi \end{aligned}

(c) To start, consider any closed surface SS that is the boundary of a solid VV. Use

  • the outward pointing normal for SS,
  • ∣V∣|V| to denote the volume of VV, and
  • zˉ=1∣V∣∭Vz dV\bar z=\frac{1}{|V|}\iiint _V z\ \mathrm{d}V to denote the zz-component of the centroid (i.e. centre of mass with constant density) of VV.

Then, by the divergence theorem

∬SF⋅n^ dS=∭V∇⋅F dV=∭V(2+2z) dV=2∭V dV+2∭Vz dV=2∣V∣+2∣V∣zˉ\begin{aligned} \iint _{S} \mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S &=\iiint _V { \boldsymbol{\nabla} }\cdot\mathbf{F}\,\mathrm{d}V =\iiint _V (2+2z)\,\mathrm{d}V =2\iiint _V \,\mathrm{d}V +2\iiint _V z\,\mathrm{d}V \\ &=2|V| +2|V|\bar z \end{aligned}

This takes the value −9-9 if and only if

2∣V∣zˉ=−9−2∣V∣  ⟺  zˉ=−92∣V∣−1\begin{aligned} 2|V|\bar z =-9-2|V| \iff \bar z = -\frac{9}{2|V|}-1 \end{aligned}

One surface which obeys this condition is the unit cube (with outward normal) centred on (0,0,−112)\big(0,0, -\frac{11}{2}\big).

한 번 더 — 비슷한 문제 풀기APEX · 14.7절 · 4번
# 발산 정리계산도전자동 분류
CLP-4 Vector Calculus CC BY-NC-SA 4.0우리말 번역: 빌드라인 스쿨 — AI 번역·자동 검토(원문과 같은 조건)
679.CLP-4 · 4.2절 · 43번대학 수준우리말 번역

SS 를 타원면 x2+2y2+3z2=16x^2+2y^2+3z^2=16 이라 하고, n^\hat{\mathbf{n}} 을 그 바깥쪽 단위법선벡터라 하자.

(a) F(x,y,z)=(x,y,z)−(2,1,1)[(x−2)2+(y−1)2+(z−1)2]3/2\mathbf{F}(x,y,z)=\dfrac{(x,y,z)-(2,1,1)}{{\big[(x-2)^2+(y-1)^2+(z-1)^2\big]}^{3/2}} 일 때 ∬SF⋅n^ dS\iint _S \mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S 의 값을 구하세요. (b) G(x,y,z)=(x,y,z)−(3,2,2)[(x−3)2+(y−2)2+(z−2)2]3/2\mathbf{G}(x,y,z)=\dfrac{(x,y,z)-(3,2,2)}{{\big[(x-3)^2+(y-2)^2+(z-2)^2\big]}^{3/2}} 일 때 ∬SG⋅n^ dS\iint _S \mathbf{G}\cdot\hat{\mathbf{n}}\,\mathrm{d}S 의 값을 구하세요.

영어 원문 보기

Let SS be the ellipsoid x2+2y2+3z2=16x^2+2y^2+3z^2=16 and n^\hat{\mathbf{n}} its outward unit normal.

(a) Find ∬SF⋅n^ dS\iint _S \mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S if F(x,y,z)=(x,y,z)−(2,1,1)[(x−2)2+(y−1)2+(z−1)2]3/2\mathbf{F}(x,y,z)=\dfrac{(x,y,z)-(2,1,1)}{{\big[(x-2)^2+(y-1)^2+(z-1)^2\big]}^{3/2}}. (b) Find ∬SG⋅n^ dS\iint _S \mathbf{G}\cdot\hat{\mathbf{n}}\,\mathrm{d}S if G(x,y,z)=(x,y,z)−(3,2,2)[(x−3)2+(y−2)2+(z−2)2]3/2\mathbf{G}(x,y,z)=\dfrac{(x,y,z)-(3,2,2)}{{\big[(x-3)^2+(y-2)^2+(z-2)^2\big]}^{3/2}}.

답 쓰고 채점
(a)
(b)
정답·풀이 보기

(a), (b) 두 경우 모두 발산 정리를 이용한다. 먼저 예비 계산으로, 임의의 (a,b,c)(a,b,c) 에 대해 H(x,y,z)=(x,y,z)−(a,b,c)[(x−a)2+(y−b)2+(z−b)2]3/2\mathbf{H}(x,y,z)=\frac{(x,y,z)-(a,b,c)}{{[(x-a)^2+(y-b)^2+(z-b)^2]}^{3/2}} 의 발산을 구하자. (x,y,z)≠(a,b,c)(x,y,z)\ne(a,b,c) 이면

∇⋅H(x,y,z)=∂∂xx−a[(x−a)2+(y−b)2+(z−c)2]3/2+∂∂yy−b[(x−a)2+(y−b)2+(z−c)2]3/2+∂∂zz−c[(x−a)2+(y−b)2+(z−c)2]3/2=[(x−a)2+(y−b)2+(z−c)2] − (x−a) 32(2(x−a))[(x−a)2+(y−b)2+(z−c)2]5/2+[(x−a)2+(y−b)2+(z−c)2] − (y−b) 32(2y)[(x−a)2+(y−b)2+(z−c)2]5/2+[(x−a)2+(y−b)2+z2] − (z−c) 32(2(z−c))[(x−a)2+(y−b)2+(z−c)2]5/2=3[(x−a)2+(y−b)2+(z−c)2] − 3(x−a)2−3(y−b)2−3(z−c)2[(x−a)2+(y−b)2+(z−c)2]5/2=0\begin{aligned} &{ \boldsymbol{\nabla} }\cdot\mathbf{H}(x,y,z) \\ & =\frac{\partial }{\partial x}\frac{x-a} {{[(x-a)^2+(y-b)^2+(z-c)^2]}^{3/2}} +\frac{\partial }{\partial y}\frac{y-b} {{[(x-a)^2+(y-b)^2+(z-c)^2]}^{3/2}} \\& +\frac{\partial }{\partial z}\frac{z-c} {{[(x-a)^2+(y-b)^2+(z-c)^2]}^{3/2}} \\ & =\frac{\big[(x-a)^2+(y-b)^2+(z-c)^2\big]\ -\ (x-a)\ \frac{3}{2}(2(x-a))} {{\big[(x-a)^2+(y-b)^2+(z-c)^2\big]}^{5/2}} \\& +\frac{\big[(x-a)^2+(y-b)^2+(z-c)^2\big]\ -\ (y-b)\ \frac{3}{2}(2y)} {{\big[(x-a)^2+(y-b)^2+(z-c)^2\big]}^{5/2}} \\& +\frac{\big[(x-a)^2+(y-b)^2+z^2\big]\ -\ (z-c)\ \frac{3}{2}(2(z-c))} {{\big[(x-a)^2+(y-b)^2+(z-c)^2\big]}^{5/2}} \\ & =\frac{3\big[(x-a)^2+(y-b)^2+(z-c)^2\big]\ -\ 3(x-a)^2-3(y-b)^2-3(z-c)^2} {{\big[(x-a)^2+(y-b)^2+(z-c)^2\big]}^{5/2}} \\ &=0 \end{aligned}

(x,y,z)=(a,b,c)(x,y,z)=(a,b,c) 이면 H(x,y,z)\mathbf{H}(x,y,z) 가 정의되지 않으므로 ∇⋅H(x,y,z){ \boldsymbol{\nabla} }\cdot\mathbf{H}(x,y,z) 도 정의되지 않는다.

(b) 위의 예비 계산에서 (a,b,c)=(3,2,2)(a,b,c)=(3,2,2) 로 놓으면, ∇⋅G{ \boldsymbol{\nabla} }\cdot\mathbf{G} 는 (x,y,z)≠(3,2,2)(x,y,z)\ne (3,2,2) 인 모든 (x,y,z)(x,y,z) 에서 정의되고 0이다. 특히 다음 영역 VV 의 모든 (x,y,z)(x,y,z) 에서 그렇다.

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

따라서 발산 정리에 의해

∬SG⋅n^ dS=∭V∇⋅G dV=0\begin{aligned} \iint _S \mathbf{G}\cdot\hat{\mathbf{n}}\,\mathrm{d}S &=\iiint _V{ \boldsymbol{\nabla} }\cdot\mathbf{G}\,\mathrm{d}V =0 \end{aligned}

(a) (1,1,2)(1,1,2) 는 VV 의 내부에 있으므로 (b)의 논증으로는 적분값이 0이라고 결론지을 수 없다. ε>0\varepsilon >0 을 충분히 작게 잡아서

Sε={ (x,y,z) ∣ (x−2)2+(y−1)2+(z−1)2=ε2 }S_\varepsilon = \big\{ \ (x,y,z)\ \big|\ (x-2)^2 + (y-1)^2 +(z-1)^2=\varepsilon ^2\ \big\}

가 아래 그림처럼 VV 안에 완전히 포함되도록 한다.

그림

다음과 같이 놓는다.

Vε={ (x,y,z) ∣ x2+2y2+3z2≤16, (x−2)2+(y−1)2+(z−1)2≥ε2 }V_\varepsilon =\big\{ \ (x,y,z)\ \big|\ x^2+2y^2+3z^2\le 16,\ (x-2)^2 + (y-1)^2 +(z-1)^2\ge\varepsilon ^2\ \big\}

VV 의 경계 ∂Vε\partial V_\varepsilon 은 위 그림의 법선벡터와 함께 SS 와 SεS_\varepsilon 두 부분으로 이루어진다. F\mathbf{F} 의 발산 ∇⋅F{ \boldsymbol{\nabla} }\cdot\mathbf{F} 는 VεV_\varepsilon 전체에서 잘 정의되고 0이다. 따라서 발산 정리에 의해

0=∭V∇⋅F dV=∬SF⋅n^ dS+∬SεF⋅n^ dS\begin{aligned} 0 &= \iiint _V{ \boldsymbol{\nabla} }\cdot\mathbf{F}\,\mathrm{d}V = \iint _S \mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S + \iint _{S_\varepsilon } \mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S \end{aligned}

그러므로

∬SF⋅n^ dS=−∬SεF⋅n^ dS\iint _S \mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S = -\iint _{S_\varepsilon } \mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S

SεS_\varepsilon 위의 점 (x,y,z)(x,y,z) 에서 SεS_\varepsilon 의 단위법선벡터는

n^=−1ε[(x−2) ı^+(y−1) ȷ^+(z−1) k^]\hat{\mathbf{n}} =-\frac{1}{\varepsilon }\big[(x-2)\,\hat{\boldsymbol{\imath}} + (y-1)\,\hat{\boldsymbol{\jmath}} +(z-1)\,\hat{\mathbf{k}}\big]

이다. (SεS_\varepsilon 위에서 ∣(2−1) ı^+(y−1) ȷ^+(z−1) k^∣=ε|(2-1)\,\hat{\boldsymbol{\imath}} + (y-1)\,\hat{\boldsymbol{\jmath}} +(z-1)\,\hat{\mathbf{k}}|=\varepsilon 임을 기억하자.) 따라서 SεS_\varepsilon 위에서

F⋅n^=−1ε((x,y,z)−(2,1,1)[(x−2)2+(y−1)2+(z−1)2]3/2)⋅[(x−2) ı^+(y−1) ȷ^+(z−1) k^]=−1ε((x−2)2+(y−1)2+(z−1)2[(x−2)2+(y−1)2+(z−1)2]3/2)=−1ε2\begin{aligned} \mathbf{F}\cdot\hat{\mathbf{n}} &= -\frac{1}{\varepsilon } \left(\frac{(x,y,z)-(2,1,1)}{{\big[(x-2)^2+(y-1)^2+(z-1)^2\big]}^{3/2}}\right) \cdot\big[(x-2)\,\hat{\boldsymbol{\imath}} + (y-1)\,\hat{\boldsymbol{\jmath}} +(z-1)\,\hat{\mathbf{k}}\big] \\ &=-\frac{1}{\varepsilon } \left(\frac{(x-2)^2+(y-1)^2+(z-1)^2}{{\big[(x-2)^2+(y-1)^2+(z-1)^2\big] }^{3/2}}\right)\\ &= -\frac{1}{\varepsilon ^2} \end{aligned}

이다. 따라서

∬SF⋅n^ dS=−∬Sε(−1ε2) dS=1ε2(4πε2)=4π\begin{aligned} \iint _S \mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S = -\iint _{S_\varepsilon } \left(-\frac{1}{\varepsilon ^2}\right)\,\mathrm{d}S =\frac{1}{\varepsilon ^2} (4\pi\varepsilon ^2) =4\pi \end{aligned}

원본 교재 풀이(영어)

We will be using the divergence theorem in both parts (a) and bb. So as a prelimary calculation, let's find the divergence of H(x,y,z)=(x,y,z)−(a,b,c)[(x−a)2+(y−b)2+(z−b)2]3/2\mathbf{H}(x,y,z)=\frac{(x,y,z)-(a,b,c)}{{[(x-a)^2+(y-b)^2+(z-b)^2]}^{3/2}} for any (a,b,c)(a,b,c). If (x,y,z)≠(a,b,c)(x,y,z)\ne(a,b,c),

∇⋅H(x,y,z)=∂∂xx−a[(x−a)2+(y−b)2+(z−c)2]3/2+∂∂yy−b[(x−a)2+(y−b)2+(z−c)2]3/2+∂∂zz−c[(x−a)2+(y−b)2+(z−c)2]3/2=[(x−a)2+(y−b)2+(z−c)2] − (x−a) 32(2(x−a))[(x−a)2+(y−b)2+(z−c)2]5/2+[(x−a)2+(y−b)2+(z−c)2] − (y−b) 32(2y)[(x−a)2+(y−b)2+(z−c)2]5/2+[(x−a)2+(y−b)2+z2] − (z−c) 32(2(z−c))[(x−a)2+(y−b)2+(z−c)2]5/2=3[(x−a)2+(y−b)2+(z−c)2] − 3(x−a)2−3(y−b)2−3(z−c)2[(x−a)2+(y−b)2+(z−c)2]5/2=0\begin{aligned} &{ \boldsymbol{\nabla} }\cdot\mathbf{H}(x,y,z) \\ & =\frac{\partial }{\partial x}\frac{x-a} {{[(x-a)^2+(y-b)^2+(z-c)^2]}^{3/2}} +\frac{\partial }{\partial y}\frac{y-b} {{[(x-a)^2+(y-b)^2+(z-c)^2]}^{3/2}} \\& +\frac{\partial }{\partial z}\frac{z-c} {{[(x-a)^2+(y-b)^2+(z-c)^2]}^{3/2}} \\ & =\frac{\big[(x-a)^2+(y-b)^2+(z-c)^2\big]\ -\ (x-a)\ \frac{3}{2}(2(x-a))} {{\big[(x-a)^2+(y-b)^2+(z-c)^2\big]}^{5/2}} \\& +\frac{\big[(x-a)^2+(y-b)^2+(z-c)^2\big]\ -\ (y-b)\ \frac{3}{2}(2y)} {{\big[(x-a)^2+(y-b)^2+(z-c)^2\big]}^{5/2}} \\& +\frac{\big[(x-a)^2+(y-b)^2+z^2\big]\ -\ (z-c)\ \frac{3}{2}(2(z-c))} {{\big[(x-a)^2+(y-b)^2+(z-c)^2\big]}^{5/2}} \\ & =\frac{3\big[(x-a)^2+(y-b)^2+(z-c)^2\big]\ -\ 3(x-a)^2-3(y-b)^2-3(z-c)^2} {{\big[(x-a)^2+(y-b)^2+(z-c)^2\big]}^{5/2}} \\ &=0 \end{aligned}

If (x,y,z)=(a,b,c)(x,y,z)=(a,b,c), H(x,y,z)\mathbf{H}(x,y,z) is not defined and hence ∇⋅H(x,y,z){ \boldsymbol{\nabla} }\cdot\mathbf{H}(x,y,z) is also not defined.

(b) By the above preliminary computation with (a,b,c)=(3,2,2)(a,b,c)=(3,2,2), ∇⋅G{ \boldsymbol{\nabla} }\cdot\mathbf{G} is defined and zero for all (x,y,z)≠(3,2,2)(x,y,z)\ne (3,2,2), and, in particular for all (x,y,z)(x,y,z) in

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

So, by the divergence theorem,

∬SG⋅n^ dS=∭V∇⋅G dV=0\begin{aligned} \iint _S \mathbf{G}\cdot\hat{\mathbf{n}}\,\mathrm{d}S &=\iiint _V{ \boldsymbol{\nabla} }\cdot\mathbf{G}\,\mathrm{d}V =0 \end{aligned}

(a) Because (1,1,2)(1,1,2) is inside VV, we cannot use the argument of part (b), to conclude that the integral is zero. Let ε>0\varepsilon >0 be small enough that

Sε={ (x,y,z) ∣ (x−2)2+(y−1)2+(z−1)2=ε2 }S_\varepsilon = \big\{ \ (x,y,z)\ \big|\ (x-2)^2 + (y-1)^2 +(z-1)^2=\varepsilon ^2\ \big\}

is completely contained inside VV, as in the sketch below.

figure

Set

Vε={ (x,y,z) ∣ x2+2y2+3z2≤16, (x−2)2+(y−1)2+(z−1)2≥ε2 }V_\varepsilon =\big\{ \ (x,y,z)\ \big|\ x^2+2y^2+3z^2\le 16,\ (x-2)^2 + (y-1)^2 +(z-1)^2\ge\varepsilon ^2\ \big\}

The boundary, ∂Vε\partial V_\varepsilon , of VV consists of two parts — SS and SεS_\varepsilon , with the normals as in the figure above. The divergence ∇⋅F{ \boldsymbol{\nabla} }\cdot\mathbf{F} of F\mathbf{F} is well-defined and zero throughout VεV_\varepsilon . Consequently, the divergence theorem gives

0=∭V∇⋅F dV=∬SF⋅n^ dS+∬SεF⋅n^ dS\begin{aligned} 0 &= \iiint _V{ \boldsymbol{\nabla} }\cdot\mathbf{F}\,\mathrm{d}V = \iint _S \mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S + \iint _{S_\varepsilon } \mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S \end{aligned}

So

∬SF⋅n^ dS=−∬SεF⋅n^ dS\iint _S \mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S = -\iint _{S_\varepsilon } \mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S

The unit normal to SεS_\varepsilon at the point (x,y,z)(x,y,z) on SεS_\varepsilon is

n^=−1ε[(x−2) ı^+(y−1) ȷ^+(z−1) k^]\hat{\mathbf{n}} =-\frac{1}{\varepsilon }\big[(x-2)\,\hat{\boldsymbol{\imath}} + (y-1)\,\hat{\boldsymbol{\jmath}} +(z-1)\,\hat{\mathbf{k}}\big]

(Recall that ∣(2−1) ı^+(y−1) ȷ^+(z−1) k^∣=ε|(2-1)\,\hat{\boldsymbol{\imath}} + (y-1)\,\hat{\boldsymbol{\jmath}} +(z-1)\,\hat{\mathbf{k}}|=\varepsilon on SεS_\varepsilon . So, on SεS_\varepsilon ,

F⋅n^=−1ε((x,y,z)−(2,1,1)[(x−2)2+(y−1)2+(z−1)2]3/2)⋅[(x−2) ı^+(y−1) ȷ^+(z−1) k^]=−1ε((x−2)2+(y−1)2+(z−1)2[(x−2)2+(y−1)2+(z−1)2]3/2)=−1ε2\begin{aligned} \mathbf{F}\cdot\hat{\mathbf{n}} &= -\frac{1}{\varepsilon } \left(\frac{(x,y,z)-(2,1,1)}{{\big[(x-2)^2+(y-1)^2+(z-1)^2\big]}^{3/2}}\right) \cdot\big[(x-2)\,\hat{\boldsymbol{\imath}} + (y-1)\,\hat{\boldsymbol{\jmath}} +(z-1)\,\hat{\mathbf{k}}\big] \\ &=-\frac{1}{\varepsilon } \left(\frac{(x-2)^2+(y-1)^2+(z-1)^2}{{\big[(x-2)^2+(y-1)^2+(z-1)^2\big] }^{3/2}}\right)\\ &= -\frac{1}{\varepsilon ^2} \end{aligned}

Hence

∬SF⋅n^ dS=−∬Sε(−1ε2) dS=1ε2(4πε2)=4π\begin{aligned} \iint _S \mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S = -\iint _{S_\varepsilon } \left(-\frac{1}{\varepsilon ^2}\right)\,\mathrm{d}S =\frac{1}{\varepsilon ^2} (4\pi\varepsilon ^2) =4\pi \end{aligned}

한 번 더 — 비슷한 문제 풀기CLP-4 · 4.2절 · 40번
# 발산 정리계산도전자동 분류
CLP-4 Vector Calculus CC BY-NC-SA 4.0우리말 번역: 빌드라인 스쿨 — AI 번역·자동 검토(원문과 같은 조건)
680.CLP-4 · 4.2절 · 45번대학 수준우리말 번역

SS 가 바깥쪽 법선장 n^\hat{\mathbf{n}} 을 갖는 매끄러운 닫힌 곡면이면, R3\mathbb{R}^3 에서 정의된 임의의 매끄러운 함수 p(x,y,z)p(x,y,z) 에 대해 다음이 성립함을 기억하세요.

∬Spn^ ds=∭E∇p dV\iint _S p\hat{\mathbf{n}}\ \mathrm{d}s=\iiint _E \nabla p\ \mathrm{d}V

여기서 EE 는 SS 로 둘러싸인 입체입니다. 이 결과로부터, 상수 압력의 기체 속에 놓인 입체의 겉면에 작용하는 전체 힘이 0임을 보이세요. (압력은 곡면에 수직인 방향으로 작용함을 기억하세요.)

영어 원문 보기

Recall that if SS is a smooth closed surface with outer normal field n^\hat{\mathbf{n}}, then for any smooth function p(x,y,z)p(x,y,z) on R3\mathbb{R}^3, we have

∬Spn^ ds=∭E∇p dV\iint _S p\hat{\mathbf{n}}\ \mathrm{d}s=\iiint _E \nabla p\ \mathrm{d}V

where EE is the solid bounded by SS. Show that as a consequence, the total force exerted on the surface of a solid body contained in a gas of constant pressure is zero. (Recall that the pressure acts in the direction normal to the surface.)

정답·풀이 보기

압력은 곡면 안쪽으로 수직하게 작용하는, 단위 겉넓이당 힘이다. 따라서 단위 겉넓이당 힘은 −pn^-p\hat{\mathbf{n}} 이다. SS 에 작용하는 전체 힘은

−∬Spn^ dS=−∭E∇p dV-\iint _S p\hat{\mathbf{n}}\,\mathrm{d}S=-\iiint _E \nabla p\ \mathrm{d}V

이다. pp 가 상수라고 가정하므로 ∇p=0\nabla p=0 이고, 따라서 전체 힘은 0이다.

원본 교재 풀이(영어)

Pressure is force per unit surface area acting normally into a surface. So the force per unit surface area is −pn^-p\hat{\mathbf{n}}. The total force acting on SS is

−∬Spn^ dS=−∭E∇p dV-\iint _S p\hat{\mathbf{n}}\,\mathrm{d}S=-\iiint _E \nabla p\ \mathrm{d}V

We are assuming that pp is a constant, so that ∇p=0\nabla p=0 and the total force is zero.

한 번 더 — 비슷한 문제 풀기CLP-4 · 4.2절 · 43번
# 발산 정리증명·논술도전자동 분류
CLP-4 Vector Calculus CC BY-NC-SA 4.0우리말 번역: 빌드라인 스쿨 — AI 번역·자동 검토(원문과 같은 조건)