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

스토크스 정리

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

CLP-4 · 4.4절 · 22번대학 수준우리말 번역

다음과 같이 두자.

F=xsin⁡y ı^−ysin⁡x ȷ^+(x−y)z2 k^\mathbf{F} = x \sin y\,\hat{\boldsymbol{\imath}} - y \sin x\,\hat{\boldsymbol{\jmath}} + (x - y)z^2\,\hat{\mathbf{k}}

스토크스 정리를 이용하여

∫CF⋅dr\int_C\mathbf{F}\cdot \mathrm{d}\mathbf{r}

의 값을 구하세요. 경로는 점 P0=(0,0,0)P_0 = (0, 0, 0) 에서 P1=(π/2,0,0)P_1 = (\pi/2, 0, 0) 으로, P2=(π/2,0,1)P_2 = (\pi/2, 0, 1) 으로, P3=(0,0,1)P_3 = (0, 0, 1) 으로, P4=(0,π/2,1)P_4 = (0, \pi/2, 1) 으로, P5=(0,π/2,0)P_5 = (0, \pi/2, 0) 으로, 다시 (0,0,0)(0, 0, 0) 으로 차례로 이어지는 선분들로 이루어져 있다.

영어 원문 보기

Let

F=xsin⁡y ı^−ysin⁡x ȷ^+(x−y)z2 k^\mathbf{F} = x \sin y\,\hat{\boldsymbol{\imath}} - y \sin x\,\hat{\boldsymbol{\jmath}} + (x - y)z^2\,\hat{\mathbf{k}}

Use Stokes' theorem to evaluate

∫CF⋅dr\int_C\mathbf{F}\cdot \mathrm{d}\mathbf{r}

along the path consisting of the straight line segments successively joining the points P0=(0,0,0)P_0 = (0, 0, 0) to P1=(π/2,0,0)P_1 = (\pi/2, 0, 0) to P2=(π/2,0,1)P_2 = (\pi/2, 0, 1) to P3=(0,0,1)P_3 = (0, 0, 1) to P4=(0,π/2,1)P_4 = (0, \pi/2, 1) to P5=(0,π/2,0)P_5 = (0, \pi/2, 0), and back to (0,0,0)(0, 0, 0).

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

복잡한 벡터장을 비교적 복잡한 닫힌 곡선을 따라 선적분하는 문제이다. 따라서 적분을 직접 계산하려 하지 않는 것이 좋다. 스토크스 정리를 사용해야 하므로 회전(curl)을 계산하자.

∇×F=det⁡[ı^ȷ^k^∂∂x∂∂y∂∂zxsin⁡y−ysin⁡x(x−y)z2]=−z2 ı^−z2 ȷ^−(ycos⁡x+xcos⁡y)k^\begin{aligned} { \boldsymbol{\nabla} }\times\mathbf{F} &=\det\left[\begin{matrix} \hat{\boldsymbol{\imath}} &\hat{\boldsymbol{\jmath}} &\hat{\mathbf{k}} \\ \tfrac{\partial}{\partial x} & \tfrac{\partial}{\partial y} & \tfrac{\partial}{\partial z} \\ x \sin y & - y \sin x & (x - y)z^2 \end{matrix} \right] =-z^2\,\hat{\boldsymbol{\imath}}-z^2\,\hat{\boldsymbol{\jmath}} -(y\cos x +x\cos y)\hat{\mathbf{k}} \end{aligned}

다음으로 경계가 CC 인 곡면을 찾아야 한다. 먼저 CC 의 개형은 다음과 같다.

그림

곡면 SS 를 평평한 두 부분의 합집합으로 택할 수 있다.

  • xzxz평면 위에 있고 꼭짓점이 (0,0,0)(0,0,0), (π/2,0,0)({\pi}/{2},0,0), (π/2,0,1)({\pi}/{2},0,1), (0,0,1)(0,0,1) 인 직사각형 SxS_x
  • yzyz평면 위에 있고 꼭짓점이 (0,0,0)(0,0,0), (0,0,1)(0,0,1), (0,π/2,1)(0,{\pi}/{2},1), (0,π/2,0)(0,{\pi}/{2},0) 인 직사각형 SyS_y

