Summary

스토크스 정리(Stokes’ Theorem)는 “곡면의 테두리를 따라 도는 순환(circulation)“이 “그 곡면을 통과하는 curl(회전)의 선속(flux)“과 정확히 같다고 말한다. 즉 가장자리에서 한 바퀴 도는 양을, 막 안쪽에 퍼진 미세 소용돌이를 전부 합한 것으로 바꿔 계산할 수 있다. 수식으로는 ${\oint }_C\mathbf{F}\cdot d\mathbf{r}={\iint }_S(\nabla \times \mathbf{F})\cdot d\mathbf{S}$.

용어 설명

• surface integral (면적분): 곡면 $S$ 위에서 양을 쭉 더하는 적분. ${\iint }_S\cdots dS$.
• curl (회전, $\nabla \times \mathbf{F}$): 어떤 점에서 벡터장이 얼마나 “빙빙 돌고 있는지”를 나타내는 벡터. 작은 바람개비를 놓았을 때 도는 축과 세기.
• circulation (순환): 닫힌 곡선 $C$를 따라 벡터장을 한 바퀴 선적분한 값. 테두리를 따라 “얼마나 밀려 도는가”.
• flux (선속): 곡면을 “뚫고 지나가는” 양. 여기서는 curl이 면을 통과하는 양.
• oriented boundary (방향 잡힌 경계): 곡면의 가장자리 곡선에 도는 방향을 정한 것. 오른손 법칙으로 곡면의 법선 방향과 짝을 맞춘다.
• simple closed curve (단순 닫힌 곡선): 자기 자신과 겹치지 않고 한 바퀴 닫히는 곡선.
• piecewise smooth (조각마다 매끄러운): 몇 조각으로 나누면 각 조각이 매끄러운(미분 가능한) 곡면/곡선.

Stokes’ Theorem

1. 직관 (테두리를 도는 순환 = 막 위 회전의 총합)

비누막을 떠올려 보자. 철사 고리(테두리 $C$)에 비누막(곡면 $S$)이 쳐져 있다.

• 테두리만 보면: 가장자리를 따라 한 바퀴 돌 때 바람(벡터장 $\mathbf{F}$)이 나를 얼마나 밀어주는가 → 이게 순환(circulation) ${\oint }_C\mathbf{F}\cdot d\mathbf{r}$.
• 막 전체를 보면: 막 안쪽 곳곳에 아주 작은 소용돌이들(curl)이 흩어져 있다. 이 소용돌이들을 막 전체에서 다 합치면 → ${\iint }_S(\nabla \times \mathbf{F})\cdot d\mathbf{S}$.

스토크스 정리는 이 둘이 똑같다고 말한다. 핵심 그림: 안쪽에서 옆 칸과 맞닿은 소용돌이들은 서로 반대 방향이라 상쇄되고, 상쇄되지 않고 끝까지 살아남는 건 맨 바깥 테두리뿐이다. 그래서 안쪽 회전을 다 더하면 테두리 순환만 남는다.

2. 정식 진술 (가정 + 공식)

가정

• $S$: 방향 잡힌(oriented), 조각마다 매끄러운(piecewise smooth) 곡면.
• $C$: $S$의 경계로, 양의 방향(곡면 법선과 오른손 법칙으로 맞춘 방향)으로 잡힌 단순 닫힌 곡선.
• $\mathbf{F}$: $S$를 포함하는 열린 영역에서 성분들이 연속인 편도함수를 갖는 벡터장.

공식
${\oint }_C\mathbf{F}\cdot d\mathbf{r}={\iint }_S(\nabla \times \mathbf{F})\cdot d\mathbf{S}$

Important

방향(orientation)이 생명이다. 오른손 엄지를 곡면 법선 $\mathbf{n}$ 방향으로 두면, 나머지 네 손가락이 감기는 방향이 $C$의 양의 방향이다. 방향을 반대로 잡으면 부호가 뒤집힌다.

3. 그린 정리의 3차원 일반화임을 설명

곡면 $S$가 $xy$-평면 위에 평평하게 누운 영역 $D$이고, 법선이 위쪽($+z$)을 향한다고 하자. 이때 $\mathbf{F}=(P,Q,0)$이면

$(\nabla \times \mathbf{F})\cdot \mathbf{k}=\frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y}$

이고 스토크스 공식은 정확히

${\oint }_C(Pdx+Qdy)={\iint }_D\left(\frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y}\right)dA$

