Divergence and Curl

벡터장을 흐르는 유체로 보고, 한 점에 대해 유체가 팽창 or 압축 하는지, 아니면 한 점을 주변으로 유체가 얼마나 빠르게 회전하는지를 정의한 두 지표.

July 24, 2024 14 minute read

복수전공하고 있는 수학과의 졸업시험을 위해 학부 수학 과목들을 다시 공부하고 있습니다. 미적분학 포스트 전체 보기

어쩌면 지금 이 상태일지도…

드디어!! 미적2의 꽃이라고 할 수 있는 발산(Divergence)과 회전(Curl)이다!! 두 개념 모두 벡터장을 유체의 흐름이라고 보고, 그 유체가 한 점에 대해 팽창/압축 하고 있는지, 아니면 한 점에서 유체가 얼마나 빠르게 회전하고 있는지를 측정하는 지표이다. 🌊

DivergencePermalink

If $F = P i + Q j + R k$ is a vector field on $R^{3}$ ,

and the below partial derivatives exist

\frac{\partial P}{\partial x}, \frac{\partial Q}{\partial y}, \frac{\partial R}{\partial z}

then the “divergence of $F$ ” is a scalar value defined by

div F = \frac{\partial P}{\partial x} + \frac{\partial Q}{\partial y} + \frac{\partial R}{\partial z}

발산(divergence)는 벡터장에 대해 정의하는 스칼라 함수이다. Gradient Vector $\nabla$ 와의 내적으로 식을 더 쉽게 표현할 수 있다.

div F = \nabla \cdot F

Geometric meaningPermalink

벡터장을 유체의 흐름 속이라고 표현한다면, 발산(div)는 한 점 $(x, y, z)$ 에 모이는(압축) 방향으로 유체가 흐르는지, 아니면 점에서 나가는(팽창)하는 방향으로 유체가 흐르는지를 수치화 하는 값이다.

$div F > 0$
- 한 점에서 유체가 팽창한다: outflowing-ness.
$div F < 0$
- 한 점에서 유체가 압축된다: inflowing-ness.
$div F = 0$
- 한 점이 유체에 전혀 압력을 받고 있지 않다: incompressible.

발산에 대한 식을 3차원 공간에 대한 것으로 적었지만, 2차원 평면에서 정의한 벡터장에 대해서도 발산(divergence) 값을 계산할 수 있다.

Gilbert Strang - Calculus Vol 3.: Negative Divergence

위의 벡터장은 $F (x, y) = ⟨ - y, x ⟩$ 로 div를 계산해보면, $- 2$ 가 된다. 따라서 모든 점이 압축하는 방향으로 압력을 받는다.

Gilbert Strang - Calculus Vol 3.: Zero Divergence

반면에 압축을 전혀 받지 않는 벡터장도 있다. $F (x, y) = ⟨ - x, y ⟩$ 인 벡터장은 div를 계산해보면 $0$ 이 된다. 따라서 모든 점에서 압축을 받지 않는다.

Gilbert Strang - Calculus Vol 3.: Zero Divergence

또, 위와 같이 유체의 흐름이 상수인 경우도 유체가 받는 압력이 $0$ 으로 계산된다.

뭔가 $div F = 0$ 인 상황을 “유체가 받는 압력이 $0$ ”이다 라고 표현하면 좀 모호한 감이 있다. 그래서 이렇게 표현하는 것도 가능하다.

한 지점에서 유체의 유출이나 유입되는 유량이 없다.

즉, 유체가 나가는 만큼, 어딘가에서 유체가 들어와 나가는 량을 상쇄시킨다는 것이다.

Source-free FieldPermalink

위에서 설명한 것과 같이 어떤 지점 또는 영역에서 유출량이 $0$ 인 벡터장을 “source-free Vector Field“라고 한다. 이런 벡터장은 아무 닫힌 곡선을 잡더라도, 그 곡선에 대해 유입/유출하는 유체량이 동일하다.

“source”라는 표현은 한 점에서 나가는 유량을 말한다. 반대로 “sink”는 한 점으로 들어오는 유량을 말한다. wikipedia

또, 이런 $div F = 0$ 인 벡터장을 “Solenoidal Vector Field“라고도 부른다. 솔레노이드는 고등학교 물리시간에 봤던 그 ‘솔레노이드’를 말한다 ㅋㅋ

CurlPermalink

If $F = P i + Q j + R k$ is a vector field on $R^{3}$ , and the partial derivatives of $P$ , $Q$ and $R$ all exists,

then the “curl of $F$ ” is the vector field on $R^{3}$ defined by

curl F = (\frac{\partial R}{\partial y} - \frac{\partial Q}{\partial z}) i + (\frac{\partial P}{\partial z} - \frac{\partial R}{\partial x}) j + (\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}) k