SxS_x 의 법선 벡터는 −ȷ^-\hat{\boldsymbol{\jmath}} 이고 SyS_y 의 법선 벡터는 −ı^-\hat{\boldsymbol{\imath}} 이다. 그러면 스토크스 정리에 의해

∫CF⋅dr=∬S∇×F⋅n^ dS=∬Sx∇×F⋅(−ȷ^) dS+∬Sy∇×F⋅(−ı^) dS=∫0π/2dx∫01dz z2+∫0π/2dy∫01dz z2=∫0π/2dx 13+∫0π/2dy 13=π3\begin{aligned} \int_C\mathbf{F}\cdot\mathrm{d}\mathbf{r} &=\iint _S { \boldsymbol{\nabla} }\times\mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S \\ &=\iint _{S_x} { \boldsymbol{\nabla} }\times\mathbf{F}\cdot(-\hat{\boldsymbol{\jmath}})\,\mathrm{d}S + \iint _{S_y} { \boldsymbol{\nabla} }\times\mathbf{F}\cdot(-\hat{\boldsymbol{\imath}})\,\mathrm{d}S \\ &=\int_0^{{\pi}/{2}} \mathrm{d}x\int_0^1\mathrm{d}z\ z^2 + \int_0^{{\pi}/{2}} \mathrm{d}y\int_0^1\mathrm{d}z\ z^2 \\ &=\int_0^{{\pi}/{2}} \mathrm{d}x\ \frac{1}{3} + \int_0^{{\pi}/{2}} \mathrm{d}y\ \frac{1}{3} \\ &=\frac{\pi}{3} \end{aligned}

원본 교재 풀이(영어)

We are to evaluate the line integral of a complicated vector field around a relatively complicated closed curve. That certainly suggests that we should not try to evaluate the integral directly. As we are to use Stokes' theorem, let's compute the curl

∇×F=det⁡[ı^ȷ^k^∂∂x∂∂y∂∂zxsin⁡y−ysin⁡x(x−y)z2]=−z2 ı^−z2 ȷ^−(ycos⁡x+xcos⁡y)k^\begin{aligned} { \boldsymbol{\nabla} }\times\mathbf{F} &=\det\left[\begin{matrix} \hat{\boldsymbol{\imath}} &\hat{\boldsymbol{\jmath}} &\hat{\mathbf{k}} \\ \tfrac{\partial}{\partial x} & \tfrac{\partial}{\partial y} & \tfrac{\partial}{\partial z} \\ x \sin y & - y \sin x & (x - y)z^2 \end{matrix} \right] =-z^2\,\hat{\boldsymbol{\imath}}-z^2\,\hat{\boldsymbol{\jmath}} -(y\cos x +x\cos y)\hat{\mathbf{k}} \end{aligned}

Next we need to find a surface whose boundary is CC. First, here is a sketch of CC.

figure

We can choose the surface SS to be the union of two flat parts:

  • the rectangle SxS_x in the xzxz-plane with vertices (0,0,0)(0,0,0), (π/2,0,0)({\pi}/{2},0,0), (π/2,0,1)({\pi}/{2},0,1) and (0,0,1)(0,0,1) and
  • the rectangle SyS_y in the yzyz-plane with vertices (0,0,0)(0,0,0), (0,0,1)(0,0,1), (0,π/2,1)(0,{\pi}/{2},1) and (0,π/2,0)(0,{\pi}/{2},0)

The normal to SxS_x is −ȷ^-\hat{\boldsymbol{\jmath}} and the normal to SyS_y is −ı^-\hat{\boldsymbol{\imath}}. Then Stokes' theorem gives

