Summary

그린 정리(Green’s Theorem)는 닫힌 곡선의 둘레를 따라 도는 선적분을, 그 곡선이 둘러싼 내부 영역의 이중적분으로 바꿔 주는 다리다.
즉 “테두리만 보고 계산하느냐, 속을 다 채워 계산하느냐”는 선택지를 주며, 둘은 항상 같은 값이 나온다.
둘레를 따라 도는 회전의 총합 = 내부에 퍼진 미소 회전을 다 더한 것.

용어 설명

• line integral (선적분): 곡선을 따라가며 함수를 적분하는 것. 여기서는 둘레 $C$를 한 바퀴 도는 적분 ${\oint }_C$.
• double integral (이중적분): 평면 영역 $D$ 위에서 면적 요소 $dA$로 적분하는 것 ${\iint }_D$.
• positively oriented (양의 방향, 반시계): 곡선을 따라 걸을 때 둘러싼 영역이 항상 왼쪽에 오도록 도는 방향. 평면 바깥쪽 영역이 아니라 안쪽이 왼쪽이면 반시계 방향이다.
• simple closed curve (단순 닫힌 곡선): 자기 자신과 교차하지 않고(단순), 시작점과 끝점이 같은(닫힘) 곡선. 끈으로 만든 고무줄 고리 같은 것.
• piecewise-smooth (조각마다 매끄러운): 몇 개의 매끄러운 조각이 이어 붙어 만들어진 곡선(모서리가 몇 개 있어도 OK).
• 2D curl (평면 컬, 미소 회전): $\partial Q/\partial x-\partial P/\partial y$. 그 점 근처에서 벡터장이 얼마나 “빙글빙글” 도는지를 나타내는 양.

Green’s Theorem

한국어 이름: 그린 정리.

1. 직관 (둘레를 도는 것 = 내부를 채운 것)

연못 위에 물의 흐름(벡터장)이 있다고 하자. 고무줄 고리 하나를 물 위에 띄워 놓고, 그 테두리를 따라 흐름이 나를 얼마나 밀어 주는지를 한 바퀴 돌며 합산한 값을 “순환(circulation)“이라고 부른다. 이게 좌변의 선적분이다.

그런데 이 순환은 사실 고리 안쪽의 물이 얼마나 소용돌이치는지와 같다. 안쪽 구석구석의 작은 소용돌이(미소 회전)를 전부 더한 것이 우변의 이중적분이다.

그린 정리는 말한다: 테두리를 도는 총 순환 = 내부의 미소 회전을 다 더한 것. 테두리만 봐도 속을 알고, 속을 다 더하면 테두리가 나온다.

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

가정:

• $D$는 평면의 영역이고, 그 경계 $C$는 **양의 방향(반시계)**으로 한 번 도는 단순 닫힌 곡선이며 조각마다 매끄럽다(piecewise-smooth).
• $P$와 $Q$는 $D$를 포함하는 어떤 열린 영역에서 연속인 편도함수를 가진다.

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

부호 외우는 법

우변은 항상 $\frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y}$ 순서다. “$Q$의 $x$미분 빼기 $P$의 $y$미분”. $Q$는 $dy$의 짝, $P$는 $dx$의 짝인데, 미분은 상대편 변수로 한다고 기억하면 헷갈리지 않는다.

3. 왜 성립하나 (작은 사각형들의 회전이 상쇄되어 둘레만 남음)

영역 $D$를 아주 작은 사각형들로 잘게 나눈다. 각 작은 사각형의 둘레를 모두 반시계 방향으로 한 바퀴 돈다고 하자.

핵심은 이웃한 두 사각형이 공유하는 변이다. 한 사각형은 그 변을 위로 지나가고, 옆 사각형은 같은 변을 아래로 지나간다. 방향이 반대이므로 두 기여가 **정확히 상쇄(cancel)**된다.

