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

스토크스 정리

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

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

CC 를 x+2y−z=7x+2y-z=7 과 x2−2x+4y2=15x^2-2x+4y^2=15 의 교선이라 하자. 곡선 CC 는 zz축 위쪽 높은 곳에서 볼 때 반시계 방향으로 향하고 있다.

F=(ex2+yz) ı^+(cos⁡(y2)−x2) ȷ^+(sin⁡(z2)+xy) k^\mathbf{F}=\big(e^{x^2}+yz\big)\,\hat{\boldsymbol{\imath}} +\big(\cos(y^2)-x^2\big)\,\hat{\boldsymbol{\jmath}} +\big(\sin(z^2)+xy\big)\,\hat{\mathbf{k}}

일 때, ∮CF⋅dr\oint_C\mathbf{F}\cdot \mathrm{d}\mathbf{r} 의 값을 구하세요.

영어 원문 보기

Let CC be the intersection of x+2y−z=7x+2y-z=7 and x2−2x+4y2=15x^2-2x+4y^2=15. The curve CC is oriented counterclockwise when viewed from high on the zz-axis. Let

F=(ex2+yz) ı^+(cos⁡(y2)−x2) ȷ^+(sin⁡(z2)+xy) k^\mathbf{F}=\big(e^{x^2}+yz\big)\,\hat{\boldsymbol{\imath}} +\big(\cos(y^2)-x^2\big)\,\hat{\boldsymbol{\jmath}} +\big(\sin(z^2)+xy\big)\,\hat{\mathbf{k}}

Evaluate ∮CF⋅dr\oint_C\mathbf{F}\cdot \mathrm{d}\mathbf{r}.

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

F\mathbf{F} 의 꼴을 보면 직접 계산하기는 어려워 보인다. 그래서 스토크스 정리를 이용하되, SS 를 평면 G(x,y,z)=x+2y−z=7G(x,y,z)=x+2y-z=7 중에서 x2−2x+4y2=15x^2-2x+4y^2=15 의 안쪽에 있는 부분으로 잡는다. 그러면

n^ dS=±∇G∇G⋅k^ dx dy=±(ı^+2ȷ^−k^) dx dy\hat{\mathbf{n}}\,\mathrm{d}S = \pm \frac{{ \boldsymbol{\nabla} } G}{{ \boldsymbol{\nabla} } G\cdot\hat{\mathbf{k}}}\,\mathrm{d}x\,\mathrm{d}y = \pm\big(\hat{\boldsymbol{\imath}}+2\hat{\boldsymbol{\jmath}}-\hat{\mathbf{k}}\big)\,\mathrm{d}x\,\mathrm{d}y

이다. CC 가 위에서 볼 때 반시계 방향이므로, 스토크스 정리에 따라 위쪽을 향하는 법선벡터를 택해야 하고, 따라서 n^ dS=−(ı^+2ȷ^−k^) dx dy\hat{\mathbf{n}}\,\mathrm{d}S = -\big(\hat{\boldsymbol{\imath}}+2\hat{\boldsymbol{\jmath}}-\hat{\mathbf{k}}\big)\,\mathrm{d}x\,\mathrm{d}y 이다.

다음을 관찰하면

∇×F=det⁡[ı^ȷ^k^∂∂x∂∂y∂∂zex2+yzcos⁡(y2)−x2sin⁡(z2)+xy]=x ı^−(z+2x) k^{ \boldsymbol{\nabla} }\times\mathbf{F}=\det\left[\begin{matrix}\hat{\boldsymbol{\imath}} & \hat{\boldsymbol{\jmath}} & \hat{\mathbf{k}} \\[0.05in] \frac{\partial }{\partial x} & \frac{\partial }{\partial y} & \frac{\partial }{\partial z} \\[0.05in] e^{x^2}+yz & \cos(y^2)-x^2 & \sin(z^2)+xy \end{matrix} \right] =x\,\hat{\boldsymbol{\imath}}-(z+2x)\,\hat{\mathbf{k}}

이고 x2−2x+4y2=15x^2-2x+4y^2=15 를 (x−1)2+4y2=16(x-1)^2+4y^2=16 으로 다시 쓸 수 있으므로,