식이 조금 복잡한데, 위의 식을 외우기 보다는 외적으로 표기한 아래의 식으로 이해하는게 더 유용하다.

curl F = \nabla \times F

즉, Gradient 벡터와 벡터장을 외적한 것이 회전(curl)이다.

\nabla \times F = | \begin{matrix} i & j & k \\ \frac{\partial}{\partial x} & \frac{\partial}{\partial y} & \frac{\partial}{\partial z} \\ P & Q & R \end{matrix} |

Geometric meaningPermalink

벡터장을 유체의 흐름 속이라고 표현한다면, 회전(curl)은 한 점 $(x, y, z)$ 주변을 회전하는 유체의 회전 흐름을 표현하는 벡터다.

curl 벡터의 방향 = 회전축
curl 벡터의 부호 = 회전 방향: CCW(+), CW(-)
curl 벡터의 크기 = 회전하는 속도

Gilbert Strang - Calculus Vol 3.: Zero Divergence, Positive Curl

$F = ⟨ - y, x, 0 ⟩$ 라는 벡터장의 원점 $O$ 에서의 curl을 계산해보면,

curl F = 0 i + 0 j + 2 k

로, $+ z$ 방향의 curl 벡터를 얻으며, 유체가 원점을 기준으로 시계 방향으로 회전하고 있음을 할 수 있다.

curl 벡터가 영벡터인 경우를 유체가 해당 점 주변을 회전하지 않는(irrotational)하다고 말한다. 이것은 유체가 회전 운동에서 자유롭다는 것으로, 유체가 직선 운동을 하고 있다면, 그 방향이 거의 바뀌지 않을 것임을 말한다.

Gilbert Strang - Calculus Vol 3.: Zero Divergence, Zero Curl

요런 벡터장도 curl 벡터가 영벡터인데, 유체가 움직이는 방향과 다른 방향으로 움직이게 하려는 외력이 존재하지 않기 때문이다.

If Conservative field, curl is zero vectorPermalink

If $f$ a function of three variables that has continuous second-order derivatives, then

curl (\nabla f) = 0

정리에서는 potential function $f (x, y, z)$ 를 기준으로 되어 있지만, Conservative field $F = \nabla f$ 의 경우, curl이 영벡터임을 말하고 있다.

증명은 Conservative Field의 정의에 충실하게 식을 전개하기만 하면 된다.

F = \nabla f = \frac{\partial f}{\partial x} i + \frac{\partial f}{\partial y} j + \frac{\partial f}{\partial z} k

curl F = (\frac{\partial^{2} f}{\partial y \partial z} - \frac{\partial^{2} f}{\partial z \partial y}) i + (\frac{\partial^{2} f}{\partial z \partial x} - \frac{\partial^{2} f}{\partial x \partial z}) j + (\frac{\partial^{2} f}{\partial x \partial y} - \frac{\partial^{2} f}{\partial y \partial x}) k = 0

EzEz $◼$ (요게 가능한 이유는 편미분 순서를 바꿔도 상관 없다는 클레로의 정리(Clairaut’s Theorem) 때문.)

위의 정리는 Conservative 벡터장의 curl 벡터가 항상 영벡터라 계산할 필요 없다는 것도 말해주지만, 오히려 벡터장의 curl이 영벡터가 아닌 상황에서 유용하다. 왜냐하면, 대우 명제에 따라 $curl F \neq 0$ 라면, 벡터장이 non-conservative이기 때문이다.

위의 정리의 역명제는 성립하지 않는다. $curl F = 0$ 이더라도 그 벡터장이 conservative가 아닌 반례가 있기 때문.

단, 벡터장이 아래의 조건을 만족한다면 역명제도 성립한다고 한다.

If given vector field $F$ is

defined on all of $R^{3}$
and whose component functions have continuous partial derivatives
and $curl F = 0$

then $F$ is a conservative vector field.

그래서 벡터 함수가 불연속성을 가지거나, 성분 함수의 편미분이 불연속성을 갖는 그런 특수한 상황만 아니라면, $curl F = 0$ 인지 확인하여 conservative 여부를 판단할 수 있을 것이다 ㅎㅎ

사실 정의역이 $R^{3}$ 일 필욘 없고, simply-connected region이기만 하면 된다고 한다. (증명은 이후에 스토스크 정리 할 때 배운다고 함.)

Curl and DivPermalink

어떤 벡터장에 Curl을 적용한 후, Divergence를 적용하면 재밌는 결과가 나온다.

If $F = P i + Q j + R k$ is a vector field on $R^{3}$ and $p$ , $Q$ , and $R$ have continuous second-order partial derivatives, then

div curl F = 0

증명은 curl와 div의 정의에 맞에 아래 식을 전개하면 된다. Ez

div curl F = \nabla \cdot (\nabla \times F) = 0

