이 문서에는 일반 참조 목록이 포함되어 있지만 해당 인라인 인용이 충분하지 않습니다. 좀 더 정확한 인용문을 소개하여 이 글을 개선할 수 있도록 도와주시기 바랍니다.(2009년 5월)(이 템플릿 메시지를 제거하는 방법 및 시기 알아보기)
벡터 미적분학에서 보존 벡터장은 어떤 함수의 구배인 벡터장입니다.[1]보존 벡터 필드는 선분이 경로에 독립적이라는 속성을 갖습니다. 두 점 사이의 경로를 선택해도 선분의 값은 변경되지 않습니다.선분의 경로 독립성은 선분 아래의 벡터장이 보존적인 것과 같습니다.보존적 벡터 필드는 또한 비회전성입니다. 이는 3차원에서 컬이 사라짐을 의미합니다.도메인이 단순히 연결되어 있다면 비회전 벡터 필드는 필수적으로 보수적입니다.
보존 벡터 필드는 역학에서 자연스럽게 나타납니다.그것들은 에너지가 보존되는 물리계의 힘을 나타내는 벡터장입니다.[2]보수적인 시스템의 경우, 구성 공간에서 경로를 따라 이동할 때 수행되는 작업은 경로의 끝점에만 의존하므로, 실제 경로와 독립적인 위치 에너지를 정의할 수 있습니다.
2차원과 3차원 공간에서는 두 점 사이에 무한히 많은 경로가 존재하기 때문에 두 점 사이의 적분을 취하는데 모호함이 있습니다. 두 점 사이에 형성된 직선을 제외하고 그림과 같이 더 긴 길이의 곡선 경로를 선택할 수 있습니다.따라서 일반적으로 적분값은 선택한 경로에 따라 달라집니다.그러나 보수적 벡터장의 특수한 경우 적분값은 취한 경로와 무관하며, 이는 두 점 사이의 직선을 따라 성분이 없는 모든 원소 d의 대규모 소거로 생각할 수 있습니다.이것을 시각화하기 위해, 두 사람이 절벽을 오르는 모습을 상상해 보세요. 한 사람은 절벽을 수직으로 올라가면서 절벽을 기어오르기로 결정하고, 두 번째 사람은 절벽의 높이보다 더 길지만 수평으로 아주 작은 각도의 구불구불한 길을 걷기로 결정합니다.비록 두 등산객이 절벽의 정상까지 오르기 위해 다른 길을 걸었지만, 정상에서는 둘 다 같은 양의 중력 잠재 에너지를 얻었을 것입니다.중력장은 보존적이기 때문입니다.
직관적 설명
M. C. 에셔의 석판 인쇄물인 상승과 하강은 비보존적인 벡터장을 보여주는데, 계단을 따라 이동할 때 지면 위의 다양한 높이(중력 퍼텐셜)의 기울기로 보일 수는 없습니다.계단에서 움직이는 사람이 경험하는 힘의 장은 하나 이상의 하강 또는 그 반대로 상승하는 동안 출발점으로 되돌아 갈 수 있고 중력에 의해 수행되는 0이 아닌 작업을 초래할 수 있다는 점에서 비보존적입니다.실제 계단에서, 땅 위의 높이는 스칼라 퍼텐셜장입니다: 같은 장소로 돌아가기 위해서는 아래로 내려가는 만큼 정확히 위로 올라가야 하는데, 이 경우 중력에 의한 일은 총 0이 됩니다.이는 계단에서 수행된 작업의 경로 독립성을 의미합니다. 이와 동등하게 경험되는 힘장은 보수적입니다(뒤 섹션: 경로 독립성 및 보수적 벡터장 참조).인쇄된 상황은 불가능합니다.
벡터 필드 의 선분은 두 개의 적분 경로 끝점 사이에 어떤 경로가 선택되든 상관없이 오직 두 개의 적분 경로 끝점에만 의존한다면 경로 독립적이라고 합니다.[4]
의 지정된 경로 끝점 쌍 사이에 있는 및의 모든 정수 경로 쌍에 대해
경로 독립성은 다음과 같이 동등하게 표현됩니다.
두 끝점이 일치하는의 임의의 조각별 매끄러운 닫힌 경로 경로 PC 는 끝점 A 에서 다른 끝점 로 의 두 경로로 만들 수 있으므로 두 식이 동일합니다에서 A {\까지 P_이므로
여기서 -는 의 역이며 경로 ∫ P ⋅= ∫ - P ⋅ . \ _{P_mathbf {v} \cdot d\mathbf {r} =\int _{-P_{2}\mathbf {v} \cdot d\mathbf {r}입니다.
보존 벡터장
보수적인 벡터 필드 의 주요 속성은 경로를 따라 적분이 해당 경로의 끝점에만 의존한다는 것입니다.즉, 보존적 벡터장이라면 선분은 경로에 무관합니다.Suppose that for some (continuously differentiable) scalar field [3] over as an open subset of (so 는 연속인 보수적 벡터 필드이며, 는 U에서 초기 점 A {\displaystyle 및 종단 점 B B의 미분 가능 경로(즉, 미분 가능 함수로 매개 변수화할 수 있음)입니다그러면 기울기 정리(선 적분에 대한 미적분학의 기본 정리라고도 함)는 다음과 같이 말합니다.
이것은 선분의 정의, 사슬 규칙, 미적분학의 두 번째 기본 정리의 결과로 성립합니다. = ⋅ displaystyle \mathbf {v} \cdot d\mathbf{r} =\nabla {\varphi}\cdot d\mathbf {r} }는 직교 좌표계(예: 직교 좌표계, 원통 좌표계 또는 구 좌표계)에 대한 정확한 미분입니다.기울기 정리는 미분 가능 경로에 적용 가능하기 때문에, 조각별 미분 곡선에 대한 보존 벡터장의 경로 독립성은 미분 가능 곡선 성분별 증명으로도 증명됩니다.[5]
지금까지 보수적인 벡터 필드 이(가) 선 적분 경로에 무관하다는 것이 증명되었습니다.반대로, 연속 벡터 v 가 (선 적분) 경로에 독립적이라면, 이는 보존 벡터 필드이므로 다음 이중 조건문이 성립합니다.[4]
연속형 벡터 필드 → {\ 여기서 는 ^{의 열린 부분 집합입니다.U {\의 경로를 따른 해당 선분이 경로에 독립적인 경우에만 보수적입니다즉, 선 적분은 두 경로 사이에서 선택된 경로에 관계없이 두 경로 끝점에만 의존합니다.
이 역문의 증명은 다음과 같습니다.
은(는) 라인 적분이 경로에 무관한 연속 벡터 필드입니다.그렇다면 함수φ {\displaystyle\varphi}을(를) 다음과 같이 정의합니다.
선택한 시작점과 사이의 임의 경로에 대해 결정합니다 경로와 무관하므로 이 점들 사이의 경로가 선택된 것에 관계없이( 및)에만 의존합니다.
오른쪽 그림의 왼쪽에 표시된 2차원 직교 좌표계가 사용되는 경로를 선택합니다.이 경로의 두 번째 세그먼트는 축과 평행하므로 축을 따라 변경되지 않습니다.이 경로를 따라 선분적분은
독립성에 의해, displaystyle\varphi}φ이(가) 부분 를 가지려면 v {v}}이(가) 연속적이어야 함)에 대한 부분 도함수는
과 은(는) 서로 독립적입니다.을(를) = (x y ) i + Q (x, y ) j {\displaystyle \mathbf {v} = P(x,y)\mathbf {i} + Q (x, where and are unit vectors along the and axes respectively, then, since ,
오른쪽 그림의 오른쪽에 표시된 선 적분 경로에 대한 유사한 접근법은∂ ∂ φ (, y = Q ( y) {\textstyle {\frac {\partial }{\partial y}}\varphi (x,y)=Q(x,y)}를 생성하므로
는 2차원 데카르트 좌표계에 대해 증명됩니다.이 증명 방법은 더 높은 차원의 직교 좌표계(예를 들어, 3차원 구면 좌표계)로 바로 확장될 수 있으므로 역문이 증명됩니다.또 다른 증거는 여기서 구배 정리의 역으로 발견됩니다.
비회전 벡터장
= displaystyle n=3}(3차원 공간)이라고 하고 v U → R 3 {\displaystyle \mathbf {v}이라고 합니다.는 \의 열린 부분 집합 가 있는 C 1 {\displaystyle C연속 미분 가능) 벡터 필드입니다그러면 는) 의 모든 곳에서컬이 인 경우에만 비회전이라고 합니다. 즉
이러한 이유로, 이러한 벡터 필드는 때때로 컬 프리 벡터 필드 또는 컬리스 벡터 필드라고 불립니다.세로 방향 벡터 필드라고도 합니다.
따라서 의 모든 C보존벡터 필드도 U 의 비회전 벡터 필드입니다 결과는 ∇ ×( ∇ φ) {\displaystyle \nabla \times (\nabla \varphi )}를 슈바르츠의 정리(혼성 부분의 동일성에 대한 클레로트 정리라고도 함)로 데카르트 좌표계에서 표현하면 쉽게 증명할 수 있습니다.
가 단순히 연결된 열린 공간(대략적으로 말하면, 그 안에 구멍이 없는 하나의 열린 공간)이라면, 이와 반대의 경우도 성립합니다.간단히 연결된 열린 공간 U 의 모든 비회전 벡터 필드는 {\의 {\ C보수벡터 필드입니다
이(가) 단순히 연결되어 있지 않은 경우에는 일반적으로 위 문이 참이 아닙니다.Let be with removing all coordinates on the -axis (so not a simply connected space), i.e., . Now,의 벡터 필드 를 다음과 같이 정의합니다.
Then has zero curl everywhere in ( at everywhere in ), i.e., is irrotational.However, the circulation of around the unit circle in the -plane is ; in polar coordinates, , so the integral over the unit circle is
그러므로,\에는 위에서 설명한 경로 독립 속성이 없으므로 v \mathbf{v} \{) 정의된 U{\displaystyle U}은(는) 단순히 연결된 열린 공간이 아니기 때문에 보수적이지 않습니다.
다시 말해, 단순히 연결된 열린 영역에서 비회전 벡터 v 은 v {\은는) 경로 독립성을 갖습니다.이는 스톡스 정리를 이용하여 직접 증명할 수 있으며,
임의의 매끄러운 방향의 표면 에 대하여, 경계가 단순 닫힌 경로 입니다 따라서, 단순히 연결된 열린 영역에서,경로 독립성을 갖는의 C 1{\벡터 필드가 (따라서 보존 벡터 필드입니다).) 또한 비회전성이어야 하며 그 반대도 마찬가지입니다.
추상화
더 추상적으로, 리만 메트릭이 있는 경우 벡터 필드는 미분 - 형태에 해당합니다.보존 벡터 필드는 Udisplaystyle U}의 함수(스칼라 ϕdisplaystyle \}의 외부ϕ {\displaystyled\phi}인 한 1{\형태에 해당합니다.The irrotational vector fields correspond to the closed-forms, that is, to the -forms such that . As , any exact form is closed,따라서 어떤 보존 벡터장도 비회전성입니다.반대로 이(가) 연결되어 있으면 닫힌 1 - 폼이 모두 정확합니다.
2차원 장의 경우, 와류성은 유체 요소의 국소적인 회전의 척도로 작용합니다.소용돌이성은 유체의 전역적인 행동에 대해서는 아무것도 의미하지 않는다는 것에 주목하세요.직선으로 이동하는 유체는 소용돌이성을 가질 수 있고, 원을 그리며 이동하는 유체는 비회전성을 가질 수 있습니다.
^Marsden, Jerrold; Tromba, Anthony (2003). Vector calculus (Fifth ed.). W.H.Freedman and Company. pp. 550–561.
^조지 B.Arfken and Hans J. Weber, 물리학자의 수학적 방법, 제6판, Elsevier Academy Press (2005)
^ ab = ∇ φ\ {v =\nabla \varphi } 가 경로 독립적이려면 φ {\displaystyle \varphi } 가 반드시 연속적으로 미분 가능한 것은 아니며, ∇ φ {\displaystyle \nabla \varphi } 의 경로 독립성을 증명하는 그래디언트 정리이므로 미분 가능한 조건이면 충분합니다.φ{\displaystyle \varphi}을(를) 연속적으로 구별할 필요가 없습니다.보존 벡터 필드를 정의하려면φ {\displaystyle\varphi}이(가) 연속적으로 미분 가능해야 하는 이유가 있어야 합니다.
^ abStewart, James (2015). "16.3 The Fundamental Theorem of Line Integrals"". Calculus (8th ed.). Cengage Learning. pp. 1127–1134. ISBN978-1-285-74062-1.