∮CF⋅dr=∬S∇×F⋅n^ dS=∬(x−1)2+4y2≤16 [xı^−(z+2x)k^]∣z=−7+x+2y⋅(−1,−2,1) dx dy=∬(x−1)2+4y2≤16[−x−(−7+x+2y+2x)] dx dy=∬(x−1)2+4y2≤16[7−4x−2y] dx dy\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\\ &=\iint _{(x-1)^2+4y^2\le 16}\, [x\hat{\boldsymbol{\imath}}-(z+2x)\hat{\mathbf{k}}]\Big|_{z=-7+x+2y}\cdot(-1,-2,1)\,\mathrm{d}x\,\mathrm{d}y\\ &=\iint _{(x-1)^2+4y^2\le 16} [-x-(-7+x+2y+2x)]\,\mathrm{d}x\,\mathrm{d}y\\ &=\iint _{(x-1)^2+4y^2\le 16} [7-4x-2y]\,\mathrm{d}x\,\mathrm{d}y \end{aligned}

이다.

xx 와 yy 의 적분을 계산하기 위해, xyxy평면 위의 임의의 영역 RR 에 대하여 다음이 성립함을 이용한다.

xˉ=∬Rx dx dy넓이(R)yˉ=∬Ry dx dy넓이(R)\bar x =\frac{\iint _R x\,\mathrm{d}x\,\mathrm{d}y}{\text{넓이}(R)}\qquad \bar y =\frac{\iint _R y\,\mathrm{d}x\,\mathrm{d}y}{\text{넓이}(R)}

이 타원은 (x−1)242+y222=1\frac{(x-1)^2}{4^2}+\frac{y^2}{2^2}=1 이므로 넓이가 πab=π×4×2=8π\pi ab = \pi\times4\times 2=8\pi 이고 무게중심은 (xˉ,yˉ)=(1,0)(\bar x,\bar y) = (1,0) 이다. 따라서 R={ (x,y) ∣ (x−1)242+y222≤1 }R=\big\{ \ (x,y)\ \big|\ \frac{(x-1)^2}{4^2}+\frac{y^2}{2^2}\le 1\ \big\} 로 놓으면

∮CF⋅dr=∬R[7−4x−2y] dx dy=넓이(R){7−4xˉ−2yˉ}=8π[7−4×1−2×0]=24π\begin{aligned} \oint_C\mathbf{F}\cdot \mathrm{d}\mathbf{r} &=\iint _R [7-4x-2y]\,\mathrm{d}x\,\mathrm{d}y\\ &=\text{넓이}(R) \big\{7-4\bar x-2\bar y\}\\ &=8\pi[7-4\times 1-2\times 0]=24\pi \end{aligned}

이다.

원본 교재 풀이(영어)

Given the form of F\mathbf{F}, direct evaluation looks hard. So let's try Stokes' theorem, using as SS the part of the plane G(x,y,z)=x+2y−z=7G(x,y,z)=x+2y-z=7 that is inside x2−2x+4y2=15x^2-2x+4y^2=15. Then

n^ dS=±∇G∇G⋅k^ dx dy=±(ı^+2ȷ^−k^) dx dy\hat{\mathbf{n}}\,\mathrm{d}S = \pm \frac{{ \boldsymbol{\nabla} } G}{{ \boldsymbol{\nabla} } G\cdot\hat{\mathbf{k}}}\,\mathrm{d}x\,\mathrm{d}y = \pm\big(\hat{\boldsymbol{\imath}}+2\hat{\boldsymbol{\jmath}}-\hat{\mathbf{k}}\big)\,\mathrm{d}x\,\mathrm{d}y

As CC is oriented counterclockwise when viewed from high, Stokes' theorem specifies the upward pointing normal so that n^ dS=−(ı^+2ȷ^−k^) dx dy\hat{\mathbf{n}}\,\mathrm{d}S = -\big(\hat{\boldsymbol{\imath}}+2\hat{\boldsymbol{\jmath}}-\hat{\mathbf{k}}\big)\,\mathrm{d}x\,\mathrm{d}y.

From the observations that