즉 그린 정리(Green’s Theorem) 가 된다. 그린 정리는 스토크스를 평면(2D)에 눌러놓은 특수한 경우이고, 스토크스는 그 막을 3차원 공간으로 들어올린 일반화다.

4. 예시 / 직관적 그림

벡터장 $\mathbf{F}=(-y,x,0)$ (원점 둘레로 반시계로 도는 회전장), 곡면 $S$는 반지름 1짜리 위쪽 반구면, 경계 $C$는 $xy$-평면 위의 단위원.

방법 A — 경계에서 선적분 (왼쪽 변)
$C$: $\mathbf{r}(t)=(\cos t,\sin t,0)$, $t:0\to 2\pi$. 그러면 ${\mathbf{r}}^{\prime }(t)=(-\sin t,\cos t,0)$이고
$\mathbf{F}\cdot {\mathbf{r}}^{\prime }=(-\sin t)(-\sin t)+(\cos t)(\cos t)=1.$
${\oint }_C\mathbf{F}\cdot d\mathbf{r}={\int }_0^{2\pi }1dt=2\pi .$

방법 B — curl의 면적분 (오른쪽 변)
$\nabla \times \mathbf{F}=\left(0,0,\frac{\partial (x)}{\partial x}-\frac{\partial (-y)}{\partial y}\right)=(0,0,2).$
반구면을 통과하는 $(0,0,2)$의 선속은, 경계가 같은 평평한 원판으로 바꿔 계산해도 같다(테두리만 같으면 곡면 모양은 상관없음). 원판 넓이 $\pi \cdot 1^2=\pi$이므로
${\iint }_S(\nabla \times \mathbf{F})\cdot d\mathbf{S}=2\cdot \pi =2\pi .$

두 방법 모두 $2\pi$. 일치한다.

Tip

방법 B의 마지막 트릭이 스토크스의 실전 위력이다. 테두리 $C$가 같으면 곡면 $S$를 더 계산하기 쉬운 모양(예: 평평한 원판)으로 바꿔도 답이 같다. 울퉁불퉁한 반구면 적분을 납작한 원판 적분으로 갈아끼울 수 있다.

5. 어디에 쓰나 / 더 큰 그림

• 전자기학(Maxwell 방정식): 패러데이 법칙, 앙페르 법칙이 바로 스토크스 정리의 선적분 형태 ←> 면적분 형태 변환이다.
• 계산 단순화: 어려운 선적분 ←> 쉬운 면적분으로 자유롭게 갈아타기. (위 예시의 방법 B)
• 보존장 판정: $\nabla \times \mathbf{F}=0$이면 어떤 닫힌 곡선에서도 순환이 0 → 경로에 무관(보존장).

더 큰 그림에서, 스토크스 정리는 다음 네 식이 모두 같은 한 가지 원리의 얼굴들임을 보여준다.

정리	의미
FTC (미적분 기본정리)	1D: 구간 끝값 = 도함수 적분
Green’s Theorem	2D 평면
Stokes’ Theorem	3D 곡면
Divergence Theorem	3D 부피 (curl 대신 divergence)

공통 슬로건: “경계에서의 적분 = 내부에서의 도함수 적분.” 이것을 미분형식으로 한 줄로 묶은 것이 일반화된 스토크스 정리(generalized Stokes) ${\int }_{\partial \Omega }\omega ={\int }_{\Omega }d\omega$ 이다.

6. 30초 요약

• 이름: 스토크스 정리 (Stokes’ Theorem), Stewart §16.8.
• 한 줄: 테두리 순환 = 막을 통과하는 curl의 선속.
• 공식: ${\oint }_C\mathbf{F}\cdot d\mathbf{r}={\iint }_S(\nabla \times \mathbf{F})\cdot d\mathbf{S}$.
• 가정: $S$ 방향 잡힌·조각마다 매끄러운 곡면, $C$ 양의 방향 단순 닫힌 경계, $\mathbf{F}$ 연속 편도함수.
• 방향은 오른손 법칙(법선 ←> 경계 방향).
• 곡면이 평면이면 = 그린 정리. (스토크스는 그린의 3D판)
• 실전 트릭: 테두리가 같으면 곡면을 쉬운 모양으로 바꿔도 답 동일.
• 친척: FTC / Green / Stokes / Divergence = “경계 적분 = 내부 도함수 적분”.

관련 노트

• Calculus Theorems (index)
• Green’s Theorem
• Curl (vector calculus)
• Divergence Theorem