내부의 모든 변은 항상 두 사각형이 공유하므로 전부 상쇄된다. 살아남는 것은 짝이 없는 가장 바깥 테두리뿐이다. 그래서 “작은 사각형들의 회전을 다 더한 것(이중적분)“이 “바깥 둘레를 도는 선적분”과 같아진다. 작은 사각형 하나에서 둘레 순환이 그 넓이 곱하기 $(\partial Q/\partial x-\partial P/\partial y)$가 됨을 확인하면 증명이 완성된다.

4. 예시 (구체 계산 또는 넓이 공식)

넓이 공식: $P,Q$를 잘 고르면 우변이 $1$이 되어 이중적분이 곧 넓이가 된다. $\frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y}=1$이 되도록 고르면:
$A(D)={\oint }_{C}xdy=-{\oint }_{C}ydx=\frac{1}{2}{\oint }_C\left(xdy-ydx\right)$

단위원 예시: 반지름 1인 원의 둘레를 $x=\cos t,y=\sin t(0\le t\le 2\pi )$로 매개변수화하면 $dx=-\sin tdt$, $dy=\cos tdt$.
$\frac{1}{2}{\oint }_C(xdy-ydx)=\frac{1}{2}{\int }_0^{2\pi }\left(\cos t\cdot \cos t-\sin t\cdot (-\sin t)\right)dt=\frac{1}{2}{\int }_0^{2\pi }1dt=\pi$
원의 넓이 $\pi r^2=\pi$와 정확히 일치한다.

양의 방향을 지켜라

곡선을 시계 방향(음의 방향)으로 돌면 부호가 뒤집혀 답이 $-\pi$가 된다. 그린 정리는 반시계 방향을 전제로 한다. 구멍이 있는 영역이라면 바깥은 반시계, 안쪽 구멍은 시계 방향으로 돌아야 “영역을 왼쪽에 두기” 규칙이 지켜진다.

5. 어디에 쓰나 / 더 큰 그림 (스토크스·발산 정리의 2D 특수경우)

• 복잡한 선적분을 쉬운 이중적분으로 (또는 그 반대로) 바꿔 계산을 단순화한다.
• 넓이 계산: 둘레만 따라가며 면적을 잰다. 플래니미터(planimeter)라는 도구가 이 원리로 작동한다.
• 더 큰 그림: 그린 정리는 두 큰 정리의 2차원 특수 경우다.
  • 순환형(circulation form) → 곡면으로 올리면 스토크스 정리(Stokes’ Theorem).
  • 선속형(flux form) → 같은 정리를 발산으로 다시 쓰면 **발산 정리(Divergence Theorem)**의 평면판.
  • 그리고 이 모든 것은 **미적분의 기본정리(FTC)**를 더 높은 차원으로 확장한 것이다: “안쪽의 변화율을 다 더하면 경계의 값만 남는다”는 한 가지 큰 패턴.

6. 30초 요약

• 그린 정리: ${\oint }_C(Pdx+Qdy)={\iint }_D\left(\frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y}\right)dA$.
• 좌변 = 둘레를 도는 순환(선적분), 우변 = 내부의 미소 회전(2D curl)을 다 더한 것(이중적분).
• 가정: $C$는 양의 방향(반시계) 단순 닫힌 곡선, $P,Q$는 연속 편도함수.
• 직관: 작은 사각형들의 내부 변이 상쇄되고 바깥 테두리만 남는다.
• 넓이 공식: $A(D)=\frac{1}{2}{\oint }_C(xdy-ydx)$. 단위원이면 $\pi$.
• 큰 그림: 스토크스·발산 정리의 2D 특수 경우, FTC의 평면 확장.
• 교과서: Stewart, §16.4 Green’s Theorem.

관련 노트

• Calculus Theorems (index)
• Curl (vector calculus)
• Stokes’ Theorem
• Divergence Theorem
• Fundamental Theorem of Calculus