∇×F=det⁡[ı^ȷ^k^∂∂x∂∂y∂∂zex2+yzcos⁡(y2)−x2sin⁡(z2)+xy]=x ı^−(z+2x) k^{ \boldsymbol{\nabla} }\times\mathbf{F}=\det\left[\begin{matrix}\hat{\boldsymbol{\imath}} & \hat{\boldsymbol{\jmath}} & \hat{\mathbf{k}} \\[0.05in] \frac{\partial }{\partial x} & \frac{\partial }{\partial y} & \frac{\partial }{\partial z} \\[0.05in] e^{x^2}+yz & \cos(y^2)-x^2 & \sin(z^2)+xy \end{matrix} \right] =x\,\hat{\boldsymbol{\imath}}-(z+2x)\,\hat{\mathbf{k}}

and that we can rewrite x2−2x+4y2=15x^2-2x+4y^2=15 as (x−1)2+4y2=16(x-1)^2+4y^2=16, we have

∮CF⋅dr=∬S∇×F⋅n^ dS=∬(x−1)2+4y2≤16 [xı^−(z+2x)k^]∣z=−7+x+2y⋅(−1,−2,1) dx dy=∬(x−1)2+4y2≤16[−x−(−7+x+2y+2x)] dx dy=∬(x−1)2+4y2≤16[7−4x−2y] dx dy\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\\ &=\iint _{(x-1)^2+4y^2\le 16}\, [x\hat{\boldsymbol{\imath}}-(z+2x)\hat{\mathbf{k}}]\Big|_{z=-7+x+2y}\cdot(-1,-2,1)\,\mathrm{d}x\,\mathrm{d}y\\ &=\iint _{(x-1)^2+4y^2\le 16} [-x-(-7+x+2y+2x)]\,\mathrm{d}x\,\mathrm{d}y\\ &=\iint _{(x-1)^2+4y^2\le 16} [7-4x-2y]\,\mathrm{d}x\,\mathrm{d}y \end{aligned}

To evaluate the integrals of xx and yy we use that, for any region RR in the xyxy–plane,

xˉ=∬Rx dx dyArea(R)yˉ=∬Ry dx dyArea(R)\bar x =\frac{\iint _R x\,\mathrm{d}x\,\mathrm{d}y}{\text{Area}(R)}\qquad \bar y =\frac{\iint _R y\,\mathrm{d}x\,\mathrm{d}y}{\text{Area}(R)}

Our ellipse is (x−1)242+y222=1\frac{(x-1)^2}{4^2}+\frac{y^2}{2^2}=1 and so has area πab=π×4×2=8π\pi ab = \pi\times4\times 2=8\pi and centroid (xˉ,yˉ)=(1,0)(\bar x,\bar y) = (1,0). So, using R={ (x,y) ∣ (x−1)242+y222≤1 }R=\big\{ \ (x,y)\ \big|\ \frac{(x-1)^2}{4^2}+\frac{y^2}{2^2}\le 1\ \big\},

∮CF⋅dr=∬R[7−4x−2y] dx dy=Area(R){7−4xˉ−2yˉ}=8π[7−4×1−2×0]=24π\begin{aligned} \oint_C\mathbf{F}\cdot \mathrm{d}\mathbf{r} &=\iint _R [7-4x-2y]\,\mathrm{d}x\,\mathrm{d}y\\ &=\text{Area}(R) \big\{7-4\bar x-2\bar y\}\\ &=8\pi[7-4\times 1-2\times 0]=24\pi \end{aligned}

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

SS 를 다음과 같이 매개변수로 나타낸 나선형 경사로(즉, 나선면)의 일부라고 하자.

x=ucos⁡v, y=usin⁡v, z=v0≤u≤1, 0≤v≤2πx=u\cos v,\ y=u\sin v,\ z=v\qquad 0\le u\le 1,\ 0\le v\le 2\pi

CC 를 SS 의 경계라고 하고, 방향은 SS 위의 위쪽을 향하는 법선으로 정해진다고 하자. 다음 값을 구하세요.

∫Cy dx−x dy+xy dz\int_C y\,\mathrm{d}x-x\,\mathrm{d}y+ xy\,\mathrm{d}z

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

