스토크스 정리 (Stokes' Theorem)

한 줄 정의: 곡면 위에서 벡터장의 회전을 모두 더한 값은, 그 곡면의 가장자리(경계선)를 따라 벡터장을 한 바퀴 돈 값과 같다는 정리입니다.

쉽게 풀면

우산처럼 휘어진 곡면 위 곳곳에서 바람이 소용돌이치는 정도(회전)를 전부 합산하려면 원래 곡면 전체를 샅샅이 훑어야 할 것 같습니다. 그런데 스토크스 정리는 놀랍게도 "곡면 가장자리 테두리만 따라 한 바퀴 돌면서 바람이 얼마나 밀어주는지"만 재도 똑같은 답이 나온다고 말해줍니다.

즉 복잡한 곡면 전체(2차원 면적분)를 다루는 대신, 그 테두리(1차원 선적분)만 계산하면 되므로 문제가 훨씬 쉬워집니다. 평면에서 성립하는 그린 정리를 3차원 곡면으로 확장한 것이 바로 스토크스 정리입니다.

왜 중요한가

스토크스 정리는 전자기학의 맥스웰 방정식, 유체역학의 순환(circulation) 계산, 미분기하학의 곡면 이론 등에서 면적분을 선적분으로 바꿔주는 강력한 도구이기 때문에, 물리학·공학의 이론 유도와 수치해석의 계산 효율화 양쪽에서 반복적으로 등장합니다. 그린 정리, 발산 정리와 함께 벡터 미적분의 핵심 정리 삼총사를 이룬다는 점에서도 자주 언급됩니다.

핵심 정리

식: ∬_S (∇ × F) · dS = ∮_∂S F · dr. 왼쪽은 곡면 S 위에서 회전(curl)의 법선 성분을 합한 값, 오른쪽은 경계 곡선 ∂S를 따라 한 바퀴 돈 선적분(순환)입니다.
방향 규약이 핵심입니다. 곡면의 법선 방향과 경계를 도는 방향은 오른손 법칙으로 짝지어집니다. 엄지를 법선 방향으로 두었을 때 나머지 손가락이 감기는 방향이 경계의 양의 방향입니다.
조건: S는 조각마다 매끄러운 방향 지정 곡면이고, F는 S를 포함하는 열린 영역에서 연속적으로 미분 가능해야 합니다.
두 가지 결과: ① 같은 경계를 가진 서로 다른 곡면에서 회전의 면적분은 같습니다. ② ∇ × F = 0이고 영역이 단순 연결이면 닫힌 곡선 위 선적분은 0입니다(보존장).
이 정리는 그린 정리를 3차원 곡면으로 확장한 것이고, 모두 ‘안쪽의 미분을 경계의 값으로’ 바꾸는 일반화된 스토크스 정리의 특수한 경우입니다.

예시로 보기

벡터장 F = (−y, x, 0)와 단위 반구(z ≥ 0, 바깥쪽 법선)로 확인해 봅니다.

회전: ∇ × F = (0, 0, 2).
면적분: 단위 구면에서 법선은 n = (x, y, z)이므로 (∇ × F)·n = 2z. 구면 좌표(z = cos φ, dS = sin φ dφ dθ)에서 ∬ 2 cos φ sin φ dφ dθ = 2π.
경계 선적분: 경계는 xy평면의 단위원 r(θ) = (cos θ, sin θ, 0), 반시계 방향. F · dr = (sin²θ + cos²θ) dθ = dθ이므로 ∮ = 2π.

두 값이 같습니다. 수치 적분(중점법)으로도 선적분 6.2832, 면적분 6.2832가 나오며 둘 다 2π ≈ 6.2832와 일치합니다(코드로 계산). 방향을 반대로 잡으면 부호가 −2π가 되어 어긋나므로, 방향 규약을 반드시 확인해야 합니다. 같은 경계 원을 가진 평평한 원판(z = 0)에서 면적분하면 2 × π = 2π로, 곡면이 달라도 값이 같다는 결과 ①도 확인됩니다.

자주 하는 오해

오해	바로잡기
곡면과 경계의 방향은 마음대로 잡아도 된다.	오른손 법칙으로 짝지어야 합니다. 어긋나면 부호가 바뀝니다.
경계가 닫혀 있기만 하면 아무 곡면이나 된다.	같은 경계를 가진 곡면이면 가능하지만, 곡면이 매끄럽고 F가 그 곡면 전체에서 정의되고 미분 가능해야 합니다. 특이점(예: 자기장의 도선)을 지나는 곡면에서는 성립하지 않을 수 있습니다.
회전이 0이면 선적분은 항상 0이다.	단순 연결 영역에서만 보장됩니다. 구멍이 있는 영역에서는 회전이 0이어도 선적분이 0이 아닐 수 있습니다.
스토크스 정리는 스토크스가 증명했다.	이름은 Stokes에서 왔지만, 켈빈이 1850년 편지로 제시했고 1854년 스토크스가 스미스 상 시험 문제로 낸 데서 널리 알려졌다고 전해집니다.

논문에서는 이렇게 쓰입니다

실제 논문에서

이 용어를 직접 쓴 국내 논문 문장을 아직 수집하지 못했습니다. 수집되는 대로 출처와 함께 싣겠습니다.

예시 문장

아래는 용어의 쓰임을 보여 주려고 만든 예시로, 실제 논문에서 가져온 문장이 아닙니다.

"스토크스 정리(Stokes' theorem)를 적용하여 곡면에 대한 회전장의 면적분을 경계 곡선에서의 선적분으로 변환함으로써 계산 복잡도를 크게 줄였다."

이 문장은 전자기학이나 유체역학 시뮬레이션 논문에서 자주 등장합니다. 곡면 위 전체를 수치적으로 적분하는 대신 경계선만 적분하면 되므로, 계산량을 줄이고 수치 오차도 줄이는 효과를 설명할 때 인용됩니다.

"패러데이 법칙의 적분형을 유도하는 과정에서 스토크스 정리를 이용해 전기장의 회전에 대한 면적분을 폐곡선을 따른 선적분 형태로 바꾸었다."

이 문장은 전자기학에서 맥스웰 방정식의 미분형과 적분형을 서로 오가며 유도할 때 스토크스 정리가 수학적 다리 역할을 한다는 것을 보여줍니다.

"3차원 메쉬 표면 위의 벡터장 처리에서 스토크스 정리를 이산화한 형태를 적용하여 곡면의 위상적 성질을 보존하는 수치 계산 기법을 제안하였다."

이 문장은 컴퓨터그래픽스나 계산기하학 연구에서 연속적인 스토크스 정리를 격자·메쉬 위에서 근사적으로 재현하는 이산 미분기하학적 접근에 활용된다는 것을 보여줍니다.

조금 더 깊게 보면

스토크스 정리는 그린 정리(2차원 평면), 발산 정리(3차원 부피)와 함께 미적분학의 기본정리를 더 높은 차원으로 확장한 일반화된 스토크스 정리(generalized Stokes' theorem)의 특수한 경우로 이해할 수 있으며, 이 일반화된 형태는 미분형식(differential form)이라는 언어로 표현됩니다. 이런 통합적 관점 덕분에 스토크스 정리는 단순한 계산 도구를 넘어, 물리 법칙이 국소적인 미분 형태와 전역적인 적분 형태 사이에서 어떻게 연결되는지를 보여주는 개념적 틀로도 다뤄집니다.

주의할 점

스토크스 정리는 곡면이 매끄럽고(미분 가능하고) 경계가 명확히 닫혀 있어야 성립합니다. 평면 위의 특수한 경우만 다루는 그린 정리와 달리, 스토크스 정리는 3차원 공간의 임의의 곡면에 적용되는 일반화된 형태라는 점에서 구분해야 합니다.

헷갈리기 쉬운 용어

벡터 미적분의 적분 정리들은 모두 ‘안쪽 = 경계’ 꼴이라 혼동됩니다.

정리	안쪽(적분 영역)	경계
그린 정리	평면 영역	영역을 둘러싼 곡선
스토크스 정리	3차원 속 곡면(회전의 면적분)	곡면의 경계 곡선(선적분)
발산정리	3차원 영역(발산의 부피적분)	영역을 감싸는 곡면(면적분)

참고 문헌

Marsden, J. E., & Tromba, A. (2011). Vector Calculus (6th ed.). W. H. Freeman.
Spivak, M. (1965). Calculus on Manifolds: A Modern Approach to Classical Theorems of Advanced Calculus. W. A. Benjamin.
Griffiths, D. J. (2017). Introduction to Electrodynamics (4th ed.). Cambridge University Press.

표의 기준값은 위 문헌에 근거한 관례이며, 분야·학술지마다 다른 기준을 쓸 수 있습니다.