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

스토크스 정리

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

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

다음과 같이 두세요.

F=(2z1+y+sin⁡(x2) , 3z1+x+sin⁡(y2) , 5(x+1)(y+2))\mathbf{F}=\left(\frac{2z}{1+y}+\sin(x^2)\,,\, \frac{3z}{1+x}+\sin(y^2)\,,\, 5(x+1)(y+2)\right)

CC 는 네 선분으로 이루어진 방향이 있는 곡선이라 하세요. 네 선분은 다음과 같습니다. (0,0,0)(0,0,0) 에서 (2,0,0)(2,0,0) 까지, (2,0,0)(2,0,0) 에서 (0,0,2)(0,0,2) 까지, (0,0,2)(0,0,2) 에서 (0,3,0)(0,3,0) 까지, (0,3,0)(0,3,0) 에서 (0,0,0)(0,0,0) 까지.

(a) CC 의 그림을 그리세요. 각 선분의 방향을 분명하게 나타내세요. (b) 일 적분 ∫CF⋅dr\int_C\mathbf{F}\cdot\mathrm{d}\mathbf{r} 의 값을 구하세요.

영어 원문 보기

Let

F=(2z1+y+sin⁡(x2) , 3z1+x+sin⁡(y2) , 5(x+1)(y+2))\mathbf{F}=\left(\frac{2z}{1+y}+\sin(x^2)\,,\, \frac{3z}{1+x}+\sin(y^2)\,,\, 5(x+1)(y+2)\right)

Let CC be the oriented curve consisting of four line segments from (0,0,0)(0,0,0) to (2,0,0)(2,0,0), from (2,0,0)(2,0,0) to (0,0,2)(0,0,2), from (0,0,2)(0,0,2) to (0,3,0)(0,3,0), and from (0,3,0)(0,3,0) to (0,0,0)(0,0,0).

(a) Draw a picture of CC. Clearly indicate the orientation on each line segment. (b) Compute the work integral ∫CF⋅dr\int_C\mathbf{F}\cdot\mathrm{d}\mathbf{r}.

정답·풀이 보기

(a) 그림은 다음과 같다.

그림

(b) 복잡한 벡터장을 비교적 복잡한 닫힌곡선을 따라 선적분하는 문제이다. 따라서 적분을 직접 계산하려 해서는 안 된다는 것을 알 수 있다. 스토크스 정리를 이용해 보자. 먼저 회전(curl)을 계산한다.

∇×F=det⁡[ı^ȷ^k^∂∂x∂∂y∂∂z2z1+y+sin⁡(x2)3z1+x+sin⁡(y2)5(x+1)(y+2)]=(5(x+1)−31+x) ı^−(5(y+2)−21+y) ȷ^+(−3z(1+x)2+2z(1+y)2) 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} \\ \frac{2z}{1+y}+\sin(x^2) & \frac{3z}{1+x}+\sin(y^2) & 5(x+1)(y+2) \end{matrix} \right] \\ &= \Big(5(x+1)-\frac{3}{1+x}\Big)\,\hat{\boldsymbol{\imath}} -\Big(5(y+2)-\frac{2}{1+y}\Big)\,\hat{\boldsymbol{\jmath}} +\Big(-\frac{3z}{(1+x)^2}+\frac{2z}{(1+y)^2}\Big)\,\hat{\mathbf{k}} \end{aligned}

다음으로 경계가 CC 인 곡면 SS 를 찾아야 한다. 곡면 SS 를 평평한 두 부분의 합집합으로 잡을 수 있다.

  • xzxz평면 위의 삼각형 SxS_x: 꼭짓점이 (0,0,0)(0,0,0), (2,0,0)(2,0,0), (0,0,2)(0,0,2) 이다.
  • yzyz평면 위의 삼각형 SyS_y: 꼭짓점이 (0,0,0)(0,0,0), (0,0,2)(0,0,2), (0,3,0)(0,3,0) 이다.

다음에 주목한다.

  • 스토크스 정리에서 정해지는 SxS_x 의 법선벡터는 −ȷ^-\hat{\boldsymbol{\jmath}} 이다. SxS_x 위에서는 y=0y=0 이므로 ∇×F⋅ȷ^{ \boldsymbol{\nabla} }\times\mathbf{F}\cdot\hat{\boldsymbol{\jmath}} 는 −(5(0+2)−21+0)=−8-\big(5(0+2)-\frac{2}{1+0}\big)=-8 로 간단해진다.
  • 스토크스 정리에서 정해지는 SyS_y 의 법선벡터는 −ı^-\hat{\boldsymbol{\imath}} 이다. SyS_y 위에서는 x=0x=0 이므로 ∇×F⋅ı^{ \boldsymbol{\nabla} }\times\mathbf{F}\cdot\hat{\boldsymbol{\imath}} 는 (5(0+1)−31+0)=2\big(5(0+1)-\frac{3}{1+0}\big)=2 로 간단해진다.

