그래디언트, 발산, 컬 — 벡터해석 핵심

그래디언트, 발산, 컬은 학생들이 가장 자주 헷갈려 하는 벡터해석의 세 가지 연산자입니다. 이들을 빠르게 구분하는 방법은 간단합니다. 그래디언트는 스칼라장이 가장 빠르게 증가하는 방향을 알려 주고, 발산은 벡터장이 원천처럼 퍼져 나가는지 아니면 흡수원처럼 모여드는지를 알려 주며, 컬은 그 벡터장에 국소적인 회전이 있는지를 알려 줍니다.

공식을 보기 전에 중요한 조건이 하나 있습니다. 그래디언트는 온도 $T(x,y,z)$ 같은 스칼라장에 대해 정의됩니다. 발산과 컬은 속도장 $\mathbf{F}(x,y,z)$ 같은 벡터장에 대해 정의됩니다.

그래디언트, 발산, 컬의 의미

이 세 연산자는 서로 다른 세 가지 질문에 답한다고 생각하면 됩니다.

1. 그래디언트: 스칼라장은 어느 방향으로 가장 빠르게 증가하는가?
2. 발산: 이곳에서 벡터장이 바깥으로 퍼져 나가는가, 아니면 안쪽으로 모여드는가?
3. 컬: 이 장 안에 아주 작은 물레방아를 놓으면 회전하려는 경향이 있는가?

출력값도 서로 다릅니다. 그래디언트와 컬은 벡터를 만듭니다. 발산은 스칼라를 만듭니다. 이 한 가지 사실만 기억해도 많은 실수를 막을 수 있습니다.

그래디언트, 발산, 컬의 공식

만약

$$f(x,y,z)$$

가 스칼라장이라면, 그 그래디언트는

$$\nabla f = \left(\frac{\partial f}{\partial x}, \frac{\partial f}{\partial y}, \frac{\partial f}{\partial z}\right).$$

입니다.

만약

$$F(x,y,z) = (P,Q,R)$$

가 벡터장이라면, 그 발산은

$$\nabla \cdot F = \frac{\partial P}{\partial x} + \frac{\partial Q}{\partial y} + \frac{\partial R}{\partial z},$$

이고, 컬은

$$\nabla \times F = \left( \frac{\partial R}{\partial y} - \frac{\partial Q}{\partial z}, \frac{\partial P}{\partial z} - \frac{\partial R}{\partial x}, \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} \right).$$

입니다.

이들은 직교좌표계에서의 표준 공식입니다. 원통좌표계나 구면좌표계로 바꾸면 좌표에 따른 공식도 달라집니다.

직관: 오르막, 유출, 그리고 작은 물레방아

언덕, 유체, 그리고 아주 작은 물레방아를 떠올려 보세요.

스칼라장에서는 그래디언트가 오르막 방향을 가리킵니다. 그 방향은 가장 가파르게 올라가는 방향이고, 크기는 얼마나 가파르게 증가하는지를 알려 줍니다.

벡터장에서는 발산이 작은 영역에서 들어오는 흐름보다 나가는 흐름이 더 많은지를 알려 줍니다. 발산이 양수이면 순유출이 있다는 뜻입니다. 발산이 음수이면 순유입이 있다는 뜻입니다. 발산이 0이라는 것은 그 점에서 순원천이나 순흡수원이 없다는 뜻이지, 장 자체가 0이라는 뜻은 아닙니다.

컬은 장 안에 놓인 아주 작은 물레방아가 회전하려는 경향이 있는지를 알려 줍니다. $3$차원에서 컬은 벡터이며, 그 방향은 오른손 법칙에 따라 그 국소적 회전의 축을 나타냅니다.

예제: 셋을 헷갈리지 않고 모두 계산하기

이 연산자들은 서로 다른 종류의 입력에 작용하므로, 깔끔한 예제를 위해서는 스칼라장 하나와 벡터장 하나를 함께 쓰는 것이 좋습니다.

스칼라장을

$$T(x,y,z) = x^2 + y^2 + z$$

로 두고, 벡터장을

$$\mathbf{F}(x,y,z) = (-y, x, z).$$

로 둡니다.

1. $T$의 그래디언트

각 편미분을 계산하면

$$\frac{\partial T}{\partial x} = 2x, \qquad \frac{\partial T}{\partial y} = 2y, \qquad \frac{\partial T}{\partial z} = 1.$$