∫CF⋅dr=∬S∇×F⋅n^ dS=∬Sx∇×F⋅(−ȷ^) dS+∬Sy∇×F⋅(−ı^) dS=∫0π/2dx∫01dz z2+∫0π/2dy∫01dz z2=∫0π/2dx 13+∫0π/2dy 13=π3\begin{aligned} \int_C\mathbf{F}\cdot\mathrm{d}\mathbf{r} &=\iint _S { \boldsymbol{\nabla} }\times\mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S \\ &=\iint _{S_x} { \boldsymbol{\nabla} }\times\mathbf{F}\cdot(-\hat{\boldsymbol{\jmath}})\,\mathrm{d}S + \iint _{S_y} { \boldsymbol{\nabla} }\times\mathbf{F}\cdot(-\hat{\boldsymbol{\imath}})\,\mathrm{d}S \\ &=\int_0^{{\pi}/{2}} \mathrm{d}x\int_0^1\mathrm{d}z\ z^2 + \int_0^{{\pi}/{2}} \mathrm{d}y\int_0^1\mathrm{d}z\ z^2 \\ &=\int_0^{{\pi}/{2}} \mathrm{d}x\ \frac{1}{3} + \int_0^{{\pi}/{2}} \mathrm{d}y\ \frac{1}{3} \\ &=\frac{\pi}{3} \end{aligned}

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

(a) R3\mathbb{R}^3 에서 벡터장 F(x,y,z)=(z2,x2,y2)\mathbf{F}(x, y, z) = (z^2 , x^2 , y^2) 을 생각하세요. 선적분 ∮CF⋅dr\oint_C \mathbf{F}\cdot\mathrm{d}\mathbf{r} 의 값을 구하세요. 여기서 CC 는 세 선분으로 이루어진 곡선으로, L1L_1 은 (2,0,0)(2, 0, 0) 에서 (0,2,0)(0, 2, 0) 까지, 이어서 L2L_2 는 (0,2,0)(0, 2, 0) 에서 (0,0,2)(0, 0, 2) 까지, 마지막으로 L3L_3 은 (0,0,2)(0, 0, 2) 에서 (2,0,0)(2, 0, 0) 까지이다. (b) 단순닫힌곡선 CC 가 평면 x+y+z=2x + y + z = 2 위에 놓여 있다. 이 곡선 CC 가 평면 x+y+z=2x + y + z = 2 안에서 둘러싸는 곡면의 넓이는 33 이다. 곡선 CC 는 양의 xx축 쪽에서 볼 때 시계 반대 방향으로 향하도록 정해져 있다. F\mathbf{F} 가 (a)와 같을 때, 선적분 ∮CF⋅dr\oint_C\mathbf{F}\cdot \mathrm{d}\mathbf{r} 의 값을 구하세요.

답 쓰고 채점
(a)
(b)
다 풀었으면 정답 확인

(a) 세 꼭짓점 (2,0,0)(2,0,0), (0,2,0)(0,2,0), 0,0,2)0,0,2) 이 모두 평면 x+y+z=2x+y+z=2 위에 있다. 따라서 경로 전체도 그 평면 위에 있다.

그림

(b)에서는 직접 계산할 수 없는 선적분을 구해야 하므로 스토크스 정리를 써야 한다. 그러므로 (a)에서도 스토크스 정리를 쓰자. 먼저

∇×F=det⁡[ı^ȷ^k^∂∂x∂∂y∂∂zz2x2y2]=2y ı^+2z ȷ^+2x ı^\begin{aligned} { \boldsymbol{\nabla} }\times\mathbf{F} &=\det\left[\begin{matrix} \hat{\boldsymbol{\imath}} &\hat{\boldsymbol{\jmath}} &\hat{\mathbf{k}} \\ \tfrac{\partial}{\partial x} & \tfrac{\partial}{\partial y} & \tfrac{\partial}{\partial z} \\ z^2 & x^2 & y^2 \end{matrix} \right] =2y\,\hat{\boldsymbol{\imath}} + 2z\,\hat{\boldsymbol{\jmath}} + 2x\,\hat{\boldsymbol{\imath}} \end{aligned}

