선적분
1. 개요
線積分, line integral
곡선에 대한 적분을 의미한다. 쉽게 말해서 '''선에 있는 모든 점에 대해 적분을 구하는 것'''으로, 기본적인 적분이 구간 $$[a,\,b]$$ 사이의 수 $$c$$에 대해서 적분값을 구했다면, 한 차원 더 나아간 선적분은 $$n$$차원에서 '아무렇게나 생긴 선'(=곡선 $$C$$) 위에 존재하는 모든 점들에 대해서 적분을 구하는 것이다. 수학이든 물리학이든 1차원을 넘어 2차원 위에서 현상을 기술하기 위한 필수적인 도구로, 이게 없으면 이해가 불가능하다.
단순한 의미로는 좌표에 따라 세기와 방향이 다른 바람 속을 어떤 경로로 뚫고 들어갈 때처럼, 벡터로 표현되는 힘의 장(field) 안에서 어떤 경로를 따라 물체를 이동시켰을 때 그 물체에 한 일의 합을 뜻한다. $$x$$ 또는 $$y$$가 조금만 바뀌어도 작용하는 힘이 바뀌는 상황에서는 일반적인 공식을 적용하기 불가능하기 때문에 연속적인 관점에서 매우 작은 거리에 해준 일을 전부 더한 것이다.
선적분 방향에 따라서 부호가 바뀌는데, 일반적으로 방향은 적분 경로의 시계 반대방향, 정확히는 적분 방향의 '''오른쪽으로 법선을 그으면 영역 외부를 가리키도록''' 적분한다. 면적분의 경우도 마찬가지로 적분하는 벡터 방향이 '''외부를 가리키도록''' 하는게 일반적. 확장형으로 면적분, 부피적분이 존재한다. 선적분에서 차원을 하나씩 늘려간다고 생각하면 된다.
적분기호에 고리가 있는 경우가 있는데, 적분 대상인 선이 닫혀 있다는 것을 뜻한다.
2. 벡터 미적분학에서
그린 정리, 스토크스 정리, 발산 정리 등에서 중요하게 사용된다.[1]
어떠한 스칼라함수(scalar field) $$f: \mathbb{R}^n \to \mathbb{R}$$가 있고, 곡선 $$C$$가 $$\vec{X}:\left[a,b\right]\to\mathbb{R}^n$$로 조각적으로 연속적으로 미분가능[2]하게 매개화 가능할 때, 곡선 $$C$$에서 $$f$$의 선적분은 다음과 같이 정의된다.
비슷하게, 벡터장[3] $$\mathbf{F}: \mathbb{R}^n \to \mathbb{R}^n$$에 대한 선적분은 다음과 같이 정의된다.$$\displaystyle \int_C f \,\mathrm{d}s = \int_a ^b f(\vec{X}(r)) \,|\vec{X}'(r)| \,\mathrm{d}r$$
이 때, $$\vec{T}(r)$$은 곡선 $$C$$의 $$\vec{X}(r)$$에서의 접선벡터(tangent vector)이다.$$\displaystyle \int_C \mathbf{F}\cdot\mathrm{d}\mathbf{s} = \int_C (\mathbf{F}\cdot\vec{T}) \,\mathrm{d}s = \int_a^b \mathbf{F}(\vec{X}(r))\cdot\vec{X}'(r) \,\mathrm{d}r$$
3. 복소선적분
복소해석학에서 가장 중요하게 다루어지는 개념 중 하나. 선적분과 구별을 짓기 위해 경로적분(contour integral)이라고 불리는 경우가 많다. 정의역에 포함되는 조각적으로 미분가능[4]한 경로 $$C = \{ \gamma(t): t \in [a,\,b] \} \subset U$$ 위에서 복소함수 $$f: U \rightarrow \mathbb{C} \,(U\subset\mathbb{C})$$의 선적분은 다음과 같이 정의된다.
여기서 함수값 $$f(\gamma(t))$$와 $$\gamma'(t)$$는 복소수이고, 이 둘의 곱은 복소수의 곱이다. 겉으로는 평면에서의 선적분과 비슷해 보이지만 그 성질은 매우 딴판으로 특이해서, 복소선적분은 선적분의 특수한 경우보다는 복소수 자체의 고유한 1변수 적분으로 간주된다.$$\displaystyle \int_C f(z) \,\mathrm{d}z = \int_a^b f(\gamma(t)) \,\gamma'(t) \,\mathrm{d}t$$
대표적으로 복소미분 가능한 함수는 닫힌 경로에서 복소선적분의 결과값 0이 된다. 즉, 시작점과 끝점이 정해져 있으면 '''경로가 어떻게 바뀌어도 적분값은 동일하다!''' 물론 이 얘기들은 '복소미분 가능'이 조건인지라, $$f(z)=\bar{z}$$ 같은 함수는 조건을 만족하지 못하기 때문에 경로가 달라지면 적분값이 달라진다[5]. (복소미분의 정의는 복소해석학 항목을 참조.) 대신에 테일러 급수로 정의된 함수는 항상 복소미분 가능하므로(역도 성립한다), 많은 좋은 실함수들이 복소미분가능한 함수로 확장된다. 이를 잘 이용하면 실수 범위에서는 구하기 어려운 적분을 복소범위의 경로로 옮긴 뒤, 극한을 취하여 실수 범위에서의 적분을 제외한 나머지 부분을 0으로 날려버리는 기술을 사용할 수 있다.