발산과 회전 (Divergence and Curl)
쉽게 풀면
욕조에 물을 채우다가 마개를 뽑았다고 생각해봅시다. 물이 배수구로 빨려 들어가는 지점은 물이 "모이는" 곳이고, 수도꼭지 바로 아래는 물이 "퍼져 나가는" 곳입니다. 이렇게 한 지점에서 물(또는 어떤 벡터장)이 얼마나 솟아나거나 빨려 들어가는지를 숫자로 나타낸 것이 발산(divergence)입니다.
반면 물을 뺄 때 배수구 주위에 생기는 소용돌이처럼, 어떤 지점 주변에서 얼마나 회전하는 성질이 있는지를 나타낸 것이 회전(curl)입니다. 발산이 크면 그 지점은 "샘"이나 "싱크"에 가깝고, 회전이 크면 그 지점 주변은 소용돌이치는 성질이 강합니다.
왜 중요한가
발산과 회전은 전자기학의 맥스웰 방정식, 유체역학의 연속 방정식과 와도(vorticity), 기상학의 대기 순환 분석 등 벡터장을 다루는 거의 모든 물리학·공학 분야에서 현상을 수학적으로 기술하는 기본 언어로 쓰이기 때문에 중요합니다.
어떤 벡터장이 샘이나 싱크 없이 순환만 하는지, 아니면 회전 없이 퍼지기만 하는지를 구분하는 것은 장(field)의 성질을 이해하고 지배 방정식을 세우는 출발점이 됩니다. 이 때문에 수치해석·시뮬레이션 논문에서도 계산 결과의 물리적 타당성을 검증하는 지표로 자주 활용됩니다.
핵심 정리
- 벡터장 F = (Fx, Fy, Fz)에 대해 발산은
∇·F = ∂Fx/∂x + ∂Fy/∂y + ∂Fz/∂z로, 결과가 스칼라입니다. - 회전은
∇×F = (∂Fz/∂y − ∂Fy/∂z, ∂Fx/∂z − ∂Fz/∂x, ∂Fy/∂x − ∂Fx/∂y)로, 3차원에서는 벡터입니다. 평면(2차원) 장에서는 마지막 성분 하나만 남겨 스칼라처럼 다룹니다. - 뜻: 발산은 한 점 주변의 작은 닫힌 면에서 빠져나가는 양(흐름 통과량)을 그 부피로 나눈 값의 극한이고(발산정리의 바탕), 회전은 작은 닫힌 곡선을 따라 도는 양(순환)을 그 넓이로 나눈 값에 방향(오른손 법칙)을 붙인 것입니다.
- 매끄러운 장에서는 늘
∇·(∇×F) = 0,∇×(∇φ) = 0이 성립합니다. 그래서 회전이 0인 장은 (단순연결 영역에서) 스칼라 퍼텐셜 φ의 기울기로 쓸 수 있습니다. - 쓰임: 비압축성 유체는 속도장의 발산이 0, 와도는 속도장의 회전이며, 전자기학에서는 맥스웰 방정식이 발산과 회전으로 쓰입니다.
예시로 보기
점 (1, 2, 3)에서 몇 가지 장의 발산과 회전입니다(해석적으로 구한 값을 중심차분 수치미분으로 다시 확인했습니다).
| 벡터장 | 발산 | 회전 | 읽는 법 |
|---|---|---|---|
| F = (x, y, z) | 3 | (0, 0, 0) | 원점에서 퍼져 나가는 흐름: 샘, 소용돌이 없음 |
| G = (−y, x, 0) | 0 | (0, 0, 2) | 강체처럼 도는 흐름: 퍼짐 없음, 회전 있음 |
| S = (y, 0, 0) | 0 | (0, 0, −1) | 직선 전단 흐름: 곡선 경로가 없어도 회전이 0이 아님 |
| H = (yz, xz, xy) | 0 | (0, 0, 0) | H = ∇(xyz): 장은 0이 아닌데 발산·회전이 모두 0 |
자주 하는 오해
| 오해 | 바로잡기 |
|---|---|
| 흐름이 빙글빙글 돌면 회전이 0이 아니다. | 장 V = (−y, x, 0)/(x² + y²)는 원점 둘레를 도는 소용돌이지만 원점을 뺀 모든 곳에서 회전이 0입니다(각 점 근처의 작은 바퀴는 돌지 않습니다). 원점 둘레를 한 바퀴 도는 순환은 0이 아니므로, 회전이 0이어도 영역에 구멍이 있으면 퍼텐셜이 없을 수 있습니다. |
| 직선으로 흐르면 회전이 없다. | 속도가 위치에 따라 달라지는 직선 전단 흐름(S = (y, 0, 0))은 회전이 0이 아닙니다. |
| 발산이 0이면 흐름이 없다. | 발산이 0이라는 것은 한 점에서 유체가 생기거나 사라지지 않는다는 뜻일 뿐, 흐름은 있을 수 있습니다(비압축성 유동). |
| 발산과 회전이 모두 0이면 장이 0이다. | 위 H처럼 0이 아닌 장도 발산·회전이 모두 0일 수 있습니다. |
| 발산과 회전은 같이 움직인다. | 서로 독립입니다. F에서는 발산만, G에서는 회전만 0이 아닙니다. |
논문에서는 이렇게 쓰입니다
실제 논문에서
이 용어를 직접 쓴 국내 논문 문장을 아직 수집하지 못했습니다. 수집되는 대로 출처와 함께 싣겠습니다.
예시 문장
아래는 용어의 쓰임을 보여 주려고 만든 예시로, 실제 논문에서 가져온 문장이 아닙니다.
이 문장은 전자기학의 기본 법칙 중 하나(앙페르 법칙)가 자기장의 회전(소용돌이 성질)과 전류의 관계를 설명한다는 것을 이용해, 특정 상황에서 자기장이 어떻게 분포하는지를 컴퓨터로 계산했다는 뜻입니다. 전자기학, 유체역학, 기상학 논문에서 두 개념이 함께 자주 등장합니다.
유체가 압축되지 않는다는 조건이 곧 속도장의 발산이 0이라는 수학적 조건과 같다는 것을 이용해, 이를 만족하도록 계산 과정을 보정했다는 뜻입니다. 전산유체역학(CFD) 논문에서 흔히 볼 수 있는 표현입니다.
바람의 방향과 세기를 나타내는 벡터장에서 회전 성분을 계산해, 소용돌이 구조를 정량적으로 추적한 기상학 연구 사례를 보여주는 예문입니다.
조금 더 깊게 보면
발산과 회전이 모두 0인 벡터장을 조화장(harmonic field)이라 부르며, 이런 장은 스칼라 퍼텐셜만으로 완전히 기술될 수 있어 계산이 크게 단순해집니다.
반대로 발산이 0이면서 회전만 존재하는 장(비압축성 유동의 속도장 등)이나, 회전이 0이면서 발산만 존재하는 장(보존장, 정전기장 등)으로 구분하는 것이 물리 현상을 분류하는 데 자주 쓰입니다.
헬름홀츠 분해(Helmholtz decomposition) 정리는 임의의 벡터장을 발산만 있는 성분과 회전만 있는 성분의 합으로 나눌 수 있음을 보여주며, 이는 유체역학이나 전자기학에서 복잡한 장을 분석하기 쉬운 형태로 쪼개는 데 널리 활용됩니다.
주의할 점
발산은 결과가 스칼라(숫자 하나)로 나오는 반면, 회전은 결과가 새로운 벡터장으로 나온다는 점에서 계산의 형태가 다릅니다. 두 연산 모두 벡터장에 적용되지만, "얼마나 퍼지는가"와 "얼마나 회전하는가"는 서로 독립적인 성질이므로 하나가 크다고 다른 하나도 크다고 단정할 수 없습니다.
헷갈리기 쉬운 용어
∇가 들어간 연산은 입력과 출력의 종류로 구별합니다.
| 연산 | 입력 | 출력 | 의미 |
|---|---|---|---|
| 기울기 ∇φ | 스칼라장 | 벡터장 | 값이 가장 빠르게 늘어나는 방향과 비율 |
| 발산 ∇·F | 벡터장 | 스칼라장 | 한 점에서 퍼지거나 모이는 정도 |
| 회전 ∇×F | 벡터장 | 벡터장(3차원) | 한 점 둘레의 소용돌이 정도와 축 |
| 라플라시안 ∇²φ | 스칼라장 | 스칼라장 | 기울기의 발산, ∇·(∇φ) |
발산을 면적분과 연결한 정리는 발산정리에서, 대상이 되는 벡터장은 별도 페이지에서 다룹니다.
참고 문헌
- Marsden, J. E., & Tromba, A. J. (2011). Vector Calculus (6th ed.). W. H. Freeman.
- Schey, H. M. (2005). Div, Grad, Curl, and All That: An Informal Text on Vector Calculus (4th ed.). W. W. Norton.
- Griffiths, D. J. (2013). Introduction to Electrodynamics (4th ed.). Pearson.
표의 기준값은 위 문헌에 근거한 관례이며, 분야·학술지마다 다른 기준을 쓸 수 있습니다.