을 얻는다.

SS 를 평면 x+y+z=2x+y+z=2 에 포함되고 L1L_1, L2L_2, L3L_3 으로 둘러싸인 삼각형 모양의 곡면이라 하자. SS 의 방향은 법선벡터 n^=13(ı^+ȷ^+k^)\hat{\mathbf{n}} = \frac{1}{\sqrt{3}}(\hat{\boldsymbol{\imath}}+\hat{\boldsymbol{\jmath}}+\hat{\mathbf{k}}) 로 정한다. 그러면

∇×F⋅n^=13(2y ı^+2z ȷ^+2x ı^)⋅(ı^+ȷ^+k^)=23(x+y+z){ \boldsymbol{\nabla} }\times\mathbf{F}\cdot\hat{\mathbf{n}} =\frac{1}{\sqrt{3}}\big(2y\,\hat{\boldsymbol{\imath}} + 2z\,\hat{\boldsymbol{\jmath}} + 2x\,\hat{\boldsymbol{\imath}}\big)\cdot(\hat{\boldsymbol{\imath}}+\hat{\boldsymbol{\jmath}}+\hat{\mathbf{k}}) =\frac{2}{\sqrt{3}}(x+y+z)

이고, 스토크스 정리에 의해

∮CF⋅dr=∬S∇×F⋅n^ dS=23∬S(x+y+z) dS=43∬SdS=43Area(S)\begin{aligned} \oint_C\mathbf{F}\cdot \mathrm{d}\mathbf{r} &=\iint _S{ \boldsymbol{\nabla} }\times\mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S =\frac{2}{\sqrt{3}}\iint _S(x+y+z)\,\mathrm{d}S =\frac{4}{\sqrt{3}}\iint _S\mathrm{d}S =\frac{4}{\sqrt{3}}\text{Area}(S) \end{aligned}

이다.

삼각형 SS 는 두 변이 (0,2,0)−(2,0,0)=(−2,2,0)(0,2,0)-(2,0,0) =(-2,2,0) 과 (0,0,2)−(2,0,0)=(−2,0,2)(0,0,2)-(2,0,0)=(-2,0,2) 인 평행사변형의 절반이다. 이 평행사변형의 넓이는

∣(−2,2,0)×(−2,0,2)∣=∣(4,4,4)∣=43\begin{aligned} \big|(-2,2,0)\times (-2,0,2)\big| =\big|(4,4,4)\big| =4\sqrt{3} \end{aligned}

이다.

따라서

∮CF⋅dr=4323=8\begin{aligned} \oint_C\mathbf{F}\cdot \mathrm{d}\mathbf{r} = \frac{4}{\sqrt{3}} 2\sqrt{3} =8 \end{aligned}

이다.

(b) S~\tilde S 를 주어진 곡면이라 하자. 그러면 (a)와 같이

∮CF⋅dr=∬S~∇×F⋅n^ dS=23∬S~(x+y+z) dS=43∬S~dS=43Area(S~)=43\begin{aligned} \oint_C\mathbf{F}\cdot \mathrm{d}\mathbf{r} &=\iint _{\tilde S}{ \boldsymbol{\nabla} }\times\mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S =\frac{2}{\sqrt{3}}\iint _{\tilde S}(x+y+z)\,\mathrm{d}S =\frac{4}{\sqrt{3}}\iint _{\tilde S}\mathrm{d}S =\frac{4}{\sqrt{3}}\text{Area}(\tilde S) \\ &=4\sqrt{3} \end{aligned}

이다.

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

「스토크스 정리」 문제 목록으로