요 정리는 벡터장이 curl 연산으로 인해 만들어진 것이라면, 그것의 div가 0임을 말한다. 이것의 대우 명제를 활용하면, 어떤 벡터장 $G$ 가 $div G \neq 0$ 라면, 그 벡터장은 curl 벡터로 유도된 것이 아니라고 판단할 수 있다.

Vector PotentialPermalink

벡터장에 curl을 적용하면 회전 벡터장이라는 또다른 벡터장이 뛰쳐나온다. 그래서 주어진 벡터장이 회전 벡터장이라면, curl을 적용한 원본 벡터장을 “Vector Potential”라고 부른다.

The vector field $A$ is said to be a “vector potential” for the vector field $B$ if

B = \nabla \times A

위의 Curl-Div 항등식을 Vector Potential로 다시 기술하면 아래와 같다.

If there exists a vector potential for the vector field $B$ , then

\nabla \cdot B = 0

앞에 나왔던 $\nabla \times F = 0$ 케이스와 좀 헷갈릴 수도 있어서 정리를 좀 해보자.

For a vector field $F$

If scalar Potential(= potential function) exists, then
- the field is a conservative field
- $\nabla \times F = 0$
If vector Potential exists, then
- the field is a curl vector field
- $\nabla \cdot F = 0$

Vector Potential이든 Scalar Potential이든 어떤 벡터장의 원본이 되는 vector/scalar function라는게 공통점!

이때, 회전 벡터장 $B$ 를 만드는 Vector Potential은 유일하게 결정되지 않는다.

임의의 스칼라 함수 $ψ$ 에 대해 아래의 등식이 성립한다.

B = \nabla \times A = \nabla \times (A + \nabla ψ)

이것이 가능한 이유는 $\nabla \times \nabla ψ = 0$ 이기 때문이다. $A$ 와 $A + \nabla ψ$ 둘다 회전 벡터장 $B$ 를 유도하므로, 둘다 Vector Potential 이고, Vector Potential은 유일하게 결정되지 않고 무한히 많다.

따라서, 아래의 따름 정리가 성립하는데,

If the vector field $B$ has a vector potential,

then, there is a vector potential $A$ for $B$ with $A_{3} = 0$ .

즉, 회전 벡터장의 Vector Potential로 $k$ 컴포넌트가 0인 벡터장이 항상 존재한다는 것이다. 이 결과는 $k$ 컴포넌트가 아니라 $i$ 나 $j$ 가 0이어도 성립한다.

Laplace OperatorPermalink

벡터장 $F$ 가 Conservative Field라면,

F = \nabla f

인데, 여기에 div 연산을 한번더 수행해보자.[* curl 연산을 하면, 영벡터가 되었다: $\nabla \times \nabla f = 0$ ] 그러면 식은 아래와 같이 potential function $f$ 에 성분별로 편미분을 두 번 적용한 것의 합으로 표현된다.

div (\nabla f) = \nabla \cdot (\nabla f) = \frac{\partial^{2} f}{\partial x^{2}} + \frac{\partial^{2} f}{\partial y^{2}} + \frac{\partial^{2} f}{\partial z^{2}}

요렇게 potential function에 Gradient 연산과 Div 연산을 연속해 수행하는 것을 간단하게 아래의 표기로 표현한다.

\nabla^{2} f = \nabla \cdot (\nabla f) = div (\nabla f)

요 연산을 수행하는 연산자를 “Laplace Operator“라고 부른다. 왜냐하면, Laplace Equation에서 유래한 것이기 때문.

\nabla^{2} f = \frac{\partial^{2} f}{\partial x^{2}} + \frac{\partial^{2} f}{\partial y^{2}} + \frac{\partial^{2} f}{\partial z^{2}} = 0

참고로 라플라스 방정식은 미방 때 많이 볼 예정… ^^ 1학년 미적분학에서는 전혀 사용하지 않을 연산자이니 그냥 여기에서 개념만 보고 넘어갑시다!

Vector form of Green’s TheoremPermalink

그린 정리를 발산과 회전의 표기를 사용해 표현할 수도 있습니다!

포스트의 내용이 길어져서 해당 내용은 별도의 포스트로 분리하였습니다 ^^

➡️ Vector form of Green’s Theorem

Seokyun Ha (aka. bluehorn07)

Divergence and Curl

DivergencePermalink

Geometric meaningPermalink

Source-free FieldPermalink

CurlPermalink

Geometric meaningPermalink

If Conservative field, curl is zero vectorPermalink

Curl and DivPermalink

Vector PotentialPermalink

Laplace OperatorPermalink

Vector form of Green’s TheoremPermalink

You may also enjoy

Introduction: Numerical Differentiation

Interpolation Differentiation

Bundle Preference: Differentiability

Bundle Preference: Convexity