Summary

**발산 정리(Divergence Theorem)**는 닫힌 곡면(closed surface)을 통해 밖으로 빠져나가는 총 선속(flux)이, 그 곡면이 감싼 입체 내부의 발산(divergence)을 전부 더한 값과 같다고 말한다.
한마디로 “표면에서 새어 나가는 총량 = 내부에 있는 모든 샘(source)의 합”이다. 표면에서 일어나는 일을 내부의 부피 적분으로 바꿔주는 다리 역할을 한다.

용어 설명

• flux (선속): 어떤 면을 단위 시간에 통과해 흐르는 양. 바람이 창문을 통해 들어오는 공기의 양을 떠올리면 된다.
• closed surface (닫힌 곡면): 구(공) 표면처럼 안과 밖을 완전히 가르는, 구멍 없는 곡면. 풍선 껍질을 상상하라.
• divergence (발산, $\nabla \cdot \mathbf{F}$): 한 점에서 벡터장이 얼마나 “퍼져 나가는지(샘)” 또는 “빨려 들어가는지(흡입)“를 재는 숫자.
• outward normal (바깥 법선): 곡면의 각 지점에서 바깥쪽을 향해 수직으로 뻗은 화살표. flux를 “밖으로” 재는 기준 방향.
• solid region / piecewise-smooth (입체 영역 / 조각마다 매끈한): 적분 대상인 3차원 덩어리와, 매끄러운 조각들로 이어 붙인 그 경계 곡면.

Divergence Theorem

1. 직관 (밖으로 새어 나가는 총량 = 내부 샘들의 총합)

풍선을 하나 떠올리자. 풍선 안 곳곳에서 작은 공기 분사기들이 공기를 뿜고($\text{div}>0$, 샘/source), 어떤 곳은 공기를 빨아들인다($\text{div}<0$, 흡입/sink).

질문: “풍선 껍질(닫힌 곡면) 전체를 통해 밖으로 빠져나가는 공기의 총량은 얼마일까?”

답은 의외로 간단하다. 내부에서 순수하게 만들어진 공기의 양을 전부 더하면 된다. 안에서 뿜은 만큼만 결국 껍질 밖으로 나갈 수 있기 때문이다.

• 표면을 통해 밖으로 나가는 총 유출량 = 표면의 flux 적분
• 내부에서 만들어진 양의 총합 = 발산을 부피 전체에 대해 적분
• 이 둘이 정확히 같다 — 이것이 발산 정리다.

Tip

“밖에서 일어나는 일(표면 flux)을 일일이 재기 어려우면, 안에서 일어나는 일(div의 부피 합)을 재라.” 또는 그 반대로. 둘 중 쉬운 쪽을 골라 계산하면 된다.

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

가정:

• $E$ : 3차원의 입체(solid region)
• $S=\partial E$ : $E$의 경계가 되는 닫힌 곡면이며, 바깥 법선(outward normal) 방향을 가지고, 조각마다 매끈(piecewise-smooth)하다.
• $\mathbf{F}$ : $E$를 포함하는 열린 영역에서 연속인 1차 편도함수를 갖는 벡터장.

공식:

$\iint \mathbf{F}\cdot d\mathbf{S}={\iiint }_E(\mathrm{div}\mathbf{F})dV={\iiint }_E(\nabla \cdot \mathbf{F})dV$

좌변은 닫힌 곡면을 통한 flux, 우변은 내부 발산의 부피 적분이다.

Important

가정 두 개를 꼭 기억하자. (1) 곡면은 닫혀 있어야 한다(안과 밖을 가르는 완전한 경계). (2) 법선은 바깥쪽을 향해야 한다. 열린 곡면이거나 안쪽 법선을 쓰면 이 공식은 그대로 적용되지 않는다.

여기서 $\mathrm{div}\mathbf{F}=\nabla \cdot \mathbf{F}=\frac{\partial P}{\partial x}+\frac{\partial Q}{\partial y}+\frac{\partial R}{\partial z}$ (단, $\mathbf{F}=(P,Q,R)$).

3. 그린 정리(선속형)의 3차원 일반화임을 설명

2차원의 **그린 정리(Green’s Theorem)**에는 두 가지 형태가 있는데, 그중 **선속형(flux form / normal form)**은 이렇게 생겼다.

${\oint }_C\mathbf{F}\cdot \mathbf{n}ds={\iint }_D(\nabla \cdot \mathbf{F})dA$