스토크스 정리를 이용해 보자. F=y ı^−x ȷ^+xy k^\mathbf{F}=y\,\hat{\boldsymbol{\imath}}-x\,\hat{\boldsymbol{\jmath}}+xy\,\hat{\mathbf{k}} 라 하면

∇×F=det⁡[ı^ȷ^k^∂∂x∂∂y∂∂zy−xxy]=x ı^−y ȷ^−2 k^\begin{aligned} { \boldsymbol{\nabla} }\times\mathbf{F}=\det\left[\begin{matrix}\hat{\boldsymbol{\imath}} & \hat{\boldsymbol{\jmath}} & \hat{\mathbf{k}} \\[0.05in] \frac{\partial }{\partial x} & \frac{\partial }{\partial y} & \frac{\partial }{\partial z} \\[0.05in] y & -x & xy \end{matrix}\right] =x\,\hat{\boldsymbol{\imath}}-y\,\hat{\boldsymbol{\jmath}}-2\,\hat{\mathbf{k}} \end{aligned}

이제 (u,v)(u,v) 매개변수로 n^ dS\hat{\mathbf{n}}\,\mathrm{d}S 를 계산한다.

r(u,v)=(ucos⁡v,usin⁡v,v)∂r∂u(u,v)=(cos⁡v,sin⁡v,0)∂r∂v(u,v)=(−usin⁡v,ucos⁡v,1)∂r∂u×∂r∂v=det⁡[ı^ȷ^k^cos⁡vsin⁡v0−usin⁡vucos⁡v1]=(sin⁡v,−cos⁡v,u)n^ dS=(sin⁡v,−cos⁡v,u) du dv\begin{aligned} \mathbf{r}(u,v)&=\big(u\cos v, u\sin v, v\big)\\ \frac{\partial \mathbf{r}}{\partial u}(u,v)&=\big(\cos v, \sin v, 0\big)\\ \frac{\partial \mathbf{r}}{\partial v}(u,v)&=\big(-u\sin v, u\cos v, 1\big)\\ \frac{\partial \mathbf{r}}{\partial u}\times\frac{\partial \mathbf{r}}{\partial v} &=\det\left[\begin{matrix}\hat{\boldsymbol{\imath}} & \hat{\boldsymbol{\jmath}} & \hat{\mathbf{k}} \\[0.05in] \cos v & \sin v & 0 \\ -u\sin v& u\cos v& 1 \end{matrix}\right] =\big(\sin v, -\cos v, u\big)\\ \hat{\mathbf{n}}\,\mathrm{d}S&=\big(\sin v, -\cos v, u\big)\,\mathrm{d}u\,\mathrm{d}v \end{aligned}

u≥0u\ge 0 이므로 실제로 위쪽을 향하는 법선이다. 따라서 스토크스 정리에 의해

∫Cy dx−x dy+xy dz=∫CF⋅dr=∬S∇×F⋅n^ dS=∫01du∫02πdv (ucos⁡v,−usin⁡v,−2)⋅(sin⁡v,−cos⁡v,u)=∫01du∫02πdv (2usin⁡vcos⁡v−2u)=[∫01du u][∫02πdv (sin⁡2v−2)]=12(−4π)=−2π\begin{aligned} \int_C y\,\mathrm{d}x-x\,\mathrm{d}y+ xy\,\mathrm{d}z &=\int_C\mathbf{F}\cdot \mathrm{d}\mathbf{r} =\iint _S { \boldsymbol{\nabla} }\times\mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}S\\ &=\int_0^1 \mathrm{d}u \int_0^{2\pi} \mathrm{d}v\ \big(u\cos v, -u\sin v, -2\big) \cdot\big(\sin v, -\cos v, u\big)\\ &=\int_0^1 \mathrm{d}u \int_0^{2\pi} \mathrm{d}v\ \big(2u\sin v\cos v-2u\big) =\left[\int_0^1 \mathrm{d}u \ u\right] \left[\int_0^{2\pi} \mathrm{d}v\ \big(\sin 2v-2\big)\right]\\ &=\tfrac{1}{2}(-4\pi)=-2\pi \end{aligned}

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

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