입니다.

따라서

$$\nabla T = (2x, 2y, 1).$$

점 $(1,2,0)$에서

$$\nabla T(1,2,0) = (2,4,1).$$

입니다.

즉, $(1,2,0)$에서 장 $T$는 방향 $(2,4,1)$으로 가장 빠르게 증가합니다.

2. $\mathbf{F}$의 발산

여기서 $P = -y$, $Q = x$, $R = z$입니다. 따라서

$$\nabla \cdot \mathbf{F} = \frac{\partial (-y)}{\partial x} + \frac{\partial x}{\partial y} + \frac{\partial z}{\partial z} = 0 + 0 + 1 = 1.$$

답은 스칼라입니다. 값이 양수이므로, 이 장은 모든 점에서 순유출을 가집니다.

3. $\mathbf{F}$의 컬

이제 컬 공식을 사용하면

$$\nabla \times \mathbf{F} = \left( \frac{\partial z}{\partial y} - \frac{\partial x}{\partial z}, \frac{\partial (-y)}{\partial z} - \frac{\partial z}{\partial x}, \frac{\partial x}{\partial x} - \frac{\partial (-y)}{\partial y} \right).$$

입니다.

이를 계산하면

$$\nabla \times \mathbf{F} = (0 - 0, 0 - 0, 1 - (-1)) = (0,0,2).$$

입니다.

따라서 이 장은 $z$축을 중심으로 한 국소적 회전을 가집니다.

이 예제의 핵심은 바로 이것입니다.

1. $\nabla T = (2x,2y,1)$는 가장 빠른 증가를 나타내는 벡터입니다.
2. $\nabla \cdot \mathbf{F} = 1$은 유출을 나타내는 스칼라입니다.
3. $\nabla \times \mathbf{F} = (0,0,2)$는 회전을 나타내는 벡터입니다.

그래디언트, 발산, 컬에서 자주 하는 실수

가장 흔한 실수는 잘못된 종류의 장에 잘못된 연산자를 적용하는 것입니다. 그래디언트는 스칼라장에 작용합니다. 발산과 컬은 벡터장에 작용합니다.

또 다른 실수는 기호만 외우는 데 집중하는 것입니다. 발산을 유출과 연결하고, 컬을 회전과 연결해 두면 공식을 훨씬 기억하기 쉬워집니다.

학생들은 발산이 0이면 “아무 일도 일어나지 않는다”고 해석하는 경우도 많습니다. 하지만 그것은 맞지 않습니다. 벡터장이 0이 아니어도 한 점에서 순유출이 0일 수 있습니다.

컬에 대해서도 또 하나의 함정이 있습니다. 경로가 휘어 보이는지만으로 판단하는 것입니다. 컬은 큰 그림에서 선이 굽어 보이는지의 문제가 아니라, 국소적인 회전 경향에 관한 개념입니다.

이 연산자들은 어디에 쓰일까?

그래디언트는 최적화, 열 흐름, 전기 퍼텐셜에서 등장합니다. 어떤 방향으로 가장 빠르게 변하는지를 알려 줍니다.

발산은 유체역학과 전자기학에서 원천, 흡수원, 또는 보존을 다룰 때 등장합니다.

컬은 유체의 회전과 맥스웰 방정식에서 중요하며, 국소적인 순환이 핵심일 때 사용됩니다.

이 셋을 함께 보면 공간에서의 변화를 측정하는 세 가지 서로 다른 방법을 제공한다는 것을 알 수 있습니다. 그래서 이들은 서로 무관한 공식을 외우는 대상이 아니라, 벡터해석의 기본 도구입니다.

비슷한 문제를 직접 풀어 보세요

장을 조금 바꿔서 다시 계산해 보세요.

$$T(x,y,z) = x^2 + y^2 - z, \qquad \mathbf{F}(x,y,z) = (-y, x, 2z).$$

새로운 그래디언트, 발산, 컬을 구한 뒤 무엇이 바뀌고 무엇이 그대로인지 비교해 보세요. 다음 단계로 자연스럽게 넘어가고 싶다면, 다른 스칼라장과 벡터장을 직접 정해 같은 방식으로 풀어 보세요. 그리고 계산만 확인하지 말고, 각 답이 그 의미와도 맞는지 함께 점검해 보세요.