따라서 스토크스 정리에 의해 다음을 얻는다.

∫CF⋅dr=∬S∇×F⋅n^ dS=∬Sx∇×F⋅(−ȷ^)⏞8 dS+∬Sy∇×F⋅(−ı^)⏞−2 dS=8 넓이(Sx)−2 넓이(Sy)=812(2)(2)−212(3)(2)=10\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} \overbrace{{ \boldsymbol{\nabla} }\times\mathbf{F}\cdot(-\hat{\boldsymbol{\jmath}})}^{8}\,\mathrm{d}S + \iint _{S_y} \overbrace{{ \boldsymbol{\nabla} }\times\mathbf{F}\cdot(-\hat{\boldsymbol{\imath}})}^{-2}\,\mathrm{d}S \\ &=8\,\text{넓이}(S_x) -2\,\text{넓이}(S_y) =8\frac{1}{2}(2)(2) -2\frac{1}{2}(3)(2) \\ &=10 \end{aligned}

원본 교재 풀이(영어)

(a) Here is a sketch.

figure

(b) 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. Let's try Stokes' theorem. First, we compute the curl

∇×F=det⁡[ı^ȷ^k^∂∂x∂∂y∂∂z2z1+y+sin⁡(x2)3z1+x+sin⁡(y2)5(x+1)(y+2)]=(5(x+1)−31+x) ı^−(5(y+2)−21+y) ȷ^+(−3z(1+x)2+2z(1+y)2) 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} \\ \frac{2z}{1+y}+\sin(x^2) & \frac{3z}{1+x}+\sin(y^2) & 5(x+1)(y+2) \end{matrix} \right] \\ &= \Big(5(x+1)-\frac{3}{1+x}\Big)\,\hat{\boldsymbol{\imath}} -\Big(5(y+2)-\frac{2}{1+y}\Big)\,\hat{\boldsymbol{\jmath}} +\Big(-\frac{3z}{(1+x)^2}+\frac{2z}{(1+y)^2}\Big)\,\hat{\mathbf{k}} \end{aligned}

Next we need to find a surface SS whose boundary is CC. We can choose the surface SS to be the union of two flat parts:

  • the triangle SxS_x in the xzxz-plane with vertices (0,0,0)(0,0,0), (2,0,0)(2,0,0), and (0,0,2)(0,0,2) and
  • the triangle SyS_y in the yzyz-plane with vertices (0,0,0)(0,0,0), (0,0,2)(0,0,2), and (0,3,0)(0,3,0)

Note that

  • The normal to SxS_x specified by Stokes' theorem is −ȷ^-\hat{\boldsymbol{\jmath}}. On SxS_x we have y=0y=0, so that ∇×F⋅ȷ^{ \boldsymbol{\nabla} }\times\mathbf{F}\cdot\hat{\boldsymbol{\jmath}} simplifies to −(5(0+2)−21+0)=−8-\big(5(0+2)-\frac{2}{1+0}\big)=-8.
  • The normal to SyS_y specified by Stokes' theorem is −ı^-\hat{\boldsymbol{\imath}}. On SyS_y we have x=0x=0, so that ∇×F⋅ı^{ \boldsymbol{\nabla} }\times\mathbf{F}\cdot\hat{\boldsymbol{\imath}} simplifies to (5(0+1)−31+0)=2\big(5(0+1)-\frac{3}{1+0}\big)=2.

So Stokes' theorem gives

∫CF⋅dr=∬S∇×F⋅n^ dS=∬Sx∇×F⋅(−ȷ^)⏞8 dS+∬Sy∇×F⋅(−ı^)⏞−2 dS=8 Area(Sx)−2 Area(Sy)=812(2)(2)−212(3)(2)=10\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} \overbrace{{ \boldsymbol{\nabla} }\times\mathbf{F}\cdot(-\hat{\boldsymbol{\jmath}})}^{8}\,\mathrm{d}S + \iint _{S_y} \overbrace{{ \boldsymbol{\nabla} }\times\mathbf{F}\cdot(-\hat{\boldsymbol{\imath}})}^{-2}\,\mathrm{d}S \\ &=8\,\text{Area}(S_x) -2\,\text{Area}(S_y) =8\frac{1}{2}(2)(2) -2\frac{1}{2}(3)(2) \\ &=10 \end{aligned}

한 번 더 — 비슷한 문제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) 으로 차례로 이어지는 선분들로 이루어져 있다.

답 쓰고 채점
다 풀었으면 정답 확인

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

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

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