Summary

보존장(conservative field)에서의 선적분(line integral)은 “어떤 길로 갔는가”와 전혀 상관없고, 오직 출발점과 도착점의 퍼텐셜 값 차이로만 결정된다. 즉 ${\int }_C\nabla f\cdot d\mathbf{r}=f(B)-f(A)$. 미적분의 기본정리(FTC)를 곡선 위로 일반화한 정리다.

용어 설명

• gradient field / conservative field (기울기장 / 보존장): 어떤 스칼라 함수 $f$의 기울기로 표현되는 벡터장, 즉 $\mathbf{F}=\nabla f$인 벡터장.
• potential function (퍼텐셜 함수): 그 벡터장을 만들어내는 원래 스칼라 함수 $f$. (물리의 위치에너지 같은 존재)
• path independence (경로 독립): 선적분 값이 경로가 아니라 양 끝점에만 의존하는 성질.
• line integral (선적분): 곡선을 따라 벡터장이 한 “일(work)“을 더한 양, ${\int }_C\mathbf{F}\cdot d\mathbf{r}$.
• gradient $\nabla f$ (기울기): $f$가 가장 가파르게 증가하는 방향과 그 크기를 담은 벡터.

Fundamental Theorem for Line Integrals

한국어 이름: 선적분의 기본정리 (또는 기울기장 정리 / Gradient Theorem).

1. 직관 (보존장에선 길과 무관, 출발·도착 높이 차만 중요)

산을 생각하자. 어떤 지점의 “높이”를 알려주는 함수가 $f$다. 이 산 위에서 작용하는 힘(중력 같은)은 $f$의 기울기 $\nabla f$로 표현된다 — 이게 바로 보존장.

이제 A 지점에서 B 지점으로 걸어간다고 하자. 빙 둘러 가든, 지름길로 가든, 지그재그로 가든 중력이 한 일은 똑같다. 왜? 결국 중요한 건 “얼마나 높이 올라갔나/내려갔나”, 즉 출발 높이와 도착 높이의 차이뿐이기 때문이다.

한 줄 직관

보존장에서는 “여정(path)“은 잊어버려도 된다. 시작점과 끝점의 퍼텐셜 값만 빼면 끝.

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

가정:

• $C$는 시작점 $A$에서 끝점 $B$로 가는 매끄러운(smooth) 곡선, 위치벡터 $\mathbf{r}(t)$, $a\le t\le b$.
• $f$는 미분가능한 스칼라 함수이고, 그 기울기 $\nabla f$가 $C$ 위에서 연속.
• 벡터장이 보존장이다: $\mathbf{F}=\nabla f$.

결론:

${\int }_C\nabla f\cdot d\mathbf{r}=f(\mathbf{r}(b))-f(\mathbf{r}(a))=f(B)-f(A)$

즉 선적분 값은 곡선 $C$의 구체적 모양과 무관하고, 양 끝점에서의 퍼텐셜 함수 값 차이로만 정해진다.

3. FTC의 곡선 버전임을 설명

1변수 미적분의 기본정리(FTC, Part 2):

${\int }_a^b{F}^{\prime }(x)dx=F(b)-F(a)$

“도함수를 구간에서 적분하면 = 원함수의 양 끝값 차이.”

선적분의 기본정리는 이걸 직선 구간 $[a,b]$ → 공간 속 곡선 $C$ 로, 도함수 $F^{\prime }$ → 기울기 $\nabla f$ 로 바꾼 다변수판이다.

1D FTC	선적분의 기본정리
적분 구간 $[a,b]$	곡선 $C$ ($A\to B$)
도함수 $F^{\prime }$	기울기 $\nabla f$
$F(b)-F(a)$	$f(B)-f(A)$

Important

“$\nabla f$는 다변수 세계에서 $f$의 도함수다”라고 보면, 두 정리는 사실상 같은 말이다.

4. 예시 (산 등반 높이 차 비유 + 계산)

$f(x,y)=x^2+y^2$ 라 하자. 그러면 보존장은

$\mathbf{F}=\nabla f=(2x,2y)$

점 $(0,0)$에서 $(1,1)$로 가는 임의의 곡선 $C$에 대해:

${\int }_C\mathbf{F}\cdot d\mathbf{r}=f(1,1)-f(0,0)=(1^2+1^2)-(0^2+0^2)=2$

직선으로 가든, 포물선을 그리며 가든 답은 항상 2. 적분을 직접 계산할 필요 없이 끝값만 빼면 된다.

산 비유

$f=x^2+y^2$는 “그릇 모양 골짜기”의 높이. $(0,0)$ 바닥에서 $(1,1)$로 올라갈 때 중력에 거슬러 한 일은 어느 길로 가든 높이 차 $2$로 똑같다.

5. 어디에 쓰나 / 경로 독립·보존장 판정

• 계산이 폭발적으로 쉬워진다: 벡터장이 보존장임을 알고 퍼텐셜 $f$를 찾으면, 복잡한 선적분이 단순 뺄셈으로 끝난다.
• 경로 독립 판정: $\mathbf{F}$가 보존장 $⟺$ 모든 경로에서 선적분이 경로 독립 $⟺$ 모든 닫힌곡선(폐곡선)에서 적분 = 0.
  ${\oint }_C\mathbf{F}\cdot d\mathbf{r}=0(\text{보존장})$
• 보존장 빠른 체크: 영역이 단순연결(simply connected)일 때, $\mathrm{curl}\mathbf{F}=0$ 이면 보존장. (2D에서는 $\partial Q/\partial x=\partial P/\partial y$.)
• 물리적 의미: 중력장·전기장 같은 보존력에서 한 일은 위치에너지 차이 = 경로 무관. 이게 “에너지 보존”의 수학적 뿌리.

6. 30초 요약

• 이름: 선적분의 기본정리 (Gradient Theorem / 기울기장 정리).
• 공식: ${\int }_C\nabla f\cdot d\mathbf{r}=f(B)-f(A)$.
• 핵심: 보존장의 선적분 = 끝점 퍼텐셜 값의 차이 = 경로 독립.
• FTC의 곡선 버전: $F^{\prime }\to \nabla f$, $[a,b]\to C$.
• 판정: 폐곡선 적분 $=0$ $⟺$ 보존장; 단순연결 + $\mathrm{curl}\mathbf{F}=0$ 이면 보존장.
• 비유: 산에서 A→B 이동 시 중력이 한 일은 높이 차에만 의존.
• 출처: Stewart, §16.3 The Fundamental Theorem for Line Integrals.

관련 노트

• Calculus Theorems (index)
• Green’s Theorem
• Fundamental Theorem of Calculus