• 왼쪽: 평면 영역 $D$의 경계 곡선 $C$를 통한 flux (1차원 경계 적분)
• 오른쪽: $D$ 내부의 발산 합 (2차원 부피=넓이 적분)

발산 정리는 여기서 차원을 하나씩 올린 것이다.

	그린(선속형)	발산 정리
경계	곡선 $C$ (1D)	곡면 $S$ (2D)
내부	평면 $D$ (2D)	입체 $E$ (3D)
좌변	선적분 flux	면적분 flux
우변	$\iint \nabla \cdot \mathbf{F}dA$	$\iiint \nabla \cdot \mathbf{F}dV$

구조는 똑같다: 경계를 통한 flux = 내부 발산의 적분.

4. 예시 / 직관적 그림

문제: $\mathbf{F}=(x,y,z)$ 이고 $S$가 단위 구(반지름 1)의 표면일 때, $S$를 통한 flux를 구하라.

표면에서 직접 풀면 번거롭다. 발산 정리를 쓰자.

1. 발산 계산: $\nabla \cdot \mathbf{F}=\frac{\partial x}{\partial x}+\frac{\partial y}{\partial y}+\frac{\partial z}{\partial z}=1+1+1=3$
2. 부피 적분: ${\iiint }_{E}3dV=3\times (\text{단위 구의 부피})=3\times \frac{4}{3}\pi (1{)}^3=4\pi$

따라서

$\iint \mathbf{F}\cdot d\mathbf{S}=4\pi$

복잡한 면적분이 ”$3\times$ 부피”라는 곱셈 한 줄로 줄었다. 이것이 발산 정리의 위력이다.

        바깥 법선 n
          ↑   ↑   ↑
      ___/___|___\___
     /    .  .  .    \      내부 곳곳에서 div F = 3 (샘)
    |  .  ↗ ↑ ↖  .   |  →  안에서 만든 양을 다 더하면 4π
    |   .  · E ·  .  |
     \___.__.__.____/
          ↓   ↓
   닫힌 곡면 S 를 통해 밖으로 나가는 총 flux = 4π

5. 어디에 쓰나 / 더 큰 그림 (가우스 법칙 등)

• 계산 도구: 닫힌 곡면 flux를 부피 적분으로(또는 그 반대로) 바꿔, 더 쉬운 쪽으로 계산한다.

• 전자기학 — 가우스 법칙(Gauss’s Law): “닫힌 면을 통한 전기장 flux = 내부 전하량 / ${\epsilon }_0$“. 발산 정리를 쓰면 적분형 가우스 법칙이 미분형 $\nabla \cdot \mathbf{E}=\rho /{\epsilon }_0$ 으로 변환된다.

• 유체역학 — 연속 방정식(continuity equation): 질량 보존을 “내부 발산 = 빠져나간 양”으로 표현하는 토대.

• 통합된 큰 그림: 미적분의 기본정리(FTC), 그린 정리, 스토크스 정리, 발산 정리는 모두

  ${\int }_{\text{경계}}(\text{함수})={\int }_{\text{내부}}(\text{도함수})$

  라는 한 가지 아이디어의 여러 차원 버전이다. 이를 한데 묶은 것이 **일반화된 스토크스 정리(generalized Stokes’ theorem)**이다.

Note

발산 정리는 미분형식(differential forms) 언어로 쓰면 ${\int }_{\partial E}\omega ={\int }_{E}d\omega$ 라는 일반화 스토크스 정리의 한 사례가 된다. 이름만 다를 뿐 “경계 = 내부 도함수”라는 같은 노래다.

6. 30초 요약

• 이름: 발산 정리(Divergence Theorem) = 가우스 정리(Gauss’s Theorem). Stewart §16.9.
• 핵심: $\iint \mathbf{F}\cdot d\mathbf{S}={\iiint }_E(\nabla \cdot \mathbf{F})dV$
• 말로: 닫힌 곡면 밖으로 나가는 총 flux = 내부 발산(샘·흡입)의 총합.
• 가정: $S$는 바깥 법선을 가진 닫힌(조각마다 매끈) 곡면, $\mathbf{F}$는 $E$ 위에서 $C^1$.
• 위치: 그린 정리(선속형)의 3차원 일반화. FTC·그린·스토크스와 한 가족.
• 쓸모: 어려운 면적분 ↔ 쉬운 부피 적분 교환, 가우스 법칙·연속 방정식의 토대.
• 예시 감각: $\mathbf{F}=(x,y,z)$, 단위 구 → div$=3$ → flux $=3\cdot \frac{4}{3}\pi =4\pi$.